unexplained-errors

Unexplained errors domain problem algorithm error fast-downward_wall_clock_time raw_memory
runs-05501-05600/05552 hiking-sat14-strips ptesting-3-3-8.pddl issue383-v1-lama-first unexplained-crash 27.84 ?
runs-06301-06400/06350 openstacks-strips p16.pddl issue383-v1-lama-first unexplained-crash 27.09 ?
runs-08301-08400/08366 miconic-fulladl f9-4.pddl issue383-v1-seq-sat-lama-2011 unexplained-crash 31.12 ?

info

algorithm local_revision global_revision revision_summary build_options driver_options
issue383-base-lama-first issue383-base 6a3f0d4799ba 6a3f0d4799ba (issue383) issue383-base [u'-j16'] [u'--validate', u'--search-time-limit', u'30m', u'--search-memory-limit', u'2G', u'--alias', u'lama-first']
issue383-base-seq-sat-lama-2011 issue383-base 6a3f0d4799ba 6a3f0d4799ba (issue383) issue383-base [u'-j16'] [u'--validate', u'--search-time-limit', u'30m', u'--search-memory-limit', u'2G', u'--alias', u'seq-sat-lama-2011']
issue383-v1-lama-first issue383-v1 de5375d7cd14 de5375d7cd14 (issue383) issue383-v1 [u'-j16'] [u'--validate', u'--search-time-limit', u'30m', u'--search-memory-limit', u'2G', u'--alias', u'lama-first']
issue383-v1-seq-sat-lama-2011 issue383-v1 de5375d7cd14 de5375d7cd14 (issue383) issue383-v1 [u'-j16'] [u'--validate', u'--search-time-limit', u'30m', u'--search-memory-limit', u'2G', u'--alias', u'seq-sat-lama-2011']

summary

Summary issue383-base-lama-first issue383-base-seq-sat-lama-2011 issue383-v1-lama-first issue383-v1-seq-sat-lama-2011
cost - Sum 59015753.00 53584647.00 59013814.00 53584598.00
coverage - Sum 2221 2221 2185 2184
evaluations - Geometric mean 2473.87 11991.38 2361.94 11424.37
expansions - Geometric mean 0.00 0.00 0.00 0.00
generated - Geometric mean 0.00 0.00 0.00 0.00
memory - Sum 121077296 2391491496 121219792 2359654804
quality - Sum 1846.37 2208.51 1834.25 2174.73
score_evaluations - Sum 1619.48 1275.26 1627.70 1279.55
score_expansions - Sum 1759.03 1429.25 1767.38 1433.09
score_generated - Sum 1132.38 799.13 1141.88 805.61
score_memory - Sum 1326.36 465.63 1306.66 469.57
score_search_time - Sum 2009.72 1538.13 2014.33 1541.62
score_total_time - Sum 1984.28 486.28 1986.89 525.88
search_time - Geometric mean 0.53 9.29 0.53 9.21
total_time - Geometric mean 0.05 5.70 0.05 5.46

cost

cost issue383-base-lama-first issue383-base-seq-sat-lama-2011 issue383-v1-lama-first issue383-v1-seq-sat-lama-2011
airport (32) 3327.00 3117.00 3327.00 3117.00
assembly (30) 2078.00 2028.00 2078.00 2028.00
barman-sat11-strips (20) 7985.00 7980.00 7985.00 7980.00
barman-sat14-strips (19) 4196.00 4183.00 4196.00 4183.00
blocks (35) 1894.00 1016.00 1666.00 986.00
cavediving-14-adl (7) 770.00 770.00 770.00 770.00
childsnack-sat14-strips (5) 345.00 333.00 345.00 333.00
citycar-sat14-adl (3) 507.00 288.00 507.00 288.00
depot (19) 1113.00 748.00 991.00 703.00
driverlog (20) 1248.00 877.00 1248.00 877.00
elevators-sat08-strips (30) 13782.00 12578.00 13796.00 13157.00
elevators-sat11-strips (20) 23977.00 23977.00 23677.00 23677.00
floortile-sat11-strips (6) 762.00 635.00 762.00 635.00
floortile-sat14-strips (2) 186.00 104.00 186.00 104.00
freecell (79) 4587.00 3917.00 4587.00 3917.00
ged-sat14-strips (20) 881.00 577.00 881.00 577.00
grid (5) 337.00 262.00 332.00 254.00
gripper (20) 1360.00 1360.00 1360.00 1360.00
hiking-sat14-strips (19) 1126.00 815.00 1212.00 820.00
logistics00 (28) 1192.00 1173.00 1181.00 1168.00
logistics98 (34) 3348.00 3278.00 3315.00 3245.00
miconic (150) 10521.00 8100.00 9255.00 7708.00
miconic-fulladl (119) 6288.00 4666.00 6337.00 4827.00
miconic-simpleadl (150) 8626.00 6117.00 8634.00 6111.00
movie (30) 240.00 210.00 240.00 210.00
mprime (35) 302.00 260.00 302.00 260.00
mystery (19) 151.00 134.00 151.00 134.00
nomystery-sat11-strips (11) 338.00 319.00 338.00 320.00
openstacks (30) 4764.00 4747.00 4764.00 4747.00
openstacks-sat08-adl (30) 664.00 276.00 664.00 276.00
openstacks-sat08-strips (30) 760.00 286.00 760.00 286.00
openstacks-sat11-strips (20) 2116.00 1568.00 2116.00 1566.00
openstacks-sat14-strips (20) 3864.00 3263.00 3864.00 3263.00
openstacks-strips (29) 4676.00 4657.00 4676.00 4657.00
optical-telegraphs (4) 196.00 196.00 196.00 196.00
parcprinter-08-strips (21) 27652136.00 25318665.00 27652136.00 25318665.00
parcprinter-sat11-strips (12) 30804939.00 27744122.00 30804939.00 27744122.00
parking-sat11-strips (20) 1560.00 1211.00 1560.00 1211.00
parking-sat14-strips (20) 2060.00 1571.00 2060.00 1573.00
pathways (23) 2922.00 2882.00 2922.00 2882.00
pathways-noneg (23) 2922.00 2882.00 2922.00 2882.00
pegsol-08-strips (30) 394.00 238.00 397.00 238.00
pegsol-sat11-strips (20) 327.00 205.00 331.00 205.00
philosophers (40) 10284.00 7836.00 10284.00 7836.00
pipesworld-notankage (43) 2686.00 1054.00 2686.00 1054.00
pipesworld-tankage (42) 2286.00 1524.00 2294.00 1524.00
psr-large (38) 1383.00 1188.00 1383.00 1188.00
psr-middle (50) 591.00 429.00 591.00 429.00
psr-small (50) 910.00 894.00 910.00 894.00
rovers (40) 4349.00 4030.00 4349.00 4030.00
satellite (36) 4918.00 4562.00 4918.00 4562.00
scanalyzer-08-strips (30) 2040.00 1416.00 1842.00 1430.00
scanalyzer-sat11-strips (20) 1745.00 1173.00 1559.00 1187.00
schedule (150) 5188.00 4908.00 5162.00 4896.00
sokoban-sat08-strips (26) 1499.00 1011.00 1633.00 1015.00
sokoban-sat11-strips (17) 1173.00 761.00 1303.00 765.00
storage (19) 458.00 309.00 458.00 309.00
tetris-sat14-strips (13) 1871.00 1816.00 1871.00 1816.00
thoughtful-sat14-strips (16) 1604.00 1483.00 1604.00 1483.00
tidybot-sat11-strips (17) 1331.00 896.00 1331.00 896.00
tpp (30) 3616.00 3254.00 3616.00 3254.00
transport-sat08-strips (30) 70803.00 66343.00 70803.00 66343.00
transport-sat11-strips (18) 79125.00 75378.00 79125.00 75378.00
transport-sat14-strips (13) 63913.00 63044.00 63913.00 63044.00
trucks (15) 515.00 456.00 515.00 456.00
trucks-strips (14) 472.00 411.00 472.00 411.00
visitall-sat11-strips (20) 28853.00 27840.00 28853.00 27840.00
visitall-sat14-strips (20) 74423.00 72965.00 74423.00 72965.00
woodworking-sat08-strips (30) 29935.00 29345.00 29935.00 29345.00
woodworking-sat11-strips (20) 33305.00 33070.00 33305.00 33070.00
zenotravel (20) 710.00 660.00 710.00 660.00
Sum (2176) 59015753.00 53584647.00 59013814.00 53584598.00

Only instances where all algorithms have a value for "cost" are considered. Each table entry gives the sum of "cost" for that domain. The last row reports the sum across all domains.

airport

cost issue383-base-lama-first issue383-base-seq-sat-lama-2011 issue383-v1-lama-first issue383-v1-seq-sat-lama-2011
p01-airport1-p1.pddl 8.00 8.00 8.00 8.00
p02-airport1-p1.pddl 9.00 9.00 9.00 9.00
p03-airport1-p2.pddl 17.00 17.00 17.00 17.00
p04-airport2-p1.pddl 20.00 20.00 20.00 20.00
p05-airport2-p1.pddl 21.00 21.00 21.00 21.00
p06-airport2-p2.pddl 41.00 41.00 41.00 41.00
p07-airport2-p2.pddl 43.00 41.00 43.00 41.00
p08-airport2-p3.pddl 64.00 62.00 64.00 62.00
p09-airport2-p4.pddl 75.00 71.00 75.00 71.00
p10-airport3-p1.pddl 18.00 18.00 18.00 18.00
p11-airport3-p1.pddl 21.00 21.00 21.00 21.00
p12-airport3-p2.pddl 39.00 39.00 39.00 39.00
p13-airport3-p2.pddl 37.00 37.00 37.00 37.00
p14-airport3-p3.pddl 62.00 60.00 62.00 60.00
p15-airport3-p3.pddl 60.00 58.00 60.00 58.00
p16-airport3-p4.pddl 83.00 79.00 83.00 79.00
p17-airport3-p5.pddl 92.00 88.00 92.00 88.00
p18-airport3-p6.pddl 111.00 111.00 111.00 111.00
p19-airport3-p6.pddl 92.00 90.00 92.00 90.00
p20-airport3-p7.pddl 121.00 119.00 121.00 119.00
p21-airport4halfMUC-p2.pddl 101.00 101.00 101.00 101.00
p22-airport4halfMUC-p3.pddl 148.00 148.00 148.00 148.00
p23-airport4halfMUC-p4.pddl 168.00 168.00 168.00 168.00
p24-airport4halfMUC-p4.pddl 162.00 162.00 162.00 162.00
p25-airport4halfMUC-p5.pddl 214.00 214.00 214.00 214.00
p26-airport4halfMUC-p6.pddl None None None None
p27-airport4halfMUC-p6.pddl None None None None
p28-airport4halfMUC-p7.pddl None None None None
p29-airport4halfMUC-p8.pddl None None None None
p30-airport4halfMUC-p8.pddl None None None None
p31-airport4halfMUC-p9.pddl None None None None
p32-airport4halfMUC-p10.pddl None None None None
p33-airport4halfMUC-p10.pddl None None None None
p34-airport4halfMUC-p11.pddl None None None None
p35-airport4halfMUC-p12.pddl None None None None
p36-airport5MUC-p2.pddl 109.00 109.00 109.00 109.00
p37-airport5MUC-p3.pddl 144.00 144.00 144.00 144.00
p38-airport5MUC-p3.pddl 155.00 155.00 155.00 155.00
p39-airport5MUC-p4.pddl None None None None
p40-airport5MUC-p4.pddl 193.00 193.00 193.00 193.00
p41-airport5MUC-p4.pddl 365.00 179.00 365.00 179.00
p42-airport5MUC-p5.pddl None None None None
p43-airport5MUC-p5.pddl 303.00 303.00 303.00 303.00
p44-airport5MUC-p5.pddl 231.00 231.00 231.00 231.00
p45-airport5MUC-p6.pddl None None None None
p46-airport5MUC-p6.pddl None None None None
p47-airport5MUC-p8.pddl None None None None
p48-airport5MUC-p9.pddl None None None None
p49-airport5MUC-p10.pddl None None None None
p50-airport5MUC-p15.pddl None None None None

assembly

cost issue383-base-lama-first issue383-base-seq-sat-lama-2011 issue383-v1-lama-first issue383-v1-seq-sat-lama-2011
prob01.pddl 28.00 28.00 28.00 28.00
prob02.pddl 27.00 27.00 27.00 27.00
prob03.pddl 34.00 32.00 34.00 32.00
prob04.pddl 35.00 33.00 35.00 33.00
prob05.pddl 38.00 37.00 38.00 37.00
prob06.pddl 36.00 36.00 36.00 36.00
prob07.pddl 51.00 49.00 51.00 49.00
prob08.pddl 50.00 44.00 50.00 44.00
prob09.pddl 49.00 48.00 49.00 48.00
prob10.pddl 47.00 47.00 47.00 47.00
prob11.pddl 59.00 57.00 59.00 57.00
prob12.pddl 58.00 57.00 58.00 57.00
prob13.pddl 68.00 60.00 68.00 60.00
prob14.pddl 66.00 62.00 66.00 62.00
prob15.pddl 68.00 68.00 68.00 68.00
prob16.pddl 76.00 75.00 76.00 75.00
prob17.pddl 76.00 74.00 76.00 74.00
prob18.pddl 79.00 77.00 79.00 77.00
prob19.pddl 85.00 74.00 85.00 74.00
prob20.pddl 82.00 82.00 82.00 82.00
prob21.pddl 75.00 75.00 75.00 75.00
prob22.pddl 78.00 78.00 78.00 78.00
prob23.pddl 101.00 98.00 101.00 98.00
prob24.pddl 99.00 99.00 99.00 99.00
prob25.pddl 101.00 99.00 101.00 99.00
prob26.pddl 99.00 99.00 99.00 99.00
prob27.pddl 113.00 113.00 113.00 113.00
prob28.pddl 95.00 95.00 95.00 95.00
prob29.pddl 96.00 96.00 96.00 96.00
prob30.pddl 109.00 109.00 109.00 109.00

barman-sat11-strips

cost issue383-base-lama-first issue383-base-seq-sat-lama-2011 issue383-v1-lama-first issue383-v1-seq-sat-lama-2011
pfile06-021.pddl 310.00 310.00 310.00 310.00
pfile06-022.pddl 300.00 300.00 300.00 300.00
pfile06-023.pddl 330.00 329.00 330.00 329.00
pfile06-024.pddl 307.00 307.00 307.00 307.00
pfile07-025.pddl 342.00 342.00 342.00 342.00
pfile07-026.pddl 447.00 447.00 447.00 447.00
pfile07-027.pddl 317.00 317.00 317.00 317.00
pfile07-028.pddl 331.00 331.00 331.00 331.00
pfile08-029.pddl 395.00 395.00 395.00 395.00
pfile08-030.pddl 354.00 354.00 354.00 354.00
pfile08-031.pddl 465.00 465.00 465.00 465.00
pfile08-032.pddl 433.00 433.00 433.00 433.00
pfile09-033.pddl 504.00 504.00 504.00 504.00
pfile09-034.pddl 465.00 465.00 465.00 465.00
pfile09-035.pddl 451.00 447.00 451.00 447.00
pfile09-036.pddl 429.00 429.00 429.00 429.00
pfile10-037.pddl 441.00 441.00 441.00 441.00
pfile10-038.pddl 516.00 516.00 516.00 516.00
pfile10-039.pddl 441.00 441.00 441.00 441.00
pfile10-040.pddl 407.00 407.00 407.00 407.00

barman-sat14-strips

cost issue383-base-lama-first issue383-base-seq-sat-lama-2011 issue383-v1-lama-first issue383-v1-seq-sat-lama-2011
p1-11-4-15.pddl 240.00 240.00 240.00 240.00
p1-11-5-15.pddl 221.00 221.00 221.00 221.00
p1-11-5-16.pddl 168.00 168.00 168.00 168.00
p2-10-4-13.pddl 258.00 258.00 258.00 258.00
p2-11-4-15.pddl 204.00 204.00 204.00 204.00
p2-11-5-15.pddl 159.00 146.00 159.00 146.00
p2-11-5-16.pddl 218.00 218.00 218.00 218.00
p2-11-5-17.pddl 235.00 235.00 235.00 235.00
p3-10-4-13.pddl 223.00 223.00 223.00 223.00
p3-11-4-15.pddl 262.00 262.00 262.00 262.00
p3-11-5-15.pddl 222.00 222.00 222.00 222.00
p3-11-5-16.pddl 196.00 196.00 196.00 196.00
p3-11-5-17.pddl 310.00 310.00 310.00 310.00
p4-11-4-14.pddl 212.00 212.00 212.00 212.00
p4-11-4-15.pddl None None None None
p4-11-5-15.pddl 223.00 223.00 223.00 223.00
p5-10-4-13.pddl 203.00 203.00 203.00 203.00
p5-11-4-15.pddl 217.00 217.00 217.00 217.00
p5-11-5-15.pddl 238.00 238.00 238.00 238.00
p5-11-5-16.pddl 187.00 187.00 187.00 187.00

blocks

cost issue383-base-lama-first issue383-base-seq-sat-lama-2011 issue383-v1-lama-first issue383-v1-seq-sat-lama-2011
probBLOCKS-4-0.pddl 6.00 6.00 6.00 6.00
probBLOCKS-4-1.pddl 10.00 10.00 10.00 10.00
probBLOCKS-4-2.pddl 6.00 6.00 6.00 6.00
probBLOCKS-5-0.pddl 12.00 12.00 12.00 12.00
probBLOCKS-5-1.pddl 10.00 10.00 10.00 10.00
probBLOCKS-5-2.pddl 20.00 16.00 20.00 16.00
probBLOCKS-6-0.pddl 12.00 12.00 12.00 12.00
probBLOCKS-6-1.pddl 10.00 10.00 10.00 10.00
probBLOCKS-6-2.pddl 28.00 20.00 28.00 20.00
probBLOCKS-7-0.pddl 26.00 20.00 22.00 20.00
probBLOCKS-7-1.pddl 28.00 22.00 32.00 22.00
probBLOCKS-7-2.pddl 28.00 20.00 48.00 20.00
probBLOCKS-8-0.pddl 30.00 18.00 34.00 18.00
probBLOCKS-8-1.pddl 24.00 20.00 40.00 20.00
probBLOCKS-8-2.pddl 22.00 16.00 22.00 16.00
probBLOCKS-9-0.pddl 72.00 30.00 38.00 30.00
probBLOCKS-9-1.pddl 76.00 28.00 40.00 28.00
probBLOCKS-9-2.pddl 30.00 26.00 26.00 26.00
probBLOCKS-10-0.pddl 44.00 34.00 44.00 34.00
probBLOCKS-10-1.pddl 44.00 32.00 38.00 32.00
probBLOCKS-10-2.pddl 38.00 34.00 44.00 34.00
probBLOCKS-11-0.pddl 46.00 32.00 46.00 32.00
probBLOCKS-11-1.pddl 38.00 30.00 38.00 30.00
probBLOCKS-11-2.pddl 64.00 34.00 60.00 34.00
probBLOCKS-12-0.pddl 74.00 34.00 46.00 34.00
probBLOCKS-12-1.pddl 52.00 34.00 38.00 34.00
probBLOCKS-13-0.pddl 82.00 44.00 46.00 42.00
probBLOCKS-13-1.pddl 104.00 48.00 56.00 44.00
probBLOCKS-14-0.pddl 76.00 38.00 94.00 38.00
probBLOCKS-14-1.pddl 42.00 36.00 42.00 36.00
probBLOCKS-15-0.pddl 142.00 54.00 144.00 44.00
probBLOCKS-15-1.pddl 112.00 66.00 116.00 54.00
probBLOCKS-16-1.pddl 62.00 58.00 58.00 54.00
probBLOCKS-16-2.pddl 236.00 60.00 122.00 52.00
probBLOCKS-17-0.pddl 188.00 46.00 218.00 56.00

cavediving-14-adl

cost issue383-base-lama-first issue383-base-seq-sat-lama-2011 issue383-v1-lama-first issue383-v1-seq-sat-lama-2011
testing01.pddl None None None None
testing01_easy.pddl None None None None
testing02_easy.pddl None None None None
testing03_easy.pddl None None None None
testing04_easy.pddl None None None None
testing05A_easy.pddl 94.00 94.00 94.00 94.00
testing06A_easy.pddl 95.00 95.00 95.00 95.00
testing07_easy.pddl 131.00 131.00 131.00 131.00
testing08_easy.pddl 90.00 90.00 90.00 90.00
testing09_easy.pddl None None None None
testing10_easy.pddl None None None None
testing11_easy.pddl None None None None
testing12_easy.pddl None None None None
testing13_easy.pddl None None None None
testing14_easy.pddl None None None None
testing15_easy.pddl None None None None
testing16_easy.pddl None None None None
testing18_easy.pddl 131.00 131.00 131.00 131.00
testing18A_easy.pddl 131.00 131.00 131.00 131.00
testing20A_easy.pddl 98.00 98.00 98.00 98.00

childsnack-sat14-strips

cost issue383-base-lama-first issue383-base-seq-sat-lama-2011 issue383-v1-lama-first issue383-v1-seq-sat-lama-2011
child-snack_pfile05-2.pddl 57.00 49.00 57.00 49.00
child-snack_pfile05.pddl None None None None
child-snack_pfile06-2.pddl 61.00 61.00 61.00 61.00
child-snack_pfile07-2.pddl 66.00 66.00 66.00 66.00
child-snack_pfile08-2.pddl None None None None
child-snack_pfile08.pddl None None None None
child-snack_pfile09-2.pddl 75.00 71.00 75.00 71.00
child-snack_pfile09.pddl None None None None
child-snack_pfile10-2.pddl None None None None
child-snack_pfile10.pddl 86.00 86.00 86.00 86.00
child-snack_pfile11-2.pddl None None None None
child-snack_pfile11.pddl None None None None
child-snack_pfile12.pddl None None None None
child-snack_pfile13-2.pddl None None None None
child-snack_pfile13.pddl None None None None
child-snack_pfile14.pddl None None None None
child-snack_pfile15-2.pddl None None None None
child-snack_pfile16-2.pddl None None None None
child-snack_pfile19-2.pddl None None None None
child-snack_pfile19.pddl None None None None

citycar-sat14-adl

cost issue383-base-lama-first issue383-base-seq-sat-lama-2011 issue383-v1-lama-first issue383-v1-seq-sat-lama-2011
p3-2-2-0-1.pddl 130.00 70.00 130.00 70.00
p3-3-2-0-1.pddl 207.00 118.00 207.00 118.00
p3-4-2-0-1.pddl 170.00 100.00 170.00 100.00
p3-5-2-0-1.pddl None None None None
p3-5-2-0-2.pddl None None None None
p4-2-2-0-1.pddl None None None None
p4-2-3-0-1.pddl None None None None
p4-2-3-0-2.pddl None None None None
p4-3-2-0-1.pddl None None None None
p4-3-2-0-2.pddl None None None None
p4-3-3-0-1.pddl None None None None
p4-3-3-0-2.pddl None None None None
p4-4-2-0-1.pddl None None None None
p4-4-2-0-2.pddl None None None None
p4-4-3-0-1.pddl None None None None
p4-4-3-0-2.pddl None None None None
p4-5-2-0-1.pddl None None None None
p4-5-2-0-2.pddl None None None None
p4-5-3-0-1.pddl None None None None
p4-5-3-0-2.pddl None None None None

depot

cost issue383-base-lama-first issue383-base-seq-sat-lama-2011 issue383-v1-lama-first issue383-v1-seq-sat-lama-2011
p01.pddl 10.00 10.00 10.00 10.00
p02.pddl 16.00 15.00 16.00 15.00
p03.pddl 33.00 27.00 33.00 27.00
p04.pddl 48.00 30.00 48.00 30.00
p05.pddl 218.00 45.00 75.00 45.00
p06.pddl None None None None
p07.pddl 21.00 21.00 21.00 21.00
p08.pddl 59.00 33.00 59.00 33.00
p09.pddl 99.00 68.00 111.00 68.00
p10.pddl 34.00 24.00 34.00 24.00
p11.pddl 76.00 48.00 76.00 48.00
p12.pddl 91.00 71.00 101.00 71.00
p13.pddl 29.00 25.00 29.00 25.00
p14.pddl 42.00 30.00 42.00 30.00
p15.pddl 139.00 116.00 141.00 71.00
p16.pddl 27.00 27.00 27.00 27.00
p17.pddl 26.00 25.00 26.00 25.00
p18.pddl 68.00 60.00 68.00 60.00
p19.pddl 43.00 39.00 40.00 39.00
p20.pddl 149.00 149.00 None None
p21.pddl 34.00 34.00 34.00 34.00
p22.pddl None None None None

driverlog

cost issue383-base-lama-first issue383-base-seq-sat-lama-2011 issue383-v1-lama-first issue383-v1-seq-sat-lama-2011
p01.pddl 7.00 7.00 7.00 7.00
p02.pddl 25.00 19.00 25.00 19.00
p03.pddl 13.00 12.00 13.00 12.00
p04.pddl 19.00 16.00 19.00 16.00
p05.pddl 23.00 18.00 23.00 18.00
p06.pddl 13.00 11.00 13.00 11.00
p07.pddl 17.00 13.00 17.00 13.00
p08.pddl 27.00 24.00 27.00 24.00
p09.pddl 59.00 22.00 59.00 22.00
p10.pddl 20.00 17.00 20.00 17.00
p11.pddl 26.00 19.00 26.00 19.00
p12.pddl 40.00 36.00 40.00 36.00
p13.pddl 30.00 26.00 30.00 26.00
p14.pddl 46.00 28.00 46.00 28.00
p15.pddl 45.00 32.00 45.00 32.00
p16.pddl 158.00 100.00 158.00 100.00
p17.pddl 134.00 93.00 134.00 93.00
p18.pddl 124.00 107.00 124.00 107.00
p19.pddl 212.00 153.00 212.00 153.00
p20.pddl 210.00 124.00 210.00 124.00

elevators-sat08-strips

cost issue383-base-lama-first issue383-base-seq-sat-lama-2011 issue383-v1-lama-first issue383-v1-seq-sat-lama-2011
p01.pddl 66.00 52.00 66.00 52.00
p02.pddl 78.00 53.00 103.00 53.00
p03.pddl 129.00 70.00 129.00 70.00
p04.pddl 180.00 90.00 180.00 90.00
p05.pddl 166.00 73.00 166.00 73.00
p06.pddl 138.00 138.00 138.00 138.00
p07.pddl 165.00 165.00 165.00 165.00
p08.pddl 192.00 192.00 150.00 150.00
p09.pddl 195.00 99.00 195.00 99.00
p10.pddl 314.00 314.00 314.00 314.00
p11.pddl 162.00 115.00 162.00 91.00
p12.pddl 334.00 130.00 296.00 130.00
p13.pddl 298.00 199.00 312.00 312.00
p14.pddl 346.00 346.00 346.00 346.00
p15.pddl 677.00 287.00 652.00 652.00
p16.pddl 397.00 278.00 386.00 386.00
p17.pddl 543.00 543.00 578.00 578.00
p18.pddl 501.00 501.00 392.00 392.00
p19.pddl 532.00 564.00 564.00 564.00
p20.pddl 619.00 619.00 592.00 592.00
p21.pddl 259.00 259.00 309.00 309.00
p22.pddl 411.00 411.00 411.00 411.00
p23.pddl 502.00 502.00 502.00 502.00
p24.pddl 962.00 962.00 962.00 962.00
p25.pddl 902.00 902.00 1048.00 1048.00
p26.pddl 741.00 741.00 741.00 741.00
p27.pddl 1071.00 1071.00 824.00 824.00
p28.pddl 994.00 994.00 965.00 965.00
p29.pddl 896.00 896.00 1121.00 1121.00
p30.pddl 1012.00 1012.00 1027.00 1027.00

elevators-sat11-strips

cost issue383-base-lama-first issue383-base-seq-sat-lama-2011 issue383-v1-lama-first issue383-v1-seq-sat-lama-2011
p01.pddl 346.00 346.00 346.00 346.00
p02.pddl 962.00 962.00 962.00 962.00
p03.pddl 741.00 741.00 741.00 741.00
p04.pddl 619.00 619.00 592.00 592.00
p05.pddl 501.00 501.00 392.00 392.00
p06.pddl 1071.00 1071.00 824.00 824.00
p07.pddl 902.00 902.00 1048.00 1048.00
p08.pddl 994.00 994.00 965.00 965.00
p09.pddl 896.00 896.00 1121.00 1121.00
p10.pddl 1012.00 1012.00 1027.00 1027.00
p11.pddl 1366.00 1366.00 1366.00 1366.00
p12.pddl 1110.00 1110.00 1110.00 1110.00
p13.pddl 1413.00 1413.00 1419.00 1419.00
p14.pddl 1608.00 1608.00 1409.00 1409.00
p15.pddl 1227.00 1227.00 1116.00 1116.00
p16.pddl 1302.00 1302.00 1477.00 1477.00
p17.pddl 1758.00 1758.00 1689.00 1689.00
p18.pddl 1749.00 1749.00 1749.00 1749.00
p19.pddl 2507.00 2507.00 2507.00 2507.00
p20.pddl 1893.00 1893.00 1817.00 1817.00

floortile-sat11-strips

cost issue383-base-lama-first issue383-base-seq-sat-lama-2011 issue383-v1-lama-first issue383-v1-seq-sat-lama-2011
seq-p01-001.pddl 118.00 49.00 118.00 49.00
seq-p01-002.pddl 103.00 52.00 103.00 52.00
seq-p02-003.pddl 136.00 129.00 136.00 129.00
seq-p02-004.pddl 150.00 150.00 150.00 150.00
seq-p03-005.pddl 127.00 127.00 127.00 127.00
seq-p03-006.pddl 128.00 128.00 128.00 128.00
seq-p04-007.pddl None None None None
seq-p04-008.pddl None None None None
seq-p05-009.pddl None None None None
seq-p05-010.pddl None None None None
seq-p06-011.pddl None None None None
seq-p06-012.pddl None None None None
seq-p07-013.pddl None None None None
seq-p07-014.pddl None None None None
seq-p08-015.pddl None None None None
seq-p08-016.pddl None None None None
seq-p09-017.pddl None None None None
seq-p09-018.pddl None None None None
seq-p10-019.pddl None None None None
seq-p10-020.pddl None None None None

floortile-sat14-strips

cost issue383-base-lama-first issue383-base-seq-sat-lama-2011 issue383-v1-lama-first issue383-v1-seq-sat-lama-2011
p01-4-3-2.pddl 97.00 56.00 97.00 56.00
p01-5-4-2.pddl None None None None
p01-5-5-2.pddl None None None None
p01-6-4-2.pddl None None None None
p01-6-5-2.pddl None None None None
p01-6-5-3.pddl None None None None
p02-5-4-2.pddl None None None None
p02-6-4-2.pddl None None None None
p02-6-5-2.pddl None None None None
p02-6-5-3.pddl None None None None
p03-6-4-2.pddl None None None None
p03-6-5-2.pddl None None None None
p03-6-5-3.pddl None None None None
p04-5-4-2.pddl None None None None
p04-5-5-2.pddl None None None None
p04-6-5-2.pddl None None None None
p04-6-5-3.pddl None None None None
p05-4-3-2.pddl 89.00 48.00 89.00 48.00
p05-6-5-2.pddl None None None None
p05-6-5-3.pddl None None None None

freecell

cost issue383-base-lama-first issue383-base-seq-sat-lama-2011 issue383-v1-lama-first issue383-v1-seq-sat-lama-2011
p01.pddl 8.00 8.00 8.00 8.00
p02.pddl 15.00 14.00 15.00 14.00
p03.pddl 19.00 18.00 19.00 18.00
p04.pddl 29.00 26.00 29.00 26.00
p05.pddl 35.00 30.00 35.00 30.00
p06.pddl 45.00 44.00 45.00 44.00
p07.pddl 60.00 41.00 60.00 41.00
p08.pddl 51.00 50.00 51.00 50.00
p09.pddl 50.00 50.00 50.00 50.00
p10.pddl 69.00 68.00 69.00 68.00
p11.pddl 95.00 56.00 95.00 56.00
p12.pddl 58.00 50.00 58.00 50.00
p13.pddl 73.00 72.00 73.00 72.00
p14.pddl 75.00 55.00 75.00 55.00
p15.pddl 85.00 84.00 85.00 84.00
p16.pddl 75.00 73.00 75.00 73.00
p17.pddl 102.00 66.00 102.00 66.00
p18.pddl 111.00 80.00 111.00 80.00
p19.pddl 162.00 116.00 162.00 116.00
p20.pddl 101.00 89.00 101.00 89.00
probfreecell-2-1.pddl 9.00 9.00 9.00 9.00
probfreecell-2-2.pddl 8.00 8.00 8.00 8.00
probfreecell-2-3.pddl 8.00 8.00 8.00 8.00
probfreecell-2-4.pddl 8.00 8.00 8.00 8.00
probfreecell-2-5.pddl 9.00 9.00 9.00 9.00
probfreecell-3-1.pddl 14.00 14.00 14.00 14.00
probfreecell-3-2.pddl 13.00 13.00 13.00 13.00
probfreecell-3-3.pddl 13.00 12.00 13.00 12.00
probfreecell-3-4.pddl 12.00 12.00 12.00 12.00
probfreecell-3-5.pddl 14.00 13.00 14.00 13.00
probfreecell-4-1.pddl 21.00 19.00 21.00 19.00
probfreecell-4-2.pddl 17.00 17.00 17.00 17.00
probfreecell-4-3.pddl 18.00 18.00 18.00 18.00
probfreecell-4-4.pddl 19.00 18.00 19.00 18.00
probfreecell-4-5.pddl 19.00 18.00 19.00 18.00
probfreecell-5-1.pddl 29.00 24.00 29.00 24.00
probfreecell-5-2.pddl 24.00 23.00 24.00 23.00
probfreecell-5-3.pddl 27.00 24.00 27.00 24.00
probfreecell-5-4.pddl 27.00 23.00 27.00 23.00
probfreecell-5-5.pddl 26.00 26.00 26.00 26.00
probfreecell-6-1.pddl 39.00 39.00 39.00 39.00
probfreecell-6-2.pddl 30.00 28.00 30.00 28.00
probfreecell-6-3.pddl 32.00 32.00 32.00 32.00
probfreecell-6-4.pddl 32.00 32.00 32.00 32.00
probfreecell-6-5.pddl 35.00 34.00 35.00 34.00
probfreecell-7-1.pddl 45.00 44.00 45.00 44.00
probfreecell-7-2.pddl 38.00 37.00 38.00 37.00
probfreecell-7-3.pddl 38.00 38.00 38.00 38.00
probfreecell-7-4.pddl 52.00 37.00 52.00 37.00
probfreecell-7-5.pddl 48.00 43.00 48.00 43.00
probfreecell-8-1.pddl 55.00 54.00 55.00 54.00
probfreecell-8-2.pddl 45.00 44.00 45.00 44.00
probfreecell-8-3.pddl 44.00 42.00 44.00 42.00
probfreecell-8-4.pddl 57.00 45.00 57.00 45.00
probfreecell-8-5.pddl 53.00 52.00 53.00 52.00
probfreecell-9-1.pddl 63.00 61.00 63.00 61.00
probfreecell-9-2.pddl 54.00 47.00 54.00 47.00
probfreecell-9-3.pddl 55.00 53.00 55.00 53.00
probfreecell-9-4.pddl 63.00 63.00 63.00 63.00
probfreecell-9-5.pddl 71.00 56.00 71.00 56.00
probfreecell-10-1.pddl 109.00 85.00 109.00 85.00
probfreecell-10-2.pddl 64.00 64.00 64.00 64.00
probfreecell-10-3.pddl 61.00 60.00 61.00 60.00
probfreecell-10-4.pddl 77.00 75.00 77.00 75.00
probfreecell-10-5.pddl 80.00 76.00 80.00 76.00
probfreecell-11-1.pddl 92.00 92.00 92.00 92.00
probfreecell-11-2.pddl 81.00 59.00 81.00 59.00
probfreecell-11-3.pddl 74.00 73.00 74.00 73.00
probfreecell-11-4.pddl 90.00 87.00 90.00 87.00
probfreecell-11-5.pddl 128.00 76.00 128.00 76.00
probfreecell-12-1.pddl None None None None
probfreecell-12-2.pddl 89.00 64.00 89.00 64.00
probfreecell-12-3.pddl 81.00 80.00 81.00 80.00
probfreecell-12-4.pddl 113.00 104.00 113.00 104.00
probfreecell-12-5.pddl 117.00 112.00 117.00 112.00
probfreecell-13-1.pddl 152.00 91.00 152.00 91.00
probfreecell-13-2.pddl 153.00 110.00 153.00 110.00
probfreecell-13-3.pddl 112.00 78.00 112.00 78.00
probfreecell-13-4.pddl 147.00 145.00 147.00 145.00
probfreecell-13-5.pddl 165.00 99.00 165.00 99.00

ged-sat14-strips

cost issue383-base-lama-first issue383-base-seq-sat-lama-2011 issue383-v1-lama-first issue383-v1-seq-sat-lama-2011
d-3-6.pddl 25.00 17.00 25.00 17.00
d-9-5.pddl 22.00 20.00 22.00 20.00
d-10-1.pddl 22.00 22.00 22.00 22.00
d-10-2.pddl 23.00 23.00 23.00 23.00
d-10-3.pddl 39.00 25.00 39.00 25.00
d-10-4.pddl 24.00 22.00 24.00 22.00
d-10-5.pddl 47.00 26.00 47.00 26.00
d-10-6.pddl 48.00 25.00 48.00 25.00
d-11-1.pddl 31.00 19.00 31.00 19.00
d-11-3.pddl 35.00 20.00 35.00 20.00
d-11-5.pddl 34.00 34.00 34.00 34.00
d-11-6.pddl 39.00 26.00 39.00 26.00
d-12-2.pddl 46.00 46.00 46.00 46.00
d-12-3.pddl 77.00 37.00 77.00 37.00
d-12-5.pddl 70.00 33.00 70.00 33.00
d-12-6.pddl 63.00 30.00 63.00 30.00
d-12-7.pddl 60.00 33.00 60.00 33.00
d-12-8.pddl 81.00 36.00 81.00 36.00
d-12-9.pddl 58.00 58.00 58.00 58.00
d-12-11.pddl 37.00 25.00 37.00 25.00

grid

cost issue383-base-lama-first issue383-base-seq-sat-lama-2011 issue383-v1-lama-first issue383-v1-seq-sat-lama-2011
prob01.pddl 14.00 14.00 14.00 14.00
prob02.pddl 32.00 26.00 27.00 26.00
prob03.pddl 75.00 54.00 75.00 54.00
prob04.pddl 49.00 36.00 49.00 36.00
prob05.pddl 167.00 132.00 167.00 124.00

gripper

cost issue383-base-lama-first issue383-base-seq-sat-lama-2011 issue383-v1-lama-first issue383-v1-seq-sat-lama-2011
prob01.pddl 11.00 11.00 11.00 11.00
prob02.pddl 17.00 17.00 17.00 17.00
prob03.pddl 23.00 23.00 23.00 23.00
prob04.pddl 29.00 29.00 29.00 29.00
prob05.pddl 35.00 35.00 35.00 35.00
prob06.pddl 41.00 41.00 41.00 41.00
prob07.pddl 47.00 47.00 47.00 47.00
prob08.pddl 53.00 53.00 53.00 53.00
prob09.pddl 59.00 59.00 59.00 59.00
prob10.pddl 65.00 65.00 65.00 65.00
prob11.pddl 71.00 71.00 71.00 71.00
prob12.pddl 77.00 77.00 77.00 77.00
prob13.pddl 83.00 83.00 83.00 83.00
prob14.pddl 89.00 89.00 89.00 89.00
prob15.pddl 95.00 95.00 95.00 95.00
prob16.pddl 101.00 101.00 101.00 101.00
prob17.pddl 107.00 107.00 107.00 107.00
prob18.pddl 113.00 113.00 113.00 113.00
prob19.pddl 119.00 119.00 119.00 119.00
prob20.pddl 125.00 125.00 125.00 125.00

hiking-sat14-strips

cost issue383-base-lama-first issue383-base-seq-sat-lama-2011 issue383-v1-lama-first issue383-v1-seq-sat-lama-2011
ptesting-1-2-7.pddl 61.00 38.00 61.00 38.00
ptesting-1-2-8.pddl 71.00 45.00 71.00 45.00
ptesting-2-2-6.pddl 57.00 30.00 59.00 30.00
ptesting-2-2-7.pddl 61.00 34.00 66.00 34.00
ptesting-2-2-8.pddl 76.00 43.00 81.00 42.00
ptesting-2-3-6.pddl 41.00 28.00 44.00 28.00
ptesting-2-3-7.pddl 58.00 35.00 55.00 55.00
ptesting-2-3-8.pddl 71.00 42.00 75.00 41.00
ptesting-2-4-5.pddl 41.00 23.00 36.00 23.00
ptesting-2-4-6.pddl 57.00 31.00 57.00 30.00
ptesting-2-4-7.pddl 55.00 35.00 56.00 35.00
ptesting-2-4-8.pddl 68.00 42.00 71.00 41.00
ptesting-3-3-5.pddl 38.00 37.00 39.00 32.00
ptesting-3-3-6.pddl 69.00 69.00 89.00 37.00
ptesting-3-3-7.pddl 80.00 80.00 103.00 88.00
ptesting-3-3-8.pddl None None None 85.00
ptesting-3-4-5.pddl 42.00 33.00 36.00 26.00
ptesting-3-4-6.pddl 53.00 53.00 49.00 49.00
ptesting-3-4-7.pddl 59.00 55.00 74.00 67.00
ptesting-3-4-8.pddl 68.00 62.00 90.00 79.00

logistics00

cost issue383-base-lama-first issue383-base-seq-sat-lama-2011 issue383-v1-lama-first issue383-v1-seq-sat-lama-2011
probLOGISTICS-4-0.pddl 20.00 20.00 20.00 20.00
probLOGISTICS-4-1.pddl 19.00 19.00 19.00 19.00
probLOGISTICS-4-2.pddl 15.00 15.00 15.00 15.00
probLOGISTICS-5-0.pddl 27.00 27.00 27.00 27.00
probLOGISTICS-5-1.pddl 17.00 17.00 17.00 17.00
probLOGISTICS-5-2.pddl 8.00 8.00 8.00 8.00
probLOGISTICS-6-0.pddl 25.00 25.00 25.00 25.00
probLOGISTICS-6-1.pddl 14.00 14.00 14.00 14.00
probLOGISTICS-6-2.pddl 25.00 25.00 25.00 25.00
probLOGISTICS-6-9.pddl 24.00 24.00 24.00 24.00
probLOGISTICS-7-0.pddl 38.00 36.00 37.00 36.00
probLOGISTICS-7-1.pddl 44.00 44.00 44.00 44.00
probLOGISTICS-8-0.pddl 32.00 31.00 32.00 31.00
probLOGISTICS-8-1.pddl 44.00 44.00 44.00 44.00
probLOGISTICS-9-0.pddl 38.00 36.00 38.00 36.00
probLOGISTICS-9-1.pddl 30.00 30.00 30.00 30.00
probLOGISTICS-10-0.pddl 48.00 47.00 47.00 46.00
probLOGISTICS-10-1.pddl 44.00 42.00 43.00 42.00
probLOGISTICS-11-0.pddl 52.00 49.00 49.00 48.00
probLOGISTICS-11-1.pddl 64.00 63.00 60.00 60.00
probLOGISTICS-12-0.pddl 45.00 42.00 44.00 42.00
probLOGISTICS-12-1.pddl 74.00 72.00 74.00 72.00
probLOGISTICS-13-0.pddl 81.00 80.00 81.00 80.00
probLOGISTICS-13-1.pddl 66.00 66.00 66.00 66.00
probLOGISTICS-14-0.pddl 62.00 62.00 62.00 62.00
probLOGISTICS-14-1.pddl 83.00 82.00 83.00 82.00
probLOGISTICS-15-0.pddl 84.00 84.00 84.00 84.00
probLOGISTICS-15-1.pddl 69.00 69.00 69.00 69.00

logistics98

cost issue383-base-lama-first issue383-base-seq-sat-lama-2011 issue383-v1-lama-first issue383-v1-seq-sat-lama-2011
prob01.pddl 27.00 26.00 27.00 26.00
prob02.pddl 33.00 33.00 33.00 33.00
prob03.pddl 57.00 56.00 56.00 55.00
prob04.pddl 65.00 61.00 63.00 61.00
prob05.pddl 23.00 22.00 23.00 22.00
prob06.pddl 76.00 76.00 77.00 77.00
prob07.pddl 35.00 34.00 35.00 34.00
prob08.pddl 47.00 44.00 46.00 43.00
prob09.pddl 98.00 88.00 96.00 88.00
prob10.pddl 113.00 113.00 113.00 113.00
prob11.pddl 31.00 30.00 31.00 30.00
prob12.pddl 41.00 41.00 41.00 41.00
prob13.pddl 77.00 69.00 74.00 69.00
prob14.pddl 99.00 96.00 99.00 96.00
prob15.pddl 98.00 98.00 97.00 97.00
prob16.pddl 56.00 56.00 56.00 56.00
prob17.pddl 44.00 44.00 44.00 44.00
prob18.pddl 181.00 173.00 179.00 170.00
prob19.pddl 165.00 157.00 165.00 157.00
prob20.pddl 162.00 164.00 151.00 150.00
prob21.pddl 111.00 108.00 111.00 109.00
prob22.pddl 322.00 319.00 324.00 319.00
prob23.pddl 125.00 117.00 125.00 117.00
prob24.pddl 42.00 41.00 42.00 41.00
prob25.pddl 208.00 208.00 196.00 196.00
prob26.pddl 218.00 217.00 218.00 217.00
prob27.pddl 161.00 157.00 161.00 155.00
prob28.pddl 314.00 314.00 None None
prob29.pddl 341.00 341.00 340.00 340.00
prob30.pddl 148.00 148.00 148.00 148.00
prob31.pddl 14.00 13.00 14.00 13.00
prob32.pddl 20.00 20.00 20.00 20.00
prob33.pddl 27.00 27.00 27.00 27.00
prob34.pddl 52.00 51.00 52.00 51.00
prob35.pddl 31.00 30.00 31.00 30.00

maintenance-sat14-adl

cost issue383-base-lama-first issue383-base-seq-sat-lama-2011 issue383-v1-lama-first issue383-v1-seq-sat-lama-2011
maintenance-1-3-060-180-5-000.pddl None None None None
maintenance-1-3-060-180-5-001.pddl None None None None
maintenance-1-3-060-180-5-002.pddl None None None None
maintenance-1-3-100-300-5-000.pddl None None None None
maintenance-1-3-100-300-5-001.pddl None None None None
maintenance-1-3-100-300-7-000.pddl None None None None
maintenance-1-3-100-300-7-001.pddl None None None None
maintenance-1-3-100-300-7-002.pddl None None None None
maintenance-1-3-150-500-6-001.pddl None None None None
maintenance-1-3-200-500-5-001.pddl None None None None
maintenance-1-3-200-500-5-002.pddl None None None None
maintenance-1-3-200-700-7-000.pddl None None None None
maintenance-1-3-200-700-7-001.pddl None None None None
maintenance-1-3-200-700-7-002.pddl None None None None
maintenance-1-3-200-900-5-000.pddl None None None None
maintenance-1-3-200-900-5-001.pddl None None None None
maintenance-1-3-200-900-5-002.pddl None None None None
maintenance-1-3-200-900-8-000.pddl None None None None
maintenance-1-3-200-900-8-001.pddl None None None None
maintenance-1-3-200-900-8-002.pddl None None None None

miconic

cost issue383-base-lama-first issue383-base-seq-sat-lama-2011 issue383-v1-lama-first issue383-v1-seq-sat-lama-2011
s1-0.pddl 4.00 4.00 4.00 4.00
s1-1.pddl 3.00 3.00 3.00 3.00
s1-2.pddl 4.00 4.00 4.00 4.00
s1-3.pddl 4.00 4.00 4.00 4.00
s1-4.pddl 4.00 4.00 4.00 4.00
s2-0.pddl 8.00 7.00 8.00 7.00
s2-1.pddl 8.00 7.00 8.00 7.00
s2-2.pddl 8.00 7.00 8.00 7.00
s2-3.pddl 7.00 7.00 7.00 7.00
s2-4.pddl 9.00 7.00 8.00 7.00
s3-0.pddl 13.00 10.00 10.00 10.00
s3-1.pddl 13.00 11.00 13.00 11.00
s3-2.pddl 12.00 10.00 12.00 10.00
s3-3.pddl 12.00 10.00 12.00 10.00
s3-4.pddl 11.00 10.00 11.00 10.00
s4-0.pddl 15.00 14.00 15.00 14.00
s4-1.pddl 16.00 13.00 16.00 13.00
s4-2.pddl 17.00 15.00 17.00 15.00
s4-3.pddl 19.00 15.00 16.00 15.00
s4-4.pddl 21.00 15.00 16.00 15.00
s5-0.pddl 24.00 17.00 23.00 17.00
s5-1.pddl 20.00 17.00 20.00 17.00
s5-2.pddl 18.00 15.00 18.00 15.00
s5-3.pddl 18.00 17.00 18.00 17.00
s5-4.pddl 24.00 18.00 22.00 18.00
s6-0.pddl 25.00 19.00 24.00 19.00
s6-1.pddl 21.00 19.00 21.00 19.00
s6-2.pddl 27.00 20.00 25.00 20.00
s6-3.pddl 21.00 20.00 21.00 20.00
s6-4.pddl 25.00 21.00 25.00 21.00
s7-0.pddl 29.00 23.00 28.00 23.00
s7-1.pddl 33.00 24.00 25.00 24.00
s7-2.pddl 23.00 22.00 23.00 22.00
s7-3.pddl 29.00 22.00 26.00 22.00
s7-4.pddl 34.00 25.00 33.00 25.00
s8-0.pddl 33.00 27.00 27.00 27.00
s8-1.pddl 37.00 27.00 35.00 27.00
s8-2.pddl 36.00 26.00 33.00 26.00
s8-3.pddl 36.00 28.00 36.00 28.00
s8-4.pddl 31.00 27.00 30.00 27.00
s9-0.pddl 42.00 31.00 41.00 31.00
s9-1.pddl 41.00 30.00 38.00 30.00
s9-2.pddl 40.00 30.00 35.00 30.00
s9-3.pddl 35.00 32.00 35.00 32.00
s9-4.pddl 35.00 28.00 32.00 28.00
s10-0.pddl 47.00 33.00 42.00 33.00
s10-1.pddl 41.00 32.00 34.00 32.00
s10-2.pddl 40.00 32.00 37.00 32.00
s10-3.pddl 45.00 34.00 43.00 34.00
s10-4.pddl 42.00 33.00 41.00 33.00
s11-0.pddl 51.00 37.00 44.00 37.00
s11-1.pddl 43.00 34.00 38.00 34.00
s11-2.pddl 53.00 38.00 50.00 38.00
s11-3.pddl 48.00 38.00 48.00 38.00
s11-4.pddl 48.00 35.00 40.00 35.00
s12-0.pddl 46.00 40.00 41.00 40.00
s12-1.pddl 56.00 40.00 48.00 40.00
s12-2.pddl 56.00 40.00 53.00 40.00
s12-3.pddl 53.00 39.00 49.00 39.00
s12-4.pddl 59.00 41.00 52.00 41.00
s13-0.pddl 60.00 44.00 55.00 44.00
s13-1.pddl 53.00 42.00 51.00 42.00
s13-2.pddl 64.00 46.00 63.00 46.00
s13-3.pddl 53.00 43.00 52.00 43.00
s13-4.pddl 53.00 41.00 49.00 41.00
s14-0.pddl 59.00 45.00 54.00 45.00
s14-1.pddl 66.00 47.00 52.00 47.00
s14-2.pddl 66.00 51.00 58.00 49.00
s14-3.pddl 61.00 42.00 55.00 42.00
s14-4.pddl 63.00 45.00 56.00 45.00
s15-0.pddl 66.00 46.00 58.00 46.00
s15-1.pddl 75.00 50.00 61.00 50.00
s15-2.pddl 70.00 54.00 67.00 50.00
s15-3.pddl 70.00 50.00 56.00 50.00
s15-4.pddl 66.00 47.00 59.00 47.00
s16-0.pddl 73.00 56.00 69.00 53.00
s16-1.pddl 71.00 54.00 68.00 52.00
s16-2.pddl 80.00 59.00 75.00 55.00
s16-3.pddl 73.00 56.00 62.00 52.00
s16-4.pddl 72.00 56.00 69.00 53.00
s17-0.pddl 77.00 56.00 61.00 56.00
s17-1.pddl 73.00 59.00 58.00 58.00
s17-2.pddl 79.00 54.00 69.00 54.00
s17-3.pddl 82.00 62.00 76.00 60.00
s17-4.pddl 75.00 58.00 62.00 55.00
s18-0.pddl 79.00 64.00 62.00 59.00
s18-1.pddl 77.00 61.00 58.00 58.00
s18-2.pddl 80.00 64.00 59.00 58.00
s18-3.pddl 84.00 64.00 80.00 60.00
s18-4.pddl 80.00 64.00 73.00 57.00
s19-0.pddl 87.00 69.00 64.00 62.00
s19-1.pddl 91.00 69.00 71.00 65.00
s19-2.pddl 88.00 68.00 79.00 63.00
s19-3.pddl 89.00 70.00 82.00 64.00
s19-4.pddl 86.00 68.00 85.00 63.00
s20-0.pddl 86.00 71.00 74.00 64.00
s20-1.pddl 89.00 70.00 80.00 66.00
s20-2.pddl 87.00 69.00 80.00 63.00
s20-3.pddl 88.00 70.00 73.00 63.00
s20-4.pddl 89.00 69.00 83.00 65.00
s21-0.pddl 97.00 74.00 94.00 70.00
s21-1.pddl 96.00 72.00 84.00 69.00
s21-2.pddl 90.00 72.00 84.00 69.00
s21-3.pddl 91.00 72.00 85.00 67.00
s21-4.pddl 93.00 73.00 85.00 70.00
s22-0.pddl 104.00 81.00 78.00 73.00
s22-1.pddl 98.00 78.00 80.00 70.00
s22-2.pddl 103.00 79.00 86.00 71.00
s22-3.pddl 105.00 79.00 101.00 76.00
s22-4.pddl 102.00 78.00 94.00 72.00
s23-0.pddl 108.00 84.00 90.00 76.00
s23-1.pddl 100.00 81.00 84.00 82.00
s23-2.pddl 101.00 77.00 92.00 73.00
s23-3.pddl 96.00 81.00 74.00 74.00
s23-4.pddl 104.00 82.00 93.00 74.00
s24-0.pddl 100.00 82.00 90.00 79.00
s24-1.pddl 108.00 83.00 92.00 78.00
s24-2.pddl 111.00 85.00 100.00 79.00
s24-3.pddl 113.00 85.00 108.00 80.00
s24-4.pddl 110.00 87.00 89.00 78.00
s25-0.pddl 115.00 88.00 87.00 87.00
s25-1.pddl 123.00 91.00 88.00 85.00
s25-2.pddl 113.00 87.00 90.00 79.00
s25-3.pddl 118.00 90.00 107.00 85.00
s25-4.pddl 118.00 91.00 101.00 83.00
s26-0.pddl 118.00 89.00 106.00 84.00
s26-1.pddl 116.00 89.00 101.00 84.00
s26-2.pddl 121.00 93.00 113.00 90.00
s26-3.pddl 123.00 94.00 97.00 88.00
s26-4.pddl 117.00 90.00 107.00 83.00
s27-0.pddl 128.00 98.00 120.00 90.00
s27-1.pddl 126.00 96.00 117.00 91.00
s27-2.pddl 127.00 100.00 116.00 87.00
s27-3.pddl 128.00 95.00 119.00 89.00
s27-4.pddl 126.00 98.00 106.00 89.00
s28-0.pddl 133.00 102.00 123.00 96.00
s28-1.pddl 130.00 98.00 124.00 94.00
s28-2.pddl 136.00 102.00 117.00 94.00
s28-3.pddl 121.00 95.00 93.00 93.00
s28-4.pddl 130.00 99.00 108.00 92.00
s29-0.pddl 131.00 98.00 122.00 94.00
s29-1.pddl 131.00 99.00 91.00 91.00
s29-2.pddl 134.00 106.00 97.00 96.00
s29-3.pddl 140.00 106.00 130.00 97.00
s29-4.pddl 146.00 110.00 125.00 99.00
s30-0.pddl 133.00 102.00 120.00 95.00
s30-1.pddl 138.00 108.00 98.00 98.00
s30-2.pddl 133.00 103.00 126.00 98.00
s30-3.pddl 144.00 108.00 133.00 102.00
s30-4.pddl 141.00 109.00 122.00 122.00

miconic-fulladl

cost issue383-base-lama-first issue383-base-seq-sat-lama-2011 issue383-v1-lama-first issue383-v1-seq-sat-lama-2011
f1-0.pddl 4.00 4.00 4.00 4.00
f1-1.pddl 3.00 3.00 3.00 3.00
f1-2.pddl 4.00 4.00 4.00 4.00
f1-3.pddl 4.00 4.00 4.00 4.00
f1-4.pddl 4.00 4.00 4.00 4.00
f2-0.pddl 7.00 6.00 7.00 6.00
f2-1.pddl 8.00 6.00 8.00 6.00
f2-2.pddl 8.00 6.00 8.00 6.00
f2-3.pddl 6.00 6.00 6.00 6.00
f2-4.pddl 7.00 6.00 7.00 6.00
f3-0.pddl 12.00 8.00 12.00 8.00
f3-1.pddl 12.00 10.00 12.00 10.00
f3-2.pddl 12.00 8.00 12.00 8.00
f3-3.pddl 11.00 9.00 11.00 9.00
f3-4.pddl 11.00 8.00 11.00 8.00
f4-0.pddl 13.00 12.00 13.00 12.00
f4-1.pddl 14.00 11.00 14.00 11.00
f4-2.pddl 18.00 14.00 18.00 14.00
f4-3.pddl 16.00 14.00 16.00 14.00
f4-4.pddl 20.00 14.00 20.00 14.00
f5-0.pddl 20.00 16.00 20.00 16.00
f5-1.pddl 21.00 18.00 21.00 18.00
f5-2.pddl 16.00 13.00 18.00 13.00
f5-3.pddl 18.00 15.00 20.00 15.00
f5-4.pddl 14.00 12.00 16.00 12.00
f6-0.pddl 22.00 17.00 22.00 17.00
f6-1.pddl 20.00 14.00 15.00 14.00
f6-2.pddl 21.00 18.00 23.00 18.00
f6-3.pddl 21.00 16.00 22.00 16.00
f6-4.pddl 21.00 14.00 20.00 14.00
f7-0.pddl 23.00 19.00 29.00 19.00
f7-1.pddl 31.00 22.00 31.00 22.00
f7-2.pddl 27.00 20.00 30.00 20.00
f7-3.pddl 25.00 19.00 25.00 19.00
f7-4.pddl 25.00 19.00 25.00 19.00
f8-0.pddl 25.00 20.00 26.00 20.00
f8-1.pddl 31.00 22.00 31.00 22.00
f8-2.pddl 27.00 20.00 33.00 20.00
f8-3.pddl 34.00 26.00 33.00 26.00
f8-4.pddl 27.00 21.00 27.00 21.00
f9-0.pddl 29.00 23.00 29.00 23.00
f9-1.pddl 30.00 25.00 30.00 25.00
f9-2.pddl 33.00 24.00 33.00 24.00
f9-3.pddl 33.00 25.00 33.00 25.00
f9-4.pddl 31.00 22.00 31.00 None
f10-0.pddl 44.00 31.00 40.00 34.00
f10-1.pddl 44.00 37.00 39.00 28.00
f10-2.pddl None None None None
f10-3.pddl 42.00 30.00 None None
f10-4.pddl 40.00 28.00 40.00 28.00
f11-0.pddl 43.00 29.00 43.00 29.00
f11-1.pddl 41.00 32.00 46.00 32.00
f11-2.pddl 42.00 31.00 47.00 31.00
f11-3.pddl 44.00 32.00 45.00 39.00
f11-4.pddl 37.00 29.00 37.00 29.00
f12-0.pddl 52.00 34.00 49.00 34.00
f12-1.pddl 55.00 38.00 53.00 38.00
f12-2.pddl 50.00 34.00 45.00 34.00
f12-3.pddl 50.00 38.00 46.00 38.00
f12-4.pddl 44.00 32.00 46.00 32.00
f13-0.pddl 47.00 36.00 47.00 36.00
f13-1.pddl 55.00 38.00 55.00 38.00
f13-2.pddl 50.00 38.00 54.00 38.00
f13-3.pddl 53.00 38.00 52.00 38.00
f13-4.pddl 45.00 34.00 45.00 41.00
f14-0.pddl 58.00 42.00 58.00 42.00
f14-1.pddl 49.00 39.00 50.00 39.00
f14-2.pddl 55.00 43.00 56.00 43.00
f14-3.pddl 51.00 37.00 51.00 37.00
f14-4.pddl 57.00 42.00 57.00 42.00
f15-0.pddl 67.00 46.00 62.00 46.00
f15-1.pddl 60.00 44.00 66.00 49.00
f15-2.pddl 55.00 36.00 55.00 36.00
f15-3.pddl 52.00 36.00 55.00 36.00
f15-4.pddl 52.00 38.00 None None
f16-0.pddl 69.00 52.00 72.00 52.00
f16-1.pddl 57.00 43.00 56.00 43.00
f16-2.pddl 68.00 50.00 68.00 60.00
f16-3.pddl 72.00 46.00 71.00 46.00
f16-4.pddl None None None None
f17-0.pddl 71.00 52.00 74.00 59.00
f17-1.pddl None None None None
f17-2.pddl 66.00 45.00 66.00 48.00
f17-3.pddl 67.00 51.00 65.00 49.00
f17-4.pddl 61.00 48.00 61.00 48.00
f18-0.pddl 72.00 52.00 72.00 52.00
f18-1.pddl 72.00 55.00 72.00 53.00
f18-2.pddl 73.00 52.00 73.00 52.00
f18-3.pddl 73.00 49.00 72.00 49.00
f18-4.pddl 71.00 47.00 71.00 47.00
f19-0.pddl 73.00 51.00 71.00 56.00
f19-1.pddl 76.00 54.00 73.00 56.00
f19-2.pddl 73.00 58.00 88.00 60.00
f19-3.pddl 67.00 48.00 65.00 48.00
f19-4.pddl 77.00 56.00 78.00 56.00
f20-0.pddl 82.00 62.00 85.00 62.00
f20-1.pddl 75.00 54.00 80.00 80.00
f20-2.pddl 86.00 64.00 86.00 64.00
f20-3.pddl None None None None
f20-4.pddl 74.00 56.00 75.00 56.00
f21-0.pddl 84.00 66.00 83.00 76.00
f21-1.pddl 75.00 60.00 83.00 58.00
f21-2.pddl 81.00 62.00 None None
f21-3.pddl None None None None
f21-4.pddl None None None None
f22-0.pddl 92.00 64.00 94.00 90.00
f22-1.pddl 87.00 70.00 86.00 70.00
f22-2.pddl 91.00 62.00 86.00 68.00
f22-3.pddl 82.00 66.00 87.00 87.00
f22-4.pddl 80.00 66.00 None None
f23-0.pddl 95.00 74.00 92.00 70.00
f23-1.pddl 94.00 72.00 None None
f23-2.pddl 86.00 64.00 87.00 70.00
f23-3.pddl 95.00 76.00 94.00 74.00
f23-4.pddl 103.00 70.00 102.00 77.00
f24-0.pddl 97.00 72.00 98.00 72.00
f24-1.pddl None None None None
f24-2.pddl 85.00 64.00 91.00 67.00
f24-3.pddl 99.00 78.00 102.00 72.00
f24-4.pddl 89.00 66.00 89.00 66.00
f25-0.pddl 106.00 76.00 105.00 76.00
f25-1.pddl 101.00 76.00 None None
f25-2.pddl None None None None
f25-3.pddl 117.00 80.00 117.00 94.00
f25-4.pddl 97.00 74.00 None None
f26-0.pddl 89.00 75.00 None None
f26-1.pddl 110.00 80.00 115.00 84.00
f26-2.pddl 100.00 74.00 110.00 74.00
f26-3.pddl 110.00 80.00 None None
f26-4.pddl 106.00 76.00 104.00 76.00
f27-0.pddl 103.00 80.00 100.00 76.00
f27-1.pddl 102.00 74.00 102.00 91.00
f27-2.pddl None None None None
f27-3.pddl 108.00 76.00 None None
f27-4.pddl 95.00 76.00 None None
f28-0.pddl 105.00 84.00 None None
f28-1.pddl 122.00 78.00 118.00 76.00
f28-2.pddl 101.00 74.00 101.00 74.00
f28-3.pddl 103.00 76.00 None None
f28-4.pddl None None None None
f29-0.pddl 129.00 92.00 None None
f29-1.pddl 119.00 116.00 120.00 113.00
f29-2.pddl 114.00 86.00 110.00 86.00
f29-3.pddl 129.00 92.00 None None
f29-4.pddl 112.00 84.00 None None
f30-0.pddl 124.00 92.00 None None
f30-1.pddl 128.00 95.00 None None
f30-2.pddl None None None None
f30-3.pddl 125.00 86.00 122.00 92.00
f30-4.pddl 114.00 88.00 None None

miconic-simpleadl

cost issue383-base-lama-first issue383-base-seq-sat-lama-2011 issue383-v1-lama-first issue383-v1-seq-sat-lama-2011
s1-0.pddl 4.00 4.00 4.00 4.00
s1-1.pddl 3.00 3.00 3.00 3.00
s1-2.pddl 4.00 4.00 4.00 4.00
s1-3.pddl 4.00 4.00 4.00 4.00
s1-4.pddl 4.00 4.00 4.00 4.00
s2-0.pddl 7.00 6.00 7.00 6.00
s2-1.pddl 8.00 6.00 8.00 6.00
s2-2.pddl 8.00 6.00 8.00 6.00
s2-3.pddl 6.00 6.00 6.00 6.00
s2-4.pddl 7.00 6.00 7.00 6.00
s3-0.pddl 12.00 8.00 12.00 8.00
s3-1.pddl 12.00 10.00 12.00 10.00
s3-2.pddl 12.00 8.00 12.00 8.00
s3-3.pddl 11.00 9.00 11.00 9.00
s3-4.pddl 11.00 8.00 11.00 8.00
s4-0.pddl 13.00 12.00 13.00 12.00
s4-1.pddl 14.00 11.00 14.00 11.00
s4-2.pddl 16.00 14.00 16.00 14.00
s4-3.pddl 16.00 14.00 16.00 14.00
s4-4.pddl 20.00 14.00 20.00 14.00
s5-0.pddl 20.00 14.00 20.00 14.00
s5-1.pddl 19.00 15.00 19.00 15.00
s5-2.pddl 14.00 10.00 12.00 10.00
s5-3.pddl 16.00 14.00 15.00 14.00
s5-4.pddl 20.00 16.00 20.00 16.00
s6-0.pddl 19.00 14.00 19.00 14.00
s6-1.pddl 17.00 15.00 18.00 15.00
s6-2.pddl 22.00 16.00 22.00 16.00
s6-3.pddl 20.00 16.00 20.00 16.00
s6-4.pddl 22.00 18.00 22.00 18.00
s7-0.pddl 24.00 18.00 24.00 18.00
s7-1.pddl 29.00 20.00 29.00 20.00
s7-2.pddl 18.00 17.00 18.00 17.00
s7-3.pddl 22.00 17.00 23.00 17.00
s7-4.pddl 33.00 23.00 33.00 23.00
s8-0.pddl 26.00 22.00 26.00 22.00
s8-1.pddl 29.00 23.00 32.00 23.00
s8-2.pddl 27.00 20.00 27.00 20.00
s8-3.pddl 31.00 24.00 33.00 24.00
s8-4.pddl 26.00 22.00 26.00 22.00
s9-0.pddl 37.00 26.00 37.00 26.00
s9-1.pddl 32.00 24.00 32.00 24.00
s9-2.pddl 30.00 24.00 30.00 24.00
s9-3.pddl 32.00 28.00 32.00 28.00
s9-4.pddl 29.00 21.00 31.00 21.00
s10-0.pddl 39.00 27.00 41.00 27.00
s10-1.pddl 34.00 25.00 36.00 25.00
s10-2.pddl 30.00 24.00 31.00 24.00
s10-3.pddl 38.00 28.00 37.00 28.00
s10-4.pddl 35.00 26.00 31.00 26.00
s11-0.pddl 42.00 30.00 43.00 30.00
s11-1.pddl 35.00 25.00 35.00 25.00
s11-2.pddl 46.00 32.00 46.00 32.00
s11-3.pddl 44.00 32.00 46.00 32.00
s11-4.pddl 34.00 26.00 34.00 26.00
s12-0.pddl 38.00 32.00 38.00 32.00
s12-1.pddl 45.00 32.00 45.00 32.00
s12-2.pddl 46.00 32.00 46.00 32.00
s12-3.pddl 41.00 30.00 38.00 30.00
s12-4.pddl 50.00 34.00 51.00 34.00
s13-0.pddl 49.00 36.00 52.00 36.00
s13-1.pddl 45.00 32.00 46.00 32.00
s13-2.pddl 58.00 40.00 59.00 40.00
s13-3.pddl 46.00 34.00 47.00 34.00
s13-4.pddl 41.00 31.00 39.00 31.00
s14-0.pddl 48.00 35.00 48.00 35.00
s14-1.pddl 55.00 38.00 55.00 38.00
s14-2.pddl 59.00 43.00 59.00 43.00
s14-3.pddl 42.00 29.00 43.00 29.00
s14-4.pddl 51.00 35.00 51.00 35.00
s15-0.pddl 48.00 33.00 53.00 33.00
s15-1.pddl 63.00 40.00 63.00 40.00
s15-2.pddl 60.00 40.00 60.00 40.00
s15-3.pddl 57.00 40.00 55.00 40.00
s15-4.pddl 49.00 34.00 54.00 34.00
s16-0.pddl 58.00 42.00 59.00 42.00
s16-1.pddl 59.00 41.00 59.00 41.00
s16-2.pddl 66.00 46.00 66.00 46.00
s16-3.pddl 56.00 40.00 53.00 40.00
s16-4.pddl 61.00 43.00 61.00 43.00
s17-0.pddl 63.00 44.00 64.00 44.00
s17-1.pddl 59.00 41.00 55.00 41.00
s17-2.pddl 62.00 41.00 62.00 41.00
s17-3.pddl 75.00 52.00 72.00 52.00
s17-4.pddl 64.00 45.00 61.00 43.00
s18-0.pddl 65.00 46.00 67.00 46.00
s18-1.pddl 61.00 45.00 62.00 45.00
s18-2.pddl 58.00 44.00 58.00 44.00
s18-3.pddl 70.00 48.00 68.00 48.00
s18-4.pddl 64.00 42.00 62.00 42.00
s19-0.pddl 70.00 48.00 69.00 48.00
s19-1.pddl 76.00 54.00 82.00 54.00
s19-2.pddl 72.00 50.00 74.00 50.00
s19-3.pddl 74.00 54.00 75.00 52.00
s19-4.pddl 72.00 50.00 74.00 52.00
s20-0.pddl 72.00 48.00 73.00 48.00
s20-1.pddl 74.00 53.00 74.00 55.00
s20-2.pddl 69.00 46.00 70.00 46.00
s20-3.pddl 72.00 46.00 68.00 46.00
s20-4.pddl 71.00 52.00 71.00 52.00
s21-0.pddl 82.00 56.00 82.00 56.00
s21-1.pddl 83.00 59.00 81.00 57.00
s21-2.pddl 76.00 55.00 75.00 59.00
s21-3.pddl 71.00 50.00 70.00 50.00
s21-4.pddl 79.00 59.00 78.00 59.00
s22-0.pddl 86.00 60.00 86.00 60.00
s22-1.pddl 75.00 55.00 83.00 55.00
s22-2.pddl 81.00 54.00 79.00 54.00
s22-3.pddl 92.00 64.00 92.00 64.00
s22-4.pddl 81.00 60.00 82.00 58.00
s23-0.pddl 89.00 60.00 88.00 60.00
s23-1.pddl 81.00 62.00 80.00 64.00
s23-2.pddl 80.00 56.00 76.00 54.00
s23-3.pddl 71.00 52.00 77.00 52.00
s23-4.pddl 87.00 56.00 87.00 56.00
s24-0.pddl 83.00 62.00 79.00 62.00
s24-1.pddl 85.00 60.00 88.00 62.00
s24-2.pddl 91.00 64.00 88.00 60.00
s24-3.pddl 95.00 64.00 94.00 64.00
s24-4.pddl 84.00 62.00 88.00 62.00
s25-0.pddl 87.00 62.00 88.00 62.00
s25-1.pddl 105.00 74.00 108.00 74.00
s25-2.pddl 85.00 63.00 83.00 61.00
s25-3.pddl 101.00 70.00 100.00 70.00
s25-4.pddl 97.00 66.00 93.00 66.00
s26-0.pddl 91.00 64.00 91.00 64.00
s26-1.pddl 93.00 64.00 94.00 66.00
s26-2.pddl 105.00 76.00 105.00 76.00
s26-3.pddl 104.00 72.00 107.00 74.00
s26-4.pddl 93.00 62.00 88.00 62.00
s27-0.pddl 101.00 70.00 101.00 70.00
s27-1.pddl 108.00 75.00 109.00 75.00
s27-2.pddl 106.00 67.00 103.00 67.00
s27-3.pddl 105.00 72.00 103.00 70.00
s27-4.pddl 103.00 72.00 104.00 70.00
s28-0.pddl 115.00 80.00 115.00 80.00
s28-1.pddl 110.00 76.00 110.00 76.00
s28-2.pddl 113.00 76.00 113.00 78.00
s28-3.pddl 94.00 69.00 90.00 65.00
s28-4.pddl 105.00 72.00 108.00 72.00
s29-0.pddl 106.00 73.00 106.00 73.00
s29-1.pddl 95.00 77.00 92.00 73.00
s29-2.pddl 104.00 74.00 106.00 76.00
s29-3.pddl 118.00 78.00 115.00 78.00
s29-4.pddl 124.00 82.00 124.00 82.00
s30-0.pddl 107.00 73.00 112.00 77.00
s30-1.pddl 118.00 77.00 113.00 77.00
s30-2.pddl 106.00 76.00 107.00 76.00
s30-3.pddl 121.00 86.00 124.00 84.00
s30-4.pddl 117.00 79.00 116.00 79.00

movie

cost issue383-base-lama-first issue383-base-seq-sat-lama-2011 issue383-v1-lama-first issue383-v1-seq-sat-lama-2011
prob01.pddl 8.00 7.00 8.00 7.00
prob02.pddl 8.00 7.00 8.00 7.00
prob03.pddl 8.00 7.00 8.00 7.00
prob04.pddl 8.00 7.00 8.00 7.00
prob05.pddl 8.00 7.00 8.00 7.00
prob06.pddl 8.00 7.00 8.00 7.00
prob07.pddl 8.00 7.00 8.00 7.00
prob08.pddl 8.00 7.00 8.00 7.00
prob09.pddl 8.00 7.00 8.00 7.00
prob10.pddl 8.00 7.00 8.00 7.00
prob11.pddl 8.00 7.00 8.00 7.00
prob12.pddl 8.00 7.00 8.00 7.00
prob13.pddl 8.00 7.00 8.00 7.00
prob14.pddl 8.00 7.00 8.00 7.00
prob15.pddl 8.00 7.00 8.00 7.00
prob16.pddl 8.00 7.00 8.00 7.00
prob17.pddl 8.00 7.00 8.00 7.00
prob18.pddl 8.00 7.00 8.00 7.00
prob19.pddl 8.00 7.00 8.00 7.00
prob20.pddl 8.00 7.00 8.00 7.00
prob21.pddl 8.00 7.00 8.00 7.00
prob22.pddl 8.00 7.00 8.00 7.00
prob23.pddl 8.00 7.00 8.00 7.00
prob24.pddl 8.00 7.00 8.00 7.00
prob25.pddl 8.00 7.00 8.00 7.00
prob26.pddl 8.00 7.00 8.00 7.00
prob27.pddl 8.00 7.00 8.00 7.00
prob28.pddl 8.00 7.00 8.00 7.00
prob29.pddl 8.00 7.00 8.00 7.00
prob30.pddl 8.00 7.00 8.00 7.00

mprime

cost issue383-base-lama-first issue383-base-seq-sat-lama-2011 issue383-v1-lama-first issue383-v1-seq-sat-lama-2011
prob01.pddl 5.00 5.00 5.00 5.00
prob02.pddl 8.00 7.00 8.00 7.00
prob03.pddl 6.00 4.00 6.00 4.00
prob04.pddl 9.00 8.00 9.00 8.00
prob05.pddl 12.00 11.00 12.00 11.00
prob06.pddl 22.00 12.00 22.00 12.00
prob07.pddl 6.00 5.00 6.00 5.00
prob08.pddl 7.00 6.00 7.00 6.00
prob09.pddl 12.00 8.00 12.00 8.00
prob10.pddl 8.00 8.00 8.00 8.00
prob11.pddl 7.00 7.00 7.00 7.00
prob12.pddl 7.00 6.00 7.00 6.00
prob13.pddl 17.00 15.00 17.00 15.00
prob14.pddl 11.00 11.00 11.00 11.00
prob15.pddl 6.00 6.00 6.00 6.00
prob16.pddl 7.00 6.00 7.00 6.00
prob17.pddl 4.00 4.00 4.00 4.00
prob18.pddl 20.00 17.00 20.00 17.00
prob19.pddl 8.00 6.00 8.00 6.00
prob20.pddl 7.00 7.00 7.00 7.00
prob21.pddl 7.00 6.00 7.00 6.00
prob22.pddl 13.00 9.00 13.00 9.00
prob23.pddl 11.00 10.00 11.00 10.00
prob24.pddl 8.00 8.00 8.00 8.00
prob25.pddl 4.00 4.00 4.00 4.00
prob26.pddl 6.00 6.00 6.00 6.00
prob27.pddl 5.00 5.00 5.00 5.00
prob28.pddl 9.00 7.00 9.00 7.00
prob29.pddl 4.00 4.00 4.00 4.00
prob30.pddl 9.00 9.00 9.00 9.00
prob31.pddl 5.00 4.00 5.00 4.00
prob32.pddl 8.00 7.00 8.00 7.00
prob33.pddl 14.00 13.00 14.00 13.00
prob34.pddl 4.00 4.00 4.00 4.00
prob35.pddl 6.00 5.00 6.00 5.00

mystery

cost issue383-base-lama-first issue383-base-seq-sat-lama-2011 issue383-v1-lama-first issue383-v1-seq-sat-lama-2011
prob01.pddl 5.00 5.00 5.00 5.00
prob02.pddl 8.00 7.00 8.00 7.00
prob03.pddl 4.00 4.00 4.00 4.00
prob04.pddl None None None None
prob05.pddl None None None None
prob06.pddl 16.00 11.00 16.00 11.00
prob07.pddl None None None None
prob08.pddl None None None None
prob09.pddl 9.00 8.00 9.00 8.00
prob10.pddl 8.00 8.00 8.00 8.00
prob11.pddl 7.00 7.00 7.00 7.00
prob12.pddl None None None None
prob13.pddl 21.00 15.00 21.00 15.00
prob14.pddl 11.00 11.00 11.00 11.00
prob15.pddl 6.00 6.00 6.00 6.00
prob16.pddl None None None None
prob17.pddl 4.00 4.00 4.00 4.00
prob18.pddl None None None None
prob19.pddl 6.00 6.00 6.00 6.00
prob20.pddl 8.00 7.00 8.00 7.00
prob21.pddl None None None None
prob22.pddl None None None None
prob23.pddl None None None None
prob24.pddl None None None None
prob25.pddl 4.00 4.00 4.00 4.00
prob26.pddl 6.00 6.00 6.00 6.00
prob27.pddl 5.00 5.00 5.00 5.00
prob28.pddl 9.00 7.00 9.00 7.00
prob29.pddl 4.00 4.00 4.00 4.00
prob30.pddl 10.00 9.00 10.00 9.00

nomystery-sat11-strips

cost issue383-base-lama-first issue383-base-seq-sat-lama-2011 issue383-v1-lama-first issue383-v1-seq-sat-lama-2011
p01.pddl 20.00 18.00 20.00 18.00
p02.pddl 23.00 21.00 22.00 21.00
p03.pddl 28.00 26.00 29.00 25.00
p04.pddl 33.00 28.00 34.00 28.00
p05.pddl 37.00 36.00 37.00 37.00
p06.pddl 39.00 39.00 43.00 43.00
p07.pddl 48.00 44.00 42.00 42.00
p08.pddl 43.00 42.00 43.00 42.00
p09.pddl None None 50.00 50.00
p10.pddl None None 51.00 50.00
p11.pddl 20.00 18.00 20.00 18.00
p12.pddl 21.00 21.00 21.00 21.00
p13.pddl 26.00 26.00 27.00 25.00
p14.pddl None None None None
p15.pddl None None None None
p16.pddl None None 37.00 36.00
p17.pddl None None 42.00 42.00
p18.pddl None None None None
p19.pddl None None None None
p20.pddl None None None None

openstacks

cost issue383-base-lama-first issue383-base-seq-sat-lama-2011 issue383-v1-lama-first issue383-v1-seq-sat-lama-2011
p01.pddl 25.00 23.00 25.00 23.00
p02.pddl 24.00 23.00 24.00 23.00
p03.pddl 25.00 23.00 25.00 23.00
p04.pddl 25.00 23.00 25.00 23.00
p05.pddl 25.00 23.00 25.00 23.00
p06.pddl 49.00 45.00 49.00 45.00
p07.pddl 50.00 46.00 50.00 46.00
p08.pddl 95.00 95.00 95.00 95.00
p09.pddl 95.00 95.00 95.00 95.00
p10.pddl 99.00 99.00 99.00 99.00
p11.pddl 100.00 100.00 100.00 100.00
p12.pddl 100.00 100.00 100.00 100.00
p13.pddl 100.00 100.00 100.00 100.00
p14.pddl 100.00 100.00 100.00 100.00
p15.pddl 100.00 100.00 100.00 100.00
p16.pddl 99.00 99.00 99.00 99.00
p17.pddl 120.00 120.00 120.00 120.00
p18.pddl 193.00 193.00 193.00 193.00
p19.pddl 124.00 124.00 124.00 124.00
p20.pddl 147.00 147.00 147.00 147.00
p21.pddl 146.00 146.00 146.00 146.00
p22.pddl 150.00 150.00 150.00 150.00
p23.pddl 150.00 150.00 150.00 150.00
p24.pddl 250.00 250.00 250.00 250.00
p25.pddl 250.00 250.00 250.00 250.00
p26.pddl 248.00 248.00 248.00 248.00
p27.pddl 375.00 375.00 375.00 375.00
p28.pddl 500.00 500.00 500.00 500.00
p29.pddl 500.00 500.00 500.00 500.00
p30.pddl 500.00 500.00 500.00 500.00

openstacks-sat08-adl

cost issue383-base-lama-first issue383-base-seq-sat-lama-2011 issue383-v1-lama-first issue383-v1-seq-sat-lama-2011
p01.pddl 2.00 2.00 2.00 2.00
p02.pddl 3.00 3.00 3.00 3.00
p03.pddl 2.00 2.00 2.00 2.00
p04.pddl 4.00 2.00 4.00 2.00
p05.pddl 3.00 2.00 3.00 2.00
p06.pddl 6.00 4.00 6.00 4.00
p07.pddl 7.00 4.00 7.00 4.00
p08.pddl 7.00 4.00 7.00 4.00
p09.pddl 6.00 4.00 6.00 4.00
p10.pddl 7.00 4.00 7.00 4.00
p11.pddl 10.00 5.00 10.00 5.00
p12.pddl 8.00 3.00 8.00 3.00
p13.pddl 11.00 5.00 11.00 5.00
p14.pddl 14.00 4.00 14.00 4.00
p15.pddl 12.00 4.00 12.00 4.00
p16.pddl 20.00 6.00 20.00 6.00
p17.pddl 20.00 7.00 20.00 7.00
p18.pddl 19.00 4.00 19.00 4.00
p19.pddl 20.00 10.00 20.00 10.00
p20.pddl 29.00 13.00 29.00 13.00
p21.pddl 26.00 7.00 26.00 7.00
p22.pddl 34.00 14.00 34.00 14.00
p23.pddl 33.00 9.00 33.00 9.00
p24.pddl 34.00 9.00 34.00 9.00
p25.pddl 42.00 19.00 42.00 19.00
p26.pddl 49.00 15.00 49.00 15.00
p27.pddl 48.00 20.00 48.00 20.00
p28.pddl 63.00 32.00 63.00 32.00
p29.pddl 58.00 30.00 58.00 30.00
p30.pddl 67.00 29.00 67.00 29.00

openstacks-sat08-strips

cost issue383-base-lama-first issue383-base-seq-sat-lama-2011 issue383-v1-lama-first issue383-v1-seq-sat-lama-2011
p01.pddl 3.00 2.00 3.00 2.00
p02.pddl 3.00 3.00 3.00 3.00
p03.pddl 2.00 2.00 2.00 2.00
p04.pddl 4.00 2.00 4.00 2.00
p05.pddl 4.00 2.00 4.00 2.00
p06.pddl 6.00 4.00 6.00 4.00
p07.pddl 8.00 4.00 8.00 4.00
p08.pddl 5.00 4.00 5.00 4.00
p09.pddl 7.00 4.00 7.00 4.00
p10.pddl 11.00 4.00 11.00 4.00
p11.pddl 11.00 5.00 11.00 5.00
p12.pddl 8.00 3.00 8.00 3.00
p13.pddl 16.00 5.00 16.00 5.00
p14.pddl 15.00 4.00 15.00 4.00
p15.pddl 14.00 4.00 14.00 4.00
p16.pddl 22.00 6.00 22.00 6.00
p17.pddl 22.00 6.00 22.00 6.00
p18.pddl 23.00 4.00 23.00 4.00
p19.pddl 25.00 10.00 25.00 10.00
p20.pddl 36.00 13.00 36.00 13.00
p21.pddl 28.00 6.00 28.00 6.00
p22.pddl 39.00 15.00 39.00 15.00
p23.pddl 37.00 8.00 37.00 8.00
p24.pddl 38.00 11.00 38.00 11.00
p25.pddl 58.00 20.00 58.00 20.00
p26.pddl 46.00 17.00 46.00 17.00
p27.pddl 48.00 20.00 48.00 20.00
p28.pddl 71.00 31.00 71.00 31.00
p29.pddl 70.00 33.00 70.00 33.00
p30.pddl 80.00 34.00 80.00 34.00

openstacks-sat11-strips

cost issue383-base-lama-first issue383-base-seq-sat-lama-2011 issue383-v1-lama-first issue383-v1-seq-sat-lama-2011
p01.pddl 28.00 6.00 28.00 6.00
p02.pddl 39.00 15.00 39.00 15.00
p03.pddl 38.00 11.00 38.00 11.00
p04.pddl 58.00 20.00 58.00 20.00
p05.pddl 46.00 17.00 46.00 17.00
p06.pddl 48.00 20.00 48.00 20.00
p07.pddl 36.00 13.00 36.00 13.00
p08.pddl 71.00 31.00 71.00 31.00
p09.pddl 70.00 33.00 70.00 33.00
p10.pddl 80.00 34.00 80.00 34.00
p11.pddl 82.00 33.00 82.00 33.00
p12.pddl 122.00 114.00 122.00 114.00
p13.pddl 103.00 46.00 103.00 46.00
p14.pddl 154.00 150.00 154.00 150.00
p15.pddl 134.00 85.00 134.00 83.00
p16.pddl 177.00 173.00 177.00 173.00
p17.pddl 169.00 118.00 169.00 118.00
p18.pddl 212.00 208.00 212.00 208.00
p19.pddl 206.00 202.00 206.00 202.00
p20.pddl 243.00 239.00 243.00 239.00

openstacks-sat14-strips

cost issue383-base-lama-first issue383-base-seq-sat-lama-2011 issue383-v1-lama-first issue383-v1-seq-sat-lama-2011
p170_2.pddl 129.00 63.00 129.00 63.00
p170_3.pddl 162.00 158.00 162.00 158.00
p190_1.pddl 130.00 66.00 130.00 66.00
p190_2.pddl 141.00 96.00 141.00 97.00
p190_3.pddl 183.00 179.00 183.00 179.00
p210_1.pddl 144.00 81.00 144.00 82.00
p210_2.pddl 154.00 93.00 154.00 91.00
p210_3.pddl 200.00 196.00 200.00 196.00
p230_1.pddl 154.00 77.00 154.00 78.00
p230_2.pddl 182.00 133.00 182.00 133.00
p230_3.pddl 222.00 218.00 222.00 218.00
p250_1.pddl 186.00 120.00 186.00 119.00
p250_2.pddl 199.00 195.00 199.00 195.00
p250_3.pddl 243.00 240.00 243.00 240.00
p270_1.pddl 206.00 137.00 206.00 137.00
p270_2.pddl 225.00 221.00 225.00 221.00
p270_3.pddl 260.00 258.00 260.00 258.00
p290_1.pddl 222.00 218.00 222.00 218.00
p290_2.pddl 245.00 241.00 245.00 241.00
p290_3.pddl 277.00 273.00 277.00 273.00

openstacks-strips

cost issue383-base-lama-first issue383-base-seq-sat-lama-2011 issue383-v1-lama-first issue383-v1-seq-sat-lama-2011
p01.pddl 25.00 23.00 25.00 23.00
p02.pddl 25.00 23.00 25.00 23.00
p03.pddl 25.00 23.00 25.00 23.00
p04.pddl 25.00 23.00 25.00 23.00
p05.pddl 25.00 23.00 25.00 23.00
p06.pddl 49.00 45.00 49.00 45.00
p07.pddl 50.00 46.00 50.00 46.00
p08.pddl 95.00 94.00 95.00 94.00
p09.pddl 95.00 95.00 95.00 95.00
p10.pddl 100.00 100.00 100.00 100.00
p11.pddl 100.00 100.00 100.00 100.00
p12.pddl 100.00 100.00 100.00 100.00
p13.pddl 100.00 100.00 100.00 100.00
p14.pddl 100.00 100.00 100.00 100.00
p15.pddl 100.00 100.00 100.00 100.00
p16.pddl 100.00 100.00 None 100.00
p17.pddl 120.00 120.00 120.00 120.00
p18.pddl 193.00 193.00 193.00 193.00
p19.pddl 125.00 125.00 125.00 125.00
p20.pddl 150.00 150.00 150.00 150.00
p21.pddl 150.00 150.00 150.00 150.00
p22.pddl 150.00 150.00 150.00 150.00
p23.pddl 150.00 150.00 150.00 150.00
p24.pddl 250.00 250.00 250.00 250.00
p25.pddl 250.00 250.00 250.00 250.00
p26.pddl 249.00 249.00 249.00 249.00
p27.pddl 375.00 375.00 375.00 375.00
p28.pddl 500.00 500.00 500.00 500.00
p29.pddl 500.00 500.00 500.00 500.00
p30.pddl 500.00 500.00 500.00 500.00

optical-telegraphs

cost issue383-base-lama-first issue383-base-seq-sat-lama-2011 issue383-v1-lama-first issue383-v1-seq-sat-lama-2011
p01-opt2.pddl 28.00 28.00 28.00 28.00
p02-opt3.pddl 42.00 42.00 42.00 42.00
p03-opt4.pddl 56.00 56.00 56.00 56.00
p04-opt5.pddl 70.00 70.00 70.00 70.00
p05-opt6.pddl None None None None
p06-opt7.pddl None None None None
p07-opt8.pddl None None None None
p08-opt9.pddl None None None None
p09-opt10.pddl None None None None
p10-opt11.pddl None None None None
p11-opt12.pddl None None None None
p12-opt13.pddl None None None None
p13-opt14.pddl None None None None
p14-opt15.pddl None None None None
p15-opt16.pddl None None None None
p16-opt17.pddl None None None None
p17-opt18.pddl None None None None
p18-opt19.pddl None None None None
p19-opt20.pddl None None None None
p20-opt21.pddl None None None None
p21-opt22.pddl None None None None
p22-opt23.pddl None None None None
p23-opt24.pddl None None None None
p24-opt25.pddl None None None None
p25-opt26.pddl None None None None
p26-opt27.pddl None None None None
p27-opt28.pddl None None None None
p28-opt29.pddl None None None None
p29-opt30.pddl None None None None
p30-opt31.pddl None None None None
p31-opt32.pddl None None None None
p32-opt33.pddl None None None None
p33-opt34.pddl None None None None
p34-opt35.pddl None None None None
p35-opt36.pddl None None None None
p36-opt37.pddl None None None None
p37-opt38.pddl None None None None
p38-opt39.pddl None None None None
p39-opt40.pddl None None None None
p40-opt41.pddl None None None None
p41-opt42.pddl None None None None
p42-opt43.pddl None None None None
p43-opt44.pddl None None None None
p44-opt45.pddl None None None None
p45-opt46.pddl None None None None
p46-opt47.pddl None None None None
p47-opt48.pddl None None None None
p48-opt49.pddl None None None None

parcprinter-08-strips

cost issue383-base-lama-first issue383-base-seq-sat-lama-2011 issue383-v1-lama-first issue383-v1-seq-sat-lama-2011
p01.pddl 269038.00 169009.00 269038.00 169009.00
p02.pddl 538076.00 438047.00 None None
p03.pddl 807114.00 807114.00 807114.00 807114.00
p04.pddl 1076152.00 876094.00 None None
p05.pddl 1345190.00 1145132.00 None None
p06.pddl 1614228.00 1514199.00 None None
p07.pddl 1883266.00 1883266.00 None None
p08.pddl 2152304.00 2152304.00 None None
p09.pddl 2421342.00 2421342.00 None None
p10.pddl 2690380.00 2690380.00 None None
p11.pddl 183207.00 182808.00 183207.00 182808.00
p12.pddl 520923.00 510256.00 520923.00 510256.00
p13.pddl 704130.00 693064.00 704130.00 693064.00
p14.pddl 1031977.00 1020512.00 1031977.00 1020512.00
p15.pddl 1736917.00 1697502.00 1736917.00 1697502.00
p16.pddl 1717278.00 1717278.00 1717278.00 1717278.00
p17.pddl 1736107.00 1736107.00 1736107.00 1736107.00
p18.pddl 2382841.00 2382841.00 2382841.00 2382841.00
p19.pddl None None None None
p20.pddl 2807461.00 2807461.00 2807461.00 2807461.00
p21.pddl 232509.00 143411.00 232509.00 143411.00
p22.pddl 465018.00 375821.00 465018.00 375821.00
p23.pddl 697527.00 519232.00 697527.00 519232.00
p24.pddl 930036.00 751642.00 930036.00 751642.00
p25.pddl 1404332.00 1215839.00 1404332.00 1215839.00
p26.pddl 1395054.00 1216462.00 1395054.00 1216462.00
p27.pddl 1627563.00 1270874.00 1627563.00 1270874.00
p28.pddl 1860072.00 1681480.00 1860072.00 1681480.00
p29.pddl 2576155.00 2397861.00 2576155.00 2397861.00
p30.pddl 2566877.00 2022091.00 2566877.00 2022091.00

parcprinter-sat11-strips

cost issue383-base-lama-first issue383-base-seq-sat-lama-2011 issue383-v1-lama-first issue383-v1-seq-sat-lama-2011
p01.pddl 1883266.00 1883266.00 None None
p02.pddl 2152304.00 2152304.00 None None
p03.pddl 2690380.00 2690380.00 None None
p04.pddl 2807461.00 2807461.00 2807461.00 2807461.00
p05.pddl 1395054.00 1216462.00 1395054.00 1216462.00
p06.pddl 1627563.00 1270874.00 1627563.00 1270874.00
p07.pddl 2421342.00 2421342.00 None None
p08.pddl 1860072.00 1681480.00 1860072.00 1681480.00
p09.pddl 2576155.00 2397861.00 2576155.00 2397861.00
p10.pddl 2566877.00 2022091.00 2566877.00 2022091.00
p11.pddl 2191290.00 2191290.00 None None
p12.pddl 3228456.00 3228456.00 None None
p13.pddl 4035570.00 4035570.00 None None
p14.pddl 3173875.00 3173875.00 3173875.00 3173875.00
p15.pddl None None None None
p16.pddl 3767901.00 3767901.00 3767901.00 3767901.00
p17.pddl 2111137.00 1556448.00 2111137.00 1556448.00
p18.pddl 2585433.00 2407237.00 2585433.00 2407237.00
p19.pddl 3301516.00 3123519.00 3301516.00 3123519.00
p20.pddl 3031895.00 2318913.00 3031895.00 2318913.00

parking-sat11-strips

cost issue383-base-lama-first issue383-base-seq-sat-lama-2011 issue383-v1-lama-first issue383-v1-seq-sat-lama-2011
pfile08-031.pddl 69.00 37.00 69.00 37.00
pfile08-032.pddl 46.00 41.00 46.00 41.00
pfile09-033.pddl 78.00 68.00 78.00 68.00
pfile09-034.pddl 73.00 73.00 73.00 73.00
pfile09-035.pddl 64.00 62.00 64.00 62.00
pfile09-036.pddl 59.00 59.00 59.00 59.00
pfile10-037.pddl 78.00 42.00 78.00 42.00
pfile10-038.pddl 70.00 45.00 70.00 45.00
pfile10-039.pddl 81.00 58.00 81.00 58.00
pfile10-040.pddl 90.00 68.00 90.00 68.00
pfile11-041.pddl 84.00 48.00 84.00 48.00
pfile11-042.pddl 68.00 68.00 68.00 68.00
pfile11-043.pddl 77.00 69.00 77.00 69.00
pfile11-044.pddl 78.00 48.00 78.00 48.00
pfile12-045.pddl 80.00 74.00 80.00 74.00
pfile12-046.pddl 87.00 87.00 87.00 87.00
pfile12-047.pddl 100.00 53.00 100.00 53.00
pfile12-048.pddl 90.00 51.00 90.00 51.00
pfile13-049.pddl 92.00 82.00 92.00 82.00
pfile13-050.pddl 96.00 78.00 96.00 78.00

parking-sat14-strips

cost issue383-base-lama-first issue383-base-seq-sat-lama-2011 issue383-v1-lama-first issue383-v1-seq-sat-lama-2011
p_28_2.pddl 90.00 52.00 90.00 52.00
p_28_3.pddl 78.00 73.00 78.00 73.00
p_30_1.pddl 78.00 62.00 78.00 62.00
p_30_2.pddl 77.00 73.00 77.00 73.00
p_30_3.pddl 104.00 60.00 104.00 60.00
p_32_1.pddl 99.00 55.00 99.00 55.00
p_32_2.pddl 92.00 77.00 92.00 77.00
p_32_3.pddl 106.00 54.00 106.00 56.00
p_34_1.pddl 106.00 60.00 106.00 60.00
p_34_2.pddl 89.00 81.00 89.00 81.00
p_34_3.pddl 93.00 93.00 93.00 93.00
p_36_1.pddl 130.00 103.00 130.00 103.00
p_36_2.pddl 126.00 64.00 126.00 64.00
p_36_3.pddl 112.00 62.00 112.00 62.00
p_38_1.pddl 108.00 108.00 108.00 108.00
p_38_2.pddl 116.00 98.00 116.00 98.00
p_38_3.pddl 112.00 84.00 112.00 84.00
p_40_1.pddl 118.00 104.00 118.00 104.00
p_40_2.pddl 106.00 94.00 106.00 94.00
p_40_3.pddl 120.00 114.00 120.00 114.00

pathways

cost issue383-base-lama-first issue383-base-seq-sat-lama-2011 issue383-v1-lama-first issue383-v1-seq-sat-lama-2011
p01.pddl 6.00 6.00 6.00 6.00
p02.pddl 12.00 12.00 12.00 12.00
p03.pddl 18.00 18.00 18.00 18.00
p04.pddl 17.00 17.00 17.00 17.00
p05.pddl 30.00 30.00 30.00 30.00
p06.pddl 55.00 55.00 55.00 55.00
p07.pddl 64.00 63.00 64.00 63.00
p08.pddl 98.00 96.00 98.00 96.00
p09.pddl 70.00 70.00 70.00 70.00
p10.pddl None None None None
p11.pddl 87.00 82.00 87.00 82.00
p12.pddl 113.00 112.00 113.00 112.00
p13.pddl 102.00 100.00 102.00 100.00
p14.pddl 112.00 112.00 112.00 112.00
p15.pddl 108.00 108.00 108.00 108.00
p16.pddl None None None None
p17.pddl 154.00 149.00 154.00 149.00
p18.pddl None None None None
p19.pddl None None None None
p20.pddl None None None None
p21.pddl None None None None
p22.pddl None None None None
p23.pddl 184.00 182.00 184.00 182.00
p24.pddl 226.00 226.00 226.00 226.00
p25.pddl 211.00 205.00 211.00 205.00
p26.pddl 240.00 229.00 240.00 229.00
p27.pddl 251.00 249.00 251.00 249.00
p28.pddl 211.00 211.00 211.00 211.00
p29.pddl 261.00 261.00 261.00 261.00
p30.pddl 292.00 289.00 292.00 289.00

pathways-noneg

cost issue383-base-lama-first issue383-base-seq-sat-lama-2011 issue383-v1-lama-first issue383-v1-seq-sat-lama-2011
p01.pddl 6.00 6.00 6.00 6.00
p02.pddl 12.00 12.00 12.00 12.00
p03.pddl 18.00 18.00 18.00 18.00
p04.pddl 17.00 17.00 17.00 17.00
p05.pddl 30.00 30.00 30.00 30.00
p06.pddl 55.00 55.00 55.00 55.00
p07.pddl 64.00 63.00 64.00 63.00
p08.pddl 98.00 96.00 98.00 96.00
p09.pddl 70.00 70.00 70.00 70.00
p10.pddl None None None None
p11.pddl 87.00 82.00 87.00 82.00
p12.pddl 113.00 112.00 113.00 112.00
p13.pddl 102.00 100.00 102.00 100.00
p14.pddl 112.00 112.00 112.00 112.00
p15.pddl 108.00 108.00 108.00 108.00
p16.pddl None None None None
p17.pddl 154.00 149.00 154.00 149.00
p18.pddl None None None None
p19.pddl None None None None
p20.pddl None None None None
p21.pddl None None None None
p22.pddl None None None None
p23.pddl 184.00 182.00 184.00 182.00
p24.pddl 226.00 226.00 226.00 226.00
p25.pddl 211.00 205.00 211.00 205.00
p26.pddl 240.00 229.00 240.00 229.00
p27.pddl 251.00 249.00 251.00 249.00
p28.pddl 211.00 211.00 211.00 211.00
p29.pddl 261.00 261.00 261.00 261.00
p30.pddl 292.00 289.00 292.00 289.00

pegsol-08-strips

cost issue383-base-lama-first issue383-base-seq-sat-lama-2011 issue383-v1-lama-first issue383-v1-seq-sat-lama-2011
p01.pddl 4.00 2.00 4.00 2.00
p02.pddl 5.00 5.00 5.00 5.00
p03.pddl 5.00 4.00 5.00 4.00
p04.pddl 7.00 4.00 7.00 4.00
p05.pddl 6.00 4.00 7.00 4.00
p06.pddl 8.00 4.00 8.00 4.00
p07.pddl 9.00 3.00 9.00 3.00
p08.pddl 11.00 6.00 11.00 6.00
p09.pddl 10.00 5.00 10.00 5.00
p10.pddl 10.00 6.00 10.00 6.00
p11.pddl 10.00 7.00 9.00 7.00
p12.pddl 13.00 8.00 12.00 8.00
p13.pddl 12.00 9.00 12.00 9.00
p14.pddl 10.00 7.00 10.00 7.00
p15.pddl 12.00 8.00 12.00 8.00
p16.pddl 14.00 8.00 14.00 8.00
p17.pddl 15.00 10.00 15.00 10.00
p18.pddl 15.00 7.00 15.00 7.00
p19.pddl 12.00 8.00 12.00 8.00
p20.pddl 16.00 7.00 16.00 7.00
p21.pddl 14.00 8.00 15.00 8.00
p22.pddl 14.00 6.00 14.00 6.00
p23.pddl 16.00 8.00 16.00 8.00
p24.pddl 15.00 8.00 15.00 8.00
p25.pddl 15.00 8.00 18.00 8.00
p26.pddl 18.00 9.00 18.00 9.00
p27.pddl 20.00 7.00 20.00 7.00
p28.pddl 22.00 22.00 22.00 22.00
p29.pddl 26.00 20.00 26.00 20.00
p30.pddl 30.00 20.00 30.00 20.00

pegsol-sat11-strips

cost issue383-base-lama-first issue383-base-seq-sat-lama-2011 issue383-v1-lama-first issue383-v1-seq-sat-lama-2011
p01.pddl 15.00 10.00 15.00 10.00
p02.pddl 15.00 7.00 15.00 7.00
p03.pddl 12.00 8.00 12.00 8.00
p04.pddl 14.00 12.00 14.00 12.00
p05.pddl 14.00 9.00 14.00 9.00
p06.pddl 12.00 7.00 12.00 7.00
p07.pddl 16.00 8.00 16.00 8.00
p08.pddl 15.00 11.00 15.00 11.00
p09.pddl 15.00 8.00 15.00 8.00
p10.pddl 16.00 7.00 16.00 7.00
p11.pddl 14.00 8.00 15.00 8.00
p12.pddl 16.00 8.00 16.00 8.00
p13.pddl 12.00 9.00 12.00 9.00
p14.pddl 15.00 8.00 18.00 8.00
p15.pddl 10.00 7.00 10.00 7.00
p16.pddl 18.00 9.00 18.00 9.00
p17.pddl 20.00 7.00 20.00 7.00
p18.pddl 22.00 22.00 22.00 22.00
p19.pddl 26.00 20.00 26.00 20.00
p20.pddl 30.00 20.00 30.00 20.00

philosophers

cost issue383-base-lama-first issue383-base-seq-sat-lama-2011 issue383-v1-lama-first issue383-v1-seq-sat-lama-2011
p01-phil2.pddl 18.00 18.00 18.00 18.00
p02-phil3.pddl 27.00 27.00 27.00 27.00
p03-phil4.pddl 36.00 36.00 36.00 36.00
p04-phil5.pddl 93.00 45.00 93.00 45.00
p05-phil6.pddl 102.00 54.00 102.00 54.00
p06-phil7.pddl 143.00 63.00 143.00 63.00
p07-phil8.pddl 152.00 72.00 152.00 72.00
p08-phil9.pddl 193.00 81.00 193.00 81.00
p09-phil10.pddl 202.00 90.00 202.00 90.00
p10-phil11.pddl 211.00 99.00 211.00 99.00
p11-phil12.pddl 220.00 108.00 220.00 108.00
p12-phil13.pddl 149.00 117.00 149.00 117.00
p13-phil14.pddl 158.00 126.00 158.00 126.00
p14-phil15.pddl 183.00 135.00 183.00 135.00
p15-phil16.pddl 192.00 144.00 192.00 144.00
p16-phil17.pddl 233.00 153.00 233.00 153.00
p17-phil18.pddl 242.00 162.00 242.00 162.00
p18-phil19.pddl 283.00 171.00 283.00 171.00
p19-phil20.pddl 292.00 180.00 292.00 180.00
p20-phil21.pddl 333.00 189.00 333.00 189.00
p21-phil22.pddl 342.00 198.00 342.00 198.00
p22-phil23.pddl 383.00 207.00 383.00 207.00
p23-phil24.pddl 392.00 216.00 392.00 216.00
p24-phil25.pddl 433.00 225.00 433.00 225.00
p25-phil26.pddl 442.00 234.00 442.00 234.00
p26-phil27.pddl 259.00 243.00 259.00 243.00
p27-phil28.pddl 268.00 252.00 268.00 252.00
p28-phil29.pddl 277.00 261.00 277.00 261.00
p29-phil30.pddl 286.00 270.00 286.00 270.00
p30-phil31.pddl 295.00 279.00 295.00 279.00
p31-phil32.pddl 304.00 288.00 304.00 288.00
p32-phil33.pddl 313.00 297.00 313.00 297.00
p33-phil34.pddl 322.00 306.00 322.00 306.00
p34-phil35.pddl 331.00 315.00 331.00 315.00
p35-phil36.pddl 340.00 340.00 340.00 340.00
p36-phil37.pddl 349.00 349.00 349.00 349.00
p37-phil38.pddl 358.00 358.00 358.00 358.00
p38-phil39.pddl 367.00 367.00 367.00 367.00
p39-phil40.pddl 376.00 376.00 376.00 376.00
p40-phil41.pddl 385.00 385.00 385.00 385.00
p41-phil42.pddl None None None None
p42-phil43.pddl None None None None
p43-phil44.pddl None None None None
p44-phil45.pddl None None None None
p45-phil46.pddl None None None None
p46-phil47.pddl None None None None
p47-phil48.pddl None None None None
p48-phil49.pddl None None None None

pipesworld-notankage

cost issue383-base-lama-first issue383-base-seq-sat-lama-2011 issue383-v1-lama-first issue383-v1-seq-sat-lama-2011
p01-net1-b6-g2.pddl 5.00 5.00 5.00 5.00
p02-net1-b6-g4.pddl 14.00 12.00 14.00 12.00
p03-net1-b8-g3.pddl 9.00 8.00 9.00 8.00
p04-net1-b8-g5.pddl 13.00 11.00 13.00 11.00
p05-net1-b10-g4.pddl 10.00 8.00 10.00 8.00
p06-net1-b10-g6.pddl 12.00 10.00 12.00 10.00
p07-net1-b12-g5.pddl 10.00 8.00 10.00 8.00
p08-net1-b12-g7.pddl 13.00 10.00 13.00 10.00
p09-net1-b14-g6.pddl 19.00 13.00 19.00 13.00
p10-net1-b14-g8.pddl 26.00 18.00 26.00 18.00
p11-net2-b10-g2.pddl 120.00 20.00 120.00 20.00
p12-net2-b10-g4.pddl 148.00 24.00 148.00 24.00
p13-net2-b12-g3.pddl 24.00 16.00 24.00 16.00
p14-net2-b12-g5.pddl 100.00 30.00 100.00 30.00
p15-net2-b14-g4.pddl 72.00 26.00 72.00 26.00
p16-net2-b14-g6.pddl 98.00 42.00 98.00 42.00
p17-net2-b16-g5.pddl 78.00 22.00 78.00 22.00
p18-net2-b16-g7.pddl 98.00 30.00 98.00 30.00
p19-net2-b18-g6.pddl 30.00 26.00 30.00 26.00
p20-net2-b18-g8.pddl 81.00 28.00 81.00 28.00
p21-net3-b12-g2.pddl 18.00 14.00 18.00 14.00
p22-net3-b12-g4.pddl 58.00 30.00 58.00 30.00
p23-net3-b14-g3.pddl 21.00 18.00 21.00 18.00
p24-net3-b14-g5.pddl 79.00 24.00 79.00 24.00
p25-net3-b16-g5.pddl 48.00 32.00 48.00 32.00
p26-net3-b16-g7.pddl 150.00 36.00 150.00 36.00
p27-net3-b18-g6.pddl 100.00 26.00 100.00 26.00
p28-net3-b18-g7.pddl 67.00 34.00 67.00 34.00
p29-net3-b20-g6.pddl 57.00 31.00 57.00 31.00
p30-net3-b20-g8.pddl 158.00 40.00 158.00 40.00
p31-net4-b14-g3.pddl 29.00 24.00 29.00 24.00
p32-net4-b14-g5.pddl 70.00 30.00 70.00 30.00
p33-net4-b16-g5.pddl 130.00 32.00 130.00 32.00
p34-net4-b16-g6.pddl 78.00 33.00 78.00 33.00
p35-net4-b18-g4.pddl 64.00 22.00 64.00 22.00
p36-net4-b18-g6.pddl 112.00 27.00 112.00 27.00
p37-net4-b20-g5.pddl 80.00 29.00 80.00 29.00
p38-net4-b20-g7.pddl 123.00 32.00 123.00 32.00
p39-net4-b22-g7.pddl 36.00 32.00 36.00 32.00
p40-net4-b22-g8.pddl 98.00 34.00 98.00 34.00
p41-net5-b22-g2.pddl 28.00 12.00 28.00 12.00
p42-net5-b22-g4.pddl None None None None
p43-net5-b24-g3.pddl None None None None
p44-net5-b24-g5.pddl None None None None
p45-net5-b26-g4.pddl None None None None
p46-net5-b26-g6.pddl None None None None
p47-net5-b28-g5.pddl None None None None
p48-net5-b28-g7.pddl None None None None
p49-net5-b30-g6.pddl 38.00 38.00 38.00 38.00
p50-net5-b30-g8.pddl 64.00 57.00 64.00 57.00

pipesworld-tankage

cost issue383-base-lama-first issue383-base-seq-sat-lama-2011 issue383-v1-lama-first issue383-v1-seq-sat-lama-2011
p01-net1-b6-g2-t50.pddl 5.00 5.00 5.00 5.00
p02-net1-b6-g4-t50.pddl 32.00 12.00 32.00 12.00
p03-net1-b8-g3-t80.pddl 10.00 8.00 10.00 8.00
p04-net1-b8-g5-t80.pddl 21.00 11.00 21.00 11.00
p05-net1-b10-g4-t50.pddl 9.00 8.00 9.00 8.00
p06-net1-b10-g6-t50.pddl 11.00 10.00 11.00 10.00
p07-net1-b12-g5-t80.pddl 12.00 8.00 12.00 8.00
p08-net1-b12-g7-t80.pddl 14.00 13.00 14.00 13.00
p09-net1-b14-g6-t50.pddl 33.00 20.00 33.00 20.00
p10-net1-b14-g8-t50.pddl 33.00 22.00 33.00 22.00
p11-net2-b10-g2-t30.pddl 42.00 22.00 42.00 22.00
p12-net2-b10-g4-t60.pddl 32.00 30.00 32.00 30.00
p13-net2-b12-g3-t70.pddl 26.00 16.00 26.00 16.00
p14-net2-b12-g5-t30.pddl 62.00 38.00 62.00 38.00
p15-net2-b14-g4-t30.pddl 50.00 30.00 50.00 30.00
p16-net2-b14-g6-t80.pddl 66.00 46.00 66.00 46.00
p17-net2-b16-g5-t20.pddl 122.00 44.00 130.00 44.00
p18-net2-b16-g7-t60.pddl 70.00 34.00 70.00 34.00
p19-net2-b18-g6-t60.pddl 34.00 24.00 34.00 24.00
p20-net2-b18-g8-t90.pddl 68.00 30.00 68.00 30.00
p21-net3-b12-g2-t60.pddl 18.00 14.00 18.00 14.00
p22-net3-b12-g4-t60.pddl 72.00 32.00 72.00 32.00
p23-net3-b14-g3-t60.pddl 48.00 48.00 48.00 48.00
p24-net3-b14-g5-t60.pddl 78.00 78.00 78.00 78.00
p25-net3-b16-g5-t60.pddl 52.00 44.00 52.00 44.00
p26-net3-b16-g7-t70.pddl 55.00 51.00 55.00 51.00
p27-net3-b18-g6-t70.pddl 51.00 30.00 51.00 30.00
p28-net3-b18-g7-t70.pddl None None None None
p29-net3-b20-g6-t70.pddl 80.00 39.00 80.00 39.00
p30-net3-b20-g8-t70.pddl 64.00 54.00 64.00 54.00
p31-net4-b14-g3-t20.pddl 86.00 39.00 86.00 39.00
p32-net4-b14-g5-t30.pddl 193.00 35.00 193.00 35.00
p33-net4-b16-g5-t60.pddl 102.00 78.00 102.00 78.00
p34-net4-b16-g6-t60.pddl 55.00 31.00 55.00 31.00
p35-net4-b18-g4-t90.pddl 40.00 40.00 40.00 40.00
p36-net4-b18-g6-t90.pddl 80.00 80.00 80.00 80.00
p37-net4-b20-g5-t60.pddl 34.00 30.00 34.00 30.00
p38-net4-b20-g7-t60.pddl 138.00 138.00 138.00 138.00
p39-net4-b22-g7-t50.pddl 38.00 38.00 38.00 38.00
p40-net4-b22-g8-t50.pddl 75.00 37.00 75.00 37.00
p41-net5-b22-g2-t20.pddl 18.00 14.00 18.00 14.00
p42-net5-b22-g4-t50.pddl None None None None
p43-net5-b24-g3-t80.pddl None None None None
p44-net5-b24-g5-t80.pddl None None None None
p45-net5-b26-g4-t50.pddl None None None None
p46-net5-b26-g6-t50.pddl None None None None
p47-net5-b28-g5-t50.pddl None None None None
p48-net5-b28-g7-t50.pddl None None None None
p49-net5-b30-g6-t50.pddl 57.00 43.00 57.00 43.00
p50-net5-b30-g8-t50.pddl 100.00 100.00 100.00 100.00

psr-large

cost issue383-base-lama-first issue383-base-seq-sat-lama-2011 issue383-v1-lama-first issue383-v1-seq-sat-lama-2011
p01-s29-n2-l5-f30.pddl 6.00 6.00 6.00 6.00
p02-s46-n3-l5-f50.pddl 7.00 6.00 7.00 6.00
p03-s53-n4-l3-f30.pddl 13.00 11.00 13.00 11.00
p04-s66-n5-l2-f50.pddl 8.00 6.00 8.00 6.00
p05-s71-n5-l3-f70.pddl 13.00 8.00 13.00 8.00
p06-s74-n5-l4-f50.pddl 10.00 9.00 10.00 9.00
p07-s81-n6-l2-f30.pddl 28.00 12.00 28.00 12.00
p08-s87-n6-l3-f70.pddl 3.00 3.00 3.00 3.00
p09-s90-n6-l4-f50.pddl 8.00 8.00 8.00 8.00
p10-s93-n6-l5-f30.pddl 30.00 17.00 30.00 17.00
p11-s100-n7-l3-f10.pddl 12.00 6.00 12.00 6.00
p12-s103-n7-l3-f70.pddl 7.00 7.00 7.00 7.00
p13-s106-n7-l4-f50.pddl 6.00 6.00 6.00 6.00
p14-s112-n8-l2-f10.pddl 9.00 9.00 9.00 9.00
p15-s114-n8-l2-f50.pddl 17.00 11.00 17.00 11.00
p16-s119-n8-l3-f70.pddl 8.00 6.00 8.00 6.00
p17-s129-n9-l2-f30.pddl 14.00 14.00 14.00 14.00
p18-s133-n9-l3-f30.pddl 22.00 18.00 22.00 18.00
p19-s144-n10-l2-f10.pddl 19.00 7.00 19.00 7.00
p20-s149-n10-l3-f30.pddl 29.00 11.00 29.00 11.00
p21-s160-n12-l2-f10.pddl 9.00 9.00 9.00 9.00
p22-s162-n12-l3-f10.pddl 13.00 9.00 13.00 9.00
p23-s164-n15-l2-f10.pddl 35.00 17.00 35.00 17.00
p24-s166-n15-l3-f10.pddl 13.00 13.00 13.00 13.00
p25-s168-n20-l2-f10.pddl 11.00 9.00 11.00 9.00
p26-s170-n20-l3-f10.pddl 54.00 20.00 54.00 20.00
p27-s172-n25-l2-f10.pddl 19.00 17.00 19.00 17.00
p28-s174-n25-l3-f10.pddl 41.00 31.00 41.00 31.00
p29-s177-n30-l2-f30.pddl 63.00 61.00 63.00 61.00
p30-s179-n30-l3-f30.pddl 47.00 41.00 47.00 41.00
p31-s181-n35-l2-f30.pddl 81.00 57.00 81.00 57.00
p32-s183-n35-l3-f30.pddl 74.00 74.00 74.00 74.00
p33-s185-n40-l2-f30.pddl 67.00 67.00 67.00 67.00
p34-s187-n40-l3-f30.pddl 79.00 79.00 79.00 79.00
p35-s189-n45-l2-f30.pddl None None None None
p36-s191-n45-l3-f30.pddl 147.00 147.00 147.00 147.00
p37-s193-n50-l2-f30.pddl 111.00 111.00 111.00 111.00
p38-s195-n50-l3-f30.pddl 143.00 143.00 143.00 143.00
p39-s197-n55-l2-f30.pddl None None None None
p40-s199-n55-l3-f30.pddl None None None None
p41-s201-n60-l2-f30.pddl 107.00 102.00 107.00 102.00
p42-s203-n60-l3-f30.pddl None None None None
p43-s205-n70-l2-f30.pddl None None None None
p44-s207-n70-l3-f30.pddl None None None None
p45-s209-n80-l2-f30.pddl None None None None
p46-s211-n80-l3-f30.pddl None None None None
p47-s213-n90-l2-f30.pddl None None None None
p48-s215-n90-l3-f30.pddl None None None None
p49-s217-n100-l2-f30.pddl None None None None
p50-s219-n100-l3-f30.pddl None None None None

psr-middle

cost issue383-base-lama-first issue383-base-seq-sat-lama-2011 issue383-v1-lama-first issue383-v1-seq-sat-lama-2011
p01-s17-n2-l2-f30.pddl 4.00 4.00 4.00 4.00
p02-s23-n2-l3-f70.pddl 3.00 3.00 3.00 3.00
p03-s28-n2-l5-f10.pddl 9.00 5.00 9.00 5.00
p04-s31-n2-l5-f70.pddl 4.00 4.00 4.00 4.00
p05-s34-n3-l2-f50.pddl 5.00 5.00 5.00 5.00
p06-s37-n3-l3-f30.pddl 13.00 10.00 13.00 10.00
p07-s38-n3-l3-f50.pddl 3.00 3.00 3.00 3.00
p08-s40-n3-l4-f10.pddl 9.00 3.00 9.00 3.00
p09-s42-n3-l4-f50.pddl 5.00 5.00 5.00 5.00
p10-s45-n3-l5-f30.pddl 9.00 9.00 9.00 9.00
p11-s46-n3-l5-f50.pddl 7.00 6.00 7.00 6.00
p12-s50-n4-l2-f50.pddl 7.00 7.00 7.00 7.00
p13-s53-n4-l3-f30.pddl 13.00 11.00 13.00 11.00
p14-s55-n4-l3-f70.pddl 6.00 6.00 6.00 6.00
p15-s56-n4-l4-f10.pddl 9.00 9.00 9.00 9.00
p16-s60-n4-l5-f10.pddl 6.00 6.00 6.00 6.00
p17-s61-n4-l5-f30.pddl 5.00 5.00 5.00 5.00
p18-s62-n4-l5-f50.pddl 8.00 8.00 8.00 8.00
p19-s66-n5-l2-f50.pddl 8.00 6.00 8.00 6.00
p20-s69-n5-l3-f30.pddl 13.00 11.00 13.00 11.00
p21-s72-n5-l4-f10.pddl 17.00 13.00 17.00 13.00
p22-s74-n5-l4-f50.pddl 10.00 9.00 10.00 9.00
p23-s76-n5-l5-f10.pddl 11.00 9.00 11.00 9.00
p24-s77-n5-l5-f30.pddl 3.00 3.00 3.00 3.00
p25-s81-n6-l2-f30.pddl 28.00 12.00 28.00 12.00
p26-s85-n6-l3-f30.pddl 14.00 13.00 14.00 13.00
p27-s86-n6-l3-f50.pddl 19.00 13.00 19.00 13.00
p28-s88-n6-l4-f10.pddl 7.00 7.00 7.00 7.00
p29-s89-n6-l4-f30.pddl 37.00 13.00 37.00 13.00
p30-s90-n6-l4-f50.pddl 8.00 8.00 8.00 8.00
p31-s92-n6-l5-f10.pddl 9.00 7.00 9.00 7.00
p32-s93-n6-l5-f30.pddl 30.00 17.00 30.00 17.00
p33-s100-n7-l3-f10.pddl 12.00 6.00 12.00 6.00
p34-s102-n7-l3-f50.pddl 17.00 13.00 17.00 13.00
p35-s103-n7-l3-f70.pddl 7.00 7.00 7.00 7.00
p36-s106-n7-l4-f50.pddl 6.00 6.00 6.00 6.00
p37-s108-n7-l5-f10.pddl 11.00 11.00 11.00 11.00
p38-s109-n7-l5-f30.pddl 31.00 27.00 31.00 27.00
p39-s112-n8-l2-f10.pddl 9.00 9.00 9.00 9.00
p40-s114-n8-l2-f50.pddl 17.00 11.00 17.00 11.00
p41-s116-n8-l3-f10.pddl 25.00 13.00 25.00 13.00
p42-s120-n8-l4-f10.pddl 16.00 12.00 16.00 12.00
p43-s123-n8-l4-f70.pddl 9.00 9.00 9.00 9.00
p44-s131-n9-l2-f70.pddl 8.00 8.00 8.00 8.00
p45-s132-n9-l3-f10.pddl 8.00 8.00 8.00 8.00
p46-s135-n9-l3-f70.pddl 5.00 5.00 5.00 5.00
p47-s139-n9-l4-f70.pddl 5.00 5.00 5.00 5.00
p48-s144-n10-l2-f10.pddl 19.00 7.00 19.00 7.00
p49-s149-n10-l3-f30.pddl 29.00 11.00 29.00 11.00
p50-s153-n10-l4-f30.pddl 18.00 11.00 18.00 11.00

psr-small

cost issue383-base-lama-first issue383-base-seq-sat-lama-2011 issue383-v1-lama-first issue383-v1-seq-sat-lama-2011
p01-s2-n1-l2-f50.pddl 8.00 8.00 8.00 8.00
p02-s5-n1-l3-f30.pddl 11.00 11.00 11.00 11.00
p03-s7-n1-l3-f70.pddl 11.00 11.00 11.00 11.00
p04-s8-n1-l4-f10.pddl 10.00 10.00 10.00 10.00
p05-s9-n1-l4-f30.pddl 11.00 11.00 11.00 11.00
p06-s10-n1-l4-f50.pddl 8.00 8.00 8.00 8.00
p07-s11-n1-l4-f70.pddl 11.00 11.00 11.00 11.00
p08-s12-n1-l5-f10.pddl 8.00 8.00 8.00 8.00
p09-s13-n1-l5-f30.pddl 8.00 8.00 8.00 8.00
p10-s17-n2-l2-f30.pddl 7.00 7.00 7.00 7.00
p11-s18-n2-l2-f50.pddl 19.00 19.00 19.00 19.00
p12-s21-n2-l3-f30.pddl 16.00 16.00 16.00 16.00
p13-s22-n2-l3-f50.pddl 15.00 15.00 15.00 15.00
p14-s23-n2-l3-f70.pddl 9.00 9.00 9.00 9.00
p15-s24-n2-l4-f10.pddl 10.00 10.00 10.00 10.00
p16-s29-n2-l5-f30.pddl 25.00 25.00 25.00 25.00
p17-s30-n2-l5-f50.pddl 9.00 9.00 9.00 9.00
p18-s31-n2-l5-f70.pddl 12.00 12.00 12.00 12.00
p19-s33-n3-l2-f30.pddl 31.00 25.00 31.00 25.00
p20-s34-n3-l2-f50.pddl 17.00 17.00 17.00 17.00
p21-s35-n3-l2-f70.pddl 10.00 10.00 10.00 10.00
p22-s37-n3-l3-f30.pddl 33.00 33.00 33.00 33.00
p23-s38-n3-l3-f50.pddl 12.00 12.00 12.00 12.00
p24-s39-n3-l3-f70.pddl 10.00 10.00 10.00 10.00
p25-s40-n3-l4-f10.pddl 9.00 9.00 9.00 9.00
p26-s41-n3-l4-f30.pddl 17.00 17.00 17.00 17.00
p27-s42-n3-l4-f50.pddl 21.00 21.00 21.00 21.00
p28-s43-n3-l4-f70.pddl 14.00 14.00 14.00 14.00
p29-s45-n3-l5-f30.pddl 27.00 21.00 27.00 21.00
p30-s46-n3-l5-f50.pddl 22.00 22.00 22.00 22.00
p31-s49-n4-l2-f30.pddl 19.00 19.00 19.00 19.00
p32-s50-n4-l2-f50.pddl 24.00 24.00 24.00 24.00
p33-s51-n4-l2-f70.pddl 21.00 21.00 21.00 21.00
p34-s55-n4-l3-f70.pddl 21.00 21.00 21.00 21.00
p35-s57-n5-l2-f30.pddl 22.00 22.00 22.00 22.00
p36-s65-n6-l2-f30.pddl 26.00 22.00 26.00 22.00
p37-s67-n6-l2-f70.pddl 23.00 23.00 23.00 23.00
p38-s78-n3-l3-f50.pddl 13.00 13.00 13.00 13.00
p39-s79-n3-l3-f70.pddl 23.00 23.00 23.00 23.00
p40-s80-n3-l4-f10.pddl 20.00 20.00 20.00 20.00
p41-s81-n3-l4-f30.pddl 10.00 10.00 10.00 10.00
p42-s82-n3-l4-f50.pddl 30.00 30.00 30.00 30.00
p43-s83-n3-l4-f70.pddl 20.00 20.00 20.00 20.00
p44-s89-n4-l2-f30.pddl 19.00 19.00 19.00 19.00
p45-s94-n4-l3-f50.pddl 20.00 20.00 20.00 20.00
p46-s97-n5-l2-f30.pddl 34.00 34.00 34.00 34.00
p47-s98-n5-l2-f50.pddl 27.00 27.00 27.00 27.00
p48-s101-n5-l3-f30.pddl 37.00 37.00 37.00 37.00
p49-s105-n6-l2-f30.pddl 47.00 47.00 47.00 47.00
p50-s107-n6-l2-f70.pddl 23.00 23.00 23.00 23.00

rovers

cost issue383-base-lama-first issue383-base-seq-sat-lama-2011 issue383-v1-lama-first issue383-v1-seq-sat-lama-2011
p01.pddl 10.00 10.00 10.00 10.00
p02.pddl 8.00 8.00 8.00 8.00
p03.pddl 12.00 11.00 12.00 11.00
p04.pddl 8.00 8.00 8.00 8.00
p05.pddl 22.00 22.00 22.00 22.00
p06.pddl 37.00 36.00 37.00 36.00
p07.pddl 20.00 18.00 20.00 18.00
p08.pddl 28.00 28.00 28.00 28.00
p09.pddl 36.00 33.00 36.00 33.00
p10.pddl 39.00 38.00 39.00 38.00
p11.pddl 36.00 31.00 36.00 31.00
p12.pddl 22.00 21.00 22.00 21.00
p13.pddl 50.00 45.00 50.00 45.00
p14.pddl 33.00 29.00 33.00 29.00
p15.pddl 46.00 41.00 46.00 41.00
p16.pddl 41.00 41.00 41.00 41.00
p17.pddl 54.00 50.00 54.00 50.00
p18.pddl 43.00 42.00 43.00 42.00
p19.pddl 80.00 68.00 80.00 68.00
p20.pddl 93.00 93.00 93.00 93.00
p21.pddl 68.00 63.00 68.00 63.00
p22.pddl 75.00 68.00 75.00 68.00
p23.pddl 83.00 83.00 83.00 83.00
p24.pddl 134.00 109.00 134.00 109.00
p25.pddl 30.00 30.00 30.00 30.00
p26.pddl 64.00 59.00 64.00 59.00
p27.pddl 109.00 96.00 109.00 96.00
p28.pddl 77.00 74.00 77.00 74.00
p29.pddl 64.00 60.00 64.00 60.00
p30.pddl 119.00 119.00 119.00 119.00
p31.pddl 129.00 123.00 129.00 123.00
p32.pddl 173.00 173.00 173.00 173.00
p33.pddl 270.00 219.00 270.00 219.00
p34.pddl 143.00 142.00 143.00 142.00
p35.pddl 414.00 364.00 414.00 364.00
p36.pddl 250.00 230.00 250.00 230.00
p37.pddl 411.00 355.00 411.00 355.00
p38.pddl 300.00 300.00 300.00 300.00
p39.pddl 358.00 358.00 358.00 358.00
p40.pddl 360.00 332.00 360.00 332.00

satellite

cost issue383-base-lama-first issue383-base-seq-sat-lama-2011 issue383-v1-lama-first issue383-v1-seq-sat-lama-2011
p01-pfile1.pddl 9.00 9.00 9.00 9.00
p02-pfile2.pddl 13.00 13.00 13.00 13.00
p03-pfile3.pddl 11.00 11.00 11.00 11.00
p04-pfile4.pddl 21.00 17.00 21.00 17.00
p05-pfile5.pddl 24.00 15.00 24.00 15.00
p06-pfile6.pddl 22.00 20.00 22.00 20.00
p07-pfile7.pddl 24.00 22.00 24.00 22.00
p08-pfile8.pddl 32.00 30.00 32.00 30.00
p09-pfile9.pddl 37.00 27.00 37.00 27.00
p10-pfile10.pddl 35.00 32.00 35.00 32.00
p11-pfile11.pddl 34.00 34.00 34.00 34.00
p12-pfile12.pddl 51.00 43.00 51.00 43.00
p13-pfile13.pddl 78.00 57.00 78.00 57.00
p14-pfile14.pddl 46.00 41.00 46.00 41.00
p15-pfile15.pddl 53.00 52.00 53.00 52.00
p16-pfile16.pddl 48.00 48.00 48.00 48.00
p17-pfile17.pddl 47.00 47.00 47.00 47.00
p18-pfile18.pddl 42.00 39.00 42.00 39.00
p19-pfile19.pddl 70.00 63.00 70.00 63.00
p20-pfile20.pddl 103.00 95.00 103.00 95.00
p21-HC-pfile1.pddl 84.00 74.00 84.00 74.00
p22-HC-pfile2.pddl 116.00 93.00 116.00 93.00
p23-HC-pfile3.pddl 133.00 100.00 133.00 100.00
p24-HC-pfile4.pddl 186.00 139.00 186.00 139.00
p25-HC-pfile5.pddl 182.00 127.00 182.00 127.00
p26-HC-pfile6.pddl 164.00 139.00 164.00 139.00
p27-HC-pfile7.pddl 146.00 146.00 146.00 146.00
p28-HC-pfile8.pddl 220.00 220.00 220.00 220.00
p29-HC-pfile9.pddl 192.00 192.00 192.00 192.00
p30-HC-pfile10.pddl 288.00 287.00 288.00 287.00
p31-HC-pfile11.pddl 272.00 272.00 272.00 272.00
p32-HC-pfile12.pddl 411.00 379.00 411.00 379.00
p33-HC-pfile13.pddl 556.00 556.00 556.00 556.00
p34-HC-pfile14.pddl 330.00 287.00 330.00 287.00
p35-HC-pfile15.pddl 478.00 476.00 478.00 476.00
p36-HC-pfile16.pddl 360.00 360.00 360.00 360.00

scanalyzer-08-strips

cost issue383-base-lama-first issue383-base-seq-sat-lama-2011 issue383-v1-lama-first issue383-v1-seq-sat-lama-2011
p01.pddl 18.00 18.00 18.00 18.00
p02.pddl 34.00 22.00 34.00 22.00
p03.pddl 42.00 26.00 30.00 26.00
p04.pddl 24.00 24.00 24.00 24.00
p05.pddl 48.00 30.00 48.00 30.00
p06.pddl 60.00 36.00 40.00 38.00
p07.pddl 30.00 30.00 30.00 30.00
p08.pddl 62.00 44.00 62.00 52.00
p09.pddl 76.00 46.00 52.00 52.00
p10.pddl 36.00 36.00 36.00 36.00
p11.pddl 76.00 56.00 76.00 64.00
p12.pddl 94.00 68.00 64.00 64.00
p13.pddl 42.00 42.00 42.00 42.00
p14.pddl 90.00 66.00 90.00 78.00
p15.pddl 112.00 72.00 76.00 76.00
p16.pddl 48.00 48.00 48.00 48.00
p17.pddl 104.00 76.00 104.00 90.00
p18.pddl 130.00 96.00 86.00 86.00
p19.pddl 54.00 54.00 54.00 54.00
p20.pddl 118.00 86.00 118.00 102.00
p21.pddl 148.00 112.00 98.00 98.00
p22.pddl 15.00 13.00 15.00 13.00
p23.pddl 15.00 13.00 15.00 13.00
p24.pddl 15.00 13.00 15.00 13.00
p25.pddl 42.00 26.00 42.00 26.00
p26.pddl 66.00 30.00 66.00 30.00
p27.pddl 60.00 38.00 88.00 40.00
p28.pddl 69.00 39.00 69.00 39.00
p29.pddl 179.00 59.00 179.00 59.00
p30.pddl 133.00 97.00 123.00 67.00

scanalyzer-sat11-strips

cost issue383-base-lama-first issue383-base-seq-sat-lama-2011 issue383-v1-lama-first issue383-v1-seq-sat-lama-2011
p01.pddl 42.00 26.00 42.00 26.00
p02.pddl 36.00 36.00 36.00 36.00
p03.pddl 60.00 36.00 40.00 38.00
p04.pddl 76.00 46.00 52.00 52.00
p05.pddl 42.00 42.00 42.00 42.00
p06.pddl 66.00 30.00 66.00 30.00
p07.pddl 48.00 48.00 48.00 48.00
p08.pddl 60.00 36.00 88.00 40.00
p09.pddl 94.00 68.00 64.00 64.00
p10.pddl 90.00 66.00 90.00 78.00
p11.pddl 112.00 72.00 76.00 76.00
p12.pddl 76.00 56.00 76.00 64.00
p13.pddl 62.00 44.00 62.00 52.00
p14.pddl 104.00 76.00 104.00 90.00
p15.pddl 130.00 96.00 86.00 86.00
p16.pddl 118.00 86.00 118.00 102.00
p17.pddl 148.00 112.00 98.00 98.00
p18.pddl 69.00 39.00 69.00 39.00
p19.pddl 179.00 59.00 179.00 59.00
p20.pddl 133.00 99.00 123.00 67.00

schedule

cost issue383-base-lama-first issue383-base-seq-sat-lama-2011 issue383-v1-lama-first issue383-v1-seq-sat-lama-2011
probschedule-2-0.pddl 2.00 2.00 2.00 2.00
probschedule-2-1.pddl 2.00 2.00 2.00 2.00
probschedule-2-2.pddl 2.00 2.00 2.00 2.00
probschedule-3-0.pddl 4.00 4.00 4.00 4.00
probschedule-3-1.pddl 2.00 2.00 2.00 2.00
probschedule-3-2.pddl 4.00 4.00 4.00 4.00
probschedule-4-0.pddl 5.00 5.00 5.00 5.00
probschedule-4-1.pddl 7.00 5.00 7.00 5.00
probschedule-4-2.pddl 5.00 5.00 5.00 5.00
probschedule-5-0.pddl 5.00 5.00 5.00 5.00
probschedule-5-1.pddl 6.00 6.00 6.00 6.00
probschedule-5-2.pddl 7.00 7.00 7.00 7.00
probschedule-6-0.pddl 8.00 7.00 8.00 7.00
probschedule-6-1.pddl 9.00 7.00 9.00 7.00
probschedule-6-2.pddl 9.00 5.00 9.00 5.00
probschedule-7-0.pddl 7.00 7.00 7.00 7.00
probschedule-7-1.pddl 8.00 8.00 8.00 8.00
probschedule-7-2.pddl 10.00 8.00 10.00 8.00
probschedule-8-0.pddl 9.00 9.00 9.00 9.00
probschedule-8-1.pddl 10.00 10.00 10.00 10.00
probschedule-8-2.pddl 11.00 9.00 11.00 9.00
probschedule-9-0.pddl 12.00 12.00 12.00 12.00
probschedule-9-1.pddl 9.00 9.00 9.00 9.00
probschedule-9-2.pddl 11.00 11.00 11.00 11.00
probschedule-10-0.pddl 16.00 12.00 16.00 12.00
probschedule-10-1.pddl 11.00 10.00 11.00 10.00
probschedule-10-2.pddl 14.00 12.00 14.00 12.00
probschedule-11-0.pddl 17.00 14.00 17.00 14.00
probschedule-11-1.pddl 12.00 12.00 12.00 12.00
probschedule-11-2.pddl 15.00 13.00 15.00 13.00
probschedule-12-0.pddl 16.00 14.00 16.00 14.00
probschedule-12-1.pddl 16.00 14.00 16.00 14.00
probschedule-12-2.pddl 15.00 14.00 15.00 14.00
probschedule-13-0.pddl 16.00 15.00 16.00 15.00
probschedule-13-1.pddl 19.00 16.00 19.00 16.00
probschedule-13-2.pddl 17.00 15.00 17.00 15.00
probschedule-14-0.pddl 21.00 18.00 21.00 18.00
probschedule-14-1.pddl 20.00 17.00 20.00 17.00
probschedule-14-2.pddl 17.00 17.00 17.00 17.00
probschedule-15-0.pddl 19.00 19.00 19.00 19.00
probschedule-15-1.pddl 22.00 19.00 22.00 19.00
probschedule-15-2.pddl 18.00 17.00 18.00 17.00
probschedule-16-0.pddl 24.00 20.00 24.00 20.00
probschedule-16-1.pddl 23.00 20.00 23.00 20.00
probschedule-16-2.pddl 23.00 19.00 23.00 19.00
probschedule-17-0.pddl 23.00 19.00 23.00 19.00
probschedule-17-1.pddl 22.00 20.00 22.00 20.00
probschedule-17-2.pddl 22.00 22.00 22.00 22.00
probschedule-18-0.pddl 23.00 20.00 23.00 20.00
probschedule-18-1.pddl 25.00 22.00 25.00 22.00
probschedule-18-2.pddl 22.00 20.00 22.00 20.00
probschedule-19-0.pddl 27.00 24.00 27.00 24.00
probschedule-19-1.pddl 26.00 23.00 26.00 23.00
probschedule-19-2.pddl 24.00 21.00 24.00 21.00
probschedule-20-0.pddl 26.00 24.00 26.00 24.00
probschedule-20-1.pddl 28.00 27.00 28.00 27.00
probschedule-20-2.pddl 24.00 24.00 24.00 24.00
probschedule-21-0.pddl 25.00 25.00 25.00 25.00
probschedule-21-1.pddl 27.00 27.00 27.00 27.00
probschedule-21-2.pddl 30.00 27.00 30.00 27.00
probschedule-22-0.pddl 31.00 27.00 31.00 27.00
probschedule-22-1.pddl 28.00 28.00 28.00 28.00
probschedule-22-2.pddl 31.00 28.00 31.00 28.00
probschedule-23-0.pddl 30.00 29.00 30.00 29.00
probschedule-23-1.pddl 37.00 34.00 37.00 34.00
probschedule-23-2.pddl 34.00 31.00 34.00 31.00
probschedule-24-0.pddl 32.00 30.00 32.00 30.00
probschedule-24-1.pddl 34.00 33.00 34.00 33.00
probschedule-24-2.pddl 30.00 30.00 30.00 30.00
probschedule-25-0.pddl 28.00 28.00 28.00 28.00
probschedule-25-1.pddl 31.00 30.00 31.00 30.00
probschedule-25-2.pddl 28.00 27.00 28.00 27.00
probschedule-26-0.pddl 35.00 29.00 35.00 29.00
probschedule-26-1.pddl 32.00 31.00 32.00 31.00
probschedule-26-2.pddl 36.00 33.00 36.00 33.00
probschedule-27-0.pddl 35.00 32.00 35.00 32.00
probschedule-27-1.pddl 36.00 35.00 36.00 35.00
probschedule-27-2.pddl 39.00 36.00 40.00 36.00
probschedule-28-0.pddl 33.00 33.00 33.00 33.00
probschedule-28-1.pddl 36.00 35.00 36.00 35.00
probschedule-28-2.pddl 43.00 38.00 38.00 35.00
probschedule-29-0.pddl 39.00 34.00 39.00 34.00
probschedule-29-1.pddl 44.00 41.00 44.00 41.00
probschedule-29-2.pddl 34.00 33.00 34.00 33.00
probschedule-30-0.pddl 39.00 37.00 39.00 37.00
probschedule-30-1.pddl 41.00 39.00 41.00 39.00
probschedule-30-2.pddl 39.00 36.00 39.00 36.00
probschedule-31-0.pddl 41.00 37.00 41.00 37.00
probschedule-31-1.pddl 38.00 38.00 40.00 38.00
probschedule-31-2.pddl 41.00 38.00 41.00 38.00
probschedule-32-0.pddl 38.00 36.00 38.00 36.00
probschedule-32-1.pddl 37.00 37.00 37.00 37.00
probschedule-32-2.pddl 39.00 39.00 39.00 39.00
probschedule-33-0.pddl 42.00 40.00 42.00 40.00
probschedule-33-1.pddl 44.00 39.00 40.00 40.00
probschedule-33-2.pddl 38.00 38.00 38.00 38.00
probschedule-34-0.pddl 41.00 41.00 41.00 41.00
probschedule-34-1.pddl 48.00 44.00 48.00 44.00
probschedule-34-2.pddl 47.00 46.00 47.00 46.00
probschedule-35-0.pddl 54.00 50.00 56.00 46.00
probschedule-35-1.pddl 45.00 42.00 44.00 43.00
probschedule-35-2.pddl 52.00 49.00 49.00 47.00
probschedule-36-0.pddl 56.00 49.00 54.00 47.00
probschedule-36-1.pddl 43.00 41.00 43.00 41.00
probschedule-36-2.pddl 45.00 45.00 45.00 45.00
probschedule-37-0.pddl 58.00 54.00 58.00 55.00
probschedule-37-1.pddl 45.00 44.00 45.00 44.00
probschedule-37-2.pddl 48.00 46.00 48.00 46.00
probschedule-38-0.pddl 54.00 51.00 54.00 51.00
probschedule-38-1.pddl 49.00 47.00 50.00 47.00
probschedule-38-2.pddl 60.00 53.00 60.00 53.00
probschedule-39-0.pddl 50.00 50.00 50.00 50.00
probschedule-39-1.pddl 48.00 46.00 48.00 46.00
probschedule-39-2.pddl 49.00 48.00 49.00 48.00
probschedule-40-0.pddl 47.00 46.00 47.00 46.00
probschedule-40-1.pddl 57.00 53.00 52.00 52.00
probschedule-40-2.pddl 55.00 52.00 54.00 52.00
probschedule-41-0.pddl 51.00 50.00 51.00 50.00
probschedule-41-1.pddl 54.00 53.00 54.00 53.00
probschedule-41-2.pddl 53.00 50.00 49.00 49.00
probschedule-42-0.pddl 53.00 52.00 50.00 50.00
probschedule-42-1.pddl 58.00 54.00 55.00 55.00
probschedule-42-2.pddl 53.00 50.00 53.00 50.00
probschedule-43-0.pddl 58.00 55.00 58.00 55.00
probschedule-43-1.pddl 59.00 55.00 59.00 55.00
probschedule-43-2.pddl 54.00 53.00 54.00 53.00
probschedule-44-0.pddl 61.00 58.00 60.00 57.00
probschedule-44-1.pddl 58.00 54.00 58.00 54.00
probschedule-44-2.pddl 58.00 58.00 58.00 58.00
probschedule-45-0.pddl 62.00 60.00 62.00 60.00
probschedule-45-1.pddl 54.00 54.00 54.00 54.00
probschedule-45-2.pddl 56.00 54.00 56.00 54.00
probschedule-46-0.pddl 54.00 54.00 54.00 54.00
probschedule-46-1.pddl 60.00 59.00 60.00 59.00
probschedule-46-2.pddl 66.00 58.00 66.00 58.00
probschedule-47-0.pddl 56.00 56.00 56.00 56.00
probschedule-47-1.pddl 58.00 56.00 58.00 56.00
probschedule-47-2.pddl 56.00 55.00 56.00 55.00
probschedule-48-0.pddl 59.00 59.00 59.00 59.00
probschedule-48-1.pddl 59.00 59.00 59.00 59.00
probschedule-48-2.pddl 60.00 59.00 60.00 59.00
probschedule-49-0.pddl 58.00 55.00 58.00 55.00
probschedule-49-1.pddl 61.00 60.00 61.00 60.00
probschedule-49-2.pddl 65.00 64.00 65.00 64.00
probschedule-50-0.pddl 60.00 59.00 60.00 59.00
probschedule-50-1.pddl 65.00 65.00 65.00 65.00
probschedule-50-2.pddl 65.00 64.00 65.00 64.00
probschedule-51-0.pddl 60.00 59.00 60.00 59.00
probschedule-51-1.pddl 64.00 59.00 64.00 59.00
probschedule-51-2.pddl 67.00 59.00 67.00 59.00

sokoban-sat08-strips

cost issue383-base-lama-first issue383-base-seq-sat-lama-2011 issue383-v1-lama-first issue383-v1-seq-sat-lama-2011
p01.pddl 13.00 9.00 13.00 9.00
p02.pddl 33.00 29.00 None None
p03.pddl 13.00 9.00 13.00 9.00
p04.pddl 35.00 31.00 35.00 31.00
p05.pddl 38.00 30.00 42.00 30.00
p06.pddl 44.00 32.00 44.00 32.00
p07.pddl 29.00 29.00 29.00 29.00
p08.pddl 64.00 50.00 56.00 50.00
p09.pddl 61.00 49.00 61.00 49.00
p10.pddl 4.00 2.00 4.00 2.00
p11.pddl 14.00 10.00 14.00 10.00
p12.pddl 92.00 44.00 92.00 44.00
p13.pddl 31.00 31.00 31.00 31.00
p14.pddl 110.00 50.00 102.00 50.00
p15.pddl 59.00 53.00 61.00 41.00
p16.pddl 67.00 33.00 77.00 33.00
p17.pddl 41.00 23.00 41.00 23.00
p18.pddl 85.00 43.00 85.00 43.00
p19.pddl 18.00 18.00 18.00 18.00
p20.pddl None None None None
p21.pddl 79.00 51.00 79.00 51.00
p22.pddl 84.00 60.00 84.00 60.00
p23.pddl 68.00 46.00 68.00 46.00
p24.pddl 73.00 47.00 53.00 47.00
p25.pddl 82.00 52.00 76.00 52.00
p26.pddl 89.00 85.00 89.00 85.00
p27.pddl 24.00 24.00 24.00 24.00
p28.pddl 119.00 113.00 113.00 None
p29.pddl 104.00 96.00 None None
p30.pddl 182.00 100.00 342.00 116.00

sokoban-sat11-strips

cost issue383-base-lama-first issue383-base-seq-sat-lama-2011 issue383-v1-lama-first issue383-v1-seq-sat-lama-2011
p01.pddl 82.00 52.00 76.00 52.00
p02.pddl 64.00 50.00 56.00 50.00
p03.pddl 41.00 23.00 41.00 23.00
p04.pddl 67.00 33.00 77.00 33.00
p05.pddl 110.00 50.00 102.00 50.00
p06.pddl 92.00 44.00 92.00 44.00
p07.pddl 31.00 31.00 31.00 31.00
p08.pddl 84.00 60.00 84.00 60.00
p09.pddl 4.00 2.00 4.00 2.00
p10.pddl 68.00 46.00 68.00 46.00
p11.pddl 119.00 113.00 113.00 None
p12.pddl 85.00 43.00 85.00 43.00
p13.pddl 24.00 24.00 24.00 24.00
p14.pddl 73.00 47.00 53.00 47.00
p15.pddl 182.00 100.00 342.00 116.00
p16.pddl 18.00 18.00 18.00 18.00
p17.pddl 89.00 85.00 89.00 85.00
p18.pddl 104.00 96.00 None None
p19.pddl 59.00 53.00 61.00 41.00
p20.pddl None None None None

storage

cost issue383-base-lama-first issue383-base-seq-sat-lama-2011 issue383-v1-lama-first issue383-v1-seq-sat-lama-2011
p01.pddl 3.00 3.00 3.00 3.00
p02.pddl 3.00 3.00 3.00 3.00
p03.pddl 3.00 3.00 3.00 3.00
p04.pddl 8.00 8.00 8.00 8.00
p05.pddl 11.00 8.00 11.00 8.00
p06.pddl 9.00 8.00 9.00 8.00
p07.pddl 14.00 14.00 14.00 14.00
p08.pddl 12.00 12.00 12.00 12.00
p09.pddl 14.00 11.00 14.00 11.00
p10.pddl 18.00 18.00 18.00 18.00
p11.pddl 34.00 17.00 34.00 17.00
p12.pddl 34.00 16.00 34.00 16.00
p13.pddl 38.00 18.00 38.00 18.00
p14.pddl 34.00 19.00 34.00 19.00
p15.pddl 22.00 18.00 22.00 18.00
p16.pddl 26.00 21.00 26.00 21.00
p17.pddl 33.00 26.00 33.00 26.00
p18.pddl 63.00 31.00 63.00 31.00
p19.pddl None None None None
p20.pddl None None None None
p21.pddl None None None None
p22.pddl None None None None
p23.pddl 79.00 55.00 79.00 55.00
p24.pddl None None None None
p25.pddl None None None None
p26.pddl None None None None
p27.pddl None None None None
p28.pddl None None None None
p29.pddl None None None None
p30.pddl None None None None

tetris-sat14-strips

cost issue383-base-lama-first issue383-base-seq-sat-lama-2011 issue383-v1-lama-first issue383-v1-seq-sat-lama-2011
p020.pddl 69.00 48.00 69.00 48.00
p021.pddl 169.00 135.00 169.00 135.00
p022.pddl 96.00 96.00 96.00 96.00
p023.pddl 118.00 118.00 118.00 118.00
p024.pddl None None None None
p025.pddl 70.00 70.00 70.00 70.00
p026.pddl 175.00 175.00 175.00 175.00
p027.pddl 146.00 146.00 146.00 146.00
p028.pddl 139.00 139.00 139.00 139.00
p029.pddl None None None None
p031.pddl None None None None
p032.pddl None None None None
p033.pddl 245.00 245.00 245.00 245.00
p034.pddl 241.00 241.00 241.00 241.00
p035.pddl 134.00 134.00 134.00 134.00
p036.pddl 121.00 121.00 121.00 121.00
p037.pddl None None None None
p038.pddl 148.00 148.00 148.00 148.00
p039.pddl None None None None
p040.pddl None None None None

thoughtful-sat14-strips

cost issue383-base-lama-first issue383-base-seq-sat-lama-2011 issue383-v1-lama-first issue383-v1-seq-sat-lama-2011
bootstrap-typed-01.pddl 30.00 29.00 30.00 29.00
bootstrap-typed-02.pddl 27.00 25.00 27.00 25.00
bootstrap-typed-03.pddl 33.00 26.00 33.00 26.00
bootstrap-typed-04.pddl 27.00 27.00 27.00 27.00
bootstrap-typed-05.pddl 35.00 31.00 35.00 31.00
p11_6_53-typed.pddl None None None None
p11_6_59-typed.pddl None None None None
p11_6_62-typed.pddl None None None None
p13_7_78-typed.pddl None None None None
p13_7_79-typed.pddl 114.00 108.00 114.00 108.00
p13_7_86-typed.pddl 128.00 102.00 128.00 102.00
target-typed-20.pddl 123.00 121.00 123.00 121.00
target-typed-21.pddl 161.00 161.00 161.00 161.00
target-typed-22.pddl 130.00 130.00 130.00 130.00
target-typed-23.pddl 123.00 123.00 123.00 123.00
target-typed-24.pddl 135.00 135.00 135.00 135.00
target-typed-25.pddl 121.00 99.00 121.00 99.00
target-typed-26.pddl 125.00 119.00 125.00 119.00
target-typed-27.pddl 157.00 118.00 157.00 118.00
target-typed-28.pddl 135.00 129.00 135.00 129.00

tidybot-sat11-strips

cost issue383-base-lama-first issue383-base-seq-sat-lama-2011 issue383-v1-lama-first issue383-v1-seq-sat-lama-2011
p01.pddl 91.00 55.00 91.00 55.00
p02.pddl 74.00 35.00 74.00 35.00
p03.pddl 47.00 30.00 47.00 30.00
p04.pddl 24.00 24.00 24.00 24.00
p05.pddl 64.00 46.00 64.00 46.00
p06.pddl 113.00 75.00 113.00 75.00
p07.pddl 49.00 38.00 49.00 38.00
p08.pddl 28.00 25.00 28.00 25.00
p09.pddl 39.00 35.00 39.00 35.00
p10.pddl 88.00 49.00 88.00 49.00
p11.pddl 86.00 50.00 86.00 50.00
p12.pddl None None None None
p13.pddl 103.00 71.00 103.00 71.00
p14.pddl 62.00 50.00 62.00 50.00
p15.pddl 61.00 43.00 61.00 43.00
p16.pddl 86.00 68.00 86.00 68.00
p17.pddl 47.00 43.00 47.00 43.00
p18.pddl None None None None
p19.pddl 269.00 159.00 269.00 159.00
p20.pddl None None None None

tpp

cost issue383-base-lama-first issue383-base-seq-sat-lama-2011 issue383-v1-lama-first issue383-v1-seq-sat-lama-2011
p01.pddl 5.00 5.00 5.00 5.00
p02.pddl 8.00 8.00 8.00 8.00
p03.pddl 11.00 11.00 11.00 11.00
p04.pddl 14.00 14.00 14.00 14.00
p05.pddl 19.00 19.00 19.00 19.00
p06.pddl 29.00 25.00 29.00 25.00
p07.pddl 46.00 34.00 46.00 34.00
p08.pddl 56.00 44.00 56.00 44.00
p09.pddl 58.00 54.00 58.00 54.00
p10.pddl 74.00 66.00 74.00 66.00
p11.pddl 103.00 85.00 103.00 85.00
p12.pddl 91.00 69.00 91.00 69.00
p13.pddl 59.00 55.00 59.00 55.00
p14.pddl 89.00 87.00 89.00 87.00
p15.pddl 105.00 101.00 105.00 101.00
p16.pddl 128.00 116.00 128.00 116.00
p17.pddl 121.00 105.00 121.00 105.00
p18.pddl 106.00 94.00 106.00 94.00
p19.pddl 163.00 141.00 163.00 141.00
p20.pddl 208.00 208.00 208.00 208.00
p21.pddl 195.00 163.00 195.00 163.00
p22.pddl 136.00 130.00 136.00 130.00
p23.pddl 171.00 157.00 171.00 157.00
p24.pddl 173.00 154.00 173.00 154.00
p25.pddl 191.00 190.00 191.00 190.00
p26.pddl 198.00 190.00 198.00 190.00
p27.pddl 220.00 210.00 220.00 210.00
p28.pddl 238.00 210.00 238.00 210.00
p29.pddl 299.00 259.00 299.00 259.00
p30.pddl 302.00 250.00 302.00 250.00

transport-sat08-strips

cost issue383-base-lama-first issue383-base-seq-sat-lama-2011 issue383-v1-lama-first issue383-v1-seq-sat-lama-2011
p01.pddl 72.00 54.00 72.00 54.00
p02.pddl 390.00 270.00 390.00 270.00
p03.pddl 577.00 577.00 577.00 577.00
p04.pddl 622.00 622.00 622.00 622.00
p05.pddl 1138.00 699.00 1138.00 699.00
p06.pddl 1294.00 1294.00 1294.00 1294.00
p07.pddl 1468.00 1468.00 1468.00 1468.00
p08.pddl 1169.00 1169.00 1169.00 1169.00
p09.pddl 1358.00 1358.00 1358.00 1358.00
p10.pddl 1924.00 1924.00 1924.00 1924.00
p11.pddl 475.00 473.00 475.00 473.00
p12.pddl 1208.00 795.00 1208.00 795.00
p13.pddl 1539.00 1030.00 1539.00 1030.00
p14.pddl 2158.00 2158.00 2158.00 2158.00
p15.pddl 3976.00 3976.00 3976.00 3976.00
p16.pddl 4093.00 4093.00 4093.00 4093.00
p17.pddl 4929.00 4865.00 4929.00 4865.00
p18.pddl 5123.00 4423.00 5123.00 4423.00
p19.pddl 5195.00 5195.00 5195.00 5195.00
p20.pddl 6601.00 6601.00 6601.00 6601.00
p21.pddl 431.00 431.00 431.00 431.00
p22.pddl 700.00 675.00 700.00 675.00
p23.pddl 1063.00 837.00 1063.00 837.00
p24.pddl 1992.00 992.00 1992.00 992.00
p25.pddl 1707.00 1673.00 1707.00 1673.00
p26.pddl 2539.00 2362.00 2539.00 2362.00
p27.pddl 4044.00 3985.00 4044.00 3985.00
p28.pddl 3564.00 3564.00 3564.00 3564.00
p29.pddl 4320.00 3646.00 4320.00 3646.00
p30.pddl 5134.00 5134.00 5134.00 5134.00

transport-sat11-strips

cost issue383-base-lama-first issue383-base-seq-sat-lama-2011 issue383-v1-lama-first issue383-v1-seq-sat-lama-2011
p01.pddl 1169.00 1169.00 1169.00 1169.00
p02.pddl 1358.00 1358.00 1358.00 1358.00
p03.pddl 4320.00 3646.00 4320.00 3646.00
p04.pddl 4093.00 4093.00 4093.00 4093.00
p05.pddl 4929.00 4865.00 4929.00 4865.00
p06.pddl 5123.00 4423.00 5123.00 4423.00
p07.pddl 5195.00 5195.00 5195.00 5195.00
p08.pddl 1924.00 1924.00 1924.00 1924.00
p09.pddl 6601.00 6601.00 6601.00 6601.00
p10.pddl 5134.00 5134.00 5134.00 5134.00
p11.pddl 1888.00 1888.00 1888.00 1888.00
p12.pddl 2226.00 2226.00 2226.00 2226.00
p13.pddl 2160.00 2160.00 2160.00 2160.00
p14.pddl 9122.00 7561.00 9122.00 7561.00
p15.pddl None None None None
p16.pddl None None None None
p17.pddl 6394.00 6134.00 6394.00 6134.00
p18.pddl 5961.00 5560.00 5961.00 5560.00
p19.pddl 6572.00 6485.00 6572.00 6485.00
p20.pddl 4956.00 4956.00 4956.00 4956.00

transport-sat14-strips

cost issue383-base-lama-first issue383-base-seq-sat-lama-2011 issue383-v1-lama-first issue383-v1-seq-sat-lama-2011
p01.pddl 2066.00 2066.00 2066.00 2066.00
p02.pddl 3871.00 3871.00 3871.00 3871.00
p03.pddl 2466.00 2466.00 2466.00 2466.00
p04.pddl None None None None
p05.pddl None None None None
p06.pddl None None None None
p07.pddl 5629.00 5629.00 5629.00 5629.00
p08.pddl 6847.00 6847.00 6847.00 None
p09.pddl 5629.00 5629.00 5629.00 5629.00
p10.pddl 7519.00 7519.00 7519.00 7519.00
p11.pddl 2723.00 2723.00 2723.00 2723.00
p12.pddl 2564.00 2564.00 2564.00 2564.00
p13.pddl 2243.00 2243.00 2243.00 2243.00
p14.pddl None None None None
p15.pddl None None None None
p16.pddl 7318.00 6984.00 7318.00 6984.00
p17.pddl 7647.00 7647.00 7647.00 7647.00
p18.pddl 8109.00 8109.00 8109.00 8109.00
p19.pddl 6129.00 5594.00 6129.00 5594.00
p20.pddl None None None None

trucks

cost issue383-base-lama-first issue383-base-seq-sat-lama-2011 issue383-v1-lama-first issue383-v1-seq-sat-lama-2011
p01.pddl 15.00 13.00 15.00 13.00
p02.pddl 18.00 17.00 18.00 17.00
p03.pddl 23.00 20.00 23.00 20.00
p04.pddl 24.00 23.00 24.00 23.00
p05.pddl 27.00 25.00 27.00 25.00
p06.pddl 30.00 30.00 30.00 30.00
p07.pddl 26.00 23.00 26.00 23.00
p08.pddl 33.00 25.00 33.00 25.00
p09.pddl 34.00 28.00 34.00 28.00
p10.pddl 41.00 34.00 41.00 34.00
p11.pddl 47.00 35.00 47.00 35.00
p12.pddl None None None None
p13.pddl None None None None
p14.pddl 44.00 39.00 44.00 39.00
p15.pddl 48.00 45.00 48.00 45.00
p16.pddl 51.00 48.00 51.00 48.00
p17.pddl 54.00 51.00 54.00 51.00
p18.pddl None None None None
p19.pddl None None None None
p20.pddl None None None None
p21.pddl None None None None
p22.pddl None None None None
p23.pddl None None None None
p24.pddl None None None None
p25.pddl None None None None
p26.pddl None None None None
p27.pddl None None None None
p28.pddl None None None None
p29.pddl None None None None
p30.pddl None None None None

trucks-strips

cost issue383-base-lama-first issue383-base-seq-sat-lama-2011 issue383-v1-lama-first issue383-v1-seq-sat-lama-2011
p01.pddl 15.00 13.00 15.00 13.00
p02.pddl 18.00 17.00 18.00 17.00
p03.pddl 24.00 20.00 24.00 20.00
p04.pddl 27.00 23.00 27.00 23.00
p05.pddl 31.00 25.00 31.00 25.00
p06.pddl 36.00 30.00 36.00 30.00
p07.pddl 26.00 23.00 26.00 23.00
p08.pddl 33.00 25.00 33.00 25.00
p09.pddl 36.00 28.00 36.00 28.00
p10.pddl 41.00 34.00 41.00 34.00
p11.pddl 46.00 42.00 46.00 42.00
p12.pddl 47.00 43.00 47.00 43.00
p13.pddl 37.00 34.00 None None
p14.pddl 44.00 41.00 44.00 41.00
p15.pddl 48.00 47.00 48.00 47.00
p16.pddl None None None None
p17.pddl None None None 54.00
p18.pddl None None None None
p19.pddl None None 56.00 53.00
p20.pddl None None None None
p21.pddl None None None None
p22.pddl None None None None
p23.pddl None None None None
p24.pddl None None None None
p25.pddl None None None None
p26.pddl None None None None
p27.pddl None None None None
p28.pddl None None None None
p29.pddl None None None None
p30.pddl None None None None

visitall-sat11-strips

cost issue383-base-lama-first issue383-base-seq-sat-lama-2011 issue383-v1-lama-first issue383-v1-seq-sat-lama-2011
problem12.pddl 164.00 164.00 164.00 164.00
problem14.pddl 272.00 247.00 272.00 247.00
problem16.pddl 383.00 331.00 383.00 331.00
problem18.pddl 444.00 407.00 444.00 407.00
problem20.pddl 551.00 512.00 551.00 512.00
problem22.pddl 663.00 630.00 663.00 630.00
problem24.pddl 763.00 740.00 763.00 740.00
problem26.pddl 907.00 854.00 907.00 854.00
problem28.pddl 1060.00 993.00 1060.00 993.00
problem30.pddl 1130.00 1130.00 1130.00 1130.00
problem32.pddl 1318.00 1318.00 1318.00 1318.00
problem34.pddl 1553.00 1471.00 1553.00 1471.00
problem36.pddl 1741.00 1627.00 1741.00 1627.00
problem38.pddl 2006.00 1801.00 2006.00 1801.00
problem40.pddl 2148.00 2067.00 2148.00 2067.00
problem42.pddl 2281.00 2268.00 2281.00 2268.00
problem44.pddl 2430.00 2430.00 2430.00 2430.00
problem46.pddl 2719.00 2719.00 2719.00 2719.00
problem48.pddl 2977.00 2905.00 2977.00 2905.00
problem50.pddl 3343.00 3226.00 3343.00 3226.00

visitall-sat14-strips

cost issue383-base-lama-first issue383-base-seq-sat-lama-2011 issue383-v1-lama-first issue383-v1-seq-sat-lama-2011
pfile30.pddl 1130.00 1130.00 1130.00 1130.00
pfile31.pddl 1326.00 1199.00 1326.00 1199.00
pfile32.pddl 1318.00 1318.00 1318.00 1318.00
pfile33.pddl 1573.00 1416.00 1573.00 1416.00
pfile50.pddl 3343.00 3226.00 3343.00 3226.00
pfile51.pddl 3367.00 3358.00 3367.00 3358.00
pfile52.pddl 3494.00 3467.00 3494.00 3467.00
pfile53.pddl 3828.00 3801.00 3828.00 3801.00
pfile54.pddl 3769.00 3758.00 3769.00 3758.00
pfile55.pddl 4030.00 4030.00 4030.00 4030.00
pfile56.pddl 4062.00 4062.00 4062.00 4062.00
pfile57.pddl 4449.00 3955.00 4449.00 3955.00
pfile58.pddl 4304.00 4304.00 4304.00 4304.00
pfile59.pddl 4421.00 4421.00 4421.00 4421.00
pfile60.pddl 4482.00 4482.00 4482.00 4482.00
pfile61.pddl 4809.00 4797.00 4809.00 4797.00
pfile62.pddl 5039.00 4962.00 5039.00 4962.00
pfile63.pddl 5057.00 5057.00 5057.00 5057.00
pfile64.pddl 5351.00 4951.00 5351.00 4951.00
pfile65.pddl 5271.00 5271.00 5271.00 5271.00

woodworking-sat08-strips

cost issue383-base-lama-first issue383-base-seq-sat-lama-2011 issue383-v1-lama-first issue383-v1-seq-sat-lama-2011
p01.pddl 115.00 110.00 115.00 110.00
p02.pddl 280.00 255.00 280.00 255.00
p03.pddl 730.00 730.00 730.00 730.00
p04.pddl 905.00 835.00 905.00 835.00
p05.pddl 945.00 770.00 945.00 770.00
p06.pddl 965.00 960.00 965.00 960.00
p07.pddl 1470.00 1470.00 1470.00 1470.00
p08.pddl 1675.00 1675.00 1675.00 1675.00
p09.pddl 1690.00 1620.00 1690.00 1620.00
p10.pddl 1905.00 1845.00 1905.00 1845.00
p11.pddl 55.00 50.00 55.00 50.00
p12.pddl 315.00 300.00 315.00 300.00
p13.pddl 570.00 530.00 570.00 530.00
p14.pddl 645.00 635.00 645.00 635.00
p15.pddl 965.00 965.00 965.00 965.00
p16.pddl 905.00 905.00 905.00 905.00
p17.pddl 1195.00 1195.00 1195.00 1195.00
p18.pddl 1300.00 1300.00 1300.00 1300.00
p19.pddl 1395.00 1395.00 1395.00 1395.00
p20.pddl 2115.00 2115.00 2115.00 2115.00
p21.pddl 180.00 165.00 180.00 165.00
p22.pddl 300.00 300.00 300.00 300.00
p23.pddl 510.00 510.00 510.00 510.00
p24.pddl 720.00 720.00 720.00 720.00
p25.pddl 820.00 815.00 820.00 815.00
p26.pddl 1205.00 1115.00 1205.00 1115.00
p27.pddl 1080.00 1080.00 1080.00 1080.00
p28.pddl 1730.00 1730.00 1730.00 1730.00
p29.pddl 1630.00 1630.00 1630.00 1630.00
p30.pddl 1620.00 1620.00 1620.00 1620.00

woodworking-sat11-strips

cost issue383-base-lama-first issue383-base-seq-sat-lama-2011 issue383-v1-lama-first issue383-v1-seq-sat-lama-2011
p01.pddl 1470.00 1470.00 1470.00 1470.00
p02.pddl 1675.00 1675.00 1675.00 1675.00
p03.pddl 1395.00 1395.00 1395.00 1395.00
p04.pddl 1690.00 1620.00 1690.00 1620.00
p05.pddl 2115.00 2115.00 2115.00 2115.00
p06.pddl 1905.00 1845.00 1905.00 1845.00
p07.pddl 1730.00 1730.00 1730.00 1730.00
p08.pddl 1630.00 1630.00 1630.00 1630.00
p09.pddl 1300.00 1300.00 1300.00 1300.00
p10.pddl 55.00 50.00 55.00 50.00
p11.pddl 2190.00 2130.00 2190.00 2130.00
p12.pddl 2165.00 2165.00 2165.00 2165.00
p13.pddl 2075.00 2075.00 2075.00 2075.00
p14.pddl 1700.00 1660.00 1700.00 1660.00
p15.pddl 2560.00 2560.00 2560.00 2560.00
p16.pddl 2140.00 2140.00 2140.00 2140.00
p17.pddl 1030.00 1030.00 1030.00 1030.00
p18.pddl 1460.00 1460.00 1460.00 1460.00
p19.pddl 1455.00 1455.00 1455.00 1455.00
p20.pddl 1565.00 1565.00 1565.00 1565.00

zenotravel

cost issue383-base-lama-first issue383-base-seq-sat-lama-2011 issue383-v1-lama-first issue383-v1-seq-sat-lama-2011
p01.pddl 1.00 1.00 1.00 1.00
p02.pddl 8.00 6.00 8.00 6.00
p03.pddl 7.00 6.00 7.00 6.00
p04.pddl 9.00 8.00 9.00 8.00
p05.pddl 13.00 11.00 13.00 11.00
p06.pddl 13.00 11.00 13.00 11.00
p07.pddl 18.00 15.00 18.00 15.00
p08.pddl 15.00 11.00 15.00 11.00
p09.pddl 26.00 21.00 26.00 21.00
p10.pddl 28.00 28.00 28.00 28.00
p11.pddl 16.00 14.00 16.00 14.00
p12.pddl 24.00 23.00 24.00 23.00
p13.pddl 33.00 28.00 33.00 28.00
p14.pddl 34.00 34.00 34.00 34.00
p15.pddl 47.00 41.00 47.00 41.00
p16.pddl 51.00 49.00 51.00 49.00
p17.pddl 89.00 75.00 89.00 75.00
p18.pddl 74.00 74.00 74.00 74.00
p19.pddl 100.00 100.00 100.00 100.00
p20.pddl 104.00 104.00 104.00 104.00

coverage

coverage issue383-base-lama-first issue383-base-seq-sat-lama-2011 issue383-v1-lama-first issue383-v1-seq-sat-lama-2011
airport (50) 32 32 32 32
assembly (30) 30 30 30 30
barman-sat11-strips (20) 20 20 20 20
barman-sat14-strips (20) 19 19 19 19
blocks (35) 35 35 35 35
cavediving-14-adl (20) 7 7 7 7
childsnack-sat14-strips (20) 5 5 5 5
citycar-sat14-adl (20) 3 3 3 3
depot (22) 20 20 19 19
driverlog (20) 20 20 20 20
elevators-sat08-strips (30) 30 30 30 30
elevators-sat11-strips (20) 20 20 20 20
floortile-sat11-strips (20) 6 6 6 6
floortile-sat14-strips (20) 2 2 2 2
freecell (80) 79 79 79 79
ged-sat14-strips (20) 20 20 20 20
grid (5) 5 5 5 5
gripper (20) 20 20 20 20
hiking-sat14-strips (20,20,19,20) 19 19 19 20
logistics00 (28) 28 28 28 28
logistics98 (35) 35 35 34 34
maintenance-sat14-adl (20) 0 0 0 0
miconic (150) 150 150 150 150
miconic-fulladl (150,150,150,149) 139 139 120 119
miconic-simpleadl (150) 150 150 150 150
movie (30) 30 30 30 30
mprime (35) 35 35 35 35
mystery (30) 19 19 19 19
nomystery-sat11-strips (20) 11 11 15 15
openstacks (30) 30 30 30 30
openstacks-sat08-adl (30) 30 30 30 30
openstacks-sat08-strips (30) 30 30 30 30
openstacks-sat11-strips (20) 20 20 20 20
openstacks-sat14-strips (20) 20 20 20 20
openstacks-strips (30,30,29,30) 30 30 29 30
optical-telegraphs (48) 4 4 4 4
parcprinter-08-strips (30) 29 29 21 21
parcprinter-sat11-strips (20) 19 19 12 12
parking-sat11-strips (20) 20 20 20 20
parking-sat14-strips (20) 20 20 20 20
pathways (30) 23 23 23 23
pathways-noneg (30) 23 23 23 23
pegsol-08-strips (30) 30 30 30 30
pegsol-sat11-strips (20) 20 20 20 20
philosophers (48) 40 40 40 40
pipesworld-notankage (50) 43 43 43 43