QBF Solver Evaluation Portal
qbflib.orgFamily k_dum_p results for solvers
QBFEVAL'05
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| GRL | 3641.42 | 606.9 | 415.62 | 900.64 | 900.29 | 0.333 |
| openQbf | 5405.48 | 900.91 | 0.02 | 900.91 | 0.01 | 0 |
| qbfbdd | 5403.7 | 900.62 | 0.14 | 900.63 | 0.25 | 0 |
| QbflHR | 5405.94 | 900.99 | 0.05 | 901.01 | 0.12 | 0 |
| QChaffLearn | 1913.69 | 318.95 | 407.47 | 62.25 | 118.51 | 0.667 |
| QMRes | 4.43 | 0.74 | 0.52 | 0.67 | 0.75 | 1 |
| QUANTOR | 0.14 | 0.02 | 0.01 | 0.03 | 0.02 | 1 |
| semprop | 6.85 | 1.14 | 0.87 | 1.08 | 1.38 | 1 |
| skizzo_v0.4 | 1875.09 | 312.52 | 336.17 | 177.71 | 331.77 | 0.5 |
| skizzo_v0.5 | 2.02 | 0.34 | 0.1 | 0.33 | 0.12 | 1 |
| sSolve | 3962.53 | 660.42 | 355.44 | 900.97 | 900.03 | 0.333 |
| WalkQSAT | 3618.19 | 603.03 | 421.4 | 901 | 900.44 | 0.333 |
| yQuaffle | 3433.15 | 572.19 | 404.19 | 808.1 | 899.9 | 0.5 |