QBF Solver Evaluation Portal
qbflib.orgSota solver details
QBFEVAL'18 - Prenex CNF Track
Best Solver: depqbf_prefix_opt_qdo Time: 0.05 s.
CPU Time differences with best solver
| x1 | x5 | x10 | x100 | ||||
|---|---|---|---|---|---|---|---|
| Solver | Time | Solver | Time | Solver | Time | Solver | Time |
| - | - | - | - | - | - | Qute_opt500 | 1.71 |
| - | - | - | - | - | - | Qute_default | 1.78 |
| - | - | - | - | - | - | Qute_random | 1.79 |
| - | - | - | - | - | - | Caqe-hqspre | 2.39 |
| - | - | - | - | - | - | Iprover-HQSpre-Bloqqer | 2.78 |
| - | - | - | - | - | - | depqbf_pre_QxQBH | 3.18 |
| - | - | - | - | - | - | GhostQ-PG_plain | 4.08 |
| depqbf_prefix_opt_qdo(0.05) |  |
| Qute_opt500(1.71) |  |
| Qute_default(1.78) |  |
| Qute_random(1.79) |  |
| Caqe-hqspre(2.39) |  |
| Iprover-HQSpre-Bloqqer(2.78) |  |
| depqbf_pre_QxQBH(3.18) |  |
| GhostQ-PG_plain(4.08) |  |
| PortfolioDepQBFGhostQRaReQSQute___pf(8.21) |  |
| GhostQ-PG_cegar(9.42) |  |
| predyndep(12.42) |  |