乘法器类型

位数

Nuss-Checker

Queue-tree

时间/s

内存/MB

时间/s

内存/MB

botr

16

0.071

2.5

0.030

2.5

botr

32

0.755

2.8

0.102

2.8

botr

64

13.284

5.7

0.447

5.9

btor

128

338.629

18.6

3.390

18.8

sp-ar-rc

16

0.115

2.5

0.042

2.5

sp-ar-rc

32

1.357

3.2

0.173

3.4

sp-ar-rc

64

20.707

7.4

0.787

7.8

sp-ar-rc

128

339.583

24.5

3.681

25.1