unexplained-errors

Unexplained errors domain problem algorithm error fast-downward_wall_clock_time raw_memory
runs-39501-39600/39577 satellite p32-HC-pfile12.pddl issue213-v1-divpot-release64 unexplained-critical-error 173.63 2085276

info

algorithm local_revision global_revision revision_summary build_options driver_options component_options
issue213-v1-bjolp-release32 issue213-v1 e170e7e34eda e170e7e34eda (issue213) issue213-v1 ['-j16', 'release32'] ['--validate', '--search-time-limit', '30m', '--search-memory-limit', '2G', '--build', 'release32'] ['--search', 'astar(lmcount(lm_merged([lm_rhw(), lm_hm(m=1)]), admissible=true), mpd=true)']
issue213-v1-bjolp-release64 issue213-v1 e170e7e34eda e170e7e34eda (issue213) issue213-v1 ['-j16', 'release64'] ['--validate', '--search-time-limit', '30m', '--search-memory-limit', '2G', '--build', 'release64'] ['--search', 'astar(lmcount(lm_merged([lm_rhw(), lm_hm(m=1)]), admissible=true), mpd=true)']
issue213-v1-blind-release32 issue213-v1 e170e7e34eda e170e7e34eda (issue213) issue213-v1 ['-j16', 'release32'] ['--validate', '--search-time-limit', '30m', '--search-memory-limit', '2G', '--build', 'release32'] ['--search', 'astar(blind())']
issue213-v1-blind-release64 issue213-v1 e170e7e34eda e170e7e34eda (issue213) issue213-v1 ['-j16', 'release64'] ['--validate', '--search-time-limit', '30m', '--search-memory-limit', '2G', '--build', 'release64'] ['--search', 'astar(blind())']
issue213-v1-cegar-release32 issue213-v1 e170e7e34eda e170e7e34eda (issue213) issue213-v1 ['-j16', 'release32'] ['--validate', '--search-time-limit', '30m', '--search-memory-limit', '2G', '--build', 'release32'] ['--search', 'astar(cegar())']
issue213-v1-cegar-release64 issue213-v1 e170e7e34eda e170e7e34eda (issue213) issue213-v1 ['-j16', 'release64'] ['--validate', '--search-time-limit', '30m', '--search-memory-limit', '2G', '--build', 'release64'] ['--search', 'astar(cegar())']
issue213-v1-divpot-release32 issue213-v1 e170e7e34eda e170e7e34eda (issue213) issue213-v1 ['-j16', 'release32'] ['--validate', '--search-time-limit', '30m', '--search-memory-limit', '2G', '--build', 'release32'] ['--search', 'astar(diverse_potentials())']
issue213-v1-divpot-release64 issue213-v1 e170e7e34eda e170e7e34eda (issue213) issue213-v1 ['-j16', 'release64'] ['--validate', '--search-time-limit', '30m', '--search-memory-limit', '2G', '--build', 'release64'] ['--search', 'astar(diverse_potentials())']
issue213-v1-ipdb-release32 issue213-v1 e170e7e34eda e170e7e34eda (issue213) issue213-v1 ['-j16', 'release32'] ['--validate', '--search-time-limit', '30m', '--search-memory-limit', '2G', '--build', 'release32'] ['--search', 'astar(ipdb(max_time=900))']
issue213-v1-ipdb-release64 issue213-v1 e170e7e34eda e170e7e34eda (issue213) issue213-v1 ['-j16', 'release64'] ['--validate', '--search-time-limit', '30m', '--search-memory-limit', '2G', '--build', 'release64'] ['--search', 'astar(ipdb(max_time=900))']
issue213-v1-lmcut-release32 issue213-v1 e170e7e34eda e170e7e34eda (issue213) issue213-v1 ['-j16', 'release32'] ['--validate', '--search-time-limit', '30m', '--search-memory-limit', '2G', '--build', 'release32'] ['--search', 'astar(lmcut())']
issue213-v1-lmcut-release64 issue213-v1 e170e7e34eda e170e7e34eda (issue213) issue213-v1 ['-j16', 'release64'] ['--validate', '--search-time-limit', '30m', '--search-memory-limit', '2G', '--build', 'release64'] ['--search', 'astar(lmcut())']
issue213-v1-mas-release32 issue213-v1 e170e7e34eda e170e7e34eda (issue213) issue213-v1 ['-j16', 'release32'] ['--validate', '--search-time-limit', '30m', '--search-memory-limit', '2G', '--build', 'release32'] ['--search', 'astar(merge_and_shrink(shrink_strategy=shrink_bisimulation(greedy=false), merge_strategy=merge_dfp(), label_reduction=exact(before_shrinking=true, before_merging=false), max_states=100000, threshold_before_merge=1))']
issue213-v1-mas-release64 issue213-v1 e170e7e34eda e170e7e34eda (issue213) issue213-v1 ['-j16', 'release64'] ['--validate', '--search-time-limit', '30m', '--search-memory-limit', '2G', '--build', 'release64'] ['--search', 'astar(merge_and_shrink(shrink_strategy=shrink_bisimulation(greedy=false), merge_strategy=merge_dfp(), label_reduction=exact(before_shrinking=true, before_merging=false), max_states=100000, threshold_before_merge=1))']
issue213-v1-seq-release32 issue213-v1 e170e7e34eda e170e7e34eda (issue213) issue213-v1 ['-j16', 'release32'] ['--validate', '--search-time-limit', '30m', '--search-memory-limit', '2G', '--build', 'release32'] ['--search', 'astar(operatorcounting([state_equation_constraints()]))']
issue213-v1-seq-release64 issue213-v1 e170e7e34eda e170e7e34eda (issue213) issue213-v1 ['-j16', 'release64'] ['--validate', '--search-time-limit', '30m', '--search-memory-limit', '2G', '--build', 'release64'] ['--search', 'astar(operatorcounting([state_equation_constraints()]))']

summary

Summary issue213-v1-bjolp-release32 issue213-v1-bjolp-release64 Diff (bjolp-issue213-v1) issue213-v1-blind-release32 issue213-v1-blind-release64 Diff (blind-issue213-v1) issue213-v1-cegar-release32 issue213-v1-cegar-release64 Diff (cegar-issue213-v1) issue213-v1-divpot-release32 issue213-v1-divpot-release64 Diff (divpot-issue213-v1) issue213-v1-ipdb-release32 issue213-v1-ipdb-release64 Diff (ipdb-issue213-v1) issue213-v1-lmcut-release32 issue213-v1-lmcut-release64 Diff (lmcut-issue213-v1) issue213-v1-mas-release32 issue213-v1-mas-release64 Diff (mas-issue213-v1) issue213-v1-seq-release32 issue213-v1-seq-release64 Diff (seq-issue213-v1)
coverage - Sum 877 857 -20.0 617 606 -11.0 797 786 -11.0 808 789 -19.0 814 801 -13.0 881 873 -8.0 743 730 -13.0 733 702 -31.0
expansions_until_last_jump - Sum 141814449 141814449 0.0 649403466 649403466 0.0 209610118 209711094 100976.0 192145754 190554911 -1590843.0 94313781 93881577 -432204.0 39544650 39544650 0.0 83801493 83801493 0.0 151975156 151975156 0.0
memory - Sum 33953032 48891520 14938488.0 62554772 84489664 21934892.0 65783164 74426628 8643464.0 30540100 48851376 18311276.0 31144644 38343776 7199132.0 17033612 19867188 2833576.0 46271300 54461032 8189732.0 28563788 40359356 11795568.0
score_memory - Arithmetic mean 24.12 22.56 -1.56 17.91 16.96 -0.96 17.55 16.78 -0.77 24.66 22.00 -2.66 25.43 24.28 -1.15 29.14 28.13 -1.01 19.88 18.90 -0.98 24.28 21.84 -2.44
score_memory - Sum 1374.62 1285.79 -88.83 1021.07 966.47 -54.6 1000.26 956.50 -43.76 1405.49 1254.10 -151.38 1449.44 1383.92 -65.52 1661.10 1603.41 -57.69 1133.43 1077.52 -55.91 1384.20 1245.05 -139.15
score_total_time - Arithmetic mean 37.67 37.59 -0.07 29.67 29.65 -0.02 37.04 36.85 -0.18 38.91 38.16 -0.75 36.18 36.68 0.5 37.11 37.17 0.07 32.49 32.50 0.02 30.91 29.73 -1.17
score_total_time - Sum 2146.98 2142.77 -4.2 1691.35 1690.07 -1.28 2111.07 2100.53 -10.54 2217.96 2175.22 -42.74 2062.39 2090.96 28.57 2115.04 2118.74 3.71 1851.75 1852.62 0.87 1761.72 1694.81 -66.91
total_time - Geometric mean 0.26 0.24 -0.02 0.61 0.56 -0.05 0.37 0.34 -0.03 0.44 0.44 0.0 1.20 1.00 -0.2 0.28 0.26 -0.02 1.86 1.73 -0.14 1.28 1.42 0.14
Sum 14938373.31 21934824.10 8744373.72 16720216.47 6766877.20 2833513.05 8189662.87 11795327.47
Arithmetic mean 1867296.66 2741853.01 1093046.71 2090027.06 845859.65 354189.13 1023707.86 1474415.93

coverage

coverage issue213-v1-bjolp-release32 issue213-v1-bjolp-release64 Diff (bjolp-issue213-v1) issue213-v1-blind-release32 issue213-v1-blind-release64 Diff (blind-issue213-v1) issue213-v1-cegar-release32 issue213-v1-cegar-release64 Diff (cegar-issue213-v1) issue213-v1-divpot-release32 issue213-v1-divpot-release64 Diff (divpot-issue213-v1) issue213-v1-ipdb-release32 issue213-v1-ipdb-release64 Diff (ipdb-issue213-v1) issue213-v1-lmcut-release32 issue213-v1-lmcut-release64 Diff (lmcut-issue213-v1) issue213-v1-mas-release32 issue213-v1-mas-release64 Diff (mas-issue213-v1) issue213-v1-seq-release32 issue213-v1-seq-release64 Diff (seq-issue213-v1)
airport (50) 30 30 0.0 21 21 0.0 24 24 0.0 23 23 0.0 35 34 -1.0 28 28 0.0 18 18 0.0 22 22 0.0
barman-opt11-strips (20) 4 4 0.0 4 4 0.0 4 4 0.0 4 4 0.0 4 4 0.0 4 4 0.0 4 4 0.0 4 4 0.0
barman-opt14-strips (14) 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
blocks (35) 26 26 0.0 18 18 0.0 18 18 0.0 28 28 0.0 28 28 0.0 28 28 0.0 22 22 0.0 28 28 0.0
childsnack-opt14-strips (20) 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
depot (22) 7 7 0.0 4 4 0.0 7 7 0.0 7 7 0.0 8 8 0.0 7 7 0.0 6 6 0.0 7 7 0.0
driverlog (20) 14 14 0.0 7 7 0.0 10 9 -1.0 12 12 0.0 13 13 0.0 14 13 -1.0 12 12 0.0 12 12 0.0
elevators-opt08-strips (30) 17 15 -2.0 11 10 -1.0 17 16 -1.0 11 10 -1.0 20 20 0.0 22 22 0.0 16 16 0.0 9 9 0.0
elevators-opt11-strips (20) 14 12 -2.0 9 8 -1.0 14 13 -1.0 9 8 -1.0 16 16 0.0 18 18 0.0 13 13 0.0 7 7 0.0
floortile-opt11-strips (20) 2 2 0.0 2 2 0.0 2 2 0.0 4 4 0.0 2 2 0.0 7 7 0.0 6 6 0.0 4 4 0.0
floortile-opt14-strips (20) 0 0 0.0 0 0 0.0 0 0 0.0 2 2 0.0 0 0 0.0 6 6 0.0 2 2 0.0 2 2 0.0
freecell (80) 62 61 -1.0 15 15 0.0 62 62 0.0 53 50 -3.0 20 20 0.0 15 15 0.0 20 19 -1.0 40 29 -11.0
ged-opt14-strips (20) 15 15 0.0 15 15 0.0 15 15 0.0 15 15 0.0 19 19 0.0 15 15 0.0 15 15 0.0 13 13 0.0
grid (5) 3 2 -1.0 1 1 0.0 2 2 0.0 2 2 0.0 3 3 0.0 2 2 0.0 2 2 0.0 1 1 0.0
gripper (20) 7 7 0.0 7 7 0.0 7 7 0.0 7 7 0.0 7 7 0.0 7 7 0.0 20 20 0.0 7 7 0.0
hiking-opt14-strips (20) 11 11 0.0 11 11 0.0 13 12 -1.0 11 11 0.0 11 11 0.0 9 9 0.0 13 12 -1.0 9 9 0.0
logistics00 (28) 20 20 0.0 10 10 0.0 20 20 0.0 16 16 0.0 21 21 0.0 20 20 0.0 20 20 0.0 16 16 0.0
logistics98 (35) 6 5 -1.0 2 2 0.0 7 7 0.0 4 4 0.0 5 5 0.0 6 6 0.0 5 5 0.0 4 4 0.0
miconic (150) 142 142 0.0 50 50 0.0 70 69 -1.0 52 50 -2.0 55 55 0.0 141 141 0.0 73 73 0.0 52 52 0.0
movie (30) 30 30 0.0 30 30 0.0 30 30 0.0 30 30 0.0 30 30 0.0 30 30 0.0 30 30 0.0 30 30 0.0
mprime (35) 21 21 0.0 19 19 0.0 26 26 0.0 23 23 0.0 23 22 -1.0 22 22 0.0 24 24 0.0 20 18 -2.0
mystery (30) 15 14 -1.0 15 15 0.0 17 17 0.0 16 15 -1.0 16 16 0.0 17 17 0.0 16 15 -1.0 15 13 -2.0
nomystery-opt11-strips (20) 20 20 0.0 8 8 0.0 14 14 0.0 12 12 0.0 18 17 -1.0 14 14 0.0 18 18 0.0 10 9 -1.0
openstacks-opt08-strips (30) 18 17 -1.0 20 19 -1.0 20 19 -1.0 20 19 -1.0 20 19 -1.0 21 19 -2.0 20 19 -1.0 16 16 0.0
openstacks-opt11-strips (20) 13 12 -1.0 15 14 -1.0 15 14 -1.0 15 14 -1.0 15 14 -1.0 16 14 -2.0 15 14 -1.0 11 11 0.0
openstacks-opt14-strips (20) 2 1 -1.0 3 3 0.0 3 3 0.0 3 3 0.0 3 3 0.0 3 3 0.0 3 3 0.0 1 1 0.0
openstacks-strips (30) 7 7 0.0 7 7 0.0 7 7 0.0 7 7 0.0 7 7 0.0 7 7 0.0 7 7 0.0 7 7 0.0
parcprinter-08-strips (30) 15 14 -1.0 10 10 0.0 22 22 0.0 28 28 0.0 17 17 0.0 19 19 0.0 14 14 0.0 28 28 0.0
parcprinter-opt11-strips (20) 11 10 -1.0 6 6 0.0 17 17 0.0 20 20 0.0 13 12 -1.0 14 14 0.0 10 10 0.0 20 20 0.0
parking-opt11-strips (20) 3 3 0.0 0 0 0.0 0 0 0.0 5 7 2.0 7 7 0.0 3 3 0.0 1 1 0.0 3 1 -2.0
parking-opt14-strips (20) 3 3 0.0 0 0 0.0 0 0 0.0 6 6 0.0 6 6 0.0 3 3 0.0 0 0 0.0 3 0 -3.0
pathways-noneg (30) 4 4 0.0 4 4 0.0 4 4 0.0 4 4 0.0 4 4 0.0 5 5 0.0 4 4 0.0 4 4 0.0
pegsol-08-strips (30) 27 27 0.0 27 27 0.0 28 27 -1.0 28 28 0.0 29 29 0.0 28 27 -1.0 29 29 0.0 28 28 0.0
pegsol-opt11-strips (20) 17 17 0.0 17 17 0.0 18 17 -1.0 18 18 0.0 19 19 0.0 18 17 -1.0 19 19 0.0 18 18 0.0
pipesworld-notankage (50) 20 19 -1.0 14 14 0.0 18 18 0.0 21 22 1.0 21 20 -1.0 17 17 0.0 16 16 0.0 15 15 0.0
pipesworld-tankage (50) 14 13 -1.0 11 10 -1.0 14 13 -1.0 16 14 -2.0 17 16 -1.0 12 12 0.0 15 14 -1.0 11 10 -1.0
psr-small (50) 49 49 0.0 49 49 0.0 49 49 0.0 50 50 0.0 49 49 0.0 49 49 0.0 50 50 0.0 50 50 0.0
rovers (40) 8 7 -1.0 5 5 0.0 7 7 0.0 6 6 0.0 8 7 -1.0 8 7 -1.0 8 8 0.0 6 6 0.0
satellite (36) 7 7 0.0 5 5 0.0 6 6 0.0 6 6 0.0 6 6 0.0 7 7 0.0 6 6 0.0 6 6 0.0
scanalyzer-08-strips (30) 9 9 0.0 12 12 0.0 12 12 0.0 13 11 -2.0 13 13 0.0 15 16 1.0 13 13 0.0 14 13 -1.0
scanalyzer-opt11-strips (20) 6 6 0.0 9 9 0.0 9 9 0.0 10 8 -2.0 10 10 0.0 12 12 0.0 10 10 0.0 11 10 -1.0
sokoban-opt08-strips (30) 25 24 -1.0 21 20 -1.0 22 22 0.0 23 23 0.0 29 29 0.0 30 30 0.0 26 25 -1.0 19 19 0.0
sokoban-opt11-strips (20) 20 20 0.0 18 17 -1.0 19 19 0.0 18 18 0.0 20 20 0.0 20 20 0.0 20 20 0.0 16 16 0.0
storage (30) 15 15 0.0 14 14 0.0 16 15 -1.0 15 15 0.0 16 15 -1.0 15 15 0.0 15 15 0.0 15 15 0.0
tetris-opt14-strips (17) 9 9 0.0 8 7 -1.0 7 7 0.0 10 9 -1.0 10 7 -3.0 6 6 0.0 2 1 -1.0 12 11 -1.0
tidybot-opt11-strips (20) 14 14 0.0 13 13 0.0 14 14 0.0 14 13 -1.0 14 14 0.0 14 14 0.0 1 1 0.0 7 3 -4.0
tidybot-opt14-strips (20) 10 10 0.0 6 6 0.0 8 8 0.0 7 6 -1.0 8 8 0.0 9 9 0.0 0 0 0.0 0 0 0.0
tpp (30) 6 6 0.0 6 5 -1.0 7 7 0.0 7 7 0.0 6 6 0.0 7 6 -1.0 7 6 -1.0 8 8 0.0
transport-opt08-strips (30) 11 11 0.0 11 11 0.0 11 11 0.0 11 11 0.0 11 11 0.0 11 11 0.0 11 11 0.0 11 11 0.0
transport-opt11-strips (20) 6 6 0.0 6 6 0.0 6 6 0.0 6 6 0.0 6 6 0.0 6 6 0.0 7 6 -1.0 6 6 0.0
transport-opt14-strips (20) 6 6 0.0 6 5 -1.0 6 6 0.0 6 5 -1.0 6 6 0.0 6 6 0.0 7 6 -1.0 4 4 0.0
trucks-strips (30) 9 8 -1.0 6 6 0.0 12 12 0.0 11 10 -1.0 8 8 0.0 10 10 0.0 7 7 0.0 9 9 0.0
visitall-opt11-strips (20) 10 10 0.0 9 9 0.0 9 9 0.0 17 17 0.0 16 16 0.0 11 11 0.0 9 9 0.0 17 17 0.0
visitall-opt14-strips (20) 4 4 0.0 3 3 0.0 3 3 0.0 14 13 -1.0 12 12 0.0 5 5 0.0 4 4 0.0 13 13 0.0
woodworking-opt08-strips (30) 14 13 -1.0 7 7 0.0 11 11 0.0 14 14 0.0 14 14 0.0 17 17 0.0 13 13 0.0 14 13 -1.0
woodworking-opt11-strips (20) 9 8 -1.0 2 2 0.0 6 6 0.0 9 9 0.0 9 9 0.0 12 12 0.0 7 7 0.0 9 8 -1.0
zenotravel (20) 10 10 0.0 8 7 -1.0 12 12 0.0 9 9 0.0 11 11 0.0 13 13 0.0 12 10 -2.0 9 9 0.0
Sum (1667) 877 857 617 606 797 786 808 789 814 801 881 873 743 730 733 702
Sum -20.00 -11.00 -11.00 -19.00 -13.00 -8.00 -13.00 -31.00
Arithmetic mean -0.35 -0.19 -0.19 -0.33 -0.23 -0.14 -0.23 -0.54

The last row reports the sum across all domains.

airport

coverage issue213-v1-bjolp-release32 issue213-v1-bjolp-release64 Diff (bjolp-issue213-v1) issue213-v1-blind-release32 issue213-v1-blind-release64 Diff (blind-issue213-v1) issue213-v1-cegar-release32 issue213-v1-cegar-release64 Diff (cegar-issue213-v1) issue213-v1-divpot-release32 issue213-v1-divpot-release64 Diff (divpot-issue213-v1) issue213-v1-ipdb-release32 issue213-v1-ipdb-release64 Diff (ipdb-issue213-v1) issue213-v1-lmcut-release32 issue213-v1-lmcut-release64 Diff (lmcut-issue213-v1) issue213-v1-mas-release32 issue213-v1-mas-release64 Diff (mas-issue213-v1) issue213-v1-seq-release32 issue213-v1-seq-release64 Diff (seq-issue213-v1)
p01-airport1-p1.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
p02-airport1-p1.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
p03-airport1-p2.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
p04-airport2-p1.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
p05-airport2-p1.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
p06-airport2-p2.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
p07-airport2-p2.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
p08-airport2-p3.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
p09-airport2-p4.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
p10-airport3-p1.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
p11-airport3-p1.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
p12-airport3-p2.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
p13-airport3-p2.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
p14-airport3-p3.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
p15-airport3-p3.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
p16-airport3-p4.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
p17-airport3-p5.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
p18-airport3-p6.pddl 1 1 0.0 0 0 0.0 1 1 0.0 0 0 0.0 1 1 0.0 1 1 0.0 0 0 0.0 0 0 0.0
p19-airport3-p6.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
p20-airport3-p7.pddl 1 1 0.0 0 0 0.0 0 0 0.0 0 0 0.0 1 1 0.0 1 1 0.0 0 0 0.0 0 0 0.0
p21-airport4halfMUC-p2.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 0 0 0.0 1 1 0.0
p22-airport4halfMUC-p3.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 0 0 0.0 1 1 0.0
p23-airport4halfMUC-p4.pddl 1 1 0.0 0 0 0.0 0 0 0.0 0 0 0.0 1 1 0.0 1 1 0.0 0 0 0.0 0 0 0.0
p24-airport4halfMUC-p4.pddl 1 1 0.0 0 0 0.0 0 0 0.0 0 0 0.0 1 1 0.0 1 1 0.0 0 0 0.0 0 0 0.0
p25-airport4halfMUC-p5.pddl 1 1 0.0 0 0 0.0 0 0 0.0 0 0 0.0 1 1 0.0 0 0 0.0 0 0 0.0 0 0 0.0
p26-airport4halfMUC-p6.pddl 1 1 0.0 0 0 0.0 0 0 0.0 0 0 0.0 1 1 0.0 0 0 0.0 0 0 0.0 0 0 0.0
p27-airport4halfMUC-p6.pddl 1 1 0.0 0 0 0.0 0 0 0.0 0 0 0.0 1 1 0.0 1 1 0.0 0 0 0.0 0 0 0.0
p28-airport4halfMUC-p7.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
p29-airport4halfMUC-p8.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
p30-airport4halfMUC-p8.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
p31-airport4halfMUC-p9.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
p32-airport4halfMUC-p10.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
p33-airport4halfMUC-p10.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
p34-airport4halfMUC-p11.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
p35-airport4halfMUC-p12.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
p36-airport5MUC-p2.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 0 0 0.0 1 1 0.0
p37-airport5MUC-p3.pddl 1 1 0.0 0 0 0.0 1 1 0.0 1 1 0.0 0 0 0.0 1 1 0.0 0 0 0.0 1 1 0.0
p38-airport5MUC-p3.pddl 1 1 0.0 0 0 0.0 1 1 0.0 1 1 0.0 1 0 -1.0 1 1 0.0 0 0 0.0 0 0 0.0
p39-airport5MUC-p4.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 1 1 0.0 0 0 0.0 0 0 0.0 0 0 0.0
p40-airport5MUC-p4.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 1 1 0.0 0 0 0.0 0 0 0.0 0 0 0.0
p41-airport5MUC-p4.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 1 1 0.0 0 0 0.0 0 0 0.0 0 0 0.0
p42-airport5MUC-p5.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 1 1 0.0 0 0 0.0 0 0 0.0 0 0 0.0
p43-airport5MUC-p5.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 1 1 0.0 0 0 0.0 0 0 0.0 0 0 0.0
p44-airport5MUC-p5.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 1 1 0.0 0 0 0.0 0 0 0.0 0 0 0.0
p45-airport5MUC-p6.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
p46-airport5MUC-p6.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
p47-airport5MUC-p8.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
p48-airport5MUC-p9.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
p49-airport5MUC-p10.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
p50-airport5MUC-p15.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
Sum 0.00 0.00 0.00 0.00 -1.00 0.00 0.00 0.00
Arithmetic mean 0.00 0.00 0.00 0.00 -0.02 0.00 0.00 0.00

barman-opt11-strips

coverage issue213-v1-bjolp-release32 issue213-v1-bjolp-release64 Diff (bjolp-issue213-v1) issue213-v1-blind-release32 issue213-v1-blind-release64 Diff (blind-issue213-v1) issue213-v1-cegar-release32 issue213-v1-cegar-release64 Diff (cegar-issue213-v1) issue213-v1-divpot-release32 issue213-v1-divpot-release64 Diff (divpot-issue213-v1) issue213-v1-ipdb-release32 issue213-v1-ipdb-release64 Diff (ipdb-issue213-v1) issue213-v1-lmcut-release32 issue213-v1-lmcut-release64 Diff (lmcut-issue213-v1) issue213-v1-mas-release32 issue213-v1-mas-release64 Diff (mas-issue213-v1) issue213-v1-seq-release32 issue213-v1-seq-release64 Diff (seq-issue213-v1)
pfile01-001.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
pfile01-002.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
pfile01-003.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
pfile01-004.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
pfile02-005.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
pfile02-006.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
pfile02-007.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
pfile02-008.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
pfile03-009.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
pfile03-010.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
pfile03-011.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
pfile03-012.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
pfile04-013.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
pfile04-014.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
pfile04-015.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
pfile04-016.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
pfile05-017.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
pfile05-018.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
pfile05-019.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
pfile05-020.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
Sum 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
Arithmetic mean 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

barman-opt14-strips

coverage issue213-v1-bjolp-release32 issue213-v1-bjolp-release64 Diff (bjolp-issue213-v1) issue213-v1-blind-release32 issue213-v1-blind-release64 Diff (blind-issue213-v1) issue213-v1-cegar-release32 issue213-v1-cegar-release64 Diff (cegar-issue213-v1) issue213-v1-divpot-release32 issue213-v1-divpot-release64 Diff (divpot-issue213-v1) issue213-v1-ipdb-release32 issue213-v1-ipdb-release64 Diff (ipdb-issue213-v1) issue213-v1-lmcut-release32 issue213-v1-lmcut-release64 Diff (lmcut-issue213-v1) issue213-v1-mas-release32 issue213-v1-mas-release64 Diff (mas-issue213-v1) issue213-v1-seq-release32 issue213-v1-seq-release64 Diff (seq-issue213-v1)
p435-1.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
p435-2.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
p435-3.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
p536-1.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
p536-2.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
p536-3.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
p638-1.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
p638-2.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
p638-3.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
p739-1.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
p739-2.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
p739-3.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
p839-1.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
p839-2.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
Sum 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
Arithmetic mean 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

blocks

coverage issue213-v1-bjolp-release32 issue213-v1-bjolp-release64 Diff (bjolp-issue213-v1) issue213-v1-blind-release32 issue213-v1-blind-release64 Diff (blind-issue213-v1) issue213-v1-cegar-release32 issue213-v1-cegar-release64 Diff (cegar-issue213-v1) issue213-v1-divpot-release32 issue213-v1-divpot-release64 Diff (divpot-issue213-v1) issue213-v1-ipdb-release32 issue213-v1-ipdb-release64 Diff (ipdb-issue213-v1) issue213-v1-lmcut-release32 issue213-v1-lmcut-release64 Diff (lmcut-issue213-v1) issue213-v1-mas-release32 issue213-v1-mas-release64 Diff (mas-issue213-v1) issue213-v1-seq-release32 issue213-v1-seq-release64 Diff (seq-issue213-v1)
probBLOCKS-4-0.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
probBLOCKS-4-1.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
probBLOCKS-4-2.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
probBLOCKS-5-0.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
probBLOCKS-5-1.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
probBLOCKS-5-2.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
probBLOCKS-6-0.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
probBLOCKS-6-1.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
probBLOCKS-6-2.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
probBLOCKS-7-0.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
probBLOCKS-7-1.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
probBLOCKS-7-2.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
probBLOCKS-8-0.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
probBLOCKS-8-1.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
probBLOCKS-8-2.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
probBLOCKS-9-0.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
probBLOCKS-9-1.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
probBLOCKS-9-2.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
probBLOCKS-10-0.pddl 1 1 0.0 0 0 0.0 0 0 0.0 1 1 0.0 1 1 0.0 1 1 0.0 0 0 0.0 1 1 0.0
probBLOCKS-10-1.pddl 1 1 0.0 0 0 0.0 0 0 0.0 1 1 0.0 1 1 0.0 1 1 0.0 0 0 0.0 1 1 0.0
probBLOCKS-10-2.pddl 1 1 0.0 0 0 0.0 0 0 0.0 1 1 0.0 1 1 0.0 1 1 0.0 0 0 0.0 1 1 0.0
probBLOCKS-11-0.pddl 1 1 0.0 0 0 0.0 0 0 0.0 1 1 0.0 1 1 0.0 1 1 0.0 0 0 0.0 1 1 0.0
probBLOCKS-11-1.pddl 1 1 0.0 0 0 0.0 0 0 0.0 1 1 0.0 1 1 0.0 1 1 0.0 0 0 0.0 1 1 0.0
probBLOCKS-11-2.pddl 1 1 0.0 0 0 0.0 0 0 0.0 1 1 0.0 1 1 0.0 1 1 0.0 0 0 0.0 1 1 0.0
probBLOCKS-12-0.pddl 1 1 0.0 0 0 0.0 0 0 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
probBLOCKS-12-1.pddl 1 1 0.0 0 0 0.0 0 0 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
probBLOCKS-13-0.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
probBLOCKS-13-1.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
probBLOCKS-14-0.pddl 0 0 0.0 0 0 0.0 0 0 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
probBLOCKS-14-1.pddl 0 0 0.0 0 0 0.0 0 0 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
probBLOCKS-15-0.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
probBLOCKS-15-1.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
probBLOCKS-16-1.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
probBLOCKS-16-2.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
probBLOCKS-17-0.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
Sum 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
Arithmetic mean 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

childsnack-opt14-strips

coverage issue213-v1-bjolp-release32 issue213-v1-bjolp-release64 Diff (bjolp-issue213-v1) issue213-v1-blind-release32 issue213-v1-blind-release64 Diff (blind-issue213-v1) issue213-v1-cegar-release32 issue213-v1-cegar-release64 Diff (cegar-issue213-v1) issue213-v1-divpot-release32 issue213-v1-divpot-release64 Diff (divpot-issue213-v1) issue213-v1-ipdb-release32 issue213-v1-ipdb-release64 Diff (ipdb-issue213-v1) issue213-v1-lmcut-release32 issue213-v1-lmcut-release64 Diff (lmcut-issue213-v1) issue213-v1-mas-release32 issue213-v1-mas-release64 Diff (mas-issue213-v1) issue213-v1-seq-release32 issue213-v1-seq-release64 Diff (seq-issue213-v1)
child-snack_pfile01-2.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
child-snack_pfile01.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
child-snack_pfile02-2.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
child-snack_pfile02.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
child-snack_pfile03-2.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
child-snack_pfile03.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
child-snack_pfile04-2.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
child-snack_pfile04.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
child-snack_pfile05-2.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
child-snack_pfile05.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
child-snack_pfile06-2.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
child-snack_pfile06.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
child-snack_pfile07-2.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
child-snack_pfile07.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
child-snack_pfile08-2.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
child-snack_pfile08.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
child-snack_pfile09-2.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
child-snack_pfile09.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
child-snack_pfile10-2.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
child-snack_pfile10.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
Sum 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
Arithmetic mean 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

depot

coverage issue213-v1-bjolp-release32 issue213-v1-bjolp-release64 Diff (bjolp-issue213-v1) issue213-v1-blind-release32 issue213-v1-blind-release64 Diff (blind-issue213-v1) issue213-v1-cegar-release32 issue213-v1-cegar-release64 Diff (cegar-issue213-v1) issue213-v1-divpot-release32 issue213-v1-divpot-release64 Diff (divpot-issue213-v1) issue213-v1-ipdb-release32 issue213-v1-ipdb-release64 Diff (ipdb-issue213-v1) issue213-v1-lmcut-release32 issue213-v1-lmcut-release64 Diff (lmcut-issue213-v1) issue213-v1-mas-release32 issue213-v1-mas-release64 Diff (mas-issue213-v1) issue213-v1-seq-release32 issue213-v1-seq-release64 Diff (seq-issue213-v1)
p01.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
p02.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
p03.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
p04.pddl 1 1 0.0 0 0 0.0 0 0 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
p05.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
p06.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
p07.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
p08.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
p09.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
p10.pddl 1 1 0.0 0 0 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
p11.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
p12.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
p13.pddl 1 1 0.0 0 0 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 0 0 0.0 1 1 0.0
p14.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
p15.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
p16.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
p17.pddl 0 0 0.0 0 0 0.0 1 1 0.0 0 0 0.0 1 1 0.0 0 0 0.0 0 0 0.0 0 0 0.0
p18.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
p19.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
p20.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
p21.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
p22.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
Sum 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
Arithmetic mean 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

driverlog

coverage issue213-v1-bjolp-release32 issue213-v1-bjolp-release64 Diff (bjolp-issue213-v1) issue213-v1-blind-release32 issue213-v1-blind-release64 Diff (blind-issue213-v1) issue213-v1-cegar-release32 issue213-v1-cegar-release64 Diff (cegar-issue213-v1) issue213-v1-divpot-release32 issue213-v1-divpot-release64 Diff (divpot-issue213-v1) issue213-v1-ipdb-release32 issue213-v1-ipdb-release64 Diff (ipdb-issue213-v1) issue213-v1-lmcut-release32 issue213-v1-lmcut-release64 Diff (lmcut-issue213-v1) issue213-v1-mas-release32 issue213-v1-mas-release64 Diff (mas-issue213-v1) issue213-v1-seq-release32 issue213-v1-seq-release64 Diff (seq-issue213-v1)
p01.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
p02.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
p03.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
p04.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
p05.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
p06.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
p07.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
p08.pddl 1 1 0.0 0 0 0.0 0 0 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
p09.pddl 1 1 0.0 0 0 0.0 1 0 -1.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
p10.pddl 1 1 0.0 0 0 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
p11.pddl 1 1 0.0 0 0 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
p12.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
p13.pddl 1 1 0.0 0 0 0.0 0 0 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
p14.pddl 1 1 0.0 0 0 0.0 0 0 0.0 0 0 0.0 1 1 0.0 1 1 0.0 0 0 0.0 0 0 0.0
p15.pddl 1 1 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 1 0 -1.0 0 0 0.0 0 0 0.0
p16.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
p17.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
p18.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
p19.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
p20.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
Sum 0.00 0.00 -1.00 0.00 0.00 -1.00 0.00 0.00
Arithmetic mean 0.00 0.00 -0.05 0.00 0.00 -0.05 0.00 0.00

elevators-opt08-strips

coverage issue213-v1-bjolp-release32 issue213-v1-bjolp-release64 Diff (bjolp-issue213-v1) issue213-v1-blind-release32 issue213-v1-blind-release64 Diff (blind-issue213-v1) issue213-v1-cegar-release32 issue213-v1-cegar-release64 Diff (cegar-issue213-v1) issue213-v1-divpot-release32 issue213-v1-divpot-release64 Diff (divpot-issue213-v1) issue213-v1-ipdb-release32 issue213-v1-ipdb-release64 Diff (ipdb-issue213-v1) issue213-v1-lmcut-release32 issue213-v1-lmcut-release64 Diff (lmcut-issue213-v1) issue213-v1-mas-release32 issue213-v1-mas-release64 Diff (mas-issue213-v1) issue213-v1-seq-release32 issue213-v1-seq-release64 Diff (seq-issue213-v1)
p01.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
p02.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
p03.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
p04.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
p05.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 0 0 0.0
p06.pddl 1 1 0.0 0 0 0.0 1 1 0.0 0 0 0.0 1 1 0.0 1 1 0.0 1 1 0.0 0 0 0.0
p07.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 1 1 0.0 1 1 0.0 0 0 0.0 0 0 0.0
p08.pddl 0 0 0.0 0 0 0.0 1 0 -1.0 0 0 0.0 0 0 0.0 1 1 0.0 0 0 0.0 0 0 0.0
p09.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
p10.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
p11.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
p12.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
p13.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
p14.pddl 1 1 0.0 1 0 -1.0 1 1 0.0 1 0 -1.0 1 1 0.0 1 1 0.0 1 1 0.0 0 0 0.0
p15.pddl 1 1 0.0 0 0 0.0 1 1 0.0 0 0 0.0 1 1 0.0 1 1 0.0 1 1 0.0 0 0 0.0
p16.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
p17.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 1 1 0.0 0 0 0.0 0 0 0.0
p18.pddl 1 0 -1.0 0 0 0.0 1 1 0.0 0 0 0.0 1 1 0.0 1 1 0.0 0 0 0.0 0 0 0.0
p19.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
p20.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
p21.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
p22.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
p23.pddl 1 1 0.0 0 0 0.0 1 1 0.0 0 0 0.0 1 1 0.0 1 1 0.0 1 1 0.0 0 0 0.0
p24.pddl 1 0 -1.0 0 0 0.0 0 0 0.0 0 0 0.0 1 1 0.0 1 1 0.0 1 1 0.0 0 0 0.0
p25.pddl 1 1 0.0 0 0 0.0 1 1 0.0 0 0 0.0 1 1 0.0 1 1 0.0 1 1 0.0 0 0 0.0
p26.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 1 1 0.0 1 1 0.0 0 0 0.0 0 0 0.0
p27.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 1 1 0.0 1 1 0.0 0 0 0.0 0 0 0.0
p28.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
p29.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
p30.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
Sum -2.00 -1.00 -1.00 -1.00 0.00 0.00 0.00 0.00
Arithmetic mean -0.07 -0.03 -0.03 -0.03 0.00 0.00 0.00 0.00

elevators-opt11-strips

coverage issue213-v1-bjolp-release32 issue213-v1-bjolp-release64 Diff (bjolp-issue213-v1) issue213-v1-blind-release32 issue213-v1-blind-release64 Diff (blind-issue213-v1) issue213-v1-cegar-release32 issue213-v1-cegar-release64 Diff (cegar-issue213-v1) issue213-v1-divpot-release32 issue213-v1-divpot-release64 Diff (divpot-issue213-v1) issue213-v1-ipdb-release32 issue213-v1-ipdb-release64 Diff (ipdb-issue213-v1) issue213-v1-lmcut-release32 issue213-v1-lmcut-release64 Diff (lmcut-issue213-v1) issue213-v1-mas-release32 issue213-v1-mas-release64 Diff (mas-issue213-v1) issue213-v1-seq-release32 issue213-v1-seq-release64 Diff (seq-issue213-v1)
p01.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
p02.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
p03.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
p04.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
p05.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
p06.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
p07.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 1 1 0.0 1 1 0.0 0 0 0.0 0 0 0.0
p08.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 0 0 0.0
p09.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
p10.pddl 1 1 0.0 1 0 -1.0 1 1 0.0 1 0 -1.0 1 1 0.0 1 1 0.0 1 1 0.0 0 0 0.0
p11.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
p12.pddl 1 1 0.0 0 0 0.0 1 1 0.0 0 0 0.0 1 1 0.0 1 1 0.0 1 1 0.0 0 0 0.0
p13.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 1 1 0.0 1 1 0.0 0 0 0.0 0 0 0.0
p14.pddl 0 0 0.0 0 0 0.0 1 0 -1.0 0 0 0.0 0 0 0.0 1 1 0.0 0 0 0.0 0 0 0.0
p15.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
p16.pddl 1 1 0.0 0 0 0.0 1 1 0.0 0 0 0.0 1 1 0.0 1 1 0.0 1 1 0.0 0 0 0.0
p17.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 1 1 0.0 0 0 0.0 0 0 0.0
p18.pddl 1 0 -1.0 0 0 0.0 1 1 0.0 0 0 0.0 1 1 0.0 1 1 0.0 0 0 0.0 0 0 0.0
p19.pddl 1 1 0.0 0 0 0.0 1 1 0.0 0 0 0.0 1 1 0.0 1 1 0.0 1 1 0.0 0 0 0.0
p20.pddl 1 0 -1.0 0 0 0.0 0 0 0.0 0 0 0.0 1 1 0.0 1 1 0.0 1 1 0.0 0 0 0.0
Sum -2.00 -1.00 -1.00 -1.00 0.00 0.00 0.00 0.00
Arithmetic mean -0.10 -0.05 -0.05 -0.05 0.00 0.00 0.00 0.00

floortile-opt11-strips

coverage issue213-v1-bjolp-release32 issue213-v1-bjolp-release64 Diff (bjolp-issue213-v1) issue213-v1-blind-release32 issue213-v1-blind-release64 Diff (blind-issue213-v1) issue213-v1-cegar-release32 issue213-v1-cegar-release64 Diff (cegar-issue213-v1) issue213-v1-divpot-release32 issue213-v1-divpot-release64 Diff (divpot-issue213-v1) issue213-v1-ipdb-release32 issue213-v1-ipdb-release64 Diff (ipdb-issue213-v1) issue213-v1-lmcut-release32 issue213-v1-lmcut-release64 Diff (lmcut-issue213-v1) issue213-v1-mas-release32 issue213-v1-mas-release64 Diff (mas-issue213-v1) issue213-v1-seq-release32 issue213-v1-seq-release64 Diff (seq-issue213-v1)
opt-p01-001.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
opt-p01-002.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
opt-p02-003.pddl 0 0 0.0 0 0 0.0 0 0 0.0 1 1 0.0 0 0 0.0 1 1 0.0 1 1 0.0 1 1 0.0
opt-p02-004.pddl 0 0 0.0 0 0 0.0 0 0 0.0 1 1 0.0 0 0 0.0 1 1 0.0 1 1 0.0 1 1 0.0
opt-p03-005.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 1 1 0.0 1 1 0.0 0 0 0.0
opt-p03-006.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 1 1 0.0 1 1 0.0 0 0 0.0
opt-p04-007.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 1 1 0.0 0 0 0.0 0 0 0.0
opt-p04-008.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
opt-p05-009.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
opt-p05-010.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
opt-p06-011.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
opt-p06-012.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
opt-p07-013.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
opt-p07-014.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
opt-p08-015.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
opt-p08-016.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
opt-p09-017.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
opt-p09-018.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
opt-p10-019.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
opt-p10-020.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
Sum 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
Arithmetic mean 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

floortile-opt14-strips

coverage issue213-v1-bjolp-release32 issue213-v1-bjolp-release64 Diff (bjolp-issue213-v1) issue213-v1-blind-release32 issue213-v1-blind-release64 Diff (blind-issue213-v1) issue213-v1-cegar-release32 issue213-v1-cegar-release64 Diff (cegar-issue213-v1) issue213-v1-divpot-release32 issue213-v1-divpot-release64 Diff (divpot-issue213-v1) issue213-v1-ipdb-release32 issue213-v1-ipdb-release64 Diff (ipdb-issue213-v1) issue213-v1-lmcut-release32 issue213-v1-lmcut-release64 Diff (lmcut-issue213-v1) issue213-v1-mas-release32 issue213-v1-mas-release64 Diff (mas-issue213-v1) issue213-v1-seq-release32 issue213-v1-seq-release64 Diff (seq-issue213-v1)
p01-4-3-2.pddl 0 0 0.0 0 0 0.0 0 0 0.0 1 1 0.0 0 0 0.0 1 1 0.0 1 1 0.0 1 1 0.0
p01-4-4-2.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 1 1 0.0 0 0 0.0 0 0 0.0
p01-5-3-2.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 1 1 0.0 0 0 0.0 0 0 0.0
p01-5-4-2.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
p01-5-5-2.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
p01-6-4-2.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
p01-6-5-2.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
p02-4-4-2.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
p02-5-3-2.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 1 1 0.0 0 0 0.0 0 0 0.0
p02-5-4-2.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
p02-5-5-2.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
p02-6-4-2.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
p02-6-5-2.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
p03-4-3-2.pddl 0 0 0.0 0 0 0.0 0 0 0.0 1 1 0.0 0 0 0.0 1 1 0.0 1 1 0.0 1 1 0.0
p03-4-4-2.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
p03-5-3-2.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 1 1 0.0 0 0 0.0 0 0 0.0
p03-5-4-2.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
p03-5-5-2.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
p03-6-4-2.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
p03-6-5-2.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
Sum 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
Arithmetic mean 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

freecell

coverage issue213-v1-bjolp-release32 issue213-v1-bjolp-release64 Diff (bjolp-issue213-v1) issue213-v1-blind-release32 issue213-v1-blind-release64 Diff (blind-issue213-v1) issue213-v1-cegar-release32 issue213-v1-cegar-release64 Diff (cegar-issue213-v1) issue213-v1-divpot-release32 issue213-v1-divpot-release64 Diff (divpot-issue213-v1) issue213-v1-ipdb-release32 issue213-v1-ipdb-release64 Diff (ipdb-issue213-v1) issue213-v1-lmcut-release32 issue213-v1-lmcut-release64 Diff (lmcut-issue213-v1) issue213-v1-mas-release32 issue213-v1-mas-release64 Diff (mas-issue213-v1) issue213-v1-seq-release32 issue213-v1-seq-release64 Diff (seq-issue213-v1)
p01.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
p02.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
p03.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
p04.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
p05.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
p06.pddl 1 1 0.0 0 0 0.0 1 1 0.0 1 1 0.0 0 0 0.0 0 0 0.0 0 0 0.0 1 1 0.0
p07.pddl 1 1 0.0 0 0 0.0 1 1 0.0 1 1 0.0 0 0 0.0 0 0 0.0 0 0 0.0 1 0 -1.0
p08.pddl 1 1 0.0 0 0 0.0 1 1 0.0 1 1 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
p09.pddl 1 1 0.0 0 0 0.0 1 1 0.0 1 1 0.0 0 0 0.0 0 0 0.0 0 0 0.0 1 0 -1.0
p10.pddl 1 1 0.0 0 0 0.0 1 1 0.0 1 1 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
p11.pddl 1 1 0.0 0 0 0.0 1 1 0.0 1 1 0.0 0 0 0.0 0 0 0.0 0 0 0.0 1 0 -1.0
p12.pddl 1 1 0.0 0 0 0.0 1 1 0.0 1 1 0.0 0 0 0.0 0 0 0.0 0 0 0.0 1 0 -1.0
p13.pddl 1 0 -1.0 0 0 0.0 1 1 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
p14.pddl 1 1 0.0 0 0 0.0 1 1 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
p15.pddl 1 1 0.0 0 0 0.0 1 1 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
p16.pddl 1 1 0.0 0 0 0.0 1 1 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
p17.pddl 1 1 0.0 0 0 0.0 1 1 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
p18.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
p19.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
p20.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
probfreecell-2-1.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
probfreecell-2-2.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
probfreecell-2-3.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
probfreecell-2-4.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
probfreecell-2-5.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
probfreecell-3-1.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
probfreecell-3-2.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
probfreecell-3-3.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
probfreecell-3-4.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
probfreecell-3-5.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
probfreecell-4-1.pddl 1 1 0.0 0 0 0.0 1 1 0.0 1 1 0.0 1 1 0.0 0 0 0.0 1 0 -1.0 1 1 0.0
probfreecell-4-2.pddl 1 1 0.0 0 0 0.0 1 1 0.0 1 1 0.0 1 1 0.0 0 0 0.0 1 1 0.0 1 1 0.0
probfreecell-4-3.pddl 1 1 0.0 0 0 0.0 1 1 0.0 1 1 0.0 1 1 0.0 0 0 0.0 1 1 0.0 1 1 0.0
probfreecell-4-4.pddl 1 1 0.0 0 0 0.0 1 1 0.0 1 1 0.0 1 1 0.0 0 0 0.0 1 1 0.0 1 1 0.0
probfreecell-4-5.pddl 1 1 0.0 0 0 0.0 1 1 0.0 1 1 0.0 1 1 0.0 0 0 0.0 1 1 0.0 1 1 0.0
probfreecell-5-1.pddl 1 1 0.0 0 0 0.0 1 1 0.0 1 1 0.0 0 0 0.0 0 0 0.0 0 0 0.0 1 1 0.0
probfreecell-5-2.pddl 1 1 0.0 0 0 0.0 1 1 0.0 1 1 0.0 0 0 0.0 0 0 0.0 0 0 0.0 1 1 0.0
probfreecell-5-3.pddl 1 1 0.0 0 0 0.0 1 1 0.0 1 1 0.0 0 0 0.0 0 0 0.0 0 0 0.0 1 1 0.0
probfreecell-5-4.pddl 1 1 0.0 0 0 0.0 1 1 0.0 1 1 0.0 0 0 0.0 0 0 0.0 0 0 0.0 1 1 0.0
probfreecell-5-5.pddl 1 1 0.0 0 0 0.0 1 1 0.0 1 1 0.0 0 0 0.0 0 0 0.0 0 0 0.0 1 0 -1.0
probfreecell-6-1.pddl 1 1 0.0 0 0 0.0 1 1 0.0 1 1 0.0 0 0 0.0 0 0 0.0 0 0 0.0 1 0 -1.0
probfreecell-6-2.pddl 1 1 0.0 0 0 0.0 1 1 0.0 1 1 0.0 0 0 0.0 0 0 0.0 0 0 0.0 1 1 0.0
probfreecell-6-3.pddl 1 1 0.0 0 0 0.0 1 1 0.0 1 1 0.0 0 0 0.0 0 0 0.0 0 0 0.0 1 1 0.0
probfreecell-6-4.pddl 1 1 0.0 0 0 0.0 1 1 0.0 1 1 0.0 0 0 0.0 0 0 0.0 0 0 0.0 1 1 0.0
probfreecell-6-5.pddl 1 1 0.0 0 0 0.0 1 1 0.0 1 1 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
probfreecell-7-1.pddl 1 1 0.0 0 0 0.0 1 1 0.0 1 1 0.0 0 0 0.0 0 0 0.0 0 0 0.0 1 0 -1.0
probfreecell-7-2.pddl 1 1 0.0 0 0 0.0 1 1 0.0 1 1 0.0 0 0 0.0 0 0 0.0 0 0 0.0 1 0 -1.0
probfreecell-7-3.pddl 1 1 0.0 0 0 0.0 1 1 0.0 1 1 0.0 0 0 0.0 0 0 0.0 0 0 0.0 1 1 0.0
probfreecell-7-4.pddl 1 1 0.0 0 0 0.0 1 1 0.0 1 1 0.0 0 0 0.0 0 0 0.0 0 0 0.0 1 0 -1.0
probfreecell-7-5.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
probfreecell-8-1.pddl 1 1 0.0 0 0 0.0 1 1 0.0 1 1 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
probfreecell-8-2.pddl 1 1 0.0 0 0 0.0 1 1 0.0 1 1 0.0 0 0 0.0 0 0 0.0 0 0 0.0 1 0 -1.0
probfreecell-8-3.pddl 1 1 0.0 0 0 0.0 1 1 0.0 1 1 0.0 0 0 0.0 0 0 0.0 0 0 0.0 1 0 -1.0
probfreecell-8-4.pddl 1 1 0.0 0 0 0.0 1 1 0.0 1 0 -1.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
probfreecell-8-5.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
probfreecell-9-1.pddl 1 1 0.0 0 0 0.0 1 1 0.0 1 1 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
probfreecell-9-2.pddl 1 1 0.0 0 0 0.0 1 1 0.0 1 1 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
probfreecell-9-3.pddl 1 1 0.0 0 0 0.0 1 1 0.0 1 1 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
probfreecell-9-4.pddl 1 1 0.0 0 0 0.0 1 1 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
probfreecell-9-5.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
probfreecell-10-1.pddl 1 1 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
probfreecell-10-2.pddl 1 1 0.0 0 0 0.0 1 1 0.0 1 0 -1.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
probfreecell-10-3.pddl 1 1 0.0 0 0 0.0 1 1 0.0 1 1 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
probfreecell-10-4.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
probfreecell-10-5.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
probfreecell-11-1.pddl 0 0 0.0 0 0 0.0 1 1 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
probfreecell-11-2.pddl 1 1 0.0 0 0 0.0 1 1 0.0 1 1 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
probfreecell-11-3.pddl 1 1 0.0 0 0 0.0 1 1 0.0 1 1 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
probfreecell-11-4.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
probfreecell-11-5.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
probfreecell-12-1.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
probfreecell-12-2.pddl 1 1 0.0 0 0 0.0 1 1 0.0 1 0 -1.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
probfreecell-12-3.pddl 1 1 0.0 0 0 0.0 1 1 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
probfreecell-12-4.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
probfreecell-12-5.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
probfreecell-13-1.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
probfreecell-13-2.pddl 1 1 0.0 0 0 0.0 1 1 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
probfreecell-13-3.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
probfreecell-13-4.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
probfreecell-13-5.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
Sum -1.00 0.00 0.00 -3.00 0.00 0.00 -1.00 -11.00
Arithmetic mean -0.01 0.00 0.00 -0.04 0.00 0.00 -0.01 -0.14

ged-opt14-strips

coverage issue213-v1-bjolp-release32 issue213-v1-bjolp-release64 Diff (bjolp-issue213-v1) issue213-v1-blind-release32 issue213-v1-blind-release64 Diff (blind-issue213-v1) issue213-v1-cegar-release32 issue213-v1-cegar-release64 Diff (cegar-issue213-v1) issue213-v1-divpot-release32 issue213-v1-divpot-release64 Diff (divpot-issue213-v1) issue213-v1-ipdb-release32 issue213-v1-ipdb-release64 Diff (ipdb-issue213-v1) issue213-v1-lmcut-release32 issue213-v1-lmcut-release64 Diff (lmcut-issue213-v1) issue213-v1-mas-release32 issue213-v1-mas-release64 Diff (mas-issue213-v1) issue213-v1-seq-release32 issue213-v1-seq-release64 Diff (seq-issue213-v1)
d-1-2.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
d-1-3.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
d-1-4.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
d-1-8.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
d-2-1.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
d-2-3.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
d-2-4.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
d-2-8.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 1 1 0.0 0 0 0.0 0 0 0.0 0 0 0.0
d-3-1.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
d-3-2.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
d-3-4.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 0 0 0.0
d-4-2.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
d-4-3.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 0 0 0.0
d-4-8.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 1 1 0.0 0 0 0.0 0 0 0.0 0 0 0.0
d-7-5.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
d-7-6.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
d-8-1.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
d-8-2.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 1 1 0.0 0 0 0.0 0 0 0.0 0 0 0.0
d-8-4.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 1 1 0.0 0 0 0.0 0 0 0.0 0 0 0.0
d-8-9.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
Sum 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
Arithmetic mean 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

grid

coverage issue213-v1-bjolp-release32 issue213-v1-bjolp-release64 Diff (bjolp-issue213-v1) issue213-v1-blind-release32 issue213-v1-blind-release64 Diff (blind-issue213-v1) issue213-v1-cegar-release32 issue213-v1-cegar-release64 Diff (cegar-issue213-v1) issue213-v1-divpot-release32 issue213-v1-divpot-release64 Diff (divpot-issue213-v1) issue213-v1-ipdb-release32 issue213-v1-ipdb-release64 Diff (ipdb-issue213-v1) issue213-v1-lmcut-release32 issue213-v1-lmcut-release64 Diff (lmcut-issue213-v1) issue213-v1-mas-release32 issue213-v1-mas-release64 Diff (mas-issue213-v1) issue213-v1-seq-release32 issue213-v1-seq-release64 Diff (seq-issue213-v1)
prob01.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
prob02.pddl 1 1 0.0 0 0 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 0 0 0.0
prob03.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
prob04.pddl 1 0 -1.0 0 0 0.0 0 0 0.0 0 0 0.0 1 1 0.0 0 0 0.0 0 0 0.0 0 0 0.0
prob05.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
Sum -1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
Arithmetic mean -0.20 0.00 0.00 0.00 0.00 0.00 0.00 0.00

gripper

coverage issue213-v1-bjolp-release32 issue213-v1-bjolp-release64 Diff (bjolp-issue213-v1) issue213-v1-blind-release32 issue213-v1-blind-release64 Diff (blind-issue213-v1) issue213-v1-cegar-release32 issue213-v1-cegar-release64 Diff (cegar-issue213-v1) issue213-v1-divpot-release32 issue213-v1-divpot-release64 Diff (divpot-issue213-v1) issue213-v1-ipdb-release32 issue213-v1-ipdb-release64 Diff (ipdb-issue213-v1) issue213-v1-lmcut-release32 issue213-v1-lmcut-release64 Diff (lmcut-issue213-v1) issue213-v1-mas-release32 issue213-v1-mas-release64 Diff (mas-issue213-v1) issue213-v1-seq-release32 issue213-v1-seq-release64 Diff (seq-issue213-v1)
prob01.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
prob02.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
prob03.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
prob04.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
prob05.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
prob06.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
prob07.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
prob08.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 1 1 0.0 0 0 0.0
prob09.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 1 1 0.0 0 0 0.0
prob10.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 1 1 0.0 0 0 0.0
prob11.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 1 1 0.0 0 0 0.0
prob12.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 1 1 0.0 0 0 0.0
prob13.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 1 1 0.0 0 0 0.0
prob14.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 1 1 0.0 0 0 0.0
prob15.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 1 1 0.0 0 0 0.0
prob16.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 1 1 0.0 0 0 0.0
prob17.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 1 1 0.0 0 0 0.0
prob18.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 1 1 0.0 0 0 0.0
prob19.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 1 1 0.0 0 0 0.0
prob20.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 1 1 0.0 0 0 0.0
Sum 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
Arithmetic mean 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

hiking-opt14-strips

coverage issue213-v1-bjolp-release32 issue213-v1-bjolp-release64 Diff (bjolp-issue213-v1) issue213-v1-blind-release32 issue213-v1-blind-release64 Diff (blind-issue213-v1) issue213-v1-cegar-release32 issue213-v1-cegar-release64 Diff (cegar-issue213-v1) issue213-v1-divpot-release32 issue213-v1-divpot-release64 Diff (divpot-issue213-v1) issue213-v1-ipdb-release32 issue213-v1-ipdb-release64 Diff (ipdb-issue213-v1) issue213-v1-lmcut-release32 issue213-v1-lmcut-release64 Diff (lmcut-issue213-v1) issue213-v1-mas-release32 issue213-v1-mas-release64 Diff (mas-issue213-v1) issue213-v1-seq-release32 issue213-v1-seq-release64 Diff (seq-issue213-v1)
ptesting-1-2-3.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
ptesting-1-2-4.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
ptesting-1-2-5.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
ptesting-1-2-7.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
ptesting-1-2-8.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
ptesting-2-2-3.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
ptesting-2-2-4.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
ptesting-2-2-5.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 0 0 0.0 1 1 0.0 0 0 0.0
ptesting-2-2-6.pddl 0 0 0.0 0 0 0.0 1 0 -1.0 0 0 0.0 0 0 0.0 0 0 0.0 1 1 0.0 0 0 0.0
ptesting-2-2-7.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
ptesting-2-2-8.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
ptesting-2-3-4.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
ptesting-2-3-5.pddl 0 0 0.0 0 0 0.0 1 1 0.0 0 0 0.0 0 0 0.0 0 0 0.0 1 0 -1.0 0 0 0.0
ptesting-2-3-6.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
ptesting-2-3-7.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
ptesting-2-4-3.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
ptesting-2-4-4.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 0 0 0.0 1 1 0.0 0 0 0.0
ptesting-2-4-5.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
ptesting-2-4-6.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
ptesting-2-4-7.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
Sum 0.00 0.00 -1.00 0.00 0.00 0.00 -1.00 0.00
Arithmetic mean 0.00 0.00 -0.05 0.00 0.00 0.00 -0.05 0.00

logistics00

coverage issue213-v1-bjolp-release32 issue213-v1-bjolp-release64 Diff (bjolp-issue213-v1) issue213-v1-blind-release32 issue213-v1-blind-release64 Diff (blind-issue213-v1) issue213-v1-cegar-release32 issue213-v1-cegar-release64 Diff (cegar-issue213-v1) issue213-v1-divpot-release32 issue213-v1-divpot-release64 Diff (divpot-issue213-v1) issue213-v1-ipdb-release32 issue213-v1-ipdb-release64 Diff (ipdb-issue213-v1) issue213-v1-lmcut-release32 issue213-v1-lmcut-release64 Diff (lmcut-issue213-v1) issue213-v1-mas-release32 issue213-v1-mas-release64 Diff (mas-issue213-v1) issue213-v1-seq-release32 issue213-v1-seq-release64 Diff (seq-issue213-v1)
probLOGISTICS-4-0.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
probLOGISTICS-4-1.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
probLOGISTICS-4-2.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
probLOGISTICS-5-0.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
probLOGISTICS-5-1.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
probLOGISTICS-5-2.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
probLOGISTICS-6-0.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
probLOGISTICS-6-1.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
probLOGISTICS-6-2.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
probLOGISTICS-6-9.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
probLOGISTICS-7-0.pddl 1 1 0.0 0 0 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
probLOGISTICS-7-1.pddl 1 1 0.0 0 0 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
probLOGISTICS-8-0.pddl 1 1 0.0 0 0 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
probLOGISTICS-8-1.pddl 1 1 0.0 0 0 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
probLOGISTICS-9-0.pddl 1 1 0.0 0 0 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
probLOGISTICS-9-1.pddl 1 1 0.0 0 0 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
probLOGISTICS-10-0.pddl 1 1 0.0 0 0 0.0 1 1 0.0 0 0 0.0 1 1 0.0 1 1 0.0 1 1 0.0 0 0 0.0
probLOGISTICS-10-1.pddl 1 1 0.0 0 0 0.0 1 1 0.0 0 0 0.0 1 1 0.0 1 1 0.0 1 1 0.0 0 0 0.0
probLOGISTICS-11-0.pddl 1 1 0.0 0 0 0.0 1 1 0.0 0 0 0.0 1 1 0.0 1 1 0.0 1 1 0.0 0 0 0.0
probLOGISTICS-11-1.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 1 1 0.0 0 0 0.0 0 0 0.0 0 0 0.0
probLOGISTICS-12-0.pddl 1 1 0.0 0 0 0.0 1 1 0.0 0 0 0.0 1 1 0.0 1 1 0.0 1 1 0.0 0 0 0.0
probLOGISTICS-12-1.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
probLOGISTICS-13-0.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
probLOGISTICS-13-1.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
probLOGISTICS-14-0.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
probLOGISTICS-14-1.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
probLOGISTICS-15-0.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
probLOGISTICS-15-1.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
Sum 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
Arithmetic mean 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

logistics98

coverage issue213-v1-bjolp-release32 issue213-v1-bjolp-release64 Diff (bjolp-issue213-v1) issue213-v1-blind-release32 issue213-v1-blind-release64 Diff (blind-issue213-v1) issue213-v1-cegar-release32 issue213-v1-cegar-release64 Diff (cegar-issue213-v1) issue213-v1-divpot-release32 issue213-v1-divpot-release64 Diff (divpot-issue213-v1) issue213-v1-ipdb-release32 issue213-v1-ipdb-release64 Diff (ipdb-issue213-v1) issue213-v1-lmcut-release32 issue213-v1-lmcut-release64 Diff (lmcut-issue213-v1) issue213-v1-mas-release32 issue213-v1-mas-release64 Diff (mas-issue213-v1) issue213-v1-seq-release32 issue213-v1-seq-release64 Diff (seq-issue213-v1)
prob01.pddl 1 1 0.0 0 0 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
prob02.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
prob03.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
prob04.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
prob05.pddl 1 1 0.0 0 0 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
prob06.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
prob07.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
prob08.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
prob09.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
prob10.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
prob11.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
prob12.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
prob13.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
prob14.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
prob15.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
prob16.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
prob17.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
prob18.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
prob19.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
prob20.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
prob21.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
prob22.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
prob23.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
prob24.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
prob25.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
prob26.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
prob27.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
prob28.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
prob29.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
prob30.pddl 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
prob31.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
prob32.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
prob33.pddl 1 0 -1.0 0 0 0.0 1 1 0.0 0 0 0.0 1 1 0.0 1 1 0.0 1 1 0.0 0 0 0.0
prob34.pddl 0 0 0.0 0 0 0.0 1 1 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0 0 0 0.0
prob35.pddl 1 1 0.0 0 0 0.0 1 1 0.0 0 0 0.0 0 0 0.0 1 1 0.0 0 0 0.0 0 0 0.0
Sum -1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
Arithmetic mean -0.03 0.00 0.00 0.00 0.00 0.00 0.00 0.00

miconic

coverage issue213-v1-bjolp-release32 issue213-v1-bjolp-release64 Diff (bjolp-issue213-v1) issue213-v1-blind-release32 issue213-v1-blind-release64 Diff (blind-issue213-v1) issue213-v1-cegar-release32 issue213-v1-cegar-release64 Diff (cegar-issue213-v1) issue213-v1-divpot-release32 issue213-v1-divpot-release64 Diff (divpot-issue213-v1) issue213-v1-ipdb-release32 issue213-v1-ipdb-release64 Diff (ipdb-issue213-v1) issue213-v1-lmcut-release32 issue213-v1-lmcut-release64 Diff (lmcut-issue213-v1) issue213-v1-mas-release32 issue213-v1-mas-release64 Diff (mas-issue213-v1) issue213-v1-seq-release32 issue213-v1-seq-release64 Diff (seq-issue213-v1)
s1-0.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
s1-1.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
s1-2.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
s1-3.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
s1-4.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
s2-0.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
s2-1.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
s2-2.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
s2-3.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
s2-4.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
s3-0.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
s3-1.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
s3-2.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
s3-3.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
s3-4.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
s4-0.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
s4-1.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0
s4-2.pddl 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1 1 0.0 1