QBF Solver Evaluation Portal
qbflib.orgFamily comp results for solvers
QBFEVAL'04
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| CLearn | 2442.63 | 305.33 | 400.82 | 1.13 | 769.66 | 0.75 |
| CSBJ | 794.65 | 99.33 | 165.28 | 30.05 | 107.62 | 1 |
| GRL | 2443.39 | 305.42 | 400.91 | 1.13 | 770.06 | 0.75 |
| openQbf | 3670.12 | 458.77 | 442.69 | 483.17 | 900.74 | 0.5 |
| orSAT | 6329.08 | 791.14 | 290.68 | 901 | 0 | 0.125 |
| QBFL-BS | 3737.05 | 467.13 | 435.34 | 510.65 | 894.65 | 0.5 |
| QBFL-JW | 1163.26 | 145.41 | 291.76 | 14.74 | 113.39 | 0.875 |
| QMRes | 1.13 | 0.14 | 0.03 | 0.15 | 0.05 | 1 |
| QSAT | 1811.61 | 226.45 | 389.46 | 0.53 | 454.59 | 0.75 |
| QUANTOR | 0.41 | 0.05 | 0.03 | 0.04 | 0.06 | 1 |
| QUBE-BJ | 1820.65 | 227.58 | 388.82 | 4.5 | 452.76 | 0.75 |
| QUBE-LRN | 741.95 | 92.74 | 162.42 | 0.99 | 149.96 | 1 |
| semprop | 1091.42 | 136.43 | 295.62 | 0.02 | 95.17 | 0.875 |
| sSolve | 2332.6 | 291.58 | 326.24 | 85.12 | 552.72 | 0.875 |
| WalkQSAT | 647.66 | 80.96 | 213.31 | 0.03 | 1.11 | 0.375 |
| yQuaffle | 30.91 | 3.86 | 9.82 | 0.02 | 0.48 | 1 |