Unexplained Errors
Info
Summary
coverage
- 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

coverage	sas_cegar()	petri_cegar()	Diff cegar()	sas_hm()	petri_hm()	Diff hm()	sas_hm(m=1)	petri_hm(m=1)	Diff hm(m=1)	sas_const(value=0)	petri_const(value=0)	Diff const(value=0)	sas_lmcount(lm_exhaust)	petri_lmcount(lm_exhaust)	Diff lmcount(lm_exhaust)	sas_lmcut()	petri_lmcut()	Diff lmcut()	sas_cpdbs()	petri_cpdbs()	Diff cpdbs()	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_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))	Diff 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()	petri_all_states_potential()	Diff all_states_potential()	sas_operatorcounting(constraint_generators=[state_equation_constraints()])	petri_operatorcounting(constraint_generators=[state_equation_constraints()])	Diff operatorcounting(constraint_generators=[state_equation_constraints()])	sas_operatorcounting(constraint_generators=[state_equation_constraints(),lmcut_constraints()])	petri_operatorcounting(constraint_generators=[state_equation_constraints(),lmcut_constraints()])	Diff operatorcounting(constraint_generators=[state_equation_constraints(),lmcut_constraints()])
elevators-opt11-strips (1)	1	1	0.0	0	0	0.0	1	0	-1.0	1	1	0.0	1	1	0.0	1	1	0.0	1	1	0.0	1	1	0.0	1	0	-1.0	1	0	-1.0	1	0	-1.0
openstacks-opt11-strips (1)	1	1	0.0	0	0	0.0	1	1	0.0	1	1	0.0	1	1	0.0	1	1	0.0	1	1	0.0	1	1	0.0	1	1	0.0	1	0	-1.0	1	0	-1.0
sokoban-opt11-strips (1)	1	1	0.0	0	0	0.0	1	1	0.0	1	1	0.0	1	1	0.0	1	1	0.0	1	1	0.0	1	1	0.0	1	1	0.0	1	0	-1.0	1	0	-1.0
Sum (3)	3	3		0	0		3	2		3	3		3	3		3	3		3	3		3	3		3	2		3	0		3	0
Sum of diffs			0.00			0.00			-1.00			0.00			0.00			0.00			0.00			0.00			-1.00			-3.00			-3.00
Arithmetic mean of diffs			0.00			0.00			-0.33			0.00			0.00			0.00			0.00			0.00			-0.33			-1.00			-1.00

The last row reports the sum across all domains.

unexplained-errors

info

summary

coverage

elevators-opt11-strips

openstacks-opt11-strips

sokoban-opt11-strips