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



Solver Time Result
qfun0.10.51SAT
cqesto0.79SAT
ghostq-cegar7.34SAT
QuAbS_201745.82SAT
Qute_hybrid879.7FAIL
ghostq-plain900FAIL
Qute_opt617900FAIL
Qute_opt993900FAIL