{"capability":"wai.neural.int_hyper","certificate":"wai-ops/1 bounds","graphs":[{"graph_sha256":"c3a28ef54396808853b68f2ffef651e004fd6ff88a048c76ee614f8ed8f1c67d","inputs":[{"hi":"3222701620144925","kind":"data","lo":"-3222701620144925","max_h":"0","max_w":"0","policy":"check","tensor":"0"}],"name":"h_s","nodes":[{"acc32_params":[],"fits":["acc64"],"index":"0","intermediates":{"convT.acc":{"bits":"63","hi":"2565270489635360300","lo":"-2565270489635360300"},"convT.term":{"bits":"60","hi":"512409557603043075","lo":"-512409557603043075"},"rq.p":{"bits":"81","hi":"667884053450150128295400","lo":"-667884053450150128295400"},"rq.q":{"bits":"57","hi":"39808991757044203","lo":"-39808991757044204"},"rq.t":{"bits":"63","hi":"2565270489635360300","lo":"-2565270489635360300"},"rq.y":{"bits":"57","hi":"39808991757044187","lo":"-39808991757044220"}},"k_c":"0","mac":{"a_bits":["53"],"w_bits":"9"},"npu_flags":["rq_floor_mult","rq_post_bias"],"op":"conv_transpose","out":[{"bits":"55","hi":"14081484025732482","lo":"-14081484025732482","policy":"check","result":{"bits":"57","hi":"39808991757044187","lo":"-39808991757044220"},"tensor":"1"}],"saturated":false},{"acc32_params":[],"fits":["acc64"],"index":"1","intermediates":{"leaky.p":{"bits":"64","hi":"-655","lo":"-9223372036854775710"}},"npu_flags":[],"op":"leaky","out":[{"bits":"52","hi":"1601279867509509","lo":"-140737488355328","policy":"check","result":{"bits":"55","hi":"14081484025732482","lo":"-140737488355328"},"tensor":"2"}],"saturated":false},{"acc32_params":[],"fits":["acc64"],"index":"2","intermediates":{"conv.acc":{"bits":"63","hi":"3416621454807471888","lo":"-3185392888939409270"},"conv.term":{"bits":"59","hi":"254603498934011931","lo":"-256204778801521440"},"rq.p":{"bits":"81","hi":"606252144183947426750496","lo":"-559793427871021368369507"},"rq.q":{"bits":"57","hi":"36135443698403085","lo":"-33366288415850483"},"rq.t":{"bits":"63","hi":"3416621454807471888","lo":"-3185392888939409270"},"rq.y":{"bits":"57","hi":"36135443698403074","lo":"-33366288415850488"}},"k_c":"0","mac":{"a_bits":["52"],"w_bits":"9"},"npu_flags":["rq_floor_mult","rq_post_bias"],"op":"conv","out":[{"bits":"57","hi":"36135443698403074","lo":"-33366288415850488","policy":"derived","result":{"bits":"57","hi":"36135443698403074","lo":"-33366288415850488"},"tensor":"3"}],"saturated":false}],"scalars":[]},{"graph_sha256":"f8ad13b9e3ed1624e4b1cfe2ffe6ac8b391738f01263ec118324a1c8a8bac136","inputs":[{"hi":"1601279867509509","kind":"data","lo":"-1601279867509509","max_h":"0","max_w":"0","policy":"check","tensor":"0"}],"name":"g_s","nodes":[{"acc32_params":[],"fits":["acc64"],"index":"0","intermediates":{"convT.acc":{"bits":"63","hi":"2717371935163636773","lo":"-2717371935163636773"},"convT.term":{"bits":"59","hi":"256204778801521440","lo":"-256204778801521440"},"rq.p":{"bits":"80","hi":"538917354297457935731679","lo":"-538917354297457935731679"},"rq.q":{"bits":"56","hi":"32121977466193314","lo":"-32121977466193315"},"rq.t":{"bits":"63","hi":"2717371935163636773","lo":"-2717371935163636773"},"rq.y":{"bits":"56","hi":"32121977466193330","lo":"-32121977466193299"}},"k_c":"0","mac":{"a_bits":["52"],"w_bits":"9"},"npu_flags":["rq_floor_mult","rq_post_bias"],"op":"conv_transpose","out":[{"bits":"40","hi":"283323814454","lo":"-283323814454","policy":"check","result":{"bits":"56","hi":"32121977466193330","lo":"-32121977466193299"},"tensor":"1"}],"saturated":false},{"acc32_params":[],"fits":["acc64"],"index":"1","intermediates":{"igdn.N":{"bits":"74","hi":"8191859483341710468646","lo":"0"},"igdn.gx2":{"bits":"89","hi":"291308480943618803505442964","lo":"0"},"igdn.r":{"bits":"38","hi":"90508891736","lo":"2931"},"igdn.term":{"bits":"73","hi":"4445014662835980278098","lo":"0"},"igdn.x2":{"bits":"78","hi":"80272383836764619318116","lo":"0"},"igdn.xr":{"bits":"76","hi":"25643324448647637952144","lo":"-25643324448647637952144"}},"k_c":"0","npu_flags":[],"op":"igdn","out":[{"bits":"52","hi":"1611350810072462","lo":"-1611350810072462","policy":"check","result":{"bits":"64","hi":"6260577257970614734","lo":"-6260577257970614735"},"tensor":"2"}],"saturated":false},{"acc32_params":[],"fits":["acc64"],"index":"2","intermediates":{"convT.acc":{"bits":"63","hi":"2357406235136011906","lo":"-2357406235136011906"},"convT.term":{"bits":"59","hi":"256204778801521458","lo":"-256204778801521458"},"rq.p":{"bits":"80","hi":"509275183788902924076992","lo":"-509275183788902924076992"},"rq.q":{"bits":"56","hi":"30355166422659332","lo":"-30355166422659333"},"rq.t":{"bits":"63","hi":"2357406235136011906","lo":"-2357406235136011906"},"rq.y":{"bits":"56","hi":"30355166422659330","lo":"-30355166422659335"}},"k_c":"0","mac":{"a_bits":["52"],"w_bits":"9"},"npu_flags":["rq_floor_mult","rq_post_bias"],"op":"conv_transpose","out":[{"bits":"56","hi":"30355166422659330","lo":"-30355166422659335","policy":"derived","result":{"bits":"56","hi":"30355166422659330","lo":"-30355166422659335"},"tensor":"3"}],"saturated":false},{"acc32_params":[],"fits":["acc32","acc64"],"index":"3","intermediates":{},"npu_flags":[],"op":"clamp","out":[{"bits":"14","hi":"4096","lo":"0","policy":"derived","result":{"bits":"14","hi":"4096","lo":"0"},"tensor":"4"}],"saturated":false},{"acc32_params":[],"fits":["acc32","acc64"],"index":"4","intermediates":{"rq.p":{"bits":"21","hi":"1046528","lo":"0"},"rq.q":{"bits":"9","hi":"255","lo":"0"},"rq.t":{"bits":"14","hi":"4096","lo":"0"},"rq.y":{"bits":"9","hi":"255","lo":"0"}},"npu_flags":[],"op":"rescale","out":[{"bits":"9","hi":"255","lo":"0","policy":"derived","result":{"bits":"9","hi":"255","lo":"0"},"tensor":"5"}],"saturated":false}],"scalars":[]}],"lowering":"whm1/1","set_sha256":"13e8b0d18e001eb9f0160309a02755b35a14f71ba0bcaa13f373e32b931ab818","verdict":{"acc32":false,"acc32_first_failure":{"bits":"53","graph":"h_s","index":"0","key":"range","where":"input"},"acc64":true,"npu":false,"npu_flags":["rq_floor_mult","rq_post_bias"],"npu_reasons":["acc32","op:igdn"]}}