info
| algorithm |
local_revision |
global_revision |
revision_summary |
driver_options |
component_options |
| parity |
parity-functions |
3d29d37 |
3d29d37 |
['--validate', '--overall-time-limit', '30m', '--overall-memory-limit', '3584M'] |
['--search', 'astar(parity())'] |
Used nodes: {ase01, ..., ase04}
error
error-search-out-of-memory
error-search-out-of-time
error-search-unsolvable-incomplete
error-translate-out-of-memory
agricola-sat18-strips
| error |
parity |
| p01.pddl |
search-out-of-memory |
airport
| error |
parity |
| p01-airport1-p1.pddl |
search-unsolvable-incomplete |
barman-sat11-strips
| error |
parity |
| pfile06-021.pddl |
search-out-of-memory |
barman-sat14-strips
| error |
parity |
| p1-11-4-15.pddl |
search-out-of-memory |
blocks
| error |
parity |
| probBLOCKS-4-0.pddl |
search-unsolvable-incomplete |
childsnack-sat14-strips
| error |
parity |
| child-snack_pfile05.pddl |
search-out-of-memory |
data-network-sat18-strips
| error |
parity |
| p01.pddl |
search-out-of-memory |
depot
| error |
parity |
| p01.pddl |
search-unsolvable-incomplete |
driverlog
| error |
parity |
| p01.pddl |
search-unsolvable-incomplete |
elevators-sat08-strips
| error |
parity |
| p01.pddl |
search-unsolvable-incomplete |
elevators-sat11-strips
| error |
parity |
| p01.pddl |
search-out-of-memory |
floortile-sat11-strips
| error |
parity |
| seq-p01-001.pddl |
search-unsolvable-incomplete |
floortile-sat14-strips
| error |
parity |
| p01-4-3-2.pddl |
search-unsolvable-incomplete |
freecell
| error |
parity |
| p01.pddl |
search-unsolvable-incomplete |
ged-sat14-strips
| error |
parity |
| d-3-6.pddl |
search-out-of-memory |
grid
| error |
parity |
| prob01.pddl |
search-out-of-memory |
gripper
| error |
parity |
| prob01.pddl |
search-unsolvable-incomplete |
hiking-sat14-strips
| error |
parity |
| ptesting-1-2-7.pddl |
search-unsolvable-incomplete |
logistics00
| error |
parity |
| probLOGISTICS-4-0.pddl |
search-unsolvable-incomplete |
logistics98
| error |
parity |
| prob01.pddl |
search-unsolvable-incomplete |
miconic
| error |
parity |
| s1-0.pddl |
search-unsolvable-incomplete |
movie
| error |
parity |
| prob01.pddl |
search-unsolvable-incomplete |
mprime
| error |
parity |
| prob01.pddl |
search-unsolvable-incomplete |
mystery
| error |
parity |
| prob01.pddl |
search-unsolvable-incomplete |
nomystery-sat11-strips
| error |
parity |
| p01.pddl |
search-unsolvable-incomplete |
openstacks-sat08-strips
| error |
parity |
| p01.pddl |
search-unsolvable-incomplete |
openstacks-sat11-strips
| error |
parity |
| p01.pddl |
search-out-of-memory |
openstacks-sat14-strips
| error |
parity |
| p170_2.pddl |
search-out-of-memory |
openstacks-strips
| error |
parity |
| p01.pddl |
search-unsolvable-incomplete |
organic-synthesis-sat18-strips
| error |
parity |
| p01.pddl |
translate-out-of-memory |
organic-synthesis-split-sat18-strips
| error |
parity |
| p01.pddl |
search-out-of-time |
parcprinter-08-strips
| error |
parity |
| p01.pddl |
search-unsolvable-incomplete |
parcprinter-sat11-strips
| error |
parity |
| p01.pddl |
search-unsolvable-incomplete |
parking-sat11-strips
| error |
parity |
| pfile08-031.pddl |
search-out-of-memory |
parking-sat14-strips
| error |
parity |
| p_28_2.pddl |
search-out-of-time |
pathways
| error |
parity |
| p01.pddl |
search-unsolvable-incomplete |
pegsol-08-strips
| error |
parity |
| p01.pddl |
search-unsolvable-incomplete |
pegsol-sat11-strips
| error |
parity |
| p01.pddl |
search-unsolvable-incomplete |
pipesworld-notankage
| error |
parity |
| p01-net1-b6-g2.pddl |
search-unsolvable-incomplete |
pipesworld-tankage
| error |
parity |
| p01-net1-b6-g2-t50.pddl |
search-unsolvable-incomplete |
psr-small
| error |
parity |
| p01-s2-n1-l2-f50.pddl |
search-unsolvable-incomplete |
rovers
| error |
parity |
| p01.pddl |
search-unsolvable-incomplete |
satellite
| error |
parity |
| p01-pfile1.pddl |
search-unsolvable-incomplete |
scanalyzer-08-strips
| error |
parity |
| p01.pddl |
search-unsolvable-incomplete |
scanalyzer-sat11-strips
| error |
parity |
| p01.pddl |
search-out-of-memory |
snake-sat18-strips
| error |
parity |
| p01.pddl |
search-out-of-memory |
sokoban-sat08-strips
| error |
parity |
| p01.pddl |
search-unsolvable-incomplete |
sokoban-sat11-strips
| error |
parity |
| p01.pddl |
search-unsolvable-incomplete |
spider-sat18-strips
| error |
parity |
| p01.pddl |
search-out-of-time |
storage
| error |
parity |
| p01.pddl |
search-unsolvable-incomplete |
termes-sat18-strips
| error |
parity |
| p01.pddl |
search-unsolvable-incomplete |
tetris-sat14-strips
| error |
parity |
| p020.pddl |
search-out-of-memory |
thoughtful-sat14-strips
| error |
parity |
| p11_6_53-typed.pddl |
search-out-of-time |
tidybot-sat11-strips
| error |
parity |
| p01.pddl |
search-out-of-time |
tpp
| error |
parity |
| p01.pddl |
search-unsolvable-incomplete |
transport-sat08-strips
| error |
parity |
| p01.pddl |
search-unsolvable-incomplete |
transport-sat11-strips
| error |
parity |
| p01.pddl |
search-out-of-memory |
transport-sat14-strips
| error |
parity |
| p01.pddl |
search-out-of-time |
trucks-strips
| error |
parity |
| p01.pddl |
search-unsolvable-incomplete |
visitall-sat11-strips
| error |
parity |
| problem12.pddl |
search-out-of-memory |
visitall-sat14-strips
| error |
parity |
| pfile30.pddl |
search-out-of-time |
woodworking-sat08-strips
| error |
parity |
| p01.pddl |
search-unsolvable-incomplete |
woodworking-sat11-strips
| error |
parity |
| p01.pddl |
search-out-of-memory |
zenotravel
| error |
parity |
| p01.pddl |
search-unsolvable-incomplete |