Results for instance klieber2017q-082-20-t1
QBFEVAL'17 - Prenex non-CNF Track



Solver Time Result
qfun0.10.33UNSAT
ghostq-cegar9.94UNSAT
QuAbS_201718.48UNSAT
cqesto474.18UNSAT
Qute_hybrid879.8FAIL
ghostq-plain900FAIL
Qute_opt617900FAIL
Qute_opt993900FAIL