QBF Solver Evaluation Portal
qbflib.orgSota solver details
QBFEVAL'17 - Prenex CNF Track
Best Solver: ijtihad_v2 Time: 0.71 s.
CPU Time differences with best solver
| x1 | x5 | x10 | x100 | ||||
|---|---|---|---|---|---|---|---|
| Solver | Time | Solver | Time | Solver | Time | Solver | Time |
| - | - | heretiq | 0.76 | - | - | GhostQ-PG_plain | 9.52 |
| - | - | ijtihad_v1 | 0.76 | - | - | caqe_2017_v2 | 9.79 |
| - | - | Qute_opt500 | 2.28 | - | - | caqe_2017_v3 | 9.83 |
| - | - | Qute_random | 2.28 | - | - | - | - |
| - | - | Qute_default | 2.29 | - | - | - | - |
| ijtihad_v2(0.71) |  |
| heretiq(0.76) |  |
| ijtihad_v1(0.76) |  |
| Qute_opt500(2.28) |  |
| Qute_random(2.28) |  |
| Qute_default(2.29) |  |
| GhostQ-PG_plain(9.52) |  |
| caqe_2017_v2(9.79) |  |
| caqe_2017_v3(9.83) |  |
| GhostQ-PG_cegar(80.84) |  |
| ghostq-cegar(194.6) |  |
| dynQBF-bloqqer-hqspre(441.34) |  |