QBF Solver Evaluation Portal
qbflib.orgFamily mA-t2-4qbf-5cnf-40var-320cl results for solvers
QBFEVAL'06
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| 2clsQ | 43331.72 | 4333.17 | 1522.59 | 4581.95 | 3124.4 | 0 |
| GRL | 4503.04 | 450.3 | 240.2 | 600.95 | 580.81 | 0.3 |
| openQbf | 60008.05 | 6000.81 | 0.08 | 6000.84 | 0.16 | 0 |
| preQuantor | 343.09 | 34.31 | 24.48 | 30.39 | 41.75 | 0 |
| Qbfl | 4852.32 | 485.23 | 182.64 | 595.5 | 443.98 | 0.3 |
| Quaffle | 5356.77 | 535.68 | 2.99 | 536.31 | 6.47 | 0 |
| QUANTOR | 336.58 | 33.66 | 27.12 | 18.51 | 12.88 | 0 |
| QUANTOR_hc | 333.38 | 33.34 | 27.26 | 18.46 | 14.19 | 0 |
| qube3.0 | 27871.07 | 2787.11 | 2750.31 | 1771.91 | 5999.9 | 0.6 |
| qube4.0 | 24054.16 | 2405.42 | 2821.95 | 283.51 | 5536.25 | 0.8 |
| qube5.0 | 24068.07 | 2406.81 | 2823.77 | 283.42 | 5532.08 | 0.8 |
| semprop | 3020.54 | 302.05 | 298.95 | 304.65 | 600.05 | 0.5 |
| sKizzo-0.9-abs | 12345.5 | 1234.55 | 1944.24 | 117.51 | 586.24 | 0.8 |
| sKizzo-0.9-grn | 14503.51 | 1450.35 | 2312.57 | 206.29 | 401.99 | 0.8 |
| sKizzo-0.9-std | 17970.36 | 1797.04 | 2380.45 | 180.26 | 1714.48 | 0.8 |
| SQBF | 4478.34 | 447.83 | 156.42 | 440.37 | 146.25 | 0.1 |
| sSolve | 16.42 | 1.64 | 0.52 | 1.57 | 0.44 | 1 |
| ssolve+ut | 71.28 | 7.13 | 3.96 | 7.17 | 6.82 | 1 |
| ssolve-ut | 6.49 | 0.65 | 0.52 | 0.59 | 0.37 | 1 |
| WalkQSAT | 3850.74 | 385.07 | 268.09 | 600.96 | 597.99 | 0.4 |
| yQuaffle | 5996.44 | 599.64 | 0.17 | 599.67 | 0.35 | 0 |