A.37 k5 table check (RQ-AUD), data RQ-AUD/audit/rqa/k5_data
kinds {(-1, 'lpv'): 1059, (1, 'lpv'): 3804, (1, 'ms'): 4303}
widths in u: min 0.00086, max 0.01000
widths in t: min 0.01294, max 0.10355
widths in r: min 0.02344, max 0.09375
heights of ms trees {0: 2017, 1: 809, 2: 1348, 3: 129} ; height >= 1: 2157
nodes per level {0: 4303, 1: 4873, 2: 3958}
cuts level 0: 2/5 (1335), 7/20 (1330), 9/20 (1034), 1/2 (592), 3/10 (10), 3/4 (2)
cuts level 1: 1/2 (1281), 11/20 (1094), 13/20 (902), 9/20 (825), 3/5 (771)
cuts level 2: 13/20 (3913), 3/5 (45)
pieces level 0 minus: {'SG': 2, 'TC': 4301}
pieces level 0 plus: {'TC': 5445, 'TCN': 4873, 'TCS': 58}
pieces level 1 minus: {'TC': 4873}
pieces level 1 plus: {'(A4)': 127, 'TC': 5768, 'TCN': 3958, 'TCS': 1400}
pieces level 2 minus: {'TC': 3958}
pieces level 2 plus: {'(A5)': 1431, 'TC': 6240, 'TCS': 396}
TCS m_c' values {'17/20': 1854}
TCS sub-pieces at level 0: {'A4': 58}
TCS sub-pieces at level 1: {'A5': 1769}
TCS sub-pieces at level 2: {'A6': 644}
vertex-certificate sets 52292 {'lpv': 4863, 'node': 13134, 'piece': 34295} ; split nodes 47429
vertices 784616 ; sets by number of patch parameters {2: 9168, 3: 14735, 4: 17399, 5: 10990} ; shape problems 0
vertex polynomial degrees {6: 760290, 10: 24326}
4-coordinate near-sphere pieces: 123 boxes, u from 2.9106 to 3.0900
5-coordinate near-sphere pieces: 930 boxes, u from 2.9106 to 3.2369
6-coordinate near-sphere pieces: 129 boxes, u from 3.1300 to 3.2369
time 3.1 s
