cyb/honeycrisp/audit/2026-10-16-acpu-delivery/numeric-prototype/stress.stdout

{"rows":[
{"tau":1e-45,"order":0,"status":"ok","depth":16,"steps":18,"rounds":1,"cross_order_compared":true}
,
{"tau":1e-45,"order":1,"status":"ok","depth":16,"steps":19,"rounds":1,"cross_order_compared":true}
,
{"tau":1e-45,"order":2,"status":"ok","depth":16,"steps":20,"rounds":1,"cross_order_compared":true}
,
{"tau":1e-45,"order":5,"status":"ok","depth":16,"steps":23,"rounds":1,"cross_order_compared":true}
,
{"tau":1e-45,"order":20,"status":"ok","depth":21,"steps":43,"rounds":1,"cross_order_compared":true}
,
{"tau":1e-45,"order":40,"status":"ok","depth":41,"steps":83,"rounds":1,"cross_order_compared":true}
,
{"tau":1e-45,"order":80,"status":"ok","depth":81,"steps":163,"rounds":1,"cross_order_compared":true}
,
{"tau":1e-45,"order":160,"status":"ok","depth":161,"steps":323,"rounds":1,"cross_order_compared":true}
,
{"tau":1e-45,"order":320,"status":"ok","depth":321,"steps":643,"rounds":1,"cross_order_compared":true}
,
{"tau":1e-45,"order":1024,"status":"ok","depth":1025,"steps":2051,"rounds":1,"cross_order_compared":true}
,
{"tau":1e-45,"order":4096,"status":"ok","depth":4097,"steps":8195,"rounds":1,"cross_order_compared":true}
,
{"tau":1.1754944e-38,"order":0,"status":"ok","depth":16,"steps":18,"rounds":1,"cross_order_compared":true}
,
{"tau":1.1754944e-38,"order":1,"status":"ok","depth":16,"steps":19,"rounds":1,"cross_order_compared":true}
,
{"tau":1.1754944e-38,"order":2,"status":"ok","depth":16,"steps":20,"rounds":1,"cross_order_compared":true}
,
{"tau":1.1754944e-38,"order":5,"status":"ok","depth":16,"steps":23,"rounds":1,"cross_order_compared":true}
,
{"tau":1.1754944e-38,"order":20,"status":"ok","depth":21,"steps":43,"rounds":1,"cross_order_compared":true}
,
{"tau":1.1754944e-38,"order":40,"status":"ok","depth":41,"steps":83,"rounds":1,"cross_order_compared":true}
,
{"tau":1.1754944e-38,"order":80,"status":"ok","depth":81,"steps":163,"rounds":1,"cross_order_compared":true}
,
{"tau":1.1754944e-38,"order":160,"status":"ok","depth":161,"steps":323,"rounds":1,"cross_order_compared":true}
,
{"tau":1.1754944e-38,"order":320,"status":"ok","depth":321,"steps":643,"rounds":1,"cross_order_compared":true}
,
{"tau":1.1754944e-38,"order":1024,"status":"ok","depth":1025,"steps":2051,"rounds":1,"cross_order_compared":true}
,
{"tau":1.1754944e-38,"order":4096,"status":"ok","depth":4097,"steps":8195,"rounds":1,"cross_order_compared":true}
,
{"tau":9.536743e-7,"order":0,"status":"ok","depth":16,"steps":18,"rounds":1,"cross_order_compared":true}
,
{"tau":9.536743e-7,"order":1,"status":"ok","depth":16,"steps":19,"rounds":1,"cross_order_compared":true}
,
{"tau":9.536743e-7,"order":2,"status":"ok","depth":16,"steps":20,"rounds":1,"cross_order_compared":true}
,
{"tau":9.536743e-7,"order":5,"status":"ok","depth":16,"steps":23,"rounds":1,"cross_order_compared":true}
,
{"tau":9.536743e-7,"order":20,"status":"ok","depth":21,"steps":43,"rounds":1,"cross_order_compared":true}
,
{"tau":9.536743e-7,"order":40,"status":"ok","depth":41,"steps":83,"rounds":1,"cross_order_compared":true}
,
{"tau":9.536743e-7,"order":80,"status":"ok","depth":81,"steps":163,"rounds":1,"cross_order_compared":true}
,
{"tau":9.536743e-7,"order":160,"status":"ok","depth":161,"steps":323,"rounds":1,"cross_order_compared":true}
,
{"tau":9.536743e-7,"order":320,"status":"ok","depth":321,"steps":643,"rounds":1,"cross_order_compared":true}
,
{"tau":9.536743e-7,"order":1024,"status":"ok","depth":1025,"steps":2051,"rounds":1,"cross_order_compared":true}
,
{"tau":9.536743e-7,"order":4096,"status":"ok","depth":4097,"steps":8195,"rounds":1,"cross_order_compared":true}
,
{"tau":1e-2,"order":0,"status":"ok","depth":16,"steps":18,"rounds":1,"cross_order_compared":true}
,
{"tau":1e-2,"order":1,"status":"ok","depth":16,"steps":19,"rounds":1,"cross_order_compared":true}
,
{"tau":1e-2,"order":2,"status":"ok","depth":16,"steps":20,"rounds":1,"cross_order_compared":true}
,
{"tau":1e-2,"order":5,"status":"ok","depth":16,"steps":23,"rounds":1,"cross_order_compared":true}
,
{"tau":1e-2,"order":20,"status":"ok","depth":21,"steps":43,"rounds":1,"cross_order_compared":true}
,
{"tau":1e-2,"order":40,"status":"ok","depth":41,"steps":83,"rounds":1,"cross_order_compared":true}
,
{"tau":1e-2,"order":80,"status":"ok","depth":81,"steps":163,"rounds":1,"cross_order_compared":true}
,
{"tau":1e-2,"order":160,"status":"ok","depth":161,"steps":323,"rounds":1,"cross_order_compared":true}
,
{"tau":1e-2,"order":320,"status":"ok","depth":321,"steps":643,"rounds":1,"cross_order_compared":true}
,
{"tau":1e-2,"order":1024,"status":"ok","depth":1025,"steps":2051,"rounds":1,"cross_order_compared":true}
,
{"tau":1e-2,"order":4096,"status":"ok","depth":4097,"steps":8195,"rounds":1,"cross_order_compared":true}
,
{"tau":1e-1,"order":0,"status":"ok","depth":16,"steps":18,"rounds":1,"cross_order_compared":true}
,
{"tau":1e-1,"order":1,"status":"ok","depth":16,"steps":19,"rounds":1,"cross_order_compared":true}
,
{"tau":1e-1,"order":2,"status":"ok","depth":16,"steps":20,"rounds":1,"cross_order_compared":true}
,
{"tau":1e-1,"order":5,"status":"ok","depth":16,"steps":23,"rounds":1,"cross_order_compared":true}
,
{"tau":1e-1,"order":20,"status":"ok","depth":21,"steps":43,"rounds":1,"cross_order_compared":true}
,
{"tau":1e-1,"order":40,"status":"ok","depth":41,"steps":83,"rounds":1,"cross_order_compared":true}
,
{"tau":1e-1,"order":80,"status":"ok","depth":81,"steps":163,"rounds":1,"cross_order_compared":true}
,
{"tau":1e-1,"order":160,"status":"ok","depth":161,"steps":323,"rounds":1,"cross_order_compared":true}
,
{"tau":1e-1,"order":320,"status":"ok","depth":321,"steps":643,"rounds":1,"cross_order_compared":true}
,
{"tau":1e-1,"order":1024,"status":"ok","depth":1025,"steps":2051,"rounds":1,"cross_order_compared":true}
,
{"tau":1e-1,"order":4096,"status":"ok","depth":4097,"steps":8195,"rounds":1,"cross_order_compared":true}
,
{"tau":1.25e-1,"order":0,"status":"ok","depth":16,"steps":18,"rounds":1,"cross_order_compared":true}
,
{"tau":1.25e-1,"order":1,"status":"ok","depth":16,"steps":19,"rounds":1,"cross_order_compared":true}
,
{"tau":1.25e-1,"order":2,"status":"ok","depth":16,"steps":20,"rounds":1,"cross_order_compared":true}
,
{"tau":1.25e-1,"order":5,"status":"ok","depth":16,"steps":23,"rounds":1,"cross_order_compared":true}
,
{"tau":1.25e-1,"order":20,"status":"ok","depth":21,"steps":43,"rounds":1,"cross_order_compared":true}
,
{"tau":1.25e-1,"order":40,"status":"ok","depth":41,"steps":83,"rounds":1,"cross_order_compared":true}
,
{"tau":1.25e-1,"order":80,"status":"ok","depth":81,"steps":163,"rounds":1,"cross_order_compared":true}
,
{"tau":1.25e-1,"order":160,"status":"ok","depth":161,"steps":323,"rounds":1,"cross_order_compared":true}
,
{"tau":1.25e-1,"order":320,"status":"ok","depth":321,"steps":643,"rounds":1,"cross_order_compared":true}
,
{"tau":1.25e-1,"order":1024,"status":"ok","depth":1025,"steps":2051,"rounds":1,"cross_order_compared":true}
,
{"tau":1.25e-1,"order":4096,"status":"ok","depth":4097,"steps":8195,"rounds":1,"cross_order_compared":true}
,
{"tau":5e-1,"order":0,"status":"ok","depth":16,"steps":18,"rounds":1,"cross_order_compared":true}
,
{"tau":5e-1,"order":1,"status":"ok","depth":16,"steps":19,"rounds":1,"cross_order_compared":true}
,
{"tau":5e-1,"order":2,"status":"ok","depth":16,"steps":20,"rounds":1,"cross_order_compared":true}
,
{"tau":5e-1,"order":5,"status":"ok","depth":16,"steps":23,"rounds":1,"cross_order_compared":true}
,
{"tau":5e-1,"order":20,"status":"ok","depth":42,"steps":107,"rounds":2,"cross_order_compared":true}
,
{"tau":5e-1,"order":40,"status":"ok","depth":41,"steps":83,"rounds":1,"cross_order_compared":true}
,
{"tau":5e-1,"order":80,"status":"ok","depth":81,"steps":163,"rounds":1,"cross_order_compared":true}
,
{"tau":5e-1,"order":160,"status":"ok","depth":161,"steps":323,"rounds":1,"cross_order_compared":true}
,
{"tau":5e-1,"order":320,"status":"ok","depth":321,"steps":643,"rounds":1,"cross_order_compared":true}
,
{"tau":5e-1,"order":1024,"status":"ok","depth":1025,"steps":2051,"rounds":1,"cross_order_compared":true}
,
{"tau":5e-1,"order":4096,"status":"ok","depth":4097,"steps":8195,"rounds":1,"cross_order_compared":true}
,
{"tau":1e0,"order":0,"status":"ok","depth":16,"steps":18,"rounds":1,"cross_order_compared":true}
,
{"tau":1e0,"order":1,"status":"ok","depth":16,"steps":19,"rounds":1,"cross_order_compared":true}
,
{"tau":1e0,"order":2,"status":"ok","depth":16,"steps":20,"rounds":1,"cross_order_compared":true}
,
{"tau":1e0,"order":5,"status":"ok","depth":16,"steps":23,"rounds":1,"cross_order_compared":true}
,
{"tau":1e0,"order":20,"status":"ok","depth":42,"steps":107,"rounds":2,"cross_order_compared":true}
,
{"tau":1e0,"order":40,"status":"ok","depth":41,"steps":83,"rounds":1,"cross_order_compared":true}
,
{"tau":1e0,"order":80,"status":"ok","depth":81,"steps":163,"rounds":1,"cross_order_compared":true}
,
{"tau":1e0,"order":160,"status":"ok","depth":161,"steps":323,"rounds":1,"cross_order_compared":true}
,
{"tau":1e0,"order":320,"status":"ok","depth":321,"steps":643,"rounds":1,"cross_order_compared":true}
,
{"tau":1e0,"order":1024,"status":"ok","depth":1025,"steps":2051,"rounds":1,"cross_order_compared":true}
,
{"tau":1e0,"order":4096,"status":"ok","depth":4097,"steps":8195,"rounds":1,"cross_order_compared":true}
,
{"tau":3e0,"order":0,"status":"ok","depth":32,"steps":35,"rounds":1,"cross_order_compared":true}
,
{"tau":3e0,"order":1,"status":"ok","depth":32,"steps":36,"rounds":1,"cross_order_compared":true}
,
{"tau":3e0,"order":2,"status":"ok","depth":32,"steps":37,"rounds":1,"cross_order_compared":true}
,
{"tau":3e0,"order":5,"status":"ok","depth":32,"steps":40,"rounds":1,"cross_order_compared":true}
,
{"tau":3e0,"order":20,"status":"ok","depth":42,"steps":107,"rounds":2,"cross_order_compared":true}
,
{"tau":3e0,"order":40,"status":"ok","depth":41,"steps":83,"rounds":1,"cross_order_compared":true}
,
{"tau":3e0,"order":80,"status":"ok","depth":81,"steps":163,"rounds":1,"cross_order_compared":true}
,
{"tau":3e0,"order":160,"status":"ok","depth":161,"steps":323,"rounds":1,"cross_order_compared":true}
,
{"tau":3e0,"order":320,"status":"ok","depth":321,"steps":643,"rounds":1,"cross_order_compared":true}
,
{"tau":3e0,"order":1024,"status":"ok","depth":1025,"steps":2051,"rounds":1,"cross_order_compared":true}
,
{"tau":3e0,"order":4096,"status":"ok","depth":4097,"steps":8195,"rounds":1,"cross_order_compared":true}
,
{"tau":1e1,"order":0,"status":"ok","depth":32,"steps":35,"rounds":1,"cross_order_compared":true}
,
{"tau":1e1,"order":1,"status":"ok","depth":32,"steps":36,"rounds":1,"cross_order_compared":true}
,
{"tau":1e1,"order":2,"status":"ok","depth":32,"steps":37,"rounds":1,"cross_order_compared":true}
,
{"tau":1e1,"order":5,"status":"ok","depth":32,"steps":40,"rounds":1,"cross_order_compared":true}
,
{"tau":1e1,"order":20,"status":"ok","depth":42,"steps":65,"rounds":1,"cross_order_compared":true}
,
{"tau":1e1,"order":40,"status":"ok","depth":82,"steps":207,"rounds":2,"cross_order_compared":true}
,
{"tau":1e1,"order":80,"status":"ok","depth":81,"steps":163,"rounds":1,"cross_order_compared":true}
,
{"tau":1e1,"order":160,"status":"ok","depth":161,"steps":323,"rounds":1,"cross_order_compared":true}
,
{"tau":1e1,"order":320,"status":"ok","depth":321,"steps":643,"rounds":1,"cross_order_compared":true}
,
{"tau":1e1,"order":1024,"status":"ok","depth":1025,"steps":2051,"rounds":1,"cross_order_compared":true}
,
{"tau":1e1,"order":4096,"status":"ok","depth":4097,"steps":8195,"rounds":1,"cross_order_compared":true}
,
{"tau":8e1,"order":0,"status":"ok","depth":128,"steps":133,"rounds":1,"cross_order_compared":true}
,
{"tau":8e1,"order":1,"status":"ok","depth":128,"steps":134,"rounds":1,"cross_order_compared":true}
,
{"tau":8e1,"order":2,"status":"ok","depth":128,"steps":135,"rounds":1,"cross_order_compared":true}
,
{"tau":8e1,"order":5,"status":"ok","depth":128,"steps":138,"rounds":1,"cross_order_compared":true}
,
{"tau":8e1,"order":20,"status":"ok","depth":84,"steps":108,"rounds":1,"cross_order_compared":true}
,
{"tau":8e1,"order":40,"status":"ok","depth":82,"steps":125,"rounds":1,"cross_order_compared":true}
,
{"tau":8e1,"order":80,"status":"ok","depth":162,"steps":407,"rounds":2,"cross_order_compared":true}
,
{"tau":8e1,"order":160,"status":"ok","depth":161,"steps":323,"rounds":1,"cross_order_compared":true}
,
{"tau":8e1,"order":320,"status":"ok","depth":321,"steps":643,"rounds":1,"cross_order_compared":true}
,
{"tau":8e1,"order":1024,"status":"ok","depth":1025,"steps":2051,"rounds":1,"cross_order_compared":true}
,
{"tau":8e1,"order":4096,"status":"ok","depth":4097,"steps":8195,"rounds":1,"cross_order_compared":true}
,
{"tau":1e2,"order":0,"status":"ok","depth":128,"steps":133,"rounds":1,"cross_order_compared":true}
,
{"tau":1e2,"order":1,"status":"ok","depth":128,"steps":134,"rounds":1,"cross_order_compared":true}
,
{"tau":1e2,"order":2,"status":"ok","depth":128,"steps":135,"rounds":1,"cross_order_compared":true}
,
{"tau":1e2,"order":5,"status":"ok","depth":128,"steps":138,"rounds":1,"cross_order_compared":true}
,
{"tau":1e2,"order":20,"status":"ok","depth":84,"steps":108,"rounds":1,"cross_order_compared":true}
,
{"tau":1e2,"order":40,"status":"ok","depth":82,"steps":125,"rounds":1,"cross_order_compared":true}
,
{"tau":1e2,"order":80,"status":"ok","depth":162,"steps":407,"rounds":2,"cross_order_compared":true}
,
{"tau":1e2,"order":160,"status":"ok","depth":161,"steps":323,"rounds":1,"cross_order_compared":true}
,
{"tau":1e2,"order":320,"status":"ok","depth":321,"steps":643,"rounds":1,"cross_order_compared":true}
,
{"tau":1e2,"order":1024,"status":"ok","depth":1025,"steps":2051,"rounds":1,"cross_order_compared":true}
,
{"tau":1e2,"order":4096,"status":"ok","depth":4097,"steps":8195,"rounds":1,"cross_order_compared":true}
,
{"tau":1.04e2,"order":0,"status":"ok","depth":128,"steps":133,"rounds":1,"cross_order_compared":true}
,
{"tau":1.04e2,"order":1,"status":"ok","depth":128,"steps":134,"rounds":1,"cross_order_compared":true}
,
{"tau":1.04e2,"order":2,"status":"ok","depth":128,"steps":135,"rounds":1,"cross_order_compared":true}
,
{"tau":1.04e2,"order":5,"status":"ok","depth":128,"steps":138,"rounds":1,"cross_order_compared":true}
,
{"tau":1.04e2,"order":20,"status":"ok","depth":84,"steps":108,"rounds":1,"cross_order_compared":true}
,
{"tau":1.04e2,"order":40,"status":"ok","depth":82,"steps":125,"rounds":1,"cross_order_compared":true}
,
{"tau":1.04e2,"order":80,"status":"ok","depth":162,"steps":407,"rounds":2,"cross_order_compared":true}
,
{"tau":1.04e2,"order":160,"status":"ok","depth":161,"steps":323,"rounds":1,"cross_order_compared":true}
,
{"tau":1.04e2,"order":320,"status":"ok","depth":321,"steps":643,"rounds":1,"cross_order_compared":true}
,
{"tau":1.04e2,"order":1024,"status":"ok","depth":1025,"steps":2051,"rounds":1,"cross_order_compared":true}
,
{"tau":1.04e2,"order":4096,"status":"ok","depth":4097,"steps":8195,"rounds":1,"cross_order_compared":true}
,
{"tau":5e2,"order":0,"status":"ok","depth":256,"steps":262,"rounds":1,"cross_order_compared":true}
,
{"tau":5e2,"order":1,"status":"ok","depth":256,"steps":263,"rounds":1,"cross_order_compared":true}
,
{"tau":5e2,"order":2,"status":"ok","depth":256,"steps":264,"rounds":1,"cross_order_compared":true}
,
{"tau":5e2,"order":5,"status":"ok","depth":256,"steps":267,"rounds":1,"cross_order_compared":true}
,
{"tau":5e2,"order":20,"status":"ok","depth":336,"steps":362,"rounds":1,"cross_order_compared":true}
,
{"tau":5e2,"order":40,"status":"ok","depth":328,"steps":373,"rounds":1,"cross_order_compared":true}
,
{"tau":5e2,"order":80,"status":"ok","depth":324,"steps":408,"rounds":1,"cross_order_compared":true}
,
{"tau":5e2,"order":160,"status":"ok","depth":322,"steps":485,"rounds":1,"cross_order_compared":true}
,
{"tau":5e2,"order":320,"status":"ok","depth":642,"steps":1607,"rounds":2,"cross_order_compared":true}
,
{"tau":5e2,"order":1024,"status":"ok","depth":1025,"steps":2051,"rounds":1,"cross_order_compared":true}
,
{"tau":5e2,"order":4096,"status":"ok","depth":4097,"steps":8195,"rounds":1,"cross_order_compared":true}
,
{"tau":7e2,"order":0,"status":"ok","depth":256,"steps":262,"rounds":1,"cross_order_compared":true}
,
{"tau":7e2,"order":1,"status":"ok","depth":256,"steps":263,"rounds":1,"cross_order_compared":true}
,
{"tau":7e2,"order":2,"status":"ok","depth":256,"steps":264,"rounds":1,"cross_order_compared":true}
,
{"tau":7e2,"order":5,"status":"ok","depth":256,"steps":267,"rounds":1,"cross_order_compared":true}
,
{"tau":7e2,"order":20,"status":"ok","depth":336,"steps":362,"rounds":1,"cross_order_compared":true}
,
{"tau":7e2,"order":40,"status":"ok","depth":328,"steps":373,"rounds":1,"cross_order_compared":true}
,
{"tau":7e2,"order":80,"status":"ok","depth":324,"steps":408,"rounds":1,"cross_order_compared":true}
,
{"tau":7e2,"order":160,"status":"ok","depth":322,"steps":485,"rounds":1,"cross_order_compared":true}
,
{"tau":7e2,"order":320,"status":"ok","depth":642,"steps":1607,"rounds":2,"cross_order_compared":true}
,
{"tau":7e2,"order":1024,"status":"ok","depth":1025,"steps":2051,"rounds":1,"cross_order_compared":true}
,
{"tau":7e2,"order":4096,"status":"ok","depth":4097,"steps":8195,"rounds":1,"cross_order_compared":true}
,
{"tau":1e3,"order":0,"status":"ok","depth":256,"steps":262,"rounds":1,"cross_order_compared":true}
,
{"tau":1e3,"order":1,"status":"ok","depth":256,"steps":263,"rounds":1,"cross_order_compared":true}
,
{"tau":1e3,"order":2,"status":"ok","depth":256,"steps":264,"rounds":1,"cross_order_compared":true}
,
{"tau":1e3,"order":5,"status":"ok","depth":256,"steps":267,"rounds":1,"cross_order_compared":true}
,
{"tau":1e3,"order":20,"status":"ok","depth":336,"steps":362,"rounds":1,"cross_order_compared":true}
,
{"tau":1e3,"order":40,"status":"ok","depth":328,"steps":373,"rounds":1,"cross_order_compared":true}
,
{"tau":1e3,"order":80,"status":"ok","depth":324,"steps":408,"rounds":1,"cross_order_compared":true}
,
{"tau":1e3,"order":160,"status":"ok","depth":322,"steps":485,"rounds":1,"cross_order_compared":true}
,
{"tau":1e3,"order":320,"status":"ok","depth":642,"steps":1607,"rounds":2,"cross_order_compared":true}
,
{"tau":1e3,"order":1024,"status":"ok","depth":1025,"steps":2051,"rounds":1,"cross_order_compared":true}
,
{"tau":1e3,"order":4096,"status":"ok","depth":4097,"steps":8195,"rounds":1,"cross_order_compared":true}
,
{"tau":1e4,"order":0,"status":"ok","depth":1024,"steps":1032,"rounds":1,"cross_order_compared":true}
,
{"tau":1e4,"order":1,"status":"ok","depth":1024,"steps":1033,"rounds":1,"cross_order_compared":true}
,
{"tau":1e4,"order":2,"status":"ok","depth":1024,"steps":1034,"rounds":1,"cross_order_compared":true}
,
{"tau":1e4,"order":5,"status":"ok","depth":1024,"steps":1037,"rounds":1,"cross_order_compared":true}
,
{"tau":1e4,"order":20,"status":"ok","depth":1344,"steps":1372,"rounds":1,"cross_order_compared":true}
,
{"tau":1e4,"order":40,"status":"ok","depth":1312,"steps":1359,"rounds":1,"cross_order_compared":true}
,
{"tau":1e4,"order":80,"status":"ok","depth":1296,"steps":1382,"rounds":1,"cross_order_compared":true}
,
{"tau":1e4,"order":160,"status":"ok","depth":1288,"steps":1453,"rounds":1,"cross_order_compared":true}
,
{"tau":1e4,"order":320,"status":"ok","depth":1284,"steps":1608,"rounds":1,"cross_order_compared":true}
,
{"tau":1e4,"order":1024,"status":"ok","depth":2050,"steps":5127,"rounds":2,"cross_order_compared":true}
,
{"tau":1e4,"order":4096,"status":"ok","depth":4097,"steps":8195,"rounds":1,"cross_order_compared":true}
,
{"tau":1e5,"order":0,"status":"ok","depth":4096,"steps":4106,"rounds":1,"cross_order_compared":true}
,
{"tau":1e5,"order":1,"status":"ok","depth":4096,"steps":4107,"rounds":1,"cross_order_compared":true}
,
{"tau":1e5,"order":2,"status":"ok","depth":4096,"steps":4108,"rounds":1,"cross_order_compared":true}
,
{"tau":1e5,"order":5,"status":"ok","depth":4096,"steps":4111,"rounds":1,"cross_order_compared":true}
,
{"tau":1e5,"order":20,"status":"ok","depth":2688,"steps":2717,"rounds":1,"cross_order_compared":true}
,
{"tau":1e5,"order":40,"status":"ok","depth":2624,"steps":2672,"rounds":1,"cross_order_compared":true}
,
{"tau":1e5,"order":80,"status":"ok","depth":2592,"steps":2679,"rounds":1,"cross_order_compared":true}
,
{"tau":1e5,"order":160,"status":"ok","depth":2576,"steps":2742,"rounds":1,"cross_order_compared":true}
,
{"tau":1e5,"order":320,"status":"ok","depth":2568,"steps":2893,"rounds":1,"cross_order_compared":true}
,
{"tau":1e5,"order":1024,"status":"ok","depth":4100,"steps":5128,"rounds":1,"cross_order_compared":true}
,
{"tau":1e5,"order":4096,"status":"ok","depth":8194,"steps":20487,"rounds":2,"cross_order_compared":true}
,
{"tau":1e6,"order":0,"status":"ok","depth":8192,"steps":8203,"rounds":1,"cross_order_compared":true}
,
{"tau":1e6,"order":1,"status":"ok","depth":8192,"steps":8204,"rounds":1,"cross_order_compared":true}
,
{"tau":1e6,"order":2,"status":"ok","depth":8192,"steps":8205,"rounds":1,"cross_order_compared":true}
,
{"tau":1e6,"order":5,"status":"ok","depth":8192,"steps":8208,"rounds":1,"cross_order_compared":true}
,
{"tau":1e6,"order":20,"status":"ok","depth":10752,"steps":10783,"rounds":1,"cross_order_compared":true}
,
{"tau":1e6,"order":40,"status":"ok","depth":10496,"steps":10546,"rounds":1,"cross_order_compared":true}
,
{"tau":1e6,"order":80,"status":"ok","depth":10368,"steps":10457,"rounds":1,"cross_order_compared":true}
,
{"tau":1e6,"order":160,"status":"ok","depth":10304,"steps":10472,"rounds":1,"cross_order_compared":true}
,
{"tau":1e6,"order":320,"status":"ok","depth":10272,"steps":10599,"rounds":1,"cross_order_compared":true}
,
{"tau":1e6,"order":1024,"status":"ok","depth":8200,"steps":9229,"rounds":1,"cross_order_compared":true}
,
{"tau":1e6,"order":4096,"status":"ok","depth":8194,"steps":12293,"rounds":1,"cross_order_compared":true}
,
{"tau":1e7,"order":0,"status":"ok","depth":32768,"steps":32781,"rounds":1,"cross_order_compared":true}
,
{"tau":1e7,"order":1,"status":"ok","depth":32768,"steps":32782,"rounds":1,"cross_order_compared":true}
,
{"tau":1e7,"order":2,"status":"ok","depth":32768,"steps":32783,"rounds":1,"cross_order_compared":true}
,
{"tau":1e7,"order":5,"status":"ok","depth":32768,"steps":32786,"rounds":1,"cross_order_compared":true}
,
{"tau":1e7,"order":20,"status":"ok","depth":43008,"steps":43041,"rounds":1,"cross_order_compared":true}
,
{"tau":1e7,"order":40,"status":"ok","depth":41984,"steps":42036,"rounds":1,"cross_order_compared":true}
,
{"tau":1e7,"order":80,"status":"ok","depth":41472,"steps":41563,"rounds":1,"cross_order_compared":true}
,
{"tau":1e7,"order":160,"status":"ok","depth":41216,"steps":41386,"rounds":1,"cross_order_compared":true}
,
{"tau":1e7,"order":320,"status":"ok","depth":41088,"steps":41417,"rounds":1,"cross_order_compared":true}
,
{"tau":1e7,"order":1024,"status":"ok","depth":32800,"steps":33831,"rounds":1,"cross_order_compared":true}
,
{"tau":1e7,"order":4096,"status":"ok","depth":32776,"steps":36877,"rounds":1,"cross_order_compared":true}
,
{"tau":1e8,"order":0,"status":"ok","depth":131072,"steps":131087,"rounds":1,"cross_order_compared":true}
,
{"tau":1e8,"order":1,"status":"ok","depth":131072,"steps":131088,"rounds":1,"cross_order_compared":true}
,
{"tau":1e8,"order":2,"status":"ok","depth":131072,"steps":131089,"rounds":1,"cross_order_compared":true}
,
{"tau":1e8,"order":5,"status":"ok","depth":131072,"steps":131092,"rounds":1,"cross_order_compared":true}
,
{"tau":1e8,"order":20,"status":"ok","depth":86016,"steps":86050,"rounds":1,"cross_order_compared":true}
,
{"tau":1e8,"order":40,"status":"ok","depth":83968,"steps":84021,"rounds":1,"cross_order_compared":true}
,
{"tau":1e8,"order":80,"status":"ok","depth":82944,"steps":83036,"rounds":1,"cross_order_compared":true}
,
{"tau":1e8,"order":160,"status":"ok","depth":82432,"steps":82603,"rounds":1,"cross_order_compared":true}
,
{"tau":1e8,"order":320,"status":"ok","depth":82176,"steps":82506,"rounds":1,"cross_order_compared":true}
,
{"tau":1e8,"order":1024,"status":"ok","depth":131200,"steps":132233,"rounds":1,"cross_order_compared":true}
,
{"tau":1e8,"order":4096,"status":"ok","depth":131104,"steps":135207,"rounds":1,"cross_order_compared":true}
,
{"tau":1e9,"order":0,"status":"ok","depth":262144,"steps":262160,"rounds":1,"cross_order_compared":true}
,
{"tau":1e9,"order":1,"status":"ok","depth":262144,"steps":262161,"rounds":1,"cross_order_compared":true}
,
{"tau":1e9,"order":2,"status":"ok","depth":262144,"steps":262162,"rounds":1,"cross_order_compared":true}
,
{"tau":1e9,"order":5,"status":"ok","depth":262144,"steps":262165,"rounds":1,"cross_order_compared":true}
,
{"tau":1e9,"order":20,"status":"ok","depth":344064,"steps":344100,"rounds":1,"cross_order_compared":true}
,
{"tau":1e9,"order":40,"status":"ok","depth":335872,"steps":335927,"rounds":1,"cross_order_compared":true}
,
{"tau":1e9,"order":80,"status":"ok","depth":331776,"steps":331870,"rounds":1,"cross_order_compared":true}
,
{"tau":1e9,"order":160,"status":"ok","depth":329728,"steps":329901,"rounds":1,"cross_order_compared":true}
,
{"tau":1e9,"order":320,"status":"ok","depth":328704,"steps":329036,"rounds":1,"cross_order_compared":true}
,
{"tau":1e9,"order":1024,"status":"ok","depth":262400,"steps":263434,"rounds":1,"cross_order_compared":true}
,
{"tau":1e9,"order":4096,"status":"ok","depth":262208,"steps":266312,"rounds":1,"cross_order_compared":true}
,
{"tau":2e9,"order":0,"status":"ok","depth":524288,"steps":524305,"rounds":1,"cross_order_compared":true}
,
{"tau":2e9,"order":1,"status":"ok","depth":524288,"steps":524306,"rounds":1,"cross_order_compared":true}
,
{"tau":2e9,"order":2,"status":"ok","depth":524288,"steps":524307,"rounds":1,"cross_order_compared":true}
,
{"tau":2e9,"order":5,"status":"ok","depth":524288,"steps":524310,"rounds":1,"cross_order_compared":true}
,
{"tau":2e9,"order":20,"status":"ok","depth":344064,"steps":344100,"rounds":1,"cross_order_compared":true}
,
{"tau":2e9,"order":40,"status":"ok","depth":671744,"steps":671800,"rounds":1,"cross_order_compared":true}
,
{"tau":2e9,"order":80,"status":"ok","depth":663552,"steps":663647,"rounds":1,"cross_order_compared":true}
,
{"tau":2e9,"order":160,"status":"ok","depth":659456,"steps":659630,"rounds":1,"cross_order_compared":true}
,
{"tau":2e9,"order":320,"status":"ok","depth":657408,"steps":657741,"rounds":1,"cross_order_compared":true}
,
{"tau":2e9,"order":1024,"status":"ok","depth":524800,"steps":525835,"rounds":1,"cross_order_compared":true}
,
{"tau":2e9,"order":4096,"status":"ok","depth":524416,"steps":528521,"rounds":1,"cross_order_compared":true}
,
{"tau":4e9,"order":0,"status":"ok","depth":524288,"steps":524305,"rounds":1,"cross_order_compared":true}
,
{"tau":4e9,"order":1,"status":"ok","depth":524288,"steps":524306,"rounds":1,"cross_order_compared":true}
,
{"tau":4e9,"order":2,"status":"ok","depth":524288,"steps":524307,"rounds":1,"cross_order_compared":true}
,
{"tau":4e9,"order":5,"status":"ok","depth":524288,"steps":524310,"rounds":1,"cross_order_compared":true}
,
{"tau":4e9,"order":20,"status":"ok","depth":688128,"steps":688165,"rounds":1,"cross_order_compared":true}
,
{"tau":4e9,"order":40,"status":"ok","depth":671744,"steps":671800,"rounds":1,"cross_order_compared":true}
,
{"tau":4e9,"order":80,"status":"ok","depth":663552,"steps":663647,"rounds":1,"cross_order_compared":true}
,
{"tau":4e9,"order":160,"status":"ok","depth":659456,"steps":659630,"rounds":1,"cross_order_compared":true}
,
{"tau":4e9,"order":320,"status":"ok","depth":657408,"steps":657741,"rounds":1,"cross_order_compared":true}
,
{"tau":4e9,"order":1024,"status":"ok","depth":524800,"steps":525835,"rounds":1,"cross_order_compared":true}
,
{"tau":4e9,"order":4096,"status":"ok","depth":524416,"steps":528521,"rounds":1,"cross_order_compared":true}
,
{"tau":1e10,"order":0,"status":"WorkLimit"}
,
{"tau":1e10,"order":1,"status":"WorkLimit"}
,
{"tau":1e10,"order":2,"status":"WorkLimit"}
,
{"tau":1e10,"order":5,"status":"WorkLimit"}
,
{"tau":1e10,"order":20,"status":"WorkLimit"}
,
{"tau":1e10,"order":40,"status":"WorkLimit"}
,
{"tau":1e10,"order":80,"status":"WorkLimit"}
,
{"tau":1e10,"order":160,"status":"WorkLimit"}
,
{"tau":1e10,"order":320,"status":"WorkLimit"}
,
{"tau":1e10,"order":1024,"status":"WorkLimit"}
,
{"tau":1e10,"order":4096,"status":"WorkLimit"}
,
{"tau":1e12,"order":0,"status":"WorkLimit"}
,
{"tau":1e12,"order":1,"status":"WorkLimit"}
,
{"tau":1e12,"order":2,"status":"WorkLimit"}
,
{"tau":1e12,"order":5,"status":"WorkLimit"}
,
{"tau":1e12,"order":20,"status":"WorkLimit"}
,
{"tau":1e12,"order":40,"status":"WorkLimit"}
,
{"tau":1e12,"order":80,"status":"WorkLimit"}
,
{"tau":1e12,"order":160,"status":"WorkLimit"}
,
{"tau":1e12,"order":320,"status":"WorkLimit"}
,
{"tau":1e12,"order":1024,"status":"WorkLimit"}
,
{"tau":1e12,"order":4096,"status":"WorkLimit"}
,
{"tau":3.4028235e38,"order":0,"status":"WorkLimit"}
,
{"tau":3.4028235e38,"order":1,"status":"WorkLimit"}
,
{"tau":3.4028235e38,"order":2,"status":"WorkLimit"}
,
{"tau":3.4028235e38,"order":5,"status":"WorkLimit"}
,
{"tau":3.4028235e38,"order":20,"status":"WorkLimit"}
,
{"tau":3.4028235e38,"order":40,"status":"WorkLimit"}
,
{"tau":3.4028235e38,"order":80,"status":"WorkLimit"}
,
{"tau":3.4028235e38,"order":160,"status":"WorkLimit"}
,
{"tau":3.4028235e38,"order":320,"status":"WorkLimit"}
,
{"tau":3.4028235e38,"order":1024,"status":"WorkLimit"}
,
{"tau":3.4028235e38,"order":4096,"status":"WorkLimit"}
],"accepted":264,"refused":33,"max_cross_order_fraction":0.00000000000000000e0,"max_steps":688165,"max_depth":688128,"max_rounds":2,"max_gap_fraction":3.92884766675130892e-1,"max_tail_estimate":2.80547371262519809e-13}