QBF Solver Evaluation Portal
qbflib.orgResults for instance beemldelec4b1_c0to127.unsat
QBFEVAL'17 - Prenex non-CNF Track
| Solver | Time | Result |
|---|---|---|
| cqesto | 1.3 | UNSAT |
| Qute_opt993 | 1.34 | UNSAT |
| Qute_hybrid | 1.37 | UNSAT |
| Qute_opt617 | 1.37 | UNSAT |
| QuAbS_2017 | 2.22 | UNSAT |
| qfun0.1 | 8.11 | UNSAT |
| ghostq-plain | 8.32 | UNSAT |
| ghostq-cegar | 8.49 | UNSAT |