QBF Solver Evaluation Portal
qbflib.orgSota solver details
QBFEVAL'18 - Prenex CNF Track
Best Solver: Caqe-bloqqer Time: 63.61 s.
CPU Time differences with best solver
| x1 | x5 | x10 | x100 | ||||
|---|---|---|---|---|---|---|---|
| Solver | Time | Solver | Time | Solver | Time | Solver | Time |
| - | - | Heretiq-cube | 63.79 | PortfolioDepQBFGhostQRaReQSQute___pf | 318.83 | - | - |
| - | - | Heretiq-simple | 63.9 | - | - | - | - |
| - | - | Rareqs_2018 | 64.3 | - | - | - | - |
| - | - | ijtihad | 64.67 | - | - | - | - |
| - | - | GhostQ-PG_plain | 155.03 | - | - | - | - |
| - | - | GhostQ-PG_cegar | 156.5 | - | - | - | - |
| - | - | Qute_random | 171.34 | - | - | - | - |
| - | - | Qute_default | 175.28 | - | - | - | - |
| - | - | Qute_opt500 | 175.68 | - | - | - | - |
| - | - | Caqe-hqspre | 198.96 | - | - | - | - |
| - | - | Iprover-HQSpre-Bloqqer | 214.26 | - | - | - | - |
| Caqe-bloqqer(63.61) |  |
| Heretiq-cube(63.79) |  |
| Heretiq-simple(63.9) |  |
| Rareqs_2018(64.3) |  |
| ijtihad(64.67) |  |
| GhostQ-PG_plain(155.03) |  |
| GhostQ-PG_cegar(156.5) |  |
| Qute_random(171.34) |  |
| Qute_default(175.28) |  |
| Qute_opt500(175.68) |  |
| Caqe-hqspre(198.96) |  |
| Iprover-HQSpre-Bloqqer(214.26) |  |
| PortfolioDepQBFGhostQRaReQSQute___pf(318.83) |  |