QBF Solver Evaluation Portal
qbflib.orgResults for instance oski3ub5i_c0to255.unsat
QBFEVAL'17 - Prenex non-CNF Track
| Solver | Time | Result |
|---|---|---|
| cqesto | 0.84 | UNSAT |
| Qute_opt617 | 1.67 | UNSAT |
| Qute_hybrid | 1.68 | UNSAT |
| Qute_opt993 | 1.78 | UNSAT |
| QuAbS_2017 | 7.81 | UNSAT |
| qfun0.1 | 7.89 | UNSAT |
| ghostq-cegar | 15.24 | UNSAT |
| ghostq-plain | 19.1 | UNSAT |