chip                        theorems  modules    slowest_s
AddSub                             2        6          240
AddSubImm                          2        6          241
Bitwise                            4       10           81
BitwiseImm                         3        8           84
Bls12381AddAssign                  1      434          602
Bls12381Decompress                 1      319          665
Bls12381DoubleAssign               1      510          525
Bls12381FpOpAssign                 2      281          229
Bls12831Fp2AddSubAssign            1      165          319
Bls12831Fp2MulAssign               1      306          696
Bn254AddAssign                     1      136          294
Bn254DoubleAssign                  1       72          580
Bn254Fp2AddSubAssign               1      111          158
Bn254Fp2MulAssign                  1      122          245
Bn254FpOpAssign                    2       69          829
Branch                             6       31          195
Byte                               0        1           77
CloClz                             1        7          103
DivRem                             4       59          247
EdAddAssign                        1      229          590
EdDecompress                       1      312          287
Global                             1       49          179
Jump                               3       42          231
KeccakSponge                       1      173          587
KeccakSpongeControl                1      750          484
LoadNarrow                         4       29          243
LoadWord                           2        8          244
Lt                                 2       74          242
LtImm                              2       71          242
MemoryBump                         1        4           78
MemoryGlobalFinalize               1        9          117
MemoryGlobalInit                   1        9          124
MemoryLocal                        1      138          127
MemoryUnaligned                    4       34          127
MiscInstrs                         8      475          267
MovCond                            3       36          118
Mul                                3       16           98
Poseidon2Permute                   1      330         1069
Program                            0        1           75
Range                              0        1           77
Secp256k1AddAssign                 1      136          257
Secp256k1Decompress                1      135          333
Secp256k1DoubleAssign              1       72          531
Secp256r1AddAssign                 1      130          237
Secp256r1Decompress                1      134          331
Secp256r1DoubleAssign              1      133          274
ShaCompress                        3      111          501
ShaCompressControl                 0        1           72
ShaExtend                          1       13          101
ShaExtendControl                   0        1           76
ShiftLeft                          1        9          246
ShiftLeftImm                       1        6          244
ShiftRight                         3       35         1051
ShiftRightImm                      3       35         1054
StoreNarrow                        2       12          319
StoreWord                          2        9          116
SysLinux                           1      336          242
SyscallCore                        1        4           86
SyscallInstrs                      1       37          255
SyscallPrecompile                  1        4           86
U256XU2048Mul                      1      518         1300
Uint256MulMod                      1      100          330
