range 0..20000 checked=16703 ok=16703 bad=0 maxE=368 stats=[(('F1', 'pres'), 15330), (('F2', 'pres'), 771), (('F3', 'pres'), 602)] time=6.9s
