cost_bounds_satisficing.json

[
    ["airport:p01-airport1-p1.pddl", 8],
    ["airport:p02-airport1-p1.pddl", 9],
    ["airport:p03-airport1-p2.pddl", 17],
    ["airport:p04-airport2-p1.pddl", 20],
    ["airport:p05-airport2-p1.pddl", 21],
    ["airport:p06-airport2-p2.pddl", 41],
    ["airport:p07-airport2-p2.pddl", 41],
    ["airport:p08-airport2-p3.pddl", 62],
    ["airport:p09-airport2-p4.pddl", 71],
    ["airport:p10-airport3-p1.pddl", 18],
    ["airport:p11-airport3-p1.pddl", 21],
    ["airport:p12-airport3-p2.pddl", 39],
    ["airport:p13-airport3-p2.pddl", 37],
    ["airport:p14-airport3-p3.pddl", 60],
    ["airport:p15-airport3-p3.pddl", 58],
    ["airport:p16-airport3-p4.pddl", 79],
    ["airport:p17-airport3-p5.pddl", 88],
    ["airport:p18-airport3-p6.pddl", 107],
    ["airport:p19-airport3-p6.pddl", 90],
    ["airport:p20-airport3-p7.pddl", 115],
    ["airport:p21-airport4halfMUC-p2.pddl", 101],
    ["airport:p22-airport4halfMUC-p3.pddl", 148],
    ["airport:p23-airport4halfMUC-p4.pddl", 168],
    ["airport:p24-airport4halfMUC-p4.pddl", 162],
    ["airport:p25-airport4halfMUC-p5.pddl", 212],
    ["airport:p26-airport4halfMUC-p6.pddl", 220],
    ["airport:p27-airport4halfMUC-p6.pddl", 246],
    ["airport:p28-airport4halfMUC-p7.pddl", 294],
    ["airport:p29-airport4halfMUC-p8.pddl", 308],
    ["airport:p30-airport4halfMUC-p8.pddl", 310],
    ["airport:p31-airport4halfMUC-p9.pddl", 358],
    ["airport:p32-airport4halfMUC-p10.pddl", 390],
    ["airport:p33-airport4halfMUC-p10.pddl", 393],
    ["airport:p34-airport4halfMUC-p11.pddl", 427],
    ["airport:p35-airport4halfMUC-p12.pddl", 499],
    ["airport:p36-airport5MUC-p2.pddl", 109],
    ["airport:p37-airport5MUC-p3.pddl", 142],
    ["airport:p38-airport5MUC-p3.pddl", 155],
    ["airport:p39-airport5MUC-p4.pddl", 210],
    ["airport:p40-airport5MUC-p4.pddl", 191],
    ["airport:p41-airport5MUC-p4.pddl", 179],
    ["airport:p42-airport5MUC-p5.pddl", 259],
    ["airport:p43-airport5MUC-p5.pddl", 224],
    ["airport:p44-airport5MUC-p5.pddl", 229],
    ["airport:p45-airport5MUC-p6.pddl", 251],
    ["airport:p46-airport5MUC-p6.pddl", 292],
    ["airport:p47-airport5MUC-p8.pddl", 394],
    ["airport:p48-airport5MUC-p9.pddl", 510],
    ["airport:p49-airport5MUC-p10.pddl", 555],
    ["assembly:prob01.pddl", 28],
    ["assembly:prob02.pddl", 27],
    ["assembly:prob03.pddl", 32],
    ["assembly:prob04.pddl", 33],
    ["assembly:prob05.pddl", 37],
    ["assembly:prob06.pddl", 36],
    ["assembly:prob07.pddl", 49],
    ["assembly:prob08.pddl", 44],
    ["assembly:prob09.pddl", 48],
    ["assembly:prob10.pddl", 47],
    ["assembly:prob11.pddl", 57],
    ["assembly:prob12.pddl", 57],
    ["assembly:prob13.pddl", 60],
    ["assembly:prob14.pddl", 62],
    ["assembly:prob15.pddl", 68],
    ["assembly:prob16.pddl", 75],
    ["assembly:prob17.pddl", 74],
    ["assembly:prob18.pddl", 77],
    ["assembly:prob19.pddl", 74],
    ["assembly:prob20.pddl", 82],
    ["assembly:prob21.pddl", 75],
    ["assembly:prob22.pddl", 78],
    ["assembly:prob23.pddl", 98],
    ["assembly:prob24.pddl", 99],
    ["assembly:prob25.pddl", 99],
    ["assembly:prob26.pddl", 99],
    ["assembly:prob27.pddl", 113],
    ["assembly:prob28.pddl", 95],
    ["assembly:prob29.pddl", 96],
    ["assembly:prob30.pddl", 109],
    ["barman-sat11-strips:pfile06-021.pddl", 272],
    ["barman-sat11-strips:pfile06-022.pddl", 262],
    ["barman-sat11-strips:pfile06-023.pddl", 293],
    ["barman-sat11-strips:pfile06-024.pddl", 274],
    ["barman-sat11-strips:pfile07-025.pddl", 301],
    ["barman-sat11-strips:pfile07-026.pddl", 304],
    ["barman-sat11-strips:pfile07-027.pddl", 317],
    ["barman-sat11-strips:pfile07-028.pddl", 299],
    ["barman-sat11-strips:pfile08-029.pddl", 338],
    ["barman-sat11-strips:pfile08-030.pddl", 319],
    ["barman-sat11-strips:pfile08-031.pddl", 347],
    ["barman-sat11-strips:pfile08-032.pddl", 349],
    ["barman-sat11-strips:pfile09-033.pddl", 396],
    ["barman-sat11-strips:pfile09-034.pddl", 380],
    ["barman-sat11-strips:pfile09-035.pddl", 444],
    ["barman-sat11-strips:pfile09-036.pddl", 422],
    ["barman-sat11-strips:pfile10-037.pddl", 406],
    ["barman-sat11-strips:pfile10-038.pddl", 395],
    ["barman-sat11-strips:pfile10-039.pddl", 409],
    ["barman-sat11-strips:pfile10-040.pddl", 357],
    ["barman-sat14-strips:p1-11-4-15.pddl", 173],
    ["barman-sat14-strips:p1-11-5-15.pddl", 175],
    ["barman-sat14-strips:p1-11-5-16.pddl", 150],
    ["barman-sat14-strips:p2-10-4-13.pddl", 135],
    ["barman-sat14-strips:p2-11-4-15.pddl", 156],
    ["barman-sat14-strips:p2-11-5-15.pddl", 146],
    ["barman-sat14-strips:p2-11-5-16.pddl", 160],
    ["barman-sat14-strips:p2-11-5-17.pddl", 158],
    ["barman-sat14-strips:p3-10-4-13.pddl", 142],
    ["barman-sat14-strips:p3-11-4-15.pddl", 158],
    ["barman-sat14-strips:p3-11-5-15.pddl", 192],
    ["barman-sat14-strips:p3-11-5-16.pddl", 168],
    ["barman-sat14-strips:p3-11-5-17.pddl", 178],
    ["barman-sat14-strips:p4-11-4-14.pddl", 170],
    ["barman-sat14-strips:p4-11-4-15.pddl", 170],
    ["barman-sat14-strips:p4-11-5-15.pddl", 156],
    ["barman-sat14-strips:p5-10-4-13.pddl", 145],
    ["barman-sat14-strips:p5-11-4-15.pddl", 178],
    ["barman-sat14-strips:p5-11-5-15.pddl", 156],
    ["barman-sat14-strips:p5-11-5-16.pddl", 159],
    ["blocks:probBLOCKS-10-0.pddl", 34],
    ["blocks:probBLOCKS-10-1.pddl", 32],
    ["blocks:probBLOCKS-10-2.pddl", 34],
    ["blocks:probBLOCKS-11-0.pddl", 32],
    ["blocks:probBLOCKS-11-1.pddl", 30],
    ["blocks:probBLOCKS-11-2.pddl", 34],
    ["blocks:probBLOCKS-12-0.pddl", 34],
    ["blocks:probBLOCKS-12-1.pddl", 34],
    ["blocks:probBLOCKS-13-0.pddl", 42],
    ["blocks:probBLOCKS-13-1.pddl", 44],
    ["blocks:probBLOCKS-14-0.pddl", 38],
    ["blocks:probBLOCKS-14-1.pddl", 36],
    ["blocks:probBLOCKS-15-0.pddl", 40],
    ["blocks:probBLOCKS-15-1.pddl", 54],
    ["blocks:probBLOCKS-16-1.pddl", 54],
    ["blocks:probBLOCKS-16-2.pddl", 52],
    ["blocks:probBLOCKS-17-0.pddl", 46],
    ["blocks:probBLOCKS-4-0.pddl", 6],
    ["blocks:probBLOCKS-4-1.pddl", 10],
    ["blocks:probBLOCKS-4-2.pddl", 6],
    ["blocks:probBLOCKS-5-0.pddl", 12],
    ["blocks:probBLOCKS-5-1.pddl", 10],
    ["blocks:probBLOCKS-5-2.pddl", 16],
    ["blocks:probBLOCKS-6-0.pddl", 12],
    ["blocks:probBLOCKS-6-1.pddl", 10],
    ["blocks:probBLOCKS-6-2.pddl", 20],
    ["blocks:probBLOCKS-7-0.pddl", 20],
    ["blocks:probBLOCKS-7-1.pddl", 22],
    ["blocks:probBLOCKS-7-2.pddl", 20],
    ["blocks:probBLOCKS-8-0.pddl", 18],
    ["blocks:probBLOCKS-8-1.pddl", 20],
    ["blocks:probBLOCKS-8-2.pddl", 16],
    ["blocks:probBLOCKS-9-0.pddl", 30],
    ["blocks:probBLOCKS-9-1.pddl", 28],
    ["blocks:probBLOCKS-9-2.pddl", 26],
    ["cavediving-14-adl:testing01.pddl", 181],
    ["cavediving-14-adl:testing05A_easy.pddl", 94],
    ["cavediving-14-adl:testing06A_easy.pddl", 95],
    ["cavediving-14-adl:testing07_easy.pddl", 131],
    ["cavediving-14-adl:testing08_easy.pddl", 90],
    ["cavediving-14-adl:testing18A_easy.pddl", 131],
    ["cavediving-14-adl:testing18_easy.pddl", 131],
    ["cavediving-14-adl:testing20A_easy.pddl", 98],
    ["childsnack-sat14-strips:child-snack_pfile05-2.pddl", 47],
    ["childsnack-sat14-strips:child-snack_pfile05.pddl", 47],
    ["childsnack-sat14-strips:child-snack_pfile06-2.pddl", 52],
    ["childsnack-sat14-strips:child-snack_pfile07-2.pddl", 57],
    ["childsnack-sat14-strips:child-snack_pfile10.pddl", 72],
    ["childsnack-sat14-strips:child-snack_pfile11-2.pddl", 77],
    ["citycar-sat14-adl:p3-2-2-0-1.pddl", 70],
    ["citycar-sat14-adl:p3-3-2-0-1.pddl", 118],
    ["citycar-sat14-adl:p3-4-2-0-1.pddl", 100],
    ["citycar-sat14-adl:p3-5-2-0-1.pddl", 166],
    ["citycar-sat14-adl:p3-5-2-0-2.pddl", 90],
    ["citycar-sat14-adl:p4-2-3-0-1.pddl", 142],
    ["citycar-sat14-adl:p4-2-3-0-2.pddl", 124],
    ["citycar-sat14-adl:p4-3-2-0-1.pddl", 361],
    ["citycar-sat14-adl:p4-3-3-0-1.pddl", 180],
    ["citycar-sat14-adl:p4-3-3-0-2.pddl", 150],
    ["citycar-sat14-adl:p4-4-2-0-2.pddl", 126],
    ["citycar-sat14-adl:p4-4-3-0-2.pddl", 146],
    ["citycar-sat14-adl:p4-5-2-0-2.pddl", 170],
    ["depot:p01.pddl", 10],
    ["depot:p02.pddl", 15],
    ["depot:p03.pddl", 27],
    ["depot:p04.pddl", 30],
    ["depot:p05.pddl", 43],
    ["depot:p06.pddl", 68],
    ["depot:p07.pddl", 21],
    ["depot:p08.pddl", 33],
    ["depot:p09.pddl", 68],
    ["depot:p10.pddl", 24],
    ["depot:p11.pddl", 48],
    ["depot:p12.pddl", 71],
    ["depot:p13.pddl", 25],
    ["depot:p14.pddl", 29],
    ["depot:p15.pddl", 70],
    ["depot:p16.pddl", 25],
    ["depot:p17.pddl", 22],
    ["depot:p18.pddl", 60],
    ["depot:p19.pddl", 39],
    ["depot:p20.pddl", 87],
    ["depot:p21.pddl", 33],
    ["driverlog:p01.pddl", 7],
    ["driverlog:p02.pddl", 19],
    ["driverlog:p03.pddl", 12],
    ["driverlog:p04.pddl", 16],
    ["driverlog:p05.pddl", 18],
    ["driverlog:p06.pddl", 11],
    ["driverlog:p07.pddl", 13],
    ["driverlog:p08.pddl", 22],
    ["driverlog:p09.pddl", 22],
    ["driverlog:p10.pddl", 17],
    ["driverlog:p11.pddl", 19],
    ["driverlog:p12.pddl", 35],
    ["driverlog:p13.pddl", 26],
    ["driverlog:p14.pddl", 28],
    ["driverlog:p15.pddl", 32],
    ["driverlog:p16.pddl", 100],
    ["driverlog:p17.pddl", 82],
    ["driverlog:p18.pddl", 107],
    ["driverlog:p19.pddl", 139],
    ["driverlog:p20.pddl", 124],
    ["elevators-sat08-strips:p01.pddl", 52],
    ["elevators-sat08-strips:p02.pddl", 86],
    ["elevators-sat08-strips:p03.pddl", 147],
    ["elevators-sat08-strips:p04.pddl", 90],
    ["elevators-sat08-strips:p05.pddl", 73],
    ["elevators-sat08-strips:p06.pddl", 202],
    ["elevators-sat08-strips:p07.pddl", 211],
    ["elevators-sat08-strips:p08.pddl", 223],
    ["elevators-sat08-strips:p09.pddl", 202],
    ["elevators-sat08-strips:p10.pddl", 368],
    ["elevators-sat08-strips:p11.pddl", 171],
    ["elevators-sat08-strips:p12.pddl", 130],
    ["elevators-sat08-strips:p13.pddl", 199],
    ["elevators-sat08-strips:p14.pddl", 348],
    ["elevators-sat08-strips:p15.pddl", 432],
    ["elevators-sat08-strips:p16.pddl", 278],
    ["elevators-sat08-strips:p17.pddl", 532],
    ["elevators-sat08-strips:p18.pddl", 501],
    ["elevators-sat08-strips:p19.pddl", 619],
    ["elevators-sat08-strips:p20.pddl", 522],
    ["elevators-sat08-strips:p21.pddl", 259],
    ["elevators-sat08-strips:p22.pddl", 411],
    ["elevators-sat08-strips:p23.pddl", 502],
    ["elevators-sat08-strips:p24.pddl", 848],
    ["elevators-sat08-strips:p25.pddl", 842],
    ["elevators-sat08-strips:p26.pddl", 741],
    ["elevators-sat08-strips:p27.pddl", 1071],
    ["elevators-sat08-strips:p28.pddl", 994],
    ["elevators-sat08-strips:p29.pddl", 896],
    ["elevators-sat08-strips:p30.pddl", 1012],
    ["elevators-sat11-strips:p11.pddl", 1366],
    ["elevators-sat11-strips:p12.pddl", 1336],
    ["elevators-sat11-strips:p13.pddl", 1768],
    ["elevators-sat11-strips:p14.pddl", 1608],
    ["elevators-sat11-strips:p15.pddl", 1227],
    ["elevators-sat11-strips:p16.pddl", 1839],
    ["elevators-sat11-strips:p17.pddl", 1794],
    ["elevators-sat11-strips:p19.pddl", 2507],
    ["elevators-sat11-strips:p20.pddl", 2513],
    ["floortile-sat11-strips:seq-p01-001.pddl", 49],
    ["floortile-sat11-strips:seq-p01-002.pddl", 52],
    ["floortile-sat11-strips:seq-p02-003.pddl", 63],
    ["floortile-sat11-strips:seq-p02-004.pddl", 77],
    ["floortile-sat11-strips:seq-p03-005.pddl", 63],
    ["floortile-sat11-strips:seq-p03-006.pddl", 64],
    ["floortile-sat11-strips:seq-p04-007.pddl", 135],
    ["floortile-sat11-strips:seq-p04-008.pddl", 79],
    ["floortile-sat11-strips:seq-p05-009.pddl", 144],
    ["floortile-sat11-strips:seq-p05-010.pddl", 139],
    ["floortile-sat11-strips:seq-p06-011.pddl", 148],
    ["floortile-sat11-strips:seq-p06-012.pddl", 159],
    ["floortile-sat14-strips:p01-4-3-2.pddl", 56],
    ["floortile-sat14-strips:p01-5-4-2.pddl", 125],
    ["floortile-sat14-strips:p01-5-5-2.pddl", 147],
    ["floortile-sat14-strips:p01-6-4-2.pddl", 169],
    ["floortile-sat14-strips:p01-6-5-2.pddl", 164],
    ["floortile-sat14-strips:p02-5-4-2.pddl", 138],
    ["floortile-sat14-strips:p02-6-4-2.pddl", 177],
    ["floortile-sat14-strips:p03-6-4-2.pddl", 176],
    ["floortile-sat14-strips:p03-6-5-2.pddl", 184],
    ["floortile-sat14-strips:p04-5-4-2.pddl", 133],
    ["floortile-sat14-strips:p04-5-5-2.pddl", 168],
    ["floortile-sat14-strips:p04-6-5-2.pddl", 195],
    ["floortile-sat14-strips:p04-6-5-3.pddl", 171],
    ["floortile-sat14-strips:p05-4-3-2.pddl", 48],
    ["floortile-sat14-strips:p05-6-5-2.pddl", 161],
    ["freecell:p01.pddl", 8],
    ["freecell:p02.pddl", 14],
    ["freecell:p03.pddl", 18],
    ["freecell:p04.pddl", 26],
    ["freecell:p05.pddl", 30],
    ["freecell:p06.pddl", 34],
    ["freecell:p07.pddl", 41],
    ["freecell:p08.pddl", 47],
    ["freecell:p09.pddl", 43],
    ["freecell:p10.pddl", 48],
    ["freecell:p11.pddl", 56],
    ["freecell:p12.pddl", 47],
    ["freecell:p13.pddl", 58],
    ["freecell:p14.pddl", 54],
    ["freecell:p15.pddl", 62],
    ["freecell:p16.pddl", 60],
    ["freecell:p17.pddl", 62],
    ["freecell:p18.pddl", 79],
    ["freecell:p19.pddl", 91],
    ["freecell:p20.pddl", 88],
    ["freecell:probfreecell-10-1.pddl", 57],
    ["freecell:probfreecell-10-2.pddl", 53],
    ["freecell:probfreecell-10-3.pddl", 50],
    ["freecell:probfreecell-10-4.pddl", 73],
    ["freecell:probfreecell-10-5.pddl", 76],
    ["freecell:probfreecell-11-1.pddl", 65],
    ["freecell:probfreecell-11-2.pddl", 58],
    ["freecell:probfreecell-11-3.pddl", 57],
    ["freecell:probfreecell-11-4.pddl", 69],
    ["freecell:probfreecell-11-5.pddl", 74],
    ["freecell:probfreecell-12-1.pddl", 77],
    ["freecell:probfreecell-12-2.pddl", 63],
    ["freecell:probfreecell-12-3.pddl", 65],
    ["freecell:probfreecell-12-4.pddl", 104],
    ["freecell:probfreecell-12-5.pddl", 85],
    ["freecell:probfreecell-13-1.pddl", 88],
    ["freecell:probfreecell-13-2.pddl", 75],
    ["freecell:probfreecell-13-3.pddl", 73],
    ["freecell:probfreecell-13-4.pddl", 86],
    ["freecell:probfreecell-13-5.pddl", 99],
    ["freecell:probfreecell-2-1.pddl", 9],
    ["freecell:probfreecell-2-2.pddl", 8],
    ["freecell:probfreecell-2-3.pddl", 8],
    ["freecell:probfreecell-2-4.pddl", 8],
    ["freecell:probfreecell-2-5.pddl", 9],
    ["freecell:probfreecell-3-1.pddl", 14],
    ["freecell:probfreecell-3-2.pddl", 13],
    ["freecell:probfreecell-3-3.pddl", 12],
    ["freecell:probfreecell-3-4.pddl", 12],
    ["freecell:probfreecell-3-5.pddl", 13],
    ["freecell:probfreecell-4-1.pddl", 19],
    ["freecell:probfreecell-4-2.pddl", 17],
    ["freecell:probfreecell-4-3.pddl", 18],
    ["freecell:probfreecell-4-4.pddl", 18],
    ["freecell:probfreecell-4-5.pddl", 18],
    ["freecell:probfreecell-5-1.pddl", 24],
    ["freecell:probfreecell-5-2.pddl", 23],
    ["freecell:probfreecell-5-3.pddl", 24],
    ["freecell:probfreecell-5-4.pddl", 23],
    ["freecell:probfreecell-5-5.pddl", 25],
    ["freecell:probfreecell-6-1.pddl", 30],
    ["freecell:probfreecell-6-2.pddl", 28],
    ["freecell:probfreecell-6-3.pddl", 28],
    ["freecell:probfreecell-6-4.pddl", 28],
    ["freecell:probfreecell-6-5.pddl", 32],
    ["freecell:probfreecell-7-1.pddl", 35],
    ["freecell:probfreecell-7-2.pddl", 34],
    ["freecell:probfreecell-7-3.pddl", 32],
    ["freecell:probfreecell-7-4.pddl", 35],
    ["freecell:probfreecell-7-5.pddl", 40],
    ["freecell:probfreecell-8-1.pddl", 42],
    ["freecell:probfreecell-8-2.pddl", 39],
    ["freecell:probfreecell-8-3.pddl", 38],
    ["freecell:probfreecell-8-4.pddl", 42],
    ["freecell:probfreecell-8-5.pddl", 48],
    ["freecell:probfreecell-9-1.pddl", 47],
    ["freecell:probfreecell-9-2.pddl", 45],
    ["freecell:probfreecell-9-3.pddl", 44],
    ["freecell:probfreecell-9-4.pddl", 49],
    ["freecell:probfreecell-9-5.pddl", 55],
    ["ged-sat14-strips:d-10-1.pddl", 22],
    ["ged-sat14-strips:d-10-2.pddl", 23],
    ["ged-sat14-strips:d-10-3.pddl", 23],
    ["ged-sat14-strips:d-10-4.pddl", 22],
    ["ged-sat14-strips:d-10-5.pddl", 26],
    ["ged-sat14-strips:d-10-6.pddl", 25],
    ["ged-sat14-strips:d-11-1.pddl", 18],
    ["ged-sat14-strips:d-11-3.pddl", 20],
    ["ged-sat14-strips:d-11-5.pddl", 34],
    ["ged-sat14-strips:d-11-6.pddl", 26],
    ["ged-sat14-strips:d-12-11.pddl", 25],
    ["ged-sat14-strips:d-12-2.pddl", 46],
    ["ged-sat14-strips:d-12-3.pddl", 33],
    ["ged-sat14-strips:d-12-5.pddl", 31],
    ["ged-sat14-strips:d-12-6.pddl", 30],
    ["ged-sat14-strips:d-12-7.pddl", 31],
    ["ged-sat14-strips:d-12-8.pddl", 32],
    ["ged-sat14-strips:d-12-9.pddl", 33],
    ["ged-sat14-strips:d-3-6.pddl", 15],
    ["ged-sat14-strips:d-9-5.pddl", 20],
    ["grid:prob01.pddl", 14],
    ["grid:prob02.pddl", 26],
    ["grid:prob03.pddl", 54],
    ["grid:prob04.pddl", 36],
    ["grid:prob05.pddl", 106],
    ["gripper:prob01.pddl", 11],
    ["gripper:prob02.pddl", 17],
    ["gripper:prob03.pddl", 23],
    ["gripper:prob04.pddl", 29],
    ["gripper:prob05.pddl", 35],
    ["gripper:prob06.pddl", 41],
    ["gripper:prob07.pddl", 47],
    ["gripper:prob08.pddl", 53],
    ["gripper:prob09.pddl", 59],
    ["gripper:prob10.pddl", 65],
    ["gripper:prob11.pddl", 71],
    ["gripper:prob12.pddl", 77],
    ["gripper:prob13.pddl", 83],
    ["gripper:prob14.pddl", 89],
    ["gripper:prob15.pddl", 95],
    ["gripper:prob16.pddl", 101],
    ["gripper:prob17.pddl", 107],
    ["gripper:prob18.pddl", 113],
    ["gripper:prob19.pddl", 119],
    ["gripper:prob20.pddl", 125],
    ["hiking-sat14-strips:ptesting-1-2-7.pddl", 38],
    ["hiking-sat14-strips:ptesting-1-2-8.pddl", 45],
    ["hiking-sat14-strips:ptesting-2-2-6.pddl", 30],
    ["hiking-sat14-strips:ptesting-2-2-7.pddl", 40],
    ["hiking-sat14-strips:ptesting-2-3-6.pddl", 44],
    ["hiking-sat14-strips:ptesting-2-3-7.pddl", 35],
    ["hiking-sat14-strips:ptesting-2-3-8.pddl", 41],
    ["hiking-sat14-strips:ptesting-2-4-5.pddl", 33],
    ["hiking-sat14-strips:ptesting-2-4-6.pddl", 39],
    ["hiking-sat14-strips:ptesting-2-4-8.pddl", 41],
    ["hiking-sat14-strips:ptesting-3-3-5.pddl", 27],
    ["hiking-sat14-strips:ptesting-3-3-6.pddl", 53],
    ["hiking-sat14-strips:ptesting-3-3-7.pddl", 77],
    ["hiking-sat14-strips:ptesting-3-3-8.pddl", 81],
    ["hiking-sat14-strips:ptesting-3-4-5.pddl", 27],
    ["hiking-sat14-strips:ptesting-3-4-6.pddl", 35],
    ["hiking-sat14-strips:ptesting-3-4-7.pddl", 55],
    ["hiking-sat14-strips:ptesting-3-4-8.pddl", 62],
    ["logistics00:probLOGISTICS-10-0.pddl", 45],
    ["logistics00:probLOGISTICS-10-1.pddl", 42],
    ["logistics00:probLOGISTICS-11-0.pddl", 48],
    ["logistics00:probLOGISTICS-11-1.pddl", 60],
    ["logistics00:probLOGISTICS-12-0.pddl", 42],
    ["logistics00:probLOGISTICS-12-1.pddl", 68],
    ["logistics00:probLOGISTICS-13-0.pddl", 80],
    ["logistics00:probLOGISTICS-13-1.pddl", 65],
    ["logistics00:probLOGISTICS-14-0.pddl", 58],
    ["logistics00:probLOGISTICS-14-1.pddl", 74],
    ["logistics00:probLOGISTICS-15-0.pddl", 80],
    ["logistics00:probLOGISTICS-15-1.pddl", 69],
    ["logistics00:probLOGISTICS-4-0.pddl", 20],
    ["logistics00:probLOGISTICS-4-1.pddl", 19],
    ["logistics00:probLOGISTICS-4-2.pddl", 15],
    ["logistics00:probLOGISTICS-5-0.pddl", 27],
    ["logistics00:probLOGISTICS-5-1.pddl", 17],
    ["logistics00:probLOGISTICS-5-2.pddl", 8],
    ["logistics00:probLOGISTICS-6-0.pddl", 25],
    ["logistics00:probLOGISTICS-6-1.pddl", 14],
    ["logistics00:probLOGISTICS-6-2.pddl", 25],
    ["logistics00:probLOGISTICS-6-9.pddl", 24],
    ["logistics00:probLOGISTICS-7-0.pddl", 36],
    ["logistics00:probLOGISTICS-7-1.pddl", 44],
    ["logistics00:probLOGISTICS-8-0.pddl", 31],
    ["logistics00:probLOGISTICS-8-1.pddl", 44],
    ["logistics00:probLOGISTICS-9-0.pddl", 36],
    ["logistics00:probLOGISTICS-9-1.pddl", 30],
    ["logistics98:prob01.pddl", 26],
    ["logistics98:prob02.pddl", 32],
    ["logistics98:prob03.pddl", 54],
    ["logistics98:prob04.pddl", 58],
    ["logistics98:prob05.pddl", 22],
    ["logistics98:prob06.pddl", 69],
    ["logistics98:prob07.pddl", 33],
    ["logistics98:prob08.pddl", 40],
    ["logistics98:prob09.pddl", 87],
    ["logistics98:prob10.pddl", 111],
    ["logistics98:prob11.pddl", 30],
    ["logistics98:prob12.pddl", 41],
    ["logistics98:prob13.pddl", 69],
    ["logistics98:prob14.pddl", 96],
    ["logistics98:prob15.pddl", 98],
    ["logistics98:prob16.pddl", 56],
    ["logistics98:prob17.pddl", 44],
    ["logistics98:prob18.pddl", 173],
    ["logistics98:prob19.pddl", 157],
    ["logistics98:prob20.pddl", 164],
    ["logistics98:prob21.pddl", 108],
    ["logistics98:prob22.pddl", 319],
    ["logistics98:prob23.pddl", 117],
    ["logistics98:prob24.pddl", 41],
    ["logistics98:prob25.pddl", 208],
    ["logistics98:prob26.pddl", 217],
    ["logistics98:prob27.pddl", 157],
    ["logistics98:prob28.pddl", 314],
    ["logistics98:prob29.pddl", 341],
    ["logistics98:prob30.pddl", 148],
    ["logistics98:prob31.pddl", 13],
    ["logistics98:prob32.pddl", 20],
    ["logistics98:prob33.pddl", 27],
    ["logistics98:prob34.pddl", 45],
    ["logistics98:prob35.pddl", 30],
    ["maintenance-sat14-adl:maintenance-1-3-060-180-5-000.pddl", 40],
    ["maintenance-sat14-adl:maintenance-1-3-060-180-5-001.pddl", 42],
    ["maintenance-sat14-adl:maintenance-1-3-060-180-5-002.pddl", 44],
    ["maintenance-sat14-adl:maintenance-1-3-100-300-5-000.pddl", 70],
    ["maintenance-sat14-adl:maintenance-1-3-100-300-5-001.pddl", 70],
    ["maintenance-sat14-adl:maintenance-1-3-100-300-7-000.pddl", 56],
    ["maintenance-sat14-adl:maintenance-1-3-100-300-7-001.pddl", 56],
    ["maintenance-sat14-adl:maintenance-1-3-100-300-7-002.pddl", 52],
    ["maintenance-sat14-adl:maintenance-1-3-150-500-6-001.pddl", 96],
    ["maintenance-sat14-adl:maintenance-1-3-200-500-5-001.pddl", 133],
    ["maintenance-sat14-adl:maintenance-1-3-200-500-5-002.pddl", 130],
    ["maintenance-sat14-adl:maintenance-1-3-200-700-7-000.pddl", 120],
    ["maintenance-sat14-adl:maintenance-1-3-200-700-7-001.pddl", 117],
    ["maintenance-sat14-adl:maintenance-1-3-200-700-7-002.pddl", 119],
    ["maintenance-sat14-adl:maintenance-1-3-200-900-8-000.pddl", 117],
    ["maintenance-sat14-adl:maintenance-1-3-200-900-8-001.pddl", 116],
    ["maintenance-sat14-adl:maintenance-1-3-200-900-8-002.pddl", 122],
    ["miconic:s1-0.pddl", 4],
    ["miconic:s1-1.pddl", 3],
    ["miconic:s1-2.pddl", 4],
    ["miconic:s1-3.pddl", 4],
    ["miconic:s1-4.pddl", 4],
    ["miconic:s10-0.pddl", 33],
    ["miconic:s10-1.pddl", 32],
    ["miconic:s10-2.pddl", 32],
    ["miconic:s10-3.pddl", 34],
    ["miconic:s10-4.pddl", 33],
    ["miconic:s11-0.pddl", 37],
    ["miconic:s11-1.pddl", 34],
    ["miconic:s11-2.pddl", 38],
    ["miconic:s11-3.pddl", 38],
    ["miconic:s11-4.pddl", 35],
    ["miconic:s12-0.pddl", 40],
    ["miconic:s12-1.pddl", 40],
    ["miconic:s12-2.pddl", 40],
    ["miconic:s12-3.pddl", 39],
    ["miconic:s12-4.pddl", 41],
    ["miconic:s13-0.pddl", 44],
    ["miconic:s13-1.pddl", 42],
    ["miconic:s13-2.pddl", 46],
    ["miconic:s13-3.pddl", 43],
    ["miconic:s13-4.pddl", 41],
    ["miconic:s14-0.pddl", 45],
    ["miconic:s14-1.pddl", 47],
    ["miconic:s14-2.pddl", 49],
    ["miconic:s14-3.pddl", 42],
    ["miconic:s14-4.pddl", 45],
    ["miconic:s15-0.pddl", 46],
    ["miconic:s15-1.pddl", 50],
    ["miconic:s15-2.pddl", 50],
    ["miconic:s15-3.pddl", 50],
    ["miconic:s15-4.pddl", 47],
    ["miconic:s16-0.pddl", 53],
    ["miconic:s16-1.pddl", 52],
    ["miconic:s16-2.pddl", 55],
    ["miconic:s16-3.pddl", 52],
    ["miconic:s16-4.pddl", 53],
    ["miconic:s17-0.pddl", 56],
    ["miconic:s17-1.pddl", 54],
    ["miconic:s17-2.pddl", 54],
    ["miconic:s17-3.pddl", 60],
    ["miconic:s17-4.pddl", 55],
    ["miconic:s18-0.pddl", 59],
    ["miconic:s18-1.pddl", 58],
    ["miconic:s18-2.pddl", 58],
    ["miconic:s18-3.pddl", 60],
    ["miconic:s18-4.pddl", 57],
    ["miconic:s19-0.pddl", 62],
    ["miconic:s19-1.pddl", 65],
    ["miconic:s19-2.pddl", 63],
    ["miconic:s19-3.pddl", 64],
    ["miconic:s19-4.pddl", 63],
    ["miconic:s2-0.pddl", 7],
    ["miconic:s2-1.pddl", 7],
    ["miconic:s2-2.pddl", 7],
    ["miconic:s2-3.pddl", 7],
    ["miconic:s2-4.pddl", 7],
    ["miconic:s20-0.pddl", 64],
    ["miconic:s20-1.pddl", 66],
    ["miconic:s20-2.pddl", 63],
    ["miconic:s20-3.pddl", 63],
    ["miconic:s20-4.pddl", 65],
    ["miconic:s21-0.pddl", 70],
    ["miconic:s21-1.pddl", 69],
    ["miconic:s21-2.pddl", 69],
    ["miconic:s21-3.pddl", 67],
    ["miconic:s21-4.pddl", 70],
    ["miconic:s22-0.pddl", 73],
    ["miconic:s22-1.pddl", 70],
    ["miconic:s22-2.pddl", 71],
    ["miconic:s22-3.pddl", 76],
    ["miconic:s22-4.pddl", 72],
    ["miconic:s23-0.pddl", 76],
    ["miconic:s23-1.pddl", 80],
    ["miconic:s23-2.pddl", 73],
    ["miconic:s23-3.pddl", 72],
    ["miconic:s23-4.pddl", 74],
    ["miconic:s24-0.pddl", 79],
    ["miconic:s24-1.pddl", 78],
    ["miconic:s24-2.pddl", 78],
    ["miconic:s24-3.pddl", 80],
    ["miconic:s24-4.pddl", 78],
    ["miconic:s25-0.pddl", 81],
    ["miconic:s25-1.pddl", 85],
    ["miconic:s25-2.pddl", 87],
    ["miconic:s25-3.pddl", 85],
    ["miconic:s25-4.pddl", 83],
    ["miconic:s26-0.pddl", 84],
    ["miconic:s26-1.pddl", 89],
    ["miconic:s26-2.pddl", 90],
    ["miconic:s26-3.pddl", 88],
    ["miconic:s26-4.pddl", 83],
    ["miconic:s27-0.pddl", 98],
    ["miconic:s27-1.pddl", 91],
    ["miconic:s27-2.pddl", 87],
    ["miconic:s27-3.pddl", 89],
    ["miconic:s27-4.pddl", 89],
    ["miconic:s28-0.pddl", 95],
    ["miconic:s28-1.pddl", 98],
    ["miconic:s28-2.pddl", 94],
    ["miconic:s28-3.pddl", 87],
    ["miconic:s28-4.pddl", 92],
    ["miconic:s29-0.pddl", 94],
    ["miconic:s29-1.pddl", 91],
    ["miconic:s29-2.pddl", 95],
    ["miconic:s29-3.pddl", 97],
    ["miconic:s29-4.pddl", 99],
    ["miconic:s3-0.pddl", 10],
    ["miconic:s3-1.pddl", 11],
    ["miconic:s3-2.pddl", 10],
    ["miconic:s3-3.pddl", 10],
    ["miconic:s3-4.pddl", 10],
    ["miconic:s30-0.pddl", 95],
    ["miconic:s30-1.pddl", 98],
    ["miconic:s30-2.pddl", 97],
    ["miconic:s30-3.pddl", 108],
    ["miconic:s30-4.pddl", 99],
    ["miconic:s4-0.pddl", 14],
    ["miconic:s4-1.pddl", 13],
    ["miconic:s4-2.pddl", 15],
    ["miconic:s4-3.pddl", 15],
    ["miconic:s4-4.pddl", 15],
    ["miconic:s5-0.pddl", 17],
    ["miconic:s5-1.pddl", 17],
    ["miconic:s5-2.pddl", 15],
    ["miconic:s5-3.pddl", 17],
    ["miconic:s5-4.pddl", 18],
    ["miconic:s6-0.pddl", 19],
    ["miconic:s6-1.pddl", 19],
    ["miconic:s6-2.pddl", 20],
    ["miconic:s6-3.pddl", 20],
    ["miconic:s6-4.pddl", 21],
    ["miconic:s7-0.pddl", 23],
    ["miconic:s7-1.pddl", 24],
    ["miconic:s7-2.pddl", 22],
    ["miconic:s7-3.pddl", 22],
    ["miconic:s7-4.pddl", 25],
    ["miconic:s8-0.pddl", 27],
    ["miconic:s8-1.pddl", 27],
    ["miconic:s8-2.pddl", 26],
    ["miconic:s8-3.pddl", 28],
    ["miconic:s8-4.pddl", 27],
    ["miconic:s9-0.pddl", 31],
    ["miconic:s9-1.pddl", 30],
    ["miconic:s9-2.pddl", 30],
    ["miconic:s9-3.pddl", 32],
    ["miconic:s9-4.pddl", 28],
    ["miconic-fulladl:f1-0.pddl", 4],
    ["miconic-fulladl:f1-1.pddl", 3],
    ["miconic-fulladl:f1-2.pddl", 4],
    ["miconic-fulladl:f1-3.pddl", 4],
    ["miconic-fulladl:f1-4.pddl", 4],
    ["miconic-fulladl:f10-0.pddl", 31],
    ["miconic-fulladl:f10-1.pddl", 28],
    ["miconic-fulladl:f10-3.pddl", 30],
    ["miconic-fulladl:f10-4.pddl", 28],
    ["miconic-fulladl:f11-0.pddl", 29],
    ["miconic-fulladl:f11-1.pddl", 32],
    ["miconic-fulladl:f11-2.pddl", 31],
    ["miconic-fulladl:f11-3.pddl", 32],
    ["miconic-fulladl:f11-4.pddl", 29],
    ["miconic-fulladl:f12-0.pddl", 34],
    ["miconic-fulladl:f12-1.pddl", 38],
    ["miconic-fulladl:f12-2.pddl", 34],
    ["miconic-fulladl:f12-3.pddl", 38],
    ["miconic-fulladl:f12-4.pddl", 32],
    ["miconic-fulladl:f13-0.pddl", 36],
    ["miconic-fulladl:f13-1.pddl", 38],
    ["miconic-fulladl:f13-2.pddl", 38],
    ["miconic-fulladl:f13-3.pddl", 38],
    ["miconic-fulladl:f13-4.pddl", 34],
    ["miconic-fulladl:f14-0.pddl", 42],
    ["miconic-fulladl:f14-1.pddl", 39],
    ["miconic-fulladl:f14-2.pddl", 43],
    ["miconic-fulladl:f14-3.pddl", 37],
    ["miconic-fulladl:f14-4.pddl", 42],
    ["miconic-fulladl:f15-0.pddl", 46],
    ["miconic-fulladl:f15-1.pddl", 44],
    ["miconic-fulladl:f15-2.pddl", 36],
    ["miconic-fulladl:f15-3.pddl", 36],
    ["miconic-fulladl:f15-4.pddl", 38],
    ["miconic-fulladl:f16-0.pddl", 52],
    ["miconic-fulladl:f16-1.pddl", 43],
    ["miconic-fulladl:f16-2.pddl", 50],
    ["miconic-fulladl:f16-3.pddl", 46],
    ["miconic-fulladl:f17-0.pddl", 52],
    ["miconic-fulladl:f17-2.pddl", 45],
    ["miconic-fulladl:f17-3.pddl", 49],
    ["miconic-fulladl:f17-4.pddl", 48],
    ["miconic-fulladl:f18-0.pddl", 52],
    ["miconic-fulladl:f18-1.pddl", 53],
    ["miconic-fulladl:f18-2.pddl", 52],
    ["miconic-fulladl:f18-3.pddl", 49],
    ["miconic-fulladl:f18-4.pddl", 47],
    ["miconic-fulladl:f19-0.pddl", 51],
    ["miconic-fulladl:f19-1.pddl", 48],
    ["miconic-fulladl:f19-2.pddl", 58],
    ["miconic-fulladl:f19-3.pddl", 48],
    ["miconic-fulladl:f19-4.pddl", 56],
    ["miconic-fulladl:f2-0.pddl", 6],
    ["miconic-fulladl:f2-1.pddl", 6],
    ["miconic-fulladl:f2-2.pddl", 6],
    ["miconic-fulladl:f2-3.pddl", 6],
    ["miconic-fulladl:f2-4.pddl", 6],
    ["miconic-fulladl:f20-0.pddl", 62],
    ["miconic-fulladl:f20-1.pddl", 54],
    ["miconic-fulladl:f20-2.pddl", 64],
    ["miconic-fulladl:f20-4.pddl", 56],
    ["miconic-fulladl:f21-0.pddl", 62],
    ["miconic-fulladl:f21-1.pddl", 60],
    ["miconic-fulladl:f21-2.pddl", 60],
    ["miconic-fulladl:f22-0.pddl", 64],
    ["miconic-fulladl:f22-1.pddl", 70],
    ["miconic-fulladl:f22-2.pddl", 62],
    ["miconic-fulladl:f22-3.pddl", 66],
    ["miconic-fulladl:f22-4.pddl", 66],
    ["miconic-fulladl:f23-0.pddl", 74],
    ["miconic-fulladl:f23-1.pddl", 72],
    ["miconic-fulladl:f23-2.pddl", 64],
    ["miconic-fulladl:f23-3.pddl", 76],
    ["miconic-fulladl:f23-4.pddl", 70],
    ["miconic-fulladl:f24-0.pddl", 72],
    ["miconic-fulladl:f24-2.pddl", 64],
    ["miconic-fulladl:f24-3.pddl", 78],
    ["miconic-fulladl:f24-4.pddl", 66],
    ["miconic-fulladl:f25-0.pddl", 76],
    ["miconic-fulladl:f25-1.pddl", 76],
    ["miconic-fulladl:f25-3.pddl", 80],
    ["miconic-fulladl:f25-4.pddl", 74],
    ["miconic-fulladl:f26-0.pddl", 75],
    ["miconic-fulladl:f26-1.pddl", 80],
    ["miconic-fulladl:f26-2.pddl", 74],
    ["miconic-fulladl:f26-3.pddl", 80],
    ["miconic-fulladl:f26-4.pddl", 76],
    ["miconic-fulladl:f27-0.pddl", 80],
    ["miconic-fulladl:f27-1.pddl", 74],
    ["miconic-fulladl:f27-3.pddl", 76],
    ["miconic-fulladl:f27-4.pddl", 76],
    ["miconic-fulladl:f28-0.pddl", 84],
    ["miconic-fulladl:f28-1.pddl", 78],
    ["miconic-fulladl:f28-2.pddl", 74],
    ["miconic-fulladl:f28-3.pddl", 76],
    ["miconic-fulladl:f29-0.pddl", 92],
    ["miconic-fulladl:f29-1.pddl", 116],
    ["miconic-fulladl:f29-2.pddl", 86],
    ["miconic-fulladl:f29-3.pddl", 92],
    ["miconic-fulladl:f29-4.pddl", 84],
    ["miconic-fulladl:f3-0.pddl", 8],
    ["miconic-fulladl:f3-1.pddl", 10],
    ["miconic-fulladl:f3-2.pddl", 8],
    ["miconic-fulladl:f3-3.pddl", 9],
    ["miconic-fulladl:f3-4.pddl", 8],
    ["miconic-fulladl:f30-0.pddl", 92],
    ["miconic-fulladl:f30-1.pddl", 95],
    ["miconic-fulladl:f30-3.pddl", 86],
    ["miconic-fulladl:f30-4.pddl", 88],
    ["miconic-fulladl:f4-0.pddl", 12],
    ["miconic-fulladl:f4-1.pddl", 11],
    ["miconic-fulladl:f4-2.pddl", 14],
    ["miconic-fulladl:f4-3.pddl", 14],
    ["miconic-fulladl:f4-4.pddl", 14],
    ["miconic-fulladl:f5-0.pddl", 16],
    ["miconic-fulladl:f5-1.pddl", 18],
    ["miconic-fulladl:f5-2.pddl", 13],
    ["miconic-fulladl:f5-3.pddl", 15],
    ["miconic-fulladl:f5-4.pddl", 12],
    ["miconic-fulladl:f6-0.pddl", 17],
    ["miconic-fulladl:f6-1.pddl", 14],
    ["miconic-fulladl:f6-2.pddl", 18],
    ["miconic-fulladl:f6-3.pddl", 16],
    ["miconic-fulladl:f6-4.pddl", 14],
    ["miconic-fulladl:f7-0.pddl", 19],
    ["miconic-fulladl:f7-1.pddl", 22],
    ["miconic-fulladl:f7-2.pddl", 20],
    ["miconic-fulladl:f7-3.pddl", 19],
    ["miconic-fulladl:f7-4.pddl", 19],
    ["miconic-fulladl:f8-0.pddl", 20],
    ["miconic-fulladl:f8-1.pddl", 22],
    ["miconic-fulladl:f8-2.pddl", 20],
    ["miconic-fulladl:f8-3.pddl", 26],
    ["miconic-fulladl:f8-4.pddl", 21],
    ["miconic-fulladl:f9-0.pddl", 23],
    ["miconic-fulladl:f9-1.pddl", 25],
    ["miconic-fulladl:f9-2.pddl", 24],
    ["miconic-fulladl:f9-3.pddl", 25],
    ["miconic-fulladl:f9-4.pddl", 22],
    ["miconic-simpleadl:s1-0.pddl", 4],
    ["miconic-simpleadl:s1-1.pddl", 3],
    ["miconic-simpleadl:s1-2.pddl", 4],
    ["miconic-simpleadl:s1-3.pddl", 4],
    ["miconic-simpleadl:s1-4.pddl", 4],
    ["miconic-simpleadl:s10-0.pddl", 27],
    ["miconic-simpleadl:s10-1.pddl", 25],
    ["miconic-simpleadl:s10-2.pddl", 24],
    ["miconic-simpleadl:s10-3.pddl", 28],
    ["miconic-simpleadl:s10-4.pddl", 26],
    ["miconic-simpleadl:s11-0.pddl", 30],
    ["miconic-simpleadl:s11-1.pddl", 25],
    ["miconic-simpleadl:s11-2.pddl", 32],
    ["miconic-simpleadl:s11-3.pddl", 32],
    ["miconic-simpleadl:s11-4.pddl", 26],
    ["miconic-simpleadl:s12-0.pddl", 32],
    ["miconic-simpleadl:s12-1.pddl", 32],
    ["miconic-simpleadl:s12-2.pddl", 32],
    ["miconic-simpleadl:s12-3.pddl", 30],
    ["miconic-simpleadl:s12-4.pddl", 34],
    ["miconic-simpleadl:s13-0.pddl", 36],
    ["miconic-simpleadl:s13-1.pddl", 32],
    ["miconic-simpleadl:s13-2.pddl", 40],
    ["miconic-simpleadl:s13-3.pddl", 34],
    ["miconic-simpleadl:s13-4.pddl", 31],
    ["miconic-simpleadl:s14-0.pddl", 35],
    ["miconic-simpleadl:s14-1.pddl", 38],
    ["miconic-simpleadl:s14-2.pddl", 43],
    ["miconic-simpleadl:s14-3.pddl", 29],
    ["miconic-simpleadl:s14-4.pddl", 35],
    ["miconic-simpleadl:s15-0.pddl", 33],
    ["miconic-simpleadl:s15-1.pddl", 40],
    ["miconic-simpleadl:s15-2.pddl", 40],
    ["miconic-simpleadl:s15-3.pddl", 40],
    ["miconic-simpleadl:s15-4.pddl", 34],
    ["miconic-simpleadl:s16-0.pddl", 42],
    ["miconic-simpleadl:s16-1.pddl", 41],
    ["miconic-simpleadl:s16-2.pddl", 46],
    ["miconic-simpleadl:s16-3.pddl", 40],
    ["miconic-simpleadl:s16-4.pddl", 43],
    ["miconic-simpleadl:s17-0.pddl", 44],
    ["miconic-simpleadl:s17-1.pddl", 41],
    ["miconic-simpleadl:s17-2.pddl", 41],
    ["miconic-simpleadl:s17-3.pddl", 52],
    ["miconic-simpleadl:s17-4.pddl", 43],
    ["miconic-simpleadl:s18-0.pddl", 46],
    ["miconic-simpleadl:s18-1.pddl", 45],
    ["miconic-simpleadl:s18-2.pddl", 44],
    ["miconic-simpleadl:s18-3.pddl", 48],
    ["miconic-simpleadl:s18-4.pddl", 42],
    ["miconic-simpleadl:s19-0.pddl", 48],
    ["miconic-simpleadl:s19-1.pddl", 54],
    ["miconic-simpleadl:s19-2.pddl", 50],
    ["miconic-simpleadl:s19-3.pddl", 54],
    ["miconic-simpleadl:s19-4.pddl", 50],
    ["miconic-simpleadl:s2-0.pddl", 6],
    ["miconic-simpleadl:s2-1.pddl", 6],
    ["miconic-simpleadl:s2-2.pddl", 6],
    ["miconic-simpleadl:s2-3.pddl", 6],
    ["miconic-simpleadl:s2-4.pddl", 6],
    ["miconic-simpleadl:s20-0.pddl", 48],
    ["miconic-simpleadl:s20-1.pddl", 53],
    ["miconic-simpleadl:s20-2.pddl", 46],
    ["miconic-simpleadl:s20-3.pddl", 46],
    ["miconic-simpleadl:s20-4.pddl", 52],
    ["miconic-simpleadl:s21-0.pddl", 56],
    ["miconic-simpleadl:s21-1.pddl", 59],
    ["miconic-simpleadl:s21-2.pddl", 55],
    ["miconic-simpleadl:s21-3.pddl", 50],
    ["miconic-simpleadl:s21-4.pddl", 59],
    ["miconic-simpleadl:s22-0.pddl", 60],
    ["miconic-simpleadl:s22-1.pddl", 55],
    ["miconic-simpleadl:s22-2.pddl", 54],
    ["miconic-simpleadl:s22-3.pddl", 64],
    ["miconic-simpleadl:s22-4.pddl", 60],
    ["miconic-simpleadl:s23-0.pddl", 60],
    ["miconic-simpleadl:s23-1.pddl", 62],
    ["miconic-simpleadl:s23-2.pddl", 56],
    ["miconic-simpleadl:s23-3.pddl", 52],
    ["miconic-simpleadl:s23-4.pddl", 56],
    ["miconic-simpleadl:s24-0.pddl", 62],
    ["miconic-simpleadl:s24-1.pddl", 60],
    ["miconic-simpleadl:s24-2.pddl", 64],
    ["miconic-simpleadl:s24-3.pddl", 64],
    ["miconic-simpleadl:s24-4.pddl", 62],
    ["miconic-simpleadl:s25-0.pddl", 62],
    ["miconic-simpleadl:s25-1.pddl", 74],
    ["miconic-simpleadl:s25-2.pddl", 63],
    ["miconic-simpleadl:s25-3.pddl", 70],
    ["miconic-simpleadl:s25-4.pddl", 66],
    ["miconic-simpleadl:s26-0.pddl", 64],
    ["miconic-simpleadl:s26-1.pddl", 64],
    ["miconic-simpleadl:s26-2.pddl", 76],
    ["miconic-simpleadl:s26-3.pddl", 72],
    ["miconic-simpleadl:s26-4.pddl", 62],
    ["miconic-simpleadl:s27-0.pddl", 70],
    ["miconic-simpleadl:s27-1.pddl", 75],
    ["miconic-simpleadl:s27-2.pddl", 67],
    ["miconic-simpleadl:s27-3.pddl", 72],
    ["miconic-simpleadl:s27-4.pddl", 72],
    ["miconic-simpleadl:s28-0.pddl", 80],
    ["miconic-simpleadl:s28-1.pddl", 88],
    ["miconic-simpleadl:s28-2.pddl", 76],
    ["miconic-simpleadl:s28-3.pddl", 69],
    ["miconic-simpleadl:s28-4.pddl", 72],
    ["miconic-simpleadl:s29-0.pddl", 73],
    ["miconic-simpleadl:s29-1.pddl", 77],
    ["miconic-simpleadl:s29-2.pddl", 74],
    ["miconic-simpleadl:s29-3.pddl", 78],
    ["miconic-simpleadl:s29-4.pddl", 82],
    ["miconic-simpleadl:s3-0.pddl", 8],
    ["miconic-simpleadl:s3-1.pddl", 10],
    ["miconic-simpleadl:s3-2.pddl", 8],
    ["miconic-simpleadl:s3-3.pddl", 9],
    ["miconic-simpleadl:s3-4.pddl", 8],
    ["miconic-simpleadl:s30-0.pddl", 73],
    ["miconic-simpleadl:s30-1.pddl", 77],
    ["miconic-simpleadl:s30-2.pddl", 76],
    ["miconic-simpleadl:s30-3.pddl", 86],
    ["miconic-simpleadl:s30-4.pddl", 79],
    ["miconic-simpleadl:s4-0.pddl", 12],
    ["miconic-simpleadl:s4-1.pddl", 11],
    ["miconic-simpleadl:s4-2.pddl", 14],
    ["miconic-simpleadl:s4-3.pddl", 14],
    ["miconic-simpleadl:s4-4.pddl", 14],
    ["miconic-simpleadl:s5-0.pddl", 14],
    ["miconic-simpleadl:s5-1.pddl", 15],
    ["miconic-simpleadl:s5-2.pddl", 10],
    ["miconic-simpleadl:s5-3.pddl", 14],
    ["miconic-simpleadl:s5-4.pddl", 16],
    ["miconic-simpleadl:s6-0.pddl", 14],
    ["miconic-simpleadl:s6-1.pddl", 15],
    ["miconic-simpleadl:s6-2.pddl", 16],
    ["miconic-simpleadl:s6-3.pddl", 16],
    ["miconic-simpleadl:s6-4.pddl", 18],
    ["miconic-simpleadl:s7-0.pddl", 18],
    ["miconic-simpleadl:s7-1.pddl", 20],
    ["miconic-simpleadl:s7-2.pddl", 17],
    ["miconic-simpleadl:s7-3.pddl", 17],
    ["miconic-simpleadl:s7-4.pddl", 23],
    ["miconic-simpleadl:s8-0.pddl", 22],
    ["miconic-simpleadl:s8-1.pddl", 23],
    ["miconic-simpleadl:s8-2.pddl", 20],
    ["miconic-simpleadl:s8-3.pddl", 24],
    ["miconic-simpleadl:s8-4.pddl", 22],
    ["miconic-simpleadl:s9-0.pddl", 26],
    ["miconic-simpleadl:s9-1.pddl", 24],
    ["miconic-simpleadl:s9-2.pddl", 24],
    ["miconic-simpleadl:s9-3.pddl", 28],
    ["miconic-simpleadl:s9-4.pddl", 21],
    ["movie:prob01.pddl", 7],
    ["movie:prob02.pddl", 7],
    ["movie:prob03.pddl", 7],
    ["movie:prob04.pddl", 7],
    ["movie:prob05.pddl", 7],
    ["movie:prob06.pddl", 7],
    ["movie:prob07.pddl", 7],
    ["movie:prob08.pddl", 7],
    ["movie:prob09.pddl", 7],
    ["movie:prob10.pddl", 7],
    ["movie:prob11.pddl", 7],
    ["movie:prob12.pddl", 7],
    ["movie:prob13.pddl", 7],
    ["movie:prob14.pddl", 7],
    ["movie:prob15.pddl", 7],
    ["movie:prob16.pddl", 7],
    ["movie:prob17.pddl", 7],
    ["movie:prob18.pddl", 7],
    ["movie:prob19.pddl", 7],
    ["movie:prob20.pddl", 7],
    ["movie:prob21.pddl", 7],
    ["movie:prob22.pddl", 7],
    ["movie:prob23.pddl", 7],
    ["movie:prob24.pddl", 7],
    ["movie:prob25.pddl", 7],
    ["movie:prob26.pddl", 7],
    ["movie:prob27.pddl", 7],
    ["movie:prob28.pddl", 7],
    ["movie:prob29.pddl", 7],
    ["movie:prob30.pddl", 7],
    ["mprime:prob01.pddl", 5],
    ["mprime:prob02.pddl", 7],
    ["mprime:prob03.pddl", 4],
    ["mprime:prob04.pddl", 8],
    ["mprime:prob05.pddl", 11],
    ["mprime:prob06.pddl", 12],
    ["mprime:prob07.pddl", 5],
    ["mprime:prob08.pddl", 6],
    ["mprime:prob09.pddl", 8],
    ["mprime:prob10.pddl", 8],
    ["mprime:prob11.pddl", 7],
    ["mprime:prob12.pddl", 6],
    ["mprime:prob13.pddl", 15],
    ["mprime:prob14.pddl", 11],
    ["mprime:prob15.pddl", 6],
    ["mprime:prob16.pddl", 6],
    ["mprime:prob17.pddl", 4],
    ["mprime:prob18.pddl", 17],
    ["mprime:prob19.pddl", 6],
    ["mprime:prob20.pddl", 7],
    ["mprime:prob21.pddl", 6],
    ["mprime:prob22.pddl", 9],
    ["mprime:prob23.pddl", 10],
    ["mprime:prob24.pddl", 8],
    ["mprime:prob25.pddl", 4],
    ["mprime:prob26.pddl", 6],
    ["mprime:prob27.pddl", 5],
    ["mprime:prob28.pddl", 7],
    ["mprime:prob29.pddl", 4],
    ["mprime:prob30.pddl", 9],
    ["mprime:prob31.pddl", 4],
    ["mprime:prob32.pddl", 7],
    ["mprime:prob33.pddl", 12],
    ["mprime:prob34.pddl", 4],
    ["mprime:prob35.pddl", 5],
    ["mystery:prob01.pddl", 5],
    ["mystery:prob02.pddl", 7],
    ["mystery:prob03.pddl", 4],
    ["mystery:prob06.pddl", 11],
    ["mystery:prob09.pddl", 8],
    ["mystery:prob10.pddl", 8],
    ["mystery:prob11.pddl", 7],
    ["mystery:prob13.pddl", 15],
    ["mystery:prob14.pddl", 11],
    ["mystery:prob15.pddl", 6],
    ["mystery:prob17.pddl", 4],
    ["mystery:prob19.pddl", 6],
    ["mystery:prob20.pddl", 7],
    ["mystery:prob25.pddl", 4],
    ["mystery:prob26.pddl", 6],
    ["mystery:prob27.pddl", 5],
    ["mystery:prob28.pddl", 7],
    ["mystery:prob29.pddl", 4],
    ["mystery:prob30.pddl", 9],
    ["nomystery-sat11-strips:p01.pddl", 18],
    ["nomystery-sat11-strips:p02.pddl", 21],
    ["nomystery-sat11-strips:p03.pddl", 25],
    ["nomystery-sat11-strips:p04.pddl", 28],
    ["nomystery-sat11-strips:p05.pddl", 34],
    ["nomystery-sat11-strips:p06.pddl", 36],
    ["nomystery-sat11-strips:p07.pddl", 40],
    ["nomystery-sat11-strips:p08.pddl", 40],
    ["nomystery-sat11-strips:p09.pddl", 55],
    ["nomystery-sat11-strips:p10.pddl", 55],
    ["nomystery-sat11-strips:p11.pddl", 18],
    ["nomystery-sat11-strips:p12.pddl", 21],
    ["nomystery-sat11-strips:p13.pddl", 25],
    ["nomystery-sat11-strips:p14.pddl", 28],
    ["nomystery-sat11-strips:p15.pddl", 34],
    ["nomystery-sat11-strips:p16.pddl", 36],
    ["nomystery-sat11-strips:p17.pddl", 40],
    ["nomystery-sat11-strips:p18.pddl", 40],
    ["openstacks:p01.pddl", 23],
    ["openstacks:p02.pddl", 23],
    ["openstacks:p03.pddl", 23],
    ["openstacks:p07.pddl", 46],
    ["openstacks:p08.pddl", 95],
    ["openstacks:p12.pddl", 100],
    ["openstacks:p13.pddl", 100],
    ["openstacks:p16.pddl", 99],
    ["openstacks:p19.pddl", 124],
    ["openstacks:p22.pddl", 150],
    ["openstacks:p23.pddl", 150],
    ["openstacks-sat08-adl:p03.pddl", 2],
    ["openstacks-sat08-adl:p05.pddl", 2],
    ["openstacks-sat08-adl:p10.pddl", 4],
    ["openstacks-sat08-adl:p14.pddl", 4],
    ["openstacks-sat08-adl:p15.pddl", 4],
    ["openstacks-sat08-adl:p25.pddl", 19],
    ["openstacks-sat08-adl:p26.pddl", 15],
    ["openstacks-sat08-strips:p01.pddl", 2],
    ["openstacks-sat08-strips:p02.pddl", 3],
    ["openstacks-sat08-strips:p03.pddl", 2],
    ["openstacks-sat08-strips:p04.pddl", 2],
    ["openstacks-sat08-strips:p05.pddl", 2],
    ["openstacks-sat08-strips:p06.pddl", 4],
    ["openstacks-sat08-strips:p07.pddl", 4],
    ["openstacks-sat08-strips:p08.pddl", 4],
    ["openstacks-sat08-strips:p09.pddl", 5],
    ["openstacks-sat08-strips:p10.pddl", 7],
    ["openstacks-sat08-strips:p11.pddl", 5],
    ["openstacks-sat08-strips:p12.pddl", 8],
    ["openstacks-sat08-strips:p13.pddl", 9],
    ["openstacks-sat08-strips:p14.pddl", 4],
    ["openstacks-sat08-strips:p15.pddl", 9],
    ["openstacks-sat08-strips:p16.pddl", 17],
    ["openstacks-sat08-strips:p17.pddl", 15],
    ["openstacks-sat08-strips:p18.pddl", 15],
    ["openstacks-sat08-strips:p19.pddl", 21],
    ["openstacks-sat08-strips:p20.pddl", 27],
    ["openstacks-sat08-strips:p21.pddl", 6],
    ["openstacks-sat08-strips:p22.pddl", 29],
    ["openstacks-sat08-strips:p23.pddl", 30],
    ["openstacks-sat08-strips:p24.pddl", 26],
    ["openstacks-sat08-strips:p25.pddl", 41],
    ["openstacks-sat08-strips:p26.pddl", 36],
    ["openstacks-sat08-strips:p27.pddl", 36],
    ["openstacks-sat08-strips:p28.pddl", 50],
    ["openstacks-sat08-strips:p29.pddl", 54],
    ["openstacks-sat08-strips:p30.pddl", 31],
    ["openstacks-sat11-strips:p11.pddl", 65],
    ["openstacks-sat11-strips:p12.pddl", 113],
    ["openstacks-sat11-strips:p13.pddl", 76],
    ["openstacks-sat14-strips:p170_2.pddl", 60],
    ["openstacks-sat14-strips:p170_3.pddl", 158],
    ["openstacks-sat14-strips:p190_1.pddl", 61],
    ["openstacks-sat14-strips:p190_2.pddl", 72],
    ["openstacks-sat14-strips:p190_3.pddl", 179],
    ["openstacks-sat14-strips:p210_1.pddl", 68],
    ["openstacks-sat14-strips:p210_2.pddl", 76],
    ["openstacks-sat14-strips:p210_3.pddl", 196],
    ["openstacks-sat14-strips:p230_1.pddl", 67],
    ["openstacks-sat14-strips:p230_2.pddl", 125],
    ["openstacks-sat14-strips:p230_3.pddl", 218],
    ["openstacks-sat14-strips:p250_1.pddl", 96],
    ["openstacks-sat14-strips:p250_2.pddl", 142],
    ["openstacks-sat14-strips:p250_3.pddl", 239],
    ["openstacks-sat14-strips:p270_1.pddl", 128],
    ["openstacks-sat14-strips:p270_2.pddl", 183],
    ["openstacks-sat14-strips:p270_3.pddl", 257],
    ["openstacks-sat14-strips:p290_1.pddl", 151],
    ["openstacks-sat14-strips:p290_2.pddl", 195],
    ["openstacks-sat14-strips:p290_3.pddl", 273],
    ["openstacks-strips:p01.pddl", 23],
    ["openstacks-strips:p02.pddl", 23],
    ["openstacks-strips:p03.pddl", 23],
    ["openstacks-strips:p04.pddl", 23],
    ["openstacks-strips:p05.pddl", 23],
    ["openstacks-strips:p06.pddl", 45],
    ["openstacks-strips:p07.pddl", 46],
    ["openstacks-strips:p08.pddl", 87],
    ["openstacks-strips:p09.pddl", 90],
    ["openstacks-strips:p10.pddl", 91],
    ["openstacks-strips:p11.pddl", 92],
    ["openstacks-strips:p12.pddl", 100],
    ["openstacks-strips:p13.pddl", 97],
    ["openstacks-strips:p14.pddl", 97],
    ["openstacks-strips:p15.pddl", 96],
    ["openstacks-strips:p16.pddl", 95],
    ["openstacks-strips:p17.pddl", 112],
    ["openstacks-strips:p18.pddl", 180],
    ["openstacks-strips:p19.pddl", 112],
    ["openstacks-strips:p20.pddl", 133],
    ["openstacks-strips:p21.pddl", 132],
    ["openstacks-strips:p22.pddl", 142],
    ["openstacks-strips:p23.pddl", 145],
    ["openstacks-strips:p24.pddl", 242],
    ["openstacks-strips:p25.pddl", 237],
    ["openstacks-strips:p26.pddl", 227],
    ["openstacks-strips:p27.pddl", 375],
    ["optical-telegraphs:p01-opt2.pddl", 28],
    ["optical-telegraphs:p02-opt3.pddl", 42],
    ["optical-telegraphs:p03-opt4.pddl", 56],
    ["optical-telegraphs:p04-opt5.pddl", 70],
    ["parcprinter-08-strips:p01.pddl", 169009],
    ["parcprinter-08-strips:p02.pddl", 438047],
    ["parcprinter-08-strips:p03.pddl", 807114],
    ["parcprinter-08-strips:p04.pddl", 876094],
    ["parcprinter-08-strips:p05.pddl", 1145132],
    ["parcprinter-08-strips:p06.pddl", 1514199],
    ["parcprinter-08-strips:p07.pddl", 1383121],
    ["parcprinter-08-strips:p08.pddl", 1852217],
    ["parcprinter-08-strips:p09.pddl", 2121255],
    ["parcprinter-08-strips:p10.pddl", 2490322],
    ["parcprinter-08-strips:p11.pddl", 182808],
    ["parcprinter-08-strips:p12.pddl", 510256],
    ["parcprinter-08-strips:p13.pddl", 693064],
    ["parcprinter-08-strips:p14.pddl", 1020512],
    ["parcprinter-08-strips:p15.pddl", 1695507],
    ["parcprinter-08-strips:p16.pddl", 1675408],
    ["parcprinter-08-strips:p17.pddl", 1713576],
    ["parcprinter-08-strips:p18.pddl", 2330304],
    ["parcprinter-08-strips:p19.pddl", 3353256],
    ["parcprinter-08-strips:p20.pddl", 2754187],
    ["parcprinter-08-strips:p21.pddl", 143411],
    ["parcprinter-08-strips:p22.pddl", 375821],
    ["parcprinter-08-strips:p23.pddl", 519232],
    ["parcprinter-08-strips:p24.pddl", 751642],
    ["parcprinter-08-strips:p25.pddl", 1215839],
    ["parcprinter-08-strips:p26.pddl", 1216462],
    ["parcprinter-08-strips:p27.pddl", 1270874],
    ["parcprinter-08-strips:p28.pddl", 1681282],
    ["parcprinter-08-strips:p29.pddl", 2377265],
    ["parcprinter-08-strips:p30.pddl", 2021893],
    ["parcprinter-sat11-strips:p11.pddl", 1891203],
    ["parcprinter-sat11-strips:p12.pddl", 2828340],
    ["parcprinter-sat11-strips:p13.pddl", 3335367],
    ["parcprinter-sat11-strips:p14.pddl", 3119803],
    ["parcprinter-sat11-strips:p15.pddl", 3160821],
    ["parcprinter-sat11-strips:p16.pddl", 3526437],
    ["parcprinter-sat11-strips:p17.pddl", 1556448],
    ["parcprinter-sat11-strips:p18.pddl", 2376643],
    ["parcprinter-sat11-strips:p19.pddl", 3072626],
    ["parcprinter-sat11-strips:p20.pddl", 2308715],
    ["parking-sat11-strips:pfile08-031.pddl", 36],
    ["parking-sat11-strips:pfile08-032.pddl", 41],
    ["parking-sat11-strips:pfile09-033.pddl", 68],
    ["parking-sat11-strips:pfile09-034.pddl", 73],
    ["parking-sat11-strips:pfile09-035.pddl", 61],
    ["parking-sat11-strips:pfile09-036.pddl", 59],
    ["parking-sat11-strips:pfile10-037.pddl", 42],
    ["parking-sat11-strips:pfile10-038.pddl", 43],
    ["parking-sat11-strips:pfile10-039.pddl", 58],
    ["parking-sat11-strips:pfile10-040.pddl", 68],
    ["parking-sat11-strips:pfile11-041.pddl", 48],
    ["parking-sat11-strips:pfile11-042.pddl", 68],
    ["parking-sat11-strips:pfile11-043.pddl", 69],
    ["parking-sat11-strips:pfile11-044.pddl", 48],
    ["parking-sat11-strips:pfile12-045.pddl", 74],
    ["parking-sat11-strips:pfile12-046.pddl", 87],
    ["parking-sat11-strips:pfile12-047.pddl", 52],
    ["parking-sat11-strips:pfile12-048.pddl", 50],
    ["parking-sat11-strips:pfile13-049.pddl", 82],
    ["parking-sat11-strips:pfile13-050.pddl", 59],
    ["parking-sat14-strips:p_28_2.pddl", 51],
    ["parking-sat14-strips:p_28_3.pddl", 73],
    ["parking-sat14-strips:p_30_1.pddl", 62],
    ["parking-sat14-strips:p_30_2.pddl", 66],
    ["parking-sat14-strips:p_30_3.pddl", 59],
    ["parking-sat14-strips:p_32_1.pddl", 55],
    ["parking-sat14-strips:p_32_2.pddl", 77],
    ["parking-sat14-strips:p_32_3.pddl", 52],
    ["parking-sat14-strips:p_34_1.pddl", 60],
    ["parking-sat14-strips:p_34_2.pddl", 81],
    ["parking-sat14-strips:p_34_3.pddl", 62],
    ["parking-sat14-strips:p_36_1.pddl", 103],
    ["parking-sat14-strips:p_36_2.pddl", 63],
    ["parking-sat14-strips:p_36_3.pddl", 62],
    ["parking-sat14-strips:p_38_1.pddl", 108],
    ["parking-sat14-strips:p_38_2.pddl", 98],
    ["parking-sat14-strips:p_38_3.pddl", 66],
    ["parking-sat14-strips:p_40_1.pddl", 104],
    ["parking-sat14-strips:p_40_2.pddl", 67],
    ["parking-sat14-strips:p_40_3.pddl", 114],
    ["pathways:p01.pddl", 6],
    ["pathways:p02.pddl", 12],
    ["pathways:p03.pddl", 18],
    ["pathways:p04.pddl", 17],
    ["pathways:p05.pddl", 30],
    ["pathways:p06.pddl", 55],
    ["pathways:p07.pddl", 63],
    ["pathways:p08.pddl", 96],
    ["pathways:p09.pddl", 70],
    ["pathways:p10.pddl", 104],
    ["pathways:p11.pddl", 82],
    ["pathways:p12.pddl", 112],
    ["pathways:p13.pddl", 100],
    ["pathways:p14.pddl", 112],
    ["pathways:p15.pddl", 108],
    ["pathways:p16.pddl", 160],
    ["pathways:p17.pddl", 149],
    ["pathways:p18.pddl", 198],
    ["pathways:p19.pddl", 194],
    ["pathways:p20.pddl", 225],
    ["pathways:p23.pddl", 182],
    ["pathways:p24.pddl", 226],
    ["pathways:p25.pddl", 205],
    ["pathways:p26.pddl", 229],
    ["pathways:p27.pddl", 249],
    ["pathways:p28.pddl", 211],
    ["pathways:p29.pddl", 261],
    ["pathways:p30.pddl", 289],
    ["pathways-noneg:p01.pddl", 6],
    ["pathways-noneg:p02.pddl", 12],
    ["pathways-noneg:p03.pddl", 18],
    ["pathways-noneg:p04.pddl", 17],
    ["pathways-noneg:p05.pddl", 30],
    ["pathways-noneg:p06.pddl", 55],
    ["pathways-noneg:p07.pddl", 63],
    ["pathways-noneg:p08.pddl", 90],
    ["pathways-noneg:p09.pddl", 72],
    ["pathways-noneg:p10.pddl", 84],
    ["pathways-noneg:p11.pddl", 83],
    ["pathways-noneg:p12.pddl", 111],
    ["pathways-noneg:p13.pddl", 101],
    ["pathways-noneg:p14.pddl", 112],
    ["pathways-noneg:p15.pddl", 105],
    ["pathways-noneg:p16.pddl", 147],
    ["pathways-noneg:p17.pddl", 152],
    ["pathways-noneg:p18.pddl", 180],
    ["pathways-noneg:p19.pddl", 194],
    ["pathways-noneg:p20.pddl", 225],
    ["pathways-noneg:p22.pddl", 163],
    ["pathways-noneg:p23.pddl", 182],
    ["pathways-noneg:p24.pddl", 222],
    ["pathways-noneg:p25.pddl", 205],
    ["pathways-noneg:p26.pddl", 228],
    ["pathways-noneg:p27.pddl", 241],
    ["pathways-noneg:p28.pddl", 214],
    ["pathways-noneg:p29.pddl", 263],
    ["pathways-noneg:p30.pddl", 286],
    ["pegsol-08-strips:p01.pddl", 2],
    ["pegsol-08-strips:p02.pddl", 5],
    ["pegsol-08-strips:p03.pddl", 4],
    ["pegsol-08-strips:p04.pddl", 4],
    ["pegsol-08-strips:p05.pddl", 4],
    ["pegsol-08-strips:p06.pddl", 4],
    ["pegsol-08-strips:p07.pddl", 3],
    ["pegsol-08-strips:p08.pddl", 6],
    ["pegsol-08-strips:p09.pddl", 5],
    ["pegsol-08-strips:p10.pddl", 6],
    ["pegsol-08-strips:p11.pddl", 7],
    ["pegsol-08-strips:p12.pddl", 8],
    ["pegsol-08-strips:p13.pddl", 9],
    ["pegsol-08-strips:p14.pddl", 7],
    ["pegsol-08-strips:p15.pddl", 8],
    ["pegsol-08-strips:p16.pddl", 8],
    ["pegsol-08-strips:p17.pddl", 10],
    ["pegsol-08-strips:p18.pddl", 7],
    ["pegsol-08-strips:p19.pddl", 8],
    ["pegsol-08-strips:p20.pddl", 7],
    ["pegsol-08-strips:p21.pddl", 8],
    ["pegsol-08-strips:p22.pddl", 6],
    ["pegsol-08-strips:p23.pddl", 8],
    ["pegsol-08-strips:p24.pddl", 8],
    ["pegsol-08-strips:p25.pddl", 8],
    ["pegsol-08-strips:p26.pddl", 9],
    ["pegsol-08-strips:p27.pddl", 7],
    ["pegsol-08-strips:p28.pddl", 12],
    ["pegsol-08-strips:p29.pddl", 11],
    ["pegsol-08-strips:p30.pddl", 18],
    ["pegsol-sat11-strips:p04.pddl", 12],
    ["pegsol-sat11-strips:p05.pddl", 9],
    ["pegsol-sat11-strips:p06.pddl", 7],
    ["pegsol-sat11-strips:p07.pddl", 8],
    ["pegsol-sat11-strips:p08.pddl", 11],
    ["philosophers:p01-phil2.pddl", 18],
    ["philosophers:p02-phil3.pddl", 27],
    ["philosophers:p03-phil4.pddl", 36],
    ["philosophers:p04-phil5.pddl", 45],
    ["philosophers:p05-phil6.pddl", 54],
    ["philosophers:p06-phil7.pddl", 63],
    ["philosophers:p07-phil8.pddl", 72],
    ["philosophers:p08-phil9.pddl", 81],
    ["philosophers:p09-phil10.pddl", 90],
    ["philosophers:p10-phil11.pddl", 99],
    ["philosophers:p11-phil12.pddl", 108],
    ["philosophers:p12-phil13.pddl", 117],
    ["philosophers:p13-phil14.pddl", 126],
    ["philosophers:p14-phil15.pddl", 135],
    ["philosophers:p15-phil16.pddl", 144],
    ["philosophers:p16-phil17.pddl", 153],
    ["philosophers:p17-phil18.pddl", 162],
    ["philosophers:p18-phil19.pddl", 171],
    ["philosophers:p19-phil20.pddl", 180],
    ["philosophers:p20-phil21.pddl", 189],
    ["philosophers:p21-phil22.pddl", 198],
    ["philosophers:p22-phil23.pddl", 207],
    ["philosophers:p23-phil24.pddl", 216],
    ["philosophers:p24-phil25.pddl", 225],
    ["philosophers:p25-phil26.pddl", 234],
    ["philosophers:p26-phil27.pddl", 243],
    ["philosophers:p27-phil28.pddl", 252],
    ["philosophers:p28-phil29.pddl", 261],
    ["philosophers:p29-phil30.pddl", 270],
    ["philosophers:p30-phil31.pddl", 279],
    ["philosophers:p31-phil32.pddl", 288],
    ["philosophers:p32-phil33.pddl", 297],
    ["philosophers:p33-phil34.pddl", 306],
    ["philosophers:p34-phil35.pddl", 315],
    ["philosophers:p35-phil36.pddl", 324],
    ["philosophers:p36-phil37.pddl", 333],
    ["philosophers:p37-phil38.pddl", 342],
    ["philosophers:p38-phil39.pddl", 351],
    ["philosophers:p39-phil40.pddl", 360],
    ["philosophers:p40-phil41.pddl", 385],
    ["philosophers:p41-phil42.pddl", 394],
    ["philosophers:p42-phil43.pddl", 403],
    ["philosophers:p43-phil44.pddl", 412],
    ["philosophers:p44-phil45.pddl", 421],
    ["philosophers:p45-phil46.pddl", 430],
    ["pipesworld-notankage:p01-net1-b6-g2.pddl", 5],
    ["pipesworld-notankage:p02-net1-b6-g4.pddl", 12],
    ["pipesworld-notankage:p03-net1-b8-g3.pddl", 8],
    ["pipesworld-notankage:p04-net1-b8-g5.pddl", 11],
    ["pipesworld-notankage:p05-net1-b10-g4.pddl", 8],
    ["pipesworld-notankage:p06-net1-b10-g6.pddl", 10],
    ["pipesworld-notankage:p07-net1-b12-g5.pddl", 8],
    ["pipesworld-notankage:p08-net1-b12-g7.pddl", 10],
    ["pipesworld-notankage:p09-net1-b14-g6.pddl", 13],
    ["pipesworld-notankage:p10-net1-b14-g8.pddl", 18],
    ["pipesworld-notankage:p11-net2-b10-g2.pddl", 20],
    ["pipesworld-notankage:p12-net2-b10-g4.pddl", 24],
    ["pipesworld-notankage:p13-net2-b12-g3.pddl", 16],
    ["pipesworld-notankage:p14-net2-b12-g5.pddl", 30],
    ["pipesworld-notankage:p15-net2-b14-g4.pddl", 26],
    ["pipesworld-notankage:p16-net2-b14-g6.pddl", 42],
    ["pipesworld-notankage:p17-net2-b16-g5.pddl", 22],
    ["pipesworld-notankage:p18-net2-b16-g7.pddl", 30],
    ["pipesworld-notankage:p19-net2-b18-g6.pddl", 24],
    ["pipesworld-notankage:p20-net2-b18-g8.pddl", 28],
    ["pipesworld-notankage:p21-net3-b12-g2.pddl", 14],
    ["pipesworld-notankage:p22-net3-b12-g4.pddl", 30],
    ["pipesworld-notankage:p23-net3-b14-g3.pddl", 18],
    ["pipesworld-notankage:p24-net3-b14-g5.pddl", 24],
    ["pipesworld-notankage:p25-net3-b16-g5.pddl", 32],
    ["pipesworld-notankage:p26-net3-b16-g7.pddl", 36],
    ["pipesworld-notankage:p27-net3-b18-g6.pddl", 26],
    ["pipesworld-notankage:p28-net3-b18-g7.pddl", 34],
    ["pipesworld-notankage:p29-net3-b20-g6.pddl", 31],
    ["pipesworld-notankage:p30-net3-b20-g8.pddl", 40],
    ["pipesworld-notankage:p31-net4-b14-g3.pddl", 24],
    ["pipesworld-notankage:p32-net4-b14-g5.pddl", 30],
    ["pipesworld-notankage:p33-net4-b16-g5.pddl", 32],
    ["pipesworld-notankage:p34-net4-b16-g6.pddl", 33],
    ["pipesworld-notankage:p35-net4-b18-g4.pddl", 22],
    ["pipesworld-notankage:p36-net4-b18-g6.pddl", 27],
    ["pipesworld-notankage:p37-net4-b20-g5.pddl", 29],
    ["pipesworld-notankage:p38-net4-b20-g7.pddl", 32],
    ["pipesworld-notankage:p39-net4-b22-g7.pddl", 30],
    ["pipesworld-notankage:p40-net4-b22-g8.pddl", 34],
    ["pipesworld-notankage:p41-net5-b22-g2.pddl", 12],
    ["pipesworld-notankage:p42-net5-b22-g4.pddl", 101],
    ["pipesworld-notankage:p43-net5-b24-g3.pddl", 78],
    ["pipesworld-notankage:p44-net5-b24-g5.pddl", 93],
    ["pipesworld-notankage:p49-net5-b30-g6.pddl", 38],
    ["pipesworld-notankage:p50-net5-b30-g8.pddl", 57],
    ["pipesworld-tankage:p01-net1-b6-g2-t50.pddl", 5],
    ["pipesworld-tankage:p02-net1-b6-g4-t50.pddl", 12],
    ["pipesworld-tankage:p03-net1-b8-g3-t80.pddl", 8],
    ["pipesworld-tankage:p04-net1-b8-g5-t80.pddl", 11],
    ["pipesworld-tankage:p05-net1-b10-g4-t50.pddl", 8],
    ["pipesworld-tankage:p06-net1-b10-g6-t50.pddl", 10],
    ["pipesworld-tankage:p07-net1-b12-g5-t80.pddl", 8],
    ["pipesworld-tankage:p08-net1-b12-g7-t80.pddl", 11],
    ["pipesworld-tankage:p09-net1-b14-g6-t50.pddl", 18],
    ["pipesworld-tankage:p10-net1-b14-g8-t50.pddl", 19],
    ["pipesworld-tankage:p11-net2-b10-g2-t30.pddl", 22],
    ["pipesworld-tankage:p12-net2-b10-g4-t60.pddl", 24],
    ["pipesworld-tankage:p13-net2-b12-g3-t70.pddl", 16],
    ["pipesworld-tankage:p14-net2-b12-g5-t30.pddl", 38],
    ["pipesworld-tankage:p15-net2-b14-g4-t30.pddl", 30],
    ["pipesworld-tankage:p16-net2-b14-g6-t80.pddl", 42],
    ["pipesworld-tankage:p17-net2-b16-g5-t20.pddl", 44],
    ["pipesworld-tankage:p18-net2-b16-g7-t60.pddl", 34],
    ["pipesworld-tankage:p19-net2-b18-g6-t60.pddl", 24],
    ["pipesworld-tankage:p20-net2-b18-g8-t90.pddl", 28],
    ["pipesworld-tankage:p21-net3-b12-g2-t60.pddl", 14],
    ["pipesworld-tankage:p22-net3-b12-g4-t60.pddl", 30],
    ["pipesworld-tankage:p23-net3-b14-g3-t60.pddl", 34],
    ["pipesworld-tankage:p24-net3-b14-g5-t60.pddl", 42],
    ["pipesworld-tankage:p25-net3-b16-g5-t60.pddl", 40],
    ["pipesworld-tankage:p26-net3-b16-g7-t70.pddl", 47],
    ["pipesworld-tankage:p27-net3-b18-g6-t70.pddl", 30],
    ["pipesworld-tankage:p28-net3-b18-g7-t70.pddl", 71],
    ["pipesworld-tankage:p29-net3-b20-g6-t70.pddl", 39],
    ["pipesworld-tankage:p30-net3-b20-g8-t70.pddl", 54],
    ["pipesworld-tankage:p31-net4-b14-g3-t20.pddl", 39],
    ["pipesworld-tankage:p32-net4-b14-g5-t30.pddl", 30],
    ["pipesworld-tankage:p33-net4-b16-g5-t60.pddl", 42],
    ["pipesworld-tankage:p34-net4-b16-g6-t60.pddl", 31],
    ["pipesworld-tankage:p35-net4-b18-g4-t90.pddl", 30],
    ["pipesworld-tankage:p36-net4-b18-g6-t90.pddl", 49],
    ["pipesworld-tankage:p37-net4-b20-g5-t60.pddl", 28],
    ["pipesworld-tankage:p38-net4-b20-g7-t60.pddl", 39],
    ["pipesworld-tankage:p39-net4-b22-g7-t50.pddl", 30],
    ["pipesworld-tankage:p40-net4-b22-g8-t50.pddl", 37],
    ["pipesworld-tankage:p41-net5-b22-g2-t20.pddl", 14],
    ["pipesworld-tankage:p45-net5-b26-g4-t50.pddl", 94],
    ["pipesworld-tankage:p46-net5-b26-g6-t50.pddl", 86],
    ["pipesworld-tankage:p49-net5-b30-g6-t50.pddl", 39],
    ["pipesworld-tankage:p50-net5-b30-g8-t50.pddl", 58],
    ["psr-large:p01-s29-n2-l5-f30.pddl", 6],
    ["psr-large:p02-s46-n3-l5-f50.pddl", 6],
    ["psr-large:p03-s53-n4-l3-f30.pddl", 11],
    ["psr-large:p04-s66-n5-l2-f50.pddl", 6],
    ["psr-large:p05-s71-n5-l3-f70.pddl", 8],
    ["psr-large:p06-s74-n5-l4-f50.pddl", 9],
    ["psr-large:p07-s81-n6-l2-f30.pddl", 12],
    ["psr-large:p08-s87-n6-l3-f70.pddl", 3],
    ["psr-large:p09-s90-n6-l4-f50.pddl", 8],
    ["psr-large:p10-s93-n6-l5-f30.pddl", 17],
    ["psr-large:p11-s100-n7-l3-f10.pddl", 6],
    ["psr-large:p12-s103-n7-l3-f70.pddl", 7],
    ["psr-large:p13-s106-n7-l4-f50.pddl", 6],
    ["psr-large:p14-s112-n8-l2-f10.pddl", 9],
    ["psr-large:p15-s114-n8-l2-f50.pddl", 11],
    ["psr-large:p16-s119-n8-l3-f70.pddl", 6],
    ["psr-large:p17-s129-n9-l2-f30.pddl", 14],
    ["psr-large:p18-s133-n9-l3-f30.pddl", 16],
    ["psr-large:p19-s144-n10-l2-f10.pddl", 7],
    ["psr-large:p20-s149-n10-l3-f30.pddl", 11],
    ["psr-middle:p01-s17-n2-l2-f30.pddl", 4],
    ["psr-middle:p02-s23-n2-l3-f70.pddl", 3],
    ["psr-middle:p03-s28-n2-l5-f10.pddl", 5],
    ["psr-middle:p04-s31-n2-l5-f70.pddl", 4],
    ["psr-middle:p05-s34-n3-l2-f50.pddl", 5],
    ["psr-middle:p06-s37-n3-l3-f30.pddl", 10],
    ["psr-middle:p07-s38-n3-l3-f50.pddl", 3],
    ["psr-middle:p08-s40-n3-l4-f10.pddl", 3],
    ["psr-middle:p09-s42-n3-l4-f50.pddl", 5],
    ["psr-middle:p10-s45-n3-l5-f30.pddl", 9],
    ["psr-middle:p11-s46-n3-l5-f50.pddl", 6],
    ["psr-middle:p12-s50-n4-l2-f50.pddl", 7],
    ["psr-middle:p13-s53-n4-l3-f30.pddl", 11],
    ["psr-middle:p14-s55-n4-l3-f70.pddl", 6],
    ["psr-middle:p15-s56-n4-l4-f10.pddl", 9],
    ["psr-middle:p16-s60-n4-l5-f10.pddl", 6],
    ["psr-middle:p17-s61-n4-l5-f30.pddl", 5],
    ["psr-middle:p18-s62-n4-l5-f50.pddl", 8],
    ["psr-middle:p19-s66-n5-l2-f50.pddl", 6],
    ["psr-middle:p20-s69-n5-l3-f30.pddl", 11],
    ["psr-middle:p21-s72-n5-l4-f10.pddl", 13],
    ["psr-middle:p22-s74-n5-l4-f50.pddl", 9],
    ["psr-middle:p23-s76-n5-l5-f10.pddl", 9],
    ["psr-middle:p24-s77-n5-l5-f30.pddl", 3],
    ["psr-middle:p25-s81-n6-l2-f30.pddl", 12],
    ["psr-middle:p26-s85-n6-l3-f30.pddl", 13],
    ["psr-middle:p27-s86-n6-l3-f50.pddl", 13],
    ["psr-middle:p28-s88-n6-l4-f10.pddl", 7],
    ["psr-middle:p29-s89-n6-l4-f30.pddl", 13],
    ["psr-middle:p30-s90-n6-l4-f50.pddl", 8],
    ["psr-middle:p31-s92-n6-l5-f10.pddl", 7],
    ["psr-middle:p32-s93-n6-l5-f30.pddl", 17],
    ["psr-middle:p33-s100-n7-l3-f10.pddl", 6],
    ["psr-middle:p34-s102-n7-l3-f50.pddl", 13],
    ["psr-middle:p35-s103-n7-l3-f70.pddl", 7],
    ["psr-middle:p36-s106-n7-l4-f50.pddl", 6],
    ["psr-middle:p38-s109-n7-l5-f30.pddl", 19],
    ["psr-middle:p40-s114-n8-l2-f50.pddl", 11],
    ["psr-middle:p42-s120-n8-l4-f10.pddl", 12],
    ["psr-middle:p43-s123-n8-l4-f70.pddl", 9],
    ["psr-middle:p44-s131-n9-l2-f70.pddl", 8],
    ["psr-middle:p46-s135-n9-l3-f70.pddl", 5],
    ["psr-middle:p47-s139-n9-l4-f70.pddl", 5],
    ["psr-middle:p48-s144-n10-l2-f10.pddl", 7],
    ["psr-middle:p49-s149-n10-l3-f30.pddl", 11],
    ["psr-middle:p50-s153-n10-l4-f30.pddl", 11],
    ["psr-small:p01-s2-n1-l2-f50.pddl", 8],
    ["psr-small:p02-s5-n1-l3-f30.pddl", 11],
    ["psr-small:p03-s7-n1-l3-f70.pddl", 11],
    ["psr-small:p04-s8-n1-l4-f10.pddl", 10],
    ["psr-small:p05-s9-n1-l4-f30.pddl", 11],
    ["psr-small:p06-s10-n1-l4-f50.pddl", 8],
    ["psr-small:p07-s11-n1-l4-f70.pddl", 11],
    ["psr-small:p08-s12-n1-l5-f10.pddl", 8],
    ["psr-small:p09-s13-n1-l5-f30.pddl", 8],
    ["psr-small:p10-s17-n2-l2-f30.pddl", 7],
    ["psr-small:p11-s18-n2-l2-f50.pddl", 19],
    ["psr-small:p12-s21-n2-l3-f30.pddl", 16],
    ["psr-small:p13-s22-n2-l3-f50.pddl", 15],
    ["psr-small:p14-s23-n2-l3-f70.pddl", 9],
    ["psr-small:p15-s24-n2-l4-f10.pddl", 10],
    ["psr-small:p16-s29-n2-l5-f30.pddl", 25],
    ["psr-small:p17-s30-n2-l5-f50.pddl", 9],
    ["psr-small:p18-s31-n2-l5-f70.pddl", 12],
    ["psr-small:p19-s33-n3-l2-f30.pddl", 25],
    ["psr-small:p20-s34-n3-l2-f50.pddl", 17],
    ["psr-small:p21-s35-n3-l2-f70.pddl", 10],
    ["psr-small:p22-s37-n3-l3-f30.pddl", 33],
    ["psr-small:p23-s38-n3-l3-f50.pddl", 12],
    ["psr-small:p24-s39-n3-l3-f70.pddl", 10],
    ["psr-small:p25-s40-n3-l4-f10.pddl", 9],
    ["psr-small:p26-s41-n3-l4-f30.pddl", 17],
    ["psr-small:p27-s42-n3-l4-f50.pddl", 21],
    ["psr-small:p28-s43-n3-l4-f70.pddl", 14],
    ["psr-small:p29-s45-n3-l5-f30.pddl", 21],
    ["psr-small:p30-s46-n3-l5-f50.pddl", 22],
    ["psr-small:p31-s49-n4-l2-f30.pddl", 19],
    ["psr-small:p32-s50-n4-l2-f50.pddl", 24],
    ["psr-small:p33-s51-n4-l2-f70.pddl", 21],
    ["psr-small:p34-s55-n4-l3-f70.pddl", 21],
    ["psr-small:p35-s57-n5-l2-f30.pddl", 22],
    ["psr-small:p36-s65-n6-l2-f30.pddl", 22],
    ["psr-small:p37-s67-n6-l2-f70.pddl", 23],
    ["psr-small:p38-s78-n3-l3-f50.pddl", 13],
    ["psr-small:p39-s79-n3-l3-f70.pddl", 23],
    ["psr-small:p40-s80-n3-l4-f10.pddl", 20],
    ["psr-small:p41-s81-n3-l4-f30.pddl", 10],
    ["psr-small:p42-s82-n3-l4-f50.pddl", 30],
    ["psr-small:p43-s83-n3-l4-f70.pddl", 20],
    ["psr-small:p44-s89-n4-l2-f30.pddl", 19],
    ["psr-small:p45-s94-n4-l3-f50.pddl", 20],
    ["psr-small:p46-s97-n5-l2-f30.pddl", 34],
    ["psr-small:p47-s98-n5-l2-f50.pddl", 27],
    ["psr-small:p48-s101-n5-l3-f30.pddl", 37],
    ["psr-small:p49-s105-n6-l2-f30.pddl", 47],
    ["psr-small:p50-s107-n6-l2-f70.pddl", 23],
    ["rovers:p01.pddl", 10],
    ["rovers:p02.pddl", 8],
    ["rovers:p03.pddl", 11],
    ["rovers:p04.pddl", 8],
    ["rovers:p05.pddl", 22],
    ["rovers:p06.pddl", 36],
    ["rovers:p07.pddl", 18],
    ["rovers:p08.pddl", 26],
    ["rovers:p09.pddl", 31],
    ["rovers:p10.pddl", 37],
    ["rovers:p11.pddl", 31],
    ["rovers:p12.pddl", 19],
    ["rovers:p13.pddl", 44],
    ["rovers:p14.pddl", 29],
    ["rovers:p15.pddl", 41],
    ["rovers:p16.pddl", 41],
    ["rovers:p17.pddl", 49],
    ["rovers:p18.pddl", 42],
    ["rovers:p19.pddl", 68],
    ["rovers:p20.pddl", 87],
    ["rovers:p21.pddl", 63],
    ["rovers:p22.pddl", 67],
    ["rovers:p23.pddl", 76],
    ["rovers:p24.pddl", 109],
    ["rovers:p25.pddl", 30],
    ["rovers:p26.pddl", 59],
    ["rovers:p27.pddl", 93],
    ["rovers:p28.pddl", 74],
    ["rovers:p29.pddl", 58],
    ["rovers:p30.pddl", 114],
    ["rovers:p31.pddl", 121],
    ["rovers:p32.pddl", 168],
    ["rovers:p33.pddl", 219],
    ["rovers:p34.pddl", 138],
    ["rovers:p35.pddl", 361],
    ["rovers:p36.pddl", 230],
    ["rovers:p37.pddl", 344],
    ["rovers:p38.pddl", 296],
    ["rovers:p39.pddl", 358],
    ["rovers:p40.pddl", 332],
    ["satellite:p01-pfile1.pddl", 9],
    ["satellite:p02-pfile2.pddl", 13],
    ["satellite:p03-pfile3.pddl", 11],
    ["satellite:p04-pfile4.pddl", 17],
    ["satellite:p05-pfile5.pddl", 15],
    ["satellite:p06-pfile6.pddl", 20],
    ["satellite:p07-pfile7.pddl", 21],
    ["satellite:p08-pfile8.pddl", 26],
    ["satellite:p09-pfile9.pddl", 27],
    ["satellite:p10-pfile10.pddl", 29],
    ["satellite:p11-pfile11.pddl", 31],
    ["satellite:p12-pfile12.pddl", 43],
    ["satellite:p13-pfile13.pddl", 57],
    ["satellite:p14-pfile14.pddl", 39],
    ["satellite:p15-pfile15.pddl", 49],
    ["satellite:p16-pfile16.pddl", 48],
    ["satellite:p17-pfile17.pddl", 46],
    ["satellite:p18-pfile18.pddl", 32],
    ["satellite:p19-pfile19.pddl", 61],
    ["satellite:p20-pfile20.pddl", 90],
    ["satellite:p21-HC-pfile1.pddl", 74],
    ["satellite:p22-HC-pfile2.pddl", 92],
    ["satellite:p23-HC-pfile3.pddl", 99],
    ["satellite:p24-HC-pfile4.pddl", 139],
    ["satellite:p25-HC-pfile5.pddl", 127],
    ["satellite:p26-HC-pfile6.pddl", 138],
    ["satellite:p27-HC-pfile7.pddl", 135],
    ["satellite:p28-HC-pfile8.pddl", 197],
    ["satellite:p29-HC-pfile9.pddl", 191],
    ["satellite:p30-HC-pfile10.pddl", 231],
    ["satellite:p31-HC-pfile11.pddl", 272],
    ["satellite:p32-HC-pfile12.pddl", 371],
    ["satellite:p33-HC-pfile13.pddl", 463],
    ["satellite:p34-HC-pfile14.pddl", 287],
    ["satellite:p35-HC-pfile15.pddl", 377],
    ["satellite:p36-HC-pfile16.pddl", 360],
    ["scanalyzer-08-strips:p01.pddl", 18],
    ["scanalyzer-08-strips:p02.pddl", 22],
    ["scanalyzer-08-strips:p03.pddl", 26],
    ["scanalyzer-08-strips:p04.pddl", 24],
    ["scanalyzer-08-strips:p05.pddl", 30],
    ["scanalyzer-08-strips:p06.pddl", 36],
    ["scanalyzer-08-strips:p07.pddl", 30],
    ["scanalyzer-08-strips:p08.pddl", 50],
    ["scanalyzer-08-strips:p09.pddl", 60],
    ["scanalyzer-08-strips:p10.pddl", 36],
    ["scanalyzer-08-strips:p11.pddl", 54],
    ["scanalyzer-08-strips:p12.pddl", 74],
    ["scanalyzer-08-strips:p13.pddl", 42],
    ["scanalyzer-08-strips:p14.pddl", 66],
    ["scanalyzer-08-strips:p15.pddl", 70],
    ["scanalyzer-08-strips:p16.pddl", 48],
    ["scanalyzer-08-strips:p17.pddl", 88],
    ["scanalyzer-08-strips:p18.pddl", 96],
    ["scanalyzer-08-strips:p19.pddl", 54],
    ["scanalyzer-08-strips:p20.pddl", 86],
    ["scanalyzer-08-strips:p21.pddl", 112],
    ["scanalyzer-08-strips:p22.pddl", 13],
    ["scanalyzer-08-strips:p25.pddl", 26],
    ["scanalyzer-08-strips:p26.pddl", 30],
    ["scanalyzer-08-strips:p27.pddl", 34],
    ["scanalyzer-08-strips:p28.pddl", 39],
    ["scanalyzer-08-strips:p29.pddl", 55],
    ["scanalyzer-08-strips:p30.pddl", 63],
    ["schedule:probschedule-10-0.pddl", 12],
    ["schedule:probschedule-10-1.pddl", 10],
    ["schedule:probschedule-10-2.pddl", 12],
    ["schedule:probschedule-11-0.pddl", 14],
    ["schedule:probschedule-11-1.pddl", 12],
    ["schedule:probschedule-11-2.pddl", 13],
    ["schedule:probschedule-12-0.pddl", 14],
    ["schedule:probschedule-12-1.pddl", 14],
    ["schedule:probschedule-12-2.pddl", 14],
    ["schedule:probschedule-13-0.pddl", 15],
    ["schedule:probschedule-13-1.pddl", 16],
    ["schedule:probschedule-13-2.pddl", 15],
    ["schedule:probschedule-14-0.pddl", 16],
    ["schedule:probschedule-14-1.pddl", 16],
    ["schedule:probschedule-14-2.pddl", 17],
    ["schedule:probschedule-15-0.pddl", 19],
    ["schedule:probschedule-15-1.pddl", 19],
    ["schedule:probschedule-15-2.pddl", 17],
    ["schedule:probschedule-16-0.pddl", 20],
    ["schedule:probschedule-16-1.pddl", 19],
    ["schedule:probschedule-16-2.pddl", 18],
    ["schedule:probschedule-17-0.pddl", 19],
    ["schedule:probschedule-17-1.pddl", 20],
    ["schedule:probschedule-17-2.pddl", 21],
    ["schedule:probschedule-18-0.pddl", 20],
    ["schedule:probschedule-18-1.pddl", 22],
    ["schedule:probschedule-18-2.pddl", 20],
    ["schedule:probschedule-19-0.pddl", 24],
    ["schedule:probschedule-19-1.pddl", 23],
    ["schedule:probschedule-19-2.pddl", 21],
    ["schedule:probschedule-2-0.pddl", 2],
    ["schedule:probschedule-2-1.pddl", 2],
    ["schedule:probschedule-2-2.pddl", 2],
    ["schedule:probschedule-20-0.pddl", 24],
    ["schedule:probschedule-20-1.pddl", 27],
    ["schedule:probschedule-20-2.pddl", 24],
    ["schedule:probschedule-21-0.pddl", 25],
    ["schedule:probschedule-21-1.pddl", 26],
    ["schedule:probschedule-21-2.pddl", 27],
    ["schedule:probschedule-22-0.pddl", 27],
    ["schedule:probschedule-22-1.pddl", 28],
    ["schedule:probschedule-22-2.pddl", 28],
    ["schedule:probschedule-23-0.pddl", 29],
    ["schedule:probschedule-23-1.pddl", 32],
    ["schedule:probschedule-23-2.pddl", 31],
    ["schedule:probschedule-24-0.pddl", 30],
    ["schedule:probschedule-24-1.pddl", 29],
    ["schedule:probschedule-24-2.pddl", 29],
    ["schedule:probschedule-25-0.pddl", 28],
    ["schedule:probschedule-25-1.pddl", 30],
    ["schedule:probschedule-25-2.pddl", 27],
    ["schedule:probschedule-26-0.pddl", 29],
    ["schedule:probschedule-26-1.pddl", 31],
    ["schedule:probschedule-26-2.pddl", 33],
    ["schedule:probschedule-27-0.pddl", 32],
    ["schedule:probschedule-27-1.pddl", 35],
    ["schedule:probschedule-27-2.pddl", 32],
    ["schedule:probschedule-28-0.pddl", 31],
    ["schedule:probschedule-28-1.pddl", 34],
    ["schedule:probschedule-28-2.pddl", 38],
    ["schedule:probschedule-29-0.pddl", 34],
    ["schedule:probschedule-29-1.pddl", 41],
    ["schedule:probschedule-29-2.pddl", 33],
    ["schedule:probschedule-3-0.pddl", 4],
    ["schedule:probschedule-3-1.pddl", 2],
    ["schedule:probschedule-3-2.pddl", 4],
    ["schedule:probschedule-30-0.pddl", 35],
    ["schedule:probschedule-30-1.pddl", 39],
    ["schedule:probschedule-30-2.pddl", 36],
    ["schedule:probschedule-31-0.pddl", 37],
    ["schedule:probschedule-31-1.pddl", 38],
    ["schedule:probschedule-31-2.pddl", 38],
    ["schedule:probschedule-32-0.pddl", 39],
    ["schedule:probschedule-32-1.pddl", 37],
    ["schedule:probschedule-32-2.pddl", 37],
    ["schedule:probschedule-33-0.pddl", 40],
    ["schedule:probschedule-33-1.pddl", 39],
    ["schedule:probschedule-33-2.pddl", 38],
    ["schedule:probschedule-34-0.pddl", 40],
    ["schedule:probschedule-34-1.pddl", 44],
    ["schedule:probschedule-34-2.pddl", 45],
    ["schedule:probschedule-35-0.pddl", 50],
    ["schedule:probschedule-35-1.pddl", 42],
    ["schedule:probschedule-35-2.pddl", 49],
    ["schedule:probschedule-36-0.pddl", 49],
    ["schedule:probschedule-36-1.pddl", 41],
    ["schedule:probschedule-36-2.pddl", 44],
    ["schedule:probschedule-37-0.pddl", 54],
    ["schedule:probschedule-37-1.pddl", 44],
    ["schedule:probschedule-37-2.pddl", 46],
    ["schedule:probschedule-38-0.pddl", 51],
    ["schedule:probschedule-38-1.pddl", 47],
    ["schedule:probschedule-38-2.pddl", 53],
    ["schedule:probschedule-39-0.pddl", 50],
    ["schedule:probschedule-39-1.pddl", 46],
    ["schedule:probschedule-39-2.pddl", 48],
    ["schedule:probschedule-4-0.pddl", 5],
    ["schedule:probschedule-4-1.pddl", 5],
    ["schedule:probschedule-4-2.pddl", 5],
    ["schedule:probschedule-40-0.pddl", 46],
    ["schedule:probschedule-40-1.pddl", 53],
    ["schedule:probschedule-40-2.pddl", 52],
    ["schedule:probschedule-41-0.pddl", 48],
    ["schedule:probschedule-41-1.pddl", 50],
    ["schedule:probschedule-41-2.pddl", 49],
    ["schedule:probschedule-42-0.pddl", 47],
    ["schedule:probschedule-42-1.pddl", 54],
    ["schedule:probschedule-42-2.pddl", 50],
    ["schedule:probschedule-43-0.pddl", 55],
    ["schedule:probschedule-43-1.pddl", 55],
    ["schedule:probschedule-43-2.pddl", 53],
    ["schedule:probschedule-44-0.pddl", 58],
    ["schedule:probschedule-44-1.pddl", 54],
    ["schedule:probschedule-44-2.pddl", 58],
    ["schedule:probschedule-45-0.pddl", 60],
    ["schedule:probschedule-45-1.pddl", 54],
    ["schedule:probschedule-45-2.pddl", 54],
    ["schedule:probschedule-46-0.pddl", 53],
    ["schedule:probschedule-46-1.pddl", 59],
    ["schedule:probschedule-46-2.pddl", 58],
    ["schedule:probschedule-47-0.pddl", 55],
    ["schedule:probschedule-47-1.pddl", 56],
    ["schedule:probschedule-47-2.pddl", 55],
    ["schedule:probschedule-48-0.pddl", 59],
    ["schedule:probschedule-48-1.pddl", 54],
    ["schedule:probschedule-48-2.pddl", 59],
    ["schedule:probschedule-49-0.pddl", 55],
    ["schedule:probschedule-49-1.pddl", 60],
    ["schedule:probschedule-49-2.pddl", 59],
    ["schedule:probschedule-5-0.pddl", 5],
    ["schedule:probschedule-5-1.pddl", 6],
    ["schedule:probschedule-5-2.pddl", 7],
    ["schedule:probschedule-50-0.pddl", 58],
    ["schedule:probschedule-50-1.pddl", 65],
    ["schedule:probschedule-50-2.pddl", 63],
    ["schedule:probschedule-51-0.pddl", 59],
    ["schedule:probschedule-51-1.pddl", 59],
    ["schedule:probschedule-51-2.pddl", 58],
    ["schedule:probschedule-6-0.pddl", 7],
    ["schedule:probschedule-6-1.pddl", 7],
    ["schedule:probschedule-6-2.pddl", 5],
    ["schedule:probschedule-7-0.pddl", 7],
    ["schedule:probschedule-7-1.pddl", 8],
    ["schedule:probschedule-7-2.pddl", 8],
    ["schedule:probschedule-8-0.pddl", 9],
    ["schedule:probschedule-8-1.pddl", 10],
    ["schedule:probschedule-8-2.pddl", 9],
    ["schedule:probschedule-9-0.pddl", 12],
    ["schedule:probschedule-9-1.pddl", 9],
    ["schedule:probschedule-9-2.pddl", 11],
    ["sokoban-sat08-strips:p01.pddl", 9],
    ["sokoban-sat08-strips:p02.pddl", 29],
    ["sokoban-sat08-strips:p03.pddl", 9],
    ["sokoban-sat08-strips:p04.pddl", 31],
    ["sokoban-sat08-strips:p05.pddl", 30],
    ["sokoban-sat08-strips:p06.pddl", 32],
    ["sokoban-sat08-strips:p07.pddl", 29],
    ["sokoban-sat08-strips:p08.pddl", 50],
    ["sokoban-sat08-strips:p09.pddl", 49],
    ["sokoban-sat08-strips:p10.pddl", 2],
    ["sokoban-sat08-strips:p11.pddl", 10],
    ["sokoban-sat08-strips:p12.pddl", 44],
    ["sokoban-sat08-strips:p13.pddl", 31],
    ["sokoban-sat08-strips:p14.pddl", 50],
    ["sokoban-sat08-strips:p15.pddl", 39],
    ["sokoban-sat08-strips:p16.pddl", 33],
    ["sokoban-sat08-strips:p17.pddl", 23],
    ["sokoban-sat08-strips:p18.pddl", 43],
    ["sokoban-sat08-strips:p19.pddl", 18],
    ["sokoban-sat08-strips:p20.pddl", 14],
    ["sokoban-sat08-strips:p21.pddl", 51],
    ["sokoban-sat08-strips:p22.pddl", 60],
    ["sokoban-sat08-strips:p23.pddl", 46],
    ["sokoban-sat08-strips:p24.pddl", 47],
    ["sokoban-sat08-strips:p25.pddl", 52],
    ["sokoban-sat08-strips:p26.pddl", 47],
    ["sokoban-sat08-strips:p27.pddl", 24],
    ["sokoban-sat08-strips:p28.pddl", 113],
    ["sokoban-sat08-strips:p29.pddl", 42],
    ["sokoban-sat08-strips:p30.pddl", 80],
    ["storage:p01.pddl", 3],
    ["storage:p02.pddl", 3],
    ["storage:p03.pddl", 3],
    ["storage:p04.pddl", 8],
    ["storage:p05.pddl", 8],
    ["storage:p06.pddl", 8],
    ["storage:p07.pddl", 14],
    ["storage:p08.pddl", 12],
    ["storage:p09.pddl", 11],
    ["storage:p10.pddl", 18],
    ["storage:p11.pddl", 17],
    ["storage:p12.pddl", 16],
    ["storage:p13.pddl", 18],
    ["storage:p14.pddl", 19],
    ["storage:p15.pddl", 18],
    ["storage:p16.pddl", 21],
    ["storage:p17.pddl", 26],
    ["storage:p18.pddl", 31],
    ["storage:p19.pddl", 40],
    ["storage:p20.pddl", 46],
    ["storage:p21.pddl", 57],
    ["storage:p22.pddl", 62],
    ["storage:p23.pddl", 55],
    ["storage:p24.pddl", 77],
    ["storage:p26.pddl", 79],
    ["storage:p27.pddl", 96],
    ["storage:p29.pddl", 114],
    ["storage:p30.pddl", 102],
    ["tetris-sat14-strips:p020.pddl", 44],
    ["tetris-sat14-strips:p021.pddl", 115],
    ["tetris-sat14-strips:p022.pddl", 96],
    ["tetris-sat14-strips:p023.pddl", 85],
    ["tetris-sat14-strips:p024.pddl", 114],
    ["tetris-sat14-strips:p025.pddl", 61],
    ["tetris-sat14-strips:p026.pddl", 175],
    ["tetris-sat14-strips:p027.pddl", 120],
    ["tetris-sat14-strips:p028.pddl", 139],
    ["tetris-sat14-strips:p029.pddl", 84],
    ["tetris-sat14-strips:p031.pddl", 174],
    ["tetris-sat14-strips:p032.pddl", 76],
    ["tetris-sat14-strips:p033.pddl", 245],
    ["tetris-sat14-strips:p034.pddl", 204],
    ["tetris-sat14-strips:p035.pddl", 134],
    ["tetris-sat14-strips:p036.pddl", 121],
    ["tetris-sat14-strips:p038.pddl", 148],
    ["tetris-sat14-strips:p039.pddl", 173],
    ["thoughtful-sat14-strips:bootstrap-typed-01.pddl", 29],
    ["thoughtful-sat14-strips:bootstrap-typed-02.pddl", 25],
    ["thoughtful-sat14-strips:bootstrap-typed-03.pddl", 26],
    ["thoughtful-sat14-strips:bootstrap-typed-04.pddl", 27],
    ["thoughtful-sat14-strips:bootstrap-typed-05.pddl", 31],
    ["thoughtful-sat14-strips:p11_6_53-typed.pddl", 114],
    ["thoughtful-sat14-strips:p11_6_59-typed.pddl", 124],
    ["thoughtful-sat14-strips:p11_6_62-typed.pddl", 121],
    ["thoughtful-sat14-strips:p13_7_78-typed.pddl", 148],
    ["thoughtful-sat14-strips:p13_7_79-typed.pddl", 102],
    ["thoughtful-sat14-strips:p13_7_86-typed.pddl", 101],
    ["thoughtful-sat14-strips:target-typed-20.pddl", 108],
    ["thoughtful-sat14-strips:target-typed-21.pddl", 161],
    ["thoughtful-sat14-strips:target-typed-22.pddl", 130],
    ["thoughtful-sat14-strips:target-typed-23.pddl", 123],
    ["thoughtful-sat14-strips:target-typed-24.pddl", 135],
    ["thoughtful-sat14-strips:target-typed-25.pddl", 95],
    ["thoughtful-sat14-strips:target-typed-26.pddl", 119],
    ["thoughtful-sat14-strips:target-typed-27.pddl", 103],
    ["thoughtful-sat14-strips:target-typed-28.pddl", 129],
    ["tidybot-sat11-strips:p01.pddl", 75],
    ["tidybot-sat11-strips:p02.pddl", 35],
    ["tidybot-sat11-strips:p03.pddl", 30],
    ["tidybot-sat11-strips:p04.pddl", 24],
    ["tidybot-sat11-strips:p05.pddl", 46],
    ["tidybot-sat11-strips:p07.pddl", 38],
    ["tidybot-sat11-strips:p08.pddl", 25],
    ["tidybot-sat11-strips:p09.pddl", 35],
    ["tidybot-sat11-strips:p10.pddl", 62],
    ["tidybot-sat11-strips:p11.pddl", 46],
    ["tidybot-sat11-strips:p12.pddl", 36],
    ["tidybot-sat11-strips:p13.pddl", 71],
    ["tidybot-sat11-strips:p14.pddl", 50],
    ["tidybot-sat11-strips:p15.pddl", 51],
    ["tidybot-sat11-strips:p16.pddl", 68],
    ["tidybot-sat11-strips:p17.pddl", 43],
    ["tidybot-sat11-strips:p18.pddl", 71],
    ["tpp:p01.pddl", 5],
    ["tpp:p02.pddl", 8],
    ["tpp:p03.pddl", 11],
    ["tpp:p04.pddl", 14],
    ["tpp:p05.pddl", 19],
    ["tpp:p06.pddl", 25],
    ["tpp:p07.pddl", 34],
    ["tpp:p08.pddl", 40],
    ["tpp:p09.pddl", 54],
    ["tpp:p10.pddl", 62],
    ["tpp:p11.pddl", 77],
    ["tpp:p12.pddl", 67],
    ["tpp:p13.pddl", 54],
    ["tpp:p14.pddl", 79],
    ["tpp:p15.pddl", 101],
    ["tpp:p16.pddl", 116],
    ["tpp:p17.pddl", 105],
    ["tpp:p18.pddl", 94],
    ["tpp:p19.pddl", 129],
    ["tpp:p20.pddl", 190],
    ["tpp:p21.pddl", 163],
    ["tpp:p22.pddl", 122],
    ["tpp:p23.pddl", 156],
    ["tpp:p24.pddl", 154],
    ["tpp:p25.pddl", 190],
    ["tpp:p26.pddl", 190],
    ["tpp:p27.pddl", 210],
    ["tpp:p28.pddl", 210],
    ["tpp:p29.pddl", 259],
    ["tpp:p30.pddl", 250],
    ["transport-sat08-strips:p01.pddl", 54],
    ["transport-sat08-strips:p02.pddl", 270],
    ["transport-sat08-strips:p03.pddl", 524],
    ["transport-sat08-strips:p04.pddl", 622],
    ["transport-sat08-strips:p05.pddl", 1080],
    ["transport-sat08-strips:p06.pddl", 1436],
    ["transport-sat08-strips:p07.pddl", 1417],
    ["transport-sat08-strips:p08.pddl", 1859],
    ["transport-sat08-strips:p09.pddl", 1713],
    ["transport-sat08-strips:p10.pddl", 1731],
    ["transport-sat08-strips:p11.pddl", 473],
    ["transport-sat08-strips:p12.pddl", 795],
    ["transport-sat08-strips:p13.pddl", 1030],
    ["transport-sat08-strips:p14.pddl", 2158],
    ["transport-sat08-strips:p15.pddl", 3976],
    ["transport-sat08-strips:p16.pddl", 4514],
    ["transport-sat08-strips:p17.pddl", 4865],
    ["transport-sat08-strips:p18.pddl", 4423],
    ["transport-sat08-strips:p19.pddl", 7343],
    ["transport-sat08-strips:p20.pddl", 7771],
    ["transport-sat08-strips:p21.pddl", 431],
    ["transport-sat08-strips:p22.pddl", 675],
    ["transport-sat08-strips:p23.pddl", 825],
    ["transport-sat08-strips:p24.pddl", 992],
    ["transport-sat08-strips:p25.pddl", 1673],
    ["transport-sat08-strips:p26.pddl", 2362],
    ["transport-sat08-strips:p27.pddl", 3985],
    ["transport-sat08-strips:p28.pddl", 4540],
    ["transport-sat08-strips:p29.pddl", 5194],
    ["transport-sat08-strips:p30.pddl", 5134],
    ["transport-sat11-strips:p11.pddl", 2095],
    ["transport-sat11-strips:p12.pddl", 2376],
    ["transport-sat11-strips:p13.pddl", 2784],
    ["transport-sat11-strips:p14.pddl", 9180],
    ["transport-sat11-strips:p15.pddl", 8687],
    ["transport-sat11-strips:p16.pddl", 7420],
    ["transport-sat11-strips:p17.pddl", 6745],
    ["transport-sat11-strips:p18.pddl", 5884],
    ["transport-sat11-strips:p19.pddl", 6485],
    ["transport-sat11-strips:p20.pddl", 5912],
    ["transport-sat14-strips:p01.pddl", 2066],
    ["transport-sat14-strips:p02.pddl", 3007],
    ["transport-sat14-strips:p03.pddl", 2849],
    ["transport-sat14-strips:p04.pddl", 10844],
    ["transport-sat14-strips:p09.pddl", 5629],
    ["transport-sat14-strips:p10.pddl", 6909],
    ["transport-sat14-strips:p11.pddl", 2113],
    ["transport-sat14-strips:p12.pddl", 3273],
    ["transport-sat14-strips:p13.pddl", 2858],
    ["transport-sat14-strips:p14.pddl", 10898],
    ["transport-sat14-strips:p16.pddl", 8738],
    ["transport-sat14-strips:p17.pddl", 8357],
    ["transport-sat14-strips:p19.pddl", 7145],
    ["trucks:p01.pddl", 13],
    ["trucks:p02.pddl", 17],
    ["trucks:p03.pddl", 20],
    ["trucks:p04.pddl", 23],
    ["trucks:p05.pddl", 25],
    ["trucks:p06.pddl", 30],
    ["trucks:p07.pddl", 23],
    ["trucks:p08.pddl", 25],
    ["trucks:p09.pddl", 28],
    ["trucks:p10.pddl", 34],
    ["trucks:p11.pddl", 35],
    ["trucks:p17.pddl", 51],
    ["trucks-strips:p01.pddl", 13],
    ["trucks-strips:p02.pddl", 17],
    ["trucks-strips:p03.pddl", 20],
    ["trucks-strips:p04.pddl", 23],
    ["trucks-strips:p05.pddl", 25],
    ["trucks-strips:p06.pddl", 30],
    ["trucks-strips:p07.pddl", 23],
    ["trucks-strips:p08.pddl", 25],
    ["trucks-strips:p09.pddl", 28],
    ["trucks-strips:p10.pddl", 34],
    ["trucks-strips:p11.pddl", 35],
    ["trucks-strips:p12.pddl", 40],
    ["trucks-strips:p13.pddl", 32],
    ["trucks-strips:p14.pddl", 38],
    ["trucks-strips:p15.pddl", 45],
    ["trucks-strips:p16.pddl", 51],
    ["trucks-strips:p17.pddl", 55],
    ["trucks-strips:p18.pddl", 59],
    ["trucks-strips:p19.pddl", 51],
    ["visitall-sat11-strips:problem12.pddl", 143],
    ["visitall-sat11-strips:problem14.pddl", 195],
    ["visitall-sat11-strips:problem16.pddl", 331],
    ["visitall-sat11-strips:problem18.pddl", 323],
    ["visitall-sat11-strips:problem20.pddl", 399],
    ["visitall-sat11-strips:problem22.pddl", 483],
    ["visitall-sat11-strips:problem24.pddl", 575],
    ["visitall-sat11-strips:problem26.pddl", 675],
    ["visitall-sat11-strips:problem28.pddl", 783],
    ["visitall-sat11-strips:problem30.pddl", 899],
    ["visitall-sat11-strips:problem32.pddl", 1023],
    ["visitall-sat11-strips:problem34.pddl", 1155],
    ["visitall-sat11-strips:problem36.pddl", 1295],
    ["visitall-sat11-strips:problem38.pddl", 1443],
    ["visitall-sat11-strips:problem40.pddl", 1599],
    ["visitall-sat11-strips:problem42.pddl", 1763],
    ["visitall-sat11-strips:problem44.pddl", 1935],
    ["visitall-sat11-strips:problem46.pddl", 2115],
    ["visitall-sat11-strips:problem48.pddl", 2303],
    ["visitall-sat11-strips:problem50.pddl", 2499],
    ["visitall-sat14-strips:pfile31.pddl", 960],
    ["visitall-sat14-strips:pfile33.pddl", 1088],
    ["visitall-sat14-strips:pfile51.pddl", 2600],
    ["visitall-sat14-strips:pfile52.pddl", 2703],
    ["visitall-sat14-strips:pfile53.pddl", 2808],
    ["visitall-sat14-strips:pfile54.pddl", 2915],
    ["visitall-sat14-strips:pfile55.pddl", 3024],
    ["visitall-sat14-strips:pfile56.pddl", 3135],
    ["visitall-sat14-strips:pfile57.pddl", 3248],
    ["visitall-sat14-strips:pfile58.pddl", 3363],
    ["visitall-sat14-strips:pfile59.pddl", 3480],
    ["visitall-sat14-strips:pfile60.pddl", 3599],
    ["visitall-sat14-strips:pfile61.pddl", 3720],
    ["visitall-sat14-strips:pfile62.pddl", 3843],
    ["visitall-sat14-strips:pfile63.pddl", 3968],
    ["visitall-sat14-strips:pfile64.pddl", 4095],
    ["visitall-sat14-strips:pfile65.pddl", 4224],
    ["woodworking-sat08-strips:p01.pddl", 110],
    ["woodworking-sat08-strips:p02.pddl", 270],
    ["woodworking-sat08-strips:p03.pddl", 425],
    ["woodworking-sat08-strips:p04.pddl", 745],
    ["woodworking-sat08-strips:p05.pddl", 535],
    ["woodworking-sat08-strips:p06.pddl", 960],
    ["woodworking-sat08-strips:p07.pddl", 1365],
    ["woodworking-sat08-strips:p08.pddl", 1665],
    ["woodworking-sat08-strips:p09.pddl", 1595],
    ["woodworking-sat08-strips:p11.pddl", 55],
    ["woodworking-sat08-strips:p12.pddl", 300],
    ["woodworking-sat08-strips:p13.pddl", 445],
    ["woodworking-sat08-strips:p14.pddl", 475],
    ["woodworking-sat08-strips:p15.pddl", 805],
    ["woodworking-sat08-strips:p16.pddl", 695],
    ["woodworking-sat08-strips:p18.pddl", 1300],
    ["woodworking-sat08-strips:p20.pddl", 2115],
    ["woodworking-sat08-strips:p21.pddl", 165],
    ["woodworking-sat08-strips:p22.pddl", 205],
    ["woodworking-sat08-strips:p23.pddl", 405],
    ["woodworking-sat08-strips:p24.pddl", 565],
    ["woodworking-sat08-strips:p25.pddl", 765],
    ["woodworking-sat08-strips:p26.pddl", 1115],
    ["woodworking-sat08-strips:p27.pddl", 1080],
    ["woodworking-sat08-strips:p28.pddl", 1730],
    ["woodworking-sat08-strips:p29.pddl", 1630],
    ["woodworking-sat08-strips:p30.pddl", 1620],
    ["woodworking-sat11-strips:p11.pddl", 2130],
    ["woodworking-sat11-strips:p17.pddl", 895],
    ["woodworking-sat11-strips:p19.pddl", 1405],
    ["woodworking-sat11-strips:p20.pddl", 1475],
    ["zenotravel:p01.pddl", 1],
    ["zenotravel:p02.pddl", 6],
    ["zenotravel:p03.pddl", 6],
    ["zenotravel:p04.pddl", 8],
    ["zenotravel:p05.pddl", 11],
    ["zenotravel:p06.pddl", 11],
    ["zenotravel:p07.pddl", 15],
    ["zenotravel:p08.pddl", 11],
    ["zenotravel:p09.pddl", 21],
    ["zenotravel:p10.pddl", 22],
    ["zenotravel:p11.pddl", 14],
    ["zenotravel:p12.pddl", 21],
    ["zenotravel:p13.pddl", 26],
    ["zenotravel:p14.pddl", 30],
    ["zenotravel:p15.pddl", 40],
    ["zenotravel:p16.pddl", 42],
    ["zenotravel:p17.pddl", 61],
    ["zenotravel:p18.pddl", 64],
    ["zenotravel:p19.pddl", 75],
    ["zenotravel:p20.pddl", 82]
]