Sota solver results for family dungeon
QBFEVAL'16 - Evaluate & Certify (non-competitive) Track.


InstanceSolverResultTime
dungeon_i10-m10-u10-v0.pddl_planlen=187depqbf-cert-v1UNSAT29.31
dungeon_i10-m5-u10-v0.pddl_planlen=134depqbf-cert-v1UNSAT2.01
dungeon_i10-m5-u10-v0.pddl_planlen=23depqbf-cert-v1UNSAT0.21