{"capability":"wai.neural.int_hyper","certificate":"wai-ops/1 bounds","graphs":[{"graph_sha256":"efa0558d28db6d6f0c52bdf65662affcdf560639dbc8c722f074b6049b851877","inputs":[{"hi":"3754833104077","kind":"data","lo":"-3754833104077","max_h":"0","max_w":"0","policy":"check","tensor":"0"}],"name":"h_s","nodes":[{"acc32_params":[],"fits":["acc64"],"index":"0","intermediates":{"convT.acc":{"bits":"61","hi":"787508656584277364","lo":"-787508656584277364"},"convT.term":{"bits":"54","hi":"7686143364045619","lo":"-7686143364045619"},"rq.p":{"bits":"72","hi":"2106487606406095185999","lo":"-2106487606406095185999"},"rq.q":{"bits":"48","hi":"125556445503598","lo":"-125556445503599"},"rq.t":{"bits":"61","hi":"787508656584277364","lo":"-787508656584277364"},"rq.y":{"bits":"48","hi":"125556445503532","lo":"-125556445503665"}},"k_c":"0","mac":{"a_bits":["43"],"w_bits":"12"},"npu_flags":["rq_floor_mult","rq_post_bias"],"op":"conv_transpose","out":[{"bits":"48","hi":"125556445503532","lo":"-125556445503665","policy":"check","result":{"bits":"48","hi":"125556445503532","lo":"-125556445503665"},"tensor":"1"}],"saturated":false},{"acc32_params":[],"fits":["acc64"],"index":"1","intermediates":{"leaky.p":{"bits":"58","hi":"-655","lo":"-82239471804900575"}},"npu_flags":[],"op":"leaky","out":[{"bits":"43","hi":"2816124828057","lo":"-1254874752883","policy":"check","result":{"bits":"48","hi":"125556445503532","lo":"-1254874752883"},"tensor":"2"}],"saturated":false},{"acc32_params":[],"fits":["acc64"],"index":"2","intermediates":{"convT.acc":{"bits":"61","hi":"498408868052499633","lo":"-660796049621422547"},"convT.term":{"bits":"54","hi":"5764607523032679","lo":"-5764607523032679"},"rq.p":{"bits":"73","hi":"2388289143858707404280","lo":"-2871596524179898602920"},"rq.q":{"bits":"49","hi":"142353126040620","lo":"-171160490761990"},"rq.t":{"bits":"61","hi":"498408868052499633","lo":"-660796049621422547"},"rq.y":{"bits":"49","hi":"142353126041647","lo":"-171160490760963"}},"k_c":"0","mac":{"a_bits":["43"],"w_bits":"12"},"npu_flags":["rq_floor_mult","rq_post_bias"],"op":"conv_transpose","out":[{"bits":"49","hi":"142353126041647","lo":"-171160490760963","policy":"check","result":{"bits":"49","hi":"142353126041647","lo":"-171160490760963"},"tensor":"3"}],"saturated":false},{"acc32_params":[],"fits":["acc64"],"index":"3","intermediates":{"leaky.p":{"bits":"58","hi":"-655","lo":"-112110121448430765"}},"npu_flags":[],"op":"leaky","out":[{"bits":"44","hi":"5215045977884","lo":"-1710664694953","policy":"check","result":{"bits":"49","hi":"142353126041647","lo":"-1710664694953"},"tensor":"4"}],"saturated":false},{"acc32_params":[],"fits":["acc64"],"index":"4","intermediates":{"conv.acc":{"bits":"62","hi":"1206661832342127766","lo":"-1237269098467247120"},"conv.term":{"bits":"55","hi":"10675199116728548","lo":"-10675199116728548"},"rq.p":{"bits":"76","hi":"23615734631634360907659","lo":"-26757309913585663846599"},"rq.q":{"bits":"52","hi":"1407607473828456","lo":"-1594859952544312"},"rq.t":{"bits":"62","hi":"1206661832342127766","lo":"-1237269098467247120"},"rq.y":{"bits":"52","hi":"1407607473828431","lo":"-1594859952544337"}},"k_c":"0","mac":{"a_bits":["44"],"w_bits":"12"},"npu_flags":["rq_floor_mult","rq_post_bias"],"op":"conv","out":[{"bits":"52","hi":"1407607473828431","lo":"-1594859952544337","policy":"derived","result":{"bits":"52","hi":"1407607473828431","lo":"-1594859952544337"},"tensor":"5"}],"saturated":false}],"scalars":[]},{"graph_sha256":"975ecc7164a7e26f189895f6b17a0effc9378ba6512197b4ce36e5f44e515650","inputs":[{"hi":"2816124828057","kind":"data","lo":"-2816124828057","max_h":"0","max_w":"0","policy":"check","tensor":"0"}],"name":"g_s","nodes":[{"acc32_params":[],"fits":["acc64"],"index":"0","intermediates":{"convT.acc":{"bits":"60","hi":"516950402436767376","lo":"-516950402436767376"},"convT.term":{"bits":"54","hi":"5764607523032679","lo":"-5764607523032679"},"rq.p":{"bits":"72","hi":"1924685230744643645475","lo":"-1924685230744643645475"},"rq.q":{"bits":"48","hi":"114720179482975","lo":"-114720179482976"},"rq.t":{"bits":"60","hi":"516950402436767376","lo":"-516950402436767376"},"rq.y":{"bits":"48","hi":"114720179482646","lo":"-114720179483305"}},"k_c":"0","mac":{"a_bits":["43"],"w_bits":"12"},"npu_flags":["rq_floor_mult","rq_post_bias"],"op":"conv_transpose","out":[{"bits":"42","hi":"1181502134908","lo":"-1181502134908","policy":"check","result":{"bits":"48","hi":"114720179482646","lo":"-114720179483305"},"tensor":"1"}],"saturated":false},{"acc32_params":[],"fits":["acc64"],"index":"1","intermediates":{"igdn.N":{"bits":"66","hi":"21300465313607630439","lo":"0"},"igdn.gx2":{"bits":"82","hi":"1395947294792161832168464","lo":"0"},"igdn.r":{"bits":"34","hi":"4615242714","lo":"4"},"igdn.term":{"bits":"66","hi":"21300465313601102175","lo":"0"},"igdn.x2":{"bits":"82","hi":"1395947294792161832168464","lo":"0"},"igdn.xr":{"bits":"74","hi":"5452919119709592060312","lo":"-5452919119709592060312"}},"k_c":"0","npu_flags":[],"op":"igdn","out":[{"bits":"43","hi":"3754833104077","lo":"-3754833104077","policy":"check","result":{"bits":"62","hi":"1331279081960349624","lo":"-1331279081960349625"},"tensor":"2"}],"saturated":false},{"acc32_params":[],"fits":["acc64"],"index":"2","intermediates":{"convT.acc":{"bits":"60","hi":"471652095869320124","lo":"-471652095869320124"},"convT.term":{"bits":"54","hi":"7686143364045619","lo":"-7686143364045619"},"rq.p":{"bits":"72","hi":"2054488173107156470640","lo":"-2054488173107156470640"},"rq.q":{"bits":"48","hi":"122457037753293","lo":"-122457037753294"},"rq.t":{"bits":"60","hi":"471652095869320124","lo":"-471652095869320124"},"rq.y":{"bits":"48","hi":"122457037753190","lo":"-122457037753397"}},"k_c":"0","mac":{"a_bits":["43"],"w_bits":"12"},"npu_flags":["rq_floor_mult","rq_post_bias"],"op":"conv_transpose","out":[{"bits":"38","hi":"110706827683","lo":"-110706827683","policy":"check","result":{"bits":"48","hi":"122457037753190","lo":"-122457037753397"},"tensor":"3"}],"saturated":false},{"acc32_params":[],"fits":["acc64"],"index":"3","intermediates":{"igdn.N":{"bits":"75","hi":"12468821061014791377759","lo":"0"},"igdn.gx2":{"bits":"89","hi":"158997109997452813641347797","lo":"0"},"igdn.r":{"bits":"38","hi":"111663875362","lo":"4"},"igdn.term":{"bits":"73","hi":"2426103362998242395650","lo":"0"},"igdn.x2":{"bits":"75","hi":"12256001695633455148489","lo":"0"},"igdn.xr":{"bits":"75","hi":"12361953408116923246246","lo":"-12361953408116923246246"}},"k_c":"0","npu_flags":[],"op":"igdn","out":[{"bits":"43","hi":"3754833104077","lo":"-3754833104077","policy":"check","result":{"bits":"63","hi":"3018055031278545714","lo":"-3018055031278545715"},"tensor":"4"}],"saturated":false},{"acc32_params":[],"fits":["acc64"],"index":"4","intermediates":{"convT.acc":{"bits":"60","hi":"551183215846775061","lo":"-551183215846775061"},"convT.term":{"bits":"54","hi":"7686143364045619","lo":"-7686143364045619"},"rq.p":{"bits":"72","hi":"1593078961559110076480","lo":"-1593078961559110076480"},"rq.q":{"bits":"48","hi":"94954905602878","lo":"-94954905602879"},"rq.t":{"bits":"60","hi":"551183215846775061","lo":"-551183215846775061"},"rq.y":{"bits":"48","hi":"94954905602854","lo":"-94954905602903"}},"k_c":"0","mac":{"a_bits":["43"],"w_bits":"12"},"npu_flags":["rq_floor_mult","rq_post_bias"],"op":"conv_transpose","out":[{"bits":"37","hi":"51820107306","lo":"-51820107306","policy":"check","result":{"bits":"48","hi":"94954905602854","lo":"-94954905602903"},"tensor":"5"}],"saturated":false},{"acc32_params":[],"fits":["acc64"],"index":"5","intermediates":{"igdn.N":{"bits":"77","hi":"37815670212462508316890","lo":"0"},"igdn.gx2":{"bits":"91","hi":"725673772399971404996619732","lo":"0"},"igdn.r":{"bits":"39","hi":"194462516214","lo":"4"},"igdn.term":{"bits":"75","hi":"11072903021239798049875","lo":"0"},"igdn.x2":{"bits":"73","hi":"2685323521205354577636","lo":"0"},"igdn.xr":{"bits":"75","hi":"10077068457204244859484","lo":"-10077068457204244859484"}},"k_c":"0","npu_flags":[],"op":"igdn","out":[{"bits":"43","hi":"3754833104077","lo":"-3754833104077","policy":"check","result":{"bits":"63","hi":"2460221791309630092","lo":"-2460221791309630093"},"tensor":"6"}],"saturated":false},{"acc32_params":[],"fits":["acc64"],"index":"6","intermediates":{"convT.acc":{"bits":"59","hi":"239032675405541820","lo":"-239032675405541820"},"convT.term":{"bits":"54","hi":"7686143364045619","lo":"-7686143364045619"},"rq.p":{"bits":"71","hi":"814243428749283595392","lo":"-814243428749283595392"},"rq.q":{"bits":"47","hi":"48532690331297","lo":"-48532690331298"},"rq.t":{"bits":"59","hi":"239032675405541820","lo":"-239032675405541820"},"rq.y":{"bits":"47","hi":"48532690332729","lo":"-48532690329866"}},"k_c":"0","mac":{"a_bits":["43"],"w_bits":"12"},"npu_flags":["rq_floor_mult","rq_post_bias"],"op":"conv_transpose","out":[{"bits":"47","hi":"48532690332729","lo":"-48532690329866","policy":"derived","result":{"bits":"47","hi":"48532690332729","lo":"-48532690329866"},"tensor":"7"}],"saturated":false},{"acc32_params":[],"fits":["acc32","acc64"],"index":"7","intermediates":{},"npu_flags":[],"op":"clamp","out":[{"bits":"14","hi":"4096","lo":"0","policy":"derived","result":{"bits":"14","hi":"4096","lo":"0"},"tensor":"8"}],"saturated":false},{"acc32_params":[],"fits":["acc32","acc64"],"index":"8","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":"9"}],"saturated":false}],"scalars":[]}],"lowering":"whm1/1","set_sha256":"ab796bb19cb202115400ea2ce16724617c3da035a2f4429d6266d419ab705ac0","verdict":{"acc32":false,"acc32_first_failure":{"bits":"43","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"]}}