QBF Solver Evaluation Portal
qbflib.orgSota solver details
QBFEVAL'17 - Prenex non-CNF Track
Best Solver: qfun0.1 Time: 0.27 s.
CPU Time differences with best solver
| x1 | x5 | x10 | x100 | ||||
|---|---|---|---|---|---|---|---|
| Solver | Time | Solver | Time | Solver | Time | Solver | Time |
| - | - | ghostq-cegar | 0.35 | cqesto | 1.37 | Qute_opt993 | 19.4 |
| qfun0.1(0.27) |  |
| ghostq-cegar(0.35) |  |
| cqesto(1.37) |  |
| Qute_opt993(19.4) |  |
| ghostq-plain(50.2) |  |
| Qute_opt617(57) |  |
| QuAbS_2017(74.09) |  |
| Qute_hybrid(80.13) |  |