k5 verifier (RQ-AUD), data RQ-AUD/audit/rqa/k5_data: 4 cell files, 98 box files; 861 cells, 8820 boxes, kinds {(-1, 'lpv'): 1059, (1, 'lpv'): 3635, (1, 'ms'): 4126}
B  861 one-coordinate cells tile [U_LO,U_HI] x [0,A_S]: OK; inside True; area True
B  each of the 98 box files tiles its own region: failures 0
B  s=+1: 65 file regions inside True, overlapping pairs 0, volume fraction of [U_LO,U_HI]x[0,T8]x[1/4,1] covered 0.977012 => partial
B  s=-1: 33 file regions inside True, overlapping pairs 0, volume fraction of [U_LO,U_HI]x[0,T8]x[1/4,1] covered 1.000000 => FULL TILING
B  box kinds outside {lpv, ms}: []
RESULT: ALL CHECKS PASSED (parts B, 3s)

real	0m4.501s
user	0m4.456s
sys	0m0.825s
DONE-K5B102
