QBF Solver Evaluation Portal
qbflib.orgSota solver details
QBFEVAL'04
Best Solver: QMRes Time: 0.56 s.
CPU Time differences with best solver
| x1 | x5 | x10 | x100 | ||||
|---|---|---|---|---|---|---|---|
| Solver | Time | Solver | Time | Solver | Time | Solver | Time |
| - | - | - | - | semprop | 4.01 | QUANTOR | 8.93 |
| - | - | - | - | - | - | QUBE-BJ | 32.3 |
| - | - | - | - | - | - | CLearn | 33.37 |
| QMRes(0.56) |  |
| semprop(4.01) |  |
| QUANTOR(8.93) |  |
| QUBE-BJ(32.3) |  |
| CLearn(33.37) |  |
| WalkQSAT(99.69) |  |
| GRL(173) |  |
| yQuaffle(252.42) |  |
| QUBE-LRN(288.15) |  |