QBF Solver Evaluation Portal
qbflib.orgFamily k_path_n results for solvers
QBFEVAL'05
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| GRL | 4513.33 | 752.22 | 331.82 | 900.61 | 890.36 | 0.167 |
| openQbf | 5405.43 | 900.91 | 0.04 | 900.91 | 0.07 | 0 |
| qbfbdd | 5405.85 | 900.98 | 0.04 | 901 | 0.12 | 0 |
| QbflHR | 5406 | 901 | 0.01 | 901 | 0.01 | 0 |
| QChaffLearn | 4442.28 | 740.38 | 326.75 | 886.64 | 878.71 | 0.167 |
| QMRes | 12.88 | 2.15 | 1.57 | 1.96 | 2.34 | 1 |
| QUANTOR | 0.28 | 0.05 | 0.03 | 0.05 | 0.04 | 1 |
| semprop | 2662.53 | 443.76 | 415.91 | 429.75 | 766.15 | 0.667 |
| skizzo_v0.4 | 4285.65 | 714.28 | 321.9 | 845.96 | 897.69 | 0.167 |
| skizzo_v0.5 | 840.75 | 140.13 | 290.89 | 12.72 | 13.87 | 0.833 |
| sSolve | 4515.83 | 752.64 | 331.72 | 900.99 | 890.11 | 0.167 |
| WalkQSAT | 4684.48 | 780.75 | 268.89 | 901 | 721.5 | 0.167 |
| yQuaffle | 4527.61 | 754.6 | 324.97 | 899.92 | 871.97 | 0.167 |