./allBenchmarks/promedas/or_chain_102.fg.uai
./allBenchmarks/promedas/or_chain_20.fg.uai
./allBenchmarks/promedas/or_chain_156.fg.uai
./allBenchmarks/promedas/or_chain_242.fg.uai
./allBenchmarks/promedas/or_chain_96.fg.uai
./allBenchmarks/promedas/or_chain_210.fg.uai
./allBenchmarks/promedas/or_chain_39.fg.uai
./allBenchmarks/promedas/or_chain_78.fg.uai
./allBenchmarks/promedas/or_chain_111.fg.uai
./allBenchmarks/promedas/or_chain_22.fg.uai
./allBenchmarks/promedas/or_chain_221.fg.uai
./allBenchmarks/promedas/or_chain_13.fg.uai
./allBenchmarks/promedas/or_chain_120.fg.uai
./allBenchmarks/promedas/or_chain_226.fg.uai
./allBenchmarks/promedas/or_chain_15.fg.uai
./allBenchmarks/promedas/or_chain_56.fg.uai
./allBenchmarks/promedas/or_chain_175.fg.uai
./allBenchmarks/promedas/or_chain_170.fg.uai
./allBenchmarks/promedas/or_chain_35.fg.uai
./allBenchmarks/promedas/or_chain_155.fg.uai
./allBenchmarks/promedas/or_chain_238.fg.uai
./allBenchmarks/promedas/or_chain_93.fg.uai
./allBenchmarks/promedas/or_chain_177.fg.uai
./allBenchmarks/promedas/or_chain_154.fg.uai
./allBenchmarks/promedas/or_chain_176.fg.uai
./allBenchmarks/promedas/or_chain_64.fg.uai
./allBenchmarks/promedas/or_chain_131.fg.uai
./allBenchmarks/promedas/or_chain_52.fg.uai
./allBenchmarks/promedas/or_chain_229.fg.uai
./allBenchmarks/promedas/or_chain_104.fg.uai
./allBenchmarks/promedas/or_chain_216.fg.uai
./allBenchmarks/promedas/or_chain_153.fg.uai
./allBenchmarks/promedas/or_chain_25.fg.uai
./allBenchmarks/promedas/or_chain_160.fg.uai
./allBenchmarks/promedas/or_chain_157.fg.uai
./allBenchmarks/promedas/or_chain_80.fg.uai
./allBenchmarks/promedas/or_chain_57.fg.uai
./allBenchmarks/promedas/or_chain_234.fg.uai
./allBenchmarks/promedas/or_chain_99.fg.uai
./allBenchmarks/promedas/or_chain_6.fg.uai
./allBenchmarks/promedas/or_chain_148.fg.uai
./allBenchmarks/promedas/or_chain_121.fg.uai
./allBenchmarks/promedas/or_chain_149.fg.uai
./allBenchmarks/promedas/or_chain_145.fg.uai
./allBenchmarks/promedas/or_chain_223.fg.uai
./allBenchmarks/promedas/or_chain_158.fg.uai
./allBenchmarks/promedas/or_chain_101.fg.uai
./allBenchmarks/promedas/or_chain_9.fg.uai
./allBenchmarks/promedas/or_chain_192.fg.uai
./allBenchmarks/promedas/or_chain_2.fg.uai
./allBenchmarks/promedas/or_chain_110.fg.uai
./allBenchmarks/promedas/or_chain_230.fg.uai
./allBenchmarks/promedas/or_chain_58.fg.uai
./allBenchmarks/promedas/or_chain_47.fg.uai
./allBenchmarks/promedas/or_chain_45.fg.uai
./allBenchmarks/promedas/or_chain_128.fg.uai
./allBenchmarks/promedas/or_chain_200.fg.uai
./allBenchmarks/promedas/or_chain_67.fg.uai
./allBenchmarks/promedas/or_chain_89.fg.uai
./allBenchmarks/promedas/or_chain_76.fg.uai
./allBenchmarks/promedas/or_chain_207.fg.uai
./allBenchmarks/promedas/or_chain_249.fg.uai
./allBenchmarks/promedas/or_chain_29.fg.uai
./allBenchmarks/promedas/or_chain_68.fg.uai
./allBenchmarks/promedas/or_chain_40.fg.uai
./allBenchmarks/promedas/or_chain_77.fg.uai
./allBenchmarks/promedas/or_chain_113.fg.uai
./allBenchmarks/promedas/or_chain_103.fg.uai
./allBenchmarks/promedas/or_chain_112.fg.uai
./allBenchmarks/promedas/or_chain_36.fg.uai
./allBenchmarks/promedas/or_chain_91.fg.uai
./allBenchmarks/promedas/or_chain_43.fg.uai
./allBenchmarks/promedas/or_chain_227.fg.uai
./allBenchmarks/promedas/or_chain_53.fg.uai
./allBenchmarks/promedas/or_chain_30.fg.uai
./allBenchmarks/promedas/or_chain_105.fg.uai
./allBenchmarks/promedas/or_chain_236.fg.uai
./allBenchmarks/promedas/or_chain_213.fg.uai
./allBenchmarks/promedas/or_chain_225.fg.uai
./allBenchmarks/promedas/or_chain_65.fg.uai
./allBenchmarks/promedas/or_chain_135.fg.uai
./allBenchmarks/promedas/or_chain_28.fg.uai
./allBenchmarks/promedas/or_chain_186.fg.uai
./allBenchmarks/promedas/or_chain_72.fg.uai
./allBenchmarks/promedas/or_chain_88.fg.uai
./allBenchmarks/promedas/or_chain_246.fg.uai
./allBenchmarks/promedas/or_chain_168.fg.uai
./allBenchmarks/promedas/or_chain_172.fg.uai
./allBenchmarks/promedas/or_chain_92.fg.uai
./allBenchmarks/promedas/or_chain_69.fg.uai
./allBenchmarks/promedas/or_chain_244.fg.uai
./allBenchmarks/promedas/or_chain_26.fg.uai
./allBenchmarks/promedas/or_chain_125.fg.uai
./allBenchmarks/promedas/or_chain_235.fg.uai
./allBenchmarks/promedas/or_chain_240.fg.uai
./allBenchmarks/promedas/or_chain_18.fg.uai
./allBenchmarks/promedas/or_chain_100.fg.uai
./allBenchmarks/promedas/or_chain_142.fg.uai
./allBenchmarks/promedas/or_chain_48.fg.uai
./allBenchmarks/promedas/or_chain_187.fg.uai
./allBenchmarks/promedas/or_chain_247.fg.uai
./allBenchmarks/promedas/or_chain_44.fg.uai
./allBenchmarks/promedas/or_chain_193.fg.uai
./allBenchmarks/promedas/or_chain_197.fg.uai
./allBenchmarks/promedas/or_chain_51.fg.uai
./allBenchmarks/promedas/or_chain_215.fg.uai
./allBenchmarks/promedas/or_chain_233.fg.uai
./allBenchmarks/promedas/or_chain_17.fg.uai
./allBenchmarks/promedas/or_chain_124.fg.uai
./allBenchmarks/promedas/or_chain_190.fg.uai
./allBenchmarks/promedas/or_chain_211.fg.uai
./allBenchmarks/promedas/or_chain_222.fg.uai
./allBenchmarks/promedas/or_chain_174.fg.uai
./allBenchmarks/promedas/or_chain_41.fg.uai
./allBenchmarks/promedas/or_chain_183.fg.uai
./allBenchmarks/promedas/or_chain_208.fg.uai
./allBenchmarks/promedas/or_chain_237.fg.uai
./allBenchmarks/promedas/or_chain_173.fg.uai
./allBenchmarks/promedas/or_chain_119.fg.uai
./allBenchmarks/promedas/or_chain_90.fg.uai
./allBenchmarks/promedas/or_chain_24.fg.uai
./allBenchmarks/promedas/or_chain_60.fg.uai
./allBenchmarks/promedas/or_chain_8.fg.uai
./allBenchmarks/promedas/or_chain_83.fg.uai
./allBenchmarks/promedas/or_chain_204.fg.uai
./allBenchmarks/promedas/or_chain_127.fg.uai
./allBenchmarks/promedas/or_chain_50.fg.uai
./allBenchmarks/promedas/or_chain_206.fg.uai
./allBenchmarks/promedas/or_chain_134.fg.uai
./allBenchmarks/promedas/or_chain_62.fg.uai
./allBenchmarks/promedas/or_chain_201.fg.uai
./allBenchmarks/promedas/or_chain_74.fg.uai
./allBenchmarks/promedas/or_chain_59.fg.uai
./allBenchmarks/promedas/or_chain_79.fg.uai
./allBenchmarks/promedas/or_chain_70.fg.uai
./allBenchmarks/promedas/or_chain_147.fg.uai
./allBenchmarks/promedas/or_chain_144.fg.uai
./allBenchmarks/promedas/or_chain_10.fg.uai
./allBenchmarks/promedas/or_chain_85.fg.uai
./allBenchmarks/promedas/or_chain_140.fg.uai
./allBenchmarks/promedas/or_chain_7.fg.uai
./allBenchmarks/promedas/or_chain_95.fg.uai
./allBenchmarks/promedas/or_chain_32.fg.uai
./allBenchmarks/promedas/or_chain_81.fg.uai
./allBenchmarks/promedas/or_chain_136.fg.uai
./allBenchmarks/promedas/or_chain_129.fg.uai
./allBenchmarks/promedas/or_chain_123.fg.uai
./allBenchmarks/promedas/or_chain_12.fg.uai
./allBenchmarks/promedas/or_chain_54.fg.uai
./allBenchmarks/promedas/or_chain_185.fg.uai
./allBenchmarks/promedas/or_chain_31.fg.uai
./allBenchmarks/promedas/or_chain_118.fg.uai
./allBenchmarks/promedas/or_chain_38.fg.uai
./allBenchmarks/promedas/or_chain_66.fg.uai
./allBenchmarks/promedas/or_chain_33.fg.uai
./allBenchmarks/promedas/or_chain_133.fg.uai
./allBenchmarks/promedas/or_chain_14.fg.uai
./allBenchmarks/promedas/or_chain_231.fg.uai
./allBenchmarks/promedas/or_chain_23.fg.uai
./allBenchmarks/promedas/or_chain_115.fg.uai
./allBenchmarks/promedas/or_chain_214.fg.uai
./allBenchmarks/promedas/or_chain_219.fg.uai
./allBenchmarks/promedas/or_chain_150.fg.uai
./allBenchmarks/promedas/or_chain_159.fg.uai
./allBenchmarks/promedas/or_chain_195.fg.uai
./allBenchmarks/promedas/or_chain_37.fg.uai
./allBenchmarks/promedas/or_chain_108.fg.uai
./allBenchmarks/promedas/or_chain_1.fg.uai
./allBenchmarks/promedas/or_chain_224.fg.uai
./allBenchmarks/promedas/or_chain_228.fg.uai
./allBenchmarks/promedas/or_chain_82.fg.uai
./allBenchmarks/promedas/or_chain_178.fg.uai
./allBenchmarks/promedas/or_chain_117.fg.uai
./allBenchmarks/promedas/or_chain_202.fg.uai
./allBenchmarks/promedas/or_chain_218.fg.uai
./allBenchmarks/promedas/or_chain_239.fg.uai
./allBenchmarks/promedas/or_chain_46.fg.uai
./allBenchmarks/promedas/or_chain_151.fg.uai
./allBenchmarks/promedas/or_chain_55.fg.uai
./allBenchmarks/promedas/or_chain_97.fg.uai
./allBenchmarks/promedas/or_chain_167.fg.uai
./allBenchmarks/promedas/or_chain_27.fg.uai
./allBenchmarks/promedas/or_chain_63.fg.uai
./allBenchmarks/promedas/or_chain_188.fg.uai
./allBenchmarks/promedas/or_chain_94.fg.uai
./allBenchmarks/promedas/or_chain_98.fg.uai
./allBenchmarks/promedas/or_chain_161.fg.uai
./allBenchmarks/promedas/or_chain_130.fg.uai
./allBenchmarks/promedas/or_chain_87.fg.uai
./allBenchmarks/promedas/or_chain_61.fg.uai
./allBenchmarks/promedas/or_chain_166.fg.uai
./allBenchmarks/promedas/or_chain_209.fg.uai
./allBenchmarks/promedas/or_chain_181.fg.uai
./allBenchmarks/promedas/or_chain_196.fg.uai
./allBenchmarks/promedas/or_chain_180.fg.uai
./allBenchmarks/promedas/or_chain_138.fg.uai
./allBenchmarks/promedas/or_chain_114.fg.uai
./allBenchmarks/promedas/or_chain_141.fg.uai
./allBenchmarks/promedas/or_chain_143.fg.uai
./allBenchmarks/promedas/or_chain_16.fg.uai
./allBenchmarks/promedas/or_chain_73.fg.uai
./allBenchmarks/promedas/or_chain_4.fg.uai
./allBenchmarks/promedas/or_chain_49.fg.uai
./allBenchmarks/promedas/or_chain_106.fg.uai
./allBenchmarks/promedas/or_chain_169.fg.uai
./allBenchmarks/promedas/or_chain_248.fg.uai
./allBenchmarks/promedas/or_chain_163.fg.uai
./allBenchmarks/promedas/or_chain_245.fg.uai
./allBenchmarks/promedas/or_chain_164.fg.uai
./allBenchmarks/promedas/or_chain_189.fg.uai
./allBenchmarks/promedas/or_chain_198.fg.uai
./allBenchmarks/promedas/or_chain_243.fg.uai
./allBenchmarks/promedas/or_chain_107.fg.uai
./allBenchmarks/promedas/or_chain_182.fg.uai
./allBenchmarks/promedas/or_chain_220.fg.uai
./allBenchmarks/promedas/or_chain_179.fg.uai
./allBenchmarks/promedas/or_chain_165.fg.uai
./allBenchmarks/promedas/or_chain_199.fg.uai
./allBenchmarks/promedas/or_chain_19.fg.uai
./allBenchmarks/promedas/or_chain_21.fg.uai
./allBenchmarks/promedas/or_chain_75.fg.uai
./allBenchmarks/promedas/or_chain_217.fg.uai
./allBenchmarks/promedas/or_chain_116.fg.uai
./allBenchmarks/promedas/or_chain_139.fg.uai
./allBenchmarks/promedas/or_chain_152.fg.uai
./allBenchmarks/promedas/or_chain_109.fg.uai
./allBenchmarks/promedas/or_chain_42.fg.uai
./allBenchmarks/promedas/or_chain_34.fg.uai
./allBenchmarks/promedas/or_chain_3.fg.uai
./allBenchmarks/promedas/or_chain_11.fg.uai
./allBenchmarks/promedas/or_chain_203.fg.uai
./allBenchmarks/promedas/or_chain_132.fg.uai
./allBenchmarks/promedas/or_chain_126.fg.uai
./allBenchmarks/promedas/or_chain_86.fg.uai
./allBenchmarks/promedas/or_chain_146.fg.uai
./allBenchmarks/promedas/or_chain_191.fg.uai
./allBenchmarks/promedas/or_chain_162.fg.uai
./allBenchmarks/promedas/or_chain_212.fg.uai
./allBenchmarks/ForUAI/spot5/503.wcsp.uai
./allBenchmarks/ForUAI/spot5/1405.wcsp.uai
./allBenchmarks/ForUAI/spot5/505.wcsp.uai
./allBenchmarks/ForUAI/spot5/5.wcsp.uai
./allBenchmarks/ForUAI/spot5/1504.wcsp.uai
./allBenchmarks/ForUAI/spot5/408.wcsp.uai
./allBenchmarks/ForUAI/spot5/1407.wcsp.uai
./allBenchmarks/ForUAI/spot5/42.wcsp.uai
./allBenchmarks/ForUAI/spot5/404.wcsp.uai
./allBenchmarks/ForUAI/spot5/28.wcsp.uai
./allBenchmarks/ForUAI/spot5/507.wcsp.uai
./allBenchmarks/ForUAI/spot5/1401.wcsp.uai
./allBenchmarks/ForUAI/spot5/1502.wcsp.uai
./allBenchmarks/ForUAI/spot5/1403.wcsp.uai
./allBenchmarks/ForUAI/spot5/412.wcsp.uai
./allBenchmarks/ForUAI/spot5/29.wcsp.uai
./allBenchmarks/ForUAI/spot5/509.wcsp.uai
./allBenchmarks/ForUAI/spot5/1506.wcsp.uai
./allBenchmarks/ForUAI/spot5/414.wcsp.uai
./allBenchmarks/ForUAI/spot5/54.wcsp.uai
./allBenchmarks/ForUAI/planning/driverlog04ac.wcsp.uai
./allBenchmarks/ForUAI/planning/driverlog08ac.wcsp.uai
./allBenchmarks/ForUAI/planning/bwt4ac.wcsp.uai
./allBenchmarks/ForUAI/planning/zenotravel02ac.wcsp.uai
./allBenchmarks/ForUAI/planning/zenotravel04ac.wcsp.uai
./allBenchmarks/ForUAI/planning/mprime04ac.wcsp.uai
./allBenchmarks/ForUAI/planning/depot01ac.wcsp.uai
./allBenchmarks/ForUAI/planning/driverlog01ac.wcsp.uai
./allBenchmarks/ForUAI/planning/satellite02ac.wcsp.uai
./allBenchmarks/ForUAI/planning/logistics01ac.wcsp.uai
./allBenchmarks/ForUAI/planning/mprime01ac.wcsp.uai
./allBenchmarks/ForUAI/planning/mprime03ac.wcsp.uai
./allBenchmarks/ForUAI/planning/satellite01ac.wcsp.uai
./allBenchmarks/ForUAI/planning/rovers02ac.wcsp.uai
./allBenchmarks/ForUAI/planning/bwt5ac.wcsp.uai
./allBenchmarks/ForUAI/planning/bwt3ac.wcsp.uai
./allBenchmarks/ForUAI/planning/driverlog05ac.wcsp.uai
./allBenchmarks/ForUAI/planning/driverlog02ac.wcsp.uai
./allBenchmarks/ForUAI/pedigree/moissac2.pre.uai
./allBenchmarks/ForUAI/pedigree/langlade1.pre.uai
./allBenchmarks/ForUAI/pedigree/langlade4.pre.uai
./allBenchmarks/ForUAI/pedigree/langlade3.pre.uai
./allBenchmarks/ForUAI/pedigree/moissac3.pre.uai
./allBenchmarks/ForUAI/pedigree/langlade2.pre.uai
./allBenchmarks/ForUAI/pedigree/moissac1.pre.uai
./allBenchmarks/ForUAI/pedigree/moissac4.pre.uai
./allBenchmarks/ForUAI/pedigree/moissac5.pre.uai
./allBenchmarks/ForUAI/warehouses/capmo1.wcsp.uai
./allBenchmarks/ForUAI/warehouses/capmo3.wcsp.uai
./allBenchmarks/ForUAI/warehouses/capmp4.wcsp.uai
./allBenchmarks/ForUAI/warehouses/capb.wcsp.uai
./allBenchmarks/ForUAI/warehouses/capmq3.wcsp.uai
./allBenchmarks/ForUAI/warehouses/capmp5.wcsp.uai
./allBenchmarks/ForUAI/warehouses/capmo2.wcsp.uai
./allBenchmarks/ForUAI/warehouses/capmq4.wcsp.uai
./allBenchmarks/ForUAI/warehouses/capmq5.wcsp.uai
./allBenchmarks/ForUAI/warehouses/capc.wcsp.uai
./allBenchmarks/ForUAI/warehouses/capmp2.wcsp.uai
./allBenchmarks/ForUAI/warehouses/capmp3.wcsp.uai
./allBenchmarks/ForUAI/warehouses/capmq1.wcsp.uai
./allBenchmarks/ForUAI/warehouses/capmq2.wcsp.uai
./allBenchmarks/ForUAI/warehouses/capmo4.wcsp.uai
./allBenchmarks/ForUAI/warehouses/capmo5.wcsp.uai
./allBenchmarks/ForUAI/warehouses/capmp1.wcsp.uai
./allBenchmarks/ForUAI/warehouses/capa.wcsp.uai
./allBenchmarks/ForUAI/celar/scen10.wcsp.uai
./allBenchmarks/ForUAI/celar/graph12.wcsp.uai
./allBenchmarks/ForUAI/celar/CELAR6-SUB0.wcsp.uai
./allBenchmarks/ForUAI/celar/graph06.wcsp.uai
./allBenchmarks/ForUAI/celar/graph11.wcsp.uai
./allBenchmarks/ForUAI/celar/CELAR6-SUB4.wcsp.uai
./allBenchmarks/ForUAI/celar/CELAR6-SUB3.wcsp.uai
./allBenchmarks/ForUAI/celar/scen06.wcsp.uai
./allBenchmarks/ForUAI/celar/scen07.wcsp.uai
./allBenchmarks/ForUAI/celar/scen09.wcsp.uai
./allBenchmarks/ForUAI/celar/scen08.wcsp.uai
./allBenchmarks/ForUAI/celar/graph07.wcsp.uai
./allBenchmarks/ForUAI/celar/CELAR6-SUB2.wcsp.uai
./allBenchmarks/ForUAI/celar/graph13.wcsp.uai
./allBenchmarks/ForUAI/celar/graph05.wcsp.uai
./allBenchmarks/ForUAI/celar/CELAR6-SUB1.wcsp.uai
./allBenchmarks/ForUAI/coloring/GEOM40_3.wcsp.uai
./allBenchmarks/ForUAI/coloring/DSJC125.1.4.wcsp.uai
./allBenchmarks/ForUAI/coloring/myciel5g_5.wcsp.uai
./allBenchmarks/ForUAI/coloring/queen5_5_3.wcsp.uai
./allBenchmarks/ForUAI/coloring/GEOM40_2.wcsp.uai
./allBenchmarks/ForUAI/coloring/GEOM40_5.wcsp.uai
./allBenchmarks/ForUAI/coloring/GEOM30a_4.wcsp.uai
./allBenchmarks/ForUAI/coloring/queen5_5_4.wcsp.uai
./allBenchmarks/ForUAI/coloring/GEOM30a_5.wcsp.uai
./allBenchmarks/ForUAI/coloring/le450_5a_3.wcsp.uai
./allBenchmarks/ForUAI/coloring/myciel5g_4.wcsp.uai
./allBenchmarks/ForUAI/coloring/le450_5a_2.wcsp.uai
./allBenchmarks/ForUAI/coloring/GEOM30a_3.wcsp.uai
./allBenchmarks/ForUAI/coloring/GEOM40_4.wcsp.uai
./allBenchmarks/ForUAI/coloring/myciel5g_3.wcsp.uai
./allBenchmarks/ForUAI/coloring/le450_5a_4.wcsp.uai
./allBenchmarks/linkage/pedigree23.uai
./allBenchmarks/linkage/pedigree34.uai
./allBenchmarks/linkage/pedigree37.uai
./allBenchmarks/linkage/pedigree44.uai
./allBenchmarks/linkage/pedigree31.uai
./allBenchmarks/linkage/pedigree1.uai
./allBenchmarks/linkage/pedigree30.uai
./allBenchmarks/linkage/pedigree13.uai
./allBenchmarks/linkage/pedigree20.uai
./allBenchmarks/linkage/pedigree50.uai
./allBenchmarks/linkage/pedigree41.uai
./allBenchmarks/linkage/pedigree38.uai
./allBenchmarks/linkage/pedigree19.uai
./allBenchmarks/linkage/pedigree39.uai
./allBenchmarks/linkage/pedigree9.uai
./allBenchmarks/linkage/pedigree33.uai
./allBenchmarks/linkage/pedigree25.uai
./allBenchmarks/linkage/pedigree7.uai
./allBenchmarks/linkage/pedigree42.uai
./allBenchmarks/linkage/pedigree40.uai
./allBenchmarks/linkage/pedigree51.uai
./allBenchmarks/linkage/pedigree18.uai
./allBenchmarks/bn2o/bn2o-30-20-200-3a.uai
./allBenchmarks/bn2o/bn2o-30-15-150-2a.uai
./allBenchmarks/bn2o/bn2o-30-20-200-3b.uai
./allBenchmarks/bn2o/bn2o-30-25-250-3b.uai
./allBenchmarks/bn2o/bn2o-30-25-250-1b.uai
./allBenchmarks/bn2o/bn2o-30-20-200-2b.uai
./allBenchmarks/bn2o/bn2o-30-25-250-3a.uai
./allBenchmarks/bn2o/bn2o-30-15-150-2b.uai
./allBenchmarks/bn2o/bn2o-30-15-150-3a.uai
./allBenchmarks/bn2o/bn2o-30-15-150-1a.uai
./allBenchmarks/bn2o/bn2o-30-25-250-2a.uai
./allBenchmarks/bn2o/bn2o-30-25-250-2b.uai
./allBenchmarks/bn2o/bn2o-30-25-250-1a.uai
./allBenchmarks/bn2o/bn2o-30-20-200-1a.uai
./allBenchmarks/bn2o/bn2o-30-15-150-3b.uai
./allBenchmarks/bn2o/bn2o-30-20-200-2a.uai
./allBenchmarks/bn2o/bn2o-30-20-200-1b.uai
./allBenchmarks/bn2o/bn2o-30-15-150-1b.uai
./allBenchmarks/grids2/50/50-19-3.uai
./allBenchmarks/grids2/50/50-19-6.uai
./allBenchmarks/grids2/50/50-15-3.uai
./allBenchmarks/grids2/50/50-17-2.uai
./allBenchmarks/grids2/50/50-18-1.uai
./allBenchmarks/grids2/50/50-14-6.uai
./allBenchmarks/grids2/50/50-17-7.uai
./allBenchmarks/grids2/50/50-14-10.uai
./allBenchmarks/grids2/50/50-18-5.uai
./allBenchmarks/grids2/50/50-20-9.uai
./allBenchmarks/grids2/50/50-15-2.uai
./allBenchmarks/grids2/50/50-14-8.uai
./allBenchmarks/grids2/50/50-18-9.uai
./allBenchmarks/grids2/50/50-19-9.uai
./allBenchmarks/grids2/50/50-20-10.uai
./allBenchmarks/grids2/50/50-17-1.uai
./allBenchmarks/grids2/50/50-16-1.uai
./allBenchmarks/grids2/50/50-20-3.uai
./allBenchmarks/grids2/50/50-19-5.uai
./allBenchmarks/grids2/50/50-17-4.uai
./allBenchmarks/grids2/50/50-16-5.uai
./allBenchmarks/grids2/50/50-15-1.uai
./allBenchmarks/grids2/50/50-12-2.uai
./allBenchmarks/grids2/50/50-14-9.uai
./allBenchmarks/grids2/50/50-16-4.uai
./allBenchmarks/grids2/50/50-20-1.uai
./allBenchmarks/grids2/50/50-20-8.uai
./allBenchmarks/grids2/50/50-18-3.uai
./allBenchmarks/grids2/50/50-18-6.uai
./allBenchmarks/grids2/50/50-12-7.uai
./allBenchmarks/grids2/50/50-15-8.uai
./allBenchmarks/grids2/50/50-17-5.uai
./allBenchmarks/grids2/50/50-18-4.uai
./allBenchmarks/grids2/50/50-15-7.uai
./allBenchmarks/grids2/50/50-12-8.uai
./allBenchmarks/grids2/50/50-12-1.uai
./allBenchmarks/grids2/50/50-12-9.uai
./allBenchmarks/grids2/50/50-16-10.uai
./allBenchmarks/grids2/50/50-14-2.uai
./allBenchmarks/grids2/50/50-18-7.uai
./allBenchmarks/grids2/50/50-19-4.uai
./allBenchmarks/grids2/50/50-15-9.uai
./allBenchmarks/grids2/50/50-15-10.uai
./allBenchmarks/grids2/50/50-15-6.uai
./allBenchmarks/grids2/50/50-19-10.uai
./allBenchmarks/grids2/50/50-17-6.uai
./allBenchmarks/grids2/50/50-19-8.uai
./allBenchmarks/grids2/50/50-14-3.uai
./allBenchmarks/grids2/50/50-19-7.uai
./allBenchmarks/grids2/50/50-12-3.uai
./allBenchmarks/grids2/50/50-14-4.uai
./allBenchmarks/grids2/50/50-17-8.uai
./allBenchmarks/grids2/50/50-17-9.uai
./allBenchmarks/grids2/50/50-14-1.uai
./allBenchmarks/grids2/50/50-18-2.uai
./allBenchmarks/grids2/50/50-14-5.uai
./allBenchmarks/grids2/50/50-20-4.uai
./allBenchmarks/grids2/50/50-12-10.uai
./allBenchmarks/grids2/50/50-16-6.uai
./allBenchmarks/grids2/50/50-12-5.uai
./allBenchmarks/grids2/50/50-16-3.uai
./allBenchmarks/grids2/50/50-19-1.uai
./allBenchmarks/grids2/50/50-20-5.uai
./allBenchmarks/grids2/50/50-16-2.uai
./allBenchmarks/grids2/50/50-17-10.uai
./allBenchmarks/grids2/50/50-12-4.uai
./allBenchmarks/grids2/50/50-15-4.uai
./allBenchmarks/grids2/50/50-20-7.uai
./allBenchmarks/grids2/50/50-12-6.uai
./allBenchmarks/grids2/50/50-20-6.uai
./allBenchmarks/grids2/50/50-20-2.uai
./allBenchmarks/grids2/50/50-16-9.uai
./allBenchmarks/grids2/50/50-18-10.uai
./allBenchmarks/grids2/50/50-14-7.uai
./allBenchmarks/grids2/50/50-15-5.uai
./allBenchmarks/grids2/50/50-19-2.uai
./allBenchmarks/grids2/50/50-16-7.uai
./allBenchmarks/grids2/50/50-18-8.uai
./allBenchmarks/grids2/50/50-16-8.uai
./allBenchmarks/grids2/50/50-17-3.uai
./allBenchmarks/grids2/90/90-20-5.uai
./allBenchmarks/grids2/90/90-46-1.uai
./allBenchmarks/grids2/90/90-38-7.uai
./allBenchmarks/grids2/90/90-24-1.uai
./allBenchmarks/grids2/90/90-25-3.uai
./allBenchmarks/grids2/90/90-20-1.uai
./allBenchmarks/grids2/90/90-42-4.uai
./allBenchmarks/grids2/90/90-46-10.uai
./allBenchmarks/grids2/90/90-26-9.uai
./allBenchmarks/grids2/90/90-46-8.uai
./allBenchmarks/grids2/90/90-42-1.uai
./allBenchmarks/grids2/90/90-30-1.uai
./allBenchmarks/grids2/90/90-25-9.uai
./allBenchmarks/grids2/90/90-26-7.uai
./allBenchmarks/grids2/90/90-34-1.uai
./allBenchmarks/grids2/90/90-21-1.uai
./allBenchmarks/grids2/90/90-21-9.uai
./allBenchmarks/grids2/90/90-34-4.uai
./allBenchmarks/grids2/90/90-20-7.uai
./allBenchmarks/grids2/90/90-26-5.uai
./allBenchmarks/grids2/90/90-34-8.uai
./allBenchmarks/grids2/90/90-42-7.uai
./allBenchmarks/grids2/90/90-24-3.uai
./allBenchmarks/grids2/90/90-20-8.uai
./allBenchmarks/grids2/90/90-25-2.uai
./allBenchmarks/grids2/90/90-38-3.uai
./allBenchmarks/grids2/90/90-38-2.uai
./allBenchmarks/grids2/90/90-38-10.uai
./allBenchmarks/grids2/90/90-23-10.uai
./allBenchmarks/grids2/90/90-26-2.uai
./allBenchmarks/grids2/90/90-25-8.uai
./allBenchmarks/grids2/90/90-38-6.uai
./allBenchmarks/grids2/90/90-42-2.uai
./allBenchmarks/grids2/90/90-25-5.uai
./allBenchmarks/grids2/90/90-34-2.uai
./allBenchmarks/grids2/90/90-30-2.uai
./allBenchmarks/grids2/90/90-21-4.uai
./allBenchmarks/grids2/90/90-38-1.uai
./allBenchmarks/grids2/90/90-23-1.uai
./allBenchmarks/grids2/90/90-50-7.uai
./allBenchmarks/grids2/90/90-24-9.uai
./allBenchmarks/grids2/90/90-21-2.uai
./allBenchmarks/grids2/90/90-22-3.uai
./allBenchmarks/grids2/90/90-30-7.uai
./allBenchmarks/grids2/90/90-38-5.uai
./allBenchmarks/grids2/90/90-30-4.uai
./allBenchmarks/grids2/90/90-50-9.uai
./allBenchmarks/grids2/90/90-46-2.uai
./allBenchmarks/grids2/90/90-42-8.uai
./allBenchmarks/grids2/90/90-22-6.uai
./allBenchmarks/grids2/90/90-30-3.uai
./allBenchmarks/grids2/90/90-22-7.uai
./allBenchmarks/grids2/90/90-38-9.uai
./allBenchmarks/grids2/90/90-21-7.uai
./allBenchmarks/grids2/90/90-24-4.uai
./allBenchmarks/grids2/90/90-23-8.uai
./allBenchmarks/grids2/90/90-50-6.uai
./allBenchmarks/grids2/90/90-42-6.uai
./allBenchmarks/grids2/90/90-42-10.uai
./allBenchmarks/grids2/90/90-50-1.uai
./allBenchmarks/grids2/90/90-22-9.uai
./allBenchmarks/grids2/90/90-26-1.uai
./allBenchmarks/grids2/90/90-46-3.uai
./allBenchmarks/grids2/90/90-30-6.uai
./allBenchmarks/grids2/90/90-26-3.uai
./allBenchmarks/grids2/90/90-42-5.uai
./allBenchmarks/grids2/90/90-22-2.uai
./allBenchmarks/grids2/90/90-25-10.uai
./allBenchmarks/grids2/90/90-24-7.uai
./allBenchmarks/grids2/90/90-46-6.uai
./allBenchmarks/grids2/90/90-20-9.uai
./allBenchmarks/grids2/90/90-25-1.uai
./allBenchmarks/grids2/90/90-23-6.uai
./allBenchmarks/grids2/90/90-22-10.uai
./allBenchmarks/grids2/90/90-23-9.uai
./allBenchmarks/grids2/90/90-46-9.uai
./allBenchmarks/grids2/90/90-23-5.uai
./allBenchmarks/grids2/90/90-34-9.uai
./allBenchmarks/grids2/90/90-26-4.uai
./allBenchmarks/grids2/90/90-21-3.uai
./allBenchmarks/grids2/90/90-24-5.uai
./allBenchmarks/grids2/90/90-30-10.uai
./allBenchmarks/grids2/90/90-20-3.uai
./allBenchmarks/grids2/90/90-23-2.uai
./allBenchmarks/grids2/90/90-34-7.uai
./allBenchmarks/grids2/90/90-24-6.uai
./allBenchmarks/grids2/90/90-22-1.uai
./allBenchmarks/grids2/90/90-50-8.uai
./allBenchmarks/grids2/90/90-23-3.uai
./allBenchmarks/grids2/90/90-22-4.uai
./allBenchmarks/grids2/90/90-22-5.uai
./allBenchmarks/grids2/90/90-42-3.uai
./allBenchmarks/grids2/90/90-20-2.uai
./allBenchmarks/grids2/90/90-25-6.uai
./allBenchmarks/grids2/90/90-22-8.uai
./allBenchmarks/grids2/90/90-30-9.uai
./allBenchmarks/grids2/90/90-20-4.uai
./allBenchmarks/grids2/90/90-46-4.uai
./allBenchmarks/grids2/90/90-21-6.uai
./allBenchmarks/grids2/90/90-20-6.uai
./allBenchmarks/grids2/90/90-50-10.uai
./allBenchmarks/grids2/90/90-34-3.uai
./allBenchmarks/grids2/90/90-21-10.uai
./allBenchmarks/grids2/90/90-24-10.uai
./allBenchmarks/grids2/90/90-23-4.uai
./allBenchmarks/grids2/90/90-21-5.uai
./allBenchmarks/grids2/90/90-46-5.uai
./allBenchmarks/grids2/90/90-30-5.uai
./allBenchmarks/grids2/90/90-24-2.uai
./allBenchmarks/grids2/90/90-26-8.uai
./allBenchmarks/grids2/90/90-26-10.uai
./allBenchmarks/grids2/90/90-50-3.uai
./allBenchmarks/grids2/90/90-23-7.uai
./allBenchmarks/grids2/90/90-24-8.uai
./allBenchmarks/grids2/90/90-21-8.uai
./allBenchmarks/grids2/90/90-30-8.uai
./allBenchmarks/grids2/90/90-38-4.uai
./allBenchmarks/grids2/90/90-50-4.uai
./allBenchmarks/grids2/90/90-25-7.uai
./allBenchmarks/grids2/90/90-38-8.uai
./allBenchmarks/grids2/90/90-34-10.uai
./allBenchmarks/grids2/90/90-42-9.uai
./allBenchmarks/grids2/90/90-34-5.uai
./allBenchmarks/grids2/90/90-25-4.uai
./allBenchmarks/grids2/90/90-26-6.uai
./allBenchmarks/grids2/90/90-50-5.uai
./allBenchmarks/grids2/90/90-46-7.uai
./allBenchmarks/grids2/90/90-20-10.uai
./allBenchmarks/grids2/90/90-34-6.uai
./allBenchmarks/grids2/90/90-50-2.uai
./allBenchmarks/grids2/75/75-20-8.uai
./allBenchmarks/grids2/75/75-25-6.uai
./allBenchmarks/grids2/75/75-22-9.uai
./allBenchmarks/grids2/75/75-21-3.uai
./allBenchmarks/grids2/75/75-21-2.uai
./allBenchmarks/grids2/75/75-21-5.uai
./allBenchmarks/grids2/75/75-17-2.uai
./allBenchmarks/grids2/75/75-20-1.uai
./allBenchmarks/grids2/75/75-18-7.uai
./allBenchmarks/grids2/75/75-26-7.uai
./allBenchmarks/grids2/75/75-25-7.uai
./allBenchmarks/grids2/75/75-26-1.uai
./allBenchmarks/grids2/75/75-18-4.uai
./allBenchmarks/grids2/75/75-26-8.uai
./allBenchmarks/grids2/75/75-18-10.uai
./allBenchmarks/grids2/75/75-23-8.uai
./allBenchmarks/grids2/75/75-16-10.uai
./allBenchmarks/grids2/75/75-25-2.uai
./allBenchmarks/grids2/75/75-25-9.uai
./allBenchmarks/grids2/75/75-16-4.uai
./allBenchmarks/grids2/75/75-23-4.uai
./allBenchmarks/grids2/75/75-18-3.uai
./allBenchmarks/grids2/75/75-18-9.uai
./allBenchmarks/grids2/75/75-21-9.uai
./allBenchmarks/grids2/75/75-20-4.uai
./allBenchmarks/grids2/75/75-25-3.uai
./allBenchmarks/grids2/75/75-22-10.uai
./allBenchmarks/grids2/75/75-21-8.uai
./allBenchmarks/grids2/75/75-19-9.uai
./allBenchmarks/grids2/75/75-20-7.uai
./allBenchmarks/grids2/75/75-20-3.uai
./allBenchmarks/grids2/75/75-23-9.uai
./allBenchmarks/grids2/75/75-26-2.uai
./allBenchmarks/grids2/75/75-18-2.uai
./allBenchmarks/grids2/75/75-24-5.uai
./allBenchmarks/grids2/75/75-20-5.uai
./allBenchmarks/grids2/75/75-21-1.uai
./allBenchmarks/grids2/75/75-20-9.uai
./allBenchmarks/grids2/75/75-22-1.uai
./allBenchmarks/grids2/75/75-23-7.uai
./allBenchmarks/grids2/75/75-22-3.uai
./allBenchmarks/grids2/75/75-21-7.uai
./allBenchmarks/grids2/75/75-19-6.uai
./allBenchmarks/grids2/75/75-23-1.uai
./allBenchmarks/grids2/75/75-26-5.uai
./allBenchmarks/grids2/75/75-19-1.uai
./allBenchmarks/grids2/75/75-26-3.uai
./allBenchmarks/grids2/75/75-26-6.uai
./allBenchmarks/grids2/75/75-24-3.uai
./allBenchmarks/grids2/75/75-17-5.uai
./allBenchmarks/grids2/75/75-18-1.uai
./allBenchmarks/grids2/75/75-25-1.uai
./allBenchmarks/grids2/75/75-20-10.uai
./allBenchmarks/grids2/75/75-20-6.uai
./allBenchmarks/grids2/75/75-19-5.uai
./allBenchmarks/grids2/75/75-16-9.uai
./allBenchmarks/grids2/75/75-25-5.uai
./allBenchmarks/grids2/75/75-18-6.uai
./allBenchmarks/grids2/75/75-16-7.uai
./allBenchmarks/grids2/75/75-24-4.uai
./allBenchmarks/grids2/75/75-19-7.uai
./allBenchmarks/grids2/75/75-22-2.uai
./allBenchmarks/grids2/75/75-24-2.uai
./allBenchmarks/grids2/75/75-23-2.uai
./allBenchmarks/grids2/75/75-23-5.uai
./allBenchmarks/grids2/75/75-16-1.uai
./allBenchmarks/grids2/75/75-22-6.uai
./allBenchmarks/grids2/75/75-19-8.uai
./allBenchmarks/grids2/75/75-16-2.uai
./allBenchmarks/grids2/75/75-16-6.uai
./allBenchmarks/grids2/75/75-17-6.uai
./allBenchmarks/grids2/75/75-20-2.uai
./allBenchmarks/grids2/75/75-17-1.uai
./allBenchmarks/grids2/75/75-24-7.uai
./allBenchmarks/grids2/75/75-16-5.uai
./allBenchmarks/grids2/75/75-25-4.uai
./allBenchmarks/grids2/75/75-26-9.uai
./allBenchmarks/grids2/75/75-25-10.uai
./allBenchmarks/grids2/75/75-24-8.uai
./allBenchmarks/grids2/75/75-24-10.uai
./allBenchmarks/grids2/75/75-17-10.uai
./allBenchmarks/grids2/75/75-22-5.uai
./allBenchmarks/grids2/75/75-22-4.uai
./allBenchmarks/grids2/75/75-21-6.uai
./allBenchmarks/grids2/75/75-19-4.uai
./allBenchmarks/grids2/75/75-24-9.uai
./allBenchmarks/grids2/75/75-19-3.uai
./allBenchmarks/grids2/75/75-23-10.uai
./allBenchmarks/grids2/75/75-18-5.uai
./allBenchmarks/grids2/75/75-23-6.uai
./allBenchmarks/grids2/75/75-17-8.uai
./allBenchmarks/grids2/75/75-22-7.uai
./allBenchmarks/grids2/75/75-18-8.uai
./allBenchmarks/grids2/75/75-22-8.uai
./allBenchmarks/grids2/75/75-23-3.uai
./allBenchmarks/grids2/75/75-16-8.uai
./allBenchmarks/grids2/75/75-26-10.uai
./allBenchmarks/grids2/75/75-16-3.uai
./allBenchmarks/grids2/75/75-25-8.uai
./allBenchmarks/grids2/75/75-24-6.uai
./allBenchmarks/grids2/75/75-17-9.uai
./allBenchmarks/grids2/75/75-26-4.uai
./allBenchmarks/grids2/75/75-21-4.uai
./allBenchmarks/grids2/75/75-19-10.uai
./allBenchmarks/grids2/75/75-21-10.uai
./allBenchmarks/grids2/75/75-17-7.uai
./allBenchmarks/grids2/75/75-17-4.uai
./allBenchmarks/grids2/75/75-17-3.uai
./allBenchmarks/grids2/75/75-19-2.uai
./allBenchmarks/grids2/75/75-24-1.uai
./allBenchmarks/diagnose/3085.uai
./allBenchmarks/diagnose/3007.uai
./allBenchmarks/diagnose/3010.uai
./allBenchmarks/diagnose/3064.uai
./allBenchmarks/diagnose/3081.uai
./allBenchmarks/diagnose/3072.uai
./allBenchmarks/diagnose/3034.uai
./allBenchmarks/diagnose/3030.uai
./allBenchmarks/diagnose/3069.uai
./allBenchmarks/diagnose/3008.uai
./allBenchmarks/diagnose/3068.uai
./allBenchmarks/diagnose/3091.uai
./allBenchmarks/diagnose/3093.uai
./allBenchmarks/diagnose/3042.uai
./allBenchmarks/diagnose/3040.uai
./allBenchmarks/diagnose/3005.uai
./allBenchmarks/diagnose/3065.uai
./allBenchmarks/diagnose/3089.uai
./allBenchmarks/diagnose/3070.uai
./allBenchmarks/diagnose/3083.uai
./allBenchmarks/diagnose/3009.uai
./allBenchmarks/diagnose/3026.uai
./allBenchmarks/diagnose/3055.uai
./allBenchmarks/diagnose/3017.uai
./allBenchmarks/diagnose/3084.uai
./allBenchmarks/diagnose/3076.uai
./allBenchmarks/diagnose/3087.uai
./allBenchmarks/diagnose/3073.uai
./allBenchmarks/diagnose/3002.uai
./allBenchmarks/diagnose/3015.uai
./allBenchmarks/diagnose/3004.uai
./allBenchmarks/diagnose/3041.uai
./allBenchmarks/diagnose/3058.uai
./allBenchmarks/diagnose/3018.uai
./allBenchmarks/diagnose/3066.uai
./allBenchmarks/diagnose/3037.uai
./allBenchmarks/diagnose/3047.uai
./allBenchmarks/diagnose/3060.uai
./allBenchmarks/diagnose/3011.uai
./allBenchmarks/diagnose/3024.uai
./allBenchmarks/diagnose/3003.uai
./allBenchmarks/diagnose/3046.uai
./allBenchmarks/diagnose/3045.uai
./allBenchmarks/diagnose/3016.uai
./allBenchmarks/diagnose/3048.uai
./allBenchmarks/diagnose/3088.uai
./allBenchmarks/diagnose/3006.uai
./allBenchmarks/diagnose/3097.uai
./allBenchmarks/diagnose/3099.uai
./allBenchmarks/diagnose/3044.uai
./allBenchmarks/diagnose/3052.uai
./allBenchmarks/diagnose/3039.uai
./allBenchmarks/diagnose/3098.uai
./allBenchmarks/diagnose/3094.uai
./allBenchmarks/diagnose/3096.uai
./allBenchmarks/diagnose/3086.uai
./allBenchmarks/diagnose/3000.uai
./allBenchmarks/diagnose/3023.uai
./allBenchmarks/diagnose/3043.uai
./allBenchmarks/diagnose/3014.uai
./allBenchmarks/diagnose/3035.uai
./allBenchmarks/diagnose/3071.uai
./allBenchmarks/diagnose/3075.uai
./allBenchmarks/diagnose/3051.uai
./allBenchmarks/diagnose/3082.uai
./allBenchmarks/diagnose/3025.uai
./allBenchmarks/diagnose/3027.uai
./allBenchmarks/diagnose/3077.uai
./allBenchmarks/diagnose/3012.uai
./allBenchmarks/diagnose/3062.uai
./allBenchmarks/diagnose/3059.uai
./allBenchmarks/diagnose/3028.uai
./allBenchmarks/diagnose/3061.uai
./allBenchmarks/diagnose/3092.uai
./allBenchmarks/diagnose/3080.uai
./allBenchmarks/diagnose/3057.uai
./allBenchmarks/diagnose/3095.uai
./allBenchmarks/diagnose/3031.uai
./allBenchmarks/diagnose/3036.uai
./allBenchmarks/diagnose/3022.uai
./allBenchmarks/diagnose/3013.uai
./allBenchmarks/diagnose/3050.uai
./allBenchmarks/diagnose/3056.uai
./allBenchmarks/diagnose/3049.uai
./allBenchmarks/diagnose/3032.uai
./allBenchmarks/diagnose/3067.uai
./allBenchmarks/diagnose/3090.uai
./allBenchmarks/diagnose/3019.uai
./allBenchmarks/diagnose/3054.uai
./allBenchmarks/diagnose/3001.uai
./allBenchmarks/diagnose/3053.uai
./allBenchmarks/diagnose/3033.uai
./allBenchmarks/diagnose/3074.uai
./allBenchmarks/diagnose/3020.uai
./allBenchmarks/diagnose/3063.uai
./allBenchmarks/diagnose/3078.uai
./allBenchmarks/diagnose/3029.uai
./allBenchmarks/diagnose/3021.uai
./allBenchmarks/diagnose/3079.uai
./allBenchmarks/diagnose/3038.uai
./allBenchmarks/uai2014/Promedas_33.uai
./allBenchmarks/uai2014/sat-grid-pbl-0010.cnf.uai
./allBenchmarks/uai2014/ObjectDetection_24.uai
./allBenchmarks/uai2014/Promedas_40.uai
./allBenchmarks/uai2014/log-4.cnf.uai
./allBenchmarks/uai2014/ObjectDetection_63.uai
./allBenchmarks/uai2014/Promedus_14.uai
./allBenchmarks/uai2014/ObjectDetection_75.uai
./allBenchmarks/uai2014/Promedus_15.uai
./allBenchmarks/uai2014/linkage_21.uai
./allBenchmarks/uai2014/Grids_26.uai
./allBenchmarks/uai2014/Promedas_31.uai
./allBenchmarks/uai2014/prob005.pddl.cnf.uai
./allBenchmarks/uai2014/Segmentation_14.uai
./allBenchmarks/uai2014/Promedas_21.uai
./allBenchmarks/uai2014/Promedas_16.uai
./allBenchmarks/uai2014/Segmentation_19.uai
./allBenchmarks/uai2014/Segmentation_17.uai
./allBenchmarks/uai2014/ObjectDetection_52.uai
./allBenchmarks/uai2014/ProteinFolding_19.uai
./allBenchmarks/uai2014/Promedas_15.uai
./allBenchmarks/uai2014/Promedas_56.uai
./allBenchmarks/uai2014/ProteinFolding_22.uai
./allBenchmarks/uai2014/ObjectDetection_39.uai
./allBenchmarks/uai2014/Segmentation_11.uai
./allBenchmarks/uai2014/BN_71.uai
./allBenchmarks/uai2014/linkage_25.uai
./allBenchmarks/uai2014/ImageAlignment_14.uai
./allBenchmarks/uai2014/ObjectDetection_62.uai
./allBenchmarks/uai2014/ObjectDetection_50.uai
./allBenchmarks/uai2014/ObjectDetection_21.uai
./allBenchmarks/uai2014/Promedus_30.uai
./allBenchmarks/uai2014/Promedus_11.uai
./allBenchmarks/uai2014/rb.cnf.uai
./allBenchmarks/uai2014/Promedas_14.uai
./allBenchmarks/uai2014/BN_76.uai
./allBenchmarks/uai2014/Grids_24.uai
./allBenchmarks/uai2014/ImageAlignment_11.uai
./allBenchmarks/uai2014/Grids_16.uai
./allBenchmarks/uai2014/Promedus_37.uai
./allBenchmarks/uai2014/Promedas_36.uai
./allBenchmarks/uai2014/Promedas_45.uai
./allBenchmarks/uai2014/ObjectDetection_42.uai
./allBenchmarks/uai2014/Promedas_19.uai
./allBenchmarks/uai2014/Promedus_28.uai
./allBenchmarks/uai2014/Promedas_11.uai
./allBenchmarks/uai2014/DBN_12.uai
./allBenchmarks/uai2014/ObjectDetection_68.uai
./allBenchmarks/uai2014/Promedas_37.uai
./allBenchmarks/uai2014/Pedigree_12.uai
./allBenchmarks/uai2014/ObjectDetection_57.uai
./allBenchmarks/uai2014/prob001.pddl.cnf.uai
./allBenchmarks/uai2014/wcsp_14.uai
./allBenchmarks/uai2014/2bitcomp_5.cnf.uai
./allBenchmarks/uai2014/ObjectDetection_27.uai
./allBenchmarks/uai2014/Promedas_68.uai
./allBenchmarks/uai2014/logistics.c.cnf.uai
./allBenchmarks/uai2014/Promedas_17.uai
./allBenchmarks/uai2014/ObjectDetection_22.uai
./allBenchmarks/uai2014/Promedas_49.uai
./allBenchmarks/uai2014/ObjectDetection_23.uai
./allBenchmarks/uai2014/Grids_22.uai
./allBenchmarks/uai2014/wcsp_11.uai
./allBenchmarks/uai2014/Grids_21.uai
./allBenchmarks/uai2014/ProteinFolding_15.uai
./allBenchmarks/uai2014/ObjectDetection_38.uai
./allBenchmarks/uai2014/Promedas_54.uai
./allBenchmarks/uai2014/BN_74.uai
./allBenchmarks/uai2014/c1908.isc.cnf.uai
./allBenchmarks/uai2014/Promedus_19.uai
./allBenchmarks/uai2014/Grids_18.uai
./allBenchmarks/uai2014/linkage_26.uai
./allBenchmarks/uai2014/ObjectDetection_66.uai
./allBenchmarks/uai2014/Grids_25.uai
./allBenchmarks/uai2014/ObjectDetection_44.uai
./allBenchmarks/uai2014/prob002.pddl.cnf.uai
./allBenchmarks/uai2014/ObjectDetection_30.uai
./allBenchmarks/uai2014/ProteinFolding_11.uai
./allBenchmarks/uai2014/Promedas_24.uai
./allBenchmarks/uai2014/Promedas_60.uai
./allBenchmarks/uai2014/rc.cnf.uai
./allBenchmarks/uai2014/Promedus_29.uai
./allBenchmarks/uai2014/Pedigree_13.uai
./allBenchmarks/uai2014/2bitmax_6.cnf.uai
./allBenchmarks/uai2014/ObjectDetection_43.uai
./allBenchmarks/uai2014/ObjectDetection_19.uai
./allBenchmarks/uai2014/ObjectDetection_59.uai
./allBenchmarks/uai2014/Promedas_30.uai
./allBenchmarks/uai2014/prob004.pddl.cnf.uai
./allBenchmarks/uai2014/BN_73.uai
./allBenchmarks/uai2014/Promedas_12.uai
./allBenchmarks/uai2014/Promedus_13.uai
./allBenchmarks/uai2014/ObjectDetection_49.uai
./allBenchmarks/uai2014/Promedas_63.uai
./allBenchmarks/uai2014/linkage_15.uai
./allBenchmarks/uai2014/Segmentation_13.uai
./allBenchmarks/uai2014/log-2.cnf.uai
./allBenchmarks/uai2014/Promedas_32.uai
./allBenchmarks/uai2014/ObjectDetection_60.uai
./allBenchmarks/uai2014/Promedas_13.uai
./allBenchmarks/uai2014/ObjectDetection_25.uai
./allBenchmarks/uai2014/Promedas_38.uai
./allBenchmarks/uai2014/ObjectDetection_58.uai
./allBenchmarks/uai2014/Alchemy_11.uai
./allBenchmarks/uai2014/ObjectDetection_31.uai
./allBenchmarks/uai2014/wcsp_17.uai
./allBenchmarks/uai2014/ra.cnf.uai
./allBenchmarks/uai2014/BN_70.uai
./allBenchmarks/uai2014/wcsp_13.uai
./allBenchmarks/uai2014/linkage_11.uai
./allBenchmarks/uai2014/ObjectDetection_46.uai
./allBenchmarks/uai2014/linkage_27.uai
./allBenchmarks/uai2014/ProteinFolding_25.uai
./allBenchmarks/uai2014/relational_5.uai
./allBenchmarks/uai2014/Promedus_12.uai
./allBenchmarks/uai2014/Promedus_38.uai
./allBenchmarks/uai2014/ObjectDetection_26.uai
./allBenchmarks/uai2014/Promedas_69.uai
./allBenchmarks/uai2014/ObjectDetection_71.uai
./allBenchmarks/uai2014/ProteinFolding_20.uai
./allBenchmarks/uai2014/linkage_17.uai
./allBenchmarks/uai2014/Promedas_48.uai
./allBenchmarks/uai2014/ObjectDetection_28.uai
./allBenchmarks/uai2014/Promedas_52.uai
./allBenchmarks/uai2014/DBN_16.uai
./allBenchmarks/uai2014/Promedus_36.uai
./allBenchmarks/uai2014/Promedas_59.uai
./allBenchmarks/uai2014/ObjectDetection_45.uai
./allBenchmarks/uai2014/Promedus_32.uai
./allBenchmarks/uai2014/log-5.cnf.uai
./allBenchmarks/uai2014/Promedus_26.uai
./allBenchmarks/uai2014/ObjectDetection_36.uai
./allBenchmarks/uai2014/wcsp_16.uai
./allBenchmarks/uai2014/ObjectDetection_14.uai
./allBenchmarks/uai2014/Promedas_53.uai
./allBenchmarks/uai2014/relational_3.uai
./allBenchmarks/uai2014/relational_2.uai
./allBenchmarks/uai2014/Segmentation_15.uai
./allBenchmarks/uai2014/Grids_12.uai
./allBenchmarks/uai2014/linkage_13.uai
./allBenchmarks/uai2014/ObjectDetection_20.uai
./allBenchmarks/uai2014/Promedas_67.uai
./allBenchmarks/uai2014/DBN_15.uai
./allBenchmarks/uai2014/Promedus_33.uai
./allBenchmarks/uai2014/Promedus_16.uai
./allBenchmarks/uai2014/linkage_16.uai
./allBenchmarks/uai2014/DBN_11.uai
./allBenchmarks/uai2014/Promedus_31.uai
./allBenchmarks/uai2014/ImageAlignment_15.uai
./allBenchmarks/uai2014/wcsp_18.uai
./allBenchmarks/uai2014/ObjectDetection_70.uai
./allBenchmarks/uai2014/Pedigree_11.uai
./allBenchmarks/uai2014/Promedas_62.uai
./allBenchmarks/uai2014/linkage_19.uai
./allBenchmarks/uai2014/Grids_17.uai
./allBenchmarks/uai2014/Grids_30.uai
./allBenchmarks/uai2014/ObjectDetection_54.uai
./allBenchmarks/uai2014/ObjectDetection_47.uai
./allBenchmarks/uai2014/ProteinFolding_14.uai
./allBenchmarks/uai2014/BN_75.uai
./allBenchmarks/uai2014/Promedas_64.uai
./allBenchmarks/uai2014/Promedas_27.uai
./allBenchmarks/uai2014/logistics.b.cnf.uai
./allBenchmarks/uai2014/relational_4.uai
./allBenchmarks/uai2014/ObjectDetection_29.uai
./allBenchmarks/uai2014/Promedas_20.uai
./allBenchmarks/uai2014/Segmentation_16.uai
./allBenchmarks/uai2014/Promedas_26.uai
./allBenchmarks/uai2014/ObjectDetection_18.uai
./allBenchmarks/uai2014/Promedus_22.uai
./allBenchmarks/uai2014/linkage_23.uai
./allBenchmarks/uai2014/ObjectDetection_34.uai
./allBenchmarks/uai2014/Promedas_55.uai
./allBenchmarks/uai2014/ObjectDetection_67.uai
./allBenchmarks/uai2014/linkage_14.uai
./allBenchmarks/uai2014/ObjectDetection_40.uai
./allBenchmarks/uai2014/ObjectDetection_51.uai
./allBenchmarks/uai2014/ObjectDetection_48.uai
./allBenchmarks/uai2014/Promedas_22.uai
./allBenchmarks/uai2014/ObjectDetection_74.uai
./allBenchmarks/uai2014/logistics.a.cnf.uai
./allBenchmarks/uai2014/Promedas_25.uai
./allBenchmarks/uai2014/BN_69.uai
./allBenchmarks/uai2014/wcsp_12.uai
./allBenchmarks/uai2014/Promedas_61.uai
./allBenchmarks/uai2014/Grids_27.uai
./allBenchmarks/uai2014/Promedus_27.uai
./allBenchmarks/uai2014/ObjectDetection_13.uai
./allBenchmarks/uai2014/BN_72.uai
./allBenchmarks/uai2014/Promedus_18.uai
./allBenchmarks/uai2014/CSP_11.uai
./allBenchmarks/uai2014/Grids_11.uai
./allBenchmarks/uai2014/ProteinFolding_21.uai
./allBenchmarks/uai2014/linkage_18.uai
./allBenchmarks/uai2014/Promedas_71.uai
./allBenchmarks/uai2014/Promedus_25.uai
./allBenchmarks/uai2014/ObjectDetection_53.uai
./allBenchmarks/uai2014/Promedus_24.uai
./allBenchmarks/uai2014/ProteinFolding_24.uai
./allBenchmarks/uai2014/Promedas_66.uai
./allBenchmarks/uai2014/Promedas_47.uai
./allBenchmarks/uai2014/linkage_22.uai
./allBenchmarks/uai2014/ObjectDetection_15.uai
./allBenchmarks/uai2014/Promedas_51.uai
./allBenchmarks/uai2014/Grids_29.uai
./allBenchmarks/uai2014/ObjectDetection_73.uai
./allBenchmarks/uai2014/Promedus_34.uai
./allBenchmarks/uai2014/ObjectDetection_41.uai
./allBenchmarks/uai2014/Promedas_44.uai
./allBenchmarks/uai2014/log-1.cnf.uai
./allBenchmarks/uai2014/ObjectDetection_37.uai
./allBenchmarks/uai2014/ObjectDetection_61.uai
./allBenchmarks/uai2014/Segmentation_20.uai
./allBenchmarks/uai2014/linkage_20.uai
./allBenchmarks/uai2014/prob012.pddl.cnf.uai
./allBenchmarks/uai2014/Promedas_43.uai
./allBenchmarks/uai2014/Grids_19.uai
./allBenchmarks/uai2014/2bitadd_11.cnf.uai
./allBenchmarks/uai2014/linkage_12.uai
./allBenchmarks/uai2014/Grids_20.uai
./allBenchmarks/uai2014/ProteinFolding_16.uai
./allBenchmarks/uai2014/c432.isc.cnf.uai
./allBenchmarks/uai2014/ObjectDetection_12.uai
./allBenchmarks/uai2014/Promedus_35.uai
./allBenchmarks/uai2014/Promedas_28.uai
./allBenchmarks/uai2014/Promedas_58.uai
./allBenchmarks/uai2014/Segmentation_12.uai
./allBenchmarks/uai2014/ObjectDetection_72.uai
./allBenchmarks/uai2014/Grids_14.uai
./allBenchmarks/uai2014/ProteinFolding_13.uai
./allBenchmarks/uai2014/ObjectDetection_32.uai
./allBenchmarks/uai2014/Promedus_17.uai
./allBenchmarks/uai2014/Promedas_39.uai
./allBenchmarks/uai2014/Segmentation_18.uai
./allBenchmarks/uai2014/ProteinFolding_17.uai
./allBenchmarks/uai2014/Promedas_65.uai
./allBenchmarks/uai2014/ProteinFolding_23.uai
./allBenchmarks/uai2014/CSP_13.uai
./allBenchmarks/uai2014/ObjectDetection_16.uai
./allBenchmarks/uai2014/Grids_15.uai
./allBenchmarks/uai2014/ObjectDetection_56.uai
./allBenchmarks/uai2014/prob003.pddl.cnf.uai
./allBenchmarks/uai2014/ProteinFolding_18.uai
./allBenchmarks/uai2014/ObjectDetection_11.uai
./allBenchmarks/uai2014/Promedus_23.uai
./allBenchmarks/uai2014/Grids_28.uai
./allBenchmarks/uai2014/Grids_23.uai
./allBenchmarks/uai2014/Promedas_23.uai
./allBenchmarks/uai2014/c880.isc.cnf.uai
./allBenchmarks/uai2014/relational_1.uai
./allBenchmarks/uai2014/ObjectDetection_35.uai
./allBenchmarks/uai2014/ObjectDetection_17.uai
./allBenchmarks/uai2014/ObjectDetection_55.uai
./allBenchmarks/uai2014/Promedas_35.uai
./allBenchmarks/uai2014/Promedas_57.uai
./allBenchmarks/uai2014/Promedas_42.uai
./allBenchmarks/uai2014/Promedas_50.uai
./allBenchmarks/uai2014/Promedas_34.uai
./allBenchmarks/uai2014/ObjectDetection_65.uai
./allBenchmarks/uai2014/Grids_13.uai
./allBenchmarks/uai2014/Promedas_41.uai
./allBenchmarks/uai2014/DBN_14.uai
./allBenchmarks/uai2014/Promedas_46.uai
./allBenchmarks/uai2014/ProteinFolding_12.uai
./allBenchmarks/uai2014/Promedas_18.uai
./allBenchmarks/uai2014/Promedas_29.uai
./allBenchmarks/uai2014/CSP_12.uai
./allBenchmarks/uai2014/grid10x10.f10.uai
./allBenchmarks/uai2014/DBN_13.uai
./allBenchmarks/uai2014/ImageAlignment_13.uai
./allBenchmarks/uai2014/Promedas_70.uai
./allBenchmarks/uai2014/linkage_24.uai
./allBenchmarks/uai2014/ObjectDetection_33.uai
./allBenchmarks/uai2014/Promedus_21.uai
./allBenchmarks/uai2014/log-3.cnf.uai
./allBenchmarks/uai2014/Promedus_20.uai
./allBenchmarks/uai2014/ObjectDetection_69.uai
./allBenchmarks/uai2014/ImageAlignment_12.uai
./allBenchmarks/uai2014/ObjectDetection_64.uai
./allBenchmarks/uai2014/wcsp_15.uai
./allBenchmarks/relational/blockmap_15_03-0003.uai
./allBenchmarks/relational/blockmap_15_03-0008.uai
./allBenchmarks/relational/blockmap_10_03-0005.uai
./allBenchmarks/relational/mastermind_04_08_03-0007.uai
./allBenchmarks/relational/mastermind_03_08_04-0014.uai
./allBenchmarks/relational/students_03_02-0002.uai
./allBenchmarks/relational/blockmap_05_02-0012.uai
./allBenchmarks/relational/blockmap_10_03-0013.uai
./allBenchmarks/relational/mastermind_04_08_04-0014.uai
./allBenchmarks/relational/mastermind_03_08_05-0011.uai
./allBenchmarks/relational/blockmap_10_03-0003.uai
./allBenchmarks/relational/blockmap_10_01-0013.uai
./allBenchmarks/relational/blockmap_10_03-0014.uai
./allBenchmarks/relational/mastermind_04_08_04-0010.uai
./allBenchmarks/relational/mastermind_03_08_03-0003.uai
./allBenchmarks/relational/blockmap_05_01-0011.uai
./allBenchmarks/relational/blockmap_20_02-0014.uai
./allBenchmarks/relational/blockmap_10_01-0014.uai
./allBenchmarks/relational/blockmap_15_02-0013.uai
./allBenchmarks/relational/blockmap_22_02-0014.uai
./allBenchmarks/relational/blockmap_10_01-0009.uai
./allBenchmarks/relational/blockmap_05_03-0012.uai
./allBenchmarks/relational/blockmap_22_01-0013.uai
./allBenchmarks/relational/blockmap_05_02-0015.uai
./allBenchmarks/relational/blockmap_10_01-0012.uai
./allBenchmarks/relational/blockmap_20_03-0005.uai
./allBenchmarks/relational/mastermind_03_08_03-0007.uai
./allBenchmarks/relational/blockmap_10_01-0003.uai
./allBenchmarks/relational/blockmap_10_02-0003.uai
./allBenchmarks/relational/students_03_02-0000.uai
./allBenchmarks/relational/mastermind_03_08_05-0000.uai
./allBenchmarks/relational/blockmap_22_03-0010.uai
./allBenchmarks/relational/blockmap_20_01-0009.uai
./allBenchmarks/relational/blockmap_15_01-0015.uai
./allBenchmarks/relational/blockmap_10_03-0012.uai
./allBenchmarks/relational/blockmap_05_02-0008.uai
./allBenchmarks/relational/mastermind_05_08_03-0010.uai
./allBenchmarks/relational/blockmap_20_03-0013.uai
./allBenchmarks/relational/blockmap_05_02-0007.uai
./allBenchmarks/relational/blockmap_15_02-0005.uai
./allBenchmarks/relational/mastermind_05_08_03-0011.uai
./allBenchmarks/relational/blockmap_05_02-0006.uai
./allBenchmarks/relational/blockmap_10_01-0001.uai
./allBenchmarks/relational/mastermind_03_08_04-0011.uai
./allBenchmarks/relational/blockmap_22_03-0015.uai
./allBenchmarks/relational/mastermind_03_08_05-0015.uai
./allBenchmarks/relational/students_03_02-0005.uai
./allBenchmarks/relational/blockmap_15_01-0002.uai
./allBenchmarks/relational/fs-19.uai
./allBenchmarks/relational/fs-13.uai
./allBenchmarks/relational/fs-22.uai
./allBenchmarks/relational/mastermind_03_08_04-0012.uai
./allBenchmarks/relational/mastermind_03_08_04-0001.uai
./allBenchmarks/relational/blockmap_20_02-0013.uai
./allBenchmarks/relational/blockmap_15_03-0007.uai
./allBenchmarks/relational/blockmap_15_01-0004.uai
./allBenchmarks/relational/blockmap_05_02-0005.uai
./allBenchmarks/relational/blockmap_05_02-0001.uai
./allBenchmarks/relational/mastermind_03_08_05-0009.uai
./allBenchmarks/relational/blockmap_20_02-0015.uai
./allBenchmarks/relational/mastermind_04_08_03-0008.uai
./allBenchmarks/relational/blockmap_22_01-0012.uai
./allBenchmarks/relational/blockmap_05_02-0009.uai
./allBenchmarks/relational/blockmap_15_01-0003.uai
./allBenchmarks/relational/mastermind_10_08_03-0003.uai
./allBenchmarks/relational/blockmap_20_02-0000.uai
./allBenchmarks/relational/blockmap_10_03-0011.uai
./allBenchmarks/relational/blockmap_15_02-0003.uai
./allBenchmarks/relational/blockmap_20_03-0002.uai
./allBenchmarks/relational/mastermind_05_08_03-0000.uai
./allBenchmarks/relational/blockmap_22_01-0000.uai
./allBenchmarks/relational/blockmap_05_03-0001.uai
./allBenchmarks/relational/mastermind_05_08_03-0001.uai
./allBenchmarks/relational/mastermind_03_08_04-0010.uai
./allBenchmarks/relational/mastermind_03_08_05-0005.uai
./allBenchmarks/relational/mastermind_03_08_04-0005.uai
./allBenchmarks/relational/blockmap_05_03-0007.uai
./allBenchmarks/relational/mastermind_06_08_03-0011.uai
./allBenchmarks/relational/blockmap_20_03-0007.uai
./allBenchmarks/relational/blockmap_15_02-0007.uai
./allBenchmarks/relational/blockmap_22_03-0004.uai
./allBenchmarks/relational/mastermind_06_08_03-0009.uai
./allBenchmarks/relational/blockmap_15_03-0012.uai
./allBenchmarks/relational/mastermind_05_08_03-0008.uai
./allBenchmarks/relational/mastermind_10_08_03-0002.uai
./allBenchmarks/relational/blockmap_22_01-0002.uai
./allBenchmarks/relational/mastermind_06_08_03-0015.uai
./allBenchmarks/relational/blockmap_22_01-0011.uai
./allBenchmarks/relational/blockmap_10_02-0001.uai
./allBenchmarks/relational/blockmap_20_03-0003.uai
./allBenchmarks/relational/blockmap_22_02-0006.uai
./allBenchmarks/relational/blockmap_05_02-0000.uai
./allBenchmarks/relational/mastermind_03_08_03-0005.uai
./allBenchmarks/relational/mastermind_03_08_04-0003.uai
./allBenchmarks/relational/students_03_02-0006.uai
./allBenchmarks/relational/blockmap_22_03-0013.uai
./allBenchmarks/relational/mastermind_04_08_04-0005.uai
./allBenchmarks/relational/mastermind_03_08_03-0001.uai
./allBenchmarks/relational/mastermind_05_08_03-0005.uai
./allBenchmarks/relational/blockmap_10_01-0007.uai
./allBenchmarks/relational/mastermind_04_08_04-0008.uai
./allBenchmarks/relational/fs-29.uai
./allBenchmarks/relational/blockmap_15_02-0001.uai
./allBenchmarks/relational/blockmap_05_03-0009.uai
./allBenchmarks/relational/mastermind_06_08_03-0000.uai
./allBenchmarks/relational/blockmap_22_01-0015.uai
./allBenchmarks/relational/blockmap_10_01-0006.uai
./allBenchmarks/relational/blockmap_15_02-0010.uai
./allBenchmarks/relational/mastermind_10_08_03-0004.uai
./allBenchmarks/relational/blockmap_20_01-0008.uai
./allBenchmarks/relational/blockmap_15_02-0015.uai
./allBenchmarks/relational/blockmap_22_03-0001.uai
./allBenchmarks/relational/mastermind_03_08_04-0013.uai
./allBenchmarks/relational/blockmap_10_02-0008.uai
./allBenchmarks/relational/blockmap_10_02-0010.uai
./allBenchmarks/relational/blockmap_15_01-0006.uai
./allBenchmarks/relational/blockmap_05_01-0008.uai
./allBenchmarks/relational/students_03_02-0007.uai
./allBenchmarks/relational/mastermind_04_08_03-0015.uai
./allBenchmarks/relational/blockmap_20_03-0014.uai
./allBenchmarks/relational/mastermind_04_08_03-0010.uai
./allBenchmarks/relational/blockmap_05_02-0002.uai
./allBenchmarks/relational/blockmap_10_02-0007.uai
./allBenchmarks/relational/blockmap_22_01-0005.uai
./allBenchmarks/relational/mastermind_10_08_03-0000.uai
./allBenchmarks/relational/mastermind_10_08_03-0007.uai
./allBenchmarks/relational/mastermind_03_08_03-0015.uai
./allBenchmarks/relational/mastermind_04_08_03-0006.uai
./allBenchmarks/relational/mastermind_04_08_04-0009.uai
./allBenchmarks/relational/blockmap_22_01-0008.uai
./allBenchmarks/relational/mastermind_03_08_05-0007.uai
./allBenchmarks/relational/mastermind_03_08_05-0014.uai
./allBenchmarks/relational/blockmap_15_03-0000.uai
./allBenchmarks/relational/mastermind_04_08_04-0000.uai
./allBenchmarks/relational/blockmap_10_01-0011.uai
./allBenchmarks/relational/blockmap_20_02-0008.uai
./allBenchmarks/relational/blockmap_05_01-0001.uai
./allBenchmarks/relational/blockmap_15_02-0009.uai
./allBenchmarks/relational/blockmap_20_02-0009.uai
./allBenchmarks/relational/blockmap_22_02-0009.uai
./allBenchmarks/relational/mastermind_03_08_04-0002.uai
./allBenchmarks/relational/mastermind_03_08_04-0006.uai
./allBenchmarks/relational/blockmap_22_02-0005.uai
./allBenchmarks/relational/blockmap_15_01-0011.uai
./allBenchmarks/relational/blockmap_20_03-0015.uai
./allBenchmarks/relational/mastermind_03_08_05-0008.uai
./allBenchmarks/relational/mastermind_10_08_03-0008.uai
./allBenchmarks/relational/blockmap_22_01-0007.uai
./allBenchmarks/relational/blockmap_10_02-0005.uai
./allBenchmarks/relational/blockmap_05_03-0013.uai
./allBenchmarks/relational/blockmap_15_01-0010.uai
./allBenchmarks/relational/blockmap_15_03-0011.uai
./allBenchmarks/relational/mastermind_05_08_03-0006.uai
./allBenchmarks/relational/blockmap_10_03-0006.uai
./allBenchmarks/relational/mastermind_04_08_03-0002.uai
./allBenchmarks/relational/blockmap_05_01-0004.uai
./allBenchmarks/relational/blockmap_05_03-0011.uai
./allBenchmarks/relational/mastermind_03_08_03-0008.uai
./allBenchmarks/relational/blockmap_10_01-0002.uai
./allBenchmarks/relational/blockmap_20_03-0000.uai
./allBenchmarks/relational/blockmap_10_03-0002.uai
./allBenchmarks/relational/blockmap_20_02-0011.uai
./allBenchmarks/relational/mastermind_10_08_03-0006.uai
./allBenchmarks/relational/mastermind_04_08_03-0005.uai
./allBenchmarks/relational/students_03_02-0009.uai
./allBenchmarks/relational/mastermind_03_08_05-0006.uai
./allBenchmarks/relational/blockmap_15_03-0013.uai
./allBenchmarks/relational/blockmap_05_03-0010.uai
./allBenchmarks/relational/blockmap_20_03-0008.uai
./allBenchmarks/relational/mastermind_04_08_04-0011.uai
./allBenchmarks/relational/mastermind_03_08_03-0009.uai
./allBenchmarks/relational/mastermind_06_08_03-0003.uai
./allBenchmarks/relational/blockmap_22_02-0012.uai
./allBenchmarks/relational/blockmap_05_02-0011.uai
./allBenchmarks/relational/blockmap_15_01-0005.uai
./allBenchmarks/relational/blockmap_15_01-0013.uai
./allBenchmarks/relational/blockmap_20_01-0010.uai
./allBenchmarks/relational/mastermind_04_08_03-0009.uai
./allBenchmarks/relational/blockmap_10_02-0000.uai
./allBenchmarks/relational/blockmap_20_02-0006.uai
./allBenchmarks/relational/blockmap_20_02-0007.uai
./allBenchmarks/relational/blockmap_22_01-0003.uai
./allBenchmarks/relational/mastermind_06_08_03-0010.uai
./allBenchmarks/relational/mastermind_05_08_03-0012.uai
./allBenchmarks/relational/blockmap_22_01-0014.uai
./allBenchmarks/relational/fs-10.uai
./allBenchmarks/relational/blockmap_10_02-0014.uai
./allBenchmarks/relational/mastermind_04_08_04-0003.uai
./allBenchmarks/relational/mastermind_10_08_03-0005.uai
./allBenchmarks/relational/blockmap_10_02-0015.uai
./allBenchmarks/relational/blockmap_10_02-0004.uai
./allBenchmarks/relational/blockmap_20_02-0004.uai
./allBenchmarks/relational/mastermind_05_08_03-0003.uai
./allBenchmarks/relational/mastermind_03_08_03-0010.uai
./allBenchmarks/relational/mastermind_03_08_05-0002.uai
./allBenchmarks/relational/blockmap_22_01-0004.uai
./allBenchmarks/relational/students_03_02-0003.uai
./allBenchmarks/relational/blockmap_10_02-0012.uai
./allBenchmarks/relational/blockmap_10_01-0010.uai
./allBenchmarks/relational/blockmap_15_01-0009.uai
./allBenchmarks/relational/blockmap_10_03-0008.uai
./allBenchmarks/relational/blockmap_15_02-0014.uai
./allBenchmarks/relational/blockmap_10_03-0000.uai
./allBenchmarks/relational/mastermind_06_08_03-0002.uai
./allBenchmarks/relational/blockmap_20_01-0006.uai
./allBenchmarks/relational/blockmap_20_01-0005.uai
./allBenchmarks/relational/mastermind_03_08_04-0007.uai
./allBenchmarks/relational/blockmap_05_01-0003.uai
./allBenchmarks/relational/mastermind_06_08_03-0005.uai
./allBenchmarks/relational/blockmap_22_02-0003.uai
./allBenchmarks/relational/blockmap_20_01-0004.uai
./allBenchmarks/relational/students_03_02-0012.uai
./allBenchmarks/relational/blockmap_22_01-0001.uai
./allBenchmarks/relational/mastermind_06_08_03-0014.uai
./allBenchmarks/relational/blockmap_22_03-0008.uai
./allBenchmarks/relational/blockmap_20_02-0012.uai
./allBenchmarks/relational/blockmap_15_03-0005.uai
./allBenchmarks/relational/students_03_02-0004.uai
./allBenchmarks/relational/blockmap_22_03-0012.uai
./allBenchmarks/relational/blockmap_22_02-0013.uai
./allBenchmarks/relational/blockmap_20_02-0005.uai
./allBenchmarks/relational/students_03_02-0014.uai
./allBenchmarks/relational/blockmap_10_01-0015.uai
./allBenchmarks/relational/mastermind_03_08_04-0004.uai
./allBenchmarks/relational/students_03_02-0013.uai
./allBenchmarks/relational/blockmap_22_02-0004.uai
./allBenchmarks/relational/mastermind_06_08_03-0006.uai
./allBenchmarks/relational/blockmap_15_02-0012.uai
./allBenchmarks/relational/mastermind_06_08_03-0001.uai
./allBenchmarks/relational/students_03_02-0001.uai
./allBenchmarks/relational/blockmap_15_01-0014.uai
./allBenchmarks/relational/blockmap_15_03-0006.uai
./allBenchmarks/relational/blockmap_20_02-0001.uai
./allBenchmarks/relational/blockmap_22_01-0010.uai
./allBenchmarks/relational/blockmap_05_02-0004.uai
./allBenchmarks/relational/blockmap_05_03-0000.uai
./allBenchmarks/relational/blockmap_22_03-0003.uai
./allBenchmarks/relational/blockmap_22_01-0006.uai
./allBenchmarks/relational/blockmap_20_02-0002.uai
./allBenchmarks/relational/blockmap_20_03-0006.uai
./allBenchmarks/relational/blockmap_22_02-0002.uai
./allBenchmarks/relational/blockmap_10_01-0004.uai
./allBenchmarks/relational/mastermind_05_08_03-0004.uai
./allBenchmarks/relational/blockmap_05_01-0015.uai
./allBenchmarks/relational/blockmap_05_01-0013.uai
./allBenchmarks/relational/mastermind_03_08_03-0013.uai
./allBenchmarks/relational/mastermind_10_08_03-0012.uai
./allBenchmarks/relational/mastermind_10_08_03-0014.uai
./allBenchmarks/relational/blockmap_05_03-0002.uai
./allBenchmarks/relational/mastermind_05_08_03-0014.uai
./allBenchmarks/relational/mastermind_04_08_03-0011.uai
./allBenchmarks/relational/blockmap_22_02-0008.uai
./allBenchmarks/relational/students_03_02-0015.uai
./allBenchmarks/relational/blockmap_22_02-0015.uai
./allBenchmarks/relational/blockmap_22_03-0005.uai
./allBenchmarks/relational/blockmap_22_03-0009.uai
./allBenchmarks/relational/blockmap_15_03-0004.uai
./allBenchmarks/relational/blockmap_22_03-0002.uai
./allBenchmarks/relational/blockmap_05_01-0009.uai
./allBenchmarks/relational/blockmap_10_03-0009.uai
./allBenchmarks/relational/blockmap_22_03-0007.uai
./allBenchmarks/relational/blockmap_05_03-0005.uai
./allBenchmarks/relational/mastermind_10_08_03-0010.uai
./allBenchmarks/relational/blockmap_20_01-0001.uai
./allBenchmarks/relational/blockmap_20_01-0011.uai
./allBenchmarks/relational/blockmap_10_02-0006.uai
./allBenchmarks/relational/blockmap_15_01-0007.uai
./allBenchmarks/relational/blockmap_15_03-0002.uai
./allBenchmarks/relational/blockmap_22_03-0006.uai
./allBenchmarks/relational/mastermind_10_08_03-0001.uai
./allBenchmarks/relational/mastermind_04_08_04-0015.uai
./allBenchmarks/relational/mastermind_04_08_04-0007.uai
./allBenchmarks/relational/blockmap_15_03-0014.uai
./allBenchmarks/relational/mastermind_05_08_03-0015.uai
./allBenchmarks/relational/mastermind_03_08_03-0014.uai
./allBenchmarks/relational/blockmap_22_03-0011.uai
./allBenchmarks/relational/blockmap_20_01-0013.uai
./allBenchmarks/relational/mastermind_03_08_03-0002.uai
./allBenchmarks/relational/blockmap_10_03-0010.uai
./allBenchmarks/relational/blockmap_05_01-0012.uai
./allBenchmarks/relational/mastermind_10_08_03-0011.uai
./allBenchmarks/relational/fs-25.uai
./allBenchmarks/relational/blockmap_05_01-0000.uai
./allBenchmarks/relational/blockmap_20_03-0011.uai
./allBenchmarks/relational/blockmap_05_03-0014.uai
./allBenchmarks/relational/mastermind_03_08_03-0011.uai
./allBenchmarks/relational/blockmap_05_03-0006.uai
./allBenchmarks/relational/mastermind_04_08_03-0012.uai
./allBenchmarks/relational/blockmap_10_02-0013.uai
./allBenchmarks/relational/mastermind_06_08_03-0008.uai
./allBenchmarks/relational/mastermind_04_08_04-0001.uai
./allBenchmarks/relational/blockmap_15_01-0012.uai
./allBenchmarks/relational/blockmap_15_02-0006.uai
./allBenchmarks/relational/blockmap_05_03-0004.uai
./allBenchmarks/relational/mastermind_05_08_03-0007.uai
./allBenchmarks/relational/mastermind_10_08_03-0015.uai
./allBenchmarks/relational/mastermind_03_08_03-0012.uai
./allBenchmarks/relational/blockmap_15_03-0009.uai
./allBenchmarks/relational/blockmap_20_02-0010.uai
./allBenchmarks/relational/blockmap_15_02-0008.uai
./allBenchmarks/relational/students_03_02-0008.uai
./allBenchmarks/relational/mastermind_03_08_05-0004.uai
./allBenchmarks/relational/blockmap_10_01-0008.uai
./allBenchmarks/relational/mastermind_03_08_05-0013.uai
./allBenchmarks/relational/mastermind_03_08_04-0008.uai
./allBenchmarks/relational/blockmap_20_01-0002.uai
./allBenchmarks/relational/blockmap_20_03-0012.uai
./allBenchmarks/relational/mastermind_04_08_04-0012.uai
./allBenchmarks/relational/blockmap_05_02-0010.uai
./allBenchmarks/relational/blockmap_10_02-0011.uai
./allBenchmarks/relational/mastermind_03_08_05-0012.uai
./allBenchmarks/relational/blockmap_10_03-0015.uai
./allBenchmarks/relational/mastermind_05_08_03-0009.uai
./allBenchmarks/relational/mastermind_04_08_04-0013.uai
./allBenchmarks/relational/mastermind_03_08_03-0006.uai
./allBenchmarks/relational/mastermind_06_08_03-0004.uai
./allBenchmarks/relational/blockmap_22_02-0011.uai
./allBenchmarks/relational/blockmap_20_03-0009.uai
./allBenchmarks/relational/blockmap_22_02-0001.uai
./allBenchmarks/relational/blockmap_05_03-0003.uai
./allBenchmarks/relational/mastermind_04_08_03-0000.uai
./allBenchmarks/relational/fs-01.uai
./allBenchmarks/relational/blockmap_20_03-0010.uai
./allBenchmarks/relational/blockmap_10_03-0001.uai
./allBenchmarks/relational/mastermind_03_08_05-0001.uai
./allBenchmarks/relational/mastermind_06_08_03-0007.uai
./allBenchmarks/relational/blockmap_05_03-0015.uai
./allBenchmarks/relational/mastermind_04_08_03-0004.uai
./allBenchmarks/relational/blockmap_22_02-0010.uai
./allBenchmarks/relational/mastermind_03_08_03-0004.uai
./allBenchmarks/relational/mastermind_03_08_04-0015.uai
./allBenchmarks/relational/blockmap_22_03-0014.uai
./allBenchmarks/relational/blockmap_05_01-0002.uai
./allBenchmarks/relational/blockmap_15_02-0000.uai
./allBenchmarks/relational/mastermind_03_08_04-0000.uai
./allBenchmarks/relational/mastermind_06_08_03-0013.uai
./allBenchmarks/relational/blockmap_22_01-0009.uai
./allBenchmarks/relational/blockmap_10_02-0002.uai
./allBenchmarks/relational/blockmap_15_01-0000.uai
./allBenchmarks/relational/fs-28.uai
./allBenchmarks/relational/blockmap_10_03-0004.uai
./allBenchmarks/relational/fs-04.uai
./allBenchmarks/relational/fs-07.uai
./allBenchmarks/relational/blockmap_20_01-0012.uai
./allBenchmarks/relational/blockmap_10_03-0007.uai
./allBenchmarks/relational/blockmap_05_01-0010.uai
./allBenchmarks/relational/blockmap_20_01-0000.uai
./allBenchmarks/relational/blockmap_15_01-0001.uai
./allBenchmarks/relational/blockmap_15_03-0010.uai
./allBenchmarks/relational/blockmap_22_02-0000.uai
./allBenchmarks/relational/students_03_02-0010.uai
./allBenchmarks/relational/mastermind_03_08_05-0003.uai
./allBenchmarks/relational/students_03_02-0011.uai
./allBenchmarks/relational/blockmap_20_03-0004.uai
./allBenchmarks/relational/mastermind_05_08_03-0013.uai
./allBenchmarks/relational/blockmap_15_02-0002.uai
./allBenchmarks/relational/blockmap_20_01-0014.uai
./allBenchmarks/relational/blockmap_05_02-0014.uai
./allBenchmarks/relational/blockmap_20_02-0003.uai
./allBenchmarks/relational/blockmap_05_02-0003.uai
./allBenchmarks/relational/blockmap_05_01-0006.uai
./allBenchmarks/relational/blockmap_05_02-0013.uai
./allBenchmarks/relational/blockmap_10_01-0000.uai
./allBenchmarks/relational/blockmap_20_01-0015.uai
./allBenchmarks/relational/blockmap_15_02-0004.uai
./allBenchmarks/relational/blockmap_15_03-0001.uai
./allBenchmarks/relational/mastermind_04_08_03-0013.uai
./allBenchmarks/relational/mastermind_03_08_05-0010.uai
./allBenchmarks/relational/mastermind_05_08_03-0002.uai
./allBenchmarks/relational/fs-16.uai
./allBenchmarks/relational/blockmap_15_03-0015.uai
./allBenchmarks/relational/blockmap_20_01-0007.uai
./allBenchmarks/relational/blockmap_15_02-0011.uai
./allBenchmarks/relational/mastermind_04_08_04-0002.uai
./allBenchmarks/relational/mastermind_03_08_03-0000.uai
./allBenchmarks/relational/blockmap_15_01-0008.uai
./allBenchmarks/relational/blockmap_10_02-0009.uai
./allBenchmarks/relational/blockmap_05_01-0014.uai
./allBenchmarks/relational/mastermind_04_08_03-0003.uai
./allBenchmarks/relational/mastermind_06_08_03-0012.uai
./allBenchmarks/relational/mastermind_04_08_03-0014.uai
./allBenchmarks/relational/blockmap_05_01-0007.uai
./allBenchmarks/relational/blockmap_20_01-0003.uai
./allBenchmarks/relational/mastermind_10_08_03-0013.uai
./allBenchmarks/relational/mastermind_04_08_04-0004.uai
./allBenchmarks/relational/blockmap_05_01-0005.uai
./allBenchmarks/relational/mastermind_04_08_04-0006.uai
./allBenchmarks/relational/blockmap_05_03-0008.uai
./allBenchmarks/relational/blockmap_22_03-0000.uai
./allBenchmarks/relational/mastermind_10_08_03-0009.uai
./allBenchmarks/relational/blockmap_20_03-0001.uai
./allBenchmarks/relational/mastermind_03_08_04-0009.uai
./allBenchmarks/relational/blockmap_22_02-0007.uai
./allBenchmarks/relational/blockmap_10_01-0005.uai
./allBenchmarks/relational/mastermind_04_08_03-0001.uai