QBF Solver Evaluation Portal
qbflib.orgSuite Biere results for solvers
QBFEVAL'05
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| GRL | 13574.78 | 565.62 | 432.47 | 900.1 | 899.52 | 0.375 |
| openQbf | 18081.34 | 753.39 | 330.06 | 900.94 | 0.06 | 0.167 |
| qbfbdd | 15386.76 | 641.12 | 404.4 | 900.44 | 869.38 | 0.292 |
| QbflHR | 18138.36 | 755.77 | 325.23 | 901 | 0.01 | 0.167 |
| QChaffLearn | 3 | 0.13 | 0.2 | 0.02 | 0.12 | 1 |
| QMRes | 14514.09 | 604.75 | 418.76 | 900.59 | 889.92 | 0.333 |
| QUANTOR | 476.36 | 19.85 | 35.65 | 11.06 | 21.44 | 0.5 |
| semprop | 13517.45 | 563.23 | 436.04 | 900.97 | 900.73 | 0.375 |
| skizzo_v0.4 | 8269.35 | 344.56 | 412.91 | 45.62 | 895.96 | 0.583 |
| skizzo_v0.5 | 8215.92 | 342.33 | 409.15 | 58.19 | 895.62 | 0.583 |
| sSolve | 16264.77 | 677.7 | 386.85 | 900.99 | 427.09 | 0.25 |
| WalkQSAT | 13175.47 | 548.98 | 427.4 | 899.93 | 900.62 | 0.375 |
| yQuaffle | 12480.64 | 520.03 | 417.55 | 802.52 | 899.84 | 0.375 |