QBF Solver Evaluation Portal
qbflib.orgFamily Blocks results for solvers
QBFEVAL'06
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| 2clsQ | 28.59 | 2.6 | 3.16 | 0.14 | 3.84 | 1 |
| GRL | 1366.66 | 124.24 | 154.1 | 83.85 | 77.58 | 0.091 |
| openQbf | 66009.56 | 6000.87 | 0.09 | 6000.88 | 0.1 | 0 |
| preQuantor | 28.56 | 2.6 | 3.15 | 0.17 | 3.88 | 1 |
| Qbfl | 17338.81 | 1576.26 | 2076.36 | 597.64 | 2.92 | 0 |
| Quaffle | 1958.14 | 178.01 | 299.32 | 32.71 | 143.66 | 0.909 |
| QUANTOR | 31.88 | 2.9 | 3.22 | 0.26 | 5.65 | 1 |
| QUANTOR_hc | 32.34 | 2.94 | 3.26 | 0.27 | 5.82 | 1 |
| qube3.0 | 37053.68 | 3368.52 | 2895.91 | 6000.06 | 5999.18 | 0.455 |
| qube4.0 | 39113.59 | 3555.78 | 2805.72 | 6000.16 | 6000.03 | 0.455 |
| qube5.0 | 36056.3 | 3277.85 | 2982.51 | 5999.93 | 5999.43 | 0.455 |
| semprop | 4828.73 | 438.98 | 264.61 | 600.99 | 598.38 | 0.273 |
| sKizzo-0.9-abs | 62.72 | 5.7 | 6.23 | 0.1 | 11.42 | 1 |
| sKizzo-0.9-grn | 8.31 | 0.76 | 0.71 | 0.17 | 1.39 | 1 |
| sKizzo-0.9-std | 12865.88 | 1169.63 | 1873.12 | 0.11 | 716.14 | 1 |
| SQBF | 28.78 | 2.62 | 3.16 | 0.15 | 3.92 | 1 |
| sSolve | 18028.98 | 1639 | 2670.74 | 2.63 | 19.72 | 0.727 |
| ssolve+ut | 18007.65 | 1637.06 | 2671.93 | 0.41 | 4.56 | 0.727 |
| ssolve-ut | 48030.34 | 4366.39 | 2668.17 | 6000.28 | 5999.8 | 0.273 |
| WalkQSAT | 1329.21 | 120.84 | 153.37 | 74.98 | 46.06 | 0 |
| yQuaffle | 1599.96 | 145.45 | 221.08 | 7 | 121.53 | 0.818 |