Results for instance klieber2017q-088-22-t1
QBFEVAL'17 - Prenex non-CNF Track



Solver Time Result
qfun0.10.42UNSAT
cqesto3.83UNSAT
QuAbS_201713.62UNSAT
ghostq-cegar35.32UNSAT
Qute_hybrid196.54UNSAT
ghostq-plain900FAIL
Qute_opt617900FAIL
Qute_opt993900FAIL