Decision #941 — lib.rs:261
Status: partial
Truth table
| row | c0 br 6156 | c1 br 6157 | outcome |
|---|---|---|---|
| 33281 | T | T | T |
| 33282 | T | T | T |
| 33283 | F | * | F |
| 33284 | T | T | T |
| 33285 | T | T | T |
| 33286 | F | * | F |
| 54135 | T | T | T |
| 54136 | T | T | T |
| 54137 | F | * | F |
| 54138 | T | T | T |
| 54139 | T | T | T |
| 54140 | F | * | F |
| 73455 | F | * | F |
| 73456 | F | * | F |
| 83338 | F | * | F |
| 83339 | F | * | F |
| 125550 | F | * | F |
| 125551 | F | * | F |
| 142269 | F | * | F |
| 142270 | F | * | F |
| 237973 | T | T | T |
| 237974 | T | T | T |
| 237975 | F | * | F |
| 237976 | T | T | T |
| 237977 | T | T | T |
| 237978 | F | * | F |
| 315350 | T | T | T |
| 315351 | T | T | T |
| 315352 | F | * | F |
| 315353 | T | T | T |
| 315354 | T | T | T |
| 315355 | F | * | F |
Independent-effect pairs
c0(branch6156): PROVED — pair rows33281,33283(masking)<scry_poly::Poly>::leq· br_ifc1(branch6157): GAP view gap →<scry_poly::Poly>::leq· br_if