Decision #988 — library/alloc/src/raw_vec/mod.rs:443
Status: no_witness
Truth table
| row | c0 br 6351 | c1 br 6352 | outcome |
|---|---|---|---|
| 2085 | T | T | T |
| 2086 | T | T | T |
| 2087 | T | T | T |
| 2088 | T | T | T |
| 2089 | T | T | T |
| 2090 | T | T | T |
| 2091 | T | T | T |
| 2092 | T | T | T |
| 2093 | T | T | T |
| 2094 | F | F | F |
| 2095 | F | F | F |
| 2096 | F | F | F |
| 9044 | T | T | T |
| 9045 | T | T | T |
| 9046 | T | T | T |
| 9047 | T | T | T |
| 9048 | T | T | T |
| 9049 | T | T | T |
| 9050 | T | T | T |
| 9051 | T | T | T |
| 9052 | T | T | T |
| 9053 | F | F | F |
| 9054 | F | F | F |
| 9055 | F | F | F |
| 15850 | T | T | T |
| 15851 | T | T | T |
| 15852 | T | T | T |
| 15853 | T | T | T |
| 15854 | T | T | T |
| 15855 | T | T | T |
| 15856 | T | T | T |
| 15857 | T | T | T |
| 15858 | T | T | T |
| 15859 | F | F | F |
| 15860 | F | F | F |
| 15861 | F | F | F |
| 22069 | T | T | T |
| 22070 | T | T | T |
| 22071 | T | T | T |
| 22072 | T | T | T |
| 22073 | T | T | T |
| 22074 | T | T | T |
| 24811 | T | T | T |
| 24812 | T | T | T |
| 24813 | T | T | T |
| 24814 | T | T | T |
| 24815 | T | T | T |
| 24816 | T | T | T |
| 27455 | T | T | T |
| 27456 | T | T | T |
| 27457 | T | T | T |
| 27458 | T | T | T |
| 27459 | T | T | T |
| 27460 | T | T | T |
| 34264 | F | F | F |
| 34265 | F | F | F |
| 34266 | F | F | F |
| 34267 | F | F | F |
| 34268 | F | F | F |
| 34269 | F | F | F |
| 34270 | F | F | F |
| 34271 | F | F | F |
| 34272 | F | F | F |
| 34273 | F | F | F |
| 34274 | F | F | F |
| 34275 | F | F | F |
| 34276 | F | F | F |
| 34277 | F | F | F |
| 34278 | F | F | F |
| 34279 | F | F | F |
| 34280 | F | F | F |
| 34281 | F | F | F |
| 34282 | F | F | F |
| 34283 | F | F | F |
| 34284 | F | F | F |
| 34285 | F | F | F |
| 34286 | F | F | F |
| 34287 | F | F | F |
| 34288 | F | F | F |
| 55118 | F | F | F |
| 55119 | F | F | F |
| 55120 | F | F | F |
| 55121 | F | F | F |
| 55122 | F | F | F |
| 55123 | F | F | F |
| 55124 | F | F | F |
| 55125 | F | F | F |
| 55126 | F | F | F |
| 55127 | F | F | F |
| 55128 | F | F | F |
| 55129 | F | F | F |
| 55130 | F | F | F |
| 55131 | F | F | F |
| 55132 | F | F | F |
| 55133 | F | F | F |
| 55134 | F | F | F |
| 55135 | F | F | F |
| 55136 | F | F | F |
| 55137 | F | F | F |
| 55138 | F | F | F |
| 55139 | F | F | F |
| 55140 | F | F | F |
| 55141 | F | F | F |
| 55142 | F | F | F |
| 73631 | F | F | F |
| 73632 | F | F | F |
| 73633 | F | F | F |
| 73634 | F | F | F |
| 73635 | F | F | F |
| 73636 | F | F | F |
| 73637 | F | F | F |
| 73638 | F | F | F |
| 83514 | F | F | F |
| 83515 | F | F | F |
| 83516 | F | F | F |
| 83517 | F | F | F |
| 83518 | F | F | F |
| 83519 | F | F | F |
| 83520 | F | F | F |
| 83521 | F | F | F |
| 92898 | F | F | F |
| 92899 | F | F | F |
| 92900 | F | F | F |
| 92901 | F | F | F |
| 92902 | T | T | T |
| 92903 | T | T | T |
| 92904 | T | T | T |
| 92905 | F | F | F |
| 92906 | F | F | F |
| 92907 | F | F | F |
| 92908 | F | F | F |
| 92909 | F | F | F |
| 92910 | F | F | F |
| 92911 | F | F | F |
| 100729 | F | F | F |
| 100730 | F | F | F |
| 100731 | F | F | F |
| 100732 | F | F | F |
| 100733 | T | T | T |
| 100734 | T | T | T |
| 100735 | T | T | T |
| 100736 | F | F | F |
| 100737 | F | F | F |
| 100738 | F | F | F |
| 100739 | F | F | F |
| 100740 | F | F | F |
| 100741 | F | F | F |
| 100742 | F | F | F |
| 109217 | F | F | F |
| 109218 | F | F | F |
| 109219 | F | F | F |
| 109220 | F | F | F |
| 109221 | T | T | T |
| 109222 | T | T | T |
| 109223 | T | T | T |
| 109224 | F | F | F |
| 109225 | F | F | F |
| 109226 | F | F | F |
| 109227 | F | F | F |
| 109228 | F | F | F |
| 109229 | F | F | F |
| 109230 | F | F | F |
| 117242 | F | F | F |
| 117243 | F | F | F |
| 117244 | F | F | F |
| 117245 | F | F | F |
| 117246 | T | T | T |
| 117247 | T | T | T |
| 117248 | T | T | T |
| 117249 | F | F | F |
| 117250 | F | F | F |
| 117251 | F | F | F |
| 117252 | F | F | F |
| 117253 | F | F | F |
| 117254 | F | F | F |
| 117255 | F | F | F |
| 126477 | F | F | F |
| 126478 | F | F | F |
| 126479 | F | F | F |
| 126480 | F | F | F |
| 126481 | F | F | F |
| 126482 | F | F | F |
| 126483 | F | F | F |
| 126484 | F | F | F |
| 126485 | F | F | F |
| 126486 | F | F | F |
| 126487 | F | F | F |
| 126488 | F | F | F |
| 126489 | F | F | F |
| 126490 | F | F | F |
| 126491 | F | F | F |
| 126492 | F | F | F |
| 126493 | F | F | F |
| 126494 | F | F | F |
| 126495 | F | F | F |
| 126496 | F | F | F |
| 126497 | F | F | F |
| 126498 | F | F | F |
| 126499 | F | F | F |
| 126500 | F | F | F |
| 126501 | F | F | F |
| 126502 | F | F | F |
| 126503 | F | F | F |
| 143196 | F | F | F |
| 143197 | F | F | F |
| 143198 | F | F | F |
| 143199 | F | F | F |
| 143200 | F | F | F |
| 143201 | F | F | F |
| 143202 | F | F | F |
| 143203 | F | F | F |
| 143204 | F | F | F |
| 143205 | F | F | F |
| 143206 | F | F | F |
| 143207 | F | F | F |
| 143208 | F | F | F |
| 143209 | F | F | F |
| 143210 | F | F | F |
| 143211 | F | F | F |
| 143212 | F | F | F |
| 143213 | F | F | F |
| 143214 | F | F | F |
| 143215 | F | F | F |
| 143216 | F | F | F |
| 143217 | F | F | F |
| 143218 | F | F | F |
| 143219 | F | F | F |
| 143220 | F | F | F |
| 143221 | F | F | F |
| 143222 | F | F | F |
| 159615 | T | T | T |
| 159616 | T | T | T |
| 159617 | T | T | T |
| 159618 | T | T | T |
| 159619 | T | T | T |
| 159620 | T | T | T |
| 159621 | T | T | T |
| 159622 | T | T | T |
| 159623 | T | T | T |
| 159624 | T | T | T |
| 159625 | T | T | T |
| 159626 | T | T | T |
| 159627 | T | T | T |
| 159628 | T | T | T |
| 159629 | T | T | T |
| 159630 | T | T | T |
| 159631 | T | T | T |
| 159632 | T | T | T |
| 159633 | T | T | T |
| 159634 | T | T | T |
| 159635 | T | T | T |
| 159636 | T | T | T |
| 159637 | T | T | T |
| 159638 | T | T | T |
| 169473 | T | T | T |
| 169474 | T | T | T |
| 169475 | T | T | T |
| 169476 | T | T | T |
| 169477 | T | T | T |
| 169478 | T | T | T |
| 169479 | T | T | T |
| 169480 | T | T | T |
| 169481 | T | T | T |
| 169482 | T | T | T |
| 169483 | T | T | T |
| 169484 | T | T | T |
| 169485 | T | T | T |
| 169486 | T | T | T |
| 169487 | T | T | T |
| 169488 | T | T | T |
| 169489 | T | T | T |
| 169490 | T | T | T |
| 169491 | T | T | T |
| 169492 | T | T | T |
| 169493 | T | T | T |
| 169494 | T | T | T |
| 169495 | T | T | T |
| 169496 | T | T | T |
| 177011 | T | T | T |
| 177012 | T | T | T |
| 181550 | T | T | T |
| 181551 | T | T | T |
| 181552 | T | T | T |
| 181553 | T | T | T |
| 181554 | T | T | T |
| 184868 | T | T | T |
| 184869 | T | T | T |
| 184870 | T | T | T |
| 184871 | T | T | T |
| 184872 | T | T | T |
| 187977 | T | T | T |
| 187978 | T | T | T |
| 187979 | T | T | T |
| 187980 | T | T | T |
| 187981 | T | T | T |
| 191704 | F | F | F |
| 191705 | F | F | F |
| 191706 | F | F | F |
| 191707 | F | F | F |
| 191708 | F | F | F |
| 191709 | F | F | F |
| 191710 | F | F | F |
| 191711 | F | F | F |
| 191712 | F | F | F |
| 191713 | F | F | F |
| 197700 | T | T | T |
| 197701 | T | T | T |
| 197702 | T | T | T |
| 197703 | T | T | T |
| 197704 | T | T | T |
| 197705 | T | T | T |
| 197706 | T | T | T |
| 197707 | T | T | T |
| 197708 | T | T | T |
| 197709 | T | T | T |
| 197710 | T | T | T |
| 197711 | T | T | T |
| 197712 | T | T | T |
| 197713 | T | T | T |
| 197714 | T | T | T |
| 197715 | T | T | T |
| 197716 | T | T | T |
| 197717 | T | T | T |
| 197718 | T | T | T |
| 197719 | T | T | T |
| 197720 | T | T | T |
| 197721 | T | T | T |
| 197722 | T | T | T |
| 197723 | T | T | T |
| 197724 | T | T | T |
| 197725 | T | T | T |
| 197726 | T | T | T |
| 197727 | T | T | T |
| 197728 | T | T | T |
| 197729 | T | T | T |
| 203702 | F | F | F |
| 203703 | F | F | F |
| 203704 | F | F | F |
| 203705 | F | F | F |
| 203706 | F | F | F |
| 203707 | F | F | F |
| 208883 | T | T | T |
| 208884 | T | T | T |
| 208885 | T | T | T |
| 208886 | T | T | T |
| 208887 | T | T | T |
| 208888 | T | T | T |
| 208889 | T | T | T |
| 208890 | T | T | T |
| 208891 | T | T | T |
| 208892 | T | T | T |
| 208893 | T | T | T |
| 208894 | T | T | T |
| 208895 | T | T | T |
| 208896 | T | T | T |
| 208897 | T | T | T |
| 208898 | T | T | T |
| 208899 | T | T | T |
| 208900 | T | T | T |
| 216384 | F | F | F |
| 216385 | F | F | F |
| 216386 | F | F | F |
| 216387 | F | F | F |
| 216388 | F | F | F |
| 216389 | F | F | F |
| 216390 | F | F | F |
| 216391 | F | F | F |
| 216392 | F | F | F |
| 241152 | F | F | F |
| 241153 | F | F | F |
| 241154 | F | F | F |
| 241155 | F | F | F |
| 241156 | F | F | F |
| 241157 | F | F | F |
| 241158 | F | F | F |
| 241159 | F | F | F |
| 241160 | F | F | F |
| 241161 | F | F | F |
| 241162 | F | F | F |
| 241163 | F | F | F |
| 241164 | F | F | F |
| 241165 | F | F | F |
| 241166 | F | F | F |
| 241167 | F | F | F |
| 241168 | F | F | F |
| 241169 | F | F | F |
| 241170 | F | F | F |
| 241171 | F | F | F |
| 241172 | F | F | F |
| 241173 | F | F | F |
| 241174 | F | F | F |
| 241175 | F | F | F |
| 241176 | F | F | F |
| 318529 | F | F | F |
| 318530 | F | F | F |
| 318531 | F | F | F |
| 318532 | F | F | F |
| 318533 | F | F | F |
| 318534 | F | F | F |
| 318535 | F | F | F |
| 318536 | F | F | F |
| 318537 | F | F | F |
| 318538 | F | F | F |
| 318539 | F | F | F |
| 318540 | F | F | F |
| 318541 | F | F | F |
| 318542 | F | F | F |
| 318543 | F | F | F |
| 318544 | F | F | F |
| 318545 | F | F | F |
| 318546 | F | F | F |
| 318547 | F | F | F |
| 318548 | F | F | F |
| 318549 | F | F | F |
| 318550 | F | F | F |
| 318551 | F | F | F |
| 318552 | F | F | F |
| 318553 | F | F | F |
| 377412 | F | F | F |
| 377413 | F | F | F |
| 377414 | F | F | F |
| 377415 | F | F | F |
| 380069 | F | F | F |
| 380070 | F | F | F |
| 380071 | F | F | F |
| 380072 | F | F | F |
| 382952 | F | F | F |
| 382953 | F | F | F |
| 382954 | F | F | F |
| 382955 | F | F | F |
Independent-effect pairs
c0(branch6351): GAP view gap →scry_octagon::strong_close· br_ifc1(branch6352): GAP view gap →scry_octagon::strong_close· br_if