QBF Solver Evaluation Portal
qbflib.orgSota solver details
QBFEVAL'16 - Prenex CNF Track.
Best Solver: rareqs Time: 0.71 s.
CPU Time differences with best solver
| x1 | x5 | x10 | x100 | ||||
|---|---|---|---|---|---|---|---|
| Solver | Time | Solver | Time | Solver | Time | Solver | Time |
| - | - | AIGSolve | 1.16 | - | - | qsts | 55.09 |
| - | - | - | - | - | - | caqe-minisat | 56.91 |
| rareqs(0.71) |  |
| AIGSolve(1.16) |  |
| qsts(55.09) |  |
| caqe-minisat(56.91) |  |
| caqe-picosat(84.32) |  |
| iprover-QBF(84.7) |  |
| iprover-QBF-bloqqer(106.61) |  |
| aqua-s2v(260.7) |  |
| aqua-f3v(407.55) |  |