Instances of family dungeon solved by HQSpre_solver
QBFEVAL'17 - Prenex CNF Track

InstanceResultTime
dungeon_i20-m100-u4-v0.pddl_planlen=6SAT1.19
dungeon_i30-m30-u5-v0.pddl_planlen=4UNSAT2.4
dungeon_i30-m30-u5-v0.pddl_planlen=8UNSAT3.26
dungeon_i30-m30-u5-v0.pddl_planlen=9UNSAT3.9
dungeon_i15-m7-u4-v0.pddl_planlen=81UNSAT12.49
dungeon_i25-m12-u5-v0.pddl_planlen=59UNSAT13.69
dungeon_i25-m12-u5-v0.pddl_planlen=65UNSAT14.03
dungeon_i25-m12-u3-v0.pddl_planlen=72UNSAT14.15
dungeon_i25-m12-u5-v0.pddl_planlen=81UNSAT16.56
dungeon_i15-m7-u4-v0.pddl_planlen=168UNSAT17.09
dungeon_i25-m12-u5-v0.pddl_planlen=86UNSAT17.21
dungeon_i25-m12-u5-v0.pddl_planlen=92UNSAT18.26
dungeon_i25-m12-u5-v0.pddl_planlen=98UNSAT18.99
dungeon_i25-m12-u3-v0.pddl_planlen=125UNSAT19.32
dungeon_i10-m10-u10-v0.pddl_planlen=166UNSAT19.34
dungeon_i25-m12-u3-v0.pddl_planlen=130UNSAT20.4
dungeon_i25-m12-u3-v0.pddl_planlen=146UNSAT22.02
dungeon_i25-m12-u5-v0.pddl_planlen=128UNSAT23.1
dungeon_i25-m12-u3-v0.pddl_planlen=165UNSAT23.84
dungeon_i25-m12-u5-v0.pddl_planlen=143UNSAT25.13
dungeon_i25-m12-u3-v0.pddl_planlen=190UNSAT26.97
dungeon_i25-m12-u5-v0.pddl_planlen=170UNSAT28.54
dungeon_i25-m12-u5-v0.pddl_planlen=197UNSAT32.2
dungeon_i25-m12-u5-v0.pddl_planlen=198UNSAT32.49
dungeon_i25-m12-u5-v0.pddl_planlen=199UNSAT33.13
dungeon_i25-m12-u5-v0.pddl_planlen=200UNSAT33.94