QBF Solver Evaluation Portal
qbflib.orgFamily mA-t2-5qbf-5cnf-160var-5120cl results for solvers
QBFEVAL'06
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| 2clsQ | 48.82 | 4.88 | 9.85 | 0.03 | 0.02 | 0.9 |
| GRL | 2.22 | 0.22 | 0.39 | 0.07 | 0.02 | 1 |
| openQbf | 19941.98 | 1994.2 | 2658.59 | 191.29 | 1515.6 | 0.7 |
| preQuantor | 21.28 | 2.13 | 6.35 | 0.01 | 0.02 | 0.6 |
| Qbfl | 59997.08 | 5999.71 | 0.31 | 5999.85 | 0.71 | 0 |
| Quaffle | 1.42 | 0.14 | 0.01 | 0.14 | 0.01 | 1 |
| QUANTOR | 225.96 | 22.6 | 0.72 | 22.5 | 0.87 | 0 |
| QUANTOR_hc | 229.81 | 22.98 | 0.81 | 23.09 | 1.12 | 0 |
| qube3.0 | 0.87 | 0.09 | 0.01 | 0.09 | 0.02 | 1 |
| qube4.0 | 1.05 | 0.11 | 0.02 | 0.1 | 0.01 | 1 |
| qube5.0 | 1.45 | 0.15 | 0.02 | 0.15 | 0.02 | 1 |
| semprop | 0.82 | 0.08 | 0.08 | 0.05 | 0.03 | 1 |
| sKizzo-0.9-abs | 123.71 | 12.37 | 6.02 | 10.08 | 2.55 | 1 |
| sKizzo-0.9-grn | 111.74 | 11.17 | 2.59 | 9.91 | 2.49 | 1 |
| sKizzo-0.9-std | 121.04 | 12.1 | 5.94 | 9.69 | 0.84 | 1 |
| SQBF | 48.4 | 4.84 | 9.76 | 0.03 | 0.02 | 1 |
| sSolve | 12.34 | 1.23 | 0.03 | 1.25 | 0.05 | 1 |
| ssolve+ut | 42.42 | 4.24 | 0.03 | 4.24 | 0.02 | 1 |
| ssolve-ut | 2.05 | 0.21 | 0.03 | 0.2 | 0.03 | 1 |
| WalkQSAT | 1.77 | 0.18 | 0.33 | 0.06 | 0.03 | 1 |
| yQuaffle | 0.45 | 0.05 | 0.01 | 0.05 | 0.01 | 1 |