cleaning up the most folder

gruninger · Oct 31, 2018 · a8c521d · a8c521d
1 parent f67dc8f
commit a8c521d
Show file tree

Hide file tree

Showing 81 changed files with 0 additions and 0 deletions.
diff --git a/...pings/cycle_path_subgraph2most_group.clif → ...chive/cycle_path_subgraph2most_group.clif b/...pings/cycle_path_subgraph2most_group.clif → ...chive/cycle_path_subgraph2most_group.clif
diff --git a/...t_group/cycle_path_subgraph2most_group.in → ...t_group/cycle_path_subgraph2most_group.in b/...t_group/cycle_path_subgraph2most_group.in → ...t_group/cycle_path_subgraph2most_group.in
diff --git a/...group/cycle_path_subgraph2most_group_1.in → ...group/cycle_path_subgraph2most_group_1.in b/...group/cycle_path_subgraph2most_group_1.in → ...group/cycle_path_subgraph2most_group_1.in
diff --git a/...up/cycle_path_subgraph2most_group_1.proof → ...up/cycle_path_subgraph2most_group_1.proof b/...up/cycle_path_subgraph2most_group_1.proof → ...up/cycle_path_subgraph2most_group_1.proof
diff --git a/...roup/cycle_path_subgraph2most_group_10.in → ...roup/cycle_path_subgraph2most_group_10.in b/...roup/cycle_path_subgraph2most_group_10.in → ...roup/cycle_path_subgraph2most_group_10.in
diff --git a/...p/cycle_path_subgraph2most_group_10.proof → ...p/cycle_path_subgraph2most_group_10.proof b/...p/cycle_path_subgraph2most_group_10.proof → ...p/cycle_path_subgraph2most_group_10.proof
diff --git a/...roup/cycle_path_subgraph2most_group_11.in → ...roup/cycle_path_subgraph2most_group_11.in b/...roup/cycle_path_subgraph2most_group_11.in → ...roup/cycle_path_subgraph2most_group_11.in
diff --git a/...p/cycle_path_subgraph2most_group_11.proof → ...p/cycle_path_subgraph2most_group_11.proof b/...p/cycle_path_subgraph2most_group_11.proof → ...p/cycle_path_subgraph2most_group_11.proof
diff --git a/...roup/cycle_path_subgraph2most_group_12.in → ...roup/cycle_path_subgraph2most_group_12.in b/...roup/cycle_path_subgraph2most_group_12.in → ...roup/cycle_path_subgraph2most_group_12.in
diff --git a/...p/cycle_path_subgraph2most_group_12.proof → ...p/cycle_path_subgraph2most_group_12.proof b/...p/cycle_path_subgraph2most_group_12.proof → ...p/cycle_path_subgraph2most_group_12.proof
diff --git a/...roup/cycle_path_subgraph2most_group_13.in → ...roup/cycle_path_subgraph2most_group_13.in b/...roup/cycle_path_subgraph2most_group_13.in → ...roup/cycle_path_subgraph2most_group_13.in
diff --git a/...p/cycle_path_subgraph2most_group_13.proof → ...p/cycle_path_subgraph2most_group_13.proof b/...p/cycle_path_subgraph2most_group_13.proof → ...p/cycle_path_subgraph2most_group_13.proof
diff --git a/...roup/cycle_path_subgraph2most_group_14.in → ...roup/cycle_path_subgraph2most_group_14.in b/...roup/cycle_path_subgraph2most_group_14.in → ...roup/cycle_path_subgraph2most_group_14.in
diff --git a/...p/cycle_path_subgraph2most_group_14.proof → ...p/cycle_path_subgraph2most_group_14.proof b/...p/cycle_path_subgraph2most_group_14.proof → ...p/cycle_path_subgraph2most_group_14.proof
diff --git a/...group/cycle_path_subgraph2most_group_2.in → ...group/cycle_path_subgraph2most_group_2.in b/...group/cycle_path_subgraph2most_group_2.in → ...group/cycle_path_subgraph2most_group_2.in
diff --git a/...up/cycle_path_subgraph2most_group_2.proof → ...up/cycle_path_subgraph2most_group_2.proof b/...up/cycle_path_subgraph2most_group_2.proof → ...up/cycle_path_subgraph2most_group_2.proof
diff --git a/...group/cycle_path_subgraph2most_group_3.in → ...group/cycle_path_subgraph2most_group_3.in b/...group/cycle_path_subgraph2most_group_3.in → ...group/cycle_path_subgraph2most_group_3.in
diff --git a/...up/cycle_path_subgraph2most_group_3.proof → ...up/cycle_path_subgraph2most_group_3.proof b/...up/cycle_path_subgraph2most_group_3.proof → ...up/cycle_path_subgraph2most_group_3.proof
diff --git a/...group/cycle_path_subgraph2most_group_4.in → ...group/cycle_path_subgraph2most_group_4.in b/...group/cycle_path_subgraph2most_group_4.in → ...group/cycle_path_subgraph2most_group_4.in
diff --git a/...up/cycle_path_subgraph2most_group_4.proof → ...up/cycle_path_subgraph2most_group_4.proof b/...up/cycle_path_subgraph2most_group_4.proof → ...up/cycle_path_subgraph2most_group_4.proof
diff --git a/...group/cycle_path_subgraph2most_group_5.in → ...group/cycle_path_subgraph2most_group_5.in b/...group/cycle_path_subgraph2most_group_5.in → ...group/cycle_path_subgraph2most_group_5.in
diff --git a/...up/cycle_path_subgraph2most_group_5.proof → ...up/cycle_path_subgraph2most_group_5.proof b/...up/cycle_path_subgraph2most_group_5.proof → ...up/cycle_path_subgraph2most_group_5.proof
diff --git a/...group/cycle_path_subgraph2most_group_6.in → ...group/cycle_path_subgraph2most_group_6.in b/...group/cycle_path_subgraph2most_group_6.in → ...group/cycle_path_subgraph2most_group_6.in
diff --git a/...up/cycle_path_subgraph2most_group_6.model → ...up/cycle_path_subgraph2most_group_6.model b/...up/cycle_path_subgraph2most_group_6.model → ...up/cycle_path_subgraph2most_group_6.model
diff --git a/...cle_path_subgraph2most_group_6_revised.in → ...cle_path_subgraph2most_group_6_revised.in b/...cle_path_subgraph2most_group_6_revised.in → ...cle_path_subgraph2most_group_6_revised.in
diff --git a/...group/cycle_path_subgraph2most_group_7.in → ...group/cycle_path_subgraph2most_group_7.in b/...group/cycle_path_subgraph2most_group_7.in → ...group/cycle_path_subgraph2most_group_7.in
diff --git a/...up/cycle_path_subgraph2most_group_7.proof → ...up/cycle_path_subgraph2most_group_7.proof b/...up/cycle_path_subgraph2most_group_7.proof → ...up/cycle_path_subgraph2most_group_7.proof
diff --git a/...group/cycle_path_subgraph2most_group_8.in → ...group/cycle_path_subgraph2most_group_8.in b/...group/cycle_path_subgraph2most_group_8.in → ...group/cycle_path_subgraph2most_group_8.in
diff --git a/...up/cycle_path_subgraph2most_group_8.proof → ...up/cycle_path_subgraph2most_group_8.proof b/...up/cycle_path_subgraph2most_group_8.proof → ...up/cycle_path_subgraph2most_group_8.proof
diff --git a/...group/cycle_path_subgraph2most_group_9.in → ...group/cycle_path_subgraph2most_group_9.in b/...group/cycle_path_subgraph2most_group_9.in → ...group/cycle_path_subgraph2most_group_9.in
diff --git a/...up/cycle_path_subgraph2most_group_9.model → ...up/cycle_path_subgraph2most_group_9.model b/...up/cycle_path_subgraph2most_group_9.model → ...up/cycle_path_subgraph2most_group_9.model
diff --git a/...riments/cycle_path_subgraph_expanded.clif → ...archive/cycle_path_subgraph_expanded.clif b/...riments/cycle_path_subgraph_expanded.clif → ...archive/cycle_path_subgraph_expanded.clif
diff --git a/...ycle_path_subgraph_expanded_with_def.clif → ...ycle_path_subgraph_expanded_with_def.clif b/...ycle_path_subgraph_expanded_with_def.clif → ...ycle_path_subgraph_expanded_with_def.clif
diff --git a/ontologies/most/experiments/ex20180911.clif → .../archive/20181031_archive/ex20180911.clif b/ontologies/most/experiments/ex20180911.clif → .../archive/20181031_archive/ex20180911.clif
diff --git a/ontologies/most/experiments/ex20181018.clif → .../archive/20181031_archive/ex20181018.clif b/ontologies/most/experiments/ex20181018.clif → .../archive/20181031_archive/ex20181018.clif
diff --git a/...ost/experiments/ex20181018_reduction.clif → ...0181031_archive/ex20181018_reduction.clif b/...ost/experiments/ex20181018_reduction.clif → ...0181031_archive/ex20181018_reduction.clif
diff --git a/...81019_cycle_path_subgraph2most_group.clif → ...81019_cycle_path_subgraph2most_group.clif b/...81019_cycle_path_subgraph2most_group.clif → ...81019_cycle_path_subgraph2most_group.clif
diff --git a/...81019_most_group2cycle_path_subgraph.clif → ...81019_most_group2cycle_path_subgraph.clif b/...81019_most_group2cycle_path_subgraph.clif → ...81019_most_group2cycle_path_subgraph.clif
diff --git a/...81020_cycle_path_subgraph2most_group.clif → ...81020_cycle_path_subgraph2most_group.clif b/...81020_cycle_path_subgraph2most_group.clif → ...81020_cycle_path_subgraph2most_group.clif
diff --git a/...81020_most_group2cycle_path_subgraph.clif → ...81020_most_group2cycle_path_subgraph.clif b/...81020_most_group2cycle_path_subgraph.clif → ...81020_most_group2cycle_path_subgraph.clif
diff --git a/...81023_cycle_path_subgraph2most_group.clif → ...81023_cycle_path_subgraph2most_group.clif b/...81023_cycle_path_subgraph2most_group.clif → ...81023_cycle_path_subgraph2most_group.clif
diff --git a/...81023_most_group2cycle_path_subgraph.clif → ...81023_most_group2cycle_path_subgraph.clif b/...81023_most_group2cycle_path_subgraph.clif → ...81023_most_group2cycle_path_subgraph.clif
diff --git a/...pings/most_group2cycle_path_subgraph.clif → ...chive/most_group2cycle_path_subgraph.clif b/...pings/most_group2cycle_path_subgraph.clif → ...chive/most_group2cycle_path_subgraph.clif
diff --git a/...ubgraph/most_group2cycle_path_subgraph.in → ...ubgraph/most_group2cycle_path_subgraph.in b/...ubgraph/most_group2cycle_path_subgraph.in → ...ubgraph/most_group2cycle_path_subgraph.in
diff --git a/...graph/most_group2cycle_path_subgraph_1.in → ...graph/most_group2cycle_path_subgraph_1.in b/...graph/most_group2cycle_path_subgraph_1.in → ...graph/most_group2cycle_path_subgraph_1.in
diff --git a/...ph/most_group2cycle_path_subgraph_1.proof → ...ph/most_group2cycle_path_subgraph_1.proof b/...ph/most_group2cycle_path_subgraph_1.proof → ...ph/most_group2cycle_path_subgraph_1.proof
diff --git a/...raph/most_group2cycle_path_subgraph_10.in → ...raph/most_group2cycle_path_subgraph_10.in b/...raph/most_group2cycle_path_subgraph_10.in → ...raph/most_group2cycle_path_subgraph_10.in
diff --git a/...h/most_group2cycle_path_subgraph_10.proof → ...h/most_group2cycle_path_subgraph_10.proof b/...h/most_group2cycle_path_subgraph_10.proof → ...h/most_group2cycle_path_subgraph_10.proof
diff --git a/...raph/most_group2cycle_path_subgraph_11.in → ...raph/most_group2cycle_path_subgraph_11.in b/...raph/most_group2cycle_path_subgraph_11.in → ...raph/most_group2cycle_path_subgraph_11.in
diff --git a/...h/most_group2cycle_path_subgraph_11.proof → ...h/most_group2cycle_path_subgraph_11.proof b/...h/most_group2cycle_path_subgraph_11.proof → ...h/most_group2cycle_path_subgraph_11.proof
diff --git a/...raph/most_group2cycle_path_subgraph_12.in → ...raph/most_group2cycle_path_subgraph_12.in b/...raph/most_group2cycle_path_subgraph_12.in → ...raph/most_group2cycle_path_subgraph_12.in
diff --git a/...h/most_group2cycle_path_subgraph_12.proof → ...h/most_group2cycle_path_subgraph_12.proof b/...h/most_group2cycle_path_subgraph_12.proof → ...h/most_group2cycle_path_subgraph_12.proof
diff --git a/...raph/most_group2cycle_path_subgraph_13.in → ...raph/most_group2cycle_path_subgraph_13.in b/...raph/most_group2cycle_path_subgraph_13.in → ...raph/most_group2cycle_path_subgraph_13.in
diff --git a/...h/most_group2cycle_path_subgraph_13.proof → ...h/most_group2cycle_path_subgraph_13.proof b/...h/most_group2cycle_path_subgraph_13.proof → ...h/most_group2cycle_path_subgraph_13.proof
diff --git a/...raph/most_group2cycle_path_subgraph_14.in → ...raph/most_group2cycle_path_subgraph_14.in b/...raph/most_group2cycle_path_subgraph_14.in → ...raph/most_group2cycle_path_subgraph_14.in
diff --git a/...h/most_group2cycle_path_subgraph_14.proof → ...h/most_group2cycle_path_subgraph_14.proof b/...h/most_group2cycle_path_subgraph_14.proof → ...h/most_group2cycle_path_subgraph_14.proof
diff --git a/...raph/most_group2cycle_path_subgraph_15.in → ...raph/most_group2cycle_path_subgraph_15.in b/...raph/most_group2cycle_path_subgraph_15.in → ...raph/most_group2cycle_path_subgraph_15.in
diff --git a/...h/most_group2cycle_path_subgraph_15.proof → ...h/most_group2cycle_path_subgraph_15.proof b/...h/most_group2cycle_path_subgraph_15.proof → ...h/most_group2cycle_path_subgraph_15.proof
diff --git a/...raph/most_group2cycle_path_subgraph_16.in → ...raph/most_group2cycle_path_subgraph_16.in b/...raph/most_group2cycle_path_subgraph_16.in → ...raph/most_group2cycle_path_subgraph_16.in
diff --git a/...h/most_group2cycle_path_subgraph_16.proof → ...h/most_group2cycle_path_subgraph_16.proof b/...h/most_group2cycle_path_subgraph_16.proof → ...h/most_group2cycle_path_subgraph_16.proof
diff --git a/...raph/most_group2cycle_path_subgraph_17.in → ...raph/most_group2cycle_path_subgraph_17.in b/...raph/most_group2cycle_path_subgraph_17.in → ...raph/most_group2cycle_path_subgraph_17.in
diff --git a/...h/most_group2cycle_path_subgraph_17.proof → ...h/most_group2cycle_path_subgraph_17.proof b/...h/most_group2cycle_path_subgraph_17.proof → ...h/most_group2cycle_path_subgraph_17.proof
diff --git a/...graph/most_group2cycle_path_subgraph_2.in → ...graph/most_group2cycle_path_subgraph_2.in b/...graph/most_group2cycle_path_subgraph_2.in → ...graph/most_group2cycle_path_subgraph_2.in
diff --git a/...ph/most_group2cycle_path_subgraph_2.proof → ...ph/most_group2cycle_path_subgraph_2.proof b/...ph/most_group2cycle_path_subgraph_2.proof → ...ph/most_group2cycle_path_subgraph_2.proof
diff --git a/...graph/most_group2cycle_path_subgraph_3.in → ...graph/most_group2cycle_path_subgraph_3.in b/...graph/most_group2cycle_path_subgraph_3.in → ...graph/most_group2cycle_path_subgraph_3.in
diff --git a/...ph/most_group2cycle_path_subgraph_3.proof → ...ph/most_group2cycle_path_subgraph_3.proof b/...ph/most_group2cycle_path_subgraph_3.proof → ...ph/most_group2cycle_path_subgraph_3.proof
diff --git a/...graph/most_group2cycle_path_subgraph_4.in → ...graph/most_group2cycle_path_subgraph_4.in b/...graph/most_group2cycle_path_subgraph_4.in → ...graph/most_group2cycle_path_subgraph_4.in
diff --git a/...ph/most_group2cycle_path_subgraph_4.proof → ...ph/most_group2cycle_path_subgraph_4.proof b/...ph/most_group2cycle_path_subgraph_4.proof → ...ph/most_group2cycle_path_subgraph_4.proof
diff --git a/...graph/most_group2cycle_path_subgraph_5.in → ...graph/most_group2cycle_path_subgraph_5.in b/...graph/most_group2cycle_path_subgraph_5.in → ...graph/most_group2cycle_path_subgraph_5.in
diff --git a/...ph/most_group2cycle_path_subgraph_5.proof → ...ph/most_group2cycle_path_subgraph_5.proof b/...ph/most_group2cycle_path_subgraph_5.proof → ...ph/most_group2cycle_path_subgraph_5.proof
diff --git a/...graph/most_group2cycle_path_subgraph_6.in → ...graph/most_group2cycle_path_subgraph_6.in b/...graph/most_group2cycle_path_subgraph_6.in → ...graph/most_group2cycle_path_subgraph_6.in
diff --git a/...ph/most_group2cycle_path_subgraph_6.proof → ...ph/most_group2cycle_path_subgraph_6.proof b/...ph/most_group2cycle_path_subgraph_6.proof → ...ph/most_group2cycle_path_subgraph_6.proof
diff --git a/...graph/most_group2cycle_path_subgraph_7.in → ...graph/most_group2cycle_path_subgraph_7.in b/...graph/most_group2cycle_path_subgraph_7.in → ...graph/most_group2cycle_path_subgraph_7.in
diff --git a/...ph/most_group2cycle_path_subgraph_7.proof → ...ph/most_group2cycle_path_subgraph_7.proof b/...ph/most_group2cycle_path_subgraph_7.proof → ...ph/most_group2cycle_path_subgraph_7.proof
diff --git a/...graph/most_group2cycle_path_subgraph_8.in → ...graph/most_group2cycle_path_subgraph_8.in b/...graph/most_group2cycle_path_subgraph_8.in → ...graph/most_group2cycle_path_subgraph_8.in
diff --git a/...ph/most_group2cycle_path_subgraph_8.proof → ...ph/most_group2cycle_path_subgraph_8.proof b/...ph/most_group2cycle_path_subgraph_8.proof → ...ph/most_group2cycle_path_subgraph_8.proof
diff --git a/...graph/most_group2cycle_path_subgraph_9.in → ...graph/most_group2cycle_path_subgraph_9.in b/...graph/most_group2cycle_path_subgraph_9.in → ...graph/most_group2cycle_path_subgraph_9.in
diff --git a/...ph/most_group2cycle_path_subgraph_9.proof → ...ph/most_group2cycle_path_subgraph_9.proof b/...ph/most_group2cycle_path_subgraph_9.proof → ...ph/most_group2cycle_path_subgraph_9.proof
diff --git a/...cle_path_subgraph/most_group_corollary.in → ...cle_path_subgraph/most_group_corollary.in b/...cle_path_subgraph/most_group_corollary.in → ...cle_path_subgraph/most_group_corollary.in
diff --git a/...e_path_subgraph_nonisolated_expanded.clif → ...e_path_subgraph_nonisolated_expanded.clif b/...e_path_subgraph_nonisolated_expanded.clif → ...e_path_subgraph_nonisolated_expanded.clif
diff --git a/...bgraph_nonisolated_expanded_with_def.clif → ...bgraph_nonisolated_expanded_with_def.clif b/...bgraph_nonisolated_expanded_with_def.clif → ...bgraph_nonisolated_expanded_with_def.clif