QBF Solver Evaluation Portal
qbflib.orgFamily mA-t2-6qbf-5cnf-80var-2560cl results for solvers
QBFEVAL'06
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| 2clsQ | 177.81 | 17.78 | 5.97 | 19.73 | 1.72 | 1 |
| GRL | 0.68 | 0.07 | 0.03 | 0.06 | 0.02 | 1 |
| openQbf | 970.41 | 97.04 | 204.7 | 3.09 | 59.58 | 1 |
| preQuantor | 154.35 | 15.44 | 7.75 | 18.64 | 19.78 | 0.1 |
| Qbfl | 59956.05 | 5995.61 | 2.89 | 5996.89 | 4.48 | 0 |
| Quaffle | 0.77 | 0.08 | 0.01 | 0.08 | 0.01 | 1 |
| QUANTOR | 188.88 | 18.89 | 2.23 | 17.98 | 3.41 | 0 |
| QUANTOR_hc | 189.03 | 18.9 | 1.88 | 18.49 | 3.53 | 0 |
| qube3.0 | 0.39 | 0.04 | 0.01 | 0.04 | 0.01 | 1 |
| qube4.0 | 0.54 | 0.05 | 0.01 | 0.05 | 0.02 | 1 |
| qube5.0 | 0.86 | 0.09 | 0.01 | 0.09 | 0.02 | 1 |
| semprop | 0.15 | 0.02 | 0.01 | 0.02 | 0.01 | 1 |
| sKizzo-0.9-abs | 178.89 | 17.89 | 23.39 | 10.03 | 2.14 | 1 |
| sKizzo-0.9-grn | 107.42 | 10.74 | 2.34 | 10.16 | 2.11 | 1 |
| sKizzo-0.9-std | 177.75 | 17.78 | 23.72 | 10.05 | 2.07 | 1 |
| SQBF | 181.77 | 18.18 | 6.08 | 20.24 | 1.08 | 1 |
| sSolve | 2.3 | 0.23 | 0.03 | 0.23 | 0.05 | 1 |
| ssolve+ut | 2.26 | 0.23 | 0.02 | 0.24 | 0.05 | 1 |
| ssolve-ut | 2.01 | 0.2 | 0.04 | 0.2 | 0.06 | 1 |
| WalkQSAT | 0.31 | 0.03 | 0.02 | 0.03 | 0.01 | 1 |
| yQuaffle | 0.28 | 0.03 | 0.01 | 0.03 | 0.01 | 1 |