Instances of family dungeon solved by dynQBF-bloqqer-hqspre
QBFEVAL'17 - Prenex CNF Track

InstanceResultTime
dungeon_i20-m100-u4-v0.pddl_planlen=6SAT1.9
dungeon_i30-m30-u5-v0.pddl_planlen=4UNSAT5.66
dungeon_i30-m30-u5-v0.pddl_planlen=8UNSAT12.91
dungeon_i30-m30-u5-v0.pddl_planlen=9UNSAT15.23
dungeon_i15-m7-u4-v0.pddl_planlen=81UNSAT20.56
dungeon_i10-m10-u10-v0.pddl_planlen=166UNSAT27.52
dungeon_i15-m7-u4-v0.pddl_planlen=168UNSAT62.86
dungeon_i25-m12-u5-v0.pddl_planlen=59UNSAT91.08
dungeon_i25-m12-u3-v0.pddl_planlen=72UNSAT102.24
dungeon_i25-m12-u5-v0.pddl_planlen=65UNSAT102.73
dungeon_i25-m12-u5-v0.pddl_planlen=81UNSAT104.83
dungeon_i25-m12-u5-v0.pddl_planlen=86UNSAT105.34
dungeon_i25-m12-u3-v0.pddl_planlen=125UNSAT105.83
dungeon_i25-m12-u5-v0.pddl_planlen=92UNSAT105.88
dungeon_i25-m12-u3-v0.pddl_planlen=130UNSAT106.18
dungeon_i25-m12-u5-v0.pddl_planlen=98UNSAT106.3
dungeon_i25-m12-u3-v0.pddl_planlen=146UNSAT107.58
dungeon_i25-m12-u3-v0.pddl_planlen=165UNSAT108.7
dungeon_i25-m12-u5-v0.pddl_planlen=128UNSAT109.65
dungeon_i25-m12-u3-v0.pddl_planlen=190UNSAT110.36
dungeon_i25-m12-u5-v0.pddl_planlen=143UNSAT111.07
dungeon_i25-m12-u5-v0.pddl_planlen=170UNSAT114.17
dungeon_i25-m12-u5-v0.pddl_planlen=197UNSAT116.66
dungeon_i25-m12-u5-v0.pddl_planlen=198UNSAT116.93
dungeon_i25-m12-u5-v0.pddl_planlen=199UNSAT116.94
dungeon_i25-m12-u5-v0.pddl_planlen=200UNSAT117.58