QBF Solver Evaluation Portal
qbflib.orgFamily Connect3 results for solvers
QBFEVAL'04
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| CLearn | 917.66 | 114.71 | 297.21 | 1.37 | 4.9 | 0.875 |
| CSBJ | 922.62 | 115.33 | 297 | 1.34 | 7.44 | 0.875 |
| GRL | 924.34 | 115.54 | 296.92 | 1.59 | 7.73 | 0.875 |
| openQbf | 1003.56 | 125.45 | 294.65 | 1.89 | 46.2 | 0.875 |
| orSAT | 5409.94 | 676.24 | 389.31 | 901.01 | 449.1 | 0.25 |
| QBFL-BS | 2.73 | 0.34 | 0.19 | 0.38 | 0.34 | 1 |
| QBFL-JW | 1.39 | 0.17 | 0.21 | 0.05 | 0.34 | 0.625 |
| QMRes | 3653.71 | 456.71 | 444.31 | 460.23 | 890.19 | 0 |
| QSAT | 1742.23 | 217.78 | 376.05 | 1.06 | 418.18 | 0.375 |
| QUANTOR | 27.13 | 3.39 | 4.98 | 0.66 | 5.92 | 0.75 |
| QUBE-BJ | 91.38 | 11.42 | 21.23 | 3.74 | 1.29 | 0.25 |
| QUBE-LRN | 137.75 | 17.22 | 37.11 | 3.43 | 1.98 | 0.25 |
| semprop | 973.51 | 121.69 | 295.31 | 1.44 | 33.18 | 0.875 |
| sSolve | 930.1 | 116.26 | 296.72 | 1.09 | 11.98 | 0.875 |
| WalkQSAT | 6.38 | 0.8 | 0.39 | 0.79 | 0.58 | 0.25 |
| yQuaffle | 405.11 | 50.64 | 91.6 | 2.15 | 63.6 | 0.75 |