QBF Solver Evaluation Portal
qbflib.orgSota solver details
QBFEVAL'16 - Prenex CNF Track.
Best Solver: rareqs Time: 2.96 s.
CPU Time differences with best solver
| x1 | x5 | x10 | x100 | ||||
|---|---|---|---|---|---|---|---|
| Solver | Time | Solver | Time | Solver | Time | Solver | Time |
| - | - | qsts | 3.47 | iprover-QBF-bloqqer | 18.69 | xb-qsts | 54.3 |
| - | - | AIGSolve | 5.55 | iprover-QBF | 22.13 | - | - |
| - | - | - | - | xb-bid-qsts | 24.83 | - | - |
| rareqs(2.96) |  |
| qsts(3.47) |  |
| AIGSolve(5.55) |  |
| iprover-QBF-bloqqer(18.69) |  |
| iprover-QBF(22.13) |  |
| xb-bid-qsts(24.83) |  |
| xb-qsts(54.3) |  |
| caqe-picosat(330.97) |  |
| hiqqer3(418.03) |  |