QBF Solver Evaluation Portal
qbflib.orgFamily Connect7 results for solvers
QBFEVAL'04
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| CLearn | 906.12 | 113.27 | 297.74 | 0.69 | 0.72 | 0.875 |
| CSBJ | 906.11 | 113.26 | 297.74 | 0.69 | 0.73 | 0.875 |
| GRL | 907.26 | 113.41 | 297.69 | 0.88 | 0.79 | 0.875 |
| openQbf | 910.77 | 113.85 | 297.52 | 1.34 | 0.61 | 0.875 |
| orSAT | 3609.84 | 451.23 | 449.78 | 451.85 | 899.81 | 0.5 |
| QBFL-BS | 1.65 | 0.21 | 0.16 | 0.13 | 0.19 | 1 |
| QBFL-JW | 1.61 | 0.2 | 0.16 | 0.13 | 0.18 | 1 |
| QMRes | 2726.97 | 340.87 | 433.89 | 6.51 | 897.35 | 0 |
| QSAT | 904.64 | 113.08 | 297.81 | 0.5 | 0.45 | 0.625 |
| QUANTOR | 19.67 | 2.46 | 5.46 | 0.39 | 0.27 | 0.875 |
| QUBE-BJ | 915.3 | 114.41 | 297.32 | 1.36 | 2.73 | 0.625 |
| QUBE-LRN | 227.86 | 28.48 | 69.71 | 1.36 | 3.07 | 0.625 |
| semprop | 906.99 | 113.37 | 297.7 | 0.73 | 0.91 | 0.875 |
| sSolve | 905.31 | 113.16 | 297.79 | 0.58 | 0.44 | 0.875 |
| WalkQSAT | 53.8 | 6.73 | 15.7 | 0.78 | 0.45 | 0.75 |
| yQuaffle | 257.63 | 32.2 | 82.31 | 0.95 | 1.26 | 0.875 |