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 |