Decision #29 — lib.rs:2521
Status: partial
Truth table
| row | c0 br 214 | c1 br 215 | outcome |
|---|---|---|---|
| 107 | F | F | F |
| 108 | F | F | F |
| 109 | F | F | F |
| 110 | F | T | T |
| 111 | F | T | T |
| 112 | F | T | T |
| 113 | F | F | F |
| 114 | F | T | T |
| 115 | F | T | T |
| 116 | F | T | T |
| 117 | F | F | F |
| 3147 | F | F | F |
| 3148 | F | F | F |
| 3149 | F | F | F |
| 3150 | F | T | T |
| 3151 | F | T | T |
| 3152 | F | T | T |
| 3153 | F | F | F |
| 3154 | F | T | T |
| 3155 | F | T | T |
| 3156 | F | T | T |
| 3157 | F | F | F |
| 6042 | F | F | F |
| 6043 | F | F | F |
| 6044 | F | F | F |
| 6045 | F | T | T |
| 6046 | F | T | T |
| 6047 | F | T | T |
| 6048 | F | F | F |
| 6049 | F | T | T |
| 6050 | F | T | T |
| 6051 | F | T | T |
| 6052 | F | F | F |
| 9449 | F | F | F |
| 10597 | F | F | F |
| 11688 | F | F | F |
| 12888 | F | F | F |
| 20606 | F | F | F |
| 28275 | F | F | F |
| 34213 | F | F | F |
| 40123 | F | F | F |
| 40124 | F | T | T |
| 40125 | F | F | F |
| 40126 | F | T | T |
| 40127 | F | F | F |
| 43091 | F | F | F |
| 43092 | F | T | T |
| 43093 | F | F | F |
| 43094 | F | T | T |
| 43095 | F | F | F |
| 46544 | F | F | F |
| 46545 | F | T | T |
| 46546 | F | F | F |
| 46547 | F | T | T |
| 46548 | F | F | F |
| 49663 | F | F | F |
| 49664 | F | T | T |
| 49665 | F | F | F |
| 49666 | F | T | T |
| 49667 | F | F | F |
| 52651 | F | F | F |
| 62423 | F | F | F |
| 72241 | F | F | F |
| 72242 | F | F | F |
| 72243 | F | F | F |
| 72244 | F | F | F |
| 72245 | F | F | F |
| 72246 | F | F | F |
| 75716 | F | F | F |
| 75717 | F | F | F |
| 75718 | F | F | F |
| 75719 | F | F | F |
| 75720 | F | F | F |
| 75721 | F | F | F |
| 79094 | F | T | T |
| 79095 | F | F | F |
| 79096 | F | F | F |
| 79097 | F | F | F |
| 80679 | F | F | F |
| 81866 | F | F | F |
| 82928 | F | F | F |
| 84122 | F | F | F |
| 85428 | F | F | F |
| 85429 | F | T | T |
| 85430 | F | F | F |
| 85431 | F | T | T |
| 85432 | F | F | F |
| 87523 | F | F | F |
| 88745 | F | F | F |
| 88746 | F | T | T |
| 88747 | F | F | F |
| 90741 | F | T | T |
| 90742 | F | F | F |
| 92250 | F | F | F |
| 111113 | F | F | F |
| 129891 | F | F | F |
| 131050 | F | F | F |
| 132377 | F | F | F |
Independent-effect pairs
c0(branch214): GAP view gap →scry_analyze_core::tarjan_sccs· br_ifc1(branch215): PROVED — pair rows107,110(unique-cause)scry_analyze_core::tarjan_sccs· br_if