QBF Solver Evaluation Portal
qbflib.orgFamily mA-t2-5qbf-5cnf-40var-640cl results for solvers
QBFEVAL'06
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| 2clsQ | 175.8 | 17.58 | 6.73 | 17.73 | 3.37 | 1 |
| GRL | 17.73 | 1.77 | 2.22 | 0.86 | 1.53 | 1 |
| openQbf | 48924.77 | 4892.48 | 2226.27 | 6000.87 | 5083.39 | 0.2 |
| preQuantor | 172.78 | 17.28 | 6.68 | 18.18 | 3.35 | 0.1 |
| Qbfl | 16284.39 | 1628.44 | 2184.02 | 599.07 | 1.05 | 0.1 |
| Quaffle | 4928.19 | 492.82 | 164.32 | 544.54 | 8.61 | 0.1 |
| QUANTOR | 145.21 | 14.52 | 5.41 | 14.77 | 2.44 | 0.1 |
| QUANTOR_hc | 143.74 | 14.37 | 5.36 | 14.41 | 4.27 | 0.1 |
| qube3.0 | 5.16 | 0.52 | 1.08 | 0.04 | 0.03 | 1 |
| qube4.0 | 1.41 | 0.14 | 0.18 | 0.05 | 0.05 | 1 |
| qube5.0 | 1.48 | 0.15 | 0.19 | 0.07 | 0.05 | 1 |
| semprop | 0.32 | 0.03 | 0.02 | 0.03 | 0.04 | 1 |
| sKizzo-0.9-abs | 6198.89 | 619.89 | 1793.68 | 11.51 | 6.62 | 0.9 |
| sKizzo-0.9-grn | 5631.36 | 563.14 | 1633.31 | 11.36 | 6.42 | 1 |
| sKizzo-0.9-std | 6203.06 | 620.31 | 1793.43 | 11.85 | 6.68 | 0.9 |
| SQBF | 227.78 | 22.78 | 10.6 | 21.17 | 13.41 | 0.9 |
| sSolve | 17.91 | 1.79 | 1.81 | 1.19 | 0.06 | 1 |
| ssolve+ut | 49.72 | 4.97 | 1.65 | 4.22 | 1.99 | 1 |
| ssolve-ut | 1.84 | 0.18 | 0.05 | 0.16 | 0.05 | 1 |
| WalkQSAT | 1.39 | 0.14 | 0.12 | 0.13 | 0.11 | 1 |
| yQuaffle | 4400.9 | 440.09 | 246.25 | 599.51 | 549.28 | 0.3 |