QBF Solver Evaluation Portal
qbflib.orgFamily C499 results for solvers
QBFEVAL'05
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| GRL | 2211.18 | 276.4 | 363.83 | 103.26 | 493.17 | 0.25 |
| openQbf | 5407.82 | 675.98 | 389.6 | 900.9 | 449.6 | 0.25 |
| qbfbdd | 4510.35 | 563.79 | 435.22 | 900.88 | 898.02 | 0.375 |
| QbflHR | 5418.18 | 677.27 | 387.52 | 901 | 444.44 | 0.25 |
| QChaffLearn | 1050.31 | 131.29 | 293.26 | 2.44 | 72.73 | 0.75 |
| QMRes | 7061.22 | 882.65 | 48.13 | 900.88 | 0.22 | 0.125 |
| QUANTOR | 38.68 | 4.84 | 4.74 | 4.86 | 9.49 | 0.5 |
| semprop | 4778.84 | 597.36 | 399.85 | 900.98 | 764.07 | 0.375 |
| skizzo_v0.4 | 1931.38 | 241.42 | 368.29 | 1.7 | 527.94 | 0.5 |
| skizzo_v0.5 | 3377.76 | 422.22 | 422.69 | 388.86 | 861.97 | 0.5 |
| sSolve | 5405.84 | 675.73 | 390.12 | 900.96 | 450.51 | 0.25 |
| WalkQSAT | 1790.47 | 223.81 | 350.09 | 3.22 | 474.43 | 0.125 |
| yQuaffle | 3699.39 | 462.42 | 438.94 | 497.81 | 899.65 | 0.5 |