QBF Solver Evaluation Portal
qbflib.orgFamily k_d4_n results for solvers
QBFEVAL'05
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| GRL | 5011.55 | 835.26 | 145.59 | 900.29 | 390.64 | 0.167 |
| openQbf | 5405.52 | 900.92 | 0.04 | 900.92 | 0.08 | 0 |
| qbfbdd | 5405.93 | 900.99 | 0.01 | 900.99 | 0.02 | 0 |
| QbflHR | 5406.02 | 901 | 0.01 | 901 | 0 | 0 |
| QChaffLearn | 5013.51 | 835.59 | 137.54 | 897.18 | 369.39 | 0.167 |
| QMRes | 36.8 | 6.13 | 4.46 | 5.8 | 6.94 | 1 |
| QUANTOR | 54.39 | 9.07 | 3.48 | 10.09 | 8.78 | 0.167 |
| semprop | 4509.62 | 751.6 | 334.06 | 901 | 896.37 | 0.167 |
| skizzo_v0.4 | 2412.33 | 402.06 | 264.64 | 487.96 | 464.25 | 0.167 |
| skizzo_v0.5 | 576.86 | 96.14 | 64.72 | 81.71 | 85.49 | 0.833 |
| sSolve | 5405.84 | 900.97 | 0.03 | 900.99 | 0.08 | 0 |
| WalkQSAT | 4768.05 | 794.68 | 237.74 | 901 | 637.93 | 0.167 |
| yQuaffle | 5402.99 | 900.5 | 0.11 | 900.51 | 0.19 | 0 |