| 乘法器 | 位宽 | Pacheck | our | ||
| 时间/s | 内存/MB | 时间/s | 内存/MB | ||
| btor | 128 | 6.62 | 91.71 | 3.87 | 91.30 |
| btor | 256 | 26.63 | 369.79 | 24.70 | 363.62 |
| sp-ar-rc | 128 | 5.23 | 138.76 | 4.41 | 135.49 |
| sp-ar-rc | 256 | 29.08 | 554.01 | 20.98 | 540.51 |
| sp-ar-cl | 64 | 1.23 | 34.75 | 0.94 | 34.82 |
| sp-dt-lf | 64 | 1.54 | 35.21 | 0.99 | 34.71 |
| bp-wt-cl | 64 | 1.24 | 29.91 | 1.05 | 29.00 |
| bp-ct-bk | 64 | 1.28 | 25.90 | 0.97 | 24.81 |