Decision #943 — library/alloc/src/raw_vec/mod.rs:470
Status: partial
Truth table
| row | c0 br 6162 | c1 br 6163 | outcome |
|---|---|---|---|
| 33311 | T | * | T |
| 33312 | F | F | F |
| 33313 | T | * | T |
| 33314 | F | F | F |
| 33315 | T | * | T |
| 33316 | F | F | F |
| 33317 | T | * | T |
| 33318 | F | F | F |
| 33319 | T | * | T |
| 33320 | F | F | F |
| 33321 | T | * | T |
| 33322 | F | F | F |
| 33323 | T | * | T |
| 33324 | F | F | F |
| 33325 | T | * | T |
| 33326 | F | F | F |
| 33327 | T | * | T |
| 33328 | F | F | F |
| 33329 | T | * | T |
| 33330 | F | F | F |
| 33331 | T | * | T |
| 33332 | F | F | F |
| 33333 | T | * | T |
| 33334 | F | F | F |
| 54165 | T | * | T |
| 54166 | F | F | F |
| 54167 | T | * | T |
| 54168 | F | F | F |
| 54169 | T | * | T |
| 54170 | F | F | F |
| 54171 | T | * | T |
| 54172 | F | F | F |
| 54173 | T | * | T |
| 54174 | F | F | F |
| 54175 | T | * | T |
| 54176 | F | F | F |
| 54177 | T | * | T |
| 54178 | F | F | F |
| 54179 | T | * | T |
| 54180 | F | F | F |
| 54181 | T | * | T |
| 54182 | F | F | F |
| 54183 | T | * | T |
| 54184 | F | F | F |
| 54185 | T | * | T |
| 54186 | F | F | F |
| 54187 | T | * | T |
| 54188 | F | F | F |
| 238141 | T | * | T |
| 238142 | F | F | F |
| 238143 | T | * | T |
| 238144 | F | F | F |
| 238145 | T | * | T |
| 238146 | T | * | T |
| 238147 | T | * | T |
| 238148 | F | F | F |
| 238149 | T | * | T |
| 238150 | F | F | F |
| 238151 | T | * | T |
| 238152 | T | * | T |
| 238153 | F | F | F |
| 238154 | T | * | T |
| 238155 | F | F | F |
| 238156 | T | * | T |
| 238157 | F | F | F |
| 238158 | T | * | T |
| 238159 | T | * | T |
| 238160 | T | * | T |
| 238161 | F | F | F |
| 238162 | T | * | T |
| 238163 | F | F | F |
| 238164 | T | * | T |
| 238165 | T | * | T |
| 238166 | F | F | F |
| 238167 | T | * | T |
| 238168 | F | F | F |
| 238169 | T | * | T |
| 238170 | F | F | F |
| 238171 | T | * | T |
| 238172 | T | * | T |
| 238173 | T | * | T |
| 238174 | F | F | F |
| 238175 | T | * | T |
| 238176 | F | F | F |
| 238177 | T | * | T |
| 238178 | T | * | T |
| 238179 | F | F | F |
| 238180 | T | * | T |
| 238181 | F | F | F |
| 238182 | T | * | T |
| 238183 | F | F | F |
| 238184 | T | * | T |
| 238185 | T | * | T |
| 238186 | T | * | T |
| 238187 | F | F | F |
| 238188 | T | * | T |
| 238189 | F | F | F |
| 238190 | T | * | T |
| 238191 | T | * | T |
| 238192 | F | F | F |
| 238193 | T | * | T |
| 238194 | F | F | F |
| 238195 | T | * | T |
| 238196 | F | F | F |
| 238197 | T | * | T |
| 238198 | T | * | T |
| 238199 | T | * | T |
| 238200 | F | F | F |
| 238201 | T | * | T |
| 238202 | F | F | F |
| 238203 | T | * | T |
| 238204 | T | * | T |
| 238205 | F | F | F |
| 238206 | T | * | T |
| 238207 | F | F | F |
| 238208 | T | * | T |
| 238209 | F | F | F |
| 238210 | T | * | T |
| 238211 | T | * | T |
| 238212 | T | * | T |
| 238213 | F | F | F |
| 238214 | T | * | T |
| 238215 | F | F | F |
| 238216 | T | * | T |
| 238217 | T | * | T |
| 238218 | F | F | F |
| 238219 | T | * | T |
| 238220 | F | F | F |
| 238221 | T | * | T |
| 238222 | F | F | F |
| 238223 | T | * | T |
| 238224 | T | * | T |
| 238225 | T | * | T |
| 238226 | F | F | F |
| 238227 | T | * | T |
| 238228 | F | F | F |
| 238229 | T | * | T |
| 238230 | T | * | T |
| 238231 | F | F | F |
| 238232 | T | * | T |
| 238233 | T | * | T |
| 238234 | T | * | T |
| 238235 | F | F | F |
| 238236 | T | * | T |
| 238237 | F | F | F |
| 238238 | T | * | T |
| 238239 | T | * | T |
| 238240 | F | F | F |
| 238241 | T | * | T |
| 238242 | F | F | F |
| 238243 | T | * | T |
| 238244 | F | F | F |
| 238245 | T | * | T |
| 238246 | T | * | T |
| 238247 | T | * | T |
| 238248 | F | F | F |
| 238249 | T | * | T |
| 238250 | F | F | F |
| 238251 | T | * | T |
| 238252 | T | * | T |
| 238253 | T | * | T |
| 238254 | F | F | F |
| 238255 | T | * | T |
| 238256 | F | F | F |
| 238257 | T | * | T |
| 238258 | T | * | T |
| 238259 | F | F | F |
| 238260 | T | * | T |
| 238261 | F | F | F |
| 238262 | T | * | T |
| 238263 | F | F | F |
| 238264 | T | * | T |
| 238265 | T | * | T |
| 238266 | T | * | T |
| 238267 | F | F | F |
| 238268 | T | * | T |
| 238269 | F | F | F |
| 238270 | T | * | T |
| 238271 | T | * | T |
| 238272 | F | F | F |
| 238273 | T | * | T |
| 238274 | F | F | F |
| 238275 | T | * | T |
| 238276 | F | F | F |
| 238277 | T | * | T |
| 238278 | T | * | T |
| 238279 | T | * | T |
| 238280 | F | F | F |
| 238281 | T | * | T |
| 238282 | F | F | F |
| 238283 | T | * | T |
| 238284 | T | * | T |
| 238285 | F | F | F |
| 238286 | T | * | T |
| 238287 | F | F | F |
| 238288 | T | * | T |
| 238289 | F | F | F |
| 238290 | T | * | T |
| 238291 | T | * | T |
| 238292 | T | * | T |
| 238293 | F | F | F |
| 238294 | T | * | T |
| 238295 | F | F | F |
| 238296 | T | * | T |
| 238297 | T | * | T |
| 238298 | F | F | F |
| 238299 | T | * | T |
| 238300 | F | F | F |
| 238301 | T | * | T |
| 238302 | F | F | F |
| 238303 | T | * | T |
| 238304 | T | * | T |
| 238305 | T | * | T |
| 238306 | F | F | F |
| 238307 | T | * | T |
| 238308 | F | F | F |
| 238309 | T | * | T |
| 238310 | T | * | T |
| 238311 | F | F | F |
| 238312 | T | * | T |
| 238313 | F | F | F |
| 238314 | T | * | T |
| 238315 | F | F | F |
| 238316 | T | * | T |
| 238317 | T | * | T |
| 238318 | T | * | T |
| 238319 | F | F | F |
| 238320 | T | * | T |
| 238321 | F | F | F |
| 238322 | T | * | T |
| 238323 | T | * | T |
| 238324 | F | F | F |
| 238325 | T | * | T |
| 238326 | F | F | F |
| 238327 | T | * | T |
| 238328 | F | F | F |
| 238329 | T | * | T |
| 238330 | T | * | T |
| 238331 | T | * | T |
| 238332 | F | F | F |
| 238333 | T | * | T |
| 238334 | F | F | F |
| 238335 | T | * | T |
| 238336 | T | * | T |
| 238337 | F | F | F |
| 238338 | T | * | T |
| 238339 | T | * | T |
| 238340 | T | * | T |
| 238341 | F | F | F |
| 238342 | T | * | T |
| 238343 | F | F | F |
| 238344 | T | * | T |
| 238345 | T | * | T |
| 238346 | F | F | F |
| 238347 | T | * | T |
| 238348 | F | F | F |
| 238349 | T | * | T |
| 238350 | F | F | F |
| 238351 | T | * | T |
| 238352 | T | * | T |
| 315518 | T | * | T |
| 315519 | F | F | F |
| 315520 | T | * | T |
| 315521 | F | F | F |
| 315522 | T | * | T |
| 315523 | T | * | T |
| 315524 | T | * | T |
| 315525 | F | F | F |
| 315526 | T | * | T |
| 315527 | F | F | F |
| 315528 | T | * | T |
| 315529 | T | * | T |
| 315530 | F | F | F |
| 315531 | T | * | T |
| 315532 | F | F | F |
| 315533 | T | * | T |
| 315534 | F | F | F |
| 315535 | T | * | T |
| 315536 | T | * | T |
| 315537 | T | * | T |
| 315538 | F | F | F |
| 315539 | T | * | T |
| 315540 | F | F | F |
| 315541 | T | * | T |
| 315542 | T | * | T |
| 315543 | F | F | F |
| 315544 | T | * | T |
| 315545 | F | F | F |
| 315546 | T | * | T |
| 315547 | F | F | F |
| 315548 | T | * | T |
| 315549 | T | * | T |
| 315550 | T | * | T |
| 315551 | F | F | F |
| 315552 | T | * | T |
| 315553 | F | F | F |
| 315554 | T | * | T |
| 315555 | T | * | T |
| 315556 | F | F | F |
| 315557 | T | * | T |
| 315558 | F | F | F |
| 315559 | T | * | T |
| 315560 | F | F | F |
| 315561 | T | * | T |
| 315562 | T | * | T |
| 315563 | T | * | T |
| 315564 | F | F | F |
| 315565 | T | * | T |
| 315566 | F | F | F |
| 315567 | T | * | T |
| 315568 | T | * | T |
| 315569 | F | F | F |
| 315570 | T | * | T |
| 315571 | F | F | F |
| 315572 | T | * | T |
| 315573 | F | F | F |
| 315574 | T | * | T |
| 315575 | T | * | T |
| 315576 | T | * | T |
| 315577 | F | F | F |
| 315578 | T | * | T |
| 315579 | F | F | F |
| 315580 | T | * | T |
| 315581 | T | * | T |
| 315582 | F | F | F |
| 315583 | T | * | T |
| 315584 | F | F | F |
| 315585 | T | * | T |
| 315586 | F | F | F |
| 315587 | T | * | T |
| 315588 | T | * | T |
| 315589 | T | * | T |
| 315590 | F | F | F |
| 315591 | T | * | T |
| 315592 | F | F | F |
| 315593 | T | * | T |
| 315594 | T | * | T |
| 315595 | F | F | F |
| 315596 | T | * | T |
| 315597 | F | F | F |
| 315598 | T | * | T |
| 315599 | F | F | F |
| 315600 | T | * | T |
| 315601 | T | * | T |
| 315602 | T | * | T |
| 315603 | F | F | F |
| 315604 | T | * | T |
| 315605 | F | F | F |
| 315606 | T | * | T |
| 315607 | T | * | T |
| 315608 | F | F | F |
| 315609 | T | * | T |
| 315610 | T | * | T |
| 315611 | T | * | T |
| 315612 | F | F | F |
| 315613 | T | * | T |
| 315614 | F | F | F |
| 315615 | T | * | T |
| 315616 | T | * | T |
| 315617 | F | F | F |
| 315618 | T | * | T |
| 315619 | F | F | F |
| 315620 | T | * | T |
| 315621 | F | F | F |
| 315622 | T | * | T |
| 315623 | T | * | T |
| 315624 | T | * | T |
| 315625 | F | F | F |
| 315626 | T | * | T |
| 315627 | F | F | F |
| 315628 | T | * | T |
| 315629 | T | * | T |
| 315630 | T | * | T |
| 315631 | F | F | F |
| 315632 | T | * | T |
| 315633 | F | F | F |
| 315634 | T | * | T |
| 315635 | T | * | T |
| 315636 | F | F | F |
| 315637 | T | * | T |
| 315638 | F | F | F |
| 315639 | T | * | T |
| 315640 | F | F | F |
| 315641 | T | * | T |
| 315642 | T | * | T |
| 315643 | T | * | T |
| 315644 | F | F | F |
| 315645 | T | * | T |
| 315646 | F | F | F |
| 315647 | T | * | T |
| 315648 | T | * | T |
| 315649 | F | F | F |
| 315650 | T | * | T |
| 315651 | F | F | F |
| 315652 | T | * | T |
| 315653 | F | F | F |
| 315654 | T | * | T |
| 315655 | T | * | T |
| 315656 | T | * | T |
| 315657 | F | F | F |
| 315658 | T | * | T |
| 315659 | F | F | F |
| 315660 | T | * | T |
| 315661 | T | * | T |
| 315662 | F | F | F |
| 315663 | T | * | T |
| 315664 | F | F | F |
| 315665 | T | * | T |
| 315666 | F | F | F |
| 315667 | T | * | T |
| 315668 | T | * | T |
| 315669 | T | * | T |
| 315670 | F | F | F |
| 315671 | T | * | T |
| 315672 | F | F | F |
| 315673 | T | * | T |
| 315674 | T | * | T |
| 315675 | F | F | F |
| 315676 | T | * | T |
| 315677 | F | F | F |
| 315678 | T | * | T |
| 315679 | F | F | F |
| 315680 | T | * | T |
| 315681 | T | * | T |
| 315682 | T | * | T |
| 315683 | F | F | F |
| 315684 | T | * | T |
| 315685 | F | F | F |
| 315686 | T | * | T |
| 315687 | T | * | T |
| 315688 | F | F | F |
| 315689 | T | * | T |
| 315690 | F | F | F |
| 315691 | T | * | T |
| 315692 | F | F | F |
| 315693 | T | * | T |
| 315694 | T | * | T |
| 315695 | T | * | T |
| 315696 | F | F | F |
| 315697 | T | * | T |
| 315698 | F | F | F |
| 315699 | T | * | T |
| 315700 | T | * | T |
| 315701 | F | F | F |
| 315702 | T | * | T |
| 315703 | F | F | F |
| 315704 | T | * | T |
| 315705 | F | F | F |
| 315706 | T | * | T |
| 315707 | T | * | T |
| 315708 | T | * | T |
| 315709 | F | F | F |
| 315710 | T | * | T |
| 315711 | F | F | F |
| 315712 | T | * | T |
| 315713 | T | * | T |
| 315714 | F | F | F |
| 315715 | T | * | T |
| 315716 | T | * | T |
| 315717 | T | * | T |
| 315718 | F | F | F |
| 315719 | T | * | T |
| 315720 | F | F | F |
| 315721 | T | * | T |
| 315722 | T | * | T |
| 315723 | F | F | F |
| 315724 | T | * | T |
| 315725 | F | F | F |
| 315726 | T | * | T |
| 315727 | F | F | F |
| 315728 | T | * | T |
| 315729 | T | * | T |
Independent-effect pairs
c0(branch6162): PROVED — pair rows33311,33312(masking)<scry_poly::Poly>::join· br_ifc1(branch6163): GAP view gap →<scry_poly::Poly>::join· br_if