API tools faq
paste
Advertisement
froleyks

names

froleyks
Apr 9th, 2020
153
0
Never
Add comment
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 23.30 KB | None | 0 0
raw download clone embed print report
  1.  
  2. output/SAT_33_opt-barman_p435.1.pddl.sas.cnf
  3. output/UNSAT_32_opt-barman_p435.1.pddl.sas.cnf
  4. output/SAT_33_opt-barman_p435.2.pddl.sas.cnf
  5. output/UNSAT_32_opt-barman_p435.2.pddl.sas.cnf
  6. output/SAT_33_opt-barman_p435.3.pddl.sas.cnf
  7. output/UNSAT_32_opt-barman_p435.3.pddl.sas.cnf
  8. output/SAT_4_opt-childsnack_pchild-snack_pfile01-2.pddl.sas.cnf
  9. output/UNSAT_3_opt-childsnack_pchild-snack_pfile01-2.pddl.sas.cnf
  10. output/SAT_3_opt-childsnack_pchild-snack_pfile01.pddl.sas.cnf
  11. output/UNSAT_2_opt-childsnack_pchild-snack_pfile01.pddl.sas.cnf
  12. output/SAT_4_opt-childsnack_pchild-snack_pfile02-2.pddl.sas.cnf
  13. output/UNSAT_3_opt-childsnack_pchild-snack_pfile02-2.pddl.sas.cnf
  14. output/SAT_3_opt-childsnack_pchild-snack_pfile02.pddl.sas.cnf
  15. output/UNSAT_2_opt-childsnack_pchild-snack_pfile02.pddl.sas.cnf
  16. output/SAT_4_opt-childsnack_pchild-snack_pfile03-2.pddl.sas.cnf
  17. output/UNSAT_3_opt-childsnack_pchild-snack_pfile03-2.pddl.sas.cnf
  18. output/SAT_4_opt-childsnack_pchild-snack_pfile03.pddl.sas.cnf
  19. output/UNSAT_3_opt-childsnack_pchild-snack_pfile03.pddl.sas.cnf
  20. output/SAT_3_opt-childsnack_pchild-snack_pfile04-2.pddl.sas.cnf
  21. output/UNSAT_2_opt-childsnack_pchild-snack_pfile04-2.pddl.sas.cnf
  22. output/SAT_3_opt-childsnack_pchild-snack_pfile04.pddl.sas.cnf
  23. output/UNSAT_2_opt-childsnack_pchild-snack_pfile04.pddl.sas.cnf
  24. output/SAT_3_opt-childsnack_pchild-snack_pfile05-2.pddl.sas.cnf
  25. output/UNSAT_2_opt-childsnack_pchild-snack_pfile05-2.pddl.sas.cnf
  26. output/SAT_3_opt-childsnack_pchild-snack_pfile05.pddl.sas.cnf
  27. output/UNSAT_2_opt-childsnack_pchild-snack_pfile05.pddl.sas.cnf
  28. output/SAT_3_opt-childsnack_pchild-snack_pfile06-2.pddl.sas.cnf
  29. output/UNSAT_2_opt-childsnack_pchild-snack_pfile06-2.pddl.sas.cnf
  30. output/SAT_3_opt-childsnack_pchild-snack_pfile06.pddl.sas.cnf
  31. output/UNSAT_2_opt-childsnack_pchild-snack_pfile06.pddl.sas.cnf
  32. output/SAT_3_opt-childsnack_pchild-snack_pfile07-2.pddl.sas.cnf
  33. output/UNSAT_2_opt-childsnack_pchild-snack_pfile07-2.pddl.sas.cnf
  34. output/SAT_3_opt-childsnack_pchild-snack_pfile07.pddl.sas.cnf
  35. output/UNSAT_2_opt-childsnack_pchild-snack_pfile07.pddl.sas.cnf
  36. output/SAT_3_opt-childsnack_pchild-snack_pfile08-2.pddl.sas.cnf
  37. output/UNSAT_2_opt-childsnack_pchild-snack_pfile08-2.pddl.sas.cnf
  38. output/SAT_3_opt-childsnack_pchild-snack_pfile08.pddl.sas.cnf
  39. output/UNSAT_2_opt-childsnack_pchild-snack_pfile08.pddl.sas.cnf
  40. output/SAT_3_opt-childsnack_pchild-snack_pfile09-2.pddl.sas.cnf
  41. output/UNSAT_2_opt-childsnack_pchild-snack_pfile09-2.pddl.sas.cnf
  42. output/SAT_3_opt-childsnack_pchild-snack_pfile09.pddl.sas.cnf
  43. output/UNSAT_2_opt-childsnack_pchild-snack_pfile09.pddl.sas.cnf
  44. output/SAT_3_opt-childsnack_pchild-snack_pfile10-2.pddl.sas.cnf
  45. output/UNSAT_2_opt-childsnack_pchild-snack_pfile10-2.pddl.sas.cnf
  46. output/SAT_3_opt-childsnack_pchild-snack_pfile10.pddl.sas.cnf
  47. output/UNSAT_2_opt-childsnack_pchild-snack_pfile10.pddl.sas.cnf
  48. output/SAT_6_opt-data-network_p01.pddl.sas.cnf
  49. output/UNSAT_5_opt-data-network_p01.pddl.sas.cnf
  50. output/SAT_5_opt-data-network_p02.pddl.sas.cnf
  51. output/UNSAT_4_opt-data-network_p02.pddl.sas.cnf
  52. output/SAT_8_opt-data-network_p03.pddl.sas.cnf
  53. output/UNSAT_7_opt-data-network_p03.pddl.sas.cnf
  54. output/SAT_7_opt-data-network_p04.pddl.sas.cnf
  55. output/UNSAT_6_opt-data-network_p04.pddl.sas.cnf
  56. output/SAT_9_opt-data-network_p05.pddl.sas.cnf
  57. output/UNSAT_8_opt-data-network_p05.pddl.sas.cnf
  58. output/SAT_8_opt-data-network_p06.pddl.sas.cnf
  59. output/UNSAT_7_opt-data-network_p06.pddl.sas.cnf
  60. output/SAT_9_opt-data-network_p07.pddl.sas.cnf
  61. output/UNSAT_8_opt-data-network_p07.pddl.sas.cnf
  62. output/UNSAT_10_opt-data-network_p08.pddl.sas.cnf
  63. output/SAT_7_opt-data-network_p09.pddl.sas.cnf
  64. output/UNSAT_6_opt-data-network_p09.pddl.sas.cnf
  65. output/SAT_6_opt-data-network_p10.pddl.sas.cnf
  66. output/UNSAT_5_opt-data-network_p10.pddl.sas.cnf
  67. output/SAT_6_opt-data-network_p11.pddl.sas.cnf
  68. output/UNSAT_5_opt-data-network_p11.pddl.sas.cnf
  69. output/SAT_6_opt-data-network_p12.pddl.sas.cnf
  70. output/UNSAT_5_opt-data-network_p12.pddl.sas.cnf
  71. output/SAT_7_opt-data-network_p13.pddl.sas.cnf
  72. output/UNSAT_6_opt-data-network_p13.pddl.sas.cnf
  73. output/SAT_8_opt-data-network_p14.pddl.sas.cnf
  74. output/UNSAT_7_opt-data-network_p14.pddl.sas.cnf
  75. output/SAT_6_opt-data-network_p15.pddl.sas.cnf
  76. output/UNSAT_5_opt-data-network_p15.pddl.sas.cnf
  77. output/SAT_9_opt-data-network_p16.pddl.sas.cnf
  78. output/UNSAT_8_opt-data-network_p16.pddl.sas.cnf
  79. output/SAT_6_opt-data-network_p17.pddl.sas.cnf
  80. output/UNSAT_5_opt-data-network_p17.pddl.sas.cnf
  81. output/UNSAT_11_opt-data-network_p18.pddl.sas.cnf
  82. output/SAT_7_opt-data-network_p19.pddl.sas.cnf
  83. output/UNSAT_6_opt-data-network_p19.pddl.sas.cnf
  84. output/SAT_8_opt-data-network_p20.pddl.sas.cnf
  85. output/UNSAT_7_opt-data-network_p20.pddl.sas.cnf
  86. output/UNSAT_11_opt-floortile_p01-4-3-2.pddl.sas.cnf
  87. output/UNSAT_14_opt-floortile_p01-4-4-2.pddl.sas.cnf
  88. output/UNSAT_14_opt-floortile_p01-5-3-2.pddl.sas.cnf
  89. output/UNSAT_18_opt-floortile_p01-5-4-2.pddl.sas.cnf
  90. output/UNSAT_21_opt-floortile_p01-5-5-2.pddl.sas.cnf
  91. output/UNSAT_21_opt-floortile_p01-6-4-2.pddl.sas.cnf
  92. output/UNSAT_25_opt-floortile_p01-6-5-2.pddl.sas.cnf
  93. output/UNSAT_15_opt-floortile_p02-4-4-2.pddl.sas.cnf
  94. output/UNSAT_13_opt-floortile_p02-5-3-2.pddl.sas.cnf
  95. output/UNSAT_19_opt-floortile_p02-5-4-2.pddl.sas.cnf
  96. output/UNSAT_22_opt-floortile_p02-5-5-2.pddl.sas.cnf
  97. output/UNSAT_22_opt-floortile_p02-6-4-2.pddl.sas.cnf
  98. output/SAT_29_opt-floortile_p02-6-5-2.pddl.sas.cnf
  99. output/UNSAT_28_opt-floortile_p02-6-5-2.pddl.sas.cnf
  100. output/UNSAT_11_opt-floortile_p03-4-3-2.pddl.sas.cnf
  101. output/UNSAT_14_opt-floortile_p03-4-4-2.pddl.sas.cnf
  102. output/UNSAT_13_opt-floortile_p03-5-3-2.pddl.sas.cnf
  103. output/UNSAT_16_opt-floortile_p03-5-4-2.pddl.sas.cnf
  104. output/UNSAT_21_opt-floortile_p03-5-5-2.pddl.sas.cnf
  105. output/UNSAT_23_opt-floortile_p03-6-4-2.pddl.sas.cnf
  106. output/SAT_27_opt-floortile_p03-6-5-2.pddl.sas.cnf
  107. output/UNSAT_26_opt-floortile_p03-6-5-2.pddl.sas.cnf
  108. output/SAT_6_opt-ged_pd-1-3.pddl.sas.cnf
  109. output/UNSAT_5_opt-ged_pd-1-3.pddl.sas.cnf
  110. output/UNSAT_12_opt-ged_pd-1-8.pddl.sas.cnf
  111. output/SAT_6_opt-ged_pd-2-3.pddl.sas.cnf
  112. output/UNSAT_5_opt-ged_pd-2-3.pddl.sas.cnf
  113. output/SAT_6_opt-ged_pd-2-4.pddl.sas.cnf
  114. output/UNSAT_5_opt-ged_pd-2-4.pddl.sas.cnf
  115. output/UNSAT_12_opt-ged_pd-2-8.pddl.sas.cnf
  116. output/SAT_6_opt-ged_pd-3-1.pddl.sas.cnf
  117. output/UNSAT_5_opt-ged_pd-3-1.pddl.sas.cnf
  118. output/SAT_6_opt-ged_pd-3-2.pddl.sas.cnf
  119. output/UNSAT_5_opt-ged_pd-3-2.pddl.sas.cnf
  120. output/UNSAT_12_opt-ged_pd-3-4.pddl.sas.cnf
  121. output/SAT_6_opt-ged_pd-4-2.pddl.sas.cnf
  122. output/UNSAT_5_opt-ged_pd-4-2.pddl.sas.cnf
  123. output/UNSAT_12_opt-ged_pd-4-3.pddl.sas.cnf
  124. output/UNSAT_12_opt-ged_pd-4-8.pddl.sas.cnf
  125. output/UNSAT_12_opt-ged_pd-7-5.pddl.sas.cnf
  126. output/UNSAT_12_opt-ged_pd-7-6.pddl.sas.cnf
  127. output/UNSAT_12_opt-ged_pd-8-1.pddl.sas.cnf
  128. output/UNSAT_12_opt-ged_pd-8-2.pddl.sas.cnf
  129. output/UNSAT_12_opt-ged_pd-8-4.pddl.sas.cnf
  130. output/UNSAT_15_opt-ged_pd-8-9.pddl.sas.cnf
  131. output/UNSAT_9_opt-hiking_ptesting-1-2-3.pddl.sas.cnf
  132. output/UNSAT_14_opt-hiking_ptesting-1-2-4.pddl.sas.cnf
  133. output/UNSAT_21_opt-hiking_ptesting-1-2-5.pddl.sas.cnf
  134. output/SAT_33_opt-hiking_ptesting-1-2-7.pddl.sas.cnf
  135. output/UNSAT_32_opt-hiking_ptesting-1-2-7.pddl.sas.cnf
  136. output/SAT_39_opt-hiking_ptesting-1-2-8.pddl.sas.cnf
  137. output/UNSAT_38_opt-hiking_ptesting-1-2-8.pddl.sas.cnf
  138. output/SAT_4_opt-hiking_ptesting-2-2-3.pddl.sas.cnf
  139. output/UNSAT_3_opt-hiking_ptesting-2-2-3.pddl.sas.cnf
  140. output/SAT_8_opt-hiking_ptesting-2-2-4.pddl.sas.cnf
  141. output/UNSAT_7_opt-hiking_ptesting-2-2-4.pddl.sas.cnf
  142. output/UNSAT_9_opt-hiking_ptesting-2-2-5.pddl.sas.cnf
  143. output/UNSAT_14_opt-hiking_ptesting-2-2-6.pddl.sas.cnf
  144. output/UNSAT_15_opt-hiking_ptesting-2-2-7.pddl.sas.cnf
  145. output/SAT_9_opt-hiking_ptesting-2-3-4.pddl.sas.cnf
  146. output/UNSAT_8_opt-hiking_ptesting-2-3-4.pddl.sas.cnf
  147. output/UNSAT_11_opt-hiking_ptesting-2-3-5.pddl.sas.cnf
  148. output/UNSAT_13_opt-hiking_ptesting-2-3-6.pddl.sas.cnf
  149. output/SAT_5_opt-hiking_ptesting-2-4-3.pddl.sas.cnf
  150. output/UNSAT_4_opt-hiking_ptesting-2-4-3.pddl.sas.cnf
  151. output/SAT_9_opt-hiking_ptesting-2-4-4.pddl.sas.cnf
  152. output/UNSAT_8_opt-hiking_ptesting-2-4-4.pddl.sas.cnf
  153. output/UNSAT_10_opt-hiking_ptesting-2-4-5.pddl.sas.cnf
  154. output/UNSAT_9_opt-organic-synthesis-split_p01.pddl.sas.cnf
  155. output/UNSAT_14_opt-organic-synthesis-split_p02.pddl.sas.cnf
  156. output/SAT_37_opt-organic-synthesis-split_p03.pddl.sas.cnf
  157. output/UNSAT_36_opt-organic-synthesis-split_p03.pddl.sas.cnf
  158. output/UNSAT_19_opt-organic-synthesis-split_p04.pddl.sas.cnf
  159. output/UNSAT_22_opt-organic-synthesis-split_p05.pddl.sas.cnf
  160. output/SAT_32_opt-organic-synthesis-split_p06.pddl.sas.cnf
  161. output/UNSAT_31_opt-organic-synthesis-split_p06.pddl.sas.cnf
  162. output/UNSAT_15_opt-organic-synthesis-split_p07.pddl.sas.cnf
  163. output/SAT_28_opt-organic-synthesis-split_p09.pddl.sas.cnf
  164. output/UNSAT_27_opt-organic-synthesis-split_p09.pddl.sas.cnf
  165. output/SAT_28_opt-organic-synthesis-split_p10.pddl.sas.cnf
  166. output/UNSAT_27_opt-organic-synthesis-split_p10.pddl.sas.cnf
  167. output/UNSAT_25_opt-organic-synthesis-split_p14.pddl.sas.cnf
  168. output/UNSAT_133_opt-petri-net-alignment_p01.pddl.sas.cnf
  169. output/UNSAT_186_opt-petri-net-alignment_p05.pddl.sas.cnf
  170. output/UNSAT_256_opt-petri-net-alignment_p08.pddl.sas.cnf
  171. output/SAT_284_opt-petri-net-alignment_p11.pddl.sas.cnf
  172. output/UNSAT_283_opt-petri-net-alignment_p11.pddl.sas.cnf
  173. output/SAT_337_opt-petri-net-alignment_p13.pddl.sas.cnf
  174. output/UNSAT_336_opt-petri-net-alignment_p13.pddl.sas.cnf
  175. output/UNSAT_23_opt-snake_p01.pddl.sas.cnf
  176. output/SAT_32_opt-snake_p02.pddl.sas.cnf
  177. output/UNSAT_31_opt-snake_p02.pddl.sas.cnf
  178. output/UNSAT_11_opt-snake_p04.pddl.sas.cnf
  179. output/UNSAT_16_opt-snake_p05.pddl.sas.cnf
  180. output/SAT_31_opt-snake_p06.pddl.sas.cnf
  181. output/UNSAT_30_opt-snake_p06.pddl.sas.cnf
  182. output/UNSAT_19_opt-snake_p09.pddl.sas.cnf
  183. output/SAT_27_opt-snake_p10.pddl.sas.cnf
  184. output/UNSAT_26_opt-snake_p10.pddl.sas.cnf
  185. output/SAT_36_opt-snake_p11.pddl.sas.cnf
  186. output/UNSAT_35_opt-snake_p11.pddl.sas.cnf
  187. output/UNSAT_24_opt-snake_p15.pddl.sas.cnf
  188. output/SAT_30_opt-snake_p20.pddl.sas.cnf
  189. output/UNSAT_29_opt-snake_p20.pddl.sas.cnf
  190. output/SAT_27_opt-termes_p01.pddl.sas.cnf
  191. output/UNSAT_26_opt-termes_p01.pddl.sas.cnf
  192. output/SAT_44_opt-termes_p02.pddl.sas.cnf
  193. output/UNSAT_43_opt-termes_p02.pddl.sas.cnf
  194. output/SAT_56_opt-termes_p03.pddl.sas.cnf
  195. output/UNSAT_55_opt-termes_p03.pddl.sas.cnf
  196. output/SAT_56_opt-termes_p11.pddl.sas.cnf
  197. output/UNSAT_55_opt-termes_p11.pddl.sas.cnf
  198. output/SAT_38_opt-termes_p12.pddl.sas.cnf
  199. output/UNSAT_37_opt-termes_p12.pddl.sas.cnf
  200. output/SAT_6_opt-tetris_p01-10.pddl.sas.cnf
  201. output/UNSAT_5_opt-tetris_p01-10.pddl.sas.cnf
  202. output/SAT_4_opt-tetris_p01-6.pddl.sas.cnf
  203. output/UNSAT_3_opt-tetris_p01-6.pddl.sas.cnf
  204. output/SAT_6_opt-tetris_p01-8.pddl.sas.cnf
  205. output/UNSAT_5_opt-tetris_p01-8.pddl.sas.cnf
  206. output/SAT_6_opt-tetris_p02-10.pddl.sas.cnf
  207. output/UNSAT_5_opt-tetris_p02-10.pddl.sas.cnf
  208. output/SAT_3_opt-tetris_p02-4.pddl.sas.cnf
  209. output/UNSAT_2_opt-tetris_p02-4.pddl.sas.cnf
  210. output/SAT_6_opt-tetris_p02-6.pddl.sas.cnf
  211. output/UNSAT_5_opt-tetris_p02-6.pddl.sas.cnf
  212. output/SAT_6_opt-tetris_p02-8.pddl.sas.cnf
  213. output/UNSAT_5_opt-tetris_p02-8.pddl.sas.cnf
  214. output/SAT_3_opt-tetris_p03-4.pddl.sas.cnf
  215. output/UNSAT_2_opt-tetris_p03-4.pddl.sas.cnf
  216. output/SAT_4_opt-tetris_p03-6.pddl.sas.cnf
  217. output/UNSAT_3_opt-tetris_p03-6.pddl.sas.cnf
  218. output/SAT_6_opt-tetris_p03-8.pddl.sas.cnf
  219. output/UNSAT_5_opt-tetris_p03-8.pddl.sas.cnf
  220. output/SAT_7_opt-tetris_p04-10.pddl.sas.cnf
  221. output/UNSAT_6_opt-tetris_p04-10.pddl.sas.cnf
  222. output/SAT_4_opt-tetris_p04-6.pddl.sas.cnf
  223. output/UNSAT_3_opt-tetris_p04-6.pddl.sas.cnf
  224. output/SAT_7_opt-tetris_p04-8.pddl.sas.cnf
  225. output/UNSAT_6_opt-tetris_p04-8.pddl.sas.cnf
  226. output/SAT_4_opt-tetris_p05-6.pddl.sas.cnf
  227. output/UNSAT_3_opt-tetris_p05-6.pddl.sas.cnf
  228. output/SAT_7_opt-tetris_p05-8.pddl.sas.cnf
  229. output/UNSAT_6_opt-tetris_p05-8.pddl.sas.cnf
  230. output/SAT_5_opt-transport_p01.pddl.sas.cnf
  231. output/UNSAT_4_opt-transport_p01.pddl.sas.cnf
  232. output/SAT_6_opt-transport_p02.pddl.sas.cnf
  233. output/UNSAT_5_opt-transport_p02.pddl.sas.cnf
  234. output/SAT_9_opt-transport_p03.pddl.sas.cnf
  235. output/UNSAT_8_opt-transport_p03.pddl.sas.cnf
  236. output/SAT_6_opt-transport_p04.pddl.sas.cnf
  237. output/UNSAT_5_opt-transport_p04.pddl.sas.cnf
  238. output/UNSAT_10_opt-transport_p05.pddl.sas.cnf
  239. output/UNSAT_9_opt-transport_p06.pddl.sas.cnf
  240. output/UNSAT_12_opt-transport_p07.pddl.sas.cnf
  241. output/UNSAT_16_opt-transport_p08.pddl.sas.cnf
  242. output/UNSAT_14_opt-transport_p09.pddl.sas.cnf
  243. output/UNSAT_17_opt-transport_p10.pddl.sas.cnf
  244. output/UNSAT_19_opt-transport_p11.pddl.sas.cnf
  245. output/UNSAT_10_opt-transport_p13.pddl.sas.cnf
  246. output/SAT_9_opt-transport_p14.pddl.sas.cnf
  247. output/UNSAT_8_opt-transport_p14.pddl.sas.cnf
  248. output/UNSAT_12_opt-transport_p15.pddl.sas.cnf
  249. output/UNSAT_9_opt-transport_p16.pddl.sas.cnf
  250. output/UNSAT_15_opt-transport_p17.pddl.sas.cnf
  251. output/UNSAT_20_opt-visitall_p-05-5.pddl.sas.cnf
  252. output/UNSAT_24_opt-visitall_p-05-6.pddl.sas.cnf
  253. output/SAT_34_opt-visitall_p-05-7.pddl.sas.cnf
  254. output/UNSAT_33_opt-visitall_p-05-7.pddl.sas.cnf
  255. output/SAT_43_opt-visitall_p-05-8.pddl.sas.cnf
  256. output/UNSAT_42_opt-visitall_p-05-8.pddl.sas.cnf
  257. output/SAT_54_opt-visitall_p-05-9.pddl.sas.cnf
  258. output/UNSAT_53_opt-visitall_p-05-9.pddl.sas.cnf
  259. output/UNSAT_23_opt-visitall_p-1-5.pddl.sas.cnf
  260. output/SAT_35_opt-visitall_p-1-6.pddl.sas.cnf
  261. output/UNSAT_34_opt-visitall_p-1-6.pddl.sas.cnf
  262. output/SAT_3_sat-childsnack_p-child-snack_pfile05-2.pddl.sas.cnf
  263. output/UNSAT_2_sat-childsnack_p-child-snack_pfile05-2.pddl.sas.cnf
  264. output/SAT_3_sat-childsnack_p-child-snack_pfile05.pddl.sas.cnf
  265. output/UNSAT_2_sat-childsnack_p-child-snack_pfile05.pddl.sas.cnf
  266. output/SAT_3_sat-childsnack_p-child-snack_pfile06-2.pddl.sas.cnf
  267. output/UNSAT_2_sat-childsnack_p-child-snack_pfile06-2.pddl.sas.cnf
  268. output/SAT_3_sat-childsnack_p-child-snack_pfile07-2.pddl.sas.cnf
  269. output/UNSAT_2_sat-childsnack_p-child-snack_pfile07-2.pddl.sas.cnf
  270. output/SAT_3_sat-childsnack_p-child-snack_pfile08-2.pddl.sas.cnf
  271. output/UNSAT_2_sat-childsnack_p-child-snack_pfile08-2.pddl.sas.cnf
  272. output/SAT_3_sat-childsnack_p-child-snack_pfile08.pddl.sas.cnf
  273. output/UNSAT_2_sat-childsnack_p-child-snack_pfile08.pddl.sas.cnf
  274. output/SAT_3_sat-childsnack_p-child-snack_pfile09-2.pddl.sas.cnf
  275. output/UNSAT_2_sat-childsnack_p-child-snack_pfile09-2.pddl.sas.cnf
  276. output/SAT_3_sat-childsnack_p-child-snack_pfile09.pddl.sas.cnf
  277. output/UNSAT_2_sat-childsnack_p-child-snack_pfile09.pddl.sas.cnf
  278. output/SAT_3_sat-childsnack_p-child-snack_pfile10-2.pddl.sas.cnf
  279. output/UNSAT_2_sat-childsnack_p-child-snack_pfile10-2.pddl.sas.cnf
  280. output/SAT_3_sat-childsnack_p-child-snack_pfile10.pddl.sas.cnf
  281. output/UNSAT_2_sat-childsnack_p-child-snack_pfile10.pddl.sas.cnf
  282. output/SAT_3_sat-childsnack_p-child-snack_pfile11-2.pddl.sas.cnf
  283. output/UNSAT_2_sat-childsnack_p-child-snack_pfile11-2.pddl.sas.cnf
  284. output/SAT_3_sat-childsnack_p-child-snack_pfile11.pddl.sas.cnf
  285. output/UNSAT_2_sat-childsnack_p-child-snack_pfile11.pddl.sas.cnf
  286. output/SAT_3_sat-childsnack_p-child-snack_pfile12.pddl.sas.cnf
  287. output/UNSAT_2_sat-childsnack_p-child-snack_pfile12.pddl.sas.cnf
  288. output/SAT_3_sat-childsnack_p-child-snack_pfile13-2.pddl.sas.cnf
  289. output/UNSAT_2_sat-childsnack_p-child-snack_pfile13-2.pddl.sas.cnf
  290. output/SAT_3_sat-childsnack_p-child-snack_pfile13.pddl.sas.cnf
  291. output/UNSAT_2_sat-childsnack_p-child-snack_pfile13.pddl.sas.cnf
  292. output/SAT_3_sat-childsnack_p-child-snack_pfile14.pddl.sas.cnf
  293. output/UNSAT_2_sat-childsnack_p-child-snack_pfile14.pddl.sas.cnf
  294. output/SAT_3_sat-childsnack_p-child-snack_pfile15-2.pddl.sas.cnf
  295. output/UNSAT_2_sat-childsnack_p-child-snack_pfile15-2.pddl.sas.cnf
  296. output/SAT_3_sat-childsnack_p-child-snack_pfile16-2.pddl.sas.cnf
  297. output/UNSAT_2_sat-childsnack_p-child-snack_pfile16-2.pddl.sas.cnf
  298. output/SAT_3_sat-childsnack_p-child-snack_pfile19-2.pddl.sas.cnf
  299. output/UNSAT_2_sat-childsnack_p-child-snack_pfile19-2.pddl.sas.cnf
  300. output/SAT_3_sat-childsnack_p-child-snack_pfile19.pddl.sas.cnf
  301. output/UNSAT_2_sat-childsnack_p-child-snack_pfile19.pddl.sas.cnf
  302. output/UNSAT_9_sat-data-network_p11.pddl.sas.cnf
  303. output/UNSAT_11_sat-floortile_p01-4-3-2.pddl.sas.cnf
  304. output/UNSAT_18_sat-floortile_p01-5-4-2.pddl.sas.cnf
  305. output/UNSAT_21_sat-floortile_p01-5-5-2.pddl.sas.cnf
  306. output/UNSAT_21_sat-floortile_p01-6-4-2.pddl.sas.cnf
  307. output/UNSAT_25_sat-floortile_p01-6-5-2.pddl.sas.cnf
  308. output/UNSAT_16_sat-floortile_p01-6-5-3.pddl.sas.cnf
  309. output/UNSAT_19_sat-floortile_p02-5-4-2.pddl.sas.cnf
  310. output/UNSAT_22_sat-floortile_p02-6-4-2.pddl.sas.cnf
  311. output/SAT_29_sat-floortile_p02-6-5-2.pddl.sas.cnf
  312. output/UNSAT_28_sat-floortile_p02-6-5-2.pddl.sas.cnf
  313. output/UNSAT_16_sat-floortile_p02-6-5-3.pddl.sas.cnf
  314. output/UNSAT_23_sat-floortile_p03-6-4-2.pddl.sas.cnf
  315. output/SAT_27_sat-floortile_p03-6-5-2.pddl.sas.cnf
  316. output/UNSAT_26_sat-floortile_p03-6-5-2.pddl.sas.cnf
  317. output/UNSAT_18_sat-floortile_p03-6-5-3.pddl.sas.cnf
  318. output/UNSAT_19_sat-floortile_p04-5-4-2.pddl.sas.cnf
  319. output/UNSAT_24_sat-floortile_p04-5-5-2.pddl.sas.cnf
  320. output/SAT_29_sat-floortile_p04-6-5-2.pddl.sas.cnf
  321. output/UNSAT_28_sat-floortile_p04-6-5-2.pddl.sas.cnf
  322. output/UNSAT_17_sat-floortile_p04-6-5-3.pddl.sas.cnf
  323. output/UNSAT_10_sat-floortile_p05-4-3-2.pddl.sas.cnf
  324. output/UNSAT_25_sat-floortile_p05-6-5-2.pddl.sas.cnf
  325. output/UNSAT_18_sat-floortile_p05-6-5-3.pddl.sas.cnf
  326. output/SAT_5_sat-hiking_p-testing-3-4-3.pddl.sas.cnf
  327. output/UNSAT_4_sat-hiking_p-testing-3-4-3.pddl.sas.cnf
  328. output/SAT_7_sat-hiking_p-testing-3-4-4.pddl.sas.cnf
  329. output/UNSAT_6_sat-hiking_p-testing-3-4-4.pddl.sas.cnf
  330. output/SAT_5_sat-hiking_p-testing-4-5-3.pddl.sas.cnf
  331. output/UNSAT_4_sat-hiking_p-testing-4-5-3.pddl.sas.cnf
  332. output/SAT_31_sat-organic-synthesis-split_p01.pddl.sas.cnf
  333. output/UNSAT_30_sat-organic-synthesis-split_p01.pddl.sas.cnf
  334. output/SAT_28_sat-organic-synthesis-split_p06.pddl.sas.cnf
  335. output/UNSAT_27_sat-organic-synthesis-split_p06.pddl.sas.cnf
  336. output/SAT_31_sat-snake_p05.pddl.sas.cnf
  337. output/UNSAT_30_sat-snake_p05.pddl.sas.cnf
  338. output/SAT_6_sat-tetris_p020.pddl.sas.cnf
  339. output/UNSAT_5_sat-tetris_p020.pddl.sas.cnf
  340. output/SAT_8_sat-tetris_p021.pddl.sas.cnf
  341. output/UNSAT_7_sat-tetris_p021.pddl.sas.cnf
  342. output/SAT_8_sat-tetris_p022.pddl.sas.cnf
  343. output/UNSAT_7_sat-tetris_p022.pddl.sas.cnf
  344. output/SAT_9_sat-tetris_p024.pddl.sas.cnf
  345. output/UNSAT_8_sat-tetris_p024.pddl.sas.cnf
  346. output/SAT_7_sat-tetris_p025.pddl.sas.cnf
  347. output/UNSAT_6_sat-tetris_p025.pddl.sas.cnf
  348. output/SAT_7_sat-tetris_p029.pddl.sas.cnf
  349. output/UNSAT_6_sat-tetris_p029.pddl.sas.cnf
  350. output/SAT_8_sat-tetris_p032.pddl.sas.cnf
  351. output/UNSAT_7_sat-tetris_p032.pddl.sas.cnf
  352. output/UNSAT_17_sat-thoughtful_p-bootstrap-typed-01.pddl.sas.cnf
  353. output/UNSAT_14_sat-thoughtful_p-bootstrap-typed-02.pddl.sas.cnf
  354. output/UNSAT_15_sat-thoughtful_p-bootstrap-typed-03.pddl.sas.cnf
  355. output/UNSAT_15_sat-thoughtful_p-bootstrap-typed-04.pddl.sas.cnf
  356. output/UNSAT_18_sat-thoughtful_p-bootstrap-typed-05.pddl.sas.cnf
  357. output/SAT_3_opt-childsnack_pchild-snack_pfile01.pddl.sas.cnf
  358. output/UNSAT_2_opt-childsnack_pchild-snack_pfile01.pddl.sas.cnf
  359. output/SAT_3_opt-childsnack_pchild-snack_pfile02.pddl.sas.cnf
  360. output/UNSAT_2_opt-childsnack_pchild-snack_pfile02.pddl.sas.cnf
  361. output/SAT_3_opt-childsnack_pchild-snack_pfile04-2.pddl.sas.cnf
  362. output/UNSAT_2_opt-childsnack_pchild-snack_pfile04-2.pddl.sas.cnf
  363. output/SAT_3_opt-childsnack_pchild-snack_pfile04.pddl.sas.cnf
  364. output/UNSAT_2_opt-childsnack_pchild-snack_pfile04.pddl.sas.cnf
  365. output/SAT_3_opt-childsnack_pchild-snack_pfile05-2.pddl.sas.cnf
  366. output/UNSAT_2_opt-childsnack_pchild-snack_pfile05-2.pddl.sas.cnf
  367. output/SAT_3_opt-childsnack_pchild-snack_pfile05.pddl.sas.cnf
  368. output/UNSAT_2_opt-childsnack_pchild-snack_pfile05.pddl.sas.cnf
  369. output/SAT_3_opt-childsnack_pchild-snack_pfile06-2.pddl.sas.cnf
  370. output/UNSAT_2_opt-childsnack_pchild-snack_pfile06-2.pddl.sas.cnf
  371. output/SAT_3_opt-childsnack_pchild-snack_pfile06.pddl.sas.cnf
  372. output/UNSAT_2_opt-childsnack_pchild-snack_pfile06.pddl.sas.cnf
  373. output/SAT_3_opt-childsnack_pchild-snack_pfile07-2.pddl.sas.cnf
  374. output/UNSAT_2_opt-childsnack_pchild-snack_pfile07-2.pddl.sas.cnf
  375. output/SAT_3_opt-childsnack_pchild-snack_pfile07.pddl.sas.cnf
  376. output/UNSAT_2_opt-childsnack_pchild-snack_pfile07.pddl.sas.cnf
  377. output/SAT_3_opt-childsnack_pchild-snack_pfile08-2.pddl.sas.cnf
  378. output/UNSAT_2_opt-childsnack_pchild-snack_pfile08-2.pddl.sas.cnf
  379. output/SAT_3_opt-childsnack_pchild-snack_pfile08.pddl.sas.cnf
  380. output/UNSAT_2_opt-childsnack_pchild-snack_pfile08.pddl.sas.cnf
  381. output/SAT_3_opt-childsnack_pchild-snack_pfile09-2.pddl.sas.cnf
  382. output/UNSAT_2_opt-childsnack_pchild-snack_pfile09-2.pddl.sas.cnf
  383. output/SAT_3_opt-childsnack_pchild-snack_pfile09.pddl.sas.cnf
  384. output/UNSAT_2_opt-childsnack_pchild-snack_pfile09.pddl.sas.cnf
  385. output/SAT_3_opt-childsnack_pchild-snack_pfile10-2.pddl.sas.cnf
  386. output/UNSAT_2_opt-childsnack_pchild-snack_pfile10-2.pddl.sas.cnf
  387. output/SAT_3_opt-childsnack_pchild-snack_pfile10.pddl.sas.cnf
  388. output/UNSAT_2_opt-childsnack_pchild-snack_pfile10.pddl.sas.cnf
  389. output/UNSAT_16_opt-hiking_ptesting-2-3-7.pddl.sas.cnf
  390. output/UNSAT_197_opt-petri-net-alignment_p02.pddl.sas.cnf
  391. output/UNSAT_258_opt-petri-net-alignment_p04.pddl.sas.cnf
  392. output/SAT_346_opt-petri-net-alignment_p14.pddl.sas.cnf
  393. output/UNSAT_345_opt-petri-net-alignment_p14.pddl.sas.cnf
  394. output/SAT_393_opt-petri-net-alignment_p17.pddl.sas.cnf
  395. output/UNSAT_392_opt-petri-net-alignment_p17.pddl.sas.cnf
  396. output/SAT_72_opt-termes_p04.pddl.sas.cnf
  397. output/UNSAT_71_opt-termes_p04.pddl.sas.cnf
  398. output/SAT_3_opt-tetris_p02-4.pddl.sas.cnf
  399. output/UNSAT_2_opt-tetris_p02-4.pddl.sas.cnf
  400. output/SAT_3_opt-tetris_p03-4.pddl.sas.cnf
  401. output/UNSAT_2_opt-tetris_p03-4.pddl.sas.cnf
  402. output/SAT_3_sat-childsnack_p-child-snack_pfile05-2.pddl.sas.cnf
  403. output/UNSAT_2_sat-childsnack_p-child-snack_pfile05-2.pddl.sas.cnf
  404. output/SAT_3_sat-childsnack_p-child-snack_pfile05.pddl.sas.cnf
  405. output/UNSAT_2_sat-childsnack_p-child-snack_pfile05.pddl.sas.cnf
  406. output/SAT_3_sat-childsnack_p-child-snack_pfile06-2.pddl.sas.cnf
  407. output/UNSAT_2_sat-childsnack_p-child-snack_pfile06-2.pddl.sas.cnf
  408. output/SAT_3_sat-childsnack_p-child-snack_pfile07-2.pddl.sas.cnf
  409. output/UNSAT_2_sat-childsnack_p-child-snack_pfile07-2.pddl.sas.cnf
  410. output/SAT_3_sat-childsnack_p-child-snack_pfile08-2.pddl.sas.cnf
  411. output/UNSAT_2_sat-childsnack_p-child-snack_pfile08-2.pddl.sas.cnf
  412. output/SAT_3_sat-childsnack_p-child-snack_pfile08.pddl.sas.cnf
  413. output/UNSAT_2_sat-childsnack_p-child-snack_pfile08.pddl.sas.cnf
  414. output/SAT_3_sat-childsnack_p-child-snack_pfile09-2.pddl.sas.cnf
  415. output/UNSAT_2_sat-childsnack_p-child-snack_pfile09-2.pddl.sas.cnf
  416. output/SAT_3_sat-childsnack_p-child-snack_pfile09.pddl.sas.cnf
  417. output/UNSAT_2_sat-childsnack_p-child-snack_pfile09.pddl.sas.cnf
  418. output/SAT_3_sat-childsnack_p-child-snack_pfile10-2.pddl.sas.cnf
  419. output/UNSAT_2_sat-childsnack_p-child-snack_pfile10-2.pddl.sas.cnf
  420. output/SAT_3_sat-childsnack_p-child-snack_pfile10.pddl.sas.cnf
  421. output/UNSAT_2_sat-childsnack_p-child-snack_pfile10.pddl.sas.cnf
  422. output/SAT_3_sat-childsnack_p-child-snack_pfile11-2.pddl.sas.cnf
  423. output/UNSAT_2_sat-childsnack_p-child-snack_pfile11-2.pddl.sas.cnf
  424. output/SAT_3_sat-childsnack_p-child-snack_pfile11.pddl.sas.cnf
  425. output/UNSAT_2_sat-childsnack_p-child-snack_pfile11.pddl.sas.cnf
  426. output/SAT_3_sat-childsnack_p-child-snack_pfile12.pddl.sas.cnf
  427. output/UNSAT_2_sat-childsnack_p-child-snack_pfile12.pddl.sas.cnf
  428. output/SAT_3_sat-childsnack_p-child-snack_pfile13-2.pddl.sas.cnf
  429. output/UNSAT_2_sat-childsnack_p-child-snack_pfile13-2.pddl.sas.cnf
  430. output/SAT_3_sat-childsnack_p-child-snack_pfile13.pddl.sas.cnf
  431. output/UNSAT_2_sat-childsnack_p-child-snack_pfile13.pddl.sas.cnf
  432. output/SAT_3_sat-childsnack_p-child-snack_pfile14.pddl.sas.cnf
  433. output/UNSAT_2_sat-childsnack_p-child-snack_pfile14.pddl.sas.cnf
  434. output/SAT_3_sat-childsnack_p-child-snack_pfile15-2.pddl.sas.cnf
  435. output/UNSAT_2_sat-childsnack_p-child-snack_pfile15-2.pddl.sas.cnf
  436. output/SAT_3_sat-childsnack_p-child-snack_pfile16-2.pddl.sas.cnf
  437. output/UNSAT_2_sat-childsnack_p-child-snack_pfile16-2.pddl.sas.cnf
  438. output/SAT_37_sat-organic-synthesis-split_p02.pddl.sas.cnf
  439. output/UNSAT_36_sat-organic-synthesis-split_p02.pddl.sas.cnf
  440. output/UNSAT_23_sat-organic-synthesis-split_p04.pddl.sas.cnf
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement
Public Pastes
Advertisement
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy.  OK, I Understand
Not a member of Pastebin yet?
Sign Up, it unlocks many cool features!