kinds: {'cell10f': 454, 'cell10f_3': 2618, 'comp3': 1151, 'ns': 216}
base cell10f record accepted: ['127/50', '64/25', '3/20', '1/5', '0', '1/20']
REJECTED (good): cell10f: c0 - (float W1 slack 1.04e-03 + 1e-4): W1
REJECTED (good): cell10f: c0 + W2 slack: W2f
REJECTED (good): cell10f: F - 1e-4: W2f
REJECTED (good): cell10f: a-box enlarged 9x in the last coordinate: W2f
REJECTED (good): cell10f: c10 < 0: deg
base cell10f_3 record accepted: ['9/20', '19/40', '9/20', '19/40', '57/320', '19/80']
REJECTED (good): cell10f_3: c0 - (float W1 slack 3.20e-03 + 1e-4): W1
REJECTED (good): cell10f_3: c0 + W2 slack: W2f
REJECTED (good): cell10f_3: F - 1e-4: W2f
REJECTED (good): cell10f_3: a-box enlarged 9x in the last coordinate: W2f
REJECTED (good): cell10f_3: c10 < 0: deg
base ns record accepted: ['87/160', '11/20', '43/80', '87/160', '671/1280', '341/640']
REJECTED (good): ns: all lower a-ends - 1/10: ns
base comp3 record accepted: ['127/50', '64/25'] ['43/80', '11/20', '7/16', '71/160', '567/1280', '9/20']
REJECTED (good): comp3: leading t -> -t: deg
REJECTED (good): comp3: t0 - 1: K1
REJECTED (good): comp3: a3lo - 1/10: K2
REJECTED (good): comp3: u-range extended 4x: K2
REJECTED (good): comp3: t1 * 3/2: K3
REJECTED (good): comp3: s3 -> -1: sign
REJECTED (good): comp3: last t dropped (odd degree): deg
REJECTED (good): comp3: a1-width x5: K3
REJECTED (good): phase-1 leaf removed: tiling
REJECTED (good): phase-1 leaf duplicated: tiling
REJECTED (good): phase-2 leaf removed: tiling
REJECTED (good): phase-2 leaf u-range doubled: tiling
REJECTED (good): phase-1 skipped box moved onto the domain: tiling
REJECTED (good): phase-1 cell sign flipped (tiling): tiling
REJECTED (good): phase-2 certified box declared empty: tiling
RESULT: 26/26 corruptions rejected -- ALL REJECTED
