QBF Solver Evaluation Portal
qbflib.orgFamily mA-t2-3qbf-5cnf-160var-2560cl results for solvers
QBFEVAL'05
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| GRL | 1120.13 | 112.01 | 99.73 | 93.81 | 89.35 | 0.2 |
| openQbf | 9009.33 | 900.93 | 0.04 | 900.94 | 0.08 | 0 |
| qbfbdd | 9009.97 | 901 | 0.01 | 901 | 0.01 | 0 |
| QbflHR | 9010.03 | 901 | 0.01 | 901 | 0 | 0 |
| QChaffLearn | 1448.85 | 144.89 | 131.91 | 125.22 | 177.94 | 0.5 |
| QMRes | 8988.28 | 898.83 | 4.64 | 900.36 | 0.14 | 0 |
| QUANTOR | 104.97 | 10.5 | 0.33 | 10.64 | 0.79 | 0 |
| semprop | 140.79 | 14.08 | 19.19 | 5.49 | 9.72 | 1 |
| skizzo_v0.4 | 185.39 | 18.54 | 15.67 | 10.6 | 15.31 | 1 |
| skizzo_v0.5 | 408.12 | 40.81 | 59.11 | 10.54 | 29.85 | 1 |
| sSolve | 0.2 | 0.02 | 0 | 0.02 | 0 | 1 |
| WalkQSAT | 861.36 | 86.14 | 73.38 | 67.84 | 99.76 | 0.3 |
| yQuaffle | 8976.01 | 897.6 | 0.38 | 897.52 | 0.35 | 0 |