Decision #778 — library/alloc/src/vec/mod.rs:3666
Status: partial
Truth table
| row | c0 br 5194 | c1 br 5195 | outcome |
|---|---|---|---|
| 1787 | F | F | F |
| 1788 | F | F | F |
| 1789 | F | F | F |
| 1790 | F | F | F |
| 1791 | F | T | T |
| 1792 | F | F | F |
| 1793 | F | F | F |
| 1794 | F | F | F |
| 1795 | F | F | F |
| 1796 | F | T | T |
| 5578 | F | F | F |
| 5579 | F | F | F |
| 5580 | F | F | F |
| 5581 | F | F | F |
| 5582 | F | T | T |
| 5583 | F | F | F |
| 5584 | F | F | F |
| 5585 | F | F | F |
| 5586 | F | F | F |
| 5587 | F | T | T |
| 9359 | F | F | F |
| 9360 | F | F | F |
| 9361 | F | F | F |
| 9362 | F | F | F |
| 9363 | F | T | T |
| 9364 | F | F | F |
| 9365 | F | F | F |
| 9366 | F | F | F |
| 9367 | F | F | F |
| 9368 | F | T | T |
| 12298 | F | F | F |
| 12299 | F | F | F |
| 13672 | F | F | F |
| 13673 | F | F | F |
| 14999 | F | F | F |
| 15000 | F | F | F |
| 22151 | F | T | T |
| 22152 | F | T | T |
| 31629 | F | T | T |
| 31630 | F | T | T |
| 37878 | F | T | T |
| 37879 | F | T | T |
| 44091 | F | T | T |
| 44092 | F | T | T |
| 48990 | F | T | T |
| 48991 | F | F | F |
| 48992 | F | T | T |
| 48993 | F | T | T |
| 48994 | F | T | T |
| 48995 | F | F | F |
| 48996 | F | T | T |
| 48997 | F | T | T |
| 53191 | F | T | T |
| 53192 | F | F | F |
| 53193 | F | T | T |
| 53194 | F | T | T |
| 53195 | F | T | T |
| 53196 | F | F | F |
| 53197 | F | T | T |
| 53198 | F | T | T |
| 57721 | F | T | T |
| 57722 | F | F | F |
| 57723 | F | T | T |
| 57724 | F | T | T |
| 57725 | F | T | T |
| 57726 | F | F | F |
| 57727 | F | T | T |
| 57728 | F | T | T |
| 61914 | F | T | T |
| 61915 | F | F | F |
| 61916 | F | T | T |
| 61917 | F | T | T |
| 61918 | F | T | T |
| 61919 | F | F | F |
| 61920 | F | T | T |
| 61921 | F | T | T |
| 72159 | F | T | T |
| 72160 | F | T | T |
| 83672 | F | T | T |
| 83673 | F | T | T |
| 89470 | F | F | F |
| 89471 | F | F | F |
| 89472 | F | F | F |
| 89473 | F | F | F |
| 89474 | F | F | F |
| 89475 | F | F | F |
| 89476 | F | F | F |
| 89477 | F | F | F |
| 89478 | F | F | F |
| 89479 | F | F | F |
| 89480 | F | F | F |
| 89481 | F | F | F |
| 93738 | F | F | F |
| 93739 | F | F | F |
| 93740 | F | F | F |
| 93741 | F | F | F |
| 93742 | F | F | F |
| 93743 | F | F | F |
| 93744 | F | F | F |
| 93745 | F | F | F |
| 93746 | F | F | F |
| 93747 | F | F | F |
| 93748 | F | F | F |
| 93749 | F | F | F |
| 96546 | F | F | F |
| 96547 | F | F | F |
| 96548 | F | F | F |
| 96549 | F | F | F |
| 96550 | F | F | F |
| 96551 | F | F | F |
| 96552 | F | F | F |
| 96553 | F | F | F |
| 96554 | F | F | F |
| 96555 | F | F | F |
| 98346 | F | F | F |
| 98347 | F | F | F |
| 99861 | F | F | F |
| 99862 | F | F | F |
| 101279 | F | F | F |
| 101280 | F | F | F |
| 103311 | F | T | T |
| 103312 | F | T | T |
| 106931 | F | F | F |
| 106932 | F | F | F |
| 106933 | F | F | F |
| 106934 | F | F | F |
| 106935 | F | F | F |
| 106936 | F | F | F |
| 109496 | F | T | T |
| 109497 | F | T | T |
| 112402 | F | F | F |
| 112403 | F | F | F |
| 112404 | F | F | F |
| 112405 | F | F | F |
| 112406 | F | F | F |
| 112407 | F | F | F |
| 112408 | F | F | F |
| 112409 | F | F | F |
| 115336 | F | T | T |
| 115337 | F | T | T |
| 115338 | F | T | T |
| 115339 | F | T | T |
| 134323 | F | T | T |
| 134324 | F | T | T |
| 157259 | F | T | T |
| 157260 | F | T | T |
| 163628 | F | T | T |
| 163629 | F | T | T |
| 165209 | F | T | T |
| 165210 | F | T | T |
| 166929 | F | T | T |
| 166930 | F | T | T |
Independent-effect pairs
c0(branch5194): GAP view gap →scry_octagon::top· br_ifc1(branch5195): PROVED — pair rows1787,1791(unique-cause)scry_octagon::top· br_if