QBF Solver Evaluation Portal
qbflib.orgFamily blackbox_design results for solvers
QBFEVAL'06
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| 2clsQ | 74923.85 | 2675.85 | 1282.75 | 2382.4 | 624.36 | 0 |
| GRL | 16219.71 | 579.28 | 111.35 | 600.69 | 0.12 | 0.036 |
| openQbf | 168023.74 | 6000.85 | 0.05 | 6000.84 | 0.05 | 0 |
| preQuantor | 570.95 | 20.39 | 5.42 | 18.78 | 2.32 | 0 |
| Qbfl | 70594.26 | 2521.22 | 2578.33 | 599.76 | 5378.59 | 0 |
| Quaffle | 16380.99 | 585.04 | 4.17 | 586.59 | 6.06 | 0 |
| QUANTOR | 905.96 | 32.36 | 4.96 | 31.59 | 4.5 | 0 |
| QUANTOR_hc | 899.67 | 32.13 | 5.05 | 31.58 | 4.16 | 0 |
| qube3.0 | 82481.02 | 2945.75 | 1505.62 | 2590.94 | 1265.49 | 0.036 |
| qube4.0 | 47010.57 | 1678.95 | 1595.53 | 1154.2 | 189.86 | 0.036 |
| qube5.0 | 19.98 | 0.71 | 0.54 | 0.7 | 0.45 | 1 |
| semprop | 16228.51 | 579.59 | 111.22 | 601 | 0.01 | 0.036 |
| sKizzo-0.9-abs | 9640.82 | 344.32 | 174.72 | 289.65 | 143.68 | 0 |
| sKizzo-0.9-grn | 2191.12 | 78.25 | 110.1 | 46.55 | 51.19 | 0 |
| sKizzo-0.9-std | 10694.5 | 381.95 | 160.86 | 371.61 | 297.76 | 0 |
| SQBF | 21062.88 | 752.25 | 1197.75 | 350.43 | 132.73 | 0 |
| sSolve | 168008.13 | 6000.29 | 0.05 | 6000.29 | 0.08 | 0 |
| ssolve+ut | 168007.69 | 6000.27 | 0.06 | 6000.28 | 0.05 | 0 |
| ssolve-ut | 168008.64 | 6000.31 | 0.03 | 6000.31 | 0.04 | 0 |
| WalkQSAT | 16227.23 | 579.54 | 111.45 | 600.99 | 0.01 | 0.036 |
| yQuaffle | 16699.73 | 596.42 | 0.88 | 596.22 | 0.53 | 0 |