file: ../logs/run_k5.jsonl
boxes 9166, all checks passed in 9166
boxes by (kind, sign): {('lpv', -1): 1059, ('lpv', 1): 3804, ('ms', 1): 4303}
vertex certificates 52292 (by number of coordinates k: {2: 9168, 3: 14735, 4: 17399, 5: 10990}), failures 0
vertices 784616, W1 envelope pieces checked by Bernstein 18366864
atom enclosures: exact monotone range 16792456, fallback (intersection of two enclosures) 5176
min over certificates of P4 relative facet margin  1.236e-09  (p_32s7.json:40)
min over certificates of W2 margin h(0)/T-          3.643e-05  (p_11.json:25)
near-sphere tests 4029, failures 0, max ratio bound/T- 0.999808  (p_27s2.json:27)
structure errors 0, notes 0
piece counts: {'A4': 185, 'A5': 3200, 'A6': 644, 'SGrule_min(n2,khat)': 2, 'lpv': 4863, 'minus_SG_l0': 2, 'minus_TC_l0': 4301, 'minus_TC_l1': 4873, 'minus_TC_l2': 3958, 'ms': 4303, 'node_l0': 4303, 'node_l1': 4873, 'node_l2': 3958, 'plus_A_l1': 127, 'plus_A_l2': 1431, 'plus_TCN_l0': 4873, 'plus_TCN_l1': 3958, 'plus_TCS_l0': 58, 'plus_TCS_l1': 1400, 'plus_TCS_l2': 396, 'plus_TC_l0': 5445, 'plus_TC_l1': 5768, 'plus_TC_l2': 6240}
summed per-box CPU time 3894 s
