Results for instance dungeon_i25-m12-u3-v0.pddl_planlen=165
QBFEVAL'17 - Prenex non-CNF Track



Solver Time Result
Qute_hybrid876.84FAIL
qfun0.1895.41FAIL
ghostq-cegar900FAIL
ghostq-plain900FAIL
cqesto900FAIL
QuAbS_2017900FAIL
Qute_opt617900FAIL
Qute_opt993900FAIL