mult

n

AR

btor

16

1.56

btor

32

10.08

btor

64

24.54

btor

128

257.06

sp-ar-rc

16

2.82

sp-ar-rc

32

8.23

sp-ar-rc

64

32.54

sp-ar-rc

128

267.27