QBF Solver Evaluation Portal
qbflib.orgFamily mA-t2-2qbf-5cnf-160var-640cl results for solvers
QBFEVAL'05
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| GRL | 9009.4 | 900.94 | 0.03 | 900.95 | 0.06 | 0 |
| openQbf | 9009.13 | 900.91 | 0.03 | 900.92 | 0.05 | 0 |
| qbfbdd | 9009.85 | 900.99 | 0.02 | 900.99 | 0.03 | 0 |
| QbflHR | 9010.05 | 901.01 | 0.01 | 901 | 0.01 | 0 |
| QChaffLearn | 8462.2 | 846.22 | 4.35 | 846.81 | 7.3 | 0 |
| QMRes | 9003.72 | 900.37 | 0.19 | 900.36 | 0.35 | 0 |
| QUANTOR | 95.04 | 9.5 | 0.14 | 9.53 | 0.24 | 0 |
| semprop | 9009.99 | 901 | 0.01 | 901 | 0.01 | 0 |
| skizzo_v0.4 | 2794.26 | 279.43 | 335.41 | 100.72 | 151.82 | 0.8 |
| skizzo_v0.5 | 3784.95 | 378.5 | 358.87 | 214.07 | 597.04 | 0.7 |
| sSolve | 6485.77 | 648.58 | 387.5 | 900.98 | 881.3 | 0.3 |
| WalkQSAT | 9009.97 | 901 | 0.01 | 901 | 0.01 | 0 |
| yQuaffle | 8942.62 | 894.26 | 0.87 | 894.32 | 1.43 | 0 |