Decision #302 — src/lib.rs:898
Status: partial
Truth table
| row | c0 br 1701 | c1 br 1702 | outcome |
|---|---|---|---|
| 11739 | F | T | T |
| 13115 | F | T | T |
| 14440 | F | T | T |
| 47329 | F | F | F |
| 51457 | F | F | F |
| 55995 | F | F | F |
| 60253 | F | F | F |
| 87488 | F | T | T |
| 87489 | F | T | T |
| 91756 | F | T | T |
| 91757 | F | T | T |
| 97814 | F | T | T |
| 99332 | F | T | T |
| 100747 | F | T | T |
| 163065 | F | F | F |
| 164620 | F | F | F |
| 166342 | F | F | F |
Independent-effect pairs
c0(branch1701): GAP view gap →scry_analyze_core::compute_bit_facts· br_ifc1(branch1702): PROVED — pair rows11739,47329(unique-cause)scry_analyze_core::compute_bit_facts· br_if