QBF Solver Evaluation Portal
qbflib.orgFamily tipdiam results for solvers
QBFEVAL'06
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| 2clsQ | 336.55 | 11.22 | 42.79 | 0.07 | 0.53 | 1 |
| GRL | 1751.62 | 58.39 | 162.72 | 0.01 | 0.83 | 0.933 |
| openQbf | 13413.39 | 447.11 | 1496.64 | 0.38 | 3.96 | 0.933 |
| preQuantor | 151.53 | 5.05 | 13.53 | 0.06 | 0.54 | 0.933 |
| Qbfl | 1659.85 | 55.33 | 151.31 | 0.01 | 1.38 | 0.933 |
| Quaffle | 700.36 | 23.35 | 107.21 | 0.03 | 0.24 | 0.967 |
| QUANTOR | 375.23 | 12.51 | 47.48 | 0.08 | 1.05 | 0.867 |
| QUANTOR_hc | 381.3 | 12.71 | 48.96 | 0.09 | 1.09 | 0.867 |
| qube3.0 | 9871.48 | 329.05 | 1233.88 | 0.03 | 0.3 | 0.967 |
| qube4.0 | 7040.05 | 234.67 | 1078.58 | 0.03 | 0.2 | 0.967 |
| qube5.0 | 10.23 | 0.34 | 1.05 | 0.04 | 0.07 | 1 |
| semprop | 27.19 | 0.91 | 4.76 | 0.01 | 0.01 | 1 |
| sKizzo-0.9-abs | 3502.69 | 116.76 | 412.37 | 0.42 | 35.58 | 1 |
| sKizzo-0.9-grn | 1261.63 | 42.05 | 214.95 | 0.04 | 0.4 | 1 |
| sKizzo-0.9-std | 6636.6 | 221.22 | 686.38 | 0.56 | 26.43 | 0.967 |
| SQBF | 175.98 | 5.87 | 16.48 | 0.07 | 0.53 | 1 |
| sSolve | 9.13 | 0.3 | 0.27 | 0.2 | 0.1 | 1 |
| ssolve+ut | 10.28 | 0.34 | 0.38 | 0.23 | 0.11 | 1 |
| ssolve-ut | 7.58 | 0.25 | 0.17 | 0.22 | 0.05 | 1 |
| WalkQSAT | 68.63 | 2.29 | 9.18 | 0.02 | 0.19 | 1 |
| yQuaffle | 2151.4 | 71.71 | 193.6 | 0.02 | 1.4 | 1 |