Decision #435 — library/alloc/src/raw_vec/mod.rs:477
Status: partial
Truth table
| row | c0 br 2928 | c1 br 2929 | outcome |
|---|---|---|---|
| 17966 | F | F | F |
| 17967 | F | F | F |
| 17968 | F | F | F |
| 17969 | F | F | F |
| 17970 | T | * | T |
| 17971 | F | F | F |
| 17972 | F | F | F |
| 17973 | F | F | F |
| 17974 | F | F | F |
| 17975 | T | * | T |
| 17976 | F | F | F |
| 17977 | F | F | F |
| 17978 | F | F | F |
| 17979 | F | F | F |
| 17980 | T | * | T |
| 17981 | F | F | F |
| 17982 | F | F | F |
| 17983 | F | F | F |
| 17984 | F | F | F |
| 17985 | T | * | T |
| 17986 | F | F | F |
| 17987 | F | F | F |
| 17988 | F | F | F |
| 17989 | F | F | F |
| 17990 | T | * | T |
| 17991 | F | F | F |
| 17992 | F | F | F |
| 17993 | F | F | F |
| 17994 | F | F | F |
| 17995 | T | * | T |
| 17996 | F | F | F |
| 17997 | F | F | F |
| 17998 | F | F | F |
| 17999 | F | F | F |
| 18000 | T | * | T |
| 18001 | F | F | F |
| 18002 | F | F | F |
| 18003 | F | F | F |
| 18004 | F | F | F |
| 18005 | T | * | T |
| 25684 | F | F | F |
| 25685 | F | F | F |
| 25686 | F | F | F |
| 25687 | F | F | F |
| 25688 | T | * | T |
| 25689 | F | F | F |
| 25690 | F | F | F |
| 25691 | F | F | F |
| 25692 | F | F | F |
| 25693 | T | * | T |
| 25694 | F | F | F |
| 25695 | F | F | F |
| 25696 | F | F | F |
| 25697 | F | F | F |
| 25698 | T | * | T |
| 25699 | F | F | F |
| 25700 | F | F | F |
| 25701 | F | F | F |
| 25702 | F | F | F |
| 25703 | T | * | T |
| 25704 | F | F | F |
| 25705 | F | F | F |
| 25706 | F | F | F |
| 25707 | F | F | F |
| 25708 | T | * | T |
| 25709 | F | F | F |
| 25710 | F | F | F |
| 25711 | F | F | F |
| 25712 | F | F | F |
| 25713 | T | * | T |
| 25714 | F | F | F |
| 25715 | F | F | F |
| 25716 | F | F | F |
| 25717 | F | F | F |
| 25718 | T | * | T |
| 25719 | F | F | F |
| 25720 | F | F | F |
| 25721 | F | F | F |
| 25722 | F | F | F |
| 25723 | T | * | T |
| 31333 | F | F | F |
| 31334 | F | F | F |
| 31335 | T | * | T |
| 31336 | F | F | F |
| 31337 | F | F | F |
| 31338 | T | * | T |
| 31339 | F | F | F |
| 31340 | F | F | F |
| 31341 | T | * | T |
| 31342 | F | F | F |
| 31343 | F | F | F |
| 31344 | T | * | T |
| 31345 | F | F | F |
| 31346 | F | F | F |
| 31347 | T | * | T |
| 31348 | F | F | F |
| 31349 | F | F | F |
| 31350 | T | * | T |
| 31351 | F | F | F |
| 31352 | F | F | F |
| 31353 | T | * | T |
| 31354 | F | F | F |
| 31355 | F | F | F |
| 31356 | T | * | T |
| 31357 | F | F | F |
| 31358 | F | F | F |
| 31359 | T | * | T |
| 31360 | F | F | F |
| 31361 | F | F | F |
| 31362 | T | * | T |
| 31363 | F | F | F |
| 31364 | F | F | F |
| 31365 | T | * | T |
| 31366 | F | F | F |
| 31367 | F | F | F |
| 31368 | T | * | T |
| 31369 | F | F | F |
| 31370 | F | F | F |
| 31371 | T | * | T |
| 31372 | F | F | F |
| 31373 | F | F | F |
| 31374 | T | * | T |
| 31375 | F | F | F |
| 31376 | F | F | F |
| 31377 | T | * | T |
| 31378 | F | F | F |
| 31379 | F | F | F |
| 31380 | T | * | T |
| 31381 | F | F | F |
| 31382 | F | F | F |
| 31383 | T | * | T |
| 31384 | F | F | F |
| 31385 | F | F | F |
| 31386 | T | * | T |
| 31387 | F | F | F |
| 31388 | F | F | F |
| 31389 | T | * | T |
| 31390 | F | F | F |
| 31391 | F | F | F |
| 31392 | T | * | T |
| 31393 | F | F | F |
| 31394 | F | F | F |
| 31395 | T | * | T |
| 31396 | F | F | F |
| 31397 | F | F | F |
| 31398 | T | * | T |
| 31399 | F | F | F |
| 31400 | F | F | F |
| 31401 | T | * | T |
| 31402 | F | F | F |
| 31403 | F | F | F |
| 31404 | T | * | T |
| 31405 | F | F | F |
| 31406 | F | F | F |
| 31407 | T | * | T |
| 31408 | F | F | F |
| 31409 | F | F | F |
| 31410 | T | * | T |
| 31411 | F | F | F |
| 31412 | F | F | F |
| 31413 | T | * | T |
| 31414 | F | F | F |
| 31415 | F | F | F |
| 31416 | T | * | T |
| 37271 | F | F | F |
| 37272 | F | F | F |
| 37273 | T | * | T |
| 37274 | F | F | F |
| 37275 | F | F | F |
| 37276 | T | * | T |
| 37277 | F | F | F |
| 37278 | F | F | F |
| 37279 | T | * | T |
| 37280 | F | F | F |
| 37281 | F | F | F |
| 37282 | T | * | T |
| 37283 | F | F | F |
| 37284 | F | F | F |
| 37285 | T | * | T |
| 37286 | F | F | F |
| 37287 | F | F | F |
| 37288 | T | * | T |
| 37289 | F | F | F |
| 37290 | F | F | F |
| 37291 | T | * | T |
| 37292 | F | F | F |
| 37293 | F | F | F |
| 37294 | T | * | T |
| 37295 | F | F | F |
| 37296 | F | F | F |
| 37297 | T | * | T |
| 37298 | F | F | F |
| 37299 | F | F | F |
| 37300 | T | * | T |
| 37301 | F | F | F |
| 37302 | F | F | F |
| 37303 | T | * | T |
| 37304 | F | F | F |
| 37305 | F | F | F |
| 37306 | T | * | T |
| 37307 | F | F | F |
| 37308 | F | F | F |
| 37309 | T | * | T |
| 37310 | F | F | F |
| 37311 | F | F | F |
| 37312 | T | * | T |
| 37313 | F | F | F |
| 37314 | F | F | F |
| 37315 | T | * | T |
| 37316 | F | F | F |
| 37317 | F | F | F |
| 37318 | T | * | T |
| 37319 | F | F | F |
| 37320 | F | F | F |
| 37321 | T | * | T |
| 37322 | F | F | F |
| 37323 | F | F | F |
| 37324 | T | * | T |
| 37325 | F | F | F |
| 37326 | F | F | F |
| 37327 | T | * | T |
| 37328 | F | F | F |
| 37329 | F | F | F |
| 37330 | T | * | T |
| 37331 | F | F | F |
| 37332 | F | F | F |
| 37333 | T | * | T |
| 37334 | F | F | F |
| 37335 | F | F | F |
| 37336 | T | * | T |
| 37337 | F | F | F |
| 37338 | F | F | F |
| 37339 | T | * | T |
| 37340 | F | F | F |
| 37341 | F | F | F |
| 37342 | T | * | T |
| 37343 | F | F | F |
| 37344 | F | F | F |
| 37345 | T | * | T |
| 37346 | F | F | F |
| 37347 | F | F | F |
| 37348 | T | * | T |
| 37349 | F | F | F |
| 37350 | F | F | F |
| 37351 | T | * | T |
| 37352 | F | F | F |
| 37353 | F | F | F |
| 37354 | T | * | T |
| 59373 | F | F | F |
| 59374 | F | F | F |
| 59375 | F | F | F |
| 59376 | F | F | F |
| 59377 | T | * | T |
| 59378 | F | F | F |
| 59379 | F | F | F |
| 59380 | F | F | F |
| 59381 | F | F | F |
| 59382 | T | * | T |
| 59383 | F | F | F |
| 59384 | F | F | F |
| 59385 | F | F | F |
| 59386 | F | F | F |
| 59387 | T | * | T |
| 59388 | F | F | F |
| 59389 | F | F | F |
| 59390 | F | F | F |
| 59391 | F | F | F |
| 59392 | T | * | T |
| 59393 | F | F | F |
| 59394 | F | F | F |
| 59395 | F | F | F |
| 59396 | F | F | F |
| 59397 | T | * | T |
| 59398 | F | F | F |
| 59399 | F | F | F |
| 59400 | F | F | F |
| 59401 | F | F | F |
| 59402 | T | * | T |
| 59403 | F | F | F |
| 59404 | F | F | F |
| 59405 | F | F | F |
| 59406 | F | F | F |
| 59407 | T | * | T |
| 59408 | F | F | F |
| 59409 | F | F | F |
| 59410 | F | F | F |
| 59411 | F | F | F |
| 59412 | T | * | T |
| 59413 | F | F | F |
| 59414 | F | F | F |
| 59415 | F | F | F |
| 59416 | F | F | F |
| 59417 | T | * | T |
| 59418 | F | F | F |
| 59419 | F | F | F |
| 59420 | F | F | F |
| 59421 | F | F | F |
| 59422 | T | * | T |
| 59423 | F | F | F |
| 59424 | F | F | F |
| 59425 | F | F | F |
| 59426 | F | F | F |
| 59427 | T | * | T |
| 59428 | F | F | F |
| 59429 | F | F | F |
| 59430 | F | F | F |
| 59431 | F | F | F |
| 59432 | T | * | T |
| 69145 | F | F | F |
| 69146 | F | F | F |
| 69147 | F | F | F |
| 69148 | F | F | F |
| 69149 | T | * | T |
| 69150 | F | F | F |
| 69151 | F | F | F |
| 69152 | F | F | F |
| 69153 | F | F | F |
| 69154 | T | * | T |
| 69155 | F | F | F |
| 69156 | F | F | F |
| 69157 | F | F | F |
| 69158 | F | F | F |
| 69159 | T | * | T |
| 69160 | F | F | F |
| 69161 | F | F | F |
| 69162 | F | F | F |
| 69163 | F | F | F |
| 69164 | T | * | T |
| 69165 | F | F | F |
| 69166 | F | F | F |
| 69167 | F | F | F |
| 69168 | F | F | F |
| 69169 | T | * | T |
| 69170 | F | F | F |
| 69171 | F | F | F |
| 69172 | F | F | F |
| 69173 | F | F | F |
| 69174 | T | * | T |
| 69175 | F | F | F |
| 69176 | F | F | F |
| 69177 | F | F | F |
| 69178 | F | F | F |
| 69179 | T | * | T |
| 69180 | F | F | F |
| 69181 | F | F | F |
| 69182 | F | F | F |
| 69183 | F | F | F |
| 69184 | T | * | T |
| 69185 | F | F | F |
| 69186 | F | F | F |
| 69187 | F | F | F |
| 69188 | F | F | F |
| 69189 | T | * | T |
| 69190 | F | F | F |
| 69191 | F | F | F |
| 69192 | F | F | F |
| 69193 | F | F | F |
| 69194 | T | * | T |
| 69195 | F | F | F |
| 69196 | F | F | F |
| 69197 | F | F | F |
| 69198 | F | F | F |
| 69199 | T | * | T |
| 69200 | F | F | F |
| 69201 | F | F | F |
| 69202 | F | F | F |
| 69203 | F | F | F |
| 69204 | T | * | T |
| 106828 | F | F | F |
| 106829 | F | F | F |
| 106830 | F | F | F |
| 106831 | F | F | F |
| 106832 | T | * | T |
| 106833 | F | F | F |
| 106834 | F | F | F |
| 106835 | F | F | F |
| 106836 | F | F | F |
| 106837 | T | * | T |
| 106838 | F | F | F |
| 106839 | F | F | F |
| 106840 | F | F | F |
| 106841 | F | F | F |
| 106842 | T | * | T |
| 106843 | F | F | F |
| 106844 | F | F | F |
| 106845 | F | F | F |
| 106846 | F | F | F |
| 106847 | T | * | T |
| 106848 | F | F | F |
| 106849 | F | F | F |
| 106850 | F | F | F |
| 106851 | F | F | F |
| 106852 | T | * | T |
| 106853 | F | F | F |
| 106854 | F | F | F |
| 106855 | F | F | F |
| 106856 | F | F | F |
| 106857 | T | * | T |
| 106858 | F | F | F |
| 106859 | F | F | F |
| 106860 | F | F | F |
| 106861 | F | F | F |
| 106862 | T | * | T |
| 106863 | F | F | F |
| 106864 | F | F | F |
| 106865 | F | F | F |
| 106866 | F | F | F |
| 106867 | T | * | T |
| 106868 | F | F | F |
| 106869 | F | F | F |
| 106870 | F | F | F |
| 106871 | F | F | F |
| 106872 | T | * | T |
| 106873 | F | F | F |
| 106874 | F | F | F |
| 106875 | F | F | F |
| 106876 | F | F | F |
| 106877 | T | * | T |
| 106878 | F | F | F |
| 106879 | F | F | F |
| 106880 | F | F | F |
| 106881 | F | F | F |
| 106882 | T | * | T |
| 106883 | F | F | F |
| 106884 | F | F | F |
| 106885 | F | F | F |
| 106886 | F | F | F |
| 106887 | T | * | T |
| 106888 | F | F | F |
| 106889 | F | F | F |
| 106890 | F | F | F |
| 106891 | F | F | F |
| 106892 | T | * | T |
| 106893 | F | F | F |
| 106894 | F | F | F |
| 106895 | F | F | F |
| 106896 | F | F | F |
| 106897 | T | * | T |
| 106898 | F | F | F |
| 106899 | F | F | F |
| 106900 | F | F | F |
| 106901 | F | F | F |
| 106902 | T | * | T |
| 106903 | F | F | F |
| 106904 | F | F | F |
| 106905 | F | F | F |
| 106906 | F | F | F |
| 106907 | T | * | T |
| 106908 | F | F | F |
| 106909 | F | F | F |
| 106910 | F | F | F |
| 106911 | F | F | F |
| 106912 | T | * | T |
| 106913 | F | F | F |
| 106914 | F | F | F |
| 106915 | F | F | F |
| 106916 | F | F | F |
| 106917 | T | * | T |
| 106918 | F | F | F |
| 106919 | F | F | F |
| 106920 | F | F | F |
| 106921 | F | F | F |
| 106922 | T | * | T |
| 106923 | F | F | F |
| 106924 | F | F | F |
| 106925 | F | F | F |
| 106926 | F | F | F |
| 106927 | T | * | T |
| 106928 | F | F | F |
| 106929 | F | F | F |
| 106930 | F | F | F |
| 106931 | F | F | F |
| 106932 | T | * | T |
| 106933 | F | F | F |
| 106934 | F | F | F |
| 106935 | F | F | F |
| 106936 | F | F | F |
| 106937 | T | * | T |
| 106938 | F | F | F |
| 106939 | F | F | F |
| 106940 | F | F | F |
| 106941 | F | F | F |
| 106942 | T | * | T |
| 106943 | F | F | F |
| 106944 | F | F | F |
| 106945 | F | F | F |
| 106946 | F | F | F |
| 106947 | T | * | T |
| 125691 | F | F | F |
| 125692 | F | F | F |
| 125693 | F | F | F |
| 125694 | F | F | F |
| 125695 | T | * | T |
| 125696 | F | F | F |
| 125697 | F | F | F |
| 125698 | F | F | F |
| 125699 | F | F | F |
| 125700 | T | * | T |
| 125701 | F | F | F |
| 125702 | F | F | F |
| 125703 | F | F | F |
| 125704 | F | F | F |
| 125705 | T | * | T |
| 125706 | F | F | F |
| 125707 | F | F | F |
| 125708 | F | F | F |
| 125709 | F | F | F |
| 125710 | T | * | T |
| 125711 | F | F | F |
| 125712 | F | F | F |
| 125713 | F | F | F |
| 125714 | F | F | F |
| 125715 | T | * | T |
| 125716 | F | F | F |
| 125717 | F | F | F |
| 125718 | F | F | F |
| 125719 | F | F | F |
| 125720 | T | * | T |
| 125721 | F | F | F |
| 125722 | F | F | F |
| 125723 | F | F | F |
| 125724 | F | F | F |
| 125725 | T | * | T |
| 125726 | F | F | F |
| 125727 | F | F | F |
| 125728 | F | F | F |
| 125729 | F | F | F |
| 125730 | T | * | T |
| 125731 | F | F | F |
| 125732 | F | F | F |
| 125733 | F | F | F |
| 125734 | F | F | F |
| 125735 | T | * | T |
| 125736 | F | F | F |
| 125737 | F | F | F |
| 125738 | F | F | F |
| 125739 | F | F | F |
| 125740 | T | * | T |
| 125741 | F | F | F |
| 125742 | F | F | F |
| 125743 | F | F | F |
| 125744 | F | F | F |
| 125745 | T | * | T |
| 125746 | F | F | F |
| 125747 | F | F | F |
| 125748 | F | F | F |
| 125749 | F | F | F |
| 125750 | T | * | T |
| 125751 | F | F | F |
| 125752 | F | F | F |
| 125753 | F | F | F |
| 125754 | F | F | F |
| 125755 | T | * | T |
| 125756 | F | F | F |
| 125757 | F | F | F |
| 125758 | F | F | F |
| 125759 | F | F | F |
| 125760 | T | * | T |
| 125761 | F | F | F |
| 125762 | F | F | F |
| 125763 | F | F | F |
| 125764 | F | F | F |
| 125765 | T | * | T |
| 125766 | F | F | F |
| 125767 | F | F | F |
| 125768 | F | F | F |
| 125769 | F | F | F |
| 125770 | T | * | T |
| 125771 | F | F | F |
| 125772 | F | F | F |
| 125773 | F | F | F |
| 125774 | F | F | F |
| 125775 | T | * | T |
| 125776 | F | F | F |
| 125777 | F | F | F |
| 125778 | F | F | F |
| 125779 | F | F | F |
| 125780 | T | * | T |
| 125781 | F | F | F |
| 125782 | F | F | F |
| 125783 | F | F | F |
| 125784 | F | F | F |
| 125785 | T | * | T |
| 125786 | F | F | F |
| 125787 | F | F | F |
| 125788 | F | F | F |
| 125789 | F | F | F |
| 125790 | T | * | T |
| 125791 | F | F | F |
| 125792 | F | F | F |
| 125793 | F | F | F |
| 125794 | F | F | F |
| 125795 | T | * | T |
| 125796 | F | F | F |
| 125797 | F | F | F |
| 125798 | F | F | F |
| 125799 | F | F | F |
| 125800 | T | * | T |
| 125801 | F | F | F |
| 125802 | F | F | F |
| 125803 | F | F | F |
| 125804 | F | F | F |
| 125805 | T | * | T |
| 125806 | F | F | F |
| 125807 | F | F | F |
| 125808 | F | F | F |
| 125809 | F | F | F |
| 125810 | T | * | T |
Independent-effect pairs
c0(branch2928): PROVED — pair rows17966,17970(masking)scry_octagon::join· br_ifc1(branch2929): GAP view gap →scry_octagon::join· br_if