QBF Solver Evaluation Portal
qbflib.orgResults for instance vonNeumann-ripple-carry-12-c
QBFEVAL'17 - Prenex non-CNF Track
| Solver | Time | Result |
|---|---|---|
| cqesto | 13.63 | UNSAT |
| Qute_hybrid | 22.83 | UNSAT |
| Qute_opt993 | 22.84 | UNSAT |
| Qute_opt617 | 22.92 | UNSAT |
| qfun0.1 | 247.06 | UNSAT |
| ghostq-cegar | 381.58 | UNSAT |
| ghostq-plain | 383.1 | UNSAT |
| QuAbS_2017 | 611.26 | UNSAT |