QBF Solver Evaluation Portal
qbflib.orgSota solver details
QBFEVAL'18 - Prenex 2QBF Track
Best Solver: Qute_default Time: 27.71 s.
CPU Time differences with best solver
| x1 | x5 | x10 | x100 | ||||
|---|---|---|---|---|---|---|---|
| Solver | Time | Solver | Time | Solver | Time | Solver | Time |
| - | - | Heretiq-simple | 119.46 | PortfolioDepQBFGhostQRaReQSQute___pf | 144.71 | aspq2v3 | 482.76 |
| - | - | - | - | - | - | ASPQ_2018 | 498.22 |
| - | - | - | - | - | - | aspq3alt | 500.6 |
| - | - | - | - | - | - | depqbf_prefix_opt_qdo | 562.33 |
| Qute_default(27.71) |  |
| Heretiq-simple(119.46) |  |
| PortfolioDepQBFGhostQRaReQSQute___pf(144.71) |  |
| aspq2v3(482.76) |  |
| ASPQ_2018(498.22) |  |
| aspq3alt(500.6) |  |
| depqbf_prefix_opt_qdo(562.33) |  |