乘法器

位数

加法器重写算法

优化算法

时间/s

内存/MB

时间/s

内存/MB

btor

16

0.03

2.09

0.01

1.86

btor

32

0.13

3.12

0.04

2.84

btor

64

0.78

8.37

0.15

6.82

btor

128

5.68

29.18

0.70

21.99

sp-ar-rc

16

0.03

2.02

0.01

2.04

sp-ar-rc

32

0.16

3.83

0.05

3.41

sp-ar-rc

64

1.07

11.21

0.21

8.80

sp-ar-rc

128

7.68

40.78

0.92

30.28