QBF Solver Evaluation Portal
qbflib.orgSota solver details
QBFEVAL'17 - Prenex CNF Track
Best Solver: caqe_2017_v2 Time: 7.34 s.
CPU Time differences with best solver
| x1 | x5 | x10 | x100 | ||||
|---|---|---|---|---|---|---|---|
| Solver | Time | Solver | Time | Solver | Time | Solver | Time |
| - | - | caqe_2017_v3 | 7.34 | GhostQ-PG_plain | 55.96 | HQSpre_solver | 189.27 |
| - | - | Qute_opt500 | 29.49 | GhostQ-PG_cegar | 56.78 | - | - |
| - | - | Qute_random | 29.69 | - | - | - | - |
| caqe_2017_v2(7.34) |  |
| caqe_2017_v3(7.34) |  |
| Qute_opt500(29.49) |  |
| Qute_random(29.69) |  |
| GhostQ-PG_plain(55.96) |  |
| GhostQ-PG_cegar(56.78) |  |
| HQSpre_solver(189.27) |  |