Results for instance klieber2017q-074-18-t1
QBFEVAL'17 - Prenex non-CNF Track



Solver Time Result
qfun0.10.3UNSAT
cqesto1.12UNSAT
ghostq-cegar10.19UNSAT
QuAbS_201726.88UNSAT
Qute_opt617208.43UNSAT
Qute_hybrid880.2FAIL
ghostq-plain900FAIL
Qute_opt993900FAIL