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

InstanceResultTime
dungeon_i20-m100-u4-v0.pddl_planlen=6SAT0.91
dungeon_i30-m30-u5-v0.pddl_planlen=4UNSAT4.25
dungeon_i30-m30-u5-v0.pddl_planlen=8UNSAT6.9
dungeon_i30-m30-u5-v0.pddl_planlen=9UNSAT6.9
dungeon_i25-m12-u3-v0.pddl_planlen=72UNSAT13.62
dungeon_i25-m12-u5-v0.pddl_planlen=59UNSAT13.7
dungeon_i15-m7-u4-v0.pddl_planlen=81UNSAT14.66
dungeon_i25-m12-u5-v0.pddl_planlen=65UNSAT14.95
dungeon_i10-m10-u10-v0.pddl_planlen=166UNSAT15.05
dungeon_i25-m12-u5-v0.pddl_planlen=81UNSAT18.15
dungeon_i25-m12-u5-v0.pddl_planlen=86UNSAT19.08
dungeon_i25-m12-u5-v0.pddl_planlen=92UNSAT19.99
dungeon_i25-m12-u3-v0.pddl_planlen=125UNSAT20.98
dungeon_i25-m12-u5-v0.pddl_planlen=98UNSAT21.16
dungeon_i25-m12-u3-v0.pddl_planlen=130UNSAT21.54
dungeon_i15-m7-u4-v0.pddl_planlen=168UNSAT23.26
dungeon_i25-m12-u3-v0.pddl_planlen=146UNSAT23.77
dungeon_i25-m12-u3-v0.pddl_planlen=165UNSAT26.33
dungeon_i25-m12-u5-v0.pddl_planlen=128UNSAT27.53
dungeon_i25-m12-u3-v0.pddl_planlen=190UNSAT30.27
dungeon_i25-m12-u5-v0.pddl_planlen=143UNSAT30.43
dungeon_i25-m12-u5-v0.pddl_planlen=170UNSAT36.16
dungeon_i25-m12-u5-v0.pddl_planlen=199UNSAT38.99
dungeon_i25-m12-u5-v0.pddl_planlen=197UNSAT39.06
dungeon_i25-m12-u5-v0.pddl_planlen=198UNSAT39.23
dungeon_i25-m12-u5-v0.pddl_planlen=200UNSAT40.6