{"capability":"wai.neural.int_synth","certificate":"wai-ops/1 bounds","graphs":[{"graph_sha256":"868097d9a15231e19d2b18183a9873d51ee3a9583e5156ea3e48ce29fb49cd46","inputs":[{"hi":"127","kind":"data","lo":"-128","max_h":"0","max_w":"0","policy":"check","tensor":"0"}],"name":"synth","nodes":[{"acc32_params":[],"fits":["acc32","acc64"],"index":"0","intermediates":{"convT.acc":{"bits":"22","hi":"1131943","lo":"-1131995"},"convT.term":{"bits":"15","hi":"12827","lo":"-12928"},"rq.p":{"bits":"22","hi":"1131943","lo":"-1131995"},"rq.q":{"bits":"14","hi":"4421","lo":"-4422"},"rq.t":{"bits":"22","hi":"1131943","lo":"-1131995"},"rq.y":{"bits":"14","hi":"4421","lo":"-4422"}},"k_c":"166111","mac":{"a_bits":["8"],"w_bits":"8"},"npu_flags":[],"op":"conv_transpose","out":[{"bits":"14","hi":"4421","lo":"-4422","policy":"derived","result":{"bits":"14","hi":"4421","lo":"-4422"},"tensor":"1"}],"saturated":false},{"acc32_params":[],"fits":["acc32","acc64"],"index":"1","intermediates":{},"npu_flags":[],"op":"relu","out":[{"bits":"14","hi":"4421","lo":"0","policy":"derived","result":{"bits":"14","hi":"4421","lo":"0"},"tensor":"2"}],"saturated":false},{"acc32_params":[],"fits":["acc32","acc64"],"index":"2","intermediates":{"convT.acc":{"bits":"25","hi":"10407093","lo":"-12533535"},"convT.term":{"bits":"20","hi":"322733","lo":"-225471"},"rq.p":{"bits":"25","hi":"10407093","lo":"-12533535"},"rq.q":{"bits":"17","hi":"40652","lo":"-48960"},"rq.t":{"bits":"25","hi":"10407093","lo":"-12533535"},"rq.y":{"bits":"17","hi":"40652","lo":"-48960"}},"k_c":"6654","mac":{"a_bits":["14"],"w_bits":"8"},"npu_flags":[],"op":"conv_transpose","out":[{"bits":"17","hi":"40652","lo":"-48960","policy":"derived","result":{"bits":"17","hi":"40652","lo":"-48960"},"tensor":"3"}],"saturated":false},{"acc32_params":[],"fits":["acc32","acc64"],"index":"3","intermediates":{},"npu_flags":[],"op":"relu","out":[{"bits":"17","hi":"40652","lo":"0","policy":"derived","result":{"bits":"17","hi":"40652","lo":"0"},"tensor":"4"}],"saturated":false},{"acc32_params":[],"fits":["acc32","acc64"],"index":"4","intermediates":{"convT.acc":{"bits":"29","hi":"149111536","lo":"-156916720"},"convT.term":{"bits":"23","hi":"3739984","lo":"-4187156"},"rq.p":{"bits":"29","hi":"149111536","lo":"-156916720"},"rq.q":{"bits":"21","hi":"582466","lo":"-612956"},"rq.t":{"bits":"29","hi":"149111536","lo":"-156916720"},"rq.y":{"bits":"21","hi":"582466","lo":"-612956"}},"k_c":"512","mac":{"a_bits":["17"],"w_bits":"8"},"npu_flags":[],"op":"conv_transpose","out":[{"bits":"21","hi":"582466","lo":"-612956","policy":"derived","result":{"bits":"21","hi":"582466","lo":"-612956"},"tensor":"5"}],"saturated":false},{"acc32_params":[],"fits":["acc32","acc64"],"index":"5","intermediates":{},"npu_flags":[],"op":"relu","out":[{"bits":"21","hi":"582466","lo":"0","policy":"derived","result":{"bits":"21","hi":"582466","lo":"0"},"tensor":"6"}],"saturated":false},{"acc32_params":[],"fits":["acc64"],"index":"6","intermediates":{"convT.acc":{"bits":"33","hi":"3092313901","lo":"-2428302245"},"convT.term":{"bits":"28","hi":"71643318","lo":"-64653726"},"rq.p":{"bits":"33","hi":"3092313901","lo":"-2428302245"},"rq.q":{"bits":"26","hi":"24158702","lo":"-18971112"},"rq.t":{"bits":"33","hi":"3092313901","lo":"-2428302245"},"rq.y":{"bits":"26","hi":"24158702","lo":"-18971112"}},"k_c":"29","mac":{"a_bits":["21"],"w_bits":"8"},"npu_flags":[],"op":"conv_transpose","out":[{"bits":"26","hi":"24158702","lo":"-18971112","policy":"derived","result":{"bits":"26","hi":"24158702","lo":"-18971112"},"tensor":"7"}],"saturated":false},{"acc32_params":[],"fits":["acc32","acc64"],"index":"7","intermediates":{},"npu_flags":[],"op":"clamp","out":[{"bits":"9","hi":"255","lo":"0","policy":"derived","result":{"bits":"9","hi":"255","lo":"0"},"tensor":"8"}],"saturated":false}],"scalars":[]}],"lowering":"int_synth/1","set_sha256":"7c15df3437b7f9a47aeec9107c782149e308b72f81c7a3981999769ab9eda1e5","verdict":{"acc32":false,"acc32_first_failure":{"bits":"33","graph":"synth","index":"6","key":"convT.acc","where":"node"},"acc64":true,"npu":false,"npu_flags":[],"npu_reasons":["acc32"]}}