files: ['r1a.json', 'r1b.json', 'r1c.json', 'r1d.json', 'r2a.json', 'r2b.json', 'r3a.json', 'r3b.json']  cells: 379
variant=plus1: 379/379 cells pass; failures: 0
smallest sampled (V4) margin h: (4.4110676666528893e-07, 'r2b.json', '6088209/4000000', '321/400')
T1 CELLS: PASS
exit 0 elapsed 0 s
