QBF Solver Evaluation Portal
qbflib.orgFamily s27 results for solvers
QBFEVAL'04
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| CLearn | 1905.5 | 476.38 | 426.2 | 502.23 | 849.25 | 0.5 |
| CSBJ | 2703.09 | 675.77 | 390.11 | 901 | 450.47 | 0.25 |
| GRL | 2703.31 | 675.83 | 390.03 | 901.01 | 450.37 | 0.25 |
| openQbf | 2703.32 | 675.83 | 390.02 | 901.01 | 450.36 | 0.25 |
| orSAT | 1650.7 | 412.68 | 238.55 | 499.25 | 359.01 | 0.25 |
| QBFL-BS | 2703.13 | 675.78 | 390.09 | 901 | 450.45 | 0.25 |
| QBFL-JW | 2703.02 | 675.76 | 390.14 | 901 | 450.5 | 0.25 |
| QMRes | 27.62 | 6.91 | 11.02 | 0.82 | 13.66 | 1 |
| QSAT | 1917.24 | 479.31 | 423.66 | 508.11 | 843.39 | 0.5 |
| QUANTOR | 3.04 | 0.76 | 1.14 | 0.16 | 1.47 | 1 |
| QUBE-BJ | 2704.1 | 676.03 | 389.72 | 901.03 | 450.01 | 0.25 |
| QUBE-LRN | 2704.15 | 676.04 | 389.7 | 901.03 | 449.99 | 0.25 |
| semprop | 940.22 | 235.06 | 384.81 | 19.6 | 469.76 | 0.75 |
| sSolve | 2703.02 | 675.76 | 390.15 | 901.01 | 450.51 | 0.25 |
| WalkQSAT | 1975.01 | 493.75 | 411.81 | 536.96 | 814.52 | 0.5 |
| yQuaffle | 2703.13 | 675.78 | 390.09 | 901 | 450.45 | 0.25 |