conf_planning_dungeon

Overview

• number of participating solvers: 12
• number of participating formulas: 150

Overall Solving Statistics

Number of Solved Formulas

SOLVER	SAT	UNSAT	TOTAL
nenofex	18	131	149
hiqqer3	18	89	107
rareqs-1.1	18	79	97
ghost-bq-cegar.sh	17	75	92
ghost-cegar.sh	17	73	90
depqbf-lazy-qup	18	67	85
depqbf	17	67	84
ghost-plain.sh	16	68	84
pre_dual_ooq.py	9	67	76
squeezebf1.2-qube3.0	6	69	75
clean_dual_ooq	8	66	74
ooq	8	66	74

Time Statistics (overall runtime, average runtime)

solver	AVERAGE	SUM
nenofex	69.81	10471.98
hiqqer3	287.87	43181.21
rareqs-1.1	334.87	50231.75
ghost-bq-cegar.sh	392.98	58948.07
depqbf-lazy-qup	398.71	59807.66
depqbf	417.60	62640.95
ghost-cegar.sh	454.32	68148.45
ghost-plain.sh	497.48	74622.42
squeezebf1.2-qube3.0	521.66	78249.49
pre_dual_ooq.py	590.41	88562.43
clean_dual_ooq	631.67	94750.87
ooq	632.05	94808.42

Number of Unsolved Formulas (solved by no solver)

formula
dungeon_i30-m30-u5-v0.pddl_planlen=28

Formulas only solved by one solver

FORMULA	SOLVER
dungeon_i25-m12-u3-v0.pddl_planlen=105	nenofex
dungeon_i25-m12-u3-v0.pddl_planlen=111	nenofex
dungeon_i25-m12-u3-v0.pddl_planlen=130	nenofex
dungeon_i25-m12-u3-v0.pddl_planlen=137	nenofex
dungeon_i25-m12-u3-v0.pddl_planlen=143	nenofex
dungeon_i25-m12-u3-v0.pddl_planlen=144	nenofex
dungeon_i25-m12-u3-v0.pddl_planlen=165	nenofex
dungeon_i25-m12-u3-v0.pddl_planlen=173	nenofex
dungeon_i25-m12-u3-v0.pddl_planlen=174	nenofex
dungeon_i25-m12-u3-v0.pddl_planlen=184	nenofex
dungeon_i25-m12-u3-v0.pddl_planlen=190	nenofex
dungeon_i25-m12-u3-v0.pddl_planlen=191	nenofex
dungeon_i25-m12-u3-v0.pddl_planlen=196	nenofex
dungeon_i25-m12-u3-v0.pddl_planlen=198	nenofex
dungeon_i25-m12-u3-v0.pddl_planlen=51	nenofex
dungeon_i25-m12-u3-v0.pddl_planlen=59	nenofex
dungeon_i25-m12-u3-v0.pddl_planlen=72	nenofex
dungeon_i25-m12-u3-v0.pddl_planlen=80	nenofex
dungeon_i25-m12-u3-v0.pddl_planlen=86	nenofex
dungeon_i25-m12-u3-v0.pddl_planlen=88	nenofex
dungeon_i25-m12-u3-v0.pddl_planlen=96	nenofex
dungeon_i25-m12-u5-v0.pddl_planlen=102	nenofex
dungeon_i25-m12-u5-v0.pddl_planlen=108	nenofex
dungeon_i25-m12-u5-v0.pddl_planlen=126	nenofex
dungeon_i25-m12-u5-v0.pddl_planlen=135	nenofex
dungeon_i25-m12-u5-v0.pddl_planlen=153	nenofex
dungeon_i25-m12-u5-v0.pddl_planlen=170	nenofex
dungeon_i25-m12-u5-v0.pddl_planlen=186	nenofex
dungeon_i25-m12-u5-v0.pddl_planlen=25	nenofex
dungeon_i25-m12-u5-v0.pddl_planlen=33	nenofex
dungeon_i25-m12-u5-v0.pddl_planlen=52	nenofex
dungeon_i25-m12-u5-v0.pddl_planlen=58	nenofex
dungeon_i25-m12-u5-v0.pddl_planlen=65	nenofex
dungeon_i25-m12-u5-v0.pddl_planlen=78	nenofex
dungeon_i25-m12-u5-v0.pddl_planlen=87	nenofex
dungeon_i25-m12-u5-v0.pddl_planlen=95	nenofex

Formulas with Discrepancies

Formulas with Discrepancies

FORMULA

SAT

UNSAT