QBF Solver Evaluation Portal
qbflib.orgFamily mA-t2-4qbf-5cnf-40var-320cl results for solvers
QBFEVAL'05
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| GRL | 6601.33 | 660.13 | 374.1 | 900.93 | 880.78 | 0.3 |
| openQbf | 9009.01 | 900.9 | 0.02 | 900.9 | 0.02 | 0 |
| qbfbdd | 9009.74 | 900.97 | 0.02 | 900.98 | 0.04 | 0 |
| QbflHR | 1533.19 | 153.32 | 228.11 | 32.15 | 149.58 | 1 |
| QChaffLearn | 5440.36 | 544.04 | 348.59 | 694.46 | 757.6 | 0.5 |
| QMRes | 9004.69 | 900.47 | 0.24 | 900.51 | 0.42 | 0 |
| QUANTOR | 124.98 | 12.5 | 4.17 | 11.21 | 1.46 | 0 |
| semprop | 4272.69 | 427.27 | 429.9 | 330.71 | 900.04 | 0.6 |
| skizzo_v0.4 | 4774.04 | 477.4 | 351.42 | 440.01 | 759.92 | 0.8 |
| skizzo_v0.5 | 4678.41 | 467.84 | 366.55 | 342.87 | 801.5 | 0.6 |
| sSolve | 325.55 | 32.56 | 68.68 | 3.04 | 10.28 | 1 |
| WalkQSAT | 5671.86 | 567.19 | 411.51 | 900.99 | 895.48 | 0.4 |
| yQuaffle | 8987.54 | 898.75 | 1.76 | 899.34 | 0.51 | 0.1 |