QBF Solver Evaluation Portal
qbflib.orgFamily s298 results for solvers
QBFEVAL'05
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| GRL | 5403.57 | 900.6 | 0.12 | 900.63 | 0.23 | 0 |
| openQbf | 5405.45 | 900.91 | 0.03 | 900.91 | 0.04 | 0 |
| qbfbdd | 5344.77 | 890.8 | 18.87 | 900.15 | 51.33 | 0 |
| QbflHR | 5405.96 | 900.99 | 0.01 | 901 | 0.03 | 0 |
| QChaffLearn | 5392.69 | 898.78 | 1.46 | 898.24 | 1.62 | 0 |
| QMRes | 1302.27 | 217.05 | 293.95 | 18.85 | 14.27 | 0.167 |
| QUANTOR | 3720 | 620 | 397.35 | 899.45 | 899.19 | 0.333 |
| semprop | 5405.96 | 900.99 | 0.01 | 900.99 | 0 | 0 |
| skizzo_v0.4 | 3245.36 | 540.89 | 382.28 | 710.05 | 750.72 | 0.333 |
| skizzo_v0.5 | 3623.35 | 603.89 | 417.69 | 898.53 | 898.53 | 0.333 |
| sSolve | 5402.17 | 900.36 | 0.06 | 900.35 | 0.05 | 0 |
| WalkQSAT | 5405.65 | 900.94 | 0.08 | 900.98 | 0.2 | 0 |
| yQuaffle | 5395.97 | 899.33 | 1.22 | 899.47 | 2.51 | 0 |