QBF Solver Evaluation Portal
qbflib.orgFamily mA-t2-1qbf-5cnf-160var-2560cl results for solvers
QBFEVAL'06
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| 2clsQ | 1508.89 | 150.89 | 264.26 | 1.39 | 1.42 | 1 |
| GRL | 373.14 | 37.31 | 7.34 | 36.82 | 13.92 | 0 |
| openQbf | 4290.73 | 429.07 | 951.42 | 125.82 | 196.81 | 1 |
| preQuantor | 18008.08 | 1800.81 | 2749.56 | 1.36 | 1.53 | 0.6 |
| Qbfl | 24012.82 | 2401.28 | 2939.02 | 4.11 | 6000.59 | 0.6 |
| Quaffle | 65.65 | 6.57 | 8.86 | 2.4 | 5.08 | 1 |
| QUANTOR | 6217.2 | 621.72 | 917.08 | 115.74 | 205.74 | 1 |
| QUANTOR_hc | 2266.79 | 226.68 | 254.04 | 114.08 | 199.76 | 0.7 |
| qube3.0 | 52053.26 | 5205.33 | 1592.5 | 6000.58 | 3800.61 | 0.2 |
| qube4.0 | 52065.75 | 5206.58 | 1589.97 | 6000.61 | 3798.06 | 0.2 |
| qube5.0 | 52070.56 | 5207.06 | 1589.09 | 6000.59 | 3791.86 | 0.2 |
| semprop | 3608.7 | 360.87 | 294.05 | 600.94 | 600.71 | 0.4 |
| sKizzo-0.9-abs | 1750.46 | 175.05 | 331.44 | 29.35 | 48.39 | 1 |
| sKizzo-0.9-grn | 1707.45 | 170.75 | 331.71 | 20.65 | 49.31 | 1 |
| sKizzo-0.9-std | 1823.6 | 182.36 | 355.07 | 21.56 | 51.69 | 1 |
| SQBF | 577.97 | 57.8 | 90.5 | 1.38 | 1.41 | 1 |
| sSolve | 13.17 | 1.32 | 0.85 | 1.39 | 1.11 | 1 |
| ssolve+ut | 38.59 | 3.86 | 2.83 | 3.17 | 3.23 | 1 |
| ssolve-ut | 13.84 | 1.38 | 0.93 | 1.37 | 1.06 | 1 |
| WalkQSAT | 376.35 | 37.64 | 7.45 | 37.08 | 13.93 | 0 |
| yQuaffle | 126.95 | 12.7 | 18.53 | 2.98 | 5.21 | 1 |