Decision #775 — library/alloc/src/raw_vec/mod.rs:435
Status: partial
Truth table
| row | c0 br 5185 | c1 br 5186 | c2 br 5188 | outcome |
|---|---|---|---|---|
| 22065 | T | * | * | T |
| 22066 | T | * | * | T |
| 22067 | T | * | * | T |
| 22068 | T | F | F | F |
| 22069 | * | F | F | F |
| 22070 | * | F | F | F |
| 22071 | * | F | F | F |
| 22072 | * | T | * | T |
| 22073 | * | F | F | F |
| 22074 | * | F | F | F |
| 22075 | * | F | F | F |
| 22076 | * | F | F | F |
| 22077 | * | T | * | T |
| 22078 | * | F | F | F |
| 22079 | * | F | F | F |
| 22080 | * | F | F | F |
| 22081 | * | F | F | F |
| 22082 | * | T | * | T |
| 22083 | * | F | F | F |
| 22084 | * | F | F | F |
| 22085 | * | F | F | F |
| 22086 | * | F | F | F |
| 22087 | * | T | * | T |
| 22088 | T | * | * | T |
| 22089 | T | * | * | T |
| 22090 | T | * | * | T |
| 22091 | T | F | F | F |
| 22092 | * | F | F | F |
| 22093 | * | F | F | F |
| 22094 | * | F | F | F |
| 22095 | * | T | * | T |
| 22096 | * | F | F | F |
| 22097 | * | F | F | F |
| 22098 | * | F | F | F |
| 22099 | * | F | F | F |
| 22100 | * | T | * | T |
| 22101 | * | F | F | F |
| 22102 | * | F | F | F |
| 22103 | * | F | F | F |
| 22104 | * | F | F | F |
| 22105 | * | T | * | T |
| 22106 | * | F | F | F |
| 22107 | * | F | F | F |
| 22108 | * | F | F | F |
| 22109 | * | F | F | F |
| 22110 | * | T | * | T |
| 31543 | T | * | * | T |
| 31544 | T | * | * | T |
| 31545 | T | * | * | T |
| 31546 | T | F | F | F |
| 31547 | * | F | F | F |
| 31548 | * | F | F | F |
| 31549 | * | F | F | F |
| 31550 | * | T | * | T |
| 31551 | * | F | F | F |
| 31552 | * | F | F | F |
| 31553 | * | F | F | F |
| 31554 | * | F | F | F |
| 31555 | * | T | * | T |
| 31556 | * | F | F | F |
| 31557 | * | F | F | F |
| 31558 | * | F | F | F |
| 31559 | * | F | F | F |
| 31560 | * | T | * | T |
| 31561 | * | F | F | F |
| 31562 | * | F | F | F |
| 31563 | * | F | F | F |
| 31564 | * | F | F | F |
| 31565 | * | T | * | T |
| 31566 | T | * | * | T |
| 31567 | T | * | * | T |
| 31568 | T | * | * | T |
| 31569 | T | F | F | F |
| 31570 | * | F | F | F |
| 31571 | * | F | F | F |
| 31572 | * | F | F | F |
| 31573 | * | T | * | T |
| 31574 | * | F | F | F |
| 31575 | * | F | F | F |
| 31576 | * | F | F | F |
| 31577 | * | F | F | F |
| 31578 | * | T | * | T |
| 31579 | * | F | F | F |
| 31580 | * | F | F | F |
| 31581 | * | F | F | F |
| 31582 | * | F | F | F |
| 31583 | * | T | * | T |
| 31584 | * | F | F | F |
| 31585 | * | F | F | F |
| 31586 | * | F | F | F |
| 31587 | * | F | F | F |
| 31588 | * | T | * | T |
| 37852 | T | * | * | T |
| 37853 | T | F | F | F |
| 37854 | * | F | F | F |
| 37855 | * | T | * | T |
| 37856 | * | F | F | F |
| 37857 | * | F | F | F |
| 37858 | * | T | * | T |
| 37859 | T | * | * | T |
| 37860 | T | F | F | F |
| 37861 | * | F | F | F |
| 37862 | * | T | * | T |
| 37863 | * | F | F | F |
| 37864 | * | F | F | F |
| 37865 | * | T | * | T |
| 44065 | T | * | * | T |
| 44066 | T | F | F | F |
| 44067 | * | F | F | F |
| 44068 | * | T | * | T |
| 44069 | * | F | F | F |
| 44070 | * | F | F | F |
| 44071 | * | T | * | T |
| 44072 | T | * | * | T |
| 44073 | T | F | F | F |
| 44074 | * | F | F | F |
| 44075 | * | T | * | T |
| 44076 | * | F | F | F |
| 44077 | * | F | F | F |
| 44078 | * | T | * | T |
| 72073 | T | * | * | T |
| 72074 | T | * | * | T |
| 72075 | T | * | * | T |
| 72076 | T | F | F | F |
| 72077 | * | F | F | F |
| 72078 | * | F | F | F |
| 72079 | * | F | F | F |
| 72080 | * | T | * | T |
| 72081 | * | F | F | F |
| 72082 | * | F | F | F |
| 72083 | * | F | F | F |
| 72084 | * | F | F | F |
| 72085 | * | T | * | T |
| 72086 | * | F | F | F |
| 72087 | * | F | F | F |
| 72088 | * | F | F | F |
| 72089 | * | F | F | F |
| 72090 | * | T | * | T |
| 72091 | * | F | F | F |
| 72092 | * | F | F | F |
| 72093 | * | F | F | F |
| 72094 | * | F | F | F |
| 72095 | * | T | * | T |
| 72096 | T | * | * | T |
| 72097 | T | * | * | T |
| 72098 | T | * | * | T |
| 72099 | T | F | F | F |
| 72100 | * | F | F | F |
| 72101 | * | F | F | F |
| 72102 | * | F | F | F |
| 72103 | * | T | * | T |
| 72104 | * | F | F | F |
| 72105 | * | F | F | F |
| 72106 | * | F | F | F |
| 72107 | * | F | F | F |
| 72108 | * | T | * | T |
| 72109 | * | F | F | F |
| 72110 | * | F | F | F |
| 72111 | * | F | F | F |
| 72112 | * | F | F | F |
| 72113 | * | T | * | T |
| 72114 | * | F | F | F |
| 72115 | * | F | F | F |
| 72116 | * | F | F | F |
| 72117 | * | F | F | F |
| 72118 | * | T | * | T |
| 83586 | T | * | * | T |
| 83587 | T | * | * | T |
| 83588 | T | * | * | T |
| 83589 | T | F | F | F |
| 83590 | * | F | F | F |
| 83591 | * | F | F | F |
| 83592 | * | F | F | F |
| 83593 | * | T | * | T |
| 83594 | * | F | F | F |
| 83595 | * | F | F | F |
| 83596 | * | F | F | F |
| 83597 | * | F | F | F |
| 83598 | * | T | * | T |
| 83599 | * | F | F | F |
| 83600 | * | F | F | F |
| 83601 | * | F | F | F |
| 83602 | * | F | F | F |
| 83603 | * | T | * | T |
| 83604 | * | F | F | F |
| 83605 | * | F | F | F |
| 83606 | * | F | F | F |
| 83607 | * | F | F | F |
| 83608 | * | T | * | T |
| 83609 | T | * | * | T |
| 83610 | T | * | * | T |
| 83611 | T | * | * | T |
| 83612 | T | F | F | F |
| 83613 | * | F | F | F |
| 83614 | * | F | F | F |
| 83615 | * | F | F | F |
| 83616 | * | T | * | T |
| 83617 | * | F | F | F |
| 83618 | * | F | F | F |
| 83619 | * | F | F | F |
| 83620 | * | F | F | F |
| 83621 | * | T | * | T |
| 83622 | * | F | F | F |
| 83623 | * | F | F | F |
| 83624 | * | F | F | F |
| 83625 | * | F | F | F |
| 83626 | * | T | * | T |
| 83627 | * | F | F | F |
| 83628 | * | F | F | F |
| 83629 | * | F | F | F |
| 83630 | * | F | F | F |
| 83631 | * | T | * | T |
| 134237 | T | * | * | T |
| 134238 | T | * | * | T |
| 134239 | T | * | * | T |
| 134240 | T | F | F | F |
| 134241 | * | F | F | F |
| 134242 | * | F | F | F |
| 134243 | * | F | F | F |
| 134244 | * | T | * | T |
| 134245 | * | F | F | F |
| 134246 | * | F | F | F |
| 134247 | * | F | F | F |
| 134248 | * | F | F | F |
| 134249 | * | T | * | T |
| 134250 | * | F | F | F |
| 134251 | * | F | F | F |
| 134252 | * | F | F | F |
| 134253 | * | F | F | F |
| 134254 | * | T | * | T |
| 134255 | * | F | F | F |
| 134256 | * | F | F | F |
| 134257 | * | F | F | F |
| 134258 | * | F | F | F |
| 134259 | * | T | * | T |
| 134260 | T | * | * | T |
| 134261 | T | * | * | T |
| 134262 | T | * | * | T |
| 134263 | T | F | F | F |
| 134264 | * | F | F | F |
| 134265 | * | F | F | F |
| 134266 | * | F | F | F |
| 134267 | * | T | * | T |
| 134268 | * | F | F | F |
| 134269 | * | F | F | F |
| 134270 | * | F | F | F |
| 134271 | * | F | F | F |
| 134272 | * | T | * | T |
| 134273 | * | F | F | F |
| 134274 | * | F | F | F |
| 134275 | * | F | F | F |
| 134276 | * | F | F | F |
| 134277 | * | T | * | T |
| 134278 | * | F | F | F |
| 134279 | * | F | F | F |
| 134280 | * | F | F | F |
| 134281 | * | F | F | F |
| 134282 | * | T | * | T |
| 157173 | T | * | * | T |
| 157174 | T | * | * | T |
| 157175 | T | * | * | T |
| 157176 | T | F | F | F |
| 157177 | * | F | F | F |
| 157178 | * | F | F | F |
| 157179 | * | F | F | F |
| 157180 | * | T | * | T |
| 157181 | * | F | F | F |
| 157182 | * | F | F | F |
| 157183 | * | F | F | F |
| 157184 | * | F | F | F |
| 157185 | * | T | * | T |
| 157186 | * | F | F | F |
| 157187 | * | F | F | F |
| 157188 | * | F | F | F |
| 157189 | * | F | F | F |
| 157190 | * | T | * | T |
| 157191 | * | F | F | F |
| 157192 | * | F | F | F |
| 157193 | * | F | F | F |
| 157194 | * | F | F | F |
| 157195 | * | T | * | T |
| 157196 | T | * | * | T |
| 157197 | T | * | * | T |
| 157198 | T | * | * | T |
| 157199 | T | F | F | F |
| 157200 | * | F | F | F |
| 157201 | * | F | F | F |
| 157202 | * | F | F | F |
| 157203 | * | T | * | T |
| 157204 | * | F | F | F |
| 157205 | * | F | F | F |
| 157206 | * | F | F | F |
| 157207 | * | F | F | F |
| 157208 | * | T | * | T |
| 157209 | * | F | F | F |
| 157210 | * | F | F | F |
| 157211 | * | F | F | F |
| 157212 | * | F | F | F |
| 157213 | * | T | * | T |
| 157214 | * | F | F | F |
| 157215 | * | F | F | F |
| 157216 | * | F | F | F |
| 157217 | * | F | F | F |
| 157218 | * | T | * | T |
Independent-effect pairs
All 3 conditions live in scry_octagon::leq — 3 br_if
c0(branch5185): GAP view gap →c1(branch5186): PROVED — pair rows22068,22072(masking)c2(branch5188): GAP view gap →