Skip to content
Permalink
Browse files

renamed MoSt experiments folders to interprets

  • Loading branch information...
carmenchui committed Mar 22, 2019
1 parent d8578cf commit 8b7cd7c67da934bb2353e23aacc64e413a7eed7b
Showing with 0 additions and 0 deletions.
  1. 0 ontologies/molecular_graph/{experiments → interprets}/ex20181017.clif
  2. 0 ontologies/molecular_graph/{experiments → interprets}/ex20181017_reduction.clif
  3. 0 ...logies/molecular_graph/{experiments → interprets}/ex20181019_most_graph2nonisolated_loopless.clif
  4. 0 ...logies/molecular_graph/{experiments → interprets}/ex20181019_nonisolated_loopless2most_graph.clif
  5. 0 ...logies/molecular_graph/{experiments → interprets}/ex20181020_most_graph2nonisolated_loopless.clif
  6. 0 ...logies/molecular_graph/{experiments → interprets}/ex20181020_nonisolated_loopless2most_graph.clif
  7. 0 ...aph/{experiments → interprets}/most_graph2nonisolated_loopless/most_graph2nonisolated_loopless.in
  8. 0 ...h/{experiments → interprets}/most_graph2nonisolated_loopless/most_graph2nonisolated_loopless_1.in
  9. 0 ...experiments → interprets}/most_graph2nonisolated_loopless/most_graph2nonisolated_loopless_1.proof
  10. 0 ...h/{experiments → interprets}/most_graph2nonisolated_loopless/most_graph2nonisolated_loopless_2.in
  11. 0 ...experiments → interprets}/most_graph2nonisolated_loopless/most_graph2nonisolated_loopless_2.proof
  12. 0 ...h/{experiments → interprets}/most_graph2nonisolated_loopless/most_graph2nonisolated_loopless_3.in
  13. 0 ...experiments → interprets}/most_graph2nonisolated_loopless/most_graph2nonisolated_loopless_3.proof
  14. 0 ...h/{experiments → interprets}/most_graph2nonisolated_loopless/most_graph2nonisolated_loopless_4.in
  15. 0 ...experiments → interprets}/most_graph2nonisolated_loopless/most_graph2nonisolated_loopless_4.proof
  16. 0 ...h/{experiments → interprets}/most_graph2nonisolated_loopless/most_graph2nonisolated_loopless_5.in
  17. 0 ...experiments → interprets}/most_graph2nonisolated_loopless/most_graph2nonisolated_loopless_5.proof
  18. 0 ...h/{experiments → interprets}/most_graph2nonisolated_loopless/most_graph2nonisolated_loopless_6.in
  19. 0 ...experiments → interprets}/most_graph2nonisolated_loopless/most_graph2nonisolated_loopless_6.proof
  20. 0 ...h/{experiments → interprets}/most_graph2nonisolated_loopless/most_graph2nonisolated_loopless_7.in
  21. 0 ...experiments → interprets}/most_graph2nonisolated_loopless/most_graph2nonisolated_loopless_7.proof
  22. 0 ...h/{experiments → interprets}/most_graph2nonisolated_loopless/most_graph2nonisolated_loopless_8.in
  23. 0 ...experiments → interprets}/most_graph2nonisolated_loopless/most_graph2nonisolated_loopless_8.proof
  24. 0 ...h/{experiments → interprets}/most_graph2nonisolated_loopless/most_graph2nonisolated_loopless_9.in
  25. 0 ...experiments → interprets}/most_graph2nonisolated_loopless/most_graph2nonisolated_loopless_9.proof
  26. BIN ontologies/molecular_graph/{experiments → interprets}/most_graph_experiments.xlsx
  27. 0 ...aph/{experiments → interprets}/nonisolated_loopless2most_graph/nonisolated_loopless2most_graph.in
  28. 0 ...h/{experiments → interprets}/nonisolated_loopless2most_graph/nonisolated_loopless2most_graph_1.in
  29. 0 ...experiments → interprets}/nonisolated_loopless2most_graph/nonisolated_loopless2most_graph_1.proof
  30. 0 ...h/{experiments → interprets}/nonisolated_loopless2most_graph/nonisolated_loopless2most_graph_2.in
  31. 0 ...experiments → interprets}/nonisolated_loopless2most_graph/nonisolated_loopless2most_graph_2.proof
  32. 0 ...h/{experiments → interprets}/nonisolated_loopless2most_graph/nonisolated_loopless2most_graph_3.in
  33. 0 ...experiments → interprets}/nonisolated_loopless2most_graph/nonisolated_loopless2most_graph_3.proof
  34. 0 ...h/{experiments → interprets}/nonisolated_loopless2most_graph/nonisolated_loopless2most_graph_4.in
  35. 0 ...experiments → interprets}/nonisolated_loopless2most_graph/nonisolated_loopless2most_graph_4.proof
  36. 0 ...h/{experiments → interprets}/nonisolated_loopless2most_graph/nonisolated_loopless2most_graph_5.in
  37. 0 ...experiments → interprets}/nonisolated_loopless2most_graph/nonisolated_loopless2most_graph_5.proof
  38. 0 ...h/{experiments → interprets}/nonisolated_loopless2most_graph/nonisolated_loopless2most_graph_6.in
  39. 0 ...experiments → interprets}/nonisolated_loopless2most_graph/nonisolated_loopless2most_graph_6.proof
  40. 0 ...h/{experiments → interprets}/nonisolated_loopless2most_graph/nonisolated_loopless2most_graph_7.in
  41. 0 ...experiments → interprets}/nonisolated_loopless2most_graph/nonisolated_loopless2most_graph_7.proof
  42. 0 ...h/{experiments → interprets}/nonisolated_loopless2most_graph/nonisolated_loopless2most_graph_8.in
  43. 0 ...experiments → interprets}/nonisolated_loopless2most_graph/nonisolated_loopless2most_graph_8.proof
  44. 0 ...h/{experiments → interprets}/nonisolated_loopless2most_graph/nonisolated_loopless2most_graph_9.in
  45. 0 ...experiments → interprets}/nonisolated_loopless2most_graph/nonisolated_loopless2most_graph_9.proof
  46. 0 ontologies/molecular_graph/{experiments → interprets}/nonisolated_loopless_expanded.clif
  47. 0 ...erprets}/cycle_path_subgraph_nonisolated2most_group/cycle_path_subgraph_nonisolated2most_group.in
  48. 0 ...prets}/cycle_path_subgraph_nonisolated2most_group/cycle_path_subgraph_nonisolated2most_group_1.in
  49. 0 ...ts}/cycle_path_subgraph_nonisolated2most_group/cycle_path_subgraph_nonisolated2most_group_1.proof
  50. 0 ...rets}/cycle_path_subgraph_nonisolated2most_group/cycle_path_subgraph_nonisolated2most_group_10.in
  51. 0 ...s}/cycle_path_subgraph_nonisolated2most_group/cycle_path_subgraph_nonisolated2most_group_10.proof
  52. 0 ...rets}/cycle_path_subgraph_nonisolated2most_group/cycle_path_subgraph_nonisolated2most_group_11.in
  53. 0 ...s}/cycle_path_subgraph_nonisolated2most_group/cycle_path_subgraph_nonisolated2most_group_11.proof
  54. 0 ...rets}/cycle_path_subgraph_nonisolated2most_group/cycle_path_subgraph_nonisolated2most_group_12.in
  55. 0 ...s}/cycle_path_subgraph_nonisolated2most_group/cycle_path_subgraph_nonisolated2most_group_12.proof
  56. 0 ...rets}/cycle_path_subgraph_nonisolated2most_group/cycle_path_subgraph_nonisolated2most_group_13.in
  57. 0 ...s}/cycle_path_subgraph_nonisolated2most_group/cycle_path_subgraph_nonisolated2most_group_13.proof
  58. 0 ...prets}/cycle_path_subgraph_nonisolated2most_group/cycle_path_subgraph_nonisolated2most_group_2.in
  59. 0 ...ts}/cycle_path_subgraph_nonisolated2most_group/cycle_path_subgraph_nonisolated2most_group_2.proof
  60. 0 ...prets}/cycle_path_subgraph_nonisolated2most_group/cycle_path_subgraph_nonisolated2most_group_3.in
  61. 0 ...ts}/cycle_path_subgraph_nonisolated2most_group/cycle_path_subgraph_nonisolated2most_group_3.proof
  62. 0 ...prets}/cycle_path_subgraph_nonisolated2most_group/cycle_path_subgraph_nonisolated2most_group_4.in
  63. 0 ...ts}/cycle_path_subgraph_nonisolated2most_group/cycle_path_subgraph_nonisolated2most_group_4.proof
  64. 0 ...prets}/cycle_path_subgraph_nonisolated2most_group/cycle_path_subgraph_nonisolated2most_group_5.in
  65. 0 ...ts}/cycle_path_subgraph_nonisolated2most_group/cycle_path_subgraph_nonisolated2most_group_5.proof
  66. 0 ...prets}/cycle_path_subgraph_nonisolated2most_group/cycle_path_subgraph_nonisolated2most_group_6.in
  67. 0 ...ts}/cycle_path_subgraph_nonisolated2most_group/cycle_path_subgraph_nonisolated2most_group_6.proof
  68. 0 ...prets}/cycle_path_subgraph_nonisolated2most_group/cycle_path_subgraph_nonisolated2most_group_7.in
  69. 0 ...ts}/cycle_path_subgraph_nonisolated2most_group/cycle_path_subgraph_nonisolated2most_group_7.proof
  70. 0 ...prets}/cycle_path_subgraph_nonisolated2most_group/cycle_path_subgraph_nonisolated2most_group_8.in
  71. 0 ...ts}/cycle_path_subgraph_nonisolated2most_group/cycle_path_subgraph_nonisolated2most_group_8.proof
  72. 0 ...prets}/cycle_path_subgraph_nonisolated2most_group/cycle_path_subgraph_nonisolated2most_group_9.in
  73. 0 ...ts}/cycle_path_subgraph_nonisolated2most_group/cycle_path_subgraph_nonisolated2most_group_9.proof
  74. 0 ontologies/most/{experiments → interprets}/cycle_path_subgraph_nonisolated_expanded.clif
  75. 0 ontologies/most/{experiments → interprets}/cycle_path_subgraph_nonisolated_expanded_with_def.clif
  76. 0 ...logies/most/{experiments → interprets}/ex20181030_cycle_path_subgraph_nonisolated2most_group.clif
  77. 0 ...logies/most/{experiments → interprets}/ex20181030_most_group2cycle_path_subgraph_nonisolated.clif
  78. 0 ...logies/most/{experiments → interprets}/ex20181108_cycle_path_subgraph_nonisolated2most_group.clif
  79. 0 ...logies/most/{experiments → interprets}/ex20181108_most_group2cycle_path_subgraph_nonisolated.clif
  80. 0 ontologies/most/{experiments → interprets}/fork_theorem/most_fork_theorem.in
  81. 0 ontologies/most/{experiments → interprets}/fork_theorem/most_fork_theorem.proof
  82. 0 ontologies/most/{experiments → interprets}/most_fork_theorem.clif
  83. 0 ...erprets}/most_graph2cycle_path_subgraph_nonisolated/most_group2cycle_path_subgraph_nonisolated.in
  84. 0 ...prets}/most_graph2cycle_path_subgraph_nonisolated/most_group2cycle_path_subgraph_nonisolated_1.in
  85. 0 ...ts}/most_graph2cycle_path_subgraph_nonisolated/most_group2cycle_path_subgraph_nonisolated_1.proof
  86. 0 ...rets}/most_graph2cycle_path_subgraph_nonisolated/most_group2cycle_path_subgraph_nonisolated_10.in
  87. 0 ...s}/most_graph2cycle_path_subgraph_nonisolated/most_group2cycle_path_subgraph_nonisolated_10.proof
  88. 0 ...rets}/most_graph2cycle_path_subgraph_nonisolated/most_group2cycle_path_subgraph_nonisolated_11.in
  89. 0 ...s}/most_graph2cycle_path_subgraph_nonisolated/most_group2cycle_path_subgraph_nonisolated_11.proof
  90. 0 ...rets}/most_graph2cycle_path_subgraph_nonisolated/most_group2cycle_path_subgraph_nonisolated_12.in
  91. 0 ...s}/most_graph2cycle_path_subgraph_nonisolated/most_group2cycle_path_subgraph_nonisolated_12.proof
  92. 0 ...rets}/most_graph2cycle_path_subgraph_nonisolated/most_group2cycle_path_subgraph_nonisolated_13.in
  93. 0 ...s}/most_graph2cycle_path_subgraph_nonisolated/most_group2cycle_path_subgraph_nonisolated_13.proof
  94. 0 ...rets}/most_graph2cycle_path_subgraph_nonisolated/most_group2cycle_path_subgraph_nonisolated_14.in
  95. 0 ...s}/most_graph2cycle_path_subgraph_nonisolated/most_group2cycle_path_subgraph_nonisolated_14.proof
  96. 0 ...rets}/most_graph2cycle_path_subgraph_nonisolated/most_group2cycle_path_subgraph_nonisolated_15.in
  97. 0 ...s}/most_graph2cycle_path_subgraph_nonisolated/most_group2cycle_path_subgraph_nonisolated_15.proof
  98. 0 ...rets}/most_graph2cycle_path_subgraph_nonisolated/most_group2cycle_path_subgraph_nonisolated_16.in
  99. 0 ...s}/most_graph2cycle_path_subgraph_nonisolated/most_group2cycle_path_subgraph_nonisolated_16.proof
  100. 0 ...rets}/most_graph2cycle_path_subgraph_nonisolated/most_group2cycle_path_subgraph_nonisolated_17.in
  101. 0 ...s}/most_graph2cycle_path_subgraph_nonisolated/most_group2cycle_path_subgraph_nonisolated_17.proof
  102. 0 ...rets}/most_graph2cycle_path_subgraph_nonisolated/most_group2cycle_path_subgraph_nonisolated_18.in
  103. 0 ...s}/most_graph2cycle_path_subgraph_nonisolated/most_group2cycle_path_subgraph_nonisolated_18.proof
  104. 0 ...prets}/most_graph2cycle_path_subgraph_nonisolated/most_group2cycle_path_subgraph_nonisolated_2.in
  105. 0 ...ts}/most_graph2cycle_path_subgraph_nonisolated/most_group2cycle_path_subgraph_nonisolated_2.proof
  106. 0 ...prets}/most_graph2cycle_path_subgraph_nonisolated/most_group2cycle_path_subgraph_nonisolated_3.in
  107. 0 ...ts}/most_graph2cycle_path_subgraph_nonisolated/most_group2cycle_path_subgraph_nonisolated_3.proof
  108. 0 ...prets}/most_graph2cycle_path_subgraph_nonisolated/most_group2cycle_path_subgraph_nonisolated_4.in
  109. 0 ...ts}/most_graph2cycle_path_subgraph_nonisolated/most_group2cycle_path_subgraph_nonisolated_4.proof
  110. 0 ...prets}/most_graph2cycle_path_subgraph_nonisolated/most_group2cycle_path_subgraph_nonisolated_5.in
  111. 0 ...ts}/most_graph2cycle_path_subgraph_nonisolated/most_group2cycle_path_subgraph_nonisolated_5.proof
  112. 0 ...prets}/most_graph2cycle_path_subgraph_nonisolated/most_group2cycle_path_subgraph_nonisolated_6.in
  113. 0 ...ts}/most_graph2cycle_path_subgraph_nonisolated/most_group2cycle_path_subgraph_nonisolated_6.proof
  114. 0 ...prets}/most_graph2cycle_path_subgraph_nonisolated/most_group2cycle_path_subgraph_nonisolated_7.in
  115. 0 ...ts}/most_graph2cycle_path_subgraph_nonisolated/most_group2cycle_path_subgraph_nonisolated_7.proof
  116. 0 ...prets}/most_graph2cycle_path_subgraph_nonisolated/most_group2cycle_path_subgraph_nonisolated_8.in
  117. 0 ...ts}/most_graph2cycle_path_subgraph_nonisolated/most_group2cycle_path_subgraph_nonisolated_8.proof
  118. 0 ...prets}/most_graph2cycle_path_subgraph_nonisolated/most_group2cycle_path_subgraph_nonisolated_9.in
  119. 0 ...ts}/most_graph2cycle_path_subgraph_nonisolated/most_group2cycle_path_subgraph_nonisolated_9.proof
  120. BIN ontologies/most/{experiments → interprets}/most_group_experiments.xlsx
  121. 0 ontologies/most/{experiments → interprets}/most_group_verification.clif
  122. 0 ontologies/most/{experiments → interprets}/most_group_verification_with_def.clif

0 comments on commit 8b7cd7c

Please sign in to comment.
You can’t perform that action at this time.