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

InstanceResultTime
dungeon_i20-m100-u4-v0.pddl_planlen=6SAT0.9
dungeon_i30-m30-u5-v0.pddl_planlen=4UNSAT4.33
dungeon_i30-m30-u5-v0.pddl_planlen=8UNSAT6.14
dungeon_i30-m30-u5-v0.pddl_planlen=9UNSAT6.69
dungeon_i25-m12-u3-v0.pddl_planlen=72UNSAT13.61
dungeon_i25-m12-u5-v0.pddl_planlen=59UNSAT13.79
dungeon_i15-m7-u4-v0.pddl_planlen=81UNSAT14.37
dungeon_i25-m12-u5-v0.pddl_planlen=65UNSAT14.88
dungeon_i10-m10-u10-v0.pddl_planlen=166UNSAT15.42
dungeon_i25-m12-u5-v0.pddl_planlen=81UNSAT18.24
dungeon_i25-m12-u5-v0.pddl_planlen=86UNSAT19.19
dungeon_i25-m12-u5-v0.pddl_planlen=92UNSAT20.14
dungeon_i25-m12-u3-v0.pddl_planlen=125UNSAT21.23
dungeon_i25-m12-u5-v0.pddl_planlen=98UNSAT21.23
dungeon_i25-m12-u3-v0.pddl_planlen=130UNSAT21.76
dungeon_i15-m7-u4-v0.pddl_planlen=168UNSAT23.35
dungeon_i25-m12-u3-v0.pddl_planlen=146UNSAT23.89
dungeon_i25-m12-u3-v0.pddl_planlen=165UNSAT26.77
dungeon_i25-m12-u5-v0.pddl_planlen=128UNSAT27.77
dungeon_i25-m12-u3-v0.pddl_planlen=190UNSAT29.82
dungeon_i25-m12-u5-v0.pddl_planlen=143UNSAT30.59
dungeon_i25-m12-u5-v0.pddl_planlen=170UNSAT36.48
dungeon_i25-m12-u5-v0.pddl_planlen=197UNSAT39.48
dungeon_i25-m12-u5-v0.pddl_planlen=199UNSAT39.49
dungeon_i25-m12-u5-v0.pddl_planlen=198UNSAT40.17
dungeon_i25-m12-u5-v0.pddl_planlen=200UNSAT40.77