QBF Solver Evaluation Portal
qbflib.orgFamily Connect2 results for solvers
QBFEVAL'04
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| CLearn | 5.65 | 0.71 | 0.88 | 0.46 | 0.57 | 1 |
| CSBJ | 5.63 | 0.7 | 0.88 | 0.46 | 0.57 | 1 |
| GRL | 7.44 | 0.93 | 1.22 | 0.56 | 0.77 | 1 |
| openQbf | 23.45 | 2.93 | 3.76 | 1.51 | 2.66 | 1 |
| orSAT | 6307.58 | 788.45 | 297.81 | 901.01 | 0 | 0.125 |
| QBFL-BS | 0.84 | 0.11 | 0.11 | 0.05 | 0.14 | 1 |
| QBFL-JW | 0.88 | 0.11 | 0.11 | 0.06 | 0.14 | 1 |
| QMRes | 5410.26 | 676.28 | 389.23 | 901 | 449.11 | 0.25 |
| QSAT | 177.99 | 22.25 | 46.84 | 1.35 | 15.24 | 1 |
| QUANTOR | 72.06 | 9.01 | 9.15 | 7.71 | 16.39 | 0.5 |
| QUBE-BJ | 17.4 | 2.18 | 1.68 | 1.2 | 1.95 | 0.75 |
| QUBE-LRN | 17.2 | 2.15 | 1.62 | 1.21 | 2.2 | 0.75 |
| semprop | 4.71 | 0.59 | 0.7 | 0.41 | 0.56 | 1 |
| sSolve | 4.28 | 0.54 | 0.58 | 0.43 | 0.47 | 1 |
| WalkQSAT | 3.45 | 0.43 | 0.36 | 0.35 | 0.45 | 0.75 |
| yQuaffle | 19.36 | 2.42 | 3.86 | 0.86 | 1.81 | 1 |