QBF Solver Evaluation Portal
qbflib.orgFamily mA-t2-3qbf-5cnf-40var-640cl results for solvers
QBFEVAL'06
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| 2clsQ | 126.86 | 12.69 | 8.18 | 16.49 | 17.45 | 1 |
| GRL | 7.93 | 0.79 | 1.35 | 0.11 | 0.24 | 1 |
| openQbf | 2194.5 | 219.45 | 507.35 | 26.27 | 55.75 | 1 |
| preQuantor | 127.59 | 12.76 | 8.25 | 17.06 | 17.25 | 0.3 |
| Qbfl | 4933.26 | 493.33 | 175.12 | 598.76 | 421.45 | 0.3 |
| Quaffle | 12.95 | 1.3 | 1.36 | 0.76 | 2.1 | 1 |
| QUANTOR | 172.69 | 17.27 | 4.1 | 16.13 | 4.29 | 0 |
| QUANTOR_hc | 173.77 | 17.38 | 3.42 | 17 | 4.21 | 0 |
| qube3.0 | 0.66 | 0.07 | 0.09 | 0.02 | 0.03 | 1 |
| qube4.0 | 0.7 | 0.07 | 0.09 | 0.03 | 0.04 | 1 |
| qube5.0 | 0.77 | 0.08 | 0.09 | 0.04 | 0.04 | 1 |
| semprop | 0.24 | 0.02 | 0.03 | 0.02 | 0.02 | 1 |
| sKizzo-0.9-abs | 58.98 | 5.9 | 7.42 | 0.15 | 8.7 | 1 |
| sKizzo-0.9-grn | 1.14 | 0.11 | 0.05 | 0.12 | 0.07 | 1 |
| sKizzo-0.9-std | 51.3 | 5.13 | 6.72 | 0.15 | 8.13 | 1 |
| SQBF | 124.14 | 12.41 | 7.95 | 16.95 | 17.29 | 0.9 |
| sSolve | 11.85 | 1.19 | 0.05 | 1.18 | 0.08 | 1 |
| ssolve+ut | 43.88 | 4.39 | 0.62 | 4.2 | 0.04 | 1 |
| ssolve-ut | 1.86 | 0.19 | 0.02 | 0.19 | 0.04 | 1 |
| WalkQSAT | 1.57 | 0.16 | 0.25 | 0.03 | 0.05 | 1 |
| yQuaffle | 11.66 | 1.17 | 2.23 | 0.41 | 0.57 | 1 |