circ/third_party/opa/adapted_costs.json

{
    "&&": {
        "b": {
            "32": 117
        },
        "y": {
            "32": 32
        }
    },
    "||": {
        "b": {
            "32": 123
        },
        "y": {
            "32": 40
        }
    },
    "a2b": {
        "32": 2596.4
    },
    "a2y": {
        "32": 2665.2
    },
    "add": {
        "a": {
            "32": 1
        },
        "b": {
            "32": 160
        },
        "y": {
            "32": 48
        }
    },
    "and": {
        "b": {
            "32": 117
        },
        "y": {
            "32": 32
        }
    },
    "b2a": {
        "32": 1868.3999999999999
    },
    "b2y": {
        "32": 2293
    },
    "eq": {
        "b": {
            "32": 489
        },
        "y": {
            "32": 39
        }
    },
    "ge": {
        "b": {
            "32": 733
        },
        "y": {
            "32": 60
        }
    },
    "gt": {
        "b": {
            "32": 573
        },
        "y": {
            "32": 40
        }
    },
    "le": {
        "b": {
            "32": 618
        },
        "y": {
            "32": 41
        }
    },
    "lt": {
        "b": {
            "32": 739
        },
        "y": {
            "32": 60
        }
    },
    "mul": {
        "b": {
            "32": 1731
        },
        "y": {
            "32": 1127
        },
        "a": {
            "32": 104
        }
    },
    "mux": {
        "b": {
            "32": 108
        },
        "y": {
            "32": 37
        }
    },
    "ne": {
        "b": {
            "32": 484
        },
        "y": {
            "32": 38
        }
    },
    "or": {
        "b": {
            "32": 123
        },
        "y": {
            "32": 40
        }
    },
    "shl": {
        "b": {
            "32": 981
        },
        "y": {
            "32": 224
        }
    },
    "shr": {
        "b": {
            "32": 1015
        },
        "y": {
            "32": 224
        }
    },
    "sub": {
        "a": {
            "32": 1
        },
        "b": {
            "32": 52
        },
        "y": {
            "32": 49
        }
    },
    "xor": {
        "b": {
            "32": 7
        },
        "y": {
            "32": 23
        }
    },
    "y2a": {
        "32": 3207
    },
    "y2b": {
        "32": 2040.2
    },
    "div": {
        "b": {
            "32": 10
        },
        "y": {
            "32": 100
        }
    },
    "rem": {
        "b": {
            "32": 10
        },
        "y": {
            "32": 100
        }
    }
}