QBF Solver Evaluation Portal
qbflib.orgSota solver details
QBFEVAL'17 - Prenex CNF Track
Best Solver: GhostQ-PG_plain Time: 5.39 s.
CPU Time differences with best solver
| x1 | x5 | x10 | x100 | ||||
|---|---|---|---|---|---|---|---|
| Solver | Time | Solver | Time | Solver | Time | Solver | Time |
| - | - | GhostQ-PG_cegar | 5.52 | HQSpre_solver | 49.11 | qbfrelay-limited-depqbf | 79.09 |
| - | - | Qute_opt500 | 7.09 | AIGSolve | 51.77 | dynQBF-bloqqer-hqspre | 80.1 |
| - | - | caqe_2017_v3 | 7.18 | - | - | qbfrelay | 107.14 |
| - | - | Qute_default | 7.18 | - | - | - | - |
| - | - | Qute_random | 7.19 | - | - | - | - |
| - | - | caqe_2017_v2 | 7.28 | - | - | - | - |
| - | - | rareqs | 17.84 | - | - | - | - |
| GhostQ-PG_plain(5.39) |  |
| GhostQ-PG_cegar(5.52) |  |
| Qute_opt500(7.09) |  |
| caqe_2017_v3(7.18) |  |
| Qute_default(7.18) |  |
| Qute_random(7.19) |  |
| caqe_2017_v2(7.28) |  |
| rareqs(17.84) |  |
| HQSpre_solver(49.11) |  |
| AIGSolve(51.77) |  |
| qbfrelay-limited-depqbf(79.09) |  |
| dynQBF-bloqqer-hqspre(80.1) |  |
| qbfrelay(107.14) |  |