Sota solver results for family dungeon
QBFEVAL'17 - Prenex non-CNF Track


InstanceSolverResultTime
dungeon_i15-m7-u4-v0.pddl_planlen=81Qute_opt993UNSAT1.56