QBF Solver Evaluation Portal
qbflib.orgFamily mA-t2-6qbf-5cnf-160var-1280cl results for solvers
QBFEVAL'05
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| GRL | 9009.09 | 900.91 | 0.04 | 900.92 | 0.05 | 0 |
| openQbf | 9009.27 | 900.93 | 0.03 | 900.93 | 0.05 | 0 |
| qbfbdd | 9009.95 | 901 | 0.01 | 901 | 0.02 | 0 |
| QbflHR | 9010.04 | 901 | 0.01 | 901.01 | 0.01 | 0 |
| QChaffLearn | 8293.6 | 829.36 | 4.64 | 828.43 | 2.64 | 0 |
| QMRes | 8727.76 | 872.78 | 53.94 | 900.15 | 90.51 | 0 |
| QUANTOR | 142.97 | 14.3 | 3.87 | 12.18 | 4.79 | 0 |
| semprop | 8108.96 | 810.9 | 270.29 | 900.99 | 0 | 0.1 |
| skizzo_v0.4 | 7374.63 | 737.46 | 328.46 | 900.89 | 745.61 | 0.2 |
| skizzo_v0.5 | 6350.84 | 635.08 | 406.07 | 900.86 | 888.72 | 0.3 |
| sSolve | 5406.93 | 540.69 | 441.26 | 900.96 | 900.96 | 0.4 |
| WalkQSAT | 9009.95 | 901 | 0.01 | 901 | 0.01 | 0 |
| yQuaffle | 8946.82 | 894.68 | 0.64 | 894.68 | 1.21 | 0 |