Decision #911 — library/alloc/src/vec/mod.rs:4077
Status: no_witness
Truth table
| row | c0 br 6008 | c1 br 6009 | outcome |
|---|---|---|---|
| 31507 | F | T | T |
| 31508 | F | T | T |
| 31509 | F | T | T |
| 31510 | F | T | T |
| 31511 | F | T | T |
| 31512 | F | T | T |
| 31513 | F | T | T |
| 31514 | F | T | T |
| 31515 | F | T | T |
| 31516 | F | T | T |
| 31517 | F | T | T |
| 31518 | F | T | T |
| 31519 | F | T | T |
| 31520 | F | T | T |
| 31521 | F | T | T |
| 31522 | F | T | T |
| 31523 | F | T | T |
| 31524 | F | T | T |
| 31525 | F | T | T |
| 31526 | F | T | T |
| 31527 | F | T | T |
| 31528 | F | T | T |
| 31529 | F | T | T |
| 31530 | F | T | T |
| 31531 | F | T | T |
| 31532 | F | T | T |
| 31533 | F | T | T |
| 31534 | F | T | T |
| 52361 | F | T | T |
| 52362 | F | T | T |
| 52363 | F | T | T |
| 52364 | F | T | T |
| 52365 | F | T | T |
| 52366 | F | T | T |
| 52367 | F | T | T |
| 52368 | F | T | T |
| 52369 | F | T | T |
| 52370 | F | T | T |
| 52371 | F | T | T |
| 52372 | F | T | T |
| 52373 | F | T | T |
| 52374 | F | T | T |
| 52375 | F | T | T |
| 52376 | F | T | T |
| 52377 | F | T | T |
| 52378 | F | T | T |
| 52379 | F | T | T |
| 52380 | F | T | T |
| 52381 | F | T | T |
| 52382 | F | T | T |
| 52383 | F | T | T |
| 52384 | F | T | T |
| 52385 | F | T | T |
| 52386 | F | T | T |
| 52387 | F | T | T |
| 52388 | F | T | T |
| 125340 | F | T | T |
| 125341 | F | T | T |
| 125342 | F | T | T |
| 125343 | F | T | T |
| 125344 | F | T | T |
| 125345 | F | T | T |
| 125346 | F | T | T |
| 125347 | F | T | T |
| 142059 | F | T | T |
| 142060 | F | T | T |
| 142061 | F | T | T |
| 142062 | F | T | T |
| 142063 | F | T | T |
| 142064 | F | T | T |
| 142065 | F | T | T |
| 142066 | F | T | T |
| 225677 | F | T | T |
| 225678 | F | T | T |
| 225679 | F | T | T |
| 225680 | F | T | T |
| 225681 | F | T | T |
| 225682 | F | T | T |
| 225683 | F | T | T |
| 225684 | F | T | T |
| 225685 | F | T | T |
| 225686 | F | T | T |
| 225687 | F | T | T |
| 225688 | F | T | T |
| 225689 | F | T | T |
| 225690 | F | T | T |
| 225691 | F | T | T |
| 225692 | F | T | T |
| 225693 | F | T | T |
| 225694 | F | T | T |
| 225695 | F | T | T |
| 225696 | F | T | T |
| 225697 | F | T | T |
| 225698 | F | T | T |
| 225699 | F | T | T |
| 225700 | F | T | T |
| 225701 | F | T | T |
| 225702 | F | T | T |
| 225703 | F | T | T |
| 225704 | F | T | T |
| 225705 | F | T | T |
| 225706 | F | T | T |
| 225707 | F | T | T |
| 225708 | F | T | T |
| 225709 | F | T | T |
| 225710 | F | T | T |
| 225711 | F | T | T |
| 225712 | F | T | T |
| 225713 | F | T | T |
| 225714 | F | T | T |
| 225715 | F | T | T |
| 225716 | F | T | T |
| 225717 | F | T | T |
| 225718 | F | T | T |
| 225719 | F | T | T |
| 225720 | F | T | T |
| 225721 | F | T | T |
| 225722 | F | T | T |
| 225723 | F | T | T |
| 225724 | F | T | T |
| 225725 | F | T | T |
| 225726 | F | T | T |
| 225727 | F | T | T |
| 225728 | F | T | T |
| 225729 | F | T | T |
| 225730 | F | T | T |
| 225731 | F | T | T |
| 225732 | F | T | T |
| 225733 | F | T | T |
| 225734 | F | T | T |
| 225735 | F | T | T |
| 225736 | F | T | T |
| 225737 | F | T | T |
| 225738 | F | T | T |
| 225739 | F | T | T |
| 225740 | F | T | T |
| 225741 | F | T | T |
| 225742 | F | T | T |
| 225743 | F | T | T |
| 225744 | F | T | T |
| 225745 | F | T | T |
| 225746 | F | T | T |
| 225747 | F | T | T |
| 225748 | F | T | T |
| 225749 | F | T | T |
| 225750 | F | T | T |
| 225751 | F | T | T |
| 225752 | F | T | T |
| 225753 | F | T | T |
| 225754 | F | T | T |
| 225755 | F | T | T |
| 225756 | F | T | T |
| 225757 | F | T | T |
| 225758 | F | T | T |
| 225759 | F | T | T |
| 225760 | F | T | T |
| 225761 | F | T | T |
| 225762 | F | T | T |
| 225763 | F | T | T |
| 225764 | F | T | T |
| 225765 | F | T | T |
| 225766 | F | T | T |
| 225767 | F | T | T |
| 225768 | F | T | T |
| 225769 | F | T | T |
| 225770 | F | T | T |
| 225771 | F | T | T |
| 225772 | F | T | T |
| 225773 | F | T | T |
| 225774 | F | T | T |
| 225775 | F | T | T |
| 225776 | F | T | T |
| 225777 | F | T | T |
| 225778 | F | T | T |
| 225779 | F | T | T |
| 225780 | F | T | T |
| 225781 | F | T | T |
| 225782 | F | T | T |
| 225783 | F | T | T |
| 225784 | F | T | T |
| 225785 | F | T | T |
| 225786 | F | T | T |
| 225787 | F | T | T |
| 225788 | F | T | T |
| 225789 | F | T | T |
| 225790 | F | T | T |
| 225791 | F | T | T |
| 225792 | F | T | T |
| 225793 | F | T | T |
| 225794 | F | T | T |
| 225795 | F | T | T |
| 225796 | F | T | T |
| 225797 | F | T | T |
| 225798 | F | T | T |
| 225799 | F | T | T |
| 225800 | F | T | T |
| 225801 | F | T | T |
| 225802 | F | T | T |
| 225803 | F | T | T |
| 225804 | F | T | T |
| 225805 | F | T | T |
| 225806 | F | T | T |
| 225807 | F | T | T |
| 225808 | F | T | T |
| 225809 | F | T | T |
| 225810 | F | T | T |
| 225811 | F | T | T |
| 225812 | F | T | T |
| 225813 | F | T | T |
| 225814 | F | T | T |
| 225815 | F | T | T |
| 225816 | F | T | T |
| 225817 | F | T | T |
| 225818 | F | T | T |
| 225819 | F | T | T |
| 225820 | F | T | T |
| 225821 | F | T | T |
| 225822 | F | T | T |
| 225823 | F | T | T |
| 225824 | F | T | T |
| 225825 | F | T | T |
| 225826 | F | T | T |
| 225827 | F | T | T |
| 225828 | F | T | T |
| 225829 | F | T | T |
| 225830 | F | T | T |
| 225831 | F | T | T |
| 225832 | F | T | T |
| 225833 | F | T | T |
| 225834 | F | T | T |
| 225835 | F | T | T |
| 225836 | F | T | T |
| 225837 | F | T | T |
| 225838 | F | T | T |
| 225839 | F | T | T |
| 225840 | F | T | T |
| 225841 | F | T | T |
| 225842 | F | T | T |
| 225843 | F | T | T |
| 225844 | F | T | T |
| 225845 | F | T | T |
| 225846 | F | T | T |
| 225847 | F | T | T |
| 225848 | F | T | T |
| 225849 | F | T | T |
| 225850 | F | T | T |
| 225851 | F | T | T |
| 225852 | F | T | T |
| 225853 | F | T | T |
| 225854 | F | T | T |
| 225855 | F | T | T |
| 225856 | F | T | T |
| 225857 | F | T | T |
| 225858 | F | T | T |
| 303054 | F | T | T |
| 303055 | F | T | T |
| 303056 | F | T | T |
| 303057 | F | T | T |
| 303058 | F | T | T |
| 303059 | F | T | T |
| 303060 | F | T | T |
| 303061 | F | T | T |
| 303062 | F | T | T |
| 303063 | F | T | T |
| 303064 | F | T | T |
| 303065 | F | T | T |
| 303066 | F | T | T |
| 303067 | F | T | T |
| 303068 | F | T | T |
| 303069 | F | T | T |
| 303070 | F | T | T |
| 303071 | F | T | T |
| 303072 | F | T | T |
| 303073 | F | T | T |
| 303074 | F | T | T |
| 303075 | F | T | T |
| 303076 | F | T | T |
| 303077 | F | T | T |
| 303078 | F | T | T |
| 303079 | F | T | T |
| 303080 | F | T | T |
| 303081 | F | T | T |
| 303082 | F | T | T |
| 303083 | F | T | T |
| 303084 | F | T | T |
| 303085 | F | T | T |
| 303086 | F | T | T |
| 303087 | F | T | T |
| 303088 | F | T | T |
| 303089 | F | T | T |
| 303090 | F | T | T |
| 303091 | F | T | T |
| 303092 | F | T | T |
| 303093 | F | T | T |
| 303094 | F | T | T |
| 303095 | F | T | T |
| 303096 | F | T | T |
| 303097 | F | T | T |
| 303098 | F | T | T |
| 303099 | F | T | T |
| 303100 | F | T | T |
| 303101 | F | T | T |
| 303102 | F | T | T |
| 303103 | F | T | T |
| 303104 | F | T | T |
| 303105 | F | T | T |
| 303106 | F | T | T |
| 303107 | F | T | T |
| 303108 | F | T | T |
| 303109 | F | T | T |
| 303110 | F | T | T |
| 303111 | F | T | T |
| 303112 | F | T | T |
| 303113 | F | T | T |
| 303114 | F | T | T |
| 303115 | F | T | T |
| 303116 | F | T | T |
| 303117 | F | T | T |
| 303118 | F | T | T |
| 303119 | F | T | T |
| 303120 | F | T | T |
| 303121 | F | T | T |
| 303122 | F | T | T |
| 303123 | F | T | T |
| 303124 | F | T | T |
| 303125 | F | T | T |
| 303126 | F | T | T |
| 303127 | F | T | T |
| 303128 | F | T | T |
| 303129 | F | T | T |
| 303130 | F | T | T |
| 303131 | F | T | T |
| 303132 | F | T | T |
| 303133 | F | T | T |
| 303134 | F | T | T |
| 303135 | F | T | T |
| 303136 | F | T | T |
| 303137 | F | T | T |
| 303138 | F | T | T |
| 303139 | F | T | T |
| 303140 | F | T | T |
| 303141 | F | T | T |
| 303142 | F | T | T |
| 303143 | F | T | T |
| 303144 | F | T | T |
| 303145 | F | T | T |
| 303146 | F | T | T |
| 303147 | F | T | T |
| 303148 | F | T | T |
| 303149 | F | T | T |
| 303150 | F | T | T |
| 303151 | F | T | T |
| 303152 | F | T | T |
| 303153 | F | T | T |
| 303154 | F | T | T |
| 303155 | F | T | T |
| 303156 | F | T | T |
| 303157 | F | T | T |
| 303158 | F | T | T |
| 303159 | F | T | T |
| 303160 | F | T | T |
| 303161 | F | T | T |
| 303162 | F | T | T |
| 303163 | F | T | T |
| 303164 | F | T | T |
| 303165 | F | T | T |
| 303166 | F | T | T |
| 303167 | F | T | T |
| 303168 | F | T | T |
| 303169 | F | T | T |
| 303170 | F | T | T |
| 303171 | F | T | T |
| 303172 | F | T | T |
| 303173 | F | T | T |
| 303174 | F | T | T |
| 303175 | F | T | T |
| 303176 | F | T | T |
| 303177 | F | T | T |
| 303178 | F | T | T |
| 303179 | F | T | T |
| 303180 | F | T | T |
| 303181 | F | T | T |
| 303182 | F | T | T |
| 303183 | F | T | T |
| 303184 | F | T | T |
| 303185 | F | T | T |
| 303186 | F | T | T |
| 303187 | F | T | T |
| 303188 | F | T | T |
| 303189 | F | T | T |
| 303190 | F | T | T |
| 303191 | F | T | T |
| 303192 | F | T | T |
| 303193 | F | T | T |
| 303194 | F | T | T |
| 303195 | F | T | T |
| 303196 | F | T | T |
| 303197 | F | T | T |
| 303198 | F | T | T |
| 303199 | F | T | T |
| 303200 | F | T | T |
| 303201 | F | T | T |
| 303202 | F | T | T |
| 303203 | F | T | T |
| 303204 | F | T | T |
| 303205 | F | T | T |
| 303206 | F | T | T |
| 303207 | F | T | T |
| 303208 | F | T | T |
| 303209 | F | T | T |
| 303210 | F | T | T |
| 303211 | F | T | T |
| 303212 | F | T | T |
| 303213 | F | T | T |
| 303214 | F | T | T |
| 303215 | F | T | T |
| 303216 | F | T | T |
| 303217 | F | T | T |
| 303218 | F | T | T |
| 303219 | F | T | T |
| 303220 | F | T | T |
| 303221 | F | T | T |
| 303222 | F | T | T |
| 303223 | F | T | T |
| 303224 | F | T | T |
| 303225 | F | T | T |
| 303226 | F | T | T |
| 303227 | F | T | T |
| 303228 | F | T | T |
| 303229 | F | T | T |
| 303230 | F | T | T |
| 303231 | F | T | T |
| 303232 | F | T | T |
| 303233 | F | T | T |
| 303234 | F | T | T |
| 303235 | F | T | T |
Independent-effect pairs
c0(branch6008): GAP view gap →<scry_poly::Poly>::entails· br_ifc1(branch6009): GAP view gap →<scry_poly::Poly>::entails· br_if