乘法器类型

位数

加法器重写方法

基于散列表的优化算法

时间/s

内存/MB

时间/s

内存/MB

btor

16

0.03

2.39

0.01

2.32

btor

32

0.09

3.11

0.05

3.04

btor

64

0.56

8.37

0.20

6.97

btor

128

3.16

29.20

0.78

22.42

sp-ar-rc

16

0.02

2.39

0.01

2.32

sp-ar-rc

32

0.11

3.89

0.06

3.56

sp-ar-rc

64

0.66

11.21

0.25

9.03

sp-ar-rc

128

4.73

40.78

0.96

30.69