file: ../logs/run_k4.jsonl
boxes 7261, all checks passed in 7261
boxes by (kind, sign): {('lpv', -1): 1216, ('lpv', 1): 3327, ('ms5', 1): 2718}
vertex certificates 21014 (by number of coordinates k: {2: 7472, 3: 9384, 4: 4158}), failures 0
vertices 171488, W1 envelope pieces checked by Bernstein 2127552
atom enclosures: exact monotone range 1784215, fallback (intersection of two enclosures) 361
min over certificates of P4 relative facet margin  1.240e-09  (p_2.json:19)
min over certificates of W2 margin h(0)/T-          4.521e-05  (p_35.json:511)
near-sphere tests 3017, failures 0, max ratio bound/T- 0.999741  (p_36.json:270)
structure errors 0, notes 0
piece counts: {'A3': 101, 'A4': 2533, 'A5': 383, 'SGrule_min(n2,khat)': 284, 'lpv': 4543, 'minus_SG_l0': 211, 'minus_SG_l1': 73, 'minus_TC_l0': 2507, 'minus_TC_l1': 1247, 'ms': 2718, 'node_l0': 2718, 'node_l1': 1247, 'plus_A_l0': 101, 'plus_A_l1': 534, 'plus_TCN_l0': 1247, 'plus_TCS_l0': 1438, 'plus_TCS_l1': 216, 'plus_TC_l0': 2681, 'plus_TC_l1': 2479}
summed per-box CPU time 274 s
