QBF Solver Evaluation Portal
qbflib.orgSota solver details
QBFEVAL'18 - Prenex CNF Track
Best Solver: Caqe-bloqqer Time: 0.77 s.
CPU Time differences with best solver
| x1 | x5 | x10 | x100 | ||||
|---|---|---|---|---|---|---|---|
| Solver | Time | Solver | Time | Solver | Time | Solver | Time |
| - | - | - | - | Caqe-bloqqer-qdo | 5.58 | Caqe-hqspre | 7.81 |
| - | - | - | - | ijtihad | 6.98 | PortfolioDepQBFGhostQRaReQSQute___pf | 26.38 |
| - | - | - | - | Heretiq-cube | 7 | GhostQ-PG_cegar | 39.47 |
| - | - | - | - | Heretiq-simple | 7.05 | - | - |
| Caqe-bloqqer(0.77) |  |
| Caqe-bloqqer-qdo(5.58) |  |
| ijtihad(6.98) |  |
| Heretiq-cube(7) |  |
| Heretiq-simple(7.05) |  |
| Caqe-hqspre(7.81) |  |
| PortfolioDepQBFGhostQRaReQSQute___pf(26.38) |  |
| GhostQ-PG_cegar(39.47) |  |
| Rareqs_2018(97.21) |  |
| depqbf_prefix_opt_qdo(380.66) |  |