- Unexplained Errors
- Info
- Summary
- construction_time
  - 3unsat bag-barman bag-gripper bag-transport bottleneck cave-diving chessboard-pebbling document-transfer mystery over-nomystery over-rovers over-tpp pegsol pegsol-row5 sliding-tiles tetris unsat-nomystery unsat-rovers unsat-tpp
- error
  - error-critical-error error-search-out-of-memory error-search-out-of-time error-search-unsolvable error-search-unsolvable-incomplete error-success 3unsat bag-barman bag-gripper bag-transport bottleneck cave-diving chessboard-pebbling document-transfer mystery over-nomystery over-rovers over-tpp pegsol pegsol-row5 sliding-tiles tetris unsat-nomystery unsat-rovers unsat-tpp
- memory
  - 3unsat bag-barman bag-gripper bag-transport bottleneck cave-diving chessboard-pebbling document-transfer mystery over-nomystery over-rovers over-tpp pegsol pegsol-row5 sliding-tiles tetris unsat-nomystery unsat-rovers unsat-tpp
- num_cols
  - 3unsat bag-barman bag-gripper bag-transport bottleneck cave-diving chessboard-pebbling document-transfer mystery over-nomystery over-rovers over-tpp pegsol pegsol-row5 sliding-tiles tetris unsat-nomystery unsat-rovers unsat-tpp
- num_ops
  - 3unsat bag-barman bag-gripper bag-transport bottleneck cave-diving chessboard-pebbling document-transfer mystery over-nomystery over-rovers over-tpp pegsol pegsol-row5 sliding-tiles tetris unsat-nomystery unsat-rovers unsat-tpp
- num_rows
  - 3unsat bag-barman bag-gripper bag-transport bottleneck cave-diving chessboard-pebbling document-transfer mystery over-nomystery over-rovers over-tpp pegsol pegsol-row5 sliding-tiles tetris unsat-nomystery unsat-rovers unsat-tpp
- solve_time
  - 3unsat bag-barman bag-gripper bag-transport bottleneck cave-diving chessboard-pebbling document-transfer mystery over-nomystery over-rovers over-tpp pegsol pegsol-row5 sliding-tiles tetris unsat-nomystery unsat-rovers unsat-tpp
- total_time
  - 3unsat bag-barman bag-gripper bag-transport bottleneck cave-diving chessboard-pebbling document-transfer mystery over-nomystery over-rovers over-tpp pegsol pegsol-row5 sliding-tiles tetris unsat-nomystery unsat-rovers unsat-tpp

# unexplained-errors

Unexplained errors | domain | problem | algorithm | unexplained_errors | error | planner_wall_clock_time | raw_memory | node
--- | --- | --- | --- | --- | --- | --- | --- | ---
runs-00001-00100/00051 | bag-gripper | prob01.pddl | Full Bitset | ["run.err: b' \Warning: :constants specification not allowed here (cf. PDDL BNF) \' "] | search-out-of-memory | 156.74 | 3670012 | ase02.cluster.bc2.ch
runs-00001-00100/00052 | bag-gripper | prob02.pddl | Full Bitset | ["run.err: b' \Warning: :constants specification not allowed here (cf. PDDL BNF) \' "] | search-out-of-time | 1800.38 | 294228 | ase10.cluster.bc2.ch
runs-00001-00100/00053 | bag-gripper | prob03.pddl | Full Bitset | ["run.err: b' \Warning: :constants specification not allowed here (cf. PDDL BNF) \' "] | search-out-of-time | 1799.95 | 159976 | ase02.cluster.bc2.ch
runs-00001-00100/00054 | bag-gripper | prob04.pddl | Full Bitset | ["run.err: b' \Warning: :constants specification not allowed here (cf. PDDL BNF) \' "] | search-out-of-time | 1800.56 | 300136 | ase08.cluster.bc2.ch
runs-00001-00100/00055 | bag-gripper | prob05.pddl | Full Bitset | ["run.err: b' \Warning: :constants specification not allowed here (cf. PDDL BNF) \' "] | search-out-of-memory | 1697.03 | 3669888 | ase06.cluster.bc2.ch
runs-00001-00100/00056 | bag-gripper | prob06.pddl | Full Bitset | ["run.err: b' \Warning: :constants specification not allowed here (cf. PDDL BNF) \' "] | search-out-of-time | 1800.82 | 483364 | ase11.cluster.bc2.ch
runs-00001-00100/00057 | bag-gripper | prob07.pddl | Full Bitset | ["run.err: b' \Warning: :constants specification not allowed here (cf. PDDL BNF) \' "] | search-out-of-time | 1801.15 | 217304 | ase11.cluster.bc2.ch
runs-00001-00100/00058 | bag-gripper | prob08.pddl | Full Bitset | ["run.err: b' \Warning: :constants specification not allowed here (cf. PDDL BNF) \' "] | search-out-of-memory | 606.63 | 3670016 | ase14.cluster.bc2.ch
runs-00001-00100/00059 | bag-gripper | prob09.pddl | Full Bitset | ["run.err: b' \Warning: :constants specification not allowed here (cf. PDDL BNF) \' "] | search-out-of-time | 1800.38 | 566532 | ase13.cluster.bc2.ch
runs-00001-00100/00060 | bag-gripper | prob10.pddl | Full Bitset | ["run.err: b' \Warning: :constants specification not allowed here (cf. PDDL BNF) \' "] | search-out-of-time | 1800.62 | 367988 | ase16.cluster.bc2.ch
runs-00001-00100/00061 | bag-gripper | prob11.pddl | Full Bitset | ["run.err: b' \Warning: :constants specification not allowed here (cf. PDDL BNF) \' "] | search-out-of-time | 1801.28 | 366876 | ase15.cluster.bc2.ch
runs-00001-00100/00062 | bag-gripper | prob12.pddl | Full Bitset | ["run.err: b' \Warning: :constants specification not allowed here (cf. PDDL BNF) \' "] | search-out-of-time | 1800.58 | 538448 | ase04.cluster.bc2.ch
runs-00001-00100/00063 | bag-gripper | prob13.pddl | Full Bitset | ["run.err: b' \Warning: :constants specification not allowed here (cf. PDDL BNF) \' "] | search-out-of-time | 1800.58 | 503788 | ase01.cluster.bc2.ch
runs-00001-00100/00064 | bag-gripper | prob14.pddl | Full Bitset | ["run.err: b' \Warning: :constants specification not allowed here (cf. PDDL BNF) \' "] | search-out-of-time | 1800.09 | 496548 | ase11.cluster.bc2.ch
runs-00001-00100/00065 | bag-gripper | prob15.pddl | Full Bitset | ["run.err: b' \Warning: :constants specification not allowed here (cf. PDDL BNF) \' "] | search-out-of-memory | 1749.37 | 3670004 | ase03.cluster.bc2.ch
runs-00001-00100/00066 | bag-gripper | prob16.pddl | Full Bitset | ['critical-error', 'run.err: Traceback (most recent call last): File "../../code-eb7d80b_e5e41175/fast-downward.py", line 5, in main() File "/infai/chrrem00/master-code/experiments/parity/data/single-constraint/code-eb7d80b_e5e41175/driver/main.py", line 34, in main (exitcode, continue_execution) = run_components.run_translate(args) File "/infai/chrrem00/master-code/experiments/parity/data/single-constraint/code-eb7d80b_e5e41175/driver/run_components.py", line 75, in run_translate if "MemoryError" not in line: TypeError: a bytes-like object is required, not \'str\' '] | critical-error | 142.40 | ? | ase09.cluster.bc2.ch
runs-00001-00100/00067 | bag-gripper | prob17.pddl | Full Bitset | ['critical-error', 'run.err: Traceback (most recent call last): File "../../code-eb7d80b_e5e41175/fast-downward.py", line 5, in main() File "/infai/chrrem00/master-code/experiments/parity/data/single-constraint/code-eb7d80b_e5e41175/driver/main.py", line 34, in main (exitcode, continue_execution) = run_components.run_translate(args) File "/infai/chrrem00/master-code/experiments/parity/data/single-constraint/code-eb7d80b_e5e41175/driver/run_components.py", line 75, in run_translate if "MemoryError" not in line: TypeError: a bytes-like object is required, not \'str\' '] | critical-error | 178.41 | ? | ase05.cluster.bc2.ch
runs-00001-00100/00068 | bag-gripper | prob18.pddl | Full Bitset | ['critical-error', 'run.err: Traceback (most recent call last): File "../../code-eb7d80b_e5e41175/fast-downward.py", line 5, in main() File "/infai/chrrem00/master-code/experiments/parity/data/single-constraint/code-eb7d80b_e5e41175/driver/main.py", line 34, in main (exitcode, continue_execution) = run_components.run_translate(args) File "/infai/chrrem00/master-code/experiments/parity/data/single-constraint/code-eb7d80b_e5e41175/driver/run_components.py", line 75, in run_translate if "MemoryError" not in line: TypeError: a bytes-like object is required, not \'str\' '] | critical-error | 172.41 | ? | ase09.cluster.bc2.ch
runs-00001-00100/00069 | bag-gripper | prob19.pddl | Full Bitset | ['critical-error', 'run.err: Traceback (most recent call last): File "../../code-eb7d80b_e5e41175/fast-downward.py", line 5, in main() File "/infai/chrrem00/master-code/experiments/parity/data/single-constraint/code-eb7d80b_e5e41175/driver/main.py", line 34, in main (exitcode, continue_execution) = run_components.run_translate(args) File "/infai/chrrem00/master-code/experiments/parity/data/single-constraint/code-eb7d80b_e5e41175/driver/run_components.py", line 75, in run_translate if "MemoryError" not in line: TypeError: a bytes-like object is required, not \'str\' '] | critical-error | 179.19 | ? | ase11.cluster.bc2.ch
runs-00001-00100/00070 | bag-gripper | prob20.pddl | Full Bitset | ['critical-error', 'run.err: Traceback (most recent call last): File "../../code-eb7d80b_e5e41175/fast-downward.py", line 5, in main() File "/infai/chrrem00/master-code/experiments/parity/data/single-constraint/code-eb7d80b_e5e41175/driver/main.py", line 34, in main (exitcode, continue_execution) = run_components.run_translate(args) File "/infai/chrrem00/master-code/experiments/parity/data/single-constraint/code-eb7d80b_e5e41175/driver/run_components.py", line 75, in run_translate if "MemoryError" not in line: TypeError: a bytes-like object is required, not \'str\' '] | critical-error | 182.15 | ? | ase08.cluster.bc2.ch
runs-00001-00100/00071 | bag-gripper | prob21.pddl | Full Bitset | ['critical-error', 'run.err: Traceback (most recent call last): File "../../code-eb7d80b_e5e41175/fast-downward.py", line 5, in main() File "/infai/chrrem00/master-code/experiments/parity/data/single-constraint/code-eb7d80b_e5e41175/driver/main.py", line 34, in main (exitcode, continue_execution) = run_components.run_translate(args) File "/infai/chrrem00/master-code/experiments/parity/data/single-constraint/code-eb7d80b_e5e41175/driver/run_components.py", line 75, in run_translate if "MemoryError" not in line: TypeError: a bytes-like object is required, not \'str\' '] | critical-error | 185.60 | ? | ase16.cluster.bc2.ch
runs-00001-00100/00072 | bag-gripper | prob22.pddl | Full Bitset | ['critical-error', 'run.err: Traceback (most recent call last): File "../../code-eb7d80b_e5e41175/fast-downward.py", line 5, in main() File "/infai/chrrem00/master-code/experiments/parity/data/single-constraint/code-eb7d80b_e5e41175/driver/main.py", line 34, in main (exitcode, continue_execution) = run_components.run_translate(args) File "/infai/chrrem00/master-code/experiments/parity/data/single-constraint/code-eb7d80b_e5e41175/driver/run_components.py", line 75, in run_translate if "MemoryError" not in line: TypeError: a bytes-like object is required, not \'str\' '] | critical-error | 164.65 | ? | ase13.cluster.bc2.ch
runs-00001-00100/00073 | bag-gripper | prob23.pddl | Full Bitset | ["run.err: b' \Warning: :constants specification not allowed here (cf. PDDL BNF) \' "] | search-out-of-time | 1800.20 | 349328 | ase20.cluster.bc2.ch
runs-00001-00100/00074 | bag-gripper | prob24.pddl | Full Bitset | ['critical-error', 'run.err: Traceback (most recent call last): File "../../code-eb7d80b_e5e41175/fast-downward.py", line 5, in main() File "/infai/chrrem00/master-code/experiments/parity/data/single-constraint/code-eb7d80b_e5e41175/driver/main.py", line 34, in main (exitcode, continue_execution) = run_components.run_translate(args) File "/infai/chrrem00/master-code/experiments/parity/data/single-constraint/code-eb7d80b_e5e41175/driver/run_components.py", line 75, in run_translate if "MemoryError" not in line: TypeError: a bytes-like object is required, not \'str\' '] | critical-error | 181.29 | ? | ase17.cluster.bc2.ch
runs-00001-00100/00075 | bag-gripper | prob25.pddl | Full Bitset | ['critical-error', 'run.err: Traceback (most recent call last): File "../../code-eb7d80b_e5e41175/fast-downward.py", line 5, in main() File "/infai/chrrem00/master-code/experiments/parity/data/single-constraint/code-eb7d80b_e5e41175/driver/main.py", line 34, in main (exitcode, continue_execution) = run_components.run_translate(args) File "/infai/chrrem00/master-code/experiments/parity/data/single-constraint/code-eb7d80b_e5e41175/driver/run_components.py", line 75, in run_translate if "MemoryError" not in line: TypeError: a bytes-like object is required, not \'str\' '] | critical-error | 156.55 | ? | ase08.cluster.bc2.ch
runs-00101-00200/00130 | cave-diving | prob01.pddl | Full Bitset | ["run.err: b' \Warning: :constants specification not allowed here (cf. PDDL BNF) \' "] | search-unsolvable-incomplete | 27.55 | 300848 | ase19.cluster.bc2.ch
runs-00101-00200/00131 | cave-diving | prob02.pddl | Full Bitset | ["run.err: b' \Warning: :constants specification not allowed here (cf. PDDL BNF) \' "] | search-unsolvable-incomplete | 10.44 | 233832 | ase19.cluster.bc2.ch
runs-00101-00200/00132 | cave-diving | prob03.pddl | Full Bitset | ["run.err: b' \Warning: :constants specification not allowed here (cf. PDDL BNF) \' "] | search-unsolvable-incomplete | 3.56 | 116484 | ase08.cluster.bc2.ch
runs-00101-00200/00133 | cave-diving | prob04.pddl | Full Bitset | ["run.err: b' \Warning: :constants specification not allowed here (cf. PDDL BNF) \' "] | search-unsolvable-incomplete | 3.61 | 94164 | ase17.cluster.bc2.ch
runs-00101-00200/00134 | cave-diving | prob05.pddl | Full Bitset | ["run.err: b' \Warning: :constants specification not allowed here (cf. PDDL BNF) \' "] | success | 0.30 | 54808 | ase19.cluster.bc2.ch
runs-00101-00200/00135 | cave-diving | prob06.pddl | Full Bitset | ["run.err: b' \Warning: :constants specification not allowed here (cf. PDDL BNF) \' "] | search-out-of-memory | 28.64 | 3669972 | ase11.cluster.bc2.ch
runs-00101-00200/00136 | cave-diving | prob07.pddl | Full Bitset | ["run.err: b' \Warning: :constants specification not allowed here (cf. PDDL BNF) \' "] | search-out-of-memory | 20.93 | 3669996 | ase23.cluster.bc2.ch
runs-00101-00200/00137 | cave-diving | prob08.pddl | Full Bitset | ["run.err: b' \Warning: :constants specification not allowed here (cf. PDDL BNF) \' "] | search-out-of-memory | 8.69 | 3669996 | ase13.cluster.bc2.ch
runs-00101-00200/00138 | cave-diving | prob09.pddl | Full Bitset | ["run.err: b' \Warning: :constants specification not allowed here (cf. PDDL BNF) \' "] | search-unsolvable-incomplete | 439.13 | 2474384 | ase07.cluster.bc2.ch
runs-00101-00200/00139 | cave-diving | prob10.pddl | Full Bitset | ["run.err: b' \Warning: :constants specification not allowed here (cf. PDDL BNF) \' "] | search-unsolvable-incomplete | 13.20 | 240084 | ase08.cluster.bc2.ch
runs-00101-00200/00140 | cave-diving | prob11.pddl | Full Bitset | ["run.err: b' \Warning: :constants specification not allowed here (cf. PDDL BNF) \' "] | search-out-of-memory | 28.24 | 3669984 | ase24.cluster.bc2.ch
runs-00101-00200/00141 | cave-diving | prob12.pddl | Full Bitset | ["run.err: b' \Warning: :constants specification not allowed here (cf. PDDL BNF) \' "] | search-out-of-memory | 16.27 | 3669996 | ase14.cluster.bc2.ch
runs-00101-00200/00142 | cave-diving | prob13.pddl | Full Bitset | ["run.err: b' \Warning: :constants specification not allowed here (cf. PDDL BNF) \' "] | search-out-of-memory | 11.67 | 3670008 | ase15.cluster.bc2.ch
runs-00101-00200/00143 | cave-diving | prob14.pddl | Full Bitset | ["run.err: b' \Warning: :constants specification not allowed here (cf. PDDL BNF) \' "] | search-unsolvable-incomplete | 407.56 | 2416996 | ase05.cluster.bc2.ch
runs-00101-00200/00144 | cave-diving | prob15.pddl | Full Bitset | ["run.err: b' \Warning: :constants specification not allowed here (cf. PDDL BNF) \' "] | search-unsolvable-incomplete | 8.46 | 195912 | ase22.cluster.bc2.ch
runs-00101-00200/00145 | cave-diving | prob16.pddl | Full Bitset | ["run.err: b' \Warning: :constants specification not allowed here (cf. PDDL BNF) \' "] | search-out-of-time | 1800.63 | 763564 | ase05.cluster.bc2.ch
runs-00101-00200/00146 | cave-diving | prob17.pddl | Full Bitset | ["run.err: b' \Warning: :constants specification not allowed here (cf. PDDL BNF) \' "] | search-out-of-time | 1801.42 | 444784 | ase23.cluster.bc2.ch
runs-00101-00200/00147 | cave-diving | prob18.pddl | Full Bitset | ["run.err: b' \Warning: :constants specification not allowed here (cf. PDDL BNF) \' "] | search-out-of-time | 1801.79 | 245736 | ase17.cluster.bc2.ch
runs-00101-00200/00148 | cave-diving | prob19.pddl | Full Bitset | ["run.err: b' \Warning: :constants specification not allowed here (cf. PDDL BNF) \' "] | search-out-of-memory | 229.03 | 3669880 | ase14.cluster.bc2.ch
runs-00101-00200/00149 | cave-diving | prob20.pddl | Full Bitset | ["run.err: b' \Warning: :constants specification not allowed here (cf. PDDL BNF) \' "] | search-out-of-memory | 10.32 | 3670016 | ase04.cluster.bc2.ch
runs-00101-00200/00150 | cave-diving | prob21.pddl | Full Bitset | ["run.err: b' \Warning: :constants specification not allowed here (cf. PDDL BNF) \' "] | search-out-of-memory | 1086.00 | 3669692 | ase19.cluster.bc2.ch
runs-00101-00200/00151 | cave-diving | prob22.pddl | Full Bitset | ["run.err: b' \Warning: :constants specification not allowed here (cf. PDDL BNF) \' "] | search-out-of-memory | 580.78 | 3669492 | ase22.cluster.bc2.ch
runs-00101-00200/00152 | cave-diving | prob23.pddl | Full Bitset | ["run.err: b' \Warning: :constants specification not allowed here (cf. PDDL BNF) \' "] | search-out-of-memory | 270.91 | 3669772 | ase10.cluster.bc2.ch
runs-00101-00200/00153 | cave-diving | prob24.pddl | Full Bitset | ["run.err: b' \Warning: :constants specification not allowed here (cf. PDDL BNF) \' "] | search-out-of-memory | 47.26 | 3669948 | ase20.cluster.bc2.ch
runs-00101-00200/00154 | cave-diving | prob25.pddl | Full Bitset | ["run.err: b' \Warning: :constants specification not allowed here (cf. PDDL BNF) \' "] | search-out-of-memory | 7.07 | 3670008 | ase08.cluster.bc2.ch

# info

algorithm | local_revision | global_revision | revision_summary | driver_options | component_options
--- | --- | --- | --- | --- | ---
Full Bitset | single-constraint | eb7d80b | eb7d80b | ['--validate', '--overall-time-limit', '30m', '--overall-memory-limit', '3584M'] | ['--search', 'astar(parity())']

Used nodes: {ase01, ..., ase11, ase13, ..., ase20, ase22, ..., ase24}

# summary

Summary | Full Bitset
--- | ---
construction_time - Geometric mean | 0.66
error-critical-error - Sum | 9
error-search-out-of-memory - Sum | 277
error-search-out-of-time - Sum | 36
error-search-unsolvable - Sum | 43
error-search-unsolvable-incomplete - Sum | 180
error-success - Sum | 140
memory - Geometric mean | 185026.64
num_cols - Sum | 7664863
num_ops - Sum | 6159825
num_rows - Sum | 24071105
solve_time - Geometric mean | 24.12
total_time - Geometric mean | 6.20

# construction_time

construction_time | Full Bitset
--- | ---
3unsat (25) | 0.36
bag-transport (1) | 1.09
bottleneck (4) | 2.08
cave-diving (8) | 0.56
chessboard-pebbling (7) | 0.23
document-transfer (2) | 3.43
over-nomystery (7) | 2.92
over-rovers (5) | 0.64
over-tpp (13) | 1.22
pegsol (24) | 0.02
pegsol-row5 (6) | 0.20
sliding-tiles (20) | 0.18
unsat-nomystery (93) | 1.83
unsat-rovers (8) | 3.43
Geometric mean (223) | 0.66

Only instances where all algorithms have a value for "construction_time" are considered. Each table entry gives the geometric mean of "construction_time" for that domain. The bottom row reports the geometric mean across all domains.

## 3unsat

construction_time | Full Bitset
--- | ---
sat-3-22-5-1.pddl | 0.01
sat-3-22-5-2.pddl | 0.02
sat-3-22-5-3.pddl | 0.02
sat-3-22-5-4.pddl | 0.02
sat-3-22-5-5.pddl | 0.01
sat-3-43-10-1.pddl | 0.14
sat-3-43-10-2.pddl | 0.15
sat-3-43-10-3.pddl | 0.15
sat-3-43-10-4.pddl | 0.14
sat-3-43-10-5.pddl | 0.15
sat-3-65-15-1.pddl | 0.53
sat-3-65-15-2.pddl | 0.55
sat-3-65-15-3.pddl | 0.59
sat-3-65-15-4.pddl | 0.56
sat-3-65-15-5.pddl | 0.52
sat-3-86-20-1.pddl | 1.70
sat-3-86-20-2.pddl | 1.53
sat-3-86-20-3.pddl | 1.55
sat-3-86-20-4.pddl | 1.59
sat-3-86-20-5.pddl | 1.52
sat-3-108-25-1.pddl | 2.86
sat-3-108-25-2.pddl | 2.86
sat-3-108-25-3.pddl | 2.92
sat-3-108-25-4.pddl | 3.06
sat-3-108-25-5.pddl | 2.81
sat-3-129-30-1.pddl | None
sat-3-129-30-2.pddl | None
sat-3-129-30-3.pddl | None
sat-3-129-30-4.pddl | None
sat-3-129-30-5.pddl | None

## bag-barman

construction_time | Full Bitset
--- | ---
prob01.pddl | None
prob02.pddl | None
prob03.pddl | None
prob04.pddl | None
prob05.pddl | None
prob06.pddl | None
prob07.pddl | None
prob08.pddl | None
prob09.pddl | None
prob10.pddl | None
prob11.pddl | None
prob12.pddl | None
prob13.pddl | None
prob14.pddl | None
prob15.pddl | None
prob16.pddl | None
prob17.pddl | None
prob18.pddl | None
prob19.pddl | None
prob20.pddl | None

## bag-gripper

construction_time | Full Bitset
--- | ---
prob01.pddl | None
prob02.pddl | None
prob03.pddl | None
prob04.pddl | None
prob05.pddl | None
prob06.pddl | None
prob07.pddl | None
prob08.pddl | None
prob09.pddl | None
prob10.pddl | None
prob11.pddl | None
prob12.pddl | None
prob13.pddl | None
prob14.pddl | None
prob15.pddl | None
prob16.pddl | None
prob17.pddl | None
prob18.pddl | None
prob19.pddl | None
prob20.pddl | None
prob21.pddl | None
prob22.pddl | None
prob23.pddl | None
prob24.pddl | None
prob25.pddl | None

## bag-transport

construction_time | Full Bitset
--- | ---
prob01.pddl | None
prob02.pddl | 1.09
prob03.pddl | None
prob04.pddl | None
prob05.pddl | None
prob06.pddl | None
prob07.pddl | None
prob08.pddl | None
prob09.pddl | None
prob10.pddl | None
prob11.pddl | None
prob12.pddl | None
prob13.pddl | None
prob14.pddl | None
prob15.pddl | None
prob16.pddl | None
prob17.pddl | None
prob18.pddl | None
prob19.pddl | None
prob20.pddl | None
prob21.pddl | None
prob22.pddl | None
prob23.pddl | None
prob24.pddl | None
prob25.pddl | None
prob26.pddl | None
prob27.pddl | None
prob28.pddl | None
prob29.pddl | None

## bottleneck

construction_time | Full Bitset
--- | ---
prob01.pddl | None
prob02.pddl | None
prob03.pddl | None
prob04.pddl | None
prob05.pddl | None
prob06.pddl | None
prob07.pddl | None
prob08.pddl | None
prob09.pddl | 1.66
prob10.pddl | 1.89
prob11.pddl | 2.27
prob12.pddl | 2.63
prob13.pddl | None
prob14.pddl | None
prob15.pddl | None
prob16.pddl | None
prob17.pddl | None
prob18.pddl | None
prob19.pddl | None
prob20.pddl | None
prob21.pddl | None
prob22.pddl | None
prob23.pddl | None
prob24.pddl | None
prob25.pddl | None

## cave-diving

construction_time | Full Bitset
--- | ---
prob01.pddl | 0.60
prob02.pddl | 0.40
prob03.pddl | 0.21
prob04.pddl | 0.11
prob05.pddl | None
prob06.pddl | None
prob07.pddl | None
prob08.pddl | None
prob09.pddl | 3.64
prob10.pddl | 0.45
prob11.pddl | None
prob12.pddl | None
prob13.pddl | None
prob14.pddl | 3.57
prob15.pddl | 0.31
prob16.pddl | None
prob17.pddl | None
prob18.pddl | None
prob19.pddl | None
prob20.pddl | None
prob21.pddl | None
prob22.pddl | None
prob23.pddl | None
prob24.pddl | None
prob25.pddl | None

## chessboard-pebbling

construction_time | Full Bitset
--- | ---
prob03.pddl | 0.01
prob04.pddl | 0.04
prob05.pddl | 0.12
prob06.pddl | 0.24
prob07.pddl | 0.61
prob08.pddl | 1.48
prob09.pddl | 2.51
prob10.pddl | None
prob11.pddl | None
prob12.pddl | None
prob13.pddl | None
prob14.pddl | None
prob15.pddl | None
prob16.pddl | None
prob17.pddl | None
prob18.pddl | None
prob19.pddl | None
prob20.pddl | None
prob21.pddl | None
prob22.pddl | None
prob23.pddl | None
prob24.pddl | None
prob25.pddl | None

## document-transfer

construction_time | Full Bitset
--- | ---
prob01.pddl | None
prob02.pddl | 3.27
prob03.pddl | None
prob04.pddl | None
prob05.pddl | None
prob06.pddl | None
prob07.pddl | None
prob08.pddl | None
prob09.pddl | None
prob10.pddl | None
prob11.pddl | None
prob12.pddl | None
prob13.pddl | None
prob14.pddl | None
prob15.pddl | None
prob16.pddl | None
prob17.pddl | None
prob18.pddl | None
prob19.pddl | 3.59
prob20.pddl | None

## mystery

construction_time | Full Bitset
--- | ---
prob04.pddl | None
prob05.pddl | None
prob08.pddl | None
prob12.pddl | None
prob16.pddl | None
prob21.pddl | None
prob22.pddl | None
prob23.pddl | None
prob24.pddl | None

## over-nomystery

construction_time | Full Bitset
--- | ---
prob01.pddl | None
prob02.pddl | None
prob03.pddl | None
prob04.pddl | None
prob05.pddl | None
prob06.pddl | 1.43
prob07.pddl | 3.19
prob08.pddl | None
prob09.pddl | None
prob10.pddl | None
prob11.pddl | 2.31
prob12.pddl | 4.87
prob13.pddl | None
prob14.pddl | None
prob15.pddl | None
prob16.pddl | 2.31
prob17.pddl | 4.71
prob18.pddl | None
prob19.pddl | None
prob20.pddl | None
prob21.pddl | 3.23
prob22.pddl | None
prob23.pddl | None
prob24.pddl | None

## over-rovers

construction_time | Full Bitset
--- | ---
prob01.pddl | None
prob02.pddl | None
prob03.pddl | 0.10
prob04.pddl | 0.40
prob05.pddl | None
prob06.pddl | 2.35
prob07.pddl | None
prob08.pddl | 1.03
prob09.pddl | 1.12
prob10.pddl | None
prob11.pddl | None
prob12.pddl | None
prob13.pddl | None
prob14.pddl | None
prob15.pddl | None
prob16.pddl | None
prob17.pddl | None
prob18.pddl | None
prob19.pddl | None
prob20.pddl | None

## over-tpp

construction_time | Full Bitset
--- | ---
prob01.pddl | 0.08
prob02.pddl | None
prob03.pddl | 0.36
prob04.pddl | 1.05
prob05.pddl | 0.88
prob06.pddl | 1.61
prob07.pddl | 3.47
prob08.pddl | 4.45
prob09.pddl | None
prob10.pddl | None
prob11.pddl | None
prob12.pddl | None
prob13.pddl | None
prob14.pddl | None
prob15.pddl | None
prob16.pddl | 0.39
prob17.pddl | 0.61
prob18.pddl | 1.38
prob19.pddl | 3.64
prob20.pddl | 3.21
prob21.pddl | 5.55
prob22.pddl | None
prob23.pddl | None
prob24.pddl | None
prob25.pddl | None
prob26.pddl | None
prob27.pddl | None
prob28.pddl | None
prob29.pddl | None
prob30.pddl | None

## pegsol

construction_time | Full Bitset
--- | ---
prob05.pddl | 0.01
prob06.pddl | 0.01
prob09.pddl | 0.01
prob10.pddl | 0.01
prob11.pddl | 0.02
prob12.pddl | 0.02
prob13.pddl | 0.02
prob14.pddl | 0.02
prob15.pddl | 0.02
prob16.pddl | 0.01
prob17.pddl | 0.02
prob18.pddl | 0.02
prob19.pddl | 0.02
prob20.pddl | 0.02
prob21.pddl | 0.02
prob22.pddl | 0.02
prob23.pddl | 0.02
prob24.pddl | 0.02
prob25.pddl | 0.02
prob26.pddl | 0.02
prob27.pddl | 0.02
prob28.pddl | 0.02
prob29.pddl | 0.01
prob30.pddl | 0.03

## pegsol-row5

construction_time | Full Bitset
--- | ---
prob01.pddl | 0.00
prob02.pddl | None
prob03.pddl | None
prob04.pddl | 0.12
prob05.pddl | 0.37
prob06.pddl | 0.82
prob07.pddl | 1.89
prob08.pddl | 4.34
prob09.pddl | None
prob10.pddl | None
prob11.pddl | None
prob12.pddl | None
prob13.pddl | None
prob14.pddl | None
prob15.pddl | None

## sliding-tiles

construction_time | Full Bitset
--- | ---
prob01.pddl | 0.05
prob02.pddl | 0.07
prob03.pddl | 0.09
prob04.pddl | 0.09
prob05.pddl | 0.06
prob06.pddl | 0.06
prob07.pddl | 0.05
prob08.pddl | 0.07
prob09.pddl | 0.06
prob10.pddl | 0.09
prob11.pddl | 0.47
prob12.pddl | 0.45
prob13.pddl | 0.42
prob14.pddl | 0.48
prob15.pddl | 0.47
prob16.pddl | 0.50
prob17.pddl | 0.41
prob18.pddl | 0.50
prob19.pddl | 0.43
prob20.pddl | 0.45
prob24.pddl | None

## tetris

construction_time | Full Bitset
--- | ---
prob01.pddl | None
prob02.pddl | None
prob03.pddl | None
prob04.pddl | None
prob05.pddl | None
prob06.pddl | None
prob07.pddl | None
prob08.pddl | None
prob09.pddl | None
prob10.pddl | None
prob11.pddl | None
prob12.pddl | None
prob13.pddl | None
prob14.pddl | None
prob15.pddl | None
prob16.pddl | None
prob17.pddl | None
prob18.pddl | None
prob19.pddl | None
prob20.pddl | None

## unsat-nomystery

construction_time | Full Bitset
--- | ---
nomystery-problem-05-9-9-1-01.pddl | 0.86
nomystery-problem-05-9-9-1-02.pddl | None
nomystery-problem-05-9-9-1-03.pddl | 1.03
nomystery-problem-05-9-9-1-04.pddl | None
nomystery-problem-05-9-9-1-05.pddl | 0.95
nomystery-problem-05-9-9-2-01.pddl | None
nomystery-problem-05-9-9-2-02.pddl | None
nomystery-problem-05-9-9-2-03.pddl | None
nomystery-problem-05-9-9-2-04.pddl | None
nomystery-problem-05-9-9-2-05.pddl | None
nomystery-problem-05-9-9-3-01.pddl | 1.13
nomystery-problem-05-9-9-3-02.pddl | None
nomystery-problem-05-9-9-3-03.pddl | None
nomystery-problem-05-9-9-3-04.pddl | None
nomystery-problem-05-9-9-3-05.pddl | None
nomystery-problem-05-9-9-4-01.pddl | 1.10
nomystery-problem-05-9-9-4-02.pddl | 1.10
nomystery-problem-05-9-9-4-03.pddl | None
nomystery-problem-05-9-9-4-04.pddl | None
nomystery-problem-05-9-9-4-05.pddl | None
nomystery-problem-05-9-9-5-01.pddl | None
nomystery-problem-05-9-9-5-02.pddl | None
nomystery-problem-05-9-9-5-03.pddl | None
nomystery-problem-05-9-9-5-04.pddl | None
nomystery-problem-05-9-9-5-05.pddl | None
nomystery-problem-05-12-15-01.pddl | None
nomystery-problem-05-12-15-02.pddl | None
nomystery-problem-05-12-15-03.pddl | None
nomystery-problem-05-12-15-04.pddl | None
nomystery-problem-05-12-15-05.pddl | None
nomystery-problem-06-9-9-1-01.pddl | 1.04
nomystery-problem-06-9-9-1-02.pddl | 1.21
nomystery-problem-06-9-9-1-03.pddl | 1.19
nomystery-problem-06-9-9-1-04.pddl | 1.28
nomystery-problem-06-9-9-1-05.pddl | 1.51
nomystery-problem-06-9-9-2-01.pddl | 0.86
nomystery-problem-06-9-9-2-02.pddl | None
nomystery-problem-06-9-9-2-03.pddl | None
nomystery-problem-06-9-9-2-04.pddl | None
nomystery-problem-06-9-9-2-05.pddl | None
nomystery-problem-06-9-9-3-01.pddl | 1.60
nomystery-problem-06-9-9-3-02.pddl | 1.05
nomystery-problem-06-9-9-3-03.pddl | 1.20
nomystery-problem-06-9-9-3-04.pddl | None
nomystery-problem-06-9-9-3-05.pddl | None
nomystery-problem-06-9-9-4-01.pddl | 1.84
nomystery-problem-06-9-9-4-02.pddl | 1.61
nomystery-problem-06-9-9-4-03.pddl | 1.77
nomystery-problem-06-9-9-4-04.pddl | 1.41
nomystery-problem-06-9-9-4-05.pddl | 1.44
nomystery-problem-06-9-9-5-01.pddl | 0.72
nomystery-problem-06-9-9-5-02.pddl | None
nomystery-problem-06-9-9-5-03.pddl | None
nomystery-problem-06-9-9-5-04.pddl | None
nomystery-problem-06-9-9-5-05.pddl | None
nomystery-problem-06-12-15-01.pddl | None
nomystery-problem-06-12-15-02.pddl | None
nomystery-problem-06-12-15-03.pddl | None
nomystery-problem-06-12-15-04.pddl | None
nomystery-problem-06-12-15-05.pddl | None
nomystery-problem-07-9-9-1-01.pddl | 1.72
nomystery-problem-07-9-9-1-02.pddl | 2.10
nomystery-problem-07-9-9-1-03.pddl | 1.91
nomystery-problem-07-9-9-1-04.pddl | 1.88
nomystery-problem-07-9-9-1-05.pddl | 1.88
nomystery-problem-07-9-9-2-01.pddl | 1.03
nomystery-problem-07-9-9-2-02.pddl | 1.18
nomystery-problem-07-9-9-2-03.pddl | 1.30
nomystery-problem-07-9-9-2-04.pddl | None
nomystery-problem-07-9-9-2-05.pddl | None
nomystery-problem-07-9-9-3-01.pddl | 2.48
nomystery-problem-07-9-9-3-02.pddl | 1.41
nomystery-problem-07-9-9-3-03.pddl | 1.53
nomystery-problem-07-9-9-3-04.pddl | 1.28
nomystery-problem-07-9-9-3-05.pddl | 1.54
nomystery-problem-07-9-9-4-01.pddl | 2.36
nomystery-problem-07-9-9-4-02.pddl | 2.33
nomystery-problem-07-9-9-4-03.pddl | 2.12
nomystery-problem-07-9-9-4-04.pddl | 1.99
nomystery-problem-07-9-9-4-05.pddl | 1.85
nomystery-problem-07-9-9-5-01.pddl | 0.98
nomystery-problem-07-9-9-5-02.pddl | 0.90
nomystery-problem-07-9-9-5-03.pddl | None
nomystery-problem-07-9-9-5-04.pddl | 0.92
nomystery-problem-07-9-9-5-05.pddl | 0.99
nomystery-problem-07-12-15-01.pddl | None
nomystery-problem-07-12-15-02.pddl | None
nomystery-problem-07-12-15-03.pddl | None
nomystery-problem-07-12-15-04.pddl | None
nomystery-problem-07-12-15-05.pddl | None
nomystery-problem-08-9-9-1-01.pddl | 2.17
nomystery-problem-08-9-9-1-02.pddl | 2.18
nomystery-problem-08-9-9-1-03.pddl | 2.44
nomystery-problem-08-9-9-1-04.pddl | 2.07
nomystery-problem-08-9-9-1-05.pddl | 2.46
nomystery-problem-08-9-9-2-01.pddl | 1.77
nomystery-problem-08-9-9-2-02.pddl | 1.20
nomystery-problem-08-9-9-2-03.pddl | 2.15
nomystery-problem-08-9-9-2-04.pddl | 1.86
nomystery-problem-08-9-9-2-05.pddl | 1.55
nomystery-problem-08-9-9-3-01.pddl | 3.22
nomystery-problem-08-9-9-3-02.pddl | 2.51
nomystery-problem-08-9-9-3-03.pddl | 2.52
nomystery-problem-08-9-9-3-04.pddl | 2.36
nomystery-problem-08-9-9-3-05.pddl | 2.51
nomystery-problem-08-9-9-4-01.pddl | 2.87
nomystery-problem-08-9-9-4-02.pddl | 2.91
nomystery-problem-08-9-9-4-03.pddl | 2.68
nomystery-problem-08-9-9-4-04.pddl | 2.34
nomystery-problem-08-9-9-4-05.pddl | 1.98
nomystery-problem-08-9-9-5-01.pddl | 1.32
nomystery-problem-08-9-9-5-02.pddl | 1.35
nomystery-problem-08-9-9-5-03.pddl | 1.20
nomystery-problem-08-9-9-5-04.pddl | 1.18
nomystery-problem-08-9-9-5-05.pddl | 1.66
nomystery-problem-08-12-15-01.pddl | None
nomystery-problem-08-12-15-02.pddl | None
nomystery-problem-08-12-15-03.pddl | None
nomystery-problem-08-12-15-04.pddl | None
nomystery-problem-08-12-15-05.pddl | None
nomystery-problem-09-9-9-1-01.pddl | 2.57
nomystery-problem-09-9-9-1-02.pddl | 2.62
nomystery-problem-09-9-9-1-03.pddl | 3.88
nomystery-problem-09-9-9-1-04.pddl | 3.81
nomystery-problem-09-9-9-1-05.pddl | 4.38
nomystery-problem-09-9-9-2-01.pddl | 2.23
nomystery-problem-09-9-9-2-02.pddl | 1.96
nomystery-problem-09-9-9-2-03.pddl | 2.32
nomystery-problem-09-9-9-2-04.pddl | 2.28
nomystery-problem-09-9-9-2-05.pddl | 1.75
nomystery-problem-09-9-9-3-01.pddl | 3.97
nomystery-problem-09-9-9-3-02.pddl | 2.91
nomystery-problem-09-9-9-3-03.pddl | 2.85
nomystery-problem-09-9-9-3-04.pddl | 2.94
nomystery-problem-09-9-9-3-05.pddl | 3.05
nomystery-problem-09-9-9-4-01.pddl | 3.44
nomystery-problem-09-9-9-4-02.pddl | 3.59
nomystery-problem-09-9-9-4-03.pddl | 3.22
nomystery-problem-09-9-9-4-04.pddl | 3.75
nomystery-problem-09-9-9-4-05.pddl | 3.74
nomystery-problem-09-9-9-5-01.pddl | 2.13
nomystery-problem-09-9-9-5-02.pddl | 2.16
nomystery-problem-09-9-9-5-03.pddl | 2.68
nomystery-problem-09-9-9-5-04.pddl | 1.58
nomystery-problem-09-9-9-5-05.pddl | 2.13
nomystery-problem-09-12-15-01.pddl | None
nomystery-problem-09-12-15-02.pddl | None
nomystery-problem-09-12-15-03.pddl | None
nomystery-problem-09-12-15-04.pddl | None
nomystery-problem-09-12-15-05.pddl | None

## unsat-rovers

construction_time | Full Bitset
--- | ---
rovers-problem-05-11-1-01.pddl | None
rovers-problem-05-11-1-02.pddl | None
rovers-problem-05-11-1-03.pddl | None
rovers-problem-05-11-1-04.pddl | None
rovers-problem-05-11-1-05.pddl | None
rovers-problem-05-11-2-01.pddl | None
rovers-problem-05-11-2-02.pddl | None
rovers-problem-05-11-2-03.pddl | None
rovers-problem-05-11-2-04.pddl | None
rovers-problem-05-11-2-05.pddl | None
rovers-problem-05-11-3-01.pddl | 3.56
rovers-problem-05-11-3-02.pddl | None
rovers-problem-05-11-3-03.pddl | None
rovers-problem-05-11-3-04.pddl | None
rovers-problem-05-11-3-05.pddl | None
rovers-problem-05-11-4-01.pddl | None
rovers-problem-05-11-4-02.pddl | None
rovers-problem-05-11-4-03.pddl | None
rovers-problem-05-11-4-04.pddl | None
rovers-problem-05-11-4-05.pddl | None
rovers-problem-05-11-5-01.pddl | None
rovers-problem-05-11-5-02.pddl | None
rovers-problem-05-11-5-03.pddl | None
rovers-problem-05-11-5-04.pddl | None
rovers-problem-05-11-5-05.pddl | None
rovers-problem-05-15-01.pddl | None
rovers-problem-05-15-02.pddl | None
rovers-problem-05-15-03.pddl | None
rovers-problem-05-15-04.pddl | None
rovers-problem-05-15-05.pddl | None
rovers-problem-06-11-1-01.pddl | None
rovers-problem-06-11-1-02.pddl | None
rovers-problem-06-11-1-03.pddl | None
rovers-problem-06-11-1-04.pddl | None
rovers-problem-06-11-1-05.pddl | None
rovers-problem-06-11-2-01.pddl | None
rovers-problem-06-11-2-02.pddl | None
rovers-problem-06-11-2-03.pddl | None
rovers-problem-06-11-2-04.pddl | None
rovers-problem-06-11-2-05.pddl | None
rovers-problem-06-11-3-01.pddl | None
rovers-problem-06-11-3-02.pddl | 4.14
rovers-problem-06-11-3-03.pddl | None
rovers-problem-06-11-3-04.pddl | None
rovers-problem-06-11-3-05.pddl | None
rovers-problem-06-11-4-01.pddl | 3.10
rovers-problem-06-11-4-02.pddl | None
rovers-problem-06-11-4-03.pddl | None
rovers-problem-06-11-4-04.pddl | None
rovers-problem-06-11-4-05.pddl | None
rovers-problem-06-11-5-01.pddl | None
rovers-problem-06-11-5-02.pddl | None
rovers-problem-06-11-5-03.pddl | None
rovers-problem-06-11-5-04.pddl | None
rovers-problem-06-11-5-05.pddl | None
rovers-problem-06-15-01.pddl | None
rovers-problem-06-15-02.pddl | None
rovers-problem-06-15-03.pddl | None
rovers-problem-06-15-04.pddl | None
rovers-problem-06-15-05.pddl | None
rovers-problem-07-11-1-01.pddl | 3.08
rovers-problem-07-11-1-02.pddl | 2.88
rovers-problem-07-11-1-03.pddl | None
rovers-problem-07-11-1-04.pddl | None
rovers-problem-07-11-1-05.pddl | None
rovers-problem-07-11-2-01.pddl | None
rovers-problem-07-11-2-02.pddl | None
rovers-problem-07-11-2-03.pddl | None
rovers-problem-07-11-2-04.pddl | None
rovers-problem-07-11-2-05.pddl | None
rovers-problem-07-11-3-01.pddl | None
rovers-problem-07-11-3-02.pddl | None
rovers-problem-07-11-3-03.pddl | None
rovers-problem-07-11-3-04.pddl | None
rovers-problem-07-11-3-05.pddl | None
rovers-problem-07-11-4-01.pddl | 3.49
rovers-problem-07-11-4-02.pddl | None
rovers-problem-07-11-4-03.pddl | None
rovers-problem-07-11-4-04.pddl | None
rovers-problem-07-11-4-05.pddl | None
rovers-problem-07-11-5-01.pddl | None
rovers-problem-07-11-5-02.pddl | None
rovers-problem-07-11-5-03.pddl | None
rovers-problem-07-11-5-04.pddl | None
rovers-problem-07-11-5-05.pddl | None
rovers-problem-07-15-01.pddl | None
rovers-problem-07-15-02.pddl | None
rovers-problem-07-15-03.pddl | None
rovers-problem-07-15-04.pddl | None
rovers-problem-07-15-05.pddl | None
rovers-problem-08-11-1-01.pddl | 3.27
rovers-problem-08-11-1-02.pddl | None
rovers-problem-08-11-1-03.pddl | None
rovers-problem-08-11-1-04.pddl | None
rovers-problem-08-11-1-05.pddl | None
rovers-problem-08-11-2-01.pddl | None
rovers-problem-08-11-2-02.pddl | None
rovers-problem-08-11-2-03.pddl | None
rovers-problem-08-11-2-04.pddl | None
rovers-problem-08-11-2-05.pddl | None
rovers-problem-08-11-3-01.pddl | None
rovers-problem-08-11-3-02.pddl | None
rovers-problem-08-11-3-03.pddl | None
rovers-problem-08-11-3-04.pddl | None
rovers-problem-08-11-3-05.pddl | None
rovers-problem-08-11-4-01.pddl | None
rovers-problem-08-11-4-02.pddl | None
rovers-problem-08-11-4-03.pddl | None
rovers-problem-08-11-4-04.pddl | None
rovers-problem-08-11-4-05.pddl | None
rovers-problem-08-11-5-01.pddl | None
rovers-problem-08-11-5-02.pddl | None
rovers-problem-08-11-5-03.pddl | None
rovers-problem-08-11-5-04.pddl | None
rovers-problem-08-11-5-05.pddl | None
rovers-problem-08-15-01.pddl | None
rovers-problem-08-15-02.pddl | None
rovers-problem-08-15-03.pddl | None
rovers-problem-08-15-04.pddl | None
rovers-problem-08-15-05.pddl | None
rovers-problem-09-11-1-01.pddl | 4.11
rovers-problem-09-11-1-02.pddl | None
rovers-problem-09-11-1-03.pddl | None
rovers-problem-09-11-1-04.pddl | None
rovers-problem-09-11-1-05.pddl | None
rovers-problem-09-11-2-01.pddl | None
rovers-problem-09-11-2-02.pddl | None
rovers-problem-09-11-2-03.pddl | None
rovers-problem-09-11-2-04.pddl | None
rovers-problem-09-11-2-05.pddl | None
rovers-problem-09-11-3-01.pddl | None
rovers-problem-09-11-3-02.pddl | None
rovers-problem-09-11-3-03.pddl | None
rovers-problem-09-11-3-04.pddl | None
rovers-problem-09-11-3-05.pddl | None
rovers-problem-09-11-4-01.pddl | None
rovers-problem-09-11-4-02.pddl | None
rovers-problem-09-11-4-03.pddl | None
rovers-problem-09-11-4-04.pddl | None
rovers-problem-09-11-4-05.pddl | None
rovers-problem-09-11-5-01.pddl | None
rovers-problem-09-11-5-02.pddl | None
rovers-problem-09-11-5-03.pddl | None
rovers-problem-09-11-5-04.pddl | None
rovers-problem-09-11-5-05.pddl | None
rovers-problem-09-15-01.pddl | None
rovers-problem-09-15-02.pddl | None
rovers-problem-09-15-03.pddl | None
rovers-problem-09-15-04.pddl | None
rovers-problem-09-15-05.pddl | None

## unsat-tpp

construction_time | Full Bitset
--- | ---
tpp-problem-05-01.pddl | None
tpp-problem-05-02.pddl | None
tpp-problem-05-03.pddl | None
tpp-problem-05-04.pddl | None
tpp-problem-05-05.pddl | None
tpp-problem-06-01.pddl | None
tpp-problem-06-02.pddl | None
tpp-problem-06-03.pddl | None
tpp-problem-06-04.pddl | None
tpp-problem-06-05.pddl | None
tpp-problem-07-01.pddl | None
tpp-problem-07-02.pddl | None
tpp-problem-07-03.pddl | None
tpp-problem-07-04.pddl | None
tpp-problem-07-05.pddl | None
tpp-problem-08-01.pddl | None
tpp-problem-08-02.pddl | None
tpp-problem-08-03.pddl | None
tpp-problem-08-04.pddl | None
tpp-problem-08-05.pddl | None
tpp-problem-09-01.pddl | None
tpp-problem-09-02.pddl | None
tpp-problem-09-03.pddl | None
tpp-problem-09-04.pddl | None
tpp-problem-09-05.pddl | None

# error

## error-critical-error

error-critical-error | Full Bitset
--- | ---
3unsat | 0
bag-barman | 0
bag-gripper | 9
bag-transport | 0
bottleneck | 0
cave-diving | 0
chessboard-pebbling | 0
document-transfer | 0
mystery | 0
over-nomystery | 0
over-rovers | 0
over-tpp | 0
pegsol | 0
pegsol-row5 | 0
sliding-tiles | 0
tetris | 0
unsat-nomystery | 0
unsat-rovers | 0
unsat-tpp | 0
Sum | 9

## error-search-out-of-memory

error-search-out-of-memory | Full Bitset
--- | ---
3unsat | 5
bag-barman | 12
bag-gripper | 4
bag-transport | 10
bottleneck | 11
cave-diving | 13
chessboard-pebbling | 16
document-transfer | 11
mystery | 0
over-nomystery | 15
over-rovers | 12
over-tpp | 16
pegsol | 0
pegsol-row5 | 7
sliding-tiles | 1
tetris | 15
unsat-nomystery | 25
unsat-rovers | 80
unsat-tpp | 24
Sum | 277

## error-search-out-of-time

error-search-out-of-time | Full Bitset
--- | ---
3unsat | 0
bag-barman | 8
bag-gripper | 12
bag-transport | 3
bottleneck | 0
cave-diving | 3
chessboard-pebbling | 0
document-transfer | 5
mystery | 0
over-nomystery | 0
over-rovers | 0
over-tpp | 0
pegsol | 0
pegsol-row5 | 0
sliding-tiles | 0
tetris | 5
unsat-nomystery | 0
unsat-rovers | 0
unsat-tpp | 0
Sum | 36

## error-search-unsolvable

error-search-unsolvable | Full Bitset
--- | ---
3unsat | 0
bag-barman | 0
bag-gripper | 0
bag-transport | 0
bottleneck | 0
cave-diving | 0
chessboard-pebbling | 0
document-transfer | 0
mystery | 0
over-nomystery | 0
over-rovers | 0
over-tpp | 0
pegsol | 22
pegsol-row5 | 1
sliding-tiles | 20
tetris | 0
unsat-nomystery | 0
unsat-rovers | 0
unsat-tpp | 0
Sum | 43

## error-search-unsolvable-incomplete

error-search-unsolvable-incomplete | Full Bitset
--- | ---
3unsat | 25
bag-barman | 0
bag-gripper | 0
bag-transport | 1
bottleneck | 4
cave-diving | 8
chessboard-pebbling | 7
document-transfer | 2
mystery | 0
over-nomystery | 7
over-rovers | 5
over-tpp | 13
pegsol | 2
pegsol-row5 | 5
sliding-tiles | 0
tetris | 0
unsat-nomystery | 93
unsat-rovers | 8
unsat-tpp | 0
Sum | 180

## error-success

error-success | Full Bitset
--- | ---
3unsat | 0
bag-barman | 0
bag-gripper | 0
bag-transport | 15
bottleneck | 10
cave-diving | 1
chessboard-pebbling | 0
document-transfer | 2
mystery | 9
over-nomystery | 2
over-rovers | 3
over-tpp | 1
pegsol | 0
pegsol-row5 | 2
sliding-tiles | 0
tetris | 0
unsat-nomystery | 32
unsat-rovers | 62
unsat-tpp | 1
Sum | 140

## 3unsat

error | Full Bitset
--- | ---
sat-3-22-5-1.pddl | search-unsolvable-incomplete
sat-3-22-5-2.pddl | search-unsolvable-incomplete
sat-3-22-5-3.pddl | search-unsolvable-incomplete
sat-3-22-5-4.pddl | search-unsolvable-incomplete
sat-3-22-5-5.pddl | search-unsolvable-incomplete
sat-3-43-10-1.pddl | search-unsolvable-incomplete
sat-3-43-10-2.pddl | search-unsolvable-incomplete
sat-3-43-10-3.pddl | search-unsolvable-incomplete
sat-3-43-10-4.pddl | search-unsolvable-incomplete
sat-3-43-10-5.pddl | search-unsolvable-incomplete
sat-3-65-15-1.pddl | search-unsolvable-incomplete
sat-3-65-15-2.pddl | search-unsolvable-incomplete
sat-3-65-15-3.pddl | search-unsolvable-incomplete
sat-3-65-15-4.pddl | search-unsolvable-incomplete
sat-3-65-15-5.pddl | search-unsolvable-incomplete
sat-3-86-20-1.pddl | search-unsolvable-incomplete
sat-3-86-20-2.pddl | search-unsolvable-incomplete
sat-3-86-20-3.pddl | search-unsolvable-incomplete
sat-3-86-20-4.pddl | search-unsolvable-incomplete
sat-3-86-20-5.pddl | search-unsolvable-incomplete
sat-3-108-25-1.pddl | search-unsolvable-incomplete
sat-3-108-25-2.pddl | search-unsolvable-incomplete
sat-3-108-25-3.pddl | search-unsolvable-incomplete
sat-3-108-25-4.pddl | search-unsolvable-incomplete
sat-3-108-25-5.pddl | search-unsolvable-incomplete
sat-3-129-30-1.pddl | search-out-of-memory
sat-3-129-30-2.pddl | search-out-of-memory
sat-3-129-30-3.pddl | search-out-of-memory
sat-3-129-30-4.pddl | search-out-of-memory
sat-3-129-30-5.pddl | search-out-of-memory

## bag-barman

error | Full Bitset
--- | ---
prob01.pddl | search-out-of-memory
prob02.pddl | search-out-of-memory
prob03.pddl | search-out-of-memory
prob04.pddl | search-out-of-memory
prob05.pddl | search-out-of-memory
prob06.pddl | search-out-of-memory
prob07.pddl | search-out-of-memory
prob08.pddl | search-out-of-memory
prob09.pddl | search-out-of-memory
prob10.pddl | search-out-of-memory
prob11.pddl | search-out-of-memory
prob12.pddl | search-out-of-memory
prob13.pddl | search-out-of-time
prob14.pddl | search-out-of-time
prob15.pddl | search-out-of-time
prob16.pddl | search-out-of-time
prob17.pddl | search-out-of-time
prob18.pddl | search-out-of-time
prob19.pddl | search-out-of-time
prob20.pddl | search-out-of-time

## bag-gripper

error | Full Bitset
--- | ---
prob01.pddl | search-out-of-memory
prob02.pddl | search-out-of-time
prob03.pddl | search-out-of-time
prob04.pddl | search-out-of-time
prob05.pddl | search-out-of-memory
prob06.pddl | search-out-of-time
prob07.pddl | search-out-of-time
prob08.pddl | search-out-of-memory
prob09.pddl | search-out-of-time
prob10.pddl | search-out-of-time
prob11.pddl | search-out-of-time
prob12.pddl | search-out-of-time
prob13.pddl | search-out-of-time
prob14.pddl | search-out-of-time
prob15.pddl | search-out-of-memory
prob16.pddl | critical-error
prob17.pddl | critical-error
prob18.pddl | critical-error
prob19.pddl | critical-error
prob20.pddl | critical-error
prob21.pddl | critical-error
prob22.pddl | critical-error
prob23.pddl | search-out-of-time
prob24.pddl | critical-error
prob25.pddl | critical-error

## bag-transport

error | Full Bitset
--- | ---
prob01.pddl | success
prob02.pddl | search-unsolvable-incomplete
prob03.pddl | success
prob04.pddl | success
prob05.pddl | search-out-of-memory
prob06.pddl | success
prob07.pddl | success
prob08.pddl | success
prob09.pddl | success
prob10.pddl | success
prob11.pddl | search-out-of-memory
prob12.pddl | search-out-of-memory
prob13.pddl | success
prob14.pddl | success
prob15.pddl | success
prob16.pddl | success
prob17.pddl | success
prob18.pddl | success
prob19.pddl | success
prob20.pddl | search-out-of-time
prob21.pddl | search-out-of-time
prob22.pddl | search-out-of-time
prob23.pddl | search-out-of-memory
prob24.pddl | search-out-of-memory
prob25.pddl | search-out-of-memory
prob26.pddl | search-out-of-memory
prob27.pddl | search-out-of-memory
prob28.pddl | search-out-of-memory
prob29.pddl | search-out-of-memory

## bottleneck

error | Full Bitset
--- | ---
prob01.pddl | success
prob02.pddl | success
prob03.pddl | success
prob04.pddl | success
prob05.pddl | success
prob06.pddl | success
prob07.pddl | success
prob08.pddl | success
prob09.pddl | search-unsolvable-incomplete
prob10.pddl | search-unsolvable-incomplete
prob11.pddl | search-unsolvable-incomplete
prob12.pddl | search-unsolvable-incomplete
prob13.pddl | success
prob14.pddl | search-out-of-memory
prob15.pddl | search-out-of-memory
prob16.pddl | search-out-of-memory
prob17.pddl | search-out-of-memory
prob18.pddl | search-out-of-memory
prob19.pddl | success
prob20.pddl | search-out-of-memory
prob21.pddl | search-out-of-memory
prob22.pddl | search-out-of-memory
prob23.pddl | search-out-of-memory
prob24.pddl | search-out-of-memory
prob25.pddl | search-out-of-memory

## cave-diving

error | Full Bitset
--- | ---
prob01.pddl | search-unsolvable-incomplete
prob02.pddl | search-unsolvable-incomplete
prob03.pddl | search-unsolvable-incomplete
prob04.pddl | search-unsolvable-incomplete
prob05.pddl | success
prob06.pddl | search-out-of-memory
prob07.pddl | search-out-of-memory
prob08.pddl | search-out-of-memory
prob09.pddl | search-unsolvable-incomplete
prob10.pddl | search-unsolvable-incomplete
prob11.pddl | search-out-of-memory
prob12.pddl | search-out-of-memory
prob13.pddl | search-out-of-memory
prob14.pddl | search-unsolvable-incomplete
prob15.pddl | search-unsolvable-incomplete
prob16.pddl | search-out-of-time
prob17.pddl | search-out-of-time
prob18.pddl | search-out-of-time
prob19.pddl | search-out-of-memory
prob20.pddl | search-out-of-memory
prob21.pddl | search-out-of-memory
prob22.pddl | search-out-of-memory
prob23.pddl | search-out-of-memory
prob24.pddl | search-out-of-memory
prob25.pddl | search-out-of-memory

## chessboard-pebbling

error | Full Bitset
--- | ---
prob03.pddl | search-unsolvable-incomplete
prob04.pddl | search-unsolvable-incomplete
prob05.pddl | search-unsolvable-incomplete
prob06.pddl | search-unsolvable-incomplete
prob07.pddl | search-unsolvable-incomplete
prob08.pddl | search-unsolvable-incomplete
prob09.pddl | search-unsolvable-incomplete
prob10.pddl | search-out-of-memory
prob11.pddl | search-out-of-memory
prob12.pddl | search-out-of-memory
prob13.pddl | search-out-of-memory
prob14.pddl | search-out-of-memory
prob15.pddl | search-out-of-memory
prob16.pddl | search-out-of-memory
prob17.pddl | search-out-of-memory
prob18.pddl | search-out-of-memory
prob19.pddl | search-out-of-memory
prob20.pddl | search-out-of-memory
prob21.pddl | search-out-of-memory
prob22.pddl | search-out-of-memory
prob23.pddl | search-out-of-memory
prob24.pddl | search-out-of-memory
prob25.pddl | search-out-of-memory

## document-transfer

error | Full Bitset
--- | ---
prob01.pddl | search-out-of-memory
prob02.pddl | search-unsolvable-incomplete
prob03.pddl | search-out-of-memory
prob04.pddl | search-out-of-memory
prob05.pddl | search-out-of-memory
prob06.pddl | success
prob07.pddl | search-out-of-memory
prob08.pddl | search-out-of-memory
prob09.pddl | success
prob10.pddl | search-out-of-memory
prob11.pddl | search-out-of-memory
prob12.pddl | search-out-of-time
prob13.pddl | search-out-of-memory
prob14.pddl | search-out-of-memory
prob15.pddl | search-out-of-time
prob16.pddl | search-out-of-time
prob17.pddl | search-out-of-time
prob18.pddl | search-out-of-memory
prob19.pddl | search-unsolvable-incomplete
prob20.pddl | search-out-of-time

## mystery

error | Full Bitset
--- | ---
prob04.pddl | success
prob05.pddl | success
prob08.pddl | success
prob12.pddl | success
prob16.pddl | success
prob21.pddl | success
prob22.pddl | success
prob23.pddl | success
prob24.pddl | success

## over-nomystery

error | Full Bitset
--- | ---
prob01.pddl | success
prob02.pddl | success
prob03.pddl | search-out-of-memory
prob04.pddl | search-out-of-memory
prob05.pddl | search-out-of-memory
prob06.pddl | search-unsolvable-incomplete
prob07.pddl | search-unsolvable-incomplete
prob08.pddl | search-out-of-memory
prob09.pddl | search-out-of-memory
prob10.pddl | search-out-of-memory
prob11.pddl | search-unsolvable-incomplete
prob12.pddl | search-unsolvable-incomplete
prob13.pddl | search-out-of-memory
prob14.pddl | search-out-of-memory
prob15.pddl | search-out-of-memory
prob16.pddl | search-unsolvable-incomplete
prob17.pddl | search-unsolvable-incomplete
prob18.pddl | search-out-of-memory
prob19.pddl | search-out-of-memory
prob20.pddl | search-out-of-memory
prob21.pddl | search-unsolvable-incomplete
prob22.pddl | search-out-of-memory
prob23.pddl | search-out-of-memory
prob24.pddl | search-out-of-memory

## over-rovers

error | Full Bitset
--- | ---
prob01.pddl | success
prob02.pddl | success
prob03.pddl | search-unsolvable-incomplete
prob04.pddl | search-unsolvable-incomplete
prob05.pddl | success
prob06.pddl | search-unsolvable-incomplete
prob07.pddl | search-out-of-memory
prob08.pddl | search-unsolvable-incomplete
prob09.pddl | search-unsolvable-incomplete
prob10.pddl | search-out-of-memory
prob11.pddl | search-out-of-memory
prob12.pddl | search-out-of-memory
prob13.pddl | search-out-of-memory
prob14.pddl | search-out-of-memory
prob15.pddl | search-out-of-memory
prob16.pddl | search-out-of-memory
prob17.pddl | search-out-of-memory
prob18.pddl | search-out-of-memory
prob19.pddl | search-out-of-memory
prob20.pddl | search-out-of-memory

## over-tpp

error | Full Bitset
--- | ---
prob01.pddl | search-unsolvable-incomplete
prob02.pddl | success
prob03.pddl | search-unsolvable-incomplete
prob04.pddl | search-unsolvable-incomplete
prob05.pddl | search-unsolvable-incomplete
prob06.pddl | search-unsolvable-incomplete
prob07.pddl | search-unsolvable-incomplete
prob08.pddl | search-unsolvable-incomplete
prob09.pddl | search-out-of-memory
prob10.pddl | search-out-of-memory
prob11.pddl | search-out-of-memory
prob12.pddl | search-out-of-memory
prob13.pddl | search-out-of-memory
prob14.pddl | search-out-of-memory
prob15.pddl | search-out-of-memory
prob16.pddl | search-unsolvable-incomplete
prob17.pddl | search-unsolvable-incomplete
prob18.pddl | search-unsolvable-incomplete
prob19.pddl | search-unsolvable-incomplete
prob20.pddl | search-unsolvable-incomplete
prob21.pddl | search-unsolvable-incomplete
prob22.pddl | search-out-of-memory
prob23.pddl | search-out-of-memory
prob24.pddl | search-out-of-memory
prob25.pddl | search-out-of-memory
prob26.pddl | search-out-of-memory
prob27.pddl | search-out-of-memory
prob28.pddl | search-out-of-memory
prob29.pddl | search-out-of-memory
prob30.pddl | search-out-of-memory

## pegsol

error | Full Bitset
--- | ---
prob05.pddl | search-unsolvable
prob06.pddl | search-unsolvable
prob09.pddl | search-unsolvable
prob10.pddl | search-unsolvable
prob11.pddl | search-unsolvable
prob12.pddl | search-unsolvable
prob13.pddl | search-unsolvable
prob14.pddl | search-unsolvable
prob15.pddl | search-unsolvable
prob16.pddl | search-unsolvable
prob17.pddl | search-unsolvable-incomplete
prob18.pddl | search-unsolvable-incomplete
prob19.pddl | search-unsolvable
prob20.pddl | search-unsolvable
prob21.pddl | search-unsolvable
prob22.pddl | search-unsolvable
prob23.pddl | search-unsolvable
prob24.pddl | search-unsolvable
prob25.pddl | search-unsolvable
prob26.pddl | search-unsolvable
prob27.pddl | search-unsolvable
prob28.pddl | search-unsolvable
prob29.pddl | search-unsolvable
prob30.pddl | search-unsolvable

## pegsol-row5

error | Full Bitset
--- | ---
prob01.pddl | search-unsolvable
prob02.pddl | success
prob03.pddl | success
prob04.pddl | search-unsolvable-incomplete
prob05.pddl | search-unsolvable-incomplete
prob06.pddl | search-unsolvable-incomplete
prob07.pddl | search-unsolvable-incomplete
prob08.pddl | search-unsolvable-incomplete
prob09.pddl | search-out-of-memory
prob10.pddl | search-out-of-memory
prob11.pddl | search-out-of-memory
prob12.pddl | search-out-of-memory
prob13.pddl | search-out-of-memory
prob14.pddl | search-out-of-memory
prob15.pddl | search-out-of-memory

## sliding-tiles

error | Full Bitset
--- | ---
prob01.pddl | search-unsolvable
prob02.pddl | search-unsolvable
prob03.pddl | search-unsolvable
prob04.pddl | search-unsolvable
prob05.pddl | search-unsolvable
prob06.pddl | search-unsolvable
prob07.pddl | search-unsolvable
prob08.pddl | search-unsolvable
prob09.pddl | search-unsolvable
prob10.pddl | search-unsolvable
prob11.pddl | search-unsolvable
prob12.pddl | search-unsolvable
prob13.pddl | search-unsolvable
prob14.pddl | search-unsolvable
prob15.pddl | search-unsolvable
prob16.pddl | search-unsolvable
prob17.pddl | search-unsolvable
prob18.pddl | search-unsolvable
prob19.pddl | search-unsolvable
prob20.pddl | search-unsolvable
prob24.pddl | search-out-of-memory

## tetris

error | Full Bitset
--- | ---
prob01.pddl | search-out-of-memory
prob02.pddl | search-out-of-memory
prob03.pddl | search-out-of-memory
prob04.pddl | search-out-of-memory
prob05.pddl | search-out-of-memory
prob06.pddl | search-out-of-memory
prob07.pddl | search-out-of-memory
prob08.pddl | search-out-of-memory
prob09.pddl | search-out-of-memory
prob10.pddl | search-out-of-memory
prob11.pddl | search-out-of-memory
prob12.pddl | search-out-of-memory
prob13.pddl | search-out-of-memory
prob14.pddl | search-out-of-memory
prob15.pddl | search-out-of-memory
prob16.pddl | search-out-of-time
prob17.pddl | search-out-of-time
prob18.pddl | search-out-of-time
prob19.pddl | search-out-of-time
prob20.pddl | search-out-of-time

## unsat-nomystery

error | Full Bitset
--- | ---
nomystery-problem-05-9-9-1-01.pddl | search-unsolvable-incomplete
nomystery-problem-05-9-9-1-02.pddl | success
nomystery-problem-05-9-9-1-03.pddl | search-unsolvable-incomplete
nomystery-problem-05-9-9-1-04.pddl | success
nomystery-problem-05-9-9-1-05.pddl | search-unsolvable-incomplete
nomystery-problem-05-9-9-2-01.pddl | success
nomystery-problem-05-9-9-2-02.pddl | success
nomystery-problem-05-9-9-2-03.pddl | success
nomystery-problem-05-9-9-2-04.pddl | success
nomystery-problem-05-9-9-2-05.pddl | success
nomystery-problem-05-9-9-3-01.pddl | search-unsolvable-incomplete
nomystery-problem-05-9-9-3-02.pddl | success
nomystery-problem-05-9-9-3-03.pddl | success
nomystery-problem-05-9-9-3-04.pddl | success
nomystery-problem-05-9-9-3-05.pddl | success
nomystery-problem-05-9-9-4-01.pddl | search-unsolvable-incomplete
nomystery-problem-05-9-9-4-02.pddl | search-unsolvable-incomplete
nomystery-problem-05-9-9-4-03.pddl | success
nomystery-problem-05-9-9-4-04.pddl | success
nomystery-problem-05-9-9-4-05.pddl | success
nomystery-problem-05-9-9-5-01.pddl | success
nomystery-problem-05-9-9-5-02.pddl | success
nomystery-problem-05-9-9-5-03.pddl | success
nomystery-problem-05-9-9-5-04.pddl | success
nomystery-problem-05-9-9-5-05.pddl | success
nomystery-problem-05-12-15-01.pddl | search-out-of-memory
nomystery-problem-05-12-15-02.pddl | search-out-of-memory
nomystery-problem-05-12-15-03.pddl | search-out-of-memory
nomystery-problem-05-12-15-04.pddl | search-out-of-memory
nomystery-problem-05-12-15-05.pddl | search-out-of-memory
nomystery-problem-06-9-9-1-01.pddl | search-unsolvable-incomplete
nomystery-problem-06-9-9-1-02.pddl | search-unsolvable-incomplete
nomystery-problem-06-9-9-1-03.pddl | search-unsolvable-incomplete
nomystery-problem-06-9-9-1-04.pddl | search-unsolvable-incomplete
nomystery-problem-06-9-9-1-05.pddl | search-unsolvable-incomplete
nomystery-problem-06-9-9-2-01.pddl | search-unsolvable-incomplete
nomystery-problem-06-9-9-2-02.pddl | success
nomystery-problem-06-9-9-2-03.pddl | success
nomystery-problem-06-9-9-2-04.pddl | success
nomystery-problem-06-9-9-2-05.pddl | success
nomystery-problem-06-9-9-3-01.pddl | search-unsolvable-incomplete
nomystery-problem-06-9-9-3-02.pddl | search-unsolvable-incomplete
nomystery-problem-06-9-9-3-03.pddl | search-unsolvable-incomplete
nomystery-problem-06-9-9-3-04.pddl | success
nomystery-problem-06-9-9-3-05.pddl | success
nomystery-problem-06-9-9-4-01.pddl | search-unsolvable-incomplete
nomystery-problem-06-9-9-4-02.pddl | search-unsolvable-incomplete
nomystery-problem-06-9-9-4-03.pddl | search-unsolvable-incomplete
nomystery-problem-06-9-9-4-04.pddl | search-unsolvable-incomplete
nomystery-problem-06-9-9-4-05.pddl | search-unsolvable-incomplete
nomystery-problem-06-9-9-5-01.pddl | search-unsolvable-incomplete
nomystery-problem-06-9-9-5-02.pddl | success
nomystery-problem-06-9-9-5-03.pddl | success
nomystery-problem-06-9-9-5-04.pddl | success
nomystery-problem-06-9-9-5-05.pddl | success
nomystery-problem-06-12-15-01.pddl | search-out-of-memory
nomystery-problem-06-12-15-02.pddl | search-out-of-memory
nomystery-problem-06-12-15-03.pddl | search-out-of-memory
nomystery-problem-06-12-15-04.pddl | search-out-of-memory
nomystery-problem-06-12-15-05.pddl | search-out-of-memory
nomystery-problem-07-9-9-1-01.pddl | search-unsolvable-incomplete
nomystery-problem-07-9-9-1-02.pddl | search-unsolvable-incomplete
nomystery-problem-07-9-9-1-03.pddl | search-unsolvable-incomplete
nomystery-problem-07-9-9-1-04.pddl | search-unsolvable-incomplete
nomystery-problem-07-9-9-1-05.pddl | search-unsolvable-incomplete
nomystery-problem-07-9-9-2-01.pddl | search-unsolvable-incomplete
nomystery-problem-07-9-9-2-02.pddl | search-unsolvable-incomplete
nomystery-problem-07-9-9-2-03.pddl | search-unsolvable-incomplete
nomystery-problem-07-9-9-2-04.pddl | success
nomystery-problem-07-9-9-2-05.pddl | success
nomystery-problem-07-9-9-3-01.pddl | search-unsolvable-incomplete
nomystery-problem-07-9-9-3-02.pddl | search-unsolvable-incomplete
nomystery-problem-07-9-9-3-03.pddl | search-unsolvable-incomplete
nomystery-problem-07-9-9-3-04.pddl | search-unsolvable-incomplete
nomystery-problem-07-9-9-3-05.pddl | search-unsolvable-incomplete
nomystery-problem-07-9-9-4-01.pddl | search-unsolvable-incomplete
nomystery-problem-07-9-9-4-02.pddl | search-unsolvable-incomplete
nomystery-problem-07-9-9-4-03.pddl | search-unsolvable-incomplete
nomystery-problem-07-9-9-4-04.pddl | search-unsolvable-incomplete
nomystery-problem-07-9-9-4-05.pddl | search-unsolvable-incomplete
nomystery-problem-07-9-9-5-01.pddl | search-unsolvable-incomplete
nomystery-problem-07-9-9-5-02.pddl | search-unsolvable-incomplete
nomystery-problem-07-9-9-5-03.pddl | success
nomystery-problem-07-9-9-5-04.pddl | search-unsolvable-incomplete
nomystery-problem-07-9-9-5-05.pddl | search-unsolvable-incomplete
nomystery-problem-07-12-15-01.pddl | search-out-of-memory
nomystery-problem-07-12-15-02.pddl | search-out-of-memory
nomystery-problem-07-12-15-03.pddl | search-out-of-memory
nomystery-problem-07-12-15-04.pddl | search-out-of-memory
nomystery-problem-07-12-15-05.pddl | search-out-of-memory
nomystery-problem-08-9-9-1-01.pddl | search-unsolvable-incomplete
nomystery-problem-08-9-9-1-02.pddl | search-unsolvable-incomplete
nomystery-problem-08-9-9-1-03.pddl | search-unsolvable-incomplete
nomystery-problem-08-9-9-1-04.pddl | search-unsolvable-incomplete
nomystery-problem-08-9-9-1-05.pddl | search-unsolvable-incomplete
nomystery-problem-08-9-9-2-01.pddl | search-unsolvable-incomplete
nomystery-problem-08-9-9-2-02.pddl | search-unsolvable-incomplete
nomystery-problem-08-9-9-2-03.pddl | search-unsolvable-incomplete
nomystery-problem-08-9-9-2-04.pddl | search-unsolvable-incomplete
nomystery-problem-08-9-9-2-05.pddl | search-unsolvable-incomplete
nomystery-problem-08-9-9-3-01.pddl | search-unsolvable-incomplete
nomystery-problem-08-9-9-3-02.pddl | search-unsolvable-incomplete
nomystery-problem-08-9-9-3-03.pddl | search-unsolvable-incomplete
nomystery-problem-08-9-9-3-04.pddl | search-unsolvable-incomplete
nomystery-problem-08-9-9-3-05.pddl | search-unsolvable-incomplete
nomystery-problem-08-9-9-4-01.pddl | search-unsolvable-incomplete
nomystery-problem-08-9-9-4-02.pddl | search-unsolvable-incomplete
nomystery-problem-08-9-9-4-03.pddl | search-unsolvable-incomplete
nomystery-problem-08-9-9-4-04.pddl | search-unsolvable-incomplete
nomystery-problem-08-9-9-4-05.pddl | search-unsolvable-incomplete
nomystery-problem-08-9-9-5-01.pddl | search-unsolvable-incomplete
nomystery-problem-08-9-9-5-02.pddl | search-unsolvable-incomplete
nomystery-problem-08-9-9-5-03.pddl | search-unsolvable-incomplete
nomystery-problem-08-9-9-5-04.pddl | search-unsolvable-incomplete
nomystery-problem-08-9-9-5-05.pddl | search-unsolvable-incomplete
nomystery-problem-08-12-15-01.pddl | search-out-of-memory
nomystery-problem-08-12-15-02.pddl | search-out-of-memory
nomystery-problem-08-12-15-03.pddl | search-out-of-memory
nomystery-problem-08-12-15-04.pddl | search-out-of-memory
nomystery-problem-08-12-15-05.pddl | search-out-of-memory
nomystery-problem-09-9-9-1-01.pddl | search-unsolvable-incomplete
nomystery-problem-09-9-9-1-02.pddl | search-unsolvable-incomplete
nomystery-problem-09-9-9-1-03.pddl | search-unsolvable-incomplete
nomystery-problem-09-9-9-1-04.pddl | search-unsolvable-incomplete
nomystery-problem-09-9-9-1-05.pddl | search-unsolvable-incomplete
nomystery-problem-09-9-9-2-01.pddl | search-unsolvable-incomplete
nomystery-problem-09-9-9-2-02.pddl | search-unsolvable-incomplete
nomystery-problem-09-9-9-2-03.pddl | search-unsolvable-incomplete
nomystery-problem-09-9-9-2-04.pddl | search-unsolvable-incomplete
nomystery-problem-09-9-9-2-05.pddl | search-unsolvable-incomplete
nomystery-problem-09-9-9-3-01.pddl | search-unsolvable-incomplete
nomystery-problem-09-9-9-3-02.pddl | search-unsolvable-incomplete
nomystery-problem-09-9-9-3-03.pddl | search-unsolvable-incomplete
nomystery-problem-09-9-9-3-04.pddl | search-unsolvable-incomplete
nomystery-problem-09-9-9-3-05.pddl | search-unsolvable-incomplete
nomystery-problem-09-9-9-4-01.pddl | search-unsolvable-incomplete
nomystery-problem-09-9-9-4-02.pddl | search-unsolvable-incomplete
nomystery-problem-09-9-9-4-03.pddl | search-unsolvable-incomplete
nomystery-problem-09-9-9-4-04.pddl | search-unsolvable-incomplete
nomystery-problem-09-9-9-4-05.pddl | search-unsolvable-incomplete
nomystery-problem-09-9-9-5-01.pddl | search-unsolvable-incomplete
nomystery-problem-09-9-9-5-02.pddl | search-unsolvable-incomplete
nomystery-problem-09-9-9-5-03.pddl | search-unsolvable-incomplete
nomystery-problem-09-9-9-5-04.pddl | search-unsolvable-incomplete
nomystery-problem-09-9-9-5-05.pddl | search-unsolvable-incomplete
nomystery-problem-09-12-15-01.pddl | search-out-of-memory
nomystery-problem-09-12-15-02.pddl | search-out-of-memory
nomystery-problem-09-12-15-03.pddl | search-out-of-memory
nomystery-problem-09-12-15-04.pddl | search-out-of-memory
nomystery-problem-09-12-15-05.pddl | search-out-of-memory

## unsat-rovers

error | Full Bitset
--- | ---
rovers-problem-05-11-1-01.pddl | success
rovers-problem-05-11-1-02.pddl | success
rovers-problem-05-11-1-03.pddl | success
rovers-problem-05-11-1-04.pddl | success
rovers-problem-05-11-1-05.pddl | success
rovers-problem-05-11-2-01.pddl | success
rovers-problem-05-11-2-02.pddl | success
rovers-problem-05-11-2-03.pddl | success
rovers-problem-05-11-2-04.pddl | success
rovers-problem-05-11-2-05.pddl | success
rovers-problem-05-11-3-01.pddl | search-unsolvable-incomplete
rovers-problem-05-11-3-02.pddl | success
rovers-problem-05-11-3-03.pddl | success
rovers-problem-05-11-3-04.pddl | success
rovers-problem-05-11-3-05.pddl | success
rovers-problem-05-11-4-01.pddl | success
rovers-problem-05-11-4-02.pddl | success
rovers-problem-05-11-4-03.pddl | success
rovers-problem-05-11-4-04.pddl | success
rovers-problem-05-11-4-05.pddl | success
rovers-problem-05-11-5-01.pddl | search-out-of-memory
rovers-problem-05-11-5-02.pddl | search-out-of-memory
rovers-problem-05-11-5-03.pddl | success
rovers-problem-05-11-5-04.pddl | success
rovers-problem-05-11-5-05.pddl | success
rovers-problem-05-15-01.pddl | search-out-of-memory
rovers-problem-05-15-02.pddl | search-out-of-memory
rovers-problem-05-15-03.pddl | search-out-of-memory
rovers-problem-05-15-04.pddl | search-out-of-memory
rovers-problem-05-15-05.pddl | success
rovers-problem-06-11-1-01.pddl | success
rovers-problem-06-11-1-02.pddl | success
rovers-problem-06-11-1-03.pddl | success
rovers-problem-06-11-1-04.pddl | success
rovers-problem-06-11-1-05.pddl | success
rovers-problem-06-11-2-01.pddl | search-out-of-memory
rovers-problem-06-11-2-02.pddl | success
rovers-problem-06-11-2-03.pddl | success
rovers-problem-06-11-2-04.pddl | success
rovers-problem-06-11-2-05.pddl | success
rovers-problem-06-11-3-01.pddl | search-out-of-memory
rovers-problem-06-11-3-02.pddl | search-unsolvable-incomplete
rovers-problem-06-11-3-03.pddl | search-out-of-memory
rovers-problem-06-11-3-04.pddl | success
rovers-problem-06-11-3-05.pddl | success
rovers-problem-06-11-4-01.pddl | search-unsolvable-incomplete
rovers-problem-06-11-4-02.pddl | success
rovers-problem-06-11-4-03.pddl | success
rovers-problem-06-11-4-04.pddl | success
rovers-problem-06-11-4-05.pddl | success
rovers-problem-06-11-5-01.pddl | search-out-of-memory
rovers-problem-06-11-5-02.pddl | search-out-of-memory
rovers-problem-06-11-5-03.pddl | search-out-of-memory
rovers-problem-06-11-5-04.pddl | success
rovers-problem-06-11-5-05.pddl | success
rovers-problem-06-15-01.pddl | search-out-of-memory
rovers-problem-06-15-02.pddl | search-out-of-memory
rovers-problem-06-15-03.pddl | search-out-of-memory
rovers-problem-06-15-04.pddl | search-out-of-memory
rovers-problem-06-15-05.pddl | success
rovers-problem-07-11-1-01.pddl | search-unsolvable-incomplete
rovers-problem-07-11-1-02.pddl | search-unsolvable-incomplete
rovers-problem-07-11-1-03.pddl | success
rovers-problem-07-11-1-04.pddl | success
rovers-problem-07-11-1-05.pddl | success
rovers-problem-07-11-2-01.pddl | search-out-of-memory
rovers-problem-07-11-2-02.pddl | success
rovers-problem-07-11-2-03.pddl | success
rovers-problem-07-11-2-04.pddl | success
rovers-problem-07-11-2-05.pddl | success
rovers-problem-07-11-3-01.pddl | search-out-of-memory
rovers-problem-07-11-3-02.pddl | search-out-of-memory
rovers-problem-07-11-3-03.pddl | search-out-of-memory
rovers-problem-07-11-3-04.pddl | search-out-of-memory
rovers-problem-07-11-3-05.pddl | search-out-of-memory
rovers-problem-07-11-4-01.pddl | search-unsolvable-incomplete
rovers-problem-07-11-4-02.pddl | search-out-of-memory
rovers-problem-07-11-4-03.pddl | success
rovers-problem-07-11-4-04.pddl | success
rovers-problem-07-11-4-05.pddl | success
rovers-problem-07-11-5-01.pddl | search-out-of-memory
rovers-problem-07-11-5-02.pddl | search-out-of-memory
rovers-problem-07-11-5-03.pddl | search-out-of-memory
rovers-problem-07-11-5-04.pddl | search-out-of-memory
rovers-problem-07-11-5-05.pddl | success
rovers-problem-07-15-01.pddl | search-out-of-memory
rovers-problem-07-15-02.pddl | search-out-of-memory
rovers-problem-07-15-03.pddl | search-out-of-memory
rovers-problem-07-15-04.pddl | search-out-of-memory
rovers-problem-07-15-05.pddl | success
rovers-problem-08-11-1-01.pddl | search-unsolvable-incomplete
rovers-problem-08-11-1-02.pddl | search-out-of-memory
rovers-problem-08-11-1-03.pddl | success
rovers-problem-08-11-1-04.pddl | success
rovers-problem-08-11-1-05.pddl | search-out-of-memory
rovers-problem-08-11-2-01.pddl | search-out-of-memory
rovers-problem-08-11-2-02.pddl | search-out-of-memory
rovers-problem-08-11-2-03.pddl | success
rovers-problem-08-11-2-04.pddl | success
rovers-problem-08-11-2-05.pddl | success
rovers-problem-08-11-3-01.pddl | search-out-of-memory
rovers-problem-08-11-3-02.pddl | search-out-of-memory
rovers-problem-08-11-3-03.pddl | search-out-of-memory
rovers-problem-08-11-3-04.pddl | search-out-of-memory
rovers-problem-08-11-3-05.pddl | search-out-of-memory
rovers-problem-08-11-4-01.pddl | search-out-of-memory
rovers-problem-08-11-4-02.pddl | search-out-of-memory
rovers-problem-08-11-4-03.pddl | search-out-of-memory
rovers-problem-08-11-4-04.pddl | search-out-of-memory
rovers-problem-08-11-4-05.pddl | success
rovers-problem-08-11-5-01.pddl | search-out-of-memory
rovers-problem-08-11-5-02.pddl | search-out-of-memory
rovers-problem-08-11-5-03.pddl | search-out-of-memory
rovers-problem-08-11-5-04.pddl | search-out-of-memory
rovers-problem-08-11-5-05.pddl | search-out-of-memory
rovers-problem-08-15-01.pddl | search-out-of-memory
rovers-problem-08-15-02.pddl | search-out-of-memory
rovers-problem-08-15-03.pddl | search-out-of-memory
rovers-problem-08-15-04.pddl | search-out-of-memory
rovers-problem-08-15-05.pddl | search-out-of-memory
rovers-problem-09-11-1-01.pddl | search-unsolvable-incomplete
rovers-problem-09-11-1-02.pddl | search-out-of-memory
rovers-problem-09-11-1-03.pddl | search-out-of-memory
rovers-problem-09-11-1-04.pddl | success
rovers-problem-09-11-1-05.pddl | search-out-of-memory
rovers-problem-09-11-2-01.pddl | search-out-of-memory
rovers-problem-09-11-2-02.pddl | search-out-of-memory
rovers-problem-09-11-2-03.pddl | success
rovers-problem-09-11-2-04.pddl | search-out-of-memory
rovers-problem-09-11-2-05.pddl | search-out-of-memory
rovers-problem-09-11-3-01.pddl | search-out-of-memory
rovers-problem-09-11-3-02.pddl | search-out-of-memory
rovers-problem-09-11-3-03.pddl | search-out-of-memory
rovers-problem-09-11-3-04.pddl | search-out-of-memory
rovers-problem-09-11-3-05.pddl | search-out-of-memory
rovers-problem-09-11-4-01.pddl | search-out-of-memory
rovers-problem-09-11-4-02.pddl | search-out-of-memory
rovers-problem-09-11-4-03.pddl | search-out-of-memory
rovers-problem-09-11-4-04.pddl | search-out-of-memory
rovers-problem-09-11-4-05.pddl | success
rovers-problem-09-11-5-01.pddl | search-out-of-memory
rovers-problem-09-11-5-02.pddl | search-out-of-memory
rovers-problem-09-11-5-03.pddl | search-out-of-memory
rovers-problem-09-11-5-04.pddl | search-out-of-memory
rovers-problem-09-11-5-05.pddl | search-out-of-memory
rovers-problem-09-15-01.pddl | search-out-of-memory
rovers-problem-09-15-02.pddl | search-out-of-memory
rovers-problem-09-15-03.pddl | search-out-of-memory
rovers-problem-09-15-04.pddl | search-out-of-memory
rovers-problem-09-15-05.pddl | search-out-of-memory

## unsat-tpp

error | Full Bitset
--- | ---
tpp-problem-05-01.pddl | search-out-of-memory
tpp-problem-05-02.pddl | search-out-of-memory
tpp-problem-05-03.pddl | success
tpp-problem-05-04.pddl | search-out-of-memory
tpp-problem-05-05.pddl | search-out-of-memory
tpp-problem-06-01.pddl | search-out-of-memory
tpp-problem-06-02.pddl | search-out-of-memory
tpp-problem-06-03.pddl | search-out-of-memory
tpp-problem-06-04.pddl | search-out-of-memory
tpp-problem-06-05.pddl | search-out-of-memory
tpp-problem-07-01.pddl | search-out-of-memory
tpp-problem-07-02.pddl | search-out-of-memory
tpp-problem-07-03.pddl | search-out-of-memory
tpp-problem-07-04.pddl | search-out-of-memory
tpp-problem-07-05.pddl | search-out-of-memory
tpp-problem-08-01.pddl | search-out-of-memory
tpp-problem-08-02.pddl | search-out-of-memory
tpp-problem-08-03.pddl | search-out-of-memory
tpp-problem-08-04.pddl | search-out-of-memory
tpp-problem-08-05.pddl | search-out-of-memory
tpp-problem-09-01.pddl | search-out-of-memory
tpp-problem-09-02.pddl | search-out-of-memory
tpp-problem-09-03.pddl | search-out-of-memory
tpp-problem-09-04.pddl | search-out-of-memory
tpp-problem-09-05.pddl | search-out-of-memory

# memory

memory | Full Bitset
--- | ---
3unsat (25) | 386003.89
bag-transport (16) | 71598.35
bottleneck (14) | 123321.28
cave-diving (9) | 283676.74
chessboard-pebbling (7) | 256281.88
document-transfer (4) | 325921.99
mystery (9) | 70373.09
over-nomystery (9) | 676439.77
over-rovers (8) | 221321.31
over-tpp (14) | 552700.03
pegsol (24) | 59128.07
pegsol-row5 (8) | 221484.86
sliding-tiles (20) | 105019.46
unsat-nomystery (125) | 466345.65
unsat-rovers (70) | 91972.86
unsat-tpp (1) | 68020.00
Geometric mean (363) | 185026.64

Only instances where all algorithms have a value for "memory" are considered. Each table entry gives the geometric mean of "memory" for that domain. The bottom row reports the geometric mean across all domains.

## 3unsat

memory | Full Bitset
--- | ---
sat-3-22-5-1.pddl | 60344
sat-3-22-5-2.pddl | 60344
sat-3-22-5-3.pddl | 60344
sat-3-22-5-4.pddl | 60344
sat-3-22-5-5.pddl | 60344
sat-3-43-10-1.pddl | 133784
sat-3-43-10-2.pddl | 133784
sat-3-43-10-3.pddl | 133784
sat-3-43-10-4.pddl | 133784
sat-3-43-10-5.pddl | 133784
sat-3-65-15-1.pddl | 409672
sat-3-65-15-2.pddl | 409672
sat-3-65-15-3.pddl | 409672
sat-3-65-15-4.pddl | 409672
sat-3-65-15-5.pddl | 409672
sat-3-86-20-1.pddl | 1292488
sat-3-86-20-2.pddl | 1292488
sat-3-86-20-3.pddl | 1292496
sat-3-86-20-4.pddl | 1292468
sat-3-86-20-5.pddl | 1292476
sat-3-108-25-1.pddl | 2004744
sat-3-108-25-2.pddl | 2004744
sat-3-108-25-3.pddl | 2004744
sat-3-108-25-4.pddl | 2004744
sat-3-108-25-5.pddl | 2004744
sat-3-129-30-1.pddl | None
sat-3-129-30-2.pddl | None
sat-3-129-30-3.pddl | None
sat-3-129-30-4.pddl | None
sat-3-129-30-5.pddl | None

## bag-barman

memory | Full Bitset
--- | ---
prob01.pddl | None
prob02.pddl | None
prob03.pddl | None
prob04.pddl | None
prob05.pddl | None
prob06.pddl | None
prob07.pddl | None
prob08.pddl | None
prob09.pddl | None
prob10.pddl | None
prob11.pddl | None
prob12.pddl | None
prob13.pddl | None
prob14.pddl | None
prob15.pddl | None
prob16.pddl | None
prob17.pddl | None
prob18.pddl | None
prob19.pddl | None
prob20.pddl | None

## bag-gripper

memory | Full Bitset
--- | ---
prob01.pddl | None
prob02.pddl | None
prob03.pddl | None
prob04.pddl | None
prob05.pddl | None
prob06.pddl | None
prob07.pddl | None
prob08.pddl | None
prob09.pddl | None
prob10.pddl | None
prob11.pddl | None
prob12.pddl | None
prob13.pddl | None
prob14.pddl | None
prob15.pddl | None
prob16.pddl | None
prob17.pddl | None
prob18.pddl | None
prob19.pddl | None
prob20.pddl | None
prob21.pddl | None
prob22.pddl | None
prob23.pddl | None
prob24.pddl | None
prob25.pddl | None

## bag-transport

memory | Full Bitset
--- | ---
prob01.pddl | 56420
prob02.pddl | 576524
prob03.pddl | 55772
prob04.pddl | 57136
prob05.pddl | None
prob06.pddl | 58276
prob07.pddl | 60524
prob08.pddl | 61756
prob09.pddl | 61868
prob10.pddl | 63660
prob11.pddl | None
prob12.pddl | None
prob13.pddl | 63136
prob14.pddl | 68920
prob15.pddl | 67388
prob16.pddl | 70608
prob17.pddl | 60664
prob18.pddl | 61460
prob19.pddl | 69480
prob20.pddl | None
prob21.pddl | None
prob22.pddl | None
prob23.pddl | None
prob24.pddl | None
prob25.pddl | None
prob26.pddl | None
prob27.pddl | None
prob28.pddl | None
prob29.pddl | None

## bottleneck

memory | Full Bitset
--- | ---
prob01.pddl | 54940
prob02.pddl | 55092
prob03.pddl | 55208
prob04.pddl | 55548
prob05.pddl | 55868
prob06.pddl | 56044
prob07.pddl | 56088
prob08.pddl | 57420
prob09.pddl | 735464
prob10.pddl | 795068
prob11.pddl | 856576
prob12.pddl | 923276
prob13.pddl | 60856
prob14.pddl | None
prob15.pddl | None
prob16.pddl | None
prob17.pddl | None
prob18.pddl | None
prob19.pddl | 71432
prob20.pddl | None
prob21.pddl | None
prob22.pddl | None
prob23.pddl | None
prob24.pddl | None
prob25.pddl | None

## cave-diving

memory | Full Bitset
--- | ---
prob01.pddl | 300848
prob02.pddl | 233832
prob03.pddl | 116484
prob04.pddl | 94164
prob05.pddl | 54808
prob06.pddl | None
prob07.pddl | None
prob08.pddl | None
prob09.pddl | 2474384
prob10.pddl | 240084
prob11.pddl | None
prob12.pddl | None
prob13.pddl | None
prob14.pddl | 2416996
prob15.pddl | 195912
prob16.pddl | None
prob17.pddl | None
prob18.pddl | None
prob19.pddl | None
prob20.pddl | None
prob21.pddl | None
prob22.pddl | None
prob23.pddl | None
prob24.pddl | None
prob25.pddl | None

## chessboard-pebbling

memory | Full Bitset
--- | ---
prob03.pddl | 57060
prob04.pddl | 72656
prob05.pddl | 120820
prob06.pddl | 169384
prob07.pddl | 421864
prob08.pddl | 1181464
prob09.pddl | 1717188
prob10.pddl | None
prob11.pddl | None
prob12.pddl | None
prob13.pddl | None
prob14.pddl | None
prob15.pddl | None
prob16.pddl | None
prob17.pddl | None
prob18.pddl | None
prob19.pddl | None
prob20.pddl | None
prob21.pddl | None
prob22.pddl | None
prob23.pddl | None
prob24.pddl | None
prob25.pddl | None

## document-transfer

memory | Full Bitset
--- | ---
prob01.pddl | None
prob02.pddl | 1392976
prob03.pddl | None
prob04.pddl | None
prob05.pddl | None
prob06.pddl | 55820
prob07.pddl | None
prob08.pddl | None
prob09.pddl | 94972
prob10.pddl | None
prob11.pddl | None
prob12.pddl | None
prob13.pddl | None
prob14.pddl | None
prob15.pddl | None
prob16.pddl | None
prob17.pddl | None
prob18.pddl | None
prob19.pddl | 1528008
prob20.pddl | None

## mystery

memory | Full Bitset
--- | ---
prob04.pddl | 55792
prob05.pddl | 60280
prob08.pddl | 61568
prob12.pddl | 55648
prob16.pddl | 60404
prob21.pddl | 79240
prob22.pddl | 111288
prob23.pddl | 77804
prob24.pddl | 88644

## over-nomystery

memory | Full Bitset
--- | ---
prob01.pddl | 55724
prob02.pddl | 56364
prob03.pddl | None
prob04.pddl | None
prob05.pddl | None
prob06.pddl | 483076
prob07.pddl | 1343836
prob08.pddl | None
prob09.pddl | None
prob10.pddl | None
prob11.pddl | 1036632
prob12.pddl | 3015928
prob13.pddl | None
prob14.pddl | None
prob15.pddl | None
prob16.pddl | 1044836
prob17.pddl | 3015928
prob18.pddl | None
prob19.pddl | None
prob20.pddl | None
prob21.pddl | 1476188
prob22.pddl | None
prob23.pddl | None
prob24.pddl | None

## over-rovers

memory | Full Bitset
--- | ---
prob01.pddl | 55360
prob02.pddl | 55360
prob03.pddl | 78300
prob04.pddl | 310100
prob05.pddl | 55492
prob06.pddl | 2092772
prob07.pddl | None
prob08.pddl | 824540
prob09.pddl | 807916
prob10.pddl | None
prob11.pddl | None
prob12.pddl | None
prob13.pddl | None
prob14.pddl | None
prob15.pddl | None
prob16.pddl | None
prob17.pddl | None
prob18.pddl | None
prob19.pddl | None
prob20.pddl | None

## over-tpp

memory | Full Bitset
--- | ---
prob01.pddl | 71484
prob02.pddl | 55388
prob03.pddl | 203188
prob04.pddl | 541720
prob05.pddl | 510848
prob06.pddl | 720312
prob07.pddl | 1982828
prob08.pddl | 2486772
prob09.pddl | None
prob10.pddl | None
prob11.pddl | None
prob12.pddl | None
prob13.pddl | None
prob14.pddl | None
prob15.pddl | None
prob16.pddl | 188120
prob17.pddl | 248600
prob18.pddl | 663040
prob19.pddl | 2036576
prob20.pddl | 1851672
prob21.pddl | 2684612
prob22.pddl | None
prob23.pddl | None
prob24.pddl | None
prob25.pddl | None
prob26.pddl | None
prob27.pddl | None
prob28.pddl | None
prob29.pddl | None
prob30.pddl | None

## pegsol

memory | Full Bitset
--- | ---
prob05.pddl | 57468
prob06.pddl | 57468
prob09.pddl | 57468
prob10.pddl | 57468
prob11.pddl | 59976
prob12.pddl | 59976
prob13.pddl | 59976
prob14.pddl | 59976
prob15.pddl | 59976
prob16.pddl | 59976
prob17.pddl | 59976
prob18.pddl | 59976
prob19.pddl | 57468
prob20.pddl | 57468
prob21.pddl | 57468
prob22.pddl | 57468
prob23.pddl | 59976
prob24.pddl | 59976
prob25.pddl | 59976
prob26.pddl | 59976
prob27.pddl | 59976
prob28.pddl | 59976
prob29.pddl | 59976
prob30.pddl | 59976

## pegsol-row5

memory | Full Bitset
--- | ---
prob01.pddl | 54676
prob02.pddl | 54672
prob03.pddl | 54948
prob04.pddl | 101900
prob05.pddl | 239224
prob06.pddl | 381652
prob07.pddl | 1124744
prob08.pddl | 3369292
prob09.pddl | None
prob10.pddl | None
prob11.pddl | None
prob12.pddl | None
prob13.pddl | None
prob14.pddl | None
prob15.pddl | None

## sliding-tiles

memory | Full Bitset
--- | ---
prob01.pddl | 65104
prob02.pddl | 65104
prob03.pddl | 65104
prob04.pddl | 65104
prob05.pddl | 65104
prob06.pddl | 65104
prob07.pddl | 65104
prob08.pddl | 65104
prob09.pddl | 65104
prob10.pddl | 65104
prob11.pddl | 169620
prob12.pddl | 169620
prob13.pddl | 169620
prob14.pddl | 169620
prob15.pddl | 169620
prob16.pddl | 169620
prob17.pddl | 167504
prob18.pddl | 169620
prob19.pddl | 169620
prob20.pddl | 169620
prob24.pddl | None

## tetris

memory | Full Bitset
--- | ---
prob01.pddl | None
prob02.pddl | None
prob03.pddl | None
prob04.pddl | None
prob05.pddl | None
prob06.pddl | None
prob07.pddl | None
prob08.pddl | None
prob09.pddl | None
prob10.pddl | None
prob11.pddl | None
prob12.pddl | None
prob13.pddl | None
prob14.pddl | None
prob15.pddl | None
prob16.pddl | None
prob17.pddl | None
prob18.pddl | None
prob19.pddl | None
prob20.pddl | None

## unsat-nomystery

memory | Full Bitset
--- | ---
nomystery-problem-05-9-9-1-01.pddl | 425184
nomystery-problem-05-9-9-1-02.pddl | 56632
nomystery-problem-05-9-9-1-03.pddl | 492772
nomystery-problem-05-9-9-1-04.pddl | 56648
nomystery-problem-05-9-9-1-05.pddl | 503152
nomystery-problem-05-9-9-2-01.pddl | 56396
nomystery-problem-05-9-9-2-02.pddl | 56196
nomystery-problem-05-9-9-2-03.pddl | 56240
nomystery-problem-05-9-9-2-04.pddl | 56176
nomystery-problem-05-9-9-2-05.pddl | 56044
nomystery-problem-05-9-9-3-01.pddl | 452004
nomystery-problem-05-9-9-3-02.pddl | 56384
nomystery-problem-05-9-9-3-03.pddl | 56660
nomystery-problem-05-9-9-3-04.pddl | 56524
nomystery-problem-05-9-9-3-05.pddl | 56704
nomystery-problem-05-9-9-4-01.pddl | 441740
nomystery-problem-05-9-9-4-02.pddl | 462068
nomystery-problem-05-9-9-4-03.pddl | 56616
nomystery-problem-05-9-9-4-04.pddl | 56496
nomystery-problem-05-9-9-4-05.pddl | 56408
nomystery-problem-05-9-9-5-01.pddl | 56564
nomystery-problem-05-9-9-5-02.pddl | 56328
nomystery-problem-05-9-9-5-03.pddl | 56316
nomystery-problem-05-9-9-5-04.pddl | 56256
nomystery-problem-05-9-9-5-05.pddl | 56324
nomystery-problem-05-12-15-01.pddl | None
nomystery-problem-05-12-15-02.pddl | None
nomystery-problem-05-12-15-03.pddl | None
nomystery-problem-05-12-15-04.pddl | None
nomystery-problem-05-12-15-05.pddl | None
nomystery-problem-06-9-9-1-01.pddl | 480748
nomystery-problem-06-9-9-1-02.pddl | 564816
nomystery-problem-06-9-9-1-03.pddl | 568908
nomystery-problem-06-9-9-1-04.pddl | 560560
nomystery-problem-06-9-9-1-05.pddl | 1121856
nomystery-problem-06-9-9-2-01.pddl | 445848
nomystery-problem-06-9-9-2-02.pddl | 56380
nomystery-problem-06-9-9-2-03.pddl | 56468
nomystery-problem-06-9-9-2-04.pddl | 56336
nomystery-problem-06-9-9-2-05.pddl | 56288
nomystery-problem-06-9-9-3-01.pddl | 513724
nomystery-problem-06-9-9-3-02.pddl | 513472
nomystery-problem-06-9-9-3-03.pddl | 554428
nomystery-problem-06-9-9-3-04.pddl | 56760
nomystery-problem-06-9-9-3-05.pddl | 56876
nomystery-problem-06-9-9-4-01.pddl | 953972
nomystery-problem-06-9-9-4-02.pddl | 548320
nomystery-problem-06-9-9-4-03.pddl | 1019384
nomystery-problem-06-9-9-4-04.pddl | 529812
nomystery-problem-06-9-9-4-05.pddl | 1006988
nomystery-problem-06-9-9-5-01.pddl | 452004
nomystery-problem-06-9-9-5-02.pddl | 56612
nomystery-problem-06-9-9-5-03.pddl | 56644
nomystery-problem-06-9-9-5-04.pddl | 56388
nomystery-problem-06-9-9-5-05.pddl | 56656
nomystery-problem-06-12-15-01.pddl | None
nomystery-problem-06-12-15-02.pddl | None
nomystery-problem-06-12-15-03.pddl | None
nomystery-problem-06-12-15-04.pddl | None
nomystery-problem-06-12-15-05.pddl | None
nomystery-problem-07-9-9-1-01.pddl | 1031928
nomystery-problem-07-9-9-1-02.pddl | 1237344
nomystery-problem-07-9-9-1-03.pddl | 1233172
nomystery-problem-07-9-9-1-04.pddl | 1224972
nomystery-problem-07-9-9-1-05.pddl | 1282444
nomystery-problem-07-9-9-2-01.pddl | 513724
nomystery-problem-07-9-9-2-02.pddl | 519636
nomystery-problem-07-9-9-2-03.pddl | 531876
nomystery-problem-07-9-9-2-04.pddl | 56664
nomystery-problem-07-9-9-2-05.pddl | 56508
nomystery-problem-07-9-9-3-01.pddl | 1097648
nomystery-problem-07-9-9-3-02.pddl | 575144
nomystery-problem-07-9-9-3-03.pddl | 635064
nomystery-problem-07-9-9-3-04.pddl | 630948
nomystery-problem-07-9-9-3-05.pddl | 674172
nomystery-problem-07-9-9-4-01.pddl | 1064852
nomystery-problem-07-9-9-4-02.pddl | 1167028
nomystery-problem-07-9-9-4-03.pddl | 1138312
nomystery-problem-07-9-9-4-04.pddl | 1150580
nomystery-problem-07-9-9-4-05.pddl | 1138260
nomystery-problem-07-9-9-5-01.pddl | 509604
nomystery-problem-07-9-9-5-02.pddl | 515560
nomystery-problem-07-9-9-5-03.pddl | 56816
nomystery-problem-07-9-9-5-04.pddl | 283016
nomystery-problem-07-9-9-5-05.pddl | 558500
nomystery-problem-07-12-15-01.pddl | None
nomystery-problem-07-12-15-02.pddl | None
nomystery-problem-07-12-15-03.pddl | None
nomystery-problem-07-12-15-04.pddl | None
nomystery-problem-07-12-15-05.pddl | None
nomystery-problem-08-9-9-1-01.pddl | 1143016
nomystery-problem-08-9-9-1-02.pddl | 1389076
nomystery-problem-08-9-9-1-03.pddl | 1409564
nomystery-problem-08-9-9-1-04.pddl | 1389032
nomystery-problem-08-9-9-1-05.pddl | 1459016
nomystery-problem-08-9-9-2-01.pddl | 1105856
nomystery-problem-08-9-9-2-02.pddl | 587464
nomystery-problem-08-9-9-2-03.pddl | 1167540
nomystery-problem-08-9-9-2-04.pddl | 1080888
nomystery-problem-08-9-9-2-05.pddl | 1060312
nomystery-problem-08-9-9-3-01.pddl | 1220964
nomystery-problem-08-9-9-3-02.pddl | 1319416
nomystery-problem-08-9-9-3-03.pddl | 1372668
nomystery-problem-08-9-9-3-04.pddl | 1352068
nomystery-problem-08-9-9-3-05.pddl | 1454912
nomystery-problem-08-9-9-4-01.pddl | 1192324
nomystery-problem-08-9-9-4-02.pddl | 1315232
nomystery-problem-08-9-9-4-03.pddl | 1274268
nomystery-problem-08-9-9-4-04.pddl | 1278348
nomystery-problem-08-9-9-4-05.pddl | 1282428
nomystery-problem-08-9-9-5-01.pddl | 565176
nomystery-problem-08-9-9-5-02.pddl | 626452
nomystery-problem-08-9-9-5-03.pddl | 633104
nomystery-problem-08-9-9-5-04.pddl | 572996
nomystery-problem-08-9-9-5-05.pddl | 1204360
nomystery-problem-08-12-15-01.pddl | None
nomystery-problem-08-12-15-02.pddl | None
nomystery-problem-08-12-15-03.pddl | None
nomystery-problem-08-12-15-04.pddl | None
nomystery-problem-08-12-15-05.pddl | None
nomystery-problem-09-9-9-1-01.pddl | 1270260
nomystery-problem-09-9-9-1-02.pddl | 1549268
nomystery-problem-09-9-9-1-03.pddl | 3114048
nomystery-problem-09-9-9-1-04.pddl | 3040212
nomystery-problem-09-9-9-1-05.pddl | 3220520
nomystery-problem-09-9-9-2-01.pddl | 1241512
nomystery-problem-09-9-9-2-02.pddl | 1253288
nomystery-problem-09-9-9-2-03.pddl | 1343928
nomystery-problem-09-9-9-2-04.pddl | 1241416
nomystery-problem-09-9-9-2-05.pddl | 1233156
nomystery-problem-09-9-9-3-01.pddl | 1348856
nomystery-problem-09-9-9-3-02.pddl | 1467320
nomystery-problem-09-9-9-3-03.pddl | 1520552
nomystery-problem-09-9-9-3-04.pddl | 1516416
nomystery-problem-09-9-9-3-05.pddl | 1635448
nomystery-problem-09-9-9-4-01.pddl | 1315404
nomystery-problem-09-9-9-4-02.pddl | 1463232
nomystery-problem-09-9-9-4-03.pddl | 1409800
nomystery-problem-09-9-9-4-04.pddl | 2794276
nomystery-problem-09-9-9-4-05.pddl | 2777760
nomystery-problem-09-9-9-5-01.pddl | 1188124
nomystery-problem-09-9-9-5-02.pddl | 1323508
nomystery-problem-09-9-9-5-03.pddl | 1343912
nomystery-problem-09-9-9-5-04.pddl | 1233160
nomystery-problem-09-9-9-5-05.pddl | 1352064
nomystery-problem-09-12-15-01.pddl | None
nomystery-problem-09-12-15-02.pddl | None
nomystery-problem-09-12-15-03.pddl | None
nomystery-problem-09-12-15-04.pddl | None
nomystery-problem-09-12-15-05.pddl | None

## unsat-rovers

memory | Full Bitset
--- | ---
rovers-problem-05-11-1-01.pddl | 56828
rovers-problem-05-11-1-02.pddl | 56720
rovers-problem-05-11-1-03.pddl | 58376
rovers-problem-05-11-1-04.pddl | 58340
rovers-problem-05-11-1-05.pddl | 58312
rovers-problem-05-11-2-01.pddl | 58032
rovers-problem-05-11-2-02.pddl | 57628
rovers-problem-05-11-2-03.pddl | 60168
rovers-problem-05-11-2-04.pddl | 60188
rovers-problem-05-11-2-05.pddl | 60156
rovers-problem-05-11-3-01.pddl | 3072016
rovers-problem-05-11-3-02.pddl | 57796
rovers-problem-05-11-3-03.pddl | 58728
rovers-problem-05-11-3-04.pddl | 58412
rovers-problem-05-11-3-05.pddl | 58448
rovers-problem-05-11-4-01.pddl | 57004
rovers-problem-05-11-4-02.pddl | 56488
rovers-problem-05-11-4-03.pddl | 56440
rovers-problem-05-11-4-04.pddl | 58060
rovers-problem-05-11-4-05.pddl | 58092
rovers-problem-05-11-5-01.pddl | None
rovers-problem-05-11-5-02.pddl | None
rovers-problem-05-11-5-03.pddl | 58332
rovers-problem-05-11-5-04.pddl | 59008
rovers-problem-05-11-5-05.pddl | 58772
rovers-problem-05-15-01.pddl | None
rovers-problem-05-15-02.pddl | None
rovers-problem-05-15-03.pddl | None
rovers-problem-05-15-04.pddl | None
rovers-problem-05-15-05.pddl | 57476
rovers-problem-06-11-1-01.pddl | 57028
rovers-problem-06-11-1-02.pddl | 57008
rovers-problem-06-11-1-03.pddl | 58612
rovers-problem-06-11-1-04.pddl | 58552
rovers-problem-06-11-1-05.pddl | 58328
rovers-problem-06-11-2-01.pddl | None
rovers-problem-06-11-2-02.pddl | 60480
rovers-problem-06-11-2-03.pddl | 60324
rovers-problem-06-11-2-04.pddl | 60412
rovers-problem-06-11-2-05.pddl | 60400
rovers-problem-06-11-3-01.pddl | None
rovers-problem-06-11-3-02.pddl | 3457812
rovers-problem-06-11-3-03.pddl | None
rovers-problem-06-11-3-04.pddl | 58956
rovers-problem-06-11-3-05.pddl | 58984
rovers-problem-06-11-4-01.pddl | 2793352
rovers-problem-06-11-4-02.pddl | 56772
rovers-problem-06-11-4-03.pddl | 56488
rovers-problem-06-11-4-04.pddl | 58252
rovers-problem-06-11-4-05.pddl | 58304
rovers-problem-06-11-5-01.pddl | None
rovers-problem-06-11-5-02.pddl | None
rovers-problem-06-11-5-03.pddl | None
rovers-problem-06-11-5-04.pddl | 59420
rovers-problem-06-11-5-05.pddl | 59260
rovers-problem-06-15-01.pddl | None
rovers-problem-06-15-02.pddl | None
rovers-problem-06-15-03.pddl | None
rovers-problem-06-15-04.pddl | None
rovers-problem-06-15-05.pddl | 58172
rovers-problem-07-11-1-01.pddl | 2612952
rovers-problem-07-11-1-02.pddl | 2441396
rovers-problem-07-11-1-03.pddl | 58788
rovers-problem-07-11-1-04.pddl | 58616
rovers-problem-07-11-1-05.pddl | 58588
rovers-problem-07-11-2-01.pddl | None
rovers-problem-07-11-2-02.pddl | 60868
rovers-problem-07-11-2-03.pddl | 60408
rovers-problem-07-11-2-04.pddl | 60592
rovers-problem-07-11-2-05.pddl | 60584
rovers-problem-07-11-3-01.pddl | None
rovers-problem-07-11-3-02.pddl | None
rovers-problem-07-11-3-03.pddl | None
rovers-problem-07-11-3-04.pddl | None
rovers-problem-07-11-3-05.pddl | None
rovers-problem-07-11-4-01.pddl | 3244376
rovers-problem-07-11-4-02.pddl | None
rovers-problem-07-11-4-03.pddl | 58328
rovers-problem-07-11-4-04.pddl | 58364
rovers-problem-07-11-4-05.pddl | 58508
rovers-problem-07-11-5-01.pddl | None
rovers-problem-07-11-5-02.pddl | None
rovers-problem-07-11-5-03.pddl | None
rovers-problem-07-11-5-04.pddl | None
rovers-problem-07-11-5-05.pddl | 59596
rovers-problem-07-15-01.pddl | None
rovers-problem-07-15-02.pddl | None
rovers-problem-07-15-03.pddl | None
rovers-problem-07-15-04.pddl | None
rovers-problem-07-15-05.pddl | 58772
rovers-problem-08-11-1-01.pddl | 2932604
rovers-problem-08-11-1-02.pddl | None
rovers-problem-08-11-1-03.pddl | 58828
rovers-problem-08-11-1-04.pddl | 58788
rovers-problem-08-11-1-05.pddl | None
rovers-problem-08-11-2-01.pddl | None
rovers-problem-08-11-2-02.pddl | None
rovers-problem-08-11-2-03.pddl | 60836
rovers-problem-08-11-2-04.pddl | 61020
rovers-problem-08-11-2-05.pddl | 61024
rovers-problem-08-11-3-01.pddl | None
rovers-problem-08-11-3-02.pddl | None
rovers-problem-08-11-3-03.pddl | None
rovers-problem-08-11-3-04.pddl | None
rovers-problem-08-11-3-05.pddl | None
rovers-problem-08-11-4-01.pddl | None
rovers-problem-08-11-4-02.pddl | None
rovers-problem-08-11-4-03.pddl | None
rovers-problem-08-11-4-04.pddl | None
rovers-problem-08-11-4-05.pddl | 58960
rovers-problem-08-11-5-01.pddl | None
rovers-problem-08-11-5-02.pddl | None
rovers-problem-08-11-5-03.pddl | None
rovers-problem-08-11-5-04.pddl | None
rovers-problem-08-11-5-05.pddl | None
rovers-problem-08-15-01.pddl | None
rovers-problem-08-15-02.pddl | None
rovers-problem-08-15-03.pddl | None
rovers-problem-08-15-04.pddl | None
rovers-problem-08-15-05.pddl | None
rovers-problem-09-11-1-01.pddl | 3280972
rovers-problem-09-11-1-02.pddl | None
rovers-problem-09-11-1-03.pddl | None
rovers-problem-09-11-1-04.pddl | 58828
rovers-problem-09-11-1-05.pddl | None
rovers-problem-09-11-2-01.pddl | None
rovers-problem-09-11-2-02.pddl | None
rovers-problem-09-11-2-03.pddl | 61092
rovers-problem-09-11-2-04.pddl | None
rovers-problem-09-11-2-05.pddl | None
rovers-problem-09-11-3-01.pddl | None
rovers-problem-09-11-3-02.pddl | None
rovers-problem-09-11-3-03.pddl | None
rovers-problem-09-11-3-04.pddl | None
rovers-problem-09-11-3-05.pddl | None
rovers-problem-09-11-4-01.pddl | None
rovers-problem-09-11-4-02.pddl | None
rovers-problem-09-11-4-03.pddl | None
rovers-problem-09-11-4-04.pddl | None
rovers-problem-09-11-4-05.pddl | 59216
rovers-problem-09-11-5-01.pddl | None
rovers-problem-09-11-5-02.pddl | None
rovers-problem-09-11-5-03.pddl | None
rovers-problem-09-11-5-04.pddl | None
rovers-problem-09-11-5-05.pddl | None
rovers-problem-09-15-01.pddl | None
rovers-problem-09-15-02.pddl | None
rovers-problem-09-15-03.pddl | None
rovers-problem-09-15-04.pddl | None
rovers-problem-09-15-05.pddl | None

## unsat-tpp

memory | Full Bitset
--- | ---
tpp-problem-05-01.pddl | None
tpp-problem-05-02.pddl | None
tpp-problem-05-03.pddl | 68020
tpp-problem-05-04.pddl | None
tpp-problem-05-05.pddl | None
tpp-problem-06-01.pddl | None
tpp-problem-06-02.pddl | None
tpp-problem-06-03.pddl | None
tpp-problem-06-04.pddl | None
tpp-problem-06-05.pddl | None
tpp-problem-07-01.pddl | None
tpp-problem-07-02.pddl | None
tpp-problem-07-03.pddl | None
tpp-problem-07-04.pddl | None
tpp-problem-07-05.pddl | None
tpp-problem-08-01.pddl | None
tpp-problem-08-02.pddl | None
tpp-problem-08-03.pddl | None
tpp-problem-08-04.pddl | None
tpp-problem-08-05.pddl | None
tpp-problem-09-01.pddl | None
tpp-problem-09-02.pddl | None
tpp-problem-09-03.pddl | None
tpp-problem-09-04.pddl | None
tpp-problem-09-05.pddl | None

# num_cols

num_cols | Full Bitset
--- | ---
3unsat (25) | 1323580
bag-transport (1) | 32014
bottleneck (4) | 190332
cave-diving (8) | 263518
chessboard-pebbling (7) | 272923
document-transfer (2) | 86646
over-nomystery (7) | 261553
over-rovers (5) | 199101
over-tpp (13) | 534448
pegsol (24) | 107016
pegsol-row5 (6) | 242850
sliding-tiles (20) | 181145
unsat-nomystery (93) | 3243495
unsat-rovers (8) | 726242
Sum (685) | 7664863

The bottom row reports the sum across all domains.

## 3unsat

num_cols | Full Bitset
--- | ---
sat-3-22-5-1.pddl | 4839
sat-3-22-5-2.pddl | 4839
sat-3-22-5-3.pddl | 4839
sat-3-22-5-4.pddl | 4839
sat-3-22-5-5.pddl | 4839
sat-3-43-10-1.pddl | 18985
sat-3-43-10-2.pddl | 18985
sat-3-43-10-3.pddl | 18985
sat-3-43-10-4.pddl | 18985
sat-3-43-10-5.pddl | 18985
sat-3-65-15-1.pddl | 43496
sat-3-65-15-2.pddl | 43496
sat-3-65-15-3.pddl | 43496
sat-3-65-15-4.pddl | 43496
sat-3-65-15-5.pddl | 43496
sat-3-86-20-1.pddl | 76606
sat-3-86-20-2.pddl | 76606
sat-3-86-20-3.pddl | 76606
sat-3-86-20-4.pddl | 76606
sat-3-86-20-5.pddl | 76606
sat-3-108-25-1.pddl | 120790
sat-3-108-25-2.pddl | 120790
sat-3-108-25-3.pddl | 120790
sat-3-108-25-4.pddl | 120790
sat-3-108-25-5.pddl | 120790
sat-3-129-30-1.pddl | None
sat-3-129-30-2.pddl | None
sat-3-129-30-3.pddl | None
sat-3-129-30-4.pddl | None
sat-3-129-30-5.pddl | None

## bag-barman

num_cols | Full Bitset
--- | ---
prob01.pddl | None
prob02.pddl | None
prob03.pddl | None
prob04.pddl | None
prob05.pddl | None
prob06.pddl | None
prob07.pddl | None
prob08.pddl | None
prob09.pddl | None
prob10.pddl | None
prob11.pddl | None
prob12.pddl | None
prob13.pddl | None
prob14.pddl | None
prob15.pddl | None
prob16.pddl | None
prob17.pddl | None
prob18.pddl | None
prob19.pddl | None
prob20.pddl | None

## bag-gripper

num_cols | Full Bitset
--- | ---
prob01.pddl | None
prob02.pddl | None
prob03.pddl | None
prob04.pddl | None
prob05.pddl | None
prob06.pddl | None
prob07.pddl | None
prob08.pddl | None
prob09.pddl | None
prob10.pddl | None
prob11.pddl | None
prob12.pddl | None
prob13.pddl | None
prob14.pddl | None
prob15.pddl | None
prob16.pddl | None
prob17.pddl | None
prob18.pddl | None
prob19.pddl | None
prob20.pddl | None
prob21.pddl | None
prob22.pddl | None
prob23.pddl | None
prob24.pddl | None
prob25.pddl | None

## bag-transport

num_cols | Full Bitset
--- | ---
prob01.pddl | None
prob02.pddl | 32014
prob03.pddl | None
prob04.pddl | None
prob05.pddl | None
prob06.pddl | None
prob07.pddl | None
prob08.pddl | None
prob09.pddl | None
prob10.pddl | None
prob11.pddl | None
prob12.pddl | None
prob13.pddl | None
prob14.pddl | None
prob15.pddl | None
prob16.pddl | None
prob17.pddl | None
prob18.pddl | None
prob19.pddl | None
prob20.pddl | None
prob21.pddl | None
prob22.pddl | None
prob23.pddl | None
prob24.pddl | None
prob25.pddl | None
prob26.pddl | None
prob27.pddl | None
prob28.pddl | None
prob29.pddl | None

## bottleneck

num_cols | Full Bitset
--- | ---
prob01.pddl | None
prob02.pddl | None
prob03.pddl | None
prob04.pddl | None
prob05.pddl | None
prob06.pddl | None
prob07.pddl | None
prob08.pddl | None
prob09.pddl | 41849
prob10.pddl | 45571
prob11.pddl | 49444
prob12.pddl | 53468
prob13.pddl | None
prob14.pddl | None
prob15.pddl | None
prob16.pddl | None
prob17.pddl | None
prob18.pddl | None
prob19.pddl | None
prob20.pddl | None
prob21.pddl | None
prob22.pddl | None
prob23.pddl | None
prob24.pddl | None
prob25.pddl | None

## cave-diving

num_cols | Full Bitset
--- | ---
prob01.pddl | 30059
prob02.pddl | 21737
prob03.pddl | 14771
prob04.pddl | 9161
prob05.pddl | None
prob06.pddl | None
prob07.pddl | None
prob08.pddl | None
prob09.pddl | 74975
prob10.pddl | 22496
prob11.pddl | None
prob12.pddl | None
prob13.pddl | None
prob14.pddl | 73241
prob15.pddl | 17078
prob16.pddl | None
prob17.pddl | None
prob18.pddl | None
prob19.pddl | None
prob20.pddl | None
prob21.pddl | None
prob22.pddl | None
prob23.pddl | None
prob24.pddl | None
prob25.pddl | None

## chessboard-pebbling

num_cols | Full Bitset
--- | ---
prob03.pddl | 3652
prob04.pddl | 8131
prob05.pddl | 15724
prob06.pddl | 27589
prob07.pddl | 45064
prob08.pddl | 69667
prob09.pddl | 103096
prob10.pddl | None
prob11.pddl | None
prob12.pddl | None
prob13.pddl | None
prob14.pddl | None
prob15.pddl | None
prob16.pddl | None
prob17.pddl | None
prob18.pddl | None
prob19.pddl | None
prob20.pddl | None
prob21.pddl | None
prob22.pddl | None
prob23.pddl | None
prob24.pddl | None
prob25.pddl | None

## document-transfer

num_cols | Full Bitset
--- | ---
prob01.pddl | None
prob02.pddl | 41165
prob03.pddl | None
prob04.pddl | None
prob05.pddl | None
prob06.pddl | None
prob07.pddl | None
prob08.pddl | None
prob09.pddl | None
prob10.pddl | None
prob11.pddl | None
prob12.pddl | None
prob13.pddl | None
prob14.pddl | None
prob15.pddl | None
prob16.pddl | None
prob17.pddl | None
prob18.pddl | None
prob19.pddl | 45481
prob20.pddl | None

## mystery

num_cols | Full Bitset
--- | ---
prob04.pddl | None
prob05.pddl | None
prob08.pddl | None
prob12.pddl | None
prob16.pddl | None
prob21.pddl | None
prob22.pddl | None
prob23.pddl | None
prob24.pddl | None

## over-nomystery

num_cols | Full Bitset
--- | ---
prob01.pddl | None
prob02.pddl | None
prob03.pddl | None
prob04.pddl | None
prob05.pddl | None
prob06.pddl | 26114
prob07.pddl | 39696
prob08.pddl | None
prob09.pddl | None
prob10.pddl | None
prob11.pddl | 30076
prob12.pddl | 45758
prob13.pddl | None
prob14.pddl | None
prob15.pddl | None
prob16.pddl | 30359
prob17.pddl | 45758
prob18.pddl | None
prob19.pddl | None
prob20.pddl | None
prob21.pddl | 43792
prob22.pddl | None
prob23.pddl | None
prob24.pddl | None

## over-rovers

num_cols | Full Bitset
--- | ---
prob01.pddl | None
prob02.pddl | None
prob03.pddl | 10951
prob04.pddl | 31210
prob05.pddl | None
prob06.pddl | 63061
prob07.pddl | None
prob08.pddl | 47478
prob09.pddl | 46401
prob10.pddl | None
prob11.pddl | None
prob12.pddl | None
prob13.pddl | None
prob14.pddl | None
prob15.pddl | None
prob16.pddl | None
prob17.pddl | None
prob18.pddl | None
prob19.pddl | None
prob20.pddl | None

## over-tpp

num_cols | Full Bitset
--- | ---
prob01.pddl | 7605
prob02.pddl | None
prob03.pddl | 17903
prob04.pddl | 29798
prob05.pddl | 27845
prob06.pddl | 40932
prob07.pddl | 59607
prob08.pddl | 75412
prob09.pddl | None
prob10.pddl | None
prob11.pddl | None
prob12.pddl | None
prob13.pddl | None
prob14.pddl | None
prob15.pddl | None
prob16.pddl | 16053
prob17.pddl | 23491
prob18.pddl | 37343
prob19.pddl | 61367
prob20.pddl | 55509
prob21.pddl | 81583
prob22.pddl | None
prob23.pddl | None
prob24.pddl | None
prob25.pddl | None
prob26.pddl | None
prob27.pddl | None
prob28.pddl | None
prob29.pddl | None
prob30.pddl | None

## pegsol

num_cols | Full Bitset
--- | ---
prob05.pddl | 4459
prob06.pddl | 4459
prob09.pddl | 4459
prob10.pddl | 4459
prob11.pddl | 4459
prob12.pddl | 4459
prob13.pddl | 4459
prob14.pddl | 4459
prob15.pddl | 4459
prob16.pddl | 4459
prob17.pddl | 4459
prob18.pddl | 4459
prob19.pddl | 4459
prob20.pddl | 4459
prob21.pddl | 4459
prob22.pddl | 4459
prob23.pddl | 4459
prob24.pddl | 4459
prob25.pddl | 4459
prob26.pddl | 4459
prob27.pddl | 4459
prob28.pddl | 4459
prob29.pddl | 4459
prob30.pddl | 4459

## pegsol-row5

num_cols | Full Bitset
--- | ---
prob01.pddl | 3
prob02.pddl | None
prob03.pddl | None
prob04.pddl | 11159
prob05.pddl | 22410
prob06.pddl | 40106
prob07.pddl | 66215
prob08.pddl | 102957
prob09.pddl | None
prob10.pddl | None
prob11.pddl | None
prob12.pddl | None
prob13.pddl | None
prob14.pddl | None
prob15.pddl | None

## sliding-tiles

num_cols | Full Bitset
--- | ---
prob01.pddl | 4487
prob02.pddl | 4487
prob03.pddl | 4487
prob04.pddl | 4487
prob05.pddl | 4487
prob06.pddl | 4487
prob07.pddl | 4487
prob08.pddl | 4487
prob09.pddl | 4487
prob10.pddl | 4487
prob11.pddl | 13654
prob12.pddl | 13654
prob13.pddl | 13654
prob14.pddl | 13654
prob15.pddl | 13654
prob16.pddl | 13654
prob17.pddl | 13389
prob18.pddl | 13654
prob19.pddl | 13654
prob20.pddl | 13654
prob24.pddl | None

## tetris

num_cols | Full Bitset
--- | ---
prob01.pddl | None
prob02.pddl | None
prob03.pddl | None
prob04.pddl | None
prob05.pddl | None
prob06.pddl | None
prob07.pddl | None
prob08.pddl | None
prob09.pddl | None
prob10.pddl | None
prob11.pddl | None
prob12.pddl | None
prob13.pddl | None
prob14.pddl | None
prob15.pddl | None
prob16.pddl | None
prob17.pddl | None
prob18.pddl | None
prob19.pddl | None
prob20.pddl | None

## unsat-nomystery

num_cols | Full Bitset
--- | ---
nomystery-problem-05-9-9-1-01.pddl | 22480
nomystery-problem-05-9-9-1-02.pddl | None
nomystery-problem-05-9-9-1-03.pddl | 26786
nomystery-problem-05-9-9-1-04.pddl | None
nomystery-problem-05-9-9-1-05.pddl | 27420
nomystery-problem-05-9-9-2-01.pddl | None
nomystery-problem-05-9-9-2-02.pddl | None
nomystery-problem-05-9-9-2-03.pddl | None
nomystery-problem-05-9-9-2-04.pddl | None
nomystery-problem-05-9-9-2-05.pddl | None
nomystery-problem-05-9-9-3-01.pddl | 24178
nomystery-problem-05-9-9-3-02.pddl | None
nomystery-problem-05-9-9-3-03.pddl | None
nomystery-problem-05-9-9-3-04.pddl | None
nomystery-problem-05-9-9-3-05.pddl | None
nomystery-problem-05-9-9-4-01.pddl | 23566
nomystery-problem-05-9-9-4-02.pddl | 24780
nomystery-problem-05-9-9-4-03.pddl | None
nomystery-problem-05-9-9-4-04.pddl | None
nomystery-problem-05-9-9-4-05.pddl | None
nomystery-problem-05-9-9-5-01.pddl | None
nomystery-problem-05-9-9-5-02.pddl | None
nomystery-problem-05-9-9-5-03.pddl | None
nomystery-problem-05-9-9-5-04.pddl | None
nomystery-problem-05-9-9-5-05.pddl | None
nomystery-problem-05-12-15-01.pddl | None
nomystery-problem-05-12-15-02.pddl | None
nomystery-problem-05-12-15-03.pddl | None
nomystery-problem-05-12-15-04.pddl | None
nomystery-problem-05-12-15-05.pddl | None
nomystery-problem-06-9-9-1-01.pddl | 26020
nomystery-problem-06-9-9-1-02.pddl | 31236
nomystery-problem-06-9-9-1-03.pddl | 31454
nomystery-problem-06-9-9-1-04.pddl | 30980
nomystery-problem-06-9-9-1-05.pddl | 32746
nomystery-problem-06-9-9-2-01.pddl | 23782
nomystery-problem-06-9-9-2-02.pddl | None
nomystery-problem-06-9-9-2-03.pddl | None
nomystery-problem-06-9-9-2-04.pddl | None
nomystery-problem-06-9-9-2-05.pddl | None
nomystery-problem-06-9-9-3-01.pddl | 28072
nomystery-problem-06-9-9-3-02.pddl | 28083
nomystery-problem-06-9-9-3-03.pddl | 30559
nomystery-problem-06-9-9-3-04.pddl | None
nomystery-problem-06-9-9-3-05.pddl | None
nomystery-problem-06-9-9-4-01.pddl | 27460
nomystery-problem-06-9-9-4-02.pddl | 30197
nomystery-problem-06-9-9-4-03.pddl | 29629
nomystery-problem-06-9-9-4-04.pddl | 29011
nomystery-problem-06-9-9-4-05.pddl | 29196
nomystery-problem-06-9-9-5-01.pddl | 24184
nomystery-problem-06-9-9-5-02.pddl | None
nomystery-problem-06-9-9-5-03.pddl | None
nomystery-problem-06-9-9-5-04.pddl | None
nomystery-problem-06-9-9-5-05.pddl | None
nomystery-problem-06-12-15-01.pddl | None
nomystery-problem-06-12-15-02.pddl | None
nomystery-problem-06-12-15-03.pddl | None
nomystery-problem-06-12-15-04.pddl | None
nomystery-problem-06-12-15-05.pddl | None
nomystery-problem-07-9-9-1-01.pddl | 29914
nomystery-problem-07-9-9-1-02.pddl | 36324
nomystery-problem-07-9-9-1-03.pddl | 36264
nomystery-problem-07-9-9-1-04.pddl | 35973
nomystery-problem-07-9-9-1-05.pddl | 37740
nomystery-problem-07-9-9-2-01.pddl | 28030
nomystery-problem-07-9-9-2-02.pddl | 28472
nomystery-problem-07-9-9-2-03.pddl | 29156
nomystery-problem-07-9-9-2-04.pddl | None
nomystery-problem-07-9-9-2-05.pddl | None
nomystery-problem-07-9-9-3-01.pddl | 31966
nomystery-problem-07-9-9-3-02.pddl | 31872
nomystery-problem-07-9-9-3-03.pddl | 35617
nomystery-problem-07-9-9-3-04.pddl | 35350
nomystery-problem-07-9-9-3-05.pddl | 38062
nomystery-problem-07-9-9-4-01.pddl | 31000
nomystery-problem-07-9-9-4-02.pddl | 34191
nomystery-problem-07-9-9-4-03.pddl | 33319
nomystery-problem-07-9-9-4-04.pddl | 33636
nomystery-problem-07-9-9-4-05.pddl | 33248
nomystery-problem-07-9-9-5-01.pddl | 27724
nomystery-problem-07-9-9-5-02.pddl | 28195
nomystery-problem-07-9-9-5-03.pddl | None
nomystery-problem-07-9-9-5-04.pddl | 27802
nomystery-problem-07-9-9-5-05.pddl | 30794
nomystery-problem-07-12-15-01.pddl | None
nomystery-problem-07-12-15-02.pddl | None
nomystery-problem-07-12-15-03.pddl | None
nomystery-problem-07-12-15-04.pddl | None
nomystery-problem-07-12-15-05.pddl | None
nomystery-problem-08-9-9-1-01.pddl | 33454
nomystery-problem-08-9-9-1-02.pddl | 41112
nomystery-problem-08-9-9-1-03.pddl | 41732
nomystery-problem-08-9-9-1-04.pddl | 41026
nomystery-problem-08-9-9-1-05.pddl | 43265
nomystery-problem-08-9-9-2-01.pddl | 32278
nomystery-problem-08-9-9-2-02.pddl | 32662
nomystery-problem-08-9-9-2-03.pddl | 34240
nomystery-problem-08-9-9-2-04.pddl | 31444
nomystery-problem-08-9-9-2-05.pddl | 30794
nomystery-problem-08-9-9-3-01.pddl | 35860
nomystery-problem-08-9-9-3-02.pddl | 38897
nomystery-problem-08-9-9-3-03.pddl | 40598
nomystery-problem-08-9-9-3-04.pddl | 39940
nomystery-problem-08-9-9-3-05.pddl | 43140
nomystery-problem-08-9-9-4-01.pddl | 34894
nomystery-problem-08-9-9-4-02.pddl | 38760
nomystery-problem-08-9-9-4-03.pddl | 37471
nomystery-problem-08-9-9-4-04.pddl | 37632
nomystery-problem-08-9-9-4-05.pddl | 37792
nomystery-problem-08-9-9-5-01.pddl | 31264
nomystery-problem-08-9-9-5-02.pddl | 35021
nomystery-problem-08-9-9-5-03.pddl | 35450
nomystery-problem-08-9-9-5-04.pddl | 31684
nomystery-problem-08-9-9-5-05.pddl | 35324
nomystery-problem-08-12-15-01.pddl | None
nomystery-problem-08-12-15-02.pddl | None
nomystery-problem-08-12-15-03.pddl | None
nomystery-problem-08-12-15-04.pddl | None
nomystery-problem-08-12-15-05.pddl | None
nomystery-problem-09-9-9-1-01.pddl | 37348
nomystery-problem-09-9-9-1-02.pddl | 46080
nomystery-problem-09-9-9-1-03.pddl | 47264
nomystery-problem-09-9-9-1-04.pddl | 46139
nomystery-problem-09-9-9-1-05.pddl | 48860
nomystery-problem-09-9-9-2-01.pddl | 36526
nomystery-problem-09-9-9-2-02.pddl | 36852
nomystery-problem-09-9-9-2-03.pddl | 39660
nomystery-problem-09-9-9-2-04.pddl | 36452
nomystery-problem-09-9-9-2-05.pddl | 36216
nomystery-problem-09-9-9-3-01.pddl | 39754
nomystery-problem-09-9-9-3-02.pddl | 43513
nomystery-problem-09-9-9-3-03.pddl | 45178
nomystery-problem-09-9-9-3-04.pddl | 45044
nomystery-problem-09-9-9-3-05.pddl | 48741
nomystery-problem-09-9-9-4-01.pddl | 38788
nomystery-problem-09-9-9-4-02.pddl | 43389
nomystery-problem-09-9-9-4-03.pddl | 41721
nomystery-problem-09-9-9-4-04.pddl | 42177
nomystery-problem-09-9-9-4-05.pddl | 41928
nomystery-problem-09-9-9-5-01.pddl | 34804
nomystery-problem-09-9-9-5-02.pddl | 39085
nomystery-problem-09-9-9-5-03.pddl | 39706
nomystery-problem-09-9-9-5-04.pddl | 36164
nomystery-problem-09-9-9-5-05.pddl | 39904
nomystery-problem-09-12-15-01.pddl | None
nomystery-problem-09-12-15-02.pddl | None
nomystery-problem-09-12-15-03.pddl | None
nomystery-problem-09-12-15-04.pddl | None
nomystery-problem-09-12-15-05.pddl | None

## unsat-rovers

num_cols | Full Bitset
--- | ---
rovers-problem-05-11-1-01.pddl | None
rovers-problem-05-11-1-02.pddl | None
rovers-problem-05-11-1-03.pddl | None
rovers-problem-05-11-1-04.pddl | None
rovers-problem-05-11-1-05.pddl | None
rovers-problem-05-11-2-01.pddl | None
rovers-problem-05-11-2-02.pddl | None
rovers-problem-05-11-2-03.pddl | None
rovers-problem-05-11-2-04.pddl | None
rovers-problem-05-11-2-05.pddl | None
rovers-problem-05-11-3-01.pddl | 93735
rovers-problem-05-11-3-02.pddl | None
rovers-problem-05-11-3-03.pddl | None
rovers-problem-05-11-3-04.pddl | None
rovers-problem-05-11-3-05.pddl | None
rovers-problem-05-11-4-01.pddl | None
rovers-problem-05-11-4-02.pddl | None
rovers-problem-05-11-4-03.pddl | None
rovers-problem-05-11-4-04.pddl | None
rovers-problem-05-11-4-05.pddl | None
rovers-problem-05-11-5-01.pddl | None
rovers-problem-05-11-5-02.pddl | None
rovers-problem-05-11-5-03.pddl | None
rovers-problem-05-11-5-04.pddl | None
rovers-problem-05-11-5-05.pddl | None
rovers-problem-05-15-01.pddl | None
rovers-problem-05-15-02.pddl | None
rovers-problem-05-15-03.pddl | None
rovers-problem-05-15-04.pddl | None
rovers-problem-05-15-05.pddl | None
rovers-problem-06-11-1-01.pddl | None
rovers-problem-06-11-1-02.pddl | None
rovers-problem-06-11-1-03.pddl | None
rovers-problem-06-11-1-04.pddl | None
rovers-problem-06-11-1-05.pddl | None
rovers-problem-06-11-2-01.pddl | None
rovers-problem-06-11-2-02.pddl | None
rovers-problem-06-11-2-03.pddl | None
rovers-problem-06-11-2-04.pddl | None
rovers-problem-06-11-2-05.pddl | None
rovers-problem-06-11-3-01.pddl | None
rovers-problem-06-11-3-02.pddl | 105678
rovers-problem-06-11-3-03.pddl | None
rovers-problem-06-11-3-04.pddl | None
rovers-problem-06-11-3-05.pddl | None
rovers-problem-06-11-4-01.pddl | 84945
rovers-problem-06-11-4-02.pddl | None
rovers-problem-06-11-4-03.pddl | None
rovers-problem-06-11-4-04.pddl | None
rovers-problem-06-11-4-05.pddl | None
rovers-problem-06-11-5-01.pddl | None
rovers-problem-06-11-5-02.pddl | None
rovers-problem-06-11-5-03.pddl | None
rovers-problem-06-11-5-04.pddl | None
rovers-problem-06-11-5-05.pddl | None
rovers-problem-06-15-01.pddl | None
rovers-problem-06-15-02.pddl | None
rovers-problem-06-15-03.pddl | None
rovers-problem-06-15-04.pddl | None
rovers-problem-06-15-05.pddl | None
rovers-problem-07-11-1-01.pddl | 79318
rovers-problem-07-11-1-02.pddl | 73973
rovers-problem-07-11-1-03.pddl | None
rovers-problem-07-11-1-04.pddl | None
rovers-problem-07-11-1-05.pddl | None
rovers-problem-07-11-2-01.pddl | None
rovers-problem-07-11-2-02.pddl | None
rovers-problem-07-11-2-03.pddl | None
rovers-problem-07-11-2-04.pddl | None
rovers-problem-07-11-2-05.pddl | None
rovers-problem-07-11-3-01.pddl | None
rovers-problem-07-11-3-02.pddl | None
rovers-problem-07-11-3-03.pddl | None
rovers-problem-07-11-3-04.pddl | None
rovers-problem-07-11-3-05.pddl | None
rovers-problem-07-11-4-01.pddl | 99015
rovers-problem-07-11-4-02.pddl | None
rovers-problem-07-11-4-03.pddl | None
rovers-problem-07-11-4-04.pddl | None
rovers-problem-07-11-4-05.pddl | None
rovers-problem-07-11-5-01.pddl | None
rovers-problem-07-11-5-02.pddl | None
rovers-problem-07-11-5-03.pddl | None
rovers-problem-07-11-5-04.pddl | None
rovers-problem-07-11-5-05.pddl | None
rovers-problem-07-15-01.pddl | None
rovers-problem-07-15-02.pddl | None
rovers-problem-07-15-03.pddl | None
rovers-problem-07-15-04.pddl | None
rovers-problem-07-15-05.pddl | None
rovers-problem-08-11-1-01.pddl | 89344
rovers-problem-08-11-1-02.pddl | None
rovers-problem-08-11-1-03.pddl | None
rovers-problem-08-11-1-04.pddl | None
rovers-problem-08-11-1-05.pddl | None
rovers-problem-08-11-2-01.pddl | None
rovers-problem-08-11-2-02.pddl | None
rovers-problem-08-11-2-03.pddl | None
rovers-problem-08-11-2-04.pddl | None
rovers-problem-08-11-2-05.pddl | None
rovers-problem-08-11-3-01.pddl | None
rovers-problem-08-11-3-02.pddl | None
rovers-problem-08-11-3-03.pddl | None
rovers-problem-08-11-3-04.pddl | None
rovers-problem-08-11-3-05.pddl | None
rovers-problem-08-11-4-01.pddl | None
rovers-problem-08-11-4-02.pddl | None
rovers-problem-08-11-4-03.pddl | None
rovers-problem-08-11-4-04.pddl | None
rovers-problem-08-11-4-05.pddl | None
rovers-problem-08-11-5-01.pddl | None
rovers-problem-08-11-5-02.pddl | None
rovers-problem-08-11-5-03.pddl | None
rovers-problem-08-11-5-04.pddl | None
rovers-problem-08-11-5-05.pddl | None
rovers-problem-08-15-01.pddl | None
rovers-problem-08-15-02.pddl | None
rovers-problem-08-15-03.pddl | None
rovers-problem-08-15-04.pddl | None
rovers-problem-08-15-05.pddl | None
rovers-problem-09-11-1-01.pddl | 100234
rovers-problem-09-11-1-02.pddl | None
rovers-problem-09-11-1-03.pddl | None
rovers-problem-09-11-1-04.pddl | None
rovers-problem-09-11-1-05.pddl | None
rovers-problem-09-11-2-01.pddl | None
rovers-problem-09-11-2-02.pddl | None
rovers-problem-09-11-2-03.pddl | None
rovers-problem-09-11-2-04.pddl | None
rovers-problem-09-11-2-05.pddl | None
rovers-problem-09-11-3-01.pddl | None
rovers-problem-09-11-3-02.pddl | None
rovers-problem-09-11-3-03.pddl | None
rovers-problem-09-11-3-04.pddl | None
rovers-problem-09-11-3-05.pddl | None
rovers-problem-09-11-4-01.pddl | None
rovers-problem-09-11-4-02.pddl | None
rovers-problem-09-11-4-03.pddl | None
rovers-problem-09-11-4-04.pddl | None
rovers-problem-09-11-4-05.pddl | None
rovers-problem-09-11-5-01.pddl | None
rovers-problem-09-11-5-02.pddl | None
rovers-problem-09-11-5-03.pddl | None
rovers-problem-09-11-5-04.pddl | None
rovers-problem-09-11-5-05.pddl | None
rovers-problem-09-15-01.pddl | None
rovers-problem-09-15-02.pddl | None
rovers-problem-09-15-03.pddl | None
rovers-problem-09-15-04.pddl | None
rovers-problem-09-15-05.pddl | None

## unsat-tpp

num_cols | Full Bitset
--- | ---
tpp-problem-05-01.pddl | None
tpp-problem-05-02.pddl | None
tpp-problem-05-03.pddl | None
tpp-problem-05-04.pddl | None
tpp-problem-05-05.pddl | None
tpp-problem-06-01.pddl | None
tpp-problem-06-02.pddl | None
tpp-problem-06-03.pddl | None
tpp-problem-06-04.pddl | None
tpp-problem-06-05.pddl | None
tpp-problem-07-01.pddl | None
tpp-problem-07-02.pddl | None
tpp-problem-07-03.pddl | None
tpp-problem-07-04.pddl | None
tpp-problem-07-05.pddl | None
tpp-problem-08-01.pddl | None
tpp-problem-08-02.pddl | None
tpp-problem-08-03.pddl | None
tpp-problem-08-04.pddl | None
tpp-problem-08-05.pddl | None
tpp-problem-09-01.pddl | None
tpp-problem-09-02.pddl | None
tpp-problem-09-03.pddl | None
tpp-problem-09-04.pddl | None
tpp-problem-09-05.pddl | None

# num_ops

num_ops | Full Bitset
--- | ---
3unsat (30) | 6630
bag-barman (20) | 373409
bag-gripper (16) | 3386940
bag-transport (22) | 230882
bottleneck (25) | 20026
cave-diving (25) | 175197
chessboard-pebbling (23) | 19803
document-transfer (20) | 128501
mystery (9) | 47278
over-nomystery (24) | 186905
over-rovers (20) | 103315
over-tpp (30) | 151268
pegsol (24) | 1824
pegsol-row5 (15) | 9720
sliding-tiles (21) | 7778
tetris (20) | 211660
unsat-nomystery (150) | 302189
unsat-rovers (150) | 398037
unsat-tpp (25) | 398463
Sum (685) | 6159825

The bottom row reports the sum across all domains.

## 3unsat

num_ops | Full Bitset
--- | ---
sat-3-22-5-1.pddl | 64
sat-3-22-5-2.pddl | 64
sat-3-22-5-3.pddl | 64
sat-3-22-5-4.pddl | 64
sat-3-22-5-5.pddl | 64
sat-3-43-10-1.pddl | 126
sat-3-43-10-2.pddl | 126
sat-3-43-10-3.pddl | 126
sat-3-43-10-4.pddl | 126
sat-3-43-10-5.pddl | 126
sat-3-65-15-1.pddl | 190
sat-3-65-15-2.pddl | 190
sat-3-65-15-3.pddl | 190
sat-3-65-15-4.pddl | 190
sat-3-65-15-5.pddl | 190
sat-3-86-20-1.pddl | 252
sat-3-86-20-2.pddl | 252
sat-3-86-20-3.pddl | 252
sat-3-86-20-4.pddl | 252
sat-3-86-20-5.pddl | 252
sat-3-108-25-1.pddl | 316
sat-3-108-25-2.pddl | 316
sat-3-108-25-3.pddl | 316
sat-3-108-25-4.pddl | 316
sat-3-108-25-5.pddl | 316
sat-3-129-30-1.pddl | 378
sat-3-129-30-2.pddl | 378
sat-3-129-30-3.pddl | 378
sat-3-129-30-4.pddl | 378
sat-3-129-30-5.pddl | 378

## bag-barman

num_ops | Full Bitset
--- | ---
prob01.pddl | 3621
prob02.pddl | 3621
prob03.pddl | 3621
prob04.pddl | 3621
prob05.pddl | 6634
prob06.pddl | 6634
prob07.pddl | 6634
prob08.pddl | 6634
prob09.pddl | 11433
prob10.pddl | 11433
prob11.pddl | 11433
prob12.pddl | 11433
prob13.pddl | 34141
prob14.pddl | 26066
prob15.pddl | 34141
prob16.pddl | 34141
prob17.pddl | 39542
prob18.pddl | 39542
prob19.pddl | 39542
prob20.pddl | 39542

## bag-gripper

num_ops | Full Bitset
--- | ---
prob01.pddl | 60818
prob02.pddl | 182454
prob03.pddl | 63678
prob04.pddl | 168316
prob05.pddl | 189532
prob06.pddl | 262716
prob07.pddl | 104328
prob08.pddl | 136218
prob09.pddl | 408654
prob10.pddl | 207078
prob11.pddl | 205976
prob12.pddl | 370332
prob13.pddl | 285516
prob14.pddl | 289012
prob15.pddl | 241618
prob16.pddl | None
prob17.pddl | None
prob18.pddl | None
prob19.pddl | None
prob20.pddl | None
prob21.pddl | None
prob22.pddl | None
prob23.pddl | 210694
prob24.pddl | None
prob25.pddl | None

## bag-transport

num_ops | Full Bitset
--- | ---
prob01.pddl | 858
prob02.pddl | 1140
prob03.pddl | 620
prob04.pddl | 1157
prob05.pddl | 1734
prob06.pddl | 1375
prob07.pddl | 1738
prob08.pddl | 2811
prob09.pddl | 2330
prob10.pddl | 3387
prob11.pddl | 3025
prob12.pddl | 4782
prob13.pddl | 2957
prob14.pddl | 3717
prob15.pddl | 3042
prob16.pddl | 4460
prob17.pddl | 1831
prob18.pddl | 1984
prob19.pddl | 4004
prob20.pddl | 57688
prob21.pddl | 71762
prob22.pddl | 54480
prob23.pddl | None
prob24.pddl | None
prob25.pddl | None
prob26.pddl | None
prob27.pddl | None
prob28.pddl | None
prob29.pddl | None

## bottleneck

num_ops | Full Bitset
--- | ---
prob01.pddl | 86
prob02.pddl | 112
prob03.pddl | 138
prob04.pddl | 227
prob05.pddl | 259
prob06.pddl | 291
prob07.pddl | 323
prob08.pddl | 464
prob09.pddl | 502
prob10.pddl | 540
prob11.pddl | 578
prob12.pddl | 616
prob13.pddl | 821
prob14.pddl | 865
prob15.pddl | 909
prob16.pddl | 953
prob17.pddl | 997
prob18.pddl | 1041
prob19.pddl | 1322
prob20.pddl | 1372
prob21.pddl | 1422
prob22.pddl | 1472
prob23.pddl | 1522
prob24.pddl | 1572
prob25.pddl | 1622

## cave-diving

num_ops | Full Bitset
--- | ---
prob01.pddl | 517
prob02.pddl | 434
prob03.pddl | 351
prob04.pddl | 268
prob05.pddl | 102
prob06.pddl | 2879
prob07.pddl | 2776
prob08.pddl | 1661
prob09.pddl | 1052
prob10.pddl | 535
prob11.pddl | 2877
prob12.pddl | 2268
prob13.pddl | 1659
prob14.pddl | 1050
prob15.pddl | 441
prob16.pddl | 45597
prob17.pddl | 33729
prob18.pddl | 23686
prob19.pddl | 10159
prob20.pddl | 2081
prob21.pddl | 14617
prob22.pddl | 11707
prob23.pddl | 8797
prob24.pddl | 4432
prob25.pddl | 1522

## chessboard-pebbling

num_ops | Full Bitset
--- | ---
prob03.pddl | 58
prob04.pddl | 89
prob05.pddl | 126
prob06.pddl | 169
prob07.pddl | 218
prob08.pddl | 273
prob09.pddl | 334
prob10.pddl | 401
prob11.pddl | 474
prob12.pddl | 553
prob13.pddl | 638
prob14.pddl | 729
prob15.pddl | 826
prob16.pddl | 929
prob17.pddl | 1038
prob18.pddl | 1153
prob19.pddl | 1274
prob20.pddl | 1401
prob21.pddl | 1534
prob22.pddl | 1673
prob23.pddl | 1818
prob24.pddl | 1969
prob25.pddl | 2126

## document-transfer

num_ops | Full Bitset
--- | ---
prob01.pddl | 4063
prob02.pddl | 997
prob03.pddl | 3490
prob04.pddl | 2122
prob05.pddl | 3872
prob06.pddl | 436
prob07.pddl | 1933
prob08.pddl | 3220
prob09.pddl | 4920
prob10.pddl | 6779
prob11.pddl | 5188
prob12.pddl | 11022
prob13.pddl | 2066
prob14.pddl | 2499
prob15.pddl | 22129
prob16.pddl | 18145
prob17.pddl | 18631
prob18.pddl | 4181
prob19.pddl | 911
prob20.pddl | 11897

## mystery

num_ops | Full Bitset
--- | ---
prob04.pddl | 317
prob05.pddl | 2538
prob08.pddl | 3245
prob12.pddl | 544
prob16.pddl | 2447
prob21.pddl | 6219
prob22.pddl | 19434
prob23.pddl | 7920
prob24.pddl | 4614

## over-nomystery

num_ops | Full Bitset
--- | ---
prob01.pddl | 786
prob02.pddl | 1005
prob03.pddl | 2990
prob04.pddl | 6636
prob05.pddl | 8121
prob06.pddl | 1986
prob07.pddl | 2307
prob08.pddl | 6473
prob09.pddl | 14103
prob10.pddl | 16965
prob11.pddl | 2336
prob12.pddl | 2741
prob13.pddl | 7548
prob14.pddl | 16440
prob15.pddl | 19779
prob16.pddl | 2361
prob17.pddl | 2741
prob18.pddl | 7591
prob19.pddl | 16554
prob20.pddl | 19913
prob21.pddl | 3005
prob22.pddl | 4110
prob23.pddl | 8152
prob24.pddl | 12262

## over-rovers

num_ops | Full Bitset
--- | ---
prob01.pddl | 371
prob02.pddl | 371
prob03.pddl | 344
prob04.pddl | 1079
prob05.pddl | 511
prob06.pddl | 1936
prob07.pddl | 3180
prob08.pddl | 1802
prob09.pddl | 1433
prob10.pddl | 3582
prob11.pddl | 2548
prob12.pddl | 4076
prob13.pddl | 7360
prob14.pddl | 7135
prob15.pddl | 9125
prob16.pddl | 11178
prob17.pddl | 7491
prob18.pddl | 15863
prob19.pddl | 11965
prob20.pddl | 11965

## over-tpp

num_ops | Full Bitset
--- | ---
prob01.pddl | 515
prob02.pddl | 467
prob03.pddl | 880
prob04.pddl | 1366
prob05.pddl | 1124
prob06.pddl | 1962
prob07.pddl | 2622
prob08.pddl | 2633
prob09.pddl | 3135
prob10.pddl | 4332
prob11.pddl | 4509
prob12.pddl | 5528
prob13.pddl | 5971
prob14.pddl | 5598
prob15.pddl | 8531
prob16.pddl | 1208
prob17.pddl | 1115
prob18.pddl | 2000
prob19.pddl | 2998
prob20.pddl | 2416
prob21.pddl | 4086
prob22.pddl | 5422
prob23.pddl | 5513
prob24.pddl | 6619
prob25.pddl | 8938
prob26.pddl | 9297
prob27.pddl | 11356
prob28.pddl | 12235
prob29.pddl | 11478
prob30.pddl | 17414

## pegsol

num_ops | Full Bitset
--- | ---
prob05.pddl | 76
prob06.pddl | 76
prob09.pddl | 76
prob10.pddl | 76
prob11.pddl | 76
prob12.pddl | 76
prob13.pddl | 76
prob14.pddl | 76
prob15.pddl | 76
prob16.pddl | 76
prob17.pddl | 76
prob18.pddl | 76
prob19.pddl | 76
prob20.pddl | 76
prob21.pddl | 76
prob22.pddl | 76
prob23.pddl | 76
prob24.pddl | 76
prob25.pddl | 76
prob26.pddl | 76
prob27.pddl | 76
prob28.pddl | 76
prob29.pddl | 76
prob30.pddl | 76

## pegsol-row5

num_ops | Full Bitset
--- | ---
prob01.pddl | 0
prob02.pddl | 22
prob03.pddl | 98
prob04.pddl | 162
prob05.pddl | 238
prob06.pddl | 326
prob07.pddl | 426
prob08.pddl | 538
prob09.pddl | 662
prob10.pddl | 798
prob11.pddl | 946
prob12.pddl | 1106
prob13.pddl | 1278
prob14.pddl | 1462
prob15.pddl | 1658

## sliding-tiles

num_ops | Full Bitset
--- | ---
prob01.pddl | 201
prob02.pddl | 201
prob03.pddl | 201
prob04.pddl | 201
prob05.pddl | 201
prob06.pddl | 201
prob07.pddl | 201
prob08.pddl | 201
prob09.pddl | 201
prob10.pddl | 201
prob11.pddl | 386
prob12.pddl | 386
prob13.pddl | 386
prob14.pddl | 386
prob15.pddl | 386
prob16.pddl | 386
prob17.pddl | 374
prob18.pddl | 386
prob19.pddl | 386
prob20.pddl | 386
prob24.pddl | 1920

## tetris

num_ops | Full Bitset
--- | ---
prob01.pddl | 3096
prob02.pddl | 3096
prob03.pddl | 3096
prob04.pddl | 3096
prob05.pddl | 3096
prob06.pddl | 5848
prob07.pddl | 5848
prob08.pddl | 5848
prob09.pddl | 5848
prob10.pddl | 5848
prob11.pddl | 10740
prob12.pddl | 10740
prob13.pddl | 10740
prob14.pddl | 10740
prob15.pddl | 10740
prob16.pddl | 22648
prob17.pddl | 22648
prob18.pddl | 22648
prob19.pddl | 22648
prob20.pddl | 22648

## unsat-nomystery

num_ops | Full Bitset
--- | ---
nomystery-problem-05-9-9-1-01.pddl | 1235
nomystery-problem-05-9-9-1-02.pddl | 1080
nomystery-problem-05-9-9-1-03.pddl | 1145
nomystery-problem-05-9-9-1-04.pddl | 1086
nomystery-problem-05-9-9-1-05.pddl | 1171
nomystery-problem-05-9-9-2-01.pddl | 1021
nomystery-problem-05-9-9-2-02.pddl | 751
nomystery-problem-05-9-9-2-03.pddl | 753
nomystery-problem-05-9-9-2-04.pddl | 672
nomystery-problem-05-9-9-2-05.pddl | 628
nomystery-problem-05-9-9-3-01.pddl | 1362
nomystery-problem-05-9-9-3-02.pddl | 1011
nomystery-problem-05-9-9-3-03.pddl | 1134
nomystery-problem-05-9-9-3-04.pddl | 1068
nomystery-problem-05-9-9-3-05.pddl | 1203
nomystery-problem-05-9-9-4-01.pddl | 1331
nomystery-problem-05-9-9-4-02.pddl | 1129
nomystery-problem-05-9-9-4-03.pddl | 1102
nomystery-problem-05-9-9-4-04.pddl | 1093
nomystery-problem-05-9-9-4-05.pddl | 1024
nomystery-problem-05-9-9-5-01.pddl | 1105
nomystery-problem-05-9-9-5-02.pddl | 940
nomystery-problem-05-9-9-5-03.pddl | 899
nomystery-problem-05-9-9-5-04.pddl | 796
nomystery-problem-05-9-9-5-05.pddl | 881
nomystery-problem-05-12-15-01.pddl | 3147
nomystery-problem-05-12-15-02.pddl | 2560
nomystery-problem-05-12-15-03.pddl | 2954
nomystery-problem-05-12-15-04.pddl | 3113
nomystery-problem-05-12-15-05.pddl | 3117
nomystery-problem-06-9-9-1-01.pddl | 1505
nomystery-problem-06-9-9-1-02.pddl | 1425
nomystery-problem-06-9-9-1-03.pddl | 1422
nomystery-problem-06-9-9-1-04.pddl | 1381
nomystery-problem-06-9-9-1-05.pddl | 1489
nomystery-problem-06-9-9-2-01.pddl | 1318
nomystery-problem-06-9-9-2-02.pddl | 994
nomystery-problem-06-9-9-2-03.pddl | 1034
nomystery-problem-06-9-9-2-04.pddl | 908
nomystery-problem-06-9-9-2-05.pddl | 820
nomystery-problem-06-9-9-3-01.pddl | 1659
nomystery-problem-06-9-9-3-02.pddl | 1324
nomystery-problem-06-9-9-3-03.pddl | 1372
nomystery-problem-06-9-9-3-04.pddl | 1338
nomystery-problem-06-9-9-3-05.pddl | 1473
nomystery-problem-06-9-9-4-01.pddl | 1628
nomystery-problem-06-9-9-4-02.pddl | 1458
nomystery-problem-06-9-9-4-03.pddl | 1384
nomystery-problem-06-9-9-4-04.pddl | 1310
nomystery-problem-06-9-9-4-05.pddl | 1303
nomystery-problem-06-9-9-5-01.pddl | 1375
nomystery-problem-06-9-9-5-02.pddl | 1183
nomystery-problem-06-9-9-5-03.pddl | 1144
nomystery-problem-06-9-9-5-04.pddl | 997
nomystery-problem-06-9-9-5-05.pddl | 1125
nomystery-problem-06-12-15-01.pddl | 3813
nomystery-problem-06-12-15-02.pddl | 3115
nomystery-problem-06-12-15-03.pddl | 3546
nomystery-problem-06-12-15-04.pddl | 3705
nomystery-problem-06-12-15-05.pddl | 3746
nomystery-problem-07-9-9-1-01.pddl | 1802
nomystery-problem-07-9-9-1-02.pddl | 1725
nomystery-problem-07-9-9-1-03.pddl | 1705
nomystery-problem-07-9-9-1-04.pddl | 1678
nomystery-problem-07-9-9-1-05.pddl | 1786
nomystery-problem-07-9-9-2-01.pddl | 1642
nomystery-problem-07-9-9-2-02.pddl | 1357
nomystery-problem-07-9-9-2-03.pddl | 1310
nomystery-problem-07-9-9-2-04.pddl | 1145
nomystery-problem-07-9-9-2-05.pddl | 1043
nomystery-problem-07-9-9-3-01.pddl | 1956
nomystery-problem-07-9-9-3-02.pddl | 1567
nomystery-problem-07-9-9-3-03.pddl | 1662
nomystery-problem-07-9-9-3-04.pddl | 1635
nomystery-problem-07-9-9-3-05.pddl | 1797
nomystery-problem-07-9-9-4-01.pddl | 1898
nomystery-problem-07-9-9-4-02.pddl | 1696
nomystery-problem-07-9-9-4-03.pddl | 1603
nomystery-problem-07-9-9-4-04.pddl | 1579
nomystery-problem-07-9-9-4-05.pddl | 1546
nomystery-problem-07-9-9-5-01.pddl | 1645
nomystery-problem-07-9-9-5-02.pddl | 1399
nomystery-problem-07-9-9-5-03.pddl | 1438
nomystery-problem-07-9-9-5-04.pddl | 1220
nomystery-problem-07-9-9-5-05.pddl | 1391
nomystery-problem-07-12-15-01.pddl | 4442
nomystery-problem-07-12-15-02.pddl | 3633
nomystery-problem-07-12-15-03.pddl | 4175
nomystery-problem-07-12-15-04.pddl | 4334
nomystery-problem-07-12-15-05.pddl | 4375
nomystery-problem-08-9-9-1-01.pddl | 2072
nomystery-problem-08-9-9-1-02.pddl | 2006
nomystery-problem-08-9-9-1-03.pddl | 2029
nomystery-problem-08-9-9-1-04.pddl | 1975
nomystery-problem-08-9-9-1-05.pddl | 2110
nomystery-problem-08-9-9-2-01.pddl | 1966
nomystery-problem-08-9-9-2-02.pddl | 1627
nomystery-problem-08-9-9-2-03.pddl | 1597
nomystery-problem-08-9-9-2-04.pddl | 1413
nomystery-problem-08-9-9-2-05.pddl | 1335
nomystery-problem-08-9-9-3-01.pddl | 2253
nomystery-problem-08-9-9-3-02.pddl | 1926
nomystery-problem-08-9-9-3-03.pddl | 1959
nomystery-problem-08-9-9-3-04.pddl | 1905
nomystery-problem-08-9-9-3-05.pddl | 2094
nomystery-problem-08-9-9-4-01.pddl | 2195
nomystery-problem-08-9-9-4-02.pddl | 1971
nomystery-problem-08-9-9-4-03.pddl | 1849
nomystery-problem-08-9-9-4-04.pddl | 1816
nomystery-problem-08-9-9-4-05.pddl | 1816
nomystery-problem-08-9-9-5-01.pddl | 1915
nomystery-problem-08-9-9-5-02.pddl | 1758
nomystery-problem-08-9-9-5-03.pddl | 1707
nomystery-problem-08-9-9-5-04.pddl | 1449
nomystery-problem-08-9-9-5-05.pddl | 1661
nomystery-problem-08-12-15-01.pddl | 5108
nomystery-problem-08-12-15-02.pddl | 4188
nomystery-problem-08-12-15-03.pddl | 4804
nomystery-problem-08-12-15-04.pddl | 4963
nomystery-problem-08-12-15-05.pddl | 5004
nomystery-problem-09-9-9-1-01.pddl | 2369
nomystery-problem-09-9-9-1-02.pddl | 2299
nomystery-problem-09-9-9-1-03.pddl | 2353
nomystery-problem-09-9-9-1-04.pddl | 2272
nomystery-problem-09-9-9-1-05.pddl | 2434
nomystery-problem-09-9-9-2-01.pddl | 2290
nomystery-problem-09-9-9-2-02.pddl | 1897
nomystery-problem-09-9-9-2-03.pddl | 1908
nomystery-problem-09-9-9-2-04.pddl | 1701
nomystery-problem-09-9-9-2-05.pddl | 1655
nomystery-problem-09-9-9-3-01.pddl | 2550
nomystery-problem-09-9-9-3-02.pddl | 2199
nomystery-problem-09-9-9-3-03.pddl | 2229
nomystery-problem-09-9-9-3-04.pddl | 2202
nomystery-problem-09-9-9-3-05.pddl | 2418
nomystery-problem-09-9-9-4-01.pddl | 2492
nomystery-problem-09-9-9-4-02.pddl | 2248
nomystery-problem-09-9-9-4-03.pddl | 2101
nomystery-problem-09-9-9-4-04.pddl | 2086
nomystery-problem-09-9-9-4-05.pddl | 2059
nomystery-problem-09-9-9-5-01.pddl | 2185
nomystery-problem-09-9-9-5-02.pddl | 2006
nomystery-problem-09-9-9-5-03.pddl | 1955
nomystery-problem-09-9-9-5-04.pddl | 1715
nomystery-problem-09-9-9-5-05.pddl | 1931
nomystery-problem-09-12-15-01.pddl | 5774
nomystery-problem-09-12-15-02.pddl | 4743
nomystery-problem-09-12-15-03.pddl | 5433
nomystery-problem-09-12-15-04.pddl | 5592
nomystery-problem-09-12-15-05.pddl | 5633

## unsat-rovers

num_ops | Full Bitset
--- | ---
rovers-problem-05-11-1-01.pddl | 1058
rovers-problem-05-11-1-02.pddl | 924
rovers-problem-05-11-1-03.pddl | 1390
rovers-problem-05-11-1-04.pddl | 1314
rovers-problem-05-11-1-05.pddl | 1282
rovers-problem-05-11-2-01.pddl | 1519
rovers-problem-05-11-2-02.pddl | 1044
rovers-problem-05-11-2-03.pddl | 1623
rovers-problem-05-11-2-04.pddl | 1664
rovers-problem-05-11-2-05.pddl | 1630
rovers-problem-05-11-3-01.pddl | 1893
rovers-problem-05-11-3-02.pddl | 1558
rovers-problem-05-11-3-03.pddl | 2018
rovers-problem-05-11-3-04.pddl | 1765
rovers-problem-05-11-3-05.pddl | 1799
rovers-problem-05-11-4-01.pddl | 1472
rovers-problem-05-11-4-02.pddl | 1017
rovers-problem-05-11-4-03.pddl | 878
rovers-problem-05-11-4-04.pddl | 1543
rovers-problem-05-11-4-05.pddl | 1619
rovers-problem-05-11-5-01.pddl | 2324
rovers-problem-05-11-5-02.pddl | 2122
rovers-problem-05-11-5-03.pddl | 1726
rovers-problem-05-11-5-04.pddl | 2143
rovers-problem-05-11-5-05.pddl | 2029
rovers-problem-05-15-01.pddl | 3849
rovers-problem-05-15-02.pddl | 3427
rovers-problem-05-15-03.pddl | 3520
rovers-problem-05-15-04.pddl | 4335
rovers-problem-05-15-05.pddl | 1762
rovers-problem-06-11-1-01.pddl | 1217
rovers-problem-06-11-1-02.pddl | 1026
rovers-problem-06-11-1-03.pddl | 1563
rovers-problem-06-11-1-04.pddl | 1479
rovers-problem-06-11-1-05.pddl | 1327
rovers-problem-06-11-2-01.pddl | 1874
rovers-problem-06-11-2-02.pddl | 1958
rovers-problem-06-11-2-03.pddl | 1744
rovers-problem-06-11-2-04.pddl | 1830
rovers-problem-06-11-2-05.pddl | 1836
rovers-problem-06-11-3-01.pddl | 2334
rovers-problem-06-11-3-02.pddl | 1943
rovers-problem-06-11-3-03.pddl | 2354
rovers-problem-06-11-3-04.pddl | 2063
rovers-problem-06-11-3-05.pddl | 2115
rovers-problem-06-11-4-01.pddl | 1807
rovers-problem-06-11-4-02.pddl | 1166
rovers-problem-06-11-4-03.pddl | 1017
rovers-problem-06-11-4-04.pddl | 1746
rovers-problem-06-11-4-05.pddl | 1836
rovers-problem-06-11-5-01.pddl | 2807
rovers-problem-06-11-5-02.pddl | 2545
rovers-problem-06-11-5-03.pddl | 2543
rovers-problem-06-11-5-04.pddl | 2481
rovers-problem-06-11-5-05.pddl | 2384
rovers-problem-06-15-01.pddl | 4722
rovers-problem-06-15-02.pddl | 4134
rovers-problem-06-15-03.pddl | 4227
rovers-problem-06-15-04.pddl | 5244
rovers-problem-06-15-05.pddl | 2023
rovers-problem-07-11-1-01.pddl | 1339
rovers-problem-07-11-1-02.pddl | 1126
rovers-problem-07-11-1-03.pddl | 1690
rovers-problem-07-11-1-04.pddl | 1598
rovers-problem-07-11-1-05.pddl | 1574
rovers-problem-07-11-2-01.pddl | 2158
rovers-problem-07-11-2-02.pddl | 2182
rovers-problem-07-11-2-03.pddl | 1920
rovers-problem-07-11-2-04.pddl | 2014
rovers-problem-07-11-2-05.pddl | 1981
rovers-problem-07-11-3-01.pddl | 2775
rovers-problem-07-11-3-02.pddl | 2774
rovers-problem-07-11-3-03.pddl | 2723
rovers-problem-07-11-3-04.pddl | 2387
rovers-problem-07-11-3-05.pddl | 2573
rovers-problem-07-11-4-01.pddl | 2142
rovers-problem-07-11-4-02.pddl | 2057
rovers-problem-07-11-4-03.pddl | 1856
rovers-problem-07-11-4-04.pddl | 1930
rovers-problem-07-11-4-05.pddl | 2026
rovers-problem-07-11-5-01.pddl | 3290
rovers-problem-07-11-5-02.pddl | 2968
rovers-problem-07-11-5-03.pddl | 2848
rovers-problem-07-11-5-04.pddl | 2908
rovers-problem-07-11-5-05.pddl | 2744
rovers-problem-07-15-01.pddl | 5498
rovers-problem-07-15-02.pddl | 4841
rovers-problem-07-15-03.pddl | 4934
rovers-problem-07-15-04.pddl | 6254
rovers-problem-07-15-05.pddl | 2433
rovers-problem-08-11-1-01.pddl | 1538
rovers-problem-08-11-1-02.pddl | 1782
rovers-problem-08-11-1-03.pddl | 1780
rovers-problem-08-11-1-04.pddl | 1684
rovers-problem-08-11-1-05.pddl | 1804
rovers-problem-08-11-2-01.pddl | 2513
rovers-problem-08-11-2-02.pddl | 2471
rovers-problem-08-11-2-03.pddl | 2116
rovers-problem-08-11-2-04.pddl | 2220
rovers-problem-08-11-2-05.pddl | 2244
rovers-problem-08-11-3-01.pddl | 3216
rovers-problem-08-11-3-02.pddl | 3173
rovers-problem-08-11-3-03.pddl | 3167
rovers-problem-08-11-3-04.pddl | 2788
rovers-problem-08-11-3-05.pddl | 2994
rovers-problem-08-11-4-01.pddl | 2477
rovers-problem-08-11-4-02.pddl | 2320
rovers-problem-08-11-4-03.pddl | 2062
rovers-problem-08-11-4-04.pddl | 2183
rovers-problem-08-11-4-05.pddl | 2293
rovers-problem-08-11-5-01.pddl | 3773
rovers-problem-08-11-5-02.pddl | 3727
rovers-problem-08-11-5-03.pddl | 3257
rovers-problem-08-11-5-04.pddl | 3359
rovers-problem-08-11-5-05.pddl | 3215
rovers-problem-08-15-01.pddl | 6371
rovers-problem-08-15-02.pddl | 5548
rovers-problem-08-15-03.pddl | 5641
rovers-problem-08-15-04.pddl | 7163
rovers-problem-08-15-05.pddl | 2861
rovers-problem-09-11-1-01.pddl | 1755
rovers-problem-09-11-1-02.pddl | 2034
rovers-problem-09-11-1-03.pddl | 1923
rovers-problem-09-11-1-04.pddl | 1774
rovers-problem-09-11-1-05.pddl | 1947
rovers-problem-09-11-2-01.pddl | 2797
rovers-problem-09-11-2-02.pddl | 2729
rovers-problem-09-11-2-03.pddl | 2332
rovers-problem-09-11-2-04.pddl | 2450
rovers-problem-09-11-2-05.pddl | 2474
rovers-problem-09-11-3-01.pddl | 3657
rovers-problem-09-11-3-02.pddl | 3578
rovers-problem-09-11-3-03.pddl | 3560
rovers-problem-09-11-3-04.pddl | 3140
rovers-problem-09-11-3-05.pddl | 3425
rovers-problem-09-11-4-01.pddl | 2812
rovers-problem-09-11-4-02.pddl | 2564
rovers-problem-09-11-4-03.pddl | 2341
rovers-problem-09-11-4-04.pddl | 2405
rovers-problem-09-11-4-05.pddl | 2584
rovers-problem-09-11-5-01.pddl | 4256
rovers-problem-09-11-5-02.pddl | 4268
rovers-problem-09-11-5-03.pddl | 3680
rovers-problem-09-11-5-04.pddl | 3836
rovers-problem-09-11-5-05.pddl | 3629
rovers-problem-09-15-01.pddl | 7147
rovers-problem-09-15-02.pddl | 6255
rovers-problem-09-15-03.pddl | 6348
rovers-problem-09-15-04.pddl | 8173
rovers-problem-09-15-05.pddl | 3289

## unsat-tpp

num_ops | Full Bitset
--- | ---
tpp-problem-05-01.pddl | 7795
tpp-problem-05-02.pddl | 7616
tpp-problem-05-03.pddl | 10311
tpp-problem-05-04.pddl | 12311
tpp-problem-05-05.pddl | 12066
tpp-problem-06-01.pddl | 10256
tpp-problem-06-02.pddl | 10102
tpp-problem-06-03.pddl | 13298
tpp-problem-06-04.pddl | 15735
tpp-problem-06-05.pddl | 15458
tpp-problem-07-01.pddl | 12717
tpp-problem-07-02.pddl | 12701
tpp-problem-07-03.pddl | 16285
tpp-problem-07-04.pddl | 19159
tpp-problem-07-05.pddl | 18744
tpp-problem-08-01.pddl | 15285
tpp-problem-08-02.pddl | 15300
tpp-problem-08-03.pddl | 19272
tpp-problem-08-04.pddl | 22583
tpp-problem-08-05.pddl | 22136
tpp-problem-09-01.pddl | 17746
tpp-problem-09-02.pddl | 17899
tpp-problem-09-03.pddl | 22259
tpp-problem-09-04.pddl | 26007
tpp-problem-09-05.pddl | 25422

# num_rows

num_rows | Full Bitset
--- | ---
3unsat (25) | 1361071
bag-transport (1) | 104637
bottleneck (4) | 445012
cave-diving (8) | 611297
chessboard-pebbling (7) | 308700
document-transfer (2) | 405308
over-nomystery (7) | 1395362
over-rovers (5) | 451832
over-tpp (13) | 1527237
pegsol (24) | 101604
pegsol-row5 (6) | 381806
sliding-tiles (20) | 480078
unsat-nomystery (93) | 14970320
unsat-rovers (8) | 1526841
Sum (685) | 24071105

The bottom row reports the sum across all domains.

## 3unsat

num_rows | Full Bitset
--- | ---
sat-3-22-5-1.pddl | 4855
sat-3-22-5-2.pddl | 4851
sat-3-22-5-3.pddl | 4851
sat-3-22-5-4.pddl | 4843
sat-3-22-5-5.pddl | 4851
sat-3-43-10-1.pddl | 19396
sat-3-43-10-2.pddl | 19396
sat-3-43-10-3.pddl | 19392
sat-3-43-10-4.pddl | 19388
sat-3-43-10-5.pddl | 19396
sat-3-65-15-1.pddl | 44632
sat-3-65-15-2.pddl | 44636
sat-3-65-15-3.pddl | 44632
sat-3-65-15-4.pddl | 44636
sat-3-65-15-5.pddl | 44636
sat-3-86-20-1.pddl | 78855
sat-3-86-20-2.pddl | 78859
sat-3-86-20-3.pddl | 78859
sat-3-86-20-4.pddl | 78859
sat-3-86-20-5.pddl | 78855
sat-3-108-25-1.pddl | 124481
sat-3-108-25-2.pddl | 124481
sat-3-108-25-3.pddl | 124481
sat-3-108-25-4.pddl | 124481
sat-3-108-25-5.pddl | 124469
sat-3-129-30-1.pddl | None
sat-3-129-30-2.pddl | None
sat-3-129-30-3.pddl | None
sat-3-129-30-4.pddl | None
sat-3-129-30-5.pddl | None

## bag-barman

num_rows | Full Bitset
--- | ---
prob01.pddl | None
prob02.pddl | None
prob03.pddl | None
prob04.pddl | None
prob05.pddl | None
prob06.pddl | None
prob07.pddl | None
prob08.pddl | None
prob09.pddl | None
prob10.pddl | None
prob11.pddl | None
prob12.pddl | None
prob13.pddl | None
prob14.pddl | None
prob15.pddl | None
prob16.pddl | None
prob17.pddl | None
prob18.pddl | None
prob19.pddl | None
prob20.pddl | None

## bag-gripper

num_rows | Full Bitset
--- | ---
prob01.pddl | None
prob02.pddl | None
prob03.pddl | None
prob04.pddl | None
prob05.pddl | None
prob06.pddl | None
prob07.pddl | None
prob08.pddl | None
prob09.pddl | None
prob10.pddl | None
prob11.pddl | None
prob12.pddl | None
prob13.pddl | None
prob14.pddl | None
prob15.pddl | None
prob16.pddl | None
prob17.pddl | None
prob18.pddl | None
prob19.pddl | None
prob20.pddl | None
prob21.pddl | None
prob22.pddl | None
prob23.pddl | None
prob24.pddl | None
prob25.pddl | None

## bag-transport

num_rows | Full Bitset
--- | ---
prob01.pddl | None
prob02.pddl | 104637
prob03.pddl | None
prob04.pddl | None
prob05.pddl | None
prob06.pddl | None
prob07.pddl | None
prob08.pddl | None
prob09.pddl | None
prob10.pddl | None
prob11.pddl | None
prob12.pddl | None
prob13.pddl | None
prob14.pddl | None
prob15.pddl | None
prob16.pddl | None
prob17.pddl | None
prob18.pddl | None
prob19.pddl | None
prob20.pddl | None
prob21.pddl | None
prob22.pddl | None
prob23.pddl | None
prob24.pddl | None
prob25.pddl | None
prob26.pddl | None
prob27.pddl | None
prob28.pddl | None
prob29.pddl | None

## bottleneck

num_rows | Full Bitset
--- | ---
prob01.pddl | None
prob02.pddl | None
prob03.pddl | None
prob04.pddl | None
prob05.pddl | None
prob06.pddl | None
prob07.pddl | None
prob08.pddl | None
prob09.pddl | 93301
prob10.pddl | 104861
prob11.pddl | 117033
prob12.pddl | 129817
prob13.pddl | None
prob14.pddl | None
prob15.pddl | None
prob16.pddl | None
prob17.pddl | None
prob18.pddl | None
prob19.pddl | None
prob20.pddl | None
prob21.pddl | None
prob22.pddl | None
prob23.pddl | None
prob24.pddl | None
prob25.pddl | None

## cave-diving

num_rows | Full Bitset
--- | ---
prob01.pddl | 62608
prob02.pddl | 44698
prob03.pddl | 29802
prob04.pddl | 17920
prob05.pddl | None
prob06.pddl | None
prob07.pddl | None
prob08.pddl | None
prob09.pddl | 183048
prob10.pddl | 54001
prob11.pddl | None
prob12.pddl | None
prob13.pddl | None
prob14.pddl | 179582
prob15.pddl | 39638
prob16.pddl | None
prob17.pddl | None
prob18.pddl | None
prob19.pddl | None
prob20.pddl | None
prob21.pddl | None
prob22.pddl | None
prob23.pddl | None
prob24.pddl | None
prob25.pddl | None

## chessboard-pebbling

num_rows | Full Bitset
--- | ---
prob03.pddl | 3792
prob04.pddl | 8752
prob05.pddl | 17300
prob06.pddl | 30804
prob07.pddl | 50848
prob08.pddl | 79232
prob09.pddl | 117972
prob10.pddl | None
prob11.pddl | None
prob12.pddl | None
prob13.pddl | None
prob14.pddl | None
prob15.pddl | None
prob16.pddl | None
prob17.pddl | None
prob18.pddl | None
prob19.pddl | None
prob20.pddl | None
prob21.pddl | None
prob22.pddl | None
prob23.pddl | None
prob24.pddl | None
prob25.pddl | None

## document-transfer

num_rows | Full Bitset
--- | ---
prob01.pddl | None
prob02.pddl | 200584
prob03.pddl | None
prob04.pddl | None
prob05.pddl | None
prob06.pddl | None
prob07.pddl | None
prob08.pddl | None
prob09.pddl | None
prob10.pddl | None
prob11.pddl | None
prob12.pddl | None
prob13.pddl | None
prob14.pddl | None
prob15.pddl | None
prob16.pddl | None
prob17.pddl | None
prob18.pddl | None
prob19.pddl | 204724
prob20.pddl | None

## mystery

num_rows | Full Bitset
--- | ---
prob04.pddl | None
prob05.pddl | None
prob08.pddl | None
prob12.pddl | None
prob16.pddl | None
prob21.pddl | None
prob22.pddl | None
prob23.pddl | None
prob24.pddl | None

## over-nomystery

num_rows | Full Bitset
--- | ---
prob01.pddl | None
prob02.pddl | None
prob03.pddl | None
prob04.pddl | None
prob05.pddl | None
prob06.pddl | 125993
prob07.pddl | 220562
prob08.pddl | None
prob09.pddl | None
prob10.pddl | None
prob11.pddl | 153573
prob12.pddl | 271830
prob13.pddl | None
prob14.pddl | None
prob15.pddl | None
prob16.pddl | 155543
prob17.pddl | 271830
prob18.pddl | None
prob19.pddl | None
prob20.pddl | None
prob21.pddl | 196031
prob22.pddl | None
prob23.pddl | None
prob24.pddl | None

## over-rovers

num_rows | Full Bitset
--- | ---
prob01.pddl | None
prob02.pddl | None
prob03.pddl | 13636
prob04.pddl | 64862
prob05.pddl | None
prob06.pddl | 152085
prob07.pddl | None
prob08.pddl | 114607
prob09.pddl | 106642
prob10.pddl | None
prob11.pddl | None
prob12.pddl | None
prob13.pddl | None
prob14.pddl | None
prob15.pddl | None
prob16.pddl | None
prob17.pddl | None
prob18.pddl | None
prob19.pddl | None
prob20.pddl | None

## over-tpp

num_rows | Full Bitset
--- | ---
prob01.pddl | 15506
prob02.pddl | None
prob03.pddl | 39107
prob04.pddl | 74960
prob05.pddl | 67532
prob06.pddl | 114060
prob07.pddl | 174925
prob08.pddl | 224124
prob09.pddl | None
prob10.pddl | None
prob11.pddl | None
prob12.pddl | None
prob13.pddl | None
prob14.pddl | None
prob15.pddl | None
prob16.pddl | 43545
prob17.pddl | 60118
prob18.pddl | 105886
prob19.pddl | 185679
prob20.pddl | 163362
prob21.pddl | 258433
prob22.pddl | None
prob23.pddl | None
prob24.pddl | None
prob25.pddl | None
prob26.pddl | None
prob27.pddl | None
prob28.pddl | None
prob29.pddl | None
prob30.pddl | None

## pegsol

num_rows | Full Bitset
--- | ---
prob05.pddl | 3321
prob06.pddl | 3321
prob09.pddl | 2461
prob10.pddl | 2461
prob11.pddl | 4637
prob12.pddl | 4637
prob13.pddl | 4637
prob14.pddl | 4637
prob15.pddl | 4637
prob16.pddl | 4637
prob17.pddl | 4637
prob18.pddl | 4637
prob19.pddl | 3887
prob20.pddl | 3887
prob21.pddl | 4037
prob22.pddl | 4037
prob23.pddl | 4637
prob24.pddl | 4637
prob25.pddl | 4637
prob26.pddl | 4637
prob27.pddl | 4637
prob28.pddl | 4637
prob29.pddl | 4637
prob30.pddl | 4637

## pegsol-row5

num_rows | Full Bitset
--- | ---
prob01.pddl | 1
prob02.pddl | None
prob03.pddl | None
prob04.pddl | 16465
prob05.pddl | 34155
prob06.pddl | 62403
prob07.pddl | 104523
prob08.pddl | 164259
prob09.pddl | None
prob10.pddl | None
prob11.pddl | None
prob12.pddl | None
prob13.pddl | None
prob14.pddl | None
prob15.pddl | None

## sliding-tiles

num_rows | Full Bitset
--- | ---
prob01.pddl | 9826
prob02.pddl | 9826
prob03.pddl | 9826
prob04.pddl | 9826
prob05.pddl | 9826
prob06.pddl | 9826
prob07.pddl | 9826
prob08.pddl | 9826
prob09.pddl | 9826
prob10.pddl | 9826
prob11.pddl | 38227
prob12.pddl | 38227
prob13.pddl | 38227
prob14.pddl | 38227
prob15.pddl | 38227
prob16.pddl | 38227
prob17.pddl | 37775
prob18.pddl | 38227
prob19.pddl | 38227
prob20.pddl | 38227
prob24.pddl | None

## tetris

num_rows | Full Bitset
--- | ---
prob01.pddl | None
prob02.pddl | None
prob03.pddl | None
prob04.pddl | None
prob05.pddl | None
prob06.pddl | None
prob07.pddl | None
prob08.pddl | None
prob09.pddl | None
prob10.pddl | None
prob11.pddl | None
prob12.pddl | None
prob13.pddl | None
prob14.pddl | None
prob15.pddl | None
prob16.pddl | None
prob17.pddl | None
prob18.pddl | None
prob19.pddl | None
prob20.pddl | None

## unsat-nomystery

num_rows | Full Bitset
--- | ---
nomystery-problem-05-9-9-1-01.pddl | 81163
nomystery-problem-05-9-9-1-02.pddl | None
nomystery-problem-05-9-9-1-03.pddl | 88613
nomystery-problem-05-9-9-1-04.pddl | None
nomystery-problem-05-9-9-1-05.pddl | 108477
nomystery-problem-05-9-9-2-01.pddl | None
nomystery-problem-05-9-9-2-02.pddl | None
nomystery-problem-05-9-9-2-03.pddl | None
nomystery-problem-05-9-9-2-04.pddl | None
nomystery-problem-05-9-9-2-05.pddl | None
nomystery-problem-05-9-9-3-01.pddl | 80079
nomystery-problem-05-9-9-3-02.pddl | None
nomystery-problem-05-9-9-3-03.pddl | None
nomystery-problem-05-9-9-3-04.pddl | None
nomystery-problem-05-9-9-3-05.pddl | None
nomystery-problem-05-9-9-4-01.pddl | 94806
nomystery-problem-05-9-9-4-02.pddl | 92526
nomystery-problem-05-9-9-4-03.pddl | None
nomystery-problem-05-9-9-4-04.pddl | None
nomystery-problem-05-9-9-4-05.pddl | None
nomystery-problem-05-9-9-5-01.pddl | None
nomystery-problem-05-9-9-5-02.pddl | None
nomystery-problem-05-9-9-5-03.pddl | None
nomystery-problem-05-9-9-5-04.pddl | None
nomystery-problem-05-9-9-5-05.pddl | None
nomystery-problem-05-12-15-01.pddl | None
nomystery-problem-05-12-15-02.pddl | None
nomystery-problem-05-12-15-03.pddl | None
nomystery-problem-05-12-15-04.pddl | None
nomystery-problem-05-12-15-05.pddl | None
nomystery-problem-06-9-9-1-01.pddl | 110033
nomystery-problem-06-9-9-1-02.pddl | 125793
nomystery-problem-06-9-9-1-03.pddl | 123466
nomystery-problem-06-9-9-1-04.pddl | 117631
nomystery-problem-06-9-9-1-05.pddl | 154857
nomystery-problem-06-9-9-2-01.pddl | 71718
nomystery-problem-06-9-9-2-02.pddl | None
nomystery-problem-06-9-9-2-03.pddl | None
nomystery-problem-06-9-9-2-04.pddl | None
nomystery-problem-06-9-9-2-05.pddl | None
nomystery-problem-06-9-9-3-01.pddl | 116073
nomystery-problem-06-9-9-3-02.pddl | 81552
nomystery-problem-06-9-9-3-03.pddl | 78305
nomystery-problem-06-9-9-3-04.pddl | None
nomystery-problem-06-9-9-3-05.pddl | None
nomystery-problem-06-9-9-4-01.pddl | 131486
nomystery-problem-06-9-9-4-02.pddl | 130257
nomystery-problem-06-9-9-4-03.pddl | 134225
nomystery-problem-06-9-9-4-04.pddl | 129155
nomystery-problem-06-9-9-4-05.pddl | 150277
nomystery-problem-06-9-9-5-01.pddl | 67874
nomystery-problem-06-9-9-5-02.pddl | None
nomystery-problem-06-9-9-5-03.pddl | None
nomystery-problem-06-9-9-5-04.pddl | None
nomystery-problem-06-9-9-5-05.pddl | None
nomystery-problem-06-12-15-01.pddl | None
nomystery-problem-06-12-15-02.pddl | None
nomystery-problem-06-12-15-03.pddl | None
nomystery-problem-06-12-15-04.pddl | None
nomystery-problem-06-12-15-05.pddl | None
nomystery-problem-07-9-9-1-01.pddl | 141922
nomystery-problem-07-9-9-1-02.pddl | 162509
nomystery-problem-07-9-9-1-03.pddl | 168224
nomystery-problem-07-9-9-1-04.pddl | 165310
nomystery-problem-07-9-9-1-05.pddl | 203702
nomystery-problem-07-9-9-2-01.pddl | 104204
nomystery-problem-07-9-9-2-02.pddl | 89403
nomystery-problem-07-9-9-2-03.pddl | 126095
nomystery-problem-07-9-9-2-04.pddl | None
nomystery-problem-07-9-9-2-05.pddl | None
nomystery-problem-07-9-9-3-01.pddl | 147702
nomystery-problem-07-9-9-3-02.pddl | 112120
nomystery-problem-07-9-9-3-03.pddl | 116226
nomystery-problem-07-9-9-3-04.pddl | 93562
nomystery-problem-07-9-9-3-05.pddl | 121978
nomystery-problem-07-9-9-4-01.pddl | 160476
nomystery-problem-07-9-9-4-02.pddl | 173956
nomystery-problem-07-9-9-4-03.pddl | 163300
nomystery-problem-07-9-9-4-04.pddl | 173462
nomystery-problem-07-9-9-4-05.pddl | 205005
nomystery-problem-07-9-9-5-01.pddl | 96356
nomystery-problem-07-9-9-5-02.pddl | 79308
nomystery-problem-07-9-9-5-03.pddl | None
nomystery-problem-07-9-9-5-04.pddl | 63850
nomystery-problem-07-9-9-5-05.pddl | 107615
nomystery-problem-07-12-15-01.pddl | None
nomystery-problem-07-12-15-02.pddl | None
nomystery-problem-07-12-15-03.pddl | None
nomystery-problem-07-12-15-04.pddl | None
nomystery-problem-07-12-15-05.pddl | None
nomystery-problem-08-9-9-1-01.pddl | 170912
nomystery-problem-08-9-9-1-02.pddl | 209989
nomystery-problem-08-9-9-1-03.pddl | 211280
nomystery-problem-08-9-9-1-04.pddl | 234249
nomystery-problem-08-9-9-1-05.pddl | 261960
nomystery-problem-08-9-9-2-01.pddl | 138536
nomystery-problem-08-9-9-2-02.pddl | 118889
nomystery-problem-08-9-9-2-03.pddl | 164931
nomystery-problem-08-9-9-2-04.pddl | 153698
nomystery-problem-08-9-9-2-05.pddl | 151757
nomystery-problem-08-9-9-3-01.pddl | 179591
nomystery-problem-08-9-9-3-02.pddl | 145556
nomystery-problem-08-9-9-3-03.pddl | 151199
nomystery-problem-08-9-9-3-04.pddl | 140408
nomystery-problem-08-9-9-3-05.pddl | 180058
nomystery-problem-08-9-9-4-01.pddl | 192365
nomystery-problem-08-9-9-4-02.pddl | 208434
nomystery-problem-08-9-9-4-03.pddl | 204506
nomystery-problem-08-9-9-4-04.pddl | 246211
nomystery-problem-08-9-9-4-05.pddl | 253071
nomystery-problem-08-9-9-5-01.pddl | 125346
nomystery-problem-08-9-9-5-02.pddl | 116114
nomystery-problem-08-9-9-5-03.pddl | 115510
nomystery-problem-08-9-9-5-04.pddl | 95920
nomystery-problem-08-9-9-5-05.pddl | 144355
nomystery-problem-08-12-15-01.pddl | None
nomystery-problem-08-12-15-02.pddl | None
nomystery-problem-08-12-15-03.pddl | None
nomystery-problem-08-12-15-04.pddl | None
nomystery-problem-08-12-15-05.pddl | None
nomystery-problem-09-9-9-1-01.pddl | 202801
nomystery-problem-09-9-9-1-02.pddl | 249706
nomystery-problem-09-9-9-1-03.pddl | 271095
nomystery-problem-09-9-9-1-04.pddl | 289222
nomystery-problem-09-9-9-1-05.pddl | 324118
nomystery-problem-09-9-9-2-01.pddl | 173264
nomystery-problem-09-9-9-2-02.pddl | 149861
nomystery-problem-09-9-9-2-03.pddl | 224403
nomystery-problem-09-9-9-2-04.pddl | 194345
nomystery-problem-09-9-9-2-05.pddl | 201857
nomystery-problem-09-9-9-3-01.pddl | 211480
nomystery-problem-09-9-9-3-02.pddl | 182369
nomystery-problem-09-9-9-3-03.pddl | 181648
nomystery-problem-09-9-9-3-04.pddl | 200136
nomystery-problem-09-9-9-3-05.pddl | 235086
nomystery-problem-09-9-9-4-01.pddl | 224254
nomystery-problem-09-9-9-4-02.pddl | 252241
nomystery-problem-09-9-9-4-03.pddl | 242140
nomystery-problem-09-9-9-4-04.pddl | 294181
nomystery-problem-09-9-9-4-05.pddl | 298836
nomystery-problem-09-9-9-5-01.pddl | 154336
nomystery-problem-09-9-9-5-02.pddl | 152751
nomystery-problem-09-9-9-5-03.pddl | 161688
nomystery-problem-09-9-9-5-04.pddl | 152825
nomystery-problem-09-9-9-5-05.pddl | 186181
nomystery-problem-09-12-15-01.pddl | None
nomystery-problem-09-12-15-02.pddl | None
nomystery-problem-09-12-15-03.pddl | None
nomystery-problem-09-12-15-04.pddl | None
nomystery-problem-09-12-15-05.pddl | None

## unsat-rovers

num_rows | Full Bitset
--- | ---
rovers-problem-05-11-1-01.pddl | None
rovers-problem-05-11-1-02.pddl | None
rovers-problem-05-11-1-03.pddl | None
rovers-problem-05-11-1-04.pddl | None
rovers-problem-05-11-1-05.pddl | None
rovers-problem-05-11-2-01.pddl | None
rovers-problem-05-11-2-02.pddl | None
rovers-problem-05-11-2-03.pddl | None
rovers-problem-05-11-2-04.pddl | None
rovers-problem-05-11-2-05.pddl | None
rovers-problem-05-11-3-01.pddl | 219010
rovers-problem-05-11-3-02.pddl | None
rovers-problem-05-11-3-03.pddl | None
rovers-problem-05-11-3-04.pddl | None
rovers-problem-05-11-3-05.pddl | None
rovers-problem-05-11-4-01.pddl | None
rovers-problem-05-11-4-02.pddl | None
rovers-problem-05-11-4-03.pddl | None
rovers-problem-05-11-4-04.pddl | None
rovers-problem-05-11-4-05.pddl | None
rovers-problem-05-11-5-01.pddl | None
rovers-problem-05-11-5-02.pddl | None
rovers-problem-05-11-5-03.pddl | None
rovers-problem-05-11-5-04.pddl | None
rovers-problem-05-11-5-05.pddl | None
rovers-problem-05-15-01.pddl | None
rovers-problem-05-15-02.pddl | None
rovers-problem-05-15-03.pddl | None
rovers-problem-05-15-04.pddl | None
rovers-problem-05-15-05.pddl | None
rovers-problem-06-11-1-01.pddl | None
rovers-problem-06-11-1-02.pddl | None
rovers-problem-06-11-1-03.pddl | None
rovers-problem-06-11-1-04.pddl | None
rovers-problem-06-11-1-05.pddl | None
rovers-problem-06-11-2-01.pddl | None
rovers-problem-06-11-2-02.pddl | None
rovers-problem-06-11-2-03.pddl | None
rovers-problem-06-11-2-04.pddl | None
rovers-problem-06-11-2-05.pddl | None
rovers-problem-06-11-3-01.pddl | None
rovers-problem-06-11-3-02.pddl | 259941
rovers-problem-06-11-3-03.pddl | None
rovers-problem-06-11-3-04.pddl | None
rovers-problem-06-11-3-05.pddl | None
rovers-problem-06-11-4-01.pddl | 137005
rovers-problem-06-11-4-02.pddl | None
rovers-problem-06-11-4-03.pddl | None
rovers-problem-06-11-4-04.pddl | None
rovers-problem-06-11-4-05.pddl | None
rovers-problem-06-11-5-01.pddl | None
rovers-problem-06-11-5-02.pddl | None
rovers-problem-06-11-5-03.pddl | None
rovers-problem-06-11-5-04.pddl | None
rovers-problem-06-11-5-05.pddl | None
rovers-problem-06-15-01.pddl | None
rovers-problem-06-15-02.pddl | None
rovers-problem-06-15-03.pddl | None
rovers-problem-06-15-04.pddl | None
rovers-problem-06-15-05.pddl | None
rovers-problem-07-11-1-01.pddl | 161207
rovers-problem-07-11-1-02.pddl | 169421
rovers-problem-07-11-1-03.pddl | None
rovers-problem-07-11-1-04.pddl | None
rovers-problem-07-11-1-05.pddl | None
rovers-problem-07-11-2-01.pddl | None
rovers-problem-07-11-2-02.pddl | None
rovers-problem-07-11-2-03.pddl | None
rovers-problem-07-11-2-04.pddl | None
rovers-problem-07-11-2-05.pddl | None
rovers-problem-07-11-3-01.pddl | None
rovers-problem-07-11-3-02.pddl | None
rovers-problem-07-11-3-03.pddl | None
rovers-problem-07-11-3-04.pddl | None
rovers-problem-07-11-3-05.pddl | None
rovers-problem-07-11-4-01.pddl | 174964
rovers-problem-07-11-4-02.pddl | None
rovers-problem-07-11-4-03.pddl | None
rovers-problem-07-11-4-04.pddl | None
rovers-problem-07-11-4-05.pddl | None
rovers-problem-07-11-5-01.pddl | None
rovers-problem-07-11-5-02.pddl | None
rovers-problem-07-11-5-03.pddl | None
rovers-problem-07-11-5-04.pddl | None
rovers-problem-07-11-5-05.pddl | None
rovers-problem-07-15-01.pddl | None
rovers-problem-07-15-02.pddl | None
rovers-problem-07-15-03.pddl | None
rovers-problem-07-15-04.pddl | None
rovers-problem-07-15-05.pddl | None
rovers-problem-08-11-1-01.pddl | 188172
rovers-problem-08-11-1-02.pddl | None
rovers-problem-08-11-1-03.pddl | None
rovers-problem-08-11-1-04.pddl | None
rovers-problem-08-11-1-05.pddl | None
rovers-problem-08-11-2-01.pddl | None
rovers-problem-08-11-2-02.pddl | None
rovers-problem-08-11-2-03.pddl | None
rovers-problem-08-11-2-04.pddl | None
rovers-problem-08-11-2-05.pddl | None
rovers-problem-08-11-3-01.pddl | None
rovers-problem-08-11-3-02.pddl | None
rovers-problem-08-11-3-03.pddl | None
rovers-problem-08-11-3-04.pddl | None
rovers-problem-08-11-3-05.pddl | None
rovers-problem-08-11-4-01.pddl | None
rovers-problem-08-11-4-02.pddl | None
rovers-problem-08-11-4-03.pddl | None
rovers-problem-08-11-4-04.pddl | None
rovers-problem-08-11-4-05.pddl | None
rovers-problem-08-11-5-01.pddl | None
rovers-problem-08-11-5-02.pddl | None
rovers-problem-08-11-5-03.pddl | None
rovers-problem-08-11-5-04.pddl | None
rovers-problem-08-11-5-05.pddl | None
rovers-problem-08-15-01.pddl | None
rovers-problem-08-15-02.pddl | None
rovers-problem-08-15-03.pddl | None
rovers-problem-08-15-04.pddl | None
rovers-problem-08-15-05.pddl | None
rovers-problem-09-11-1-01.pddl | 217121
rovers-problem-09-11-1-02.pddl | None
rovers-problem-09-11-1-03.pddl | None
rovers-problem-09-11-1-04.pddl | None
rovers-problem-09-11-1-05.pddl | None
rovers-problem-09-11-2-01.pddl | None
rovers-problem-09-11-2-02.pddl | None
rovers-problem-09-11-2-03.pddl | None
rovers-problem-09-11-2-04.pddl | None
rovers-problem-09-11-2-05.pddl | None
rovers-problem-09-11-3-01.pddl | None
rovers-problem-09-11-3-02.pddl | None
rovers-problem-09-11-3-03.pddl | None
rovers-problem-09-11-3-04.pddl | None
rovers-problem-09-11-3-05.pddl | None
rovers-problem-09-11-4-01.pddl | None
rovers-problem-09-11-4-02.pddl | None
rovers-problem-09-11-4-03.pddl | None
rovers-problem-09-11-4-04.pddl | None
rovers-problem-09-11-4-05.pddl | None
rovers-problem-09-11-5-01.pddl | None
rovers-problem-09-11-5-02.pddl | None
rovers-problem-09-11-5-03.pddl | None
rovers-problem-09-11-5-04.pddl | None
rovers-problem-09-11-5-05.pddl | None
rovers-problem-09-15-01.pddl | None
rovers-problem-09-15-02.pddl | None
rovers-problem-09-15-03.pddl | None
rovers-problem-09-15-04.pddl | None
rovers-problem-09-15-05.pddl | None

## unsat-tpp

num_rows | Full Bitset
--- | ---
tpp-problem-05-01.pddl | None
tpp-problem-05-02.pddl | None
tpp-problem-05-03.pddl | None
tpp-problem-05-04.pddl | None
tpp-problem-05-05.pddl | None
tpp-problem-06-01.pddl | None
tpp-problem-06-02.pddl | None
tpp-problem-06-03.pddl | None
tpp-problem-06-04.pddl | None
tpp-problem-06-05.pddl | None
tpp-problem-07-01.pddl | None
tpp-problem-07-02.pddl | None
tpp-problem-07-03.pddl | None
tpp-problem-07-04.pddl | None
tpp-problem-07-05.pddl | None
tpp-problem-08-01.pddl | None
tpp-problem-08-02.pddl | None
tpp-problem-08-03.pddl | None
tpp-problem-08-04.pddl | None
tpp-problem-08-05.pddl | None
tpp-problem-09-01.pddl | None
tpp-problem-09-02.pddl | None
tpp-problem-09-03.pddl | None
tpp-problem-09-04.pddl | None
tpp-problem-09-05.pddl | None

# solve_time

solve_time | Full Bitset
--- | ---
3unsat (25) | 11.03
bag-transport (1) | 93.73
bottleneck (4) | 206.80
cave-diving (8) | 16.35
chessboard-pebbling (7) | 4.86
document-transfer (2) | 229.43
over-nomystery (7) | 252.40
over-rovers (5) | 46.13
over-tpp (13) | 89.53
pegsol (24) | 0.04
pegsol-row5 (6) | 2.06
sliding-tiles (20) | 0.83
unsat-nomystery (93) | 146.93
unsat-rovers (8) | 540.74
Geometric mean (223) | 24.12

Only instances where all algorithms have a value for "solve_time" are considered. Each table entry gives the geometric mean of "solve_time" for that domain. The bottom row reports the geometric mean across all domains.

## 3unsat

solve_time | Full Bitset
--- | ---
sat-3-22-5-1.pddl | 0.05
sat-3-22-5-2.pddl | 0.05
sat-3-22-5-3.pddl | 0.06
sat-3-22-5-4.pddl | 0.05
sat-3-22-5-5.pddl | 0.05
sat-3-43-10-1.pddl | 2.36
sat-3-43-10-2.pddl | 2.25
sat-3-43-10-3.pddl | 2.37
sat-3-43-10-4.pddl | 2.32
sat-3-43-10-5.pddl | 2.50
sat-3-65-15-1.pddl | 29.16
sat-3-65-15-2.pddl | 34.26
sat-3-65-15-3.pddl | 25.29
sat-3-65-15-4.pddl | 32.53
sat-3-65-15-5.pddl | 24.44
sat-3-86-20-1.pddl | 153.41
sat-3-86-20-2.pddl | 150.40
sat-3-86-20-3.pddl | 137.04
sat-3-86-20-4.pddl | 122.30
sat-3-86-20-5.pddl | 128.62
sat-3-108-25-1.pddl | 361.47
sat-3-108-25-2.pddl | 352.30
sat-3-108-25-3.pddl | 279.05
sat-3-108-25-4.pddl | 426.72
sat-3-108-25-5.pddl | 313.48
sat-3-129-30-1.pddl | None
sat-3-129-30-2.pddl | None
sat-3-129-30-3.pddl | None
sat-3-129-30-4.pddl | None
sat-3-129-30-5.pddl | None

## bag-barman

solve_time | Full Bitset
--- | ---
prob01.pddl | None
prob02.pddl | None
prob03.pddl | None
prob04.pddl | None
prob05.pddl | None
prob06.pddl | None
prob07.pddl | None
prob08.pddl | None
prob09.pddl | None
prob10.pddl | None
prob11.pddl | None
prob12.pddl | None
prob13.pddl | None
prob14.pddl | None
prob15.pddl | None
prob16.pddl | None
prob17.pddl | None
prob18.pddl | None
prob19.pddl | None
prob20.pddl | None

## bag-gripper

solve_time | Full Bitset
--- | ---
prob01.pddl | None
prob02.pddl | None
prob03.pddl | None
prob04.pddl | None
prob05.pddl | None
prob06.pddl | None
prob07.pddl | None
prob08.pddl | None
prob09.pddl | None
prob10.pddl | None
prob11.pddl | None
prob12.pddl | None
prob13.pddl | None
prob14.pddl | None
prob15.pddl | None
prob16.pddl | None
prob17.pddl | None
prob18.pddl | None
prob19.pddl | None
prob20.pddl | None
prob21.pddl | None
prob22.pddl | None
prob23.pddl | None
prob24.pddl | None
prob25.pddl | None

## bag-transport

solve_time | Full Bitset
--- | ---
prob01.pddl | None
prob02.pddl | 93.73
prob03.pddl | None
prob04.pddl | None
prob05.pddl | None
prob06.pddl | None
prob07.pddl | None
prob08.pddl | None
prob09.pddl | None
prob10.pddl | None
prob11.pddl | None
prob12.pddl | None
prob13.pddl | None
prob14.pddl | None
prob15.pddl | None
prob16.pddl | None
prob17.pddl | None
prob18.pddl | None
prob19.pddl | None
prob20.pddl | None
prob21.pddl | None
prob22.pddl | None
prob23.pddl | None
prob24.pddl | None
prob25.pddl | None
prob26.pddl | None
prob27.pddl | None
prob28.pddl | None
prob29.pddl | None

## bottleneck

solve_time | Full Bitset
--- | ---
prob01.pddl | None
prob02.pddl | None
prob03.pddl | None
prob04.pddl | None
prob05.pddl | None
prob06.pddl | None
prob07.pddl | None
prob08.pddl | None
prob09.pddl | 141.47
prob10.pddl | 182.00
prob11.pddl | 249.11
prob12.pddl | 285.17
prob13.pddl | None
prob14.pddl | None
prob15.pddl | None
prob16.pddl | None
prob17.pddl | None
prob18.pddl | None
prob19.pddl | None
prob20.pddl | None
prob21.pddl | None
prob22.pddl | None
prob23.pddl | None
prob24.pddl | None
prob25.pddl | None

## cave-diving

solve_time | Full Bitset
--- | ---
prob01.pddl | 26.11
prob02.pddl | 9.07
prob03.pddl | 2.81
prob04.pddl | 0.70
prob05.pddl | None
prob06.pddl | None
prob07.pddl | None
prob08.pddl | None
prob09.pddl | 433.08
prob10.pddl | 12.30
prob11.pddl | None
prob12.pddl | None
prob13.pddl | None
prob14.pddl | 401.52
prob15.pddl | 5.16
prob16.pddl | None
prob17.pddl | None
prob18.pddl | None
prob19.pddl | None
prob20.pddl | None
prob21.pddl | None
prob22.pddl | None
prob23.pddl | None
prob24.pddl | None
prob25.pddl | None

## chessboard-pebbling

solve_time | Full Bitset
--- | ---
prob03.pddl | 0.03
prob04.pddl | 0.20
prob05.pddl | 1.28
prob06.pddl | 7.62
prob07.pddl | 34.45
prob08.pddl | 134.50
prob09.pddl | 223.52
prob10.pddl | None
prob11.pddl | None
prob12.pddl | None
prob13.pddl | None
prob14.pddl | None
prob15.pddl | None
prob16.pddl | None
prob17.pddl | None
prob18.pddl | None
prob19.pddl | None
prob20.pddl | None
prob21.pddl | None
prob22.pddl | None
prob23.pddl | None
prob24.pddl | None
prob25.pddl | None

## document-transfer

solve_time | Full Bitset
--- | ---
prob01.pddl | None
prob02.pddl | 193.08
prob03.pddl | None
prob04.pddl | None
prob05.pddl | None
prob06.pddl | None
prob07.pddl | None
prob08.pddl | None
prob09.pddl | None
prob10.pddl | None
prob11.pddl | None
prob12.pddl | None
prob13.pddl | None
prob14.pddl | None
prob15.pddl | None
prob16.pddl | None
prob17.pddl | None
prob18.pddl | None
prob19.pddl | 272.62
prob20.pddl | None

## mystery

solve_time | Full Bitset
--- | ---
prob04.pddl | None
prob05.pddl | None
prob08.pddl | None
prob12.pddl | None
prob16.pddl | None
prob21.pddl | None
prob22.pddl | None
prob23.pddl | None
prob24.pddl | None

## over-nomystery

solve_time | Full Bitset
--- | ---
prob01.pddl | None
prob02.pddl | None
prob03.pddl | None
prob04.pddl | None
prob05.pddl | None
prob06.pddl | 102.49
prob07.pddl | 317.13
prob08.pddl | None
prob09.pddl | None
prob10.pddl | None
prob11.pddl | 158.75
prob12.pddl | 501.55
prob13.pddl | None
prob14.pddl | None
prob15.pddl | None
prob16.pddl | 157.91
prob17.pddl | 527.13
prob18.pddl | None
prob19.pddl | None
prob20.pddl | None
prob21.pddl | 302.94
prob22.pddl | None
prob23.pddl | None
prob24.pddl | None

## over-rovers

solve_time | Full Bitset
--- | ---
prob01.pddl | None
prob02.pddl | None
prob03.pddl | 0.65
prob04.pddl | 43.94
prob05.pddl | None
prob06.pddl | 312.46
prob07.pddl | None
prob08.pddl | 155.15
prob09.pddl | 151.32
prob10.pddl | None
prob11.pddl | None
prob12.pddl | None
prob13.pddl | None
prob14.pddl | None
prob15.pddl | None
prob16.pddl | None
prob17.pddl | None
prob18.pddl | None
prob19.pddl | None
prob20.pddl | None

## over-tpp

solve_time | Full Bitset
--- | ---
prob01.pddl | 0.67
prob02.pddl | None
prob03.pddl | 8.03
prob04.pddl | 70.14
prob05.pddl | 46.09
prob06.pddl | 194.50
prob07.pddl | 458.26
prob08.pddl | 613.12
prob09.pddl | None
prob10.pddl | None
prob11.pddl | None
prob12.pddl | None
prob13.pddl | None
prob14.pddl | None
prob15.pddl | None
prob16.pddl | 13.80
prob17.pddl | 36.62
prob18.pddl | 152.80
prob19.pddl | 637.20
prob20.pddl | 434.46
prob21.pddl | 1173.54
prob22.pddl | None
prob23.pddl | None
prob24.pddl | None
prob25.pddl | None
prob26.pddl | None
prob27.pddl | None
prob28.pddl | None
prob29.pddl | None
prob30.pddl | None

## pegsol

solve_time | Full Bitset
--- | ---
prob05.pddl | 0.02
prob06.pddl | 0.03
prob09.pddl | 0.01
prob10.pddl | 0.01
prob11.pddl | 0.05
prob12.pddl | 0.05
prob13.pddl | 0.05
prob14.pddl | 0.05
prob15.pddl | 0.05
prob16.pddl | 0.05
prob17.pddl | 0.05
prob18.pddl | 0.05
prob19.pddl | 0.03
prob20.pddl | 0.03
prob21.pddl | 0.04
prob22.pddl | 0.04
prob23.pddl | 0.05
prob24.pddl | 0.05
prob25.pddl | 0.05
prob26.pddl | 0.05
prob27.pddl | 0.05
prob28.pddl | 0.06
prob29.pddl | 0.05
prob30.pddl | 0.07

## pegsol-row5

solve_time | Full Bitset
--- | ---
prob01.pddl | 0.00
prob02.pddl | None
prob03.pddl | None
prob04.pddl | 0.83
prob05.pddl | 7.51
prob06.pddl | 39.98
prob07.pddl | 175.62
prob08.pddl | 408.68
prob09.pddl | None
prob10.pddl | None
prob11.pddl | None
prob12.pddl | None
prob13.pddl | None
prob14.pddl | None
prob15.pddl | None

## sliding-tiles

solve_time | Full Bitset
--- | ---
prob01.pddl | 0.16
prob02.pddl | 0.16
prob03.pddl | 0.19
prob04.pddl | 0.19
prob05.pddl | 0.17
prob06.pddl | 0.17
prob07.pddl | 0.16
prob08.pddl | 0.19
prob09.pddl | 0.17
prob10.pddl | 0.19
prob11.pddl | 4.13
prob12.pddl | 3.60
prob13.pddl | 3.92
prob14.pddl | 4.26
prob15.pddl | 4.23
prob16.pddl | 4.79
prob17.pddl | 3.82
prob18.pddl | 3.49
prob19.pddl | 3.79
prob20.pddl | 4.05
prob24.pddl | None

## tetris

solve_time | Full Bitset
--- | ---
prob01.pddl | None
prob02.pddl | None
prob03.pddl | None
prob04.pddl | None
prob05.pddl | None
prob06.pddl | None
prob07.pddl | None
prob08.pddl | None
prob09.pddl | None
prob10.pddl | None
prob11.pddl | None
prob12.pddl | None
prob13.pddl | None
prob14.pddl | None
prob15.pddl | None
prob16.pddl | None
prob17.pddl | None
prob18.pddl | None
prob19.pddl | None
prob20.pddl | None

## unsat-nomystery

solve_time | Full Bitset
--- | ---
nomystery-problem-05-9-9-1-01.pddl | 34.60
nomystery-problem-05-9-9-1-02.pddl | None
nomystery-problem-05-9-9-1-03.pddl | 53.40
nomystery-problem-05-9-9-1-04.pddl | None
nomystery-problem-05-9-9-1-05.pddl | 65.06
nomystery-problem-05-9-9-2-01.pddl | None
nomystery-problem-05-9-9-2-02.pddl | None
nomystery-problem-05-9-9-2-03.pddl | None
nomystery-problem-05-9-9-2-04.pddl | None
nomystery-problem-05-9-9-2-05.pddl | None
nomystery-problem-05-9-9-3-01.pddl | 45.79
nomystery-problem-05-9-9-3-02.pddl | None
nomystery-problem-05-9-9-3-03.pddl | None
nomystery-problem-05-9-9-3-04.pddl | None
nomystery-problem-05-9-9-3-05.pddl | None
nomystery-problem-05-9-9-4-01.pddl | 58.04
nomystery-problem-05-9-9-4-02.pddl | 42.35
nomystery-problem-05-9-9-4-03.pddl | None
nomystery-problem-05-9-9-4-04.pddl | None
nomystery-problem-05-9-9-4-05.pddl | None
nomystery-problem-05-9-9-5-01.pddl | None
nomystery-problem-05-9-9-5-02.pddl | None
nomystery-problem-05-9-9-5-03.pddl | None
nomystery-problem-05-9-9-5-04.pddl | None
nomystery-problem-05-9-9-5-05.pddl | None
nomystery-problem-05-12-15-01.pddl | None
nomystery-problem-05-12-15-02.pddl | None
nomystery-problem-05-12-15-03.pddl | None
nomystery-problem-05-12-15-04.pddl | None
nomystery-problem-05-12-15-05.pddl | None
nomystery-problem-06-9-9-1-01.pddl | 87.04
nomystery-problem-06-9-9-1-02.pddl | 111.71
nomystery-problem-06-9-9-1-03.pddl | 101.46
nomystery-problem-06-9-9-1-04.pddl | 84.54
nomystery-problem-06-9-9-1-05.pddl | 142.62
nomystery-problem-06-9-9-2-01.pddl | 30.93
nomystery-problem-06-9-9-2-02.pddl | None
nomystery-problem-06-9-9-2-03.pddl | None
nomystery-problem-06-9-9-2-04.pddl | None
nomystery-problem-06-9-9-2-05.pddl | None
nomystery-problem-06-9-9-3-01.pddl | 102.46
nomystery-problem-06-9-9-3-02.pddl | 39.95
nomystery-problem-06-9-9-3-03.pddl | 52.30
nomystery-problem-06-9-9-3-04.pddl | None
nomystery-problem-06-9-9-3-05.pddl | None
nomystery-problem-06-9-9-4-01.pddl | 101.02
nomystery-problem-06-9-9-4-02.pddl | 118.22
nomystery-problem-06-9-9-4-03.pddl | 105.56
nomystery-problem-06-9-9-4-04.pddl | 103.80
nomystery-problem-06-9-9-4-05.pddl | 112.33
nomystery-problem-06-9-9-5-01.pddl | 21.83
nomystery-problem-06-9-9-5-02.pddl | None
nomystery-problem-06-9-9-5-03.pddl | None
nomystery-problem-06-9-9-5-04.pddl | None
nomystery-problem-06-9-9-5-05.pddl | None
nomystery-problem-06-12-15-01.pddl | None
nomystery-problem-06-12-15-02.pddl | None
nomystery-problem-06-12-15-03.pddl | None
nomystery-problem-06-12-15-04.pddl | None
nomystery-problem-06-12-15-05.pddl | None
nomystery-problem-07-9-9-1-01.pddl | 137.10
nomystery-problem-07-9-9-1-02.pddl | 169.10
nomystery-problem-07-9-9-1-03.pddl | 185.25
nomystery-problem-07-9-9-1-04.pddl | 190.56
nomystery-problem-07-9-9-1-05.pddl | 251.22
nomystery-problem-07-9-9-2-01.pddl | 75.38
nomystery-problem-07-9-9-2-02.pddl | 59.58
nomystery-problem-07-9-9-2-03.pddl | 94.13
nomystery-problem-07-9-9-2-04.pddl | None
nomystery-problem-07-9-9-2-05.pddl | None
nomystery-problem-07-9-9-3-01.pddl | 165.41
nomystery-problem-07-9-9-3-02.pddl | 99.58
nomystery-problem-07-9-9-3-03.pddl | 120.52
nomystery-problem-07-9-9-3-04.pddl | 69.88
nomystery-problem-07-9-9-3-05.pddl | 122.79
nomystery-problem-07-9-9-4-01.pddl | 164.85
nomystery-problem-07-9-9-4-02.pddl | 188.05
nomystery-problem-07-9-9-4-03.pddl | 143.44
nomystery-problem-07-9-9-4-04.pddl | 157.48
nomystery-problem-07-9-9-4-05.pddl | 190.67
nomystery-problem-07-9-9-5-01.pddl | 66.50
nomystery-problem-07-9-9-5-02.pddl | 45.32
nomystery-problem-07-9-9-5-03.pddl | None
nomystery-problem-07-9-9-5-04.pddl | 22.83
nomystery-problem-07-9-9-5-05.pddl | 86.53
nomystery-problem-07-12-15-01.pddl | None
nomystery-problem-07-12-15-02.pddl | None
nomystery-problem-07-12-15-03.pddl | None
nomystery-problem-07-12-15-04.pddl | None
nomystery-problem-07-12-15-05.pddl | None
nomystery-problem-08-9-9-1-01.pddl | 203.59
nomystery-problem-08-9-9-1-02.pddl | 263.33
nomystery-problem-08-9-9-1-03.pddl | 275.97
nomystery-problem-08-9-9-1-04.pddl | 255.53
nomystery-problem-08-9-9-1-05.pddl | 362.36
nomystery-problem-08-9-9-2-01.pddl | 159.17
nomystery-problem-08-9-9-2-02.pddl | 119.64
nomystery-problem-08-9-9-2-03.pddl | 169.97
nomystery-problem-08-9-9-2-04.pddl | 132.36
nomystery-problem-08-9-9-2-05.pddl | 118.41
nomystery-problem-08-9-9-3-01.pddl | 208.71
nomystery-problem-08-9-9-3-02.pddl | 164.27
nomystery-problem-08-9-9-3-03.pddl | 163.46
nomystery-problem-08-9-9-3-04.pddl | 149.04
nomystery-problem-08-9-9-3-05.pddl | 240.99
nomystery-problem-08-9-9-4-01.pddl | 240.03
nomystery-problem-08-9-9-4-02.pddl | 238.61
nomystery-problem-08-9-9-4-03.pddl | 247.25
nomystery-problem-08-9-9-4-04.pddl | 258.74
nomystery-problem-08-9-9-4-05.pddl | 266.29
nomystery-problem-08-9-9-5-01.pddl | 138.45
nomystery-problem-08-9-9-5-02.pddl | 102.98
nomystery-problem-08-9-9-5-03.pddl | 120.18
nomystery-problem-08-9-9-5-04.pddl | 68.22
nomystery-problem-08-9-9-5-05.pddl | 129.09
nomystery-problem-08-12-15-01.pddl | None
nomystery-problem-08-12-15-02.pddl | None
nomystery-problem-08-12-15-03.pddl | None
nomystery-problem-08-12-15-04.pddl | None
nomystery-problem-08-12-15-05.pddl | None
nomystery-problem-09-9-9-1-01.pddl | 286.41
nomystery-problem-09-9-9-1-02.pddl | 379.62
nomystery-problem-09-9-9-1-03.pddl | 508.48
nomystery-problem-09-9-9-1-04.pddl | 442.33
nomystery-problem-09-9-9-1-05.pddl | 589.40
nomystery-problem-09-9-9-2-01.pddl | 239.69
nomystery-problem-09-9-9-2-02.pddl | 193.97
nomystery-problem-09-9-9-2-03.pddl | 292.19
nomystery-problem-09-9-9-2-04.pddl | 209.70
nomystery-problem-09-9-9-2-05.pddl | 224.39
nomystery-problem-09-9-9-3-01.pddl | 315.49
nomystery-problem-09-9-9-3-02.pddl | 270.70
nomystery-problem-09-9-9-3-03.pddl | 256.11
nomystery-problem-09-9-9-3-04.pddl | 268.20
nomystery-problem-09-9-9-3-05.pddl | 352.26
nomystery-problem-09-9-9-4-01.pddl | 313.22
nomystery-problem-09-9-9-4-02.pddl | 441.05
nomystery-problem-09-9-9-4-03.pddl | 352.76
nomystery-problem-09-9-9-4-04.pddl | 427.06
nomystery-problem-09-9-9-4-05.pddl | 386.03
nomystery-problem-09-9-9-5-01.pddl | 178.60
nomystery-problem-09-9-9-5-02.pddl | 201.41
nomystery-problem-09-9-9-5-03.pddl | 226.83
nomystery-problem-09-9-9-5-04.pddl | 148.99
nomystery-problem-09-9-9-5-05.pddl | 225.68
nomystery-problem-09-12-15-01.pddl | None
nomystery-problem-09-12-15-02.pddl | None
nomystery-problem-09-12-15-03.pddl | None
nomystery-problem-09-12-15-04.pddl | None
nomystery-problem-09-12-15-05.pddl | None

## unsat-rovers

solve_time | Full Bitset
--- | ---
rovers-problem-05-11-1-01.pddl | None
rovers-problem-05-11-1-02.pddl | None
rovers-problem-05-11-1-03.pddl | None
rovers-problem-05-11-1-04.pddl | None
rovers-problem-05-11-1-05.pddl | None
rovers-problem-05-11-2-01.pddl | None
rovers-problem-05-11-2-02.pddl | None
rovers-problem-05-11-2-03.pddl | None
rovers-problem-05-11-2-04.pddl | None
rovers-problem-05-11-2-05.pddl | None
rovers-problem-05-11-3-01.pddl | 700.22
rovers-problem-05-11-3-02.pddl | None
rovers-problem-05-11-3-03.pddl | None
rovers-problem-05-11-3-04.pddl | None
rovers-problem-05-11-3-05.pddl | None
rovers-problem-05-11-4-01.pddl | None
rovers-problem-05-11-4-02.pddl | None
rovers-problem-05-11-4-03.pddl | None
rovers-problem-05-11-4-04.pddl | None
rovers-problem-05-11-4-05.pddl | None
rovers-problem-05-11-5-01.pddl | None
rovers-problem-05-11-5-02.pddl | None
rovers-problem-05-11-5-03.pddl | None
rovers-problem-05-11-5-04.pddl | None
rovers-problem-05-11-5-05.pddl | None
rovers-problem-05-15-01.pddl | None
rovers-problem-05-15-02.pddl | None
rovers-problem-05-15-03.pddl | None
rovers-problem-05-15-04.pddl | None
rovers-problem-05-15-05.pddl | None
rovers-problem-06-11-1-01.pddl | None
rovers-problem-06-11-1-02.pddl | None
rovers-problem-06-11-1-03.pddl | None
rovers-problem-06-11-1-04.pddl | None
rovers-problem-06-11-1-05.pddl | None
rovers-problem-06-11-2-01.pddl | None
rovers-problem-06-11-2-02.pddl | None
rovers-problem-06-11-2-03.pddl | None
rovers-problem-06-11-2-04.pddl | None
rovers-problem-06-11-2-05.pddl | None
rovers-problem-06-11-3-01.pddl | None
rovers-problem-06-11-3-02.pddl | 740.05
rovers-problem-06-11-3-03.pddl | None
rovers-problem-06-11-3-04.pddl | None
rovers-problem-06-11-3-05.pddl | None
rovers-problem-06-11-4-01.pddl | 379.46
rovers-problem-06-11-4-02.pddl | None
rovers-problem-06-11-4-03.pddl | None
rovers-problem-06-11-4-04.pddl | None
rovers-problem-06-11-4-05.pddl | None
rovers-problem-06-11-5-01.pddl | None
rovers-problem-06-11-5-02.pddl | None
rovers-problem-06-11-5-03.pddl | None
rovers-problem-06-11-5-04.pddl | None
rovers-problem-06-11-5-05.pddl | None
rovers-problem-06-15-01.pddl | None
rovers-problem-06-15-02.pddl | None
rovers-problem-06-15-03.pddl | None
rovers-problem-06-15-04.pddl | None
rovers-problem-06-15-05.pddl | None
rovers-problem-07-11-1-01.pddl | 468.42
rovers-problem-07-11-1-02.pddl | 440.51
rovers-problem-07-11-1-03.pddl | None
rovers-problem-07-11-1-04.pddl | None
rovers-problem-07-11-1-05.pddl | None
rovers-problem-07-11-2-01.pddl | None
rovers-problem-07-11-2-02.pddl | None
rovers-problem-07-11-2-03.pddl | None
rovers-problem-07-11-2-04.pddl | None
rovers-problem-07-11-2-05.pddl | None
rovers-problem-07-11-3-01.pddl | None
rovers-problem-07-11-3-02.pddl | None
rovers-problem-07-11-3-03.pddl | None
rovers-problem-07-11-3-04.pddl | None
rovers-problem-07-11-3-05.pddl | None
rovers-problem-07-11-4-01.pddl | 528.19
rovers-problem-07-11-4-02.pddl | None
rovers-problem-07-11-4-03.pddl | None
rovers-problem-07-11-4-04.pddl | None
rovers-problem-07-11-4-05.pddl | None
rovers-problem-07-11-5-01.pddl | None
rovers-problem-07-11-5-02.pddl | None
rovers-problem-07-11-5-03.pddl | None
rovers-problem-07-11-5-04.pddl | None
rovers-problem-07-11-5-05.pddl | None
rovers-problem-07-15-01.pddl | None
rovers-problem-07-15-02.pddl | None
rovers-problem-07-15-03.pddl | None
rovers-problem-07-15-04.pddl | None
rovers-problem-07-15-05.pddl | None
rovers-problem-08-11-1-01.pddl | 572.61
rovers-problem-08-11-1-02.pddl | None
rovers-problem-08-11-1-03.pddl | None
rovers-problem-08-11-1-04.pddl | None
rovers-problem-08-11-1-05.pddl | None
rovers-problem-08-11-2-01.pddl | None
rovers-problem-08-11-2-02.pddl | None
rovers-problem-08-11-2-03.pddl | None
rovers-problem-08-11-2-04.pddl | None
rovers-problem-08-11-2-05.pddl | None
rovers-problem-08-11-3-01.pddl | None
rovers-problem-08-11-3-02.pddl | None
rovers-problem-08-11-3-03.pddl | None
rovers-problem-08-11-3-04.pddl | None
rovers-problem-08-11-3-05.pddl | None
rovers-problem-08-11-4-01.pddl | None
rovers-problem-08-11-4-02.pddl | None
rovers-problem-08-11-4-03.pddl | None
rovers-problem-08-11-4-04.pddl | None
rovers-problem-08-11-4-05.pddl | None
rovers-problem-08-11-5-01.pddl | None
rovers-problem-08-11-5-02.pddl | None
rovers-problem-08-11-5-03.pddl | None
rovers-problem-08-11-5-04.pddl | None
rovers-problem-08-11-5-05.pddl | None
rovers-problem-08-15-01.pddl | None
rovers-problem-08-15-02.pddl | None
rovers-problem-08-15-03.pddl | None
rovers-problem-08-15-04.pddl | None
rovers-problem-08-15-05.pddl | None
rovers-problem-09-11-1-01.pddl | 595.71
rovers-problem-09-11-1-02.pddl | None
rovers-problem-09-11-1-03.pddl | None
rovers-problem-09-11-1-04.pddl | None
rovers-problem-09-11-1-05.pddl | None
rovers-problem-09-11-2-01.pddl | None
rovers-problem-09-11-2-02.pddl | None
rovers-problem-09-11-2-03.pddl | None
rovers-problem-09-11-2-04.pddl | None
rovers-problem-09-11-2-05.pddl | None
rovers-problem-09-11-3-01.pddl | None
rovers-problem-09-11-3-02.pddl | None
rovers-problem-09-11-3-03.pddl | None
rovers-problem-09-11-3-04.pddl | None
rovers-problem-09-11-3-05.pddl | None
rovers-problem-09-11-4-01.pddl | None
rovers-problem-09-11-4-02.pddl | None
rovers-problem-09-11-4-03.pddl | None
rovers-problem-09-11-4-04.pddl | None
rovers-problem-09-11-4-05.pddl | None
rovers-problem-09-11-5-01.pddl | None
rovers-problem-09-11-5-02.pddl | None
rovers-problem-09-11-5-03.pddl | None
rovers-problem-09-11-5-04.pddl | None
rovers-problem-09-11-5-05.pddl | None
rovers-problem-09-15-01.pddl | None
rovers-problem-09-15-02.pddl | None
rovers-problem-09-15-03.pddl | None
rovers-problem-09-15-04.pddl | None
rovers-problem-09-15-05.pddl | None

## unsat-tpp

solve_time | Full Bitset
--- | ---
tpp-problem-05-01.pddl | None
tpp-problem-05-02.pddl | None
tpp-problem-05-03.pddl | None
tpp-problem-05-04.pddl | None
tpp-problem-05-05.pddl | None
tpp-problem-06-01.pddl | None
tpp-problem-06-02.pddl | None
tpp-problem-06-03.pddl | None
tpp-problem-06-04.pddl | None
tpp-problem-06-05.pddl | None
tpp-problem-07-01.pddl | None
tpp-problem-07-02.pddl | None
tpp-problem-07-03.pddl | None
tpp-problem-07-04.pddl | None
tpp-problem-07-05.pddl | None
tpp-problem-08-01.pddl | None
tpp-problem-08-02.pddl | None
tpp-problem-08-03.pddl | None
tpp-problem-08-04.pddl | None
tpp-problem-08-05.pddl | None
tpp-problem-09-01.pddl | None
tpp-problem-09-02.pddl | None
tpp-problem-09-03.pddl | None
tpp-problem-09-04.pddl | None
tpp-problem-09-05.pddl | None

# total_time

total_time | Full Bitset
--- | ---
3unsat (25) | 12.00
bag-transport (16) | 5.63
bottleneck (14) | 1.99
cave-diving (9) | 7.52
chessboard-pebbling (7) | 5.42
document-transfer (4) | 37.32
mystery (9) | 10.56
over-nomystery (9) | 55.57
over-rovers (8) | 4.15
over-tpp (14) | 56.94
pegsol (24) | 0.06
pegsol-row5 (8) | 1.68
sliding-tiles (20) | 1.05
unsat-nomystery (125) | 32.09
unsat-rovers (70) | 2.73
unsat-tpp (1) | 17.48
Geometric mean (363) | 6.20

Only instances where all algorithms have a value for "total_time" are considered. Each table entry gives the geometric mean of "total_time" for that domain. The bottom row reports the geometric mean across all domains.

## 3unsat

total_time | Full Bitset
--- | ---
sat-3-22-5-1.pddl | 0.06
sat-3-22-5-2.pddl | 0.07
sat-3-22-5-3.pddl | 0.08
sat-3-22-5-4.pddl | 0.07
sat-3-22-5-5.pddl | 0.07
sat-3-43-10-1.pddl | 2.51
sat-3-43-10-2.pddl | 2.40
sat-3-43-10-3.pddl | 2.53
sat-3-43-10-4.pddl | 2.47
sat-3-43-10-5.pddl | 2.66
sat-3-65-15-1.pddl | 29.69
sat-3-65-15-2.pddl | 34.81
sat-3-65-15-3.pddl | 25.88
sat-3-65-15-4.pddl | 33.09
sat-3-65-15-5.pddl | 24.96
sat-3-86-20-1.pddl | 155.11
sat-3-86-20-2.pddl | 151.93
sat-3-86-20-3.pddl | 138.60
sat-3-86-20-4.pddl | 123.89
sat-3-86-20-5.pddl | 130.15
sat-3-108-25-1.pddl | 364.33
sat-3-108-25-2.pddl | 355.16
sat-3-108-25-3.pddl | 281.98
sat-3-108-25-4.pddl | 429.78
sat-3-108-25-5.pddl | 316.29
sat-3-129-30-1.pddl | None
sat-3-129-30-2.pddl | None
sat-3-129-30-3.pddl | None
sat-3-129-30-4.pddl | None
sat-3-129-30-5.pddl | None

## bag-barman

total_time | Full Bitset
--- | ---
prob01.pddl | None
prob02.pddl | None
prob03.pddl | None
prob04.pddl | None
prob05.pddl | None
prob06.pddl | None
prob07.pddl | None
prob08.pddl | None
prob09.pddl | None
prob10.pddl | None
prob11.pddl | None
prob12.pddl | None
prob13.pddl | None
prob14.pddl | None
prob15.pddl | None
prob16.pddl | None
prob17.pddl | None
prob18.pddl | None
prob19.pddl | None
prob20.pddl | None

## bag-gripper

total_time | Full Bitset
--- | ---
prob01.pddl | None
prob02.pddl | None
prob03.pddl | None
prob04.pddl | None
prob05.pddl | None
prob06.pddl | None
prob07.pddl | None
prob08.pddl | None
prob09.pddl | None
prob10.pddl | None
prob11.pddl | None
prob12.pddl | None
prob13.pddl | None
prob14.pddl | None
prob15.pddl | None
prob16.pddl | None
prob17.pddl | None
prob18.pddl | None
prob19.pddl | None
prob20.pddl | None
prob21.pddl | None
prob22.pddl | None
prob23.pddl | None
prob24.pddl | None
prob25.pddl | None

## bag-transport

total_time | Full Bitset
--- | ---
prob01.pddl | 0.27
prob02.pddl | 94.84
prob03.pddl | 0.12
prob04.pddl | 0.96
prob05.pddl | None
prob06.pddl | 1.46
prob07.pddl | 5.42
prob08.pddl | 5.40
prob09.pddl | 5.61
prob10.pddl | 17.10
prob11.pddl | None
prob12.pddl | None
prob13.pddl | 9.79
prob14.pddl | 28.36
prob15.pddl | 18.92
prob16.pddl | 31.61
prob17.pddl | 3.34
prob18.pddl | 4.75
prob19.pddl | 33.90
prob20.pddl | None
prob21.pddl | None
prob22.pddl | None
prob23.pddl | None
prob24.pddl | None
prob25.pddl | None
prob26.pddl | None
prob27.pddl | None
prob28.pddl | None
prob29.pddl | None

## bottleneck

total_time | Full Bitset
--- | ---
prob01.pddl | 0.01
prob02.pddl | 0.02
prob03.pddl | 0.03
prob04.pddl | 0.18
prob05.pddl | 0.18
prob06.pddl | 0.23
prob07.pddl | 0.28
prob08.pddl | 1.32
prob09.pddl | 143.13
prob10.pddl | 183.89
prob11.pddl | 251.39
prob12.pddl | 287.81
prob13.pddl | 8.44
prob14.pddl | None
prob15.pddl | None
prob16.pddl | None
prob17.pddl | None
prob18.pddl | None
prob19.pddl | 37.89
prob20.pddl | None
prob21.pddl | None
prob22.pddl | None
prob23.pddl | None
prob24.pddl | None
prob25.pddl | None

## cave-diving

total_time | Full Bitset
--- | ---
prob01.pddl | 26.71
prob02.pddl | 9.48
prob03.pddl | 3.03
prob04.pddl | 0.81
prob05.pddl | 0.01
prob06.pddl | None
prob07.pddl | None
prob08.pddl | None
prob09.pddl | 436.74
prob10.pddl | 12.76
prob11.pddl | None
prob12.pddl | None
prob13.pddl | None
prob14.pddl | 405.12
prob15.pddl | 5.49
prob16.pddl | None
prob17.pddl | None
prob18.pddl | None
prob19.pddl | None
prob20.pddl | None
prob21.pddl | None
prob22.pddl | None
prob23.pddl | None
prob24.pddl | None
prob25.pddl | None

## chessboard-pebbling

total_time | Full Bitset
--- | ---
prob03.pddl | 0.05
prob04.pddl | 0.24
prob05.pddl | 1.41
prob06.pddl | 7.87
prob07.pddl | 35.06
prob08.pddl | 135.98
prob09.pddl | 226.04
prob10.pddl | None
prob11.pddl | None
prob12.pddl | None
prob13.pddl | None
prob14.pddl | None
prob15.pddl | None
prob16.pddl | None
prob17.pddl | None
prob18.pddl | None
prob19.pddl | None
prob20.pddl | None
prob21.pddl | None
prob22.pddl | None
prob23.pddl | None
prob24.pddl | None
prob25.pddl | None

## document-transfer

total_time | Full Bitset
--- | ---
prob01.pddl | None
prob02.pddl | 196.37
prob03.pddl | None
prob04.pddl | None
prob05.pddl | None
prob06.pddl | 0.26
prob07.pddl | None
prob08.pddl | None
prob09.pddl | 137.13
prob10.pddl | None
prob11.pddl | None
prob12.pddl | None
prob13.pddl | None
prob14.pddl | None
prob15.pddl | None
prob16.pddl | None
prob17.pddl | None
prob18.pddl | None
prob19.pddl | 276.22
prob20.pddl | None

## mystery

total_time | Full Bitset
--- | ---
prob04.pddl | 0.21
prob05.pddl | 4.44
prob08.pddl | 14.48
prob12.pddl | 0.10
prob16.pddl | 2.32
prob21.pddl | 96.69
prob22.pddl | 490.53
prob23.pddl | 71.25
prob24.pddl | 148.22

## over-nomystery

total_time | Full Bitset
--- | ---
prob01.pddl | 0.20
prob02.pddl | 0.36
prob03.pddl | None
prob04.pddl | None
prob05.pddl | None
prob06.pddl | 103.93
prob07.pddl | 320.35
prob08.pddl | None
prob09.pddl | None
prob10.pddl | None
prob11.pddl | 161.09
prob12.pddl | 506.43
prob13.pddl | None
prob14.pddl | None
prob15.pddl | None
prob16.pddl | 160.24
prob17.pddl | 531.86
prob18.pddl | None
prob19.pddl | None
prob20.pddl | None
prob21.pddl | 306.20
prob22.pddl | None
prob23.pddl | None
prob24.pddl | None

## over-rovers

total_time | Full Bitset
--- | ---
prob01.pddl | 0.06
prob02.pddl | 0.07
prob03.pddl | 0.76
prob04.pddl | 44.36
prob05.pddl | 0.09
prob06.pddl | 314.82
prob07.pddl | None
prob08.pddl | 156.19
prob09.pddl | 152.45
prob10.pddl | None
prob11.pddl | None
prob12.pddl | None
prob13.pddl | None
prob14.pddl | None
prob15.pddl | None
prob16.pddl | None
prob17.pddl | None
prob18.pddl | None
prob19.pddl | None
prob20.pddl | None

## over-tpp

total_time | Full Bitset
--- | ---
prob01.pddl | 0.75
prob02.pddl | 0.12
prob03.pddl | 8.40
prob04.pddl | 71.22
prob05.pddl | 46.98
prob06.pddl | 196.13
prob07.pddl | 461.76
prob08.pddl | 617.59
prob09.pddl | None
prob10.pddl | None
prob11.pddl | None
prob12.pddl | None
prob13.pddl | None
prob14.pddl | None
prob15.pddl | None
prob16.pddl | 14.21
prob17.pddl | 37.24
prob18.pddl | 154.20
prob19.pddl | 640.86
prob20.pddl | 437.70
prob21.pddl | 1179.12
prob22.pddl | None
prob23.pddl | None
prob24.pddl | None
prob25.pddl | None
prob26.pddl | None
prob27.pddl | None
prob28.pddl | None
prob29.pddl | None
prob30.pddl | None

## pegsol

total_time | Full Bitset
--- | ---
prob05.pddl | 0.04
prob06.pddl | 0.04
prob09.pddl | 0.03
prob10.pddl | 0.03
prob11.pddl | 0.07
prob12.pddl | 0.08
prob13.pddl | 0.08
prob14.pddl | 0.07
prob15.pddl | 0.07
prob16.pddl | 0.07
prob17.pddl | 0.07
prob18.pddl | 0.07
prob19.pddl | 0.05
prob20.pddl | 0.05
prob21.pddl | 0.06
prob22.pddl | 0.06
prob23.pddl | 0.07
prob24.pddl | 0.07
prob25.pddl | 0.07
prob26.pddl | 0.07
prob27.pddl | 0.07
prob28.pddl | 0.08
prob29.pddl | 0.06
prob30.pddl | 0.11

## pegsol-row5

total_time | Full Bitset
--- | ---
prob01.pddl | 0.01
prob02.pddl | 0.01
prob03.pddl | 0.03
prob04.pddl | 0.96
prob05.pddl | 7.88
prob06.pddl | 40.81
prob07.pddl | 177.52
prob08.pddl | 413.02
prob09.pddl | None
prob10.pddl | None
prob11.pddl | None
prob12.pddl | None
prob13.pddl | None
prob14.pddl | None
prob15.pddl | None

## sliding-tiles

total_time | Full Bitset
--- | ---
prob01.pddl | 0.22
prob02.pddl | 0.23
prob03.pddl | 0.30
prob04.pddl | 0.29
prob05.pddl | 0.23
prob06.pddl | 0.23
prob07.pddl | 0.21
prob08.pddl | 0.27
prob09.pddl | 0.23
prob10.pddl | 0.29
prob11.pddl | 4.60
prob12.pddl | 4.05
prob13.pddl | 4.34
prob14.pddl | 4.74
prob15.pddl | 4.70
prob16.pddl | 5.29
prob17.pddl | 4.24
prob18.pddl | 4.00
prob19.pddl | 4.23
prob20.pddl | 4.51
prob24.pddl | None

## tetris

total_time | Full Bitset
--- | ---
prob01.pddl | None
prob02.pddl | None
prob03.pddl | None
prob04.pddl | None
prob05.pddl | None
prob06.pddl | None
prob07.pddl | None
prob08.pddl | None
prob09.pddl | None
prob10.pddl | None
prob11.pddl | None
prob12.pddl | None
prob13.pddl | None
prob14.pddl | None
prob15.pddl | None
prob16.pddl | None
prob17.pddl | None
prob18.pddl | None
prob19.pddl | None
prob20.pddl | None

## unsat-nomystery

total_time | Full Bitset
--- | ---
nomystery-problem-05-9-9-1-01.pddl | 35.47
nomystery-problem-05-9-9-1-02.pddl | 0.53
nomystery-problem-05-9-9-1-03.pddl | 54.45
nomystery-problem-05-9-9-1-04.pddl | 0.45
nomystery-problem-05-9-9-1-05.pddl | 66.03
nomystery-problem-05-9-9-2-01.pddl | 0.32
nomystery-problem-05-9-9-2-02.pddl | 0.21
nomystery-problem-05-9-9-2-03.pddl | 0.21
nomystery-problem-05-9-9-2-04.pddl | 0.21
nomystery-problem-05-9-9-2-05.pddl | 0.16
nomystery-problem-05-9-9-3-01.pddl | 46.93
nomystery-problem-05-9-9-3-02.pddl | 0.43
nomystery-problem-05-9-9-3-03.pddl | 0.58
nomystery-problem-05-9-9-3-04.pddl | 0.54
nomystery-problem-05-9-9-3-05.pddl | 0.54
nomystery-problem-05-9-9-4-01.pddl | 59.15
nomystery-problem-05-9-9-4-02.pddl | 43.46
nomystery-problem-05-9-9-4-03.pddl | 0.68
nomystery-problem-05-9-9-4-04.pddl | 0.70
nomystery-problem-05-9-9-4-05.pddl | 0.63
nomystery-problem-05-9-9-5-01.pddl | 0.30
nomystery-problem-05-9-9-5-02.pddl | 0.34
nomystery-problem-05-9-9-5-03.pddl | 0.30
nomystery-problem-05-9-9-5-04.pddl | 0.14
nomystery-problem-05-9-9-5-05.pddl | 0.39
nomystery-problem-05-12-15-01.pddl | None
nomystery-problem-05-12-15-02.pddl | None
nomystery-problem-05-12-15-03.pddl | None
nomystery-problem-05-12-15-04.pddl | None
nomystery-problem-05-12-15-05.pddl | None
nomystery-problem-06-9-9-1-01.pddl | 88.09
nomystery-problem-06-9-9-1-02.pddl | 112.93
nomystery-problem-06-9-9-1-03.pddl | 102.66
nomystery-problem-06-9-9-1-04.pddl | 85.83
nomystery-problem-06-9-9-1-05.pddl | 144.15
nomystery-problem-06-9-9-2-01.pddl | 31.80
nomystery-problem-06-9-9-2-02.pddl | 0.30
nomystery-problem-06-9-9-2-03.pddl | 0.31
nomystery-problem-06-9-9-2-04.pddl | 0.28
nomystery-problem-06-9-9-2-05.pddl | 0.24
nomystery-problem-06-9-9-3-01.pddl | 104.08
nomystery-problem-06-9-9-3-02.pddl | 41.01
nomystery-problem-06-9-9-3-03.pddl | 53.51
nomystery-problem-06-9-9-3-04.pddl | 0.63
nomystery-problem-06-9-9-3-05.pddl | 0.68
nomystery-problem-06-9-9-4-01.pddl | 102.87
nomystery-problem-06-9-9-4-02.pddl | 119.85
nomystery-problem-06-9-9-4-03.pddl | 107.34
nomystery-problem-06-9-9-4-04.pddl | 105.22
nomystery-problem-06-9-9-4-05.pddl | 113.78
nomystery-problem-06-9-9-5-01.pddl | 22.56
nomystery-problem-06-9-9-5-02.pddl | 0.37
nomystery-problem-06-9-9-5-03.pddl | 0.38
nomystery-problem-06-9-9-5-04.pddl | 0.31
nomystery-problem-06-9-9-5-05.pddl | 0.46
nomystery-problem-06-12-15-01.pddl | None
nomystery-problem-06-12-15-02.pddl | None
nomystery-problem-06-12-15-03.pddl | None
nomystery-problem-06-12-15-04.pddl | None
nomystery-problem-06-12-15-05.pddl | None
nomystery-problem-07-9-9-1-01.pddl | 138.83
nomystery-problem-07-9-9-1-02.pddl | 171.21
nomystery-problem-07-9-9-1-03.pddl | 187.18
nomystery-problem-07-9-9-1-04.pddl | 192.45
nomystery-problem-07-9-9-1-05.pddl | 253.11
nomystery-problem-07-9-9-2-01.pddl | 76.43
nomystery-problem-07-9-9-2-02.pddl | 60.77
nomystery-problem-07-9-9-2-03.pddl | 95.44
nomystery-problem-07-9-9-2-04.pddl | 0.34
nomystery-problem-07-9-9-2-05.pddl | 0.51
nomystery-problem-07-9-9-3-01.pddl | 167.91
nomystery-problem-07-9-9-3-02.pddl | 101.00
nomystery-problem-07-9-9-3-03.pddl | 122.06
nomystery-problem-07-9-9-3-04.pddl | 71.18
nomystery-problem-07-9-9-3-05.pddl | 124.34
nomystery-problem-07-9-9-4-01.pddl | 167.22
nomystery-problem-07-9-9-4-02.pddl | 190.40
nomystery-problem-07-9-9-4-03.pddl | 145.57
nomystery-problem-07-9-9-4-04.pddl | 159.48
nomystery-problem-07-9-9-4-05.pddl | 192.53
nomystery-problem-07-9-9-5-01.pddl | 67.50
nomystery-problem-07-9-9-5-02.pddl | 46.23
nomystery-problem-07-9-9-5-03.pddl | 0.45
nomystery-problem-07-9-9-5-04.pddl | 23.76
nomystery-problem-07-9-9-5-05.pddl | 87.53
nomystery-problem-07-12-15-01.pddl | None
nomystery-problem-07-12-15-02.pddl | None
nomystery-problem-07-12-15-03.pddl | None
nomystery-problem-07-12-15-04.pddl | None
nomystery-problem-07-12-15-05.pddl | None
nomystery-problem-08-9-9-1-01.pddl | 205.78
nomystery-problem-08-9-9-1-02.pddl | 265.53
nomystery-problem-08-9-9-1-03.pddl | 278.43
nomystery-problem-08-9-9-1-04.pddl | 257.62
nomystery-problem-08-9-9-1-05.pddl | 364.85
nomystery-problem-08-9-9-2-01.pddl | 160.96
nomystery-problem-08-9-9-2-02.pddl | 120.85
nomystery-problem-08-9-9-2-03.pddl | 172.13
nomystery-problem-08-9-9-2-04.pddl | 134.23
nomystery-problem-08-9-9-2-05.pddl | 119.99
nomystery-problem-08-9-9-3-01.pddl | 211.95
nomystery-problem-08-9-9-3-02.pddl | 166.80
nomystery-problem-08-9-9-3-03.pddl | 165.99
nomystery-problem-08-9-9-3-04.pddl | 151.42
nomystery-problem-08-9-9-3-05.pddl | 243.51
nomystery-problem-08-9-9-4-01.pddl | 242.92
nomystery-problem-08-9-9-4-02.pddl | 241.55
nomystery-problem-08-9-9-4-03.pddl | 249.94
nomystery-problem-08-9-9-4-04.pddl | 261.09
nomystery-problem-08-9-9-4-05.pddl | 268.28
nomystery-problem-08-9-9-5-01.pddl | 139.79
nomystery-problem-08-9-9-5-02.pddl | 104.35
nomystery-problem-08-9-9-5-03.pddl | 121.39
nomystery-problem-08-9-9-5-04.pddl | 69.41
nomystery-problem-08-9-9-5-05.pddl | 130.76
nomystery-problem-08-12-15-01.pddl | None
nomystery-problem-08-12-15-02.pddl | None
nomystery-problem-08-12-15-03.pddl | None
nomystery-problem-08-12-15-04.pddl | None
nomystery-problem-08-12-15-05.pddl | None
nomystery-problem-09-9-9-1-01.pddl | 289.01
nomystery-problem-09-9-9-1-02.pddl | 382.25
nomystery-problem-09-9-9-1-03.pddl | 512.37
nomystery-problem-09-9-9-1-04.pddl | 446.16
nomystery-problem-09-9-9-1-05.pddl | 593.81
nomystery-problem-09-9-9-2-01.pddl | 241.94
nomystery-problem-09-9-9-2-02.pddl | 195.95
nomystery-problem-09-9-9-2-03.pddl | 294.52
nomystery-problem-09-9-9-2-04.pddl | 212.00
nomystery-problem-09-9-9-2-05.pddl | 226.15
nomystery-problem-09-9-9-3-01.pddl | 319.48
nomystery-problem-09-9-9-3-02.pddl | 273.63
nomystery-problem-09-9-9-3-03.pddl | 258.98
nomystery-problem-09-9-9-3-04.pddl | 271.16
nomystery-problem-09-9-9-3-05.pddl | 355.33
nomystery-problem-09-9-9-4-01.pddl | 316.68
nomystery-problem-09-9-9-4-02.pddl | 444.66
nomystery-problem-09-9-9-4-03.pddl | 356.00
nomystery-problem-09-9-9-4-04.pddl | 430.83
nomystery-problem-09-9-9-4-05.pddl | 389.79
nomystery-problem-09-9-9-5-01.pddl | 180.75
nomystery-problem-09-9-9-5-02.pddl | 203.60
nomystery-problem-09-9-9-5-03.pddl | 229.53
nomystery-problem-09-9-9-5-04.pddl | 150.59
nomystery-problem-09-9-9-5-05.pddl | 227.83
nomystery-problem-09-12-15-01.pddl | None
nomystery-problem-09-12-15-02.pddl | None
nomystery-problem-09-12-15-03.pddl | None
nomystery-problem-09-12-15-04.pddl | None
nomystery-problem-09-12-15-05.pddl | None

## unsat-rovers

total_time | Full Bitset
--- | ---
rovers-problem-05-11-1-01.pddl | 0.67
rovers-problem-05-11-1-02.pddl | 0.59
rovers-problem-05-11-1-03.pddl | 1.43
rovers-problem-05-11-1-04.pddl | 0.90
rovers-problem-05-11-1-05.pddl | 1.18
rovers-problem-05-11-2-01.pddl | 1.13
rovers-problem-05-11-2-02.pddl | 0.65
rovers-problem-05-11-2-03.pddl | 1.03
rovers-problem-05-11-2-04.pddl | 0.99
rovers-problem-05-11-2-05.pddl | 1.25
rovers-problem-05-11-3-01.pddl | 703.79
rovers-problem-05-11-3-02.pddl | 0.90
rovers-problem-05-11-3-03.pddl | 1.73
rovers-problem-05-11-3-04.pddl | 1.86
rovers-problem-05-11-3-05.pddl | 1.85
rovers-problem-05-11-4-01.pddl | 0.56
rovers-problem-05-11-4-02.pddl | 0.53
rovers-problem-05-11-4-03.pddl | 0.44
rovers-problem-05-11-4-04.pddl | 0.65
rovers-problem-05-11-4-05.pddl | 0.75
rovers-problem-05-11-5-01.pddl | None
rovers-problem-05-11-5-02.pddl | None
rovers-problem-05-11-5-03.pddl | 1.54
rovers-problem-05-11-5-04.pddl | 1.67
rovers-problem-05-11-5-05.pddl | 1.60
rovers-problem-05-15-01.pddl | None
rovers-problem-05-15-02.pddl | None
rovers-problem-05-15-03.pddl | None
rovers-problem-05-15-04.pddl | None
rovers-problem-05-15-05.pddl | 1.41
rovers-problem-06-11-1-01.pddl | 0.61
rovers-problem-06-11-1-02.pddl | 0.65
rovers-problem-06-11-1-03.pddl | 1.25
rovers-problem-06-11-1-04.pddl | 1.17
rovers-problem-06-11-1-05.pddl | 1.33
rovers-problem-06-11-2-01.pddl | None
rovers-problem-06-11-2-02.pddl | 2.03
rovers-problem-06-11-2-03.pddl | 1.21
rovers-problem-06-11-2-04.pddl | 1.69
rovers-problem-06-11-2-05.pddl | 1.63
rovers-problem-06-11-3-01.pddl | None
rovers-problem-06-11-3-02.pddl | 744.21
rovers-problem-06-11-3-03.pddl | None
rovers-problem-06-11-3-04.pddl | 2.13
rovers-problem-06-11-3-05.pddl | 1.96
rovers-problem-06-11-4-01.pddl | 382.58
rovers-problem-06-11-4-02.pddl | 0.57
rovers-problem-06-11-4-03.pddl | 0.54
rovers-problem-06-11-4-04.pddl | 0.99
rovers-problem-06-11-4-05.pddl | 1.00
rovers-problem-06-11-5-01.pddl | None
rovers-problem-06-11-5-02.pddl | None
rovers-problem-06-11-5-03.pddl | None
rovers-problem-06-11-5-04.pddl | 2.23
rovers-problem-06-11-5-05.pddl | 2.86
rovers-problem-06-15-01.pddl | None
rovers-problem-06-15-02.pddl | None
rovers-problem-06-15-03.pddl | None
rovers-problem-06-15-04.pddl | None
rovers-problem-06-15-05.pddl | 1.79
rovers-problem-07-11-1-01.pddl | 471.51
rovers-problem-07-11-1-02.pddl | 443.39
rovers-problem-07-11-1-03.pddl | 1.55
rovers-problem-07-11-1-04.pddl | 1.59
rovers-problem-07-11-1-05.pddl | 2.08
rovers-problem-07-11-2-01.pddl | None
rovers-problem-07-11-2-02.pddl | 3.04
rovers-problem-07-11-2-03.pddl | 2.22
rovers-problem-07-11-2-04.pddl | 1.86
rovers-problem-07-11-2-05.pddl | 1.91
rovers-problem-07-11-3-01.pddl | None
rovers-problem-07-11-3-02.pddl | None
rovers-problem-07-11-3-03.pddl | None
rovers-problem-07-11-3-04.pddl | None
rovers-problem-07-11-3-05.pddl | None
rovers-problem-07-11-4-01.pddl | 531.70
rovers-problem-07-11-4-02.pddl | None
rovers-problem-07-11-4-03.pddl | 1.11
rovers-problem-07-11-4-04.pddl | 1.25
rovers-problem-07-11-4-05.pddl | 1.40
rovers-problem-07-11-5-01.pddl | None
rovers-problem-07-11-5-02.pddl | None
rovers-problem-07-11-5-03.pddl | None
rovers-problem-07-11-5-04.pddl | None
rovers-problem-07-11-5-05.pddl | 4.13
rovers-problem-07-15-01.pddl | None
rovers-problem-07-15-02.pddl | None
rovers-problem-07-15-03.pddl | None
rovers-problem-07-15-04.pddl | None
rovers-problem-07-15-05.pddl | 1.76
rovers-problem-08-11-1-01.pddl | 575.90
rovers-problem-08-11-1-02.pddl | None
rovers-problem-08-11-1-03.pddl | 1.94
rovers-problem-08-11-1-04.pddl | 1.92
rovers-problem-08-11-1-05.pddl | None
rovers-problem-08-11-2-01.pddl | None
rovers-problem-08-11-2-02.pddl | None
rovers-problem-08-11-2-03.pddl | 2.88
rovers-problem-08-11-2-04.pddl | 2.95
rovers-problem-08-11-2-05.pddl | 3.12
rovers-problem-08-11-3-01.pddl | None
rovers-problem-08-11-3-02.pddl | None
rovers-problem-08-11-3-03.pddl | None
rovers-problem-08-11-3-04.pddl | None
rovers-problem-08-11-3-05.pddl | None
rovers-problem-08-11-4-01.pddl | None
rovers-problem-08-11-4-02.pddl | None
rovers-problem-08-11-4-03.pddl | None
rovers-problem-08-11-4-04.pddl | None
rovers-problem-08-11-4-05.pddl | 1.91
rovers-problem-08-11-5-01.pddl | None
rovers-problem-08-11-5-02.pddl | None
rovers-problem-08-11-5-03.pddl | None
rovers-problem-08-11-5-04.pddl | None
rovers-problem-08-11-5-05.pddl | None
rovers-problem-08-15-01.pddl | None
rovers-problem-08-15-02.pddl | None
rovers-problem-08-15-03.pddl | None
rovers-problem-08-15-04.pddl | None
rovers-problem-08-15-05.pddl | None
rovers-problem-09-11-1-01.pddl | 599.84
rovers-problem-09-11-1-02.pddl | None
rovers-problem-09-11-1-03.pddl | None
rovers-problem-09-11-1-04.pddl | 2.45
rovers-problem-09-11-1-05.pddl | None
rovers-problem-09-11-2-01.pddl | None
rovers-problem-09-11-2-02.pddl | None
rovers-problem-09-11-2-03.pddl | 3.40
rovers-problem-09-11-2-04.pddl | None
rovers-problem-09-11-2-05.pddl | None
rovers-problem-09-11-3-01.pddl | None
rovers-problem-09-11-3-02.pddl | None
rovers-problem-09-11-3-03.pddl | None
rovers-problem-09-11-3-04.pddl | None
rovers-problem-09-11-3-05.pddl | None
rovers-problem-09-11-4-01.pddl | None
rovers-problem-09-11-4-02.pddl | None
rovers-problem-09-11-4-03.pddl | None
rovers-problem-09-11-4-04.pddl | None
rovers-problem-09-11-4-05.pddl | 1.77
rovers-problem-09-11-5-01.pddl | None
rovers-problem-09-11-5-02.pddl | None
rovers-problem-09-11-5-03.pddl | None
rovers-problem-09-11-5-04.pddl | None
rovers-problem-09-11-5-05.pddl | None
rovers-problem-09-15-01.pddl | None
rovers-problem-09-15-02.pddl | None
rovers-problem-09-15-03.pddl | None
rovers-problem-09-15-04.pddl | None
rovers-problem-09-15-05.pddl | None

## unsat-tpp

total_time | Full Bitset
--- | ---
tpp-problem-05-01.pddl | None
tpp-problem-05-02.pddl | None
tpp-problem-05-03.pddl | 17.48
tpp-problem-05-04.pddl | None
tpp-problem-05-05.pddl | None
tpp-problem-06-01.pddl | None
tpp-problem-06-02.pddl | None
tpp-problem-06-03.pddl | None
tpp-problem-06-04.pddl | None
tpp-problem-06-05.pddl | None
tpp-problem-07-01.pddl | None
tpp-problem-07-02.pddl | None
tpp-problem-07-03.pddl | None
tpp-problem-07-04.pddl | None
tpp-problem-07-05.pddl | None
tpp-problem-08-01.pddl | None
tpp-problem-08-02.pddl | None
tpp-problem-08-03.pddl | None
tpp-problem-08-04.pddl | None
tpp-problem-08-05.pddl | None
tpp-problem-09-01.pddl | None
tpp-problem-09-02.pddl | None
tpp-problem-09-03.pddl | None
tpp-problem-09-04.pddl | None
tpp-problem-09-05.pddl | None