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

InstanceResultTime
dungeon_i20-m100-u4-v0.pddl_planlen=6SAT0.9
dungeon_i30-m30-u5-v0.pddl_planlen=4UNSAT4.29
dungeon_i30-m30-u5-v0.pddl_planlen=8UNSAT6.1
dungeon_i30-m30-u5-v0.pddl_planlen=9UNSAT6.73
dungeon_i25-m12-u3-v0.pddl_planlen=72UNSAT13.61
dungeon_i25-m12-u5-v0.pddl_planlen=59UNSAT14.01
dungeon_i15-m7-u4-v0.pddl_planlen=81UNSAT14.44
dungeon_i25-m12-u5-v0.pddl_planlen=65UNSAT14.92
dungeon_i10-m10-u10-v0.pddl_planlen=166UNSAT15.46
dungeon_i25-m12-u5-v0.pddl_planlen=81UNSAT18.23
dungeon_i25-m12-u5-v0.pddl_planlen=86UNSAT19.16
dungeon_i25-m12-u5-v0.pddl_planlen=92UNSAT20.08
dungeon_i25-m12-u5-v0.pddl_planlen=98UNSAT21.17
dungeon_i25-m12-u3-v0.pddl_planlen=125UNSAT21.19
dungeon_i25-m12-u3-v0.pddl_planlen=130UNSAT21.6
dungeon_i15-m7-u4-v0.pddl_planlen=168UNSAT23.32
dungeon_i25-m12-u3-v0.pddl_planlen=146UNSAT23.98
dungeon_i25-m12-u3-v0.pddl_planlen=165UNSAT26.93
dungeon_i25-m12-u5-v0.pddl_planlen=128UNSAT27.73
dungeon_i25-m12-u3-v0.pddl_planlen=190UNSAT29.97
dungeon_i25-m12-u5-v0.pddl_planlen=143UNSAT30.7
dungeon_i25-m12-u5-v0.pddl_planlen=170UNSAT36.48
dungeon_i25-m12-u5-v0.pddl_planlen=199UNSAT39.04
dungeon_i25-m12-u5-v0.pddl_planlen=197UNSAT39.5
dungeon_i25-m12-u5-v0.pddl_planlen=198UNSAT39.69
dungeon_i25-m12-u5-v0.pddl_planlen=200UNSAT40.21