Results for instance klieber2017q-078-19-eq
QBFEVAL'17 - Prenex non-CNF Track



Solver Time Result
qfun0.10.48SAT
cqesto0.58SAT
ghostq-cegar7.28SAT
QuAbS_201760.37SAT
Qute_hybrid879.31FAIL
ghostq-plain900FAIL
Qute_opt617900FAIL
Qute_opt993900FAIL