Unexplained Errors
Info
Summary
coverage
- elevators-opt11-strips openstacks-opt11-strips sokoban-opt11-strips
error
- error-search-out-of-time error-segfault error-success elevators-opt11-strips openstacks-opt11-strips sokoban-opt11-strips
expansions
- elevators-opt11-strips openstacks-opt11-strips sokoban-opt11-strips
total_time
- elevators-opt11-strips openstacks-opt11-strips sokoban-opt11-strips

unexplained-errors

Unexplained errors	domain	problem	algorithm	unexplained_errors	error	planner_wall_clock_time	raw_memory	node
runs-00001-00100/00054	elevators-opt11-strips	p01.pddl	petri_all_states_potential()	['segfault']	segfault	0.41	48628	localhost.localdomain
runs-00001-00100/00058	sokoban-opt11-strips	p01.pddl	petri_operatorcounting(constraint_generators=[state_equation_constraints()])	['segfault']	segfault	0.57	52972	localhost.localdomain
runs-00001-00100/00059	openstacks-opt11-strips	p01.pddl	petri_operatorcounting(constraint_generators=[state_equation_constraints()])	['segfault']	segfault	0.38	48276	localhost.localdomain
runs-00001-00100/00060	elevators-opt11-strips	p01.pddl	petri_operatorcounting(constraint_generators=[state_equation_constraints()])	['segfault']	segfault	0.39	49648	localhost.localdomain
runs-00001-00100/00064	sokoban-opt11-strips	p01.pddl	petri_operatorcounting(constraint_generators=[state_equation_constraints(),lmcut_constraints()])	['segfault']	segfault	0.59	53756	localhost.localdomain
runs-00001-00100/00065	openstacks-opt11-strips	p01.pddl	petri_operatorcounting(constraint_generators=[state_equation_constraints(),lmcut_constraints()])	['segfault']	segfault	0.31	48748	localhost.localdomain
runs-00001-00100/00066	elevators-opt11-strips	p01.pddl	petri_operatorcounting(constraint_generators=[state_equation_constraints(),lmcut_constraints()])	['segfault']	segfault	0.49	50220	localhost.localdomain

info

algorithm	local_revision	global_revision	revision_summary	build_options	driver_options	component_options
petri_all_states_potential()	petri	928f1514a	928f1514a	['release']	['--validate', '--overall-time-limit', '30m', '--overall-memory-limit', '3584M', '--overall-time-limit', '180', '--overall-memory-limit', '6G', '--petri-translate', '--search']	['--search', 'astar(all_states_potential())']
petri_cegar()	petri	928f1514a	928f1514a	['release']	['--validate', '--overall-time-limit', '30m', '--overall-memory-limit', '3584M', '--overall-time-limit', '180', '--overall-memory-limit', '6G', '--petri-translate', '--search']	['--search', 'astar(cegar())']
petri_const(value=0)	petri	928f1514a	928f1514a	['release']	['--validate', '--overall-time-limit', '30m', '--overall-memory-limit', '3584M', '--overall-time-limit', '180', '--overall-memory-limit', '6G', '--petri-translate', '--search']	['--search', 'astar(const(value=0))']
petri_cpdbs()	petri	928f1514a	928f1514a	['release']	['--validate', '--overall-time-limit', '30m', '--overall-memory-limit', '3584M', '--overall-time-limit', '180', '--overall-memory-limit', '6G', '--petri-translate', '--search']	['--search', 'astar(cpdbs())']
petri_hm()	petri	928f1514a	928f1514a	['release']	['--validate', '--overall-time-limit', '30m', '--overall-memory-limit', '3584M', '--overall-time-limit', '180', '--overall-memory-limit', '6G', '--petri-translate', '--search']	['--search', 'astar(hm())']
petri_hm(m=1)	petri	928f1514a	928f1514a	['release']	['--validate', '--overall-time-limit', '30m', '--overall-memory-limit', '3584M', '--overall-time-limit', '180', '--overall-memory-limit', '6G', '--petri-translate', '--search']	['--search', 'astar(hm(m=1))']
petri_lmcount(lm_exhaust)	petri	928f1514a	928f1514a	['release']	['--validate', '--overall-time-limit', '30m', '--overall-memory-limit', '3584M', '--overall-time-limit', '180', '--overall-memory-limit', '6G', '--petri-translate', '--search']	['--search', 'astar(lmcount(lm_exhaust))']
petri_lmcut()	petri	928f1514a	928f1514a	['release']	['--validate', '--overall-time-limit', '30m', '--overall-memory-limit', '3584M', '--overall-time-limit', '180', '--overall-memory-limit', '6G', '--petri-translate', '--search']	['--search', 'astar(lmcut())']
petri_merge_and_shrink(merge_strategy=merge_sccs(order_of_sccs=topological,merge_selector=score_based_filtering(scoring_functions=[goal_relevance,dfp,total_order])), shrink_strategy=shrink_bisimulation(greedy=false))	petri	928f1514a	928f1514a	['release']	['--validate', '--overall-time-limit', '30m', '--overall-memory-limit', '3584M', '--overall-time-limit', '180', '--overall-memory-limit', '6G', '--petri-translate', '--search']	['--search', 'astar(merge_and_shrink(merge_strategy=merge_sccs(order_of_sccs=topological,merge_selector=score_based_filtering(scoring_functions=[goal_relevance,dfp,total_order])), shrink_strategy=shrink_bisimulation(greedy=false)))']
petri_operatorcounting(constraint_generators=[state_equation_constraints(),lmcut_constraints()])	petri	928f1514a	928f1514a	['release']	['--validate', '--overall-time-limit', '30m', '--overall-memory-limit', '3584M', '--overall-time-limit', '180', '--overall-memory-limit', '6G', '--petri-translate', '--search']	['--search', 'astar(operatorcounting(constraint_generators=[state_equation_constraints(),lmcut_constraints()]))']
petri_operatorcounting(constraint_generators=[state_equation_constraints()])	petri	928f1514a	928f1514a	['release']	['--validate', '--overall-time-limit', '30m', '--overall-memory-limit', '3584M', '--overall-time-limit', '180', '--overall-memory-limit', '6G', '--petri-translate', '--search']	['--search', 'astar(operatorcounting(constraint_generators=[state_equation_constraints()]))']
sas_all_states_potential()	petri	928f1514a	928f1514a	['release']	['--validate', '--overall-time-limit', '30m', '--overall-memory-limit', '3584M', '--overall-time-limit', '180', '--overall-memory-limit', '6G', '--translate', '--search']	['--search', 'astar(all_states_potential())']
sas_cegar()	petri	928f1514a	928f1514a	['release']	['--validate', '--overall-time-limit', '30m', '--overall-memory-limit', '3584M', '--overall-time-limit', '180', '--overall-memory-limit', '6G', '--translate', '--search']	['--search', 'astar(cegar())']
sas_const(value=0)	petri	928f1514a	928f1514a	['release']	['--validate', '--overall-time-limit', '30m', '--overall-memory-limit', '3584M', '--overall-time-limit', '180', '--overall-memory-limit', '6G', '--translate', '--search']	['--search', 'astar(const(value=0))']
sas_cpdbs()	petri	928f1514a	928f1514a	['release']	['--validate', '--overall-time-limit', '30m', '--overall-memory-limit', '3584M', '--overall-time-limit', '180', '--overall-memory-limit', '6G', '--translate', '--search']	['--search', 'astar(cpdbs())']
sas_hm()	petri	928f1514a	928f1514a	['release']	['--validate', '--overall-time-limit', '30m', '--overall-memory-limit', '3584M', '--overall-time-limit', '180', '--overall-memory-limit', '6G', '--translate', '--search']	['--search', 'astar(hm())']
sas_hm(m=1)	petri	928f1514a	928f1514a	['release']	['--validate', '--overall-time-limit', '30m', '--overall-memory-limit', '3584M', '--overall-time-limit', '180', '--overall-memory-limit', '6G', '--translate', '--search']	['--search', 'astar(hm(m=1))']
sas_lmcount(lm_exhaust)	petri	928f1514a	928f1514a	['release']	['--validate', '--overall-time-limit', '30m', '--overall-memory-limit', '3584M', '--overall-time-limit', '180', '--overall-memory-limit', '6G', '--translate', '--search']	['--search', 'astar(lmcount(lm_exhaust))']
sas_lmcut()	petri	928f1514a	928f1514a	['release']	['--validate', '--overall-time-limit', '30m', '--overall-memory-limit', '3584M', '--overall-time-limit', '180', '--overall-memory-limit', '6G', '--translate', '--search']	['--search', 'astar(lmcut())']
sas_merge_and_shrink(merge_strategy=merge_sccs(order_of_sccs=topological,merge_selector=score_based_filtering(scoring_functions=[goal_relevance,dfp,total_order])), shrink_strategy=shrink_bisimulation(greedy=false))	petri	928f1514a	928f1514a	['release']	['--validate', '--overall-time-limit', '30m', '--overall-memory-limit', '3584M', '--overall-time-limit', '180', '--overall-memory-limit', '6G', '--translate', '--search']	['--search', 'astar(merge_and_shrink(merge_strategy=merge_sccs(order_of_sccs=topological,merge_selector=score_based_filtering(scoring_functions=[goal_relevance,dfp,total_order])), shrink_strategy=shrink_bisimulation(greedy=false)))']
sas_operatorcounting(constraint_generators=[state_equation_constraints(),lmcut_constraints()])	petri	928f1514a	928f1514a	['release']	['--validate', '--overall-time-limit', '30m', '--overall-memory-limit', '3584M', '--overall-time-limit', '180', '--overall-memory-limit', '6G', '--translate', '--search']	['--search', 'astar(operatorcounting(constraint_generators=[state_equation_constraints(),lmcut_constraints()]))']
sas_operatorcounting(constraint_generators=[state_equation_constraints()])	petri	928f1514a	928f1514a	['release']	['--validate', '--overall-time-limit', '30m', '--overall-memory-limit', '3584M', '--overall-time-limit', '180', '--overall-memory-limit', '6G', '--translate', '--search']	['--search', 'astar(operatorcounting(constraint_generators=[state_equation_constraints()]))']

Used nodes: {localhost.localdomain}

summary

coverage

The last row reports the sum across all domains.

elevators-opt11-strips

openstacks-opt11-strips

sokoban-opt11-strips

error

error-search-out-of-time

error-segfault

error-success

elevators-opt11-strips

openstacks-opt11-strips

sokoban-opt11-strips

expansions

No task was found where all algorithms have a value for "expansions". Therefore no domain-wise table can be generated.

elevators-opt11-strips

openstacks-opt11-strips

sokoban-opt11-strips

total_time

No task was found where all algorithms have a value for "total_time". Therefore no domain-wise table can be generated.

Summary	petri_all_states_potential()	petri_cegar()	petri_const(value=0)	petri_cpdbs()	petri_hm()	petri_hm(m=1)	petri_lmcount(lm_exhaust)	petri_lmcut()	petri_merge_and_shrink(merge_strategy=merge_sccs(order_of_sccs=topological,merge_selector=score_based_filtering(scoring_functions=[goal_relevance,dfp,total_order])), shrink_strategy=shrink_bisimulation(greedy=false))	petri_operatorcounting(constraint_generators=[state_equation_constraints(),lmcut_constraints()])	petri_operatorcounting(constraint_generators=[state_equation_constraints()])	sas_all_states_potential()	sas_cegar()	sas_const(value=0)	sas_cpdbs()	sas_hm()	sas_hm(m=1)	sas_lmcount(lm_exhaust)	sas_lmcut()	sas_merge_and_shrink(merge_strategy=merge_sccs(order_of_sccs=topological,merge_selector=score_based_filtering(scoring_functions=[goal_relevance,dfp,total_order])), shrink_strategy=shrink_bisimulation(greedy=false))	sas_operatorcounting(constraint_generators=[state_equation_constraints(),lmcut_constraints()])	sas_operatorcounting(constraint_generators=[state_equation_constraints()])
coverage - Sum	2	3	3	3	0	2	3	3	3	0	0	3	3	3	3	0	3	3	3	3	3	3
error-search-out-of-time - Sum	0	0	0	0	3	1	0	0	0	0	0	0	0	0	0	3	0	0	0	0	0	0
error-segfault - Sum	1	0	0	0	0	0	0	0	0	3	3	0	0	0	0	0	0	0	0	0	0	0
error-success - Sum	2	3	3	3	0	2	3	3	3	0	0	3	3	3	3	0	3	3	3	3	3	3

coverage	petri_all_states_potential()	petri_cegar()	petri_const(value=0)	petri_cpdbs()	petri_hm(m=1)	petri_lmcount(lm_exhaust)	petri_lmcut()	petri_merge_and_shrink(merge_strategy=merge_sccs(order_of_sccs=topological,merge_selector=score_based_filtering(scoring_functions=[goal_relevance,dfp,total_order])), shrink_strategy=shrink_bisimulation(greedy=false))	sas_all_states_potential()	sas_cegar()	sas_const(value=0)	sas_cpdbs()	sas_hm(m=1)	sas_lmcount(lm_exhaust)	sas_lmcut()	sas_merge_and_shrink(merge_strategy=merge_sccs(order_of_sccs=topological,merge_selector=score_based_filtering(scoring_functions=[goal_relevance,dfp,total_order])), shrink_strategy=shrink_bisimulation(greedy=false))	sas_operatorcounting(constraint_generators=[state_equation_constraints(),lmcut_constraints()])	sas_operatorcounting(constraint_generators=[state_equation_constraints()])
elevators-opt11-strips (1)	0	1	1	1	0	1	1	1	1	1	1	1	1	1	1	1	1	1
openstacks-opt11-strips (1)	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1
sokoban-opt11-strips (1)	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1
Sum (3)	2	3	3	3	2	3	3	3	3	3	3	3	3	3	3	3	3	3