{"capability":"wai.neural.int_mlicpp","certificate":"wai-ops/1 bounds","graphs":[{"graph_sha256":"b414de26d5a24c66f7e1e13c70a82cf17c161bc71a3e72247ccbb96b8229d156","inputs":[{"hi":"8147855156232134","kind":"data","lo":"-8147855156232134","max_h":"0","max_w":"0","policy":"check","tensor":"0"}],"name":"h_s","nodes":[{"acc32_params":[],"fits":["acc64"],"index":"0","intermediates":{"convT.acc":{"bits":"62","hi":"2305843009213693922","lo":"-2305843009213693922"},"convT.term":{"bits":"62","hi":"2305843009213693922","lo":"-2305843009213693922"},"rq.p":{"bits":"73","hi":"2499533821987644211448","lo":"-2499533821987644211448"},"rq.q":{"bits":"61","hi":"610237749508702200","lo":"-610237749508702201"},"rq.t":{"bits":"62","hi":"2305843009213693922","lo":"-2305843009213693922"},"rq.y":{"bits":"61","hi":"610237749508701536","lo":"-610237749508702865"}},"k_c":"0","mac":{"a_bits":["54"],"w_bits":"10"},"npu_flags":["rq_floor_mult","rq_post_bias"],"op":"conv_transpose","out":[{"bits":"61","hi":"610237749508701536","lo":"-610237749508702865","policy":"derived","result":{"bits":"61","hi":"610237749508701536","lo":"-610237749508702865"},"tensor":"1"}],"saturated":false},{"acc32_params":[],"fits":["acc64"],"index":"1","intermediates":{},"npu_flags":[],"op":"relu","out":[{"bits":"61","hi":"610237749508701536","lo":"0","policy":"derived","result":{"bits":"61","hi":"610237749508701536","lo":"0"},"tensor":"2"}],"saturated":false}],"scalars":[]},{"graph_sha256":"ebfe2dfb653455a306bbbd6ab8de5f8a90c900b7ddbe96e8d15ef0175d3dd1dd","inputs":[{"hi":"577037790093517","kind":"data","lo":"-577037790093517","max_h":"0","max_w":"0","policy":"check","tensor":"0"}],"name":"entropy","nodes":[{"acc32_params":[],"fits":["acc64"],"index":"0","intermediates":{"conv.acc":{"bits":"64","hi":"5145445974263891089","lo":"-5145445974263891089"},"conv.term":{"bits":"59","hi":"170803185867681032","lo":"-170803185867681032"},"rq.p":{"bits":"75","hi":"11939933810961122348607","lo":"-11939933810961122348607"},"rq.q":{"bits":"63","hi":"2915022903066680260","lo":"-2915022903066680261"},"rq.t":{"bits":"64","hi":"5145445974263891089","lo":"-5145445974263891089"},"rq.y":{"bits":"63","hi":"2915022903066679315","lo":"-2915022903066681206"}},"k_c":"0","mac":{"a_bits":["51"],"w_bits":"10"},"npu_flags":["rq_floor_mult","rq_post_bias"],"op":"conv","out":[{"bits":"51","hi":"703698179358722","lo":"-703698179358722","policy":"check","result":{"bits":"63","hi":"2915022903066679315","lo":"-2915022903066681206"},"tensor":"1"}],"saturated":false},{"acc32_params":[],"fits":["acc64"],"index":"1","intermediates":{"leaky.p":{"bits":"64","hi":"9223372036854769254","lo":"13107"}},"npu_flags":[],"op":"leaky","out":[{"bits":"51","hi":"703698179358722","lo":"0","policy":"derived","result":{"bits":"51","hi":"703698179358722","lo":"0"},"tensor":"2"}],"saturated":false}],"scalars":[]},{"graph_sha256":"5fe266f41ec77433d87f3c9b22efdb5aff775ed7ff62f13f3f11b55eb9780aa4","inputs":[{"hi":"1719495159741755","kind":"data","lo":"-1719495159741755","max_h":"0","max_w":"0","policy":"check","tensor":"0"}],"name":"g_s","nodes":[{"acc32_params":[],"fits":["acc64"],"index":"0","intermediates":{"convT.acc":{"bits":"62","hi":"2171722386753836565","lo":"-2171722386753836565"},"convT.term":{"bits":"60","hi":"512409557603042990","lo":"-512409557603042990"},"rq.p":{"bits":"74","hi":"5935317282998235332145","lo":"-5935317282998235332145"},"rq.q":{"bits":"62","hi":"1449052071044491047","lo":"-1449052071044491048"},"rq.t":{"bits":"62","hi":"2171722386753836565","lo":"-2171722386753836565"},"rq.y":{"bits":"62","hi":"1449052071044491153","lo":"-1449052071044490942"}},"k_c":"0","mac":{"a_bits":["52"],"w_bits":"10"},"npu_flags":["rq_floor_mult","rq_post_bias"],"op":"conv_transpose","out":[{"bits":"37","hi":"37561683460","lo":"-37561683460","policy":"check","result":{"bits":"62","hi":"1449052071044491153","lo":"-1449052071044490942"},"tensor":"1"}],"saturated":false},{"acc32_params":[],"fits":["acc64"],"index":"1","intermediates":{"igdn.N":{"bits":"73","hi":"2726691061862442560876","lo":"0"},"igdn.gx2":{"bits":"82","hi":"1348801341517871118449600","lo":"0"},"igdn.r":{"bits":"37","hi":"52217727467","lo":"165"},"igdn.term":{"bits":"72","hi":"1317188810076046014110","lo":"0"},"igdn.x2":{"bits":"72","hi":"1410880064349237571600","lo":"0"},"igdn.xr":{"bits":"72","hi":"1961385750116001595820","lo":"-1961385750116001595820"}},"k_c":"0","npu_flags":[],"op":"igdn","out":[{"bits":"64","hi":"7661663086390631233","lo":"-7661663086390631234","policy":"derived","result":{"bits":"64","hi":"7661663086390631233","lo":"-7661663086390631234"},"tensor":"2"}],"saturated":false},{"acc32_params":[],"fits":["acc32","acc64"],"index":"2","intermediates":{},"npu_flags":[],"op":"clamp","out":[{"bits":"10","hi":"256","lo":"0","policy":"derived","result":{"bits":"10","hi":"256","lo":"0"},"tensor":"3"}],"saturated":false},{"acc32_params":[],"fits":["acc32","acc64"],"index":"3","intermediates":{"rq.p":{"bits":"17","hi":"65408","lo":"0"},"rq.q":{"bits":"9","hi":"255","lo":"0"},"rq.t":{"bits":"10","hi":"256","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":"4"}],"saturated":false}],"scalars":[]}],"lowering":"wmb1/1","set_sha256":"07e1835da60333d5c5a586da7fc27f2db78b8ccd146b100c61362d4ce768fc1c","verdict":{"acc32":false,"acc32_first_failure":{"bits":"54","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"]}}