QBF Solver Evaluation Portal
qbflib.orgFamily RobotsD5 results for solvers
QBFEVAL'04
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| CLearn | 2049.76 | 256.22 | 304.03 | 112.91 | 445.18 | 0.875 |
| CSBJ | 4058 | 507.25 | 403.6 | 610.34 | 834.63 | 0.5 |
| GRL | 1812.98 | 226.62 | 281.35 | 136.54 | 311.69 | 1 |
| openQbf | 4519.06 | 564.88 | 433.94 | 901 | 894.24 | 0.375 |
| orSAT | 6307.16 | 788.4 | 297.94 | 901.01 | 0.01 | 0.125 |
| QBFL-BS | 6307.09 | 788.39 | 297.96 | 901 | 0.01 | 0.125 |
| QBFL-JW | 4508.55 | 563.57 | 435.63 | 901 | 899.28 | 0.375 |
| QMRes | 6308.04 | 788.51 | 297.67 | 901.01 | 0 | 0.125 |
| QSAT | 4687.33 | 585.92 | 409.67 | 901 | 810 | 0.375 |
| QUANTOR | 213.42 | 26.68 | 19.5 | 30.48 | 39.25 | 0.375 |
| QUBE-BJ | 76.75 | 9.59 | 15.21 | 2.53 | 8.86 | 1 |
| QUBE-LRN | 135.66 | 16.96 | 30.05 | 2.31 | 15.51 | 1 |
| semprop | 2722.97 | 340.37 | 401.53 | 74.15 | 832.47 | 0.75 |
| sSolve | 2072.4 | 259.05 | 319.26 | 137.95 | 444.56 | 0.875 |
| WalkQSAT | 0.6 | 0.08 | 0.03 | 0.08 | 0.05 | 0 |
| yQuaffle | 1119.65 | 139.96 | 292.06 | 15.38 | 93.13 | 0.875 |