QBF Solver Evaluation Portal
qbflib.orgFamily comp results for solvers
QBFEVAL'05
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| GRL | 2706.24 | 338.28 | 435.72 | 1.93 | 900.76 | 0.625 |
| openQbf | 3673.97 | 459.25 | 442.18 | 485.23 | 900.65 | 0.5 |
| qbfbdd | 2703.03 | 337.88 | 435.72 | 0.89 | 900.26 | 0.625 |
| QbflHR | 4073.87 | 509.23 | 416.93 | 683.93 | 899.51 | 0.5 |
| QChaffLearn | 478.45 | 59.81 | 158.21 | 0.01 | 0.02 | 0.875 |
| QMRes | 1.09 | 0.14 | 0.04 | 0.15 | 0.05 | 1 |
| QUANTOR | 0.09 | 0.01 | 0.01 | 0.01 | 0.02 | 1 |
| semprop | 1092.15 | 136.52 | 295.61 | 0.02 | 95.59 | 0.875 |
| skizzo_v0.4 | 0.59 | 0.07 | 0.05 | 0.06 | 0.06 | 1 |
| skizzo_v0.5 | 0.61 | 0.08 | 0.05 | 0.05 | 0.07 | 1 |
| sSolve | 2331.58 | 291.45 | 325.91 | 85.5 | 551.7 | 0.875 |
| WalkQSAT | 392.81 | 49.1 | 129.33 | 0.03 | 0.71 | 0.25 |
| yQuaffle | 30.86 | 3.86 | 9.8 | 0.01 | 0.51 | 1 |