Results for instance JP-unsat-02-06-3
QBFEVAL'17 - Prenex non-CNF Track



Solver Time Result
QuAbS_20171.59UNSAT
cqesto2.57UNSAT
ghostq-cegar14.18UNSAT
qfun0.120.7UNSAT
Qute_hybrid878.01FAIL
ghostq-plain900FAIL
Qute_opt617900FAIL
Qute_opt993900FAIL