QBF Solver Evaluation Portal
qbflib.orgSuite Rintanen results for solvers
QBFEVAL'05
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| GRL | 8747.95 | 194.4 | 335.62 | 16.93 | 110.97 | 0.622 |
| openQbf | 20169.07 | 448.2 | 432.08 | 243.07 | 898.16 | 0.533 |
| qbfbdd | 26721.31 | 593.81 | 413.6 | 900.43 | 897.19 | 0.356 |
| QbflHR | 17938.88 | 398.64 | 432.68 | 50.95 | 900.99 | 0.6 |
| QChaffLearn | 4670.59 | 103.79 | 239.15 | 9.25 | 64.24 | 0.733 |
| QMRes | 12962.03 | 288.05 | 413.97 | 1.18 | 900.5 | 0.689 |
| QUANTOR | 62.74 | 1.39 | 3.08 | 0.04 | 0.16 | 1 |
| semprop | 9117.03 | 202.6 | 373.28 | 0.04 | 16.84 | 0.778 |
| skizzo_v0.4 | 140.65 | 3.13 | 17.02 | 0.07 | 0.09 | 0.933 |
| skizzo_v0.5 | 613.36 | 13.63 | 46.45 | 0.08 | 0.08 | 0.933 |
| sSolve | 9518.71 | 211.53 | 370.37 | 2.25 | 74.89 | 0.778 |
| WalkQSAT | 5786.18 | 128.58 | 263.5 | 8.02 | 80.32 | 0.6 |
| yQuaffle | 9676.78 | 215.04 | 362.33 | 4.41 | 147.21 | 0.8 |