lp  uncorrupted sample accepted: 120/120
lp  c0          : rejected 0/120; float (W1) violation found in 0; accepted despite a violation: 0 (info)
lp  c6          : rejected 113/120; float (W1) violation found in 112; accepted despite a violation: 0 (info)
lp  r_down      : rejected 117/117; float (W1) violation found in 117; accepted despite a violation: 0 (info)
lp  sign        : rejected 86/120; float (W1) violation found in 64; accepted despite a violation: 0 (info)
lp  u_down      : rejected 38/120 (info)
lp  target_1e-3 : rejected 14/120 (info)
lp  target_1e-2 : rejected 86/120 (info)
nc  uncorrupted sample accepted: 120/120
nc  r_down      : rejected 119/120 (info)
nc  u_to_2      : rejected 0/120 (info)
nc  target_1e-2 : rejected 0/120 (info)
ms  uncorrupted sample accepted: 120/120
ms  mc_down           : rejected 120/120
ms  top_removed       : rejected 120/120
ms  top_halved        : rejected 120/120
ms  pstar_down        : rejected 120/120 (info)
ms  c2_c0             : rejected 0/120 (info)
ms  c1_c0             : rejected 120/120 (info)
ms  neg_mc            : rejected 120/120
ms  r_down            : rejected 120/120 (info)
ms  t_down            : rejected 120/120 (info)
ms  mc_up             : rejected 115/120 (info)
ms  target_1e-2       : rejected 119/120 (info)
ms  pieces_only_u_down: rejected 57/120 (info)
one uncorrupted sample accepted: 120/120
one c0          : rejected 120/120 (info)
one a_wide      : rejected 120/120 (info)
one S3_1.70     : rejected 120/120 (info)
one target_1e-2 : rejected 113/120 (info)
tiling s=-1, one box removed: accepted False
tiling s=-1, one box shifted 1e-4 in t: accepted False
tiling s=-1, one box duplicated: accepted False
three-bit claim (k=3) fails at q3 + 1/1000 for OR_2: True
three-bit claim (k=3) on [1/100, 25/169] (info: no lower end from three bits): failures 0
RESULT: ALL NEGATIVE TESTS BEHAVE AS REQUIRED (13s)

real	0m13.124s
user	0m22.478s
sys	0m0.363s
