6bc00422539c32fee9cebd4af9c9f0e8  k5_verify.py
k5 verifier (RQ-AUD), data RQ-AUD/audit/rqa/k5_data: 4 cell files, 78 box files; 861 cells, 6553 boxes, kinds {(-1, 'lpv'): 1059, (1, 'lpv'): 2510, (1, 'ms'): 2984}
B  861 one-coordinate cells tile [U_LO,U_HI] x [0,A_S]: OK; inside True; area True
B  each of the 78 box files tiles its own region: failures 0
B  s=+1: 45 file regions inside True, overlapping pairs 0, volume fraction of [U_LO,U_HI]x[0,T8]x[1/4,1] covered 0.731805 => 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, 2s)

real	0m3.832s
user	0m4.009s
sys	0m0.603s
EXIT=0
