Decision #980 — library/alloc/src/raw_vec/mod.rs:461
Status: no_witness
Truth table
| row | c0 br 6318 | c1 br 6319 | outcome |
|---|---|---|---|
| 33686 | F | F | F |
| 33687 | F | F | F |
| 33688 | F | F | F |
| 33689 | F | F | F |
| 33690 | F | F | F |
| 33691 | F | F | F |
| 33692 | F | F | F |
| 33693 | F | F | F |
| 33694 | F | F | F |
| 33695 | F | F | F |
| 33696 | F | F | F |
| 33697 | F | F | F |
| 33698 | F | F | F |
| 33699 | F | F | F |
| 33700 | F | F | F |
| 33701 | F | F | F |
| 33702 | F | F | F |
| 33703 | F | F | F |
| 33704 | F | F | F |
| 33705 | F | F | F |
| 33706 | F | F | F |
| 33707 | F | F | F |
| 54540 | F | F | F |
| 54541 | F | F | F |
| 54542 | F | F | F |
| 54543 | F | F | F |
| 54544 | F | F | F |
| 54545 | F | F | F |
| 54546 | F | F | F |
| 54547 | F | F | F |
| 54548 | F | F | F |
| 54549 | F | F | F |
| 54550 | F | F | F |
| 54551 | F | F | F |
| 54552 | F | F | F |
| 54553 | F | F | F |
| 54554 | F | F | F |
| 54555 | F | F | F |
| 54556 | F | F | F |
| 54557 | F | F | F |
| 54558 | F | F | F |
| 54559 | F | F | F |
| 54560 | F | F | F |
| 54561 | F | F | F |
| 73561 | F | F | F |
| 73562 | F | F | F |
| 73563 | F | F | F |
| 73564 | F | F | F |
| 73565 | F | F | F |
| 73566 | F | F | F |
| 83444 | F | F | F |
| 83445 | F | F | F |
| 83446 | F | F | F |
| 83447 | F | F | F |
| 83448 | F | F | F |
| 83449 | F | F | F |
| 125829 | F | F | F |
| 125830 | F | F | F |
| 125831 | F | F | F |
| 125832 | F | F | F |
| 125833 | F | F | F |
| 125834 | F | F | F |
| 125835 | F | F | F |
| 125836 | F | F | F |
| 125837 | F | F | F |
| 125838 | F | F | F |
| 125839 | F | F | F |
| 125840 | F | F | F |
| 125841 | F | F | F |
| 125842 | F | F | F |
| 125843 | F | F | F |
| 125844 | F | F | F |
| 125845 | F | F | F |
| 125846 | F | F | F |
| 125847 | F | F | F |
| 125848 | F | F | F |
| 125849 | F | F | F |
| 125850 | F | F | F |
| 125851 | F | F | F |
| 125852 | F | F | F |
| 125853 | F | F | F |
| 125854 | F | F | F |
| 125855 | F | F | F |
| 125856 | F | F | F |
| 125857 | F | F | F |
| 125858 | F | F | F |
| 142548 | F | F | F |
| 142549 | F | F | F |
| 142550 | F | F | F |
| 142551 | F | F | F |
| 142552 | F | F | F |
| 142553 | F | F | F |
| 142554 | F | F | F |
| 142555 | F | F | F |
| 142556 | F | F | F |
| 142557 | F | F | F |
| 142558 | F | F | F |
| 142559 | F | F | F |
| 142560 | F | F | F |
| 142561 | F | F | F |
| 142562 | F | F | F |
| 142563 | F | F | F |
| 142564 | F | F | F |
| 142565 | F | F | F |
| 142566 | F | F | F |
| 142567 | F | F | F |
| 142568 | F | F | F |
| 142569 | F | F | F |
| 142570 | F | F | F |
| 142571 | F | F | F |
| 142572 | F | F | F |
| 142573 | F | F | F |
| 142574 | F | F | F |
| 142575 | F | F | F |
| 142576 | F | F | F |
| 142577 | F | F | F |
| 240488 | F | F | F |
| 240489 | F | F | F |
| 240490 | F | F | F |
| 240491 | F | F | F |
| 240492 | F | F | F |
| 240493 | F | F | F |
| 240494 | F | F | F |
| 240495 | F | F | F |
| 240496 | F | F | F |
| 240497 | F | F | F |
| 240498 | F | F | F |
| 240499 | F | F | F |
| 240500 | F | F | F |
| 240501 | F | F | F |
| 240502 | F | F | F |
| 240503 | F | F | F |
| 240504 | F | F | F |
| 240505 | F | F | F |
| 240506 | F | F | F |
| 240507 | F | F | F |
| 240508 | F | F | F |
| 240509 | F | F | F |
| 240510 | F | F | F |
| 240511 | F | F | F |
| 240512 | F | F | F |
| 240513 | F | F | F |
| 240514 | F | F | F |
| 240515 | F | F | F |
| 240516 | F | F | F |
| 240517 | F | F | F |
| 240518 | F | F | F |
| 240519 | F | F | F |
| 240520 | F | F | F |
| 240521 | F | F | F |
| 240522 | F | F | F |
| 240523 | F | F | F |
| 240524 | F | F | F |
| 240525 | F | F | F |
| 240526 | F | F | F |
| 240527 | F | F | F |
| 240528 | F | F | F |
| 240529 | F | F | F |
| 240530 | F | F | F |
| 240531 | F | F | F |
| 240532 | F | F | F |
| 240533 | F | F | F |
| 240534 | F | F | F |
| 240535 | F | F | F |
| 240536 | F | F | F |
| 240537 | F | F | F |
| 240538 | F | F | F |
| 240539 | F | F | F |
| 240540 | F | F | F |
| 240541 | F | F | F |
| 240542 | F | F | F |
| 240543 | F | F | F |
| 240544 | F | F | F |
| 240545 | F | F | F |
| 240546 | F | F | F |
| 240547 | F | F | F |
| 240548 | F | F | F |
| 240549 | F | F | F |
| 240550 | F | F | F |
| 240551 | F | F | F |
| 240552 | F | F | F |
| 240553 | F | F | F |
| 240554 | F | F | F |
| 240555 | F | F | F |
| 240556 | F | F | F |
| 240557 | F | F | F |
| 240558 | F | F | F |
| 240559 | F | F | F |
| 240560 | F | F | F |
| 240561 | F | F | F |
| 240562 | F | F | F |
| 240563 | F | F | F |
| 240564 | F | F | F |
| 240565 | F | F | F |
| 240566 | F | F | F |
| 240567 | F | F | F |
| 240568 | F | F | F |
| 240569 | F | F | F |
| 240570 | F | F | F |
| 240571 | F | F | F |
| 240572 | F | F | F |
| 240573 | F | F | F |
| 240574 | F | F | F |
| 240575 | F | F | F |
| 240576 | F | F | F |
| 240577 | F | F | F |
| 240578 | F | F | F |
| 240579 | F | F | F |
| 240580 | F | F | F |
| 240581 | F | F | F |
| 240582 | F | F | F |
| 240583 | F | F | F |
| 240584 | F | F | F |
| 240585 | F | F | F |
| 240586 | F | F | F |
| 240587 | F | F | F |
| 240588 | F | F | F |
| 240589 | F | F | F |
| 240590 | F | F | F |
| 240591 | F | F | F |
| 240592 | F | F | F |
| 240593 | F | F | F |
| 240594 | F | F | F |
| 240595 | F | F | F |
| 317865 | F | F | F |
| 317866 | F | F | F |
| 317867 | F | F | F |
| 317868 | F | F | F |
| 317869 | F | F | F |
| 317870 | F | F | F |
| 317871 | F | F | F |
| 317872 | F | F | F |
| 317873 | F | F | F |
| 317874 | F | F | F |
| 317875 | F | F | F |
| 317876 | F | F | F |
| 317877 | F | F | F |
| 317878 | F | F | F |
| 317879 | F | F | F |
| 317880 | F | F | F |
| 317881 | F | F | F |
| 317882 | F | F | F |
| 317883 | F | F | F |
| 317884 | F | F | F |
| 317885 | F | F | F |
| 317886 | F | F | F |
| 317887 | F | F | F |
| 317888 | F | F | F |
| 317889 | F | F | F |
| 317890 | F | F | F |
| 317891 | F | F | F |
| 317892 | F | F | F |
| 317893 | F | F | F |
| 317894 | F | F | F |
| 317895 | F | F | F |
| 317896 | F | F | F |
| 317897 | F | F | F |
| 317898 | F | F | F |
| 317899 | F | F | F |
| 317900 | F | F | F |
| 317901 | F | F | F |
| 317902 | F | F | F |
| 317903 | F | F | F |
| 317904 | F | F | F |
| 317905 | F | F | F |
| 317906 | F | F | F |
| 317907 | F | F | F |
| 317908 | F | F | F |
| 317909 | F | F | F |
| 317910 | F | F | F |
| 317911 | F | F | F |
| 317912 | F | F | F |
| 317913 | F | F | F |
| 317914 | F | F | F |
| 317915 | F | F | F |
| 317916 | F | F | F |
| 317917 | F | F | F |
| 317918 | F | F | F |
| 317919 | F | F | F |
| 317920 | F | F | F |
| 317921 | F | F | F |
| 317922 | F | F | F |
| 317923 | F | F | F |
| 317924 | F | F | F |
| 317925 | F | F | F |
| 317926 | F | F | F |
| 317927 | F | F | F |
| 317928 | F | F | F |
| 317929 | F | F | F |
| 317930 | F | F | F |
| 317931 | F | F | F |
| 317932 | F | F | F |
| 317933 | F | F | F |
| 317934 | F | F | F |
| 317935 | F | F | F |
| 317936 | F | F | F |
| 317937 | F | F | F |
| 317938 | F | F | F |
| 317939 | F | F | F |
| 317940 | F | F | F |
| 317941 | F | F | F |
| 317942 | F | F | F |
| 317943 | F | F | F |
| 317944 | F | F | F |
| 317945 | F | F | F |
| 317946 | F | F | F |
| 317947 | F | F | F |
| 317948 | F | F | F |
| 317949 | F | F | F |
| 317950 | F | F | F |
| 317951 | F | F | F |
| 317952 | F | F | F |
| 317953 | F | F | F |
| 317954 | F | F | F |
| 317955 | F | F | F |
| 317956 | F | F | F |
| 317957 | F | F | F |
| 317958 | F | F | F |
| 317959 | F | F | F |
| 317960 | F | F | F |
| 317961 | F | F | F |
| 317962 | F | F | F |
| 317963 | F | F | F |
| 317964 | F | F | F |
| 317965 | F | F | F |
| 317966 | F | F | F |
| 317967 | F | F | F |
| 317968 | F | F | F |
| 317969 | F | F | F |
| 317970 | F | F | F |
| 317971 | F | F | F |
| 317972 | F | F | F |
Independent-effect pairs
c0(branch6318): GAP view gap →scry_octagon::add_bound· br_ifc1(branch6319): GAP view gap →scry_octagon::add_bound· br_if