QBF Solver Evaluation Portal
qbflib.orgFamily Connect5 results for solvers
QBFEVAL'04
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| CLearn | 905.93 | 113.24 | 297.75 | 0.28 | 1.71 | 0.875 |
| CSBJ | 907.35 | 113.42 | 297.69 | 0.27 | 2.43 | 0.875 |
| GRL | 907.53 | 113.44 | 297.68 | 0.31 | 2.48 | 0.875 |
| openQbf | 1040.86 | 130.11 | 294.62 | 0.87 | 67.35 | 0.875 |
| orSAT | 4506.64 | 563.33 | 435.93 | 901 | 900.41 | 0.375 |
| QBFL-BS | 1.23 | 0.15 | 0.17 | 0.07 | 0.19 | 1 |
| QBFL-JW | 1.24 | 0.16 | 0.17 | 0.06 | 0.19 | 1 |
| QMRes | 6187.5 | 773.44 | 292.27 | 901.01 | 63.84 | 0.125 |
| QSAT | 903.13 | 112.89 | 297.88 | 0.18 | 0.63 | 0.625 |
| QUANTOR | 29.95 | 3.74 | 6.23 | 0.17 | 6.18 | 0.75 |
| QUBE-BJ | 501.71 | 62.71 | 160.8 | 1.11 | 2.99 | 0.75 |
| QUBE-LRN | 666.58 | 83.32 | 215.53 | 1.11 | 2.7 | 0.75 |
| semprop | 1116.74 | 139.59 | 296.1 | 0.3 | 107.16 | 0.875 |
| sSolve | 927.6 | 115.95 | 296.84 | 0.24 | 12.65 | 0.875 |
| WalkQSAT | 3.5 | 0.44 | 0.3 | 0.28 | 0.34 | 0.75 |
| yQuaffle | 216.51 | 27.06 | 45.83 | 0.4 | 51.91 | 0.75 |