Decision #44 — lib.rs:1978
Status: partial
Truth table
| row | c0 br 257 | c1 br 258 | c2 br 259 | c3 br 264 | outcome |
|---|---|---|---|---|---|
| 218 | F | T | * | F | F |
| 219 | F | T | * | F | F |
| 220 | F | T | * | F | F |
| 221 | F | T | * | F | F |
| 222 | F | T | * | F | F |
| 3258 | F | T | * | F | F |
| 3259 | F | T | * | F | F |
| 3260 | F | T | * | F | F |
| 3261 | F | T | * | F | F |
| 3262 | F | T | * | F | F |
| 6153 | F | T | * | F | F |
| 6154 | F | T | * | F | F |
| 6155 | F | T | * | F | F |
| 6156 | F | T | * | F | F |
| 6157 | F | T | * | F | F |
| 9471 | F | T | * | F | F |
| 10619 | F | T | * | F | F |
| 11710 | F | T | * | F | F |
| 13135 | F | T | * | F | F |
| 20853 | F | T | * | F | F |
| 28345 | F | T | * | F | F |
| 34283 | F | T | * | F | F |
| 40261 | F | T | * | F | F |
| 40262 | F | T | * | F | F |
| 40263 | F | T | * | F | F |
| 40264 | F | T | * | F | F |
| 40265 | F | T | * | F | F |
| 43229 | F | T | * | F | F |
| 43230 | F | T | * | F | F |
| 43231 | F | T | * | F | F |
| 43232 | F | T | * | F | F |
| 43233 | F | T | * | F | F |
| 46682 | F | T | * | F | F |
| 46683 | F | T | * | F | F |
| 46684 | F | T | * | F | F |
| 46685 | F | T | * | F | F |
| 46686 | F | T | * | F | F |
| 49801 | F | T | * | F | F |
| 49802 | F | T | * | F | F |
| 49803 | F | T | * | F | F |
| 49804 | F | T | * | F | F |
| 49805 | F | T | * | F | F |
| 52914 | F | T | * | F | F |
| 62686 | F | T | * | F | F |
| 72344 | F | T | * | F | F |
| 72345 | F | T | * | F | F |
| 72346 | F | T | * | F | F |
| 72347 | F | T | * | F | F |
| 72348 | F | T | * | F | F |
| 72349 | F | T | * | F | F |
| 75819 | F | T | * | F | F |
| 75820 | F | T | * | F | F |
| 75821 | F | T | * | F | F |
| 75822 | F | T | * | F | F |
| 75823 | F | T | * | F | F |
| 75824 | F | T | * | F | F |
| 79129 | F | T | * | * | T |
| 79130 | F | T | * | * | T |
| 79131 | F | T | * | * | T |
| 80699 | F | T | * | F | F |
| 81886 | F | T | * | F | F |
| 82948 | F | T | * | F | F |
| 84132 | F | F | T | * | T |
| 85462 | F | F | T | * | T |
| 85463 | F | F | T | * | T |
| 85464 | F | F | T | * | T |
| 87533 | F | F | T | * | T |
| 88767 | F | F | T | * | T |
| 88768 | F | F | T | * | T |
| 90754 | F | F | T | * | T |
| 92393 | F | T | * | F | F |
| 111256 | F | T | * | F | F |
| 129937 | F | T | * | F | F |
| 131096 | F | T | * | F | F |
| 132423 | F | T | * | F | F |
Independent-effect pairs
All 4 conditions live in scry_analyze_core::extract_results — 4 br_if
c0(branch257): GAP view gap →c1(branch258): PROVED — pair rows218,84132(masking)c2(branch259): GAP view gap →c3(branch264): GAP view gap →