Decision #446 — library/core/src/iter/adapters/mod.rs:164
Status: no_witness
Truth table
| row | c0 br 2982 | c1 br 2984 | c2 br 2985 | c3 br 2986 | outcome |
|---|---|---|---|---|---|
| 18058 | F | * | * | * | F |
| 18059 | F | * | * | * | F |
| 18060 | F | * | * | * | F |
| 18061 | F | F | F | F | F |
| 18062 | F | * | * | * | F |
| 18063 | F | * | * | * | F |
| 18064 | F | * | * | * | F |
| 18065 | F | F | F | F | F |
| 18066 | F | * | * | * | F |
| 18067 | F | * | * | * | F |
| 18068 | F | * | * | * | F |
| 18069 | F | F | F | F | F |
| 18070 | F | * | * | * | F |
| 18071 | F | * | * | * | F |
| 18072 | F | * | * | * | F |
| 18073 | F | F | F | F | F |
| 18074 | F | * | * | * | F |
| 18075 | F | * | * | * | F |
| 18076 | F | * | * | * | F |
| 18077 | F | F | F | F | F |
| 18078 | F | * | * | * | F |
| 18079 | F | * | * | * | F |
| 18080 | F | * | * | * | F |
| 18081 | F | F | F | F | F |
| 18082 | F | * | * | * | F |
| 18083 | F | * | * | * | F |
| 18084 | F | * | * | * | F |
| 18085 | F | F | F | F | F |
| 18086 | F | * | * | * | F |
| 18087 | F | * | * | * | F |
| 18088 | F | * | * | * | F |
| 18089 | F | F | F | F | F |
| 18090 | F | * | * | * | F |
| 18091 | F | * | * | * | F |
| 18092 | F | * | * | * | F |
| 18093 | F | F | F | F | F |
| 18094 | F | * | * | * | F |
| 18095 | F | * | * | * | F |
| 18096 | F | * | * | * | F |
| 18097 | F | F | F | F | F |
| 18098 | F | * | * | * | F |
| 18099 | F | * | * | * | F |
| 18100 | F | * | * | * | F |
| 18101 | F | F | F | F | F |
| 18102 | F | * | * | * | F |
| 18103 | F | * | * | * | F |
| 18104 | F | * | * | * | F |
| 18105 | F | F | F | F | F |
| 18106 | F | * | * | * | F |
| 18107 | F | * | * | * | F |
| 18108 | F | * | * | * | F |
| 18109 | F | F | F | F | F |
| 18110 | F | * | * | * | F |
| 18111 | F | * | * | * | F |
| 18112 | F | * | * | * | F |
| 18113 | F | F | F | F | F |
| 18114 | F | * | * | * | F |
| 18115 | F | * | * | * | F |
| 18116 | F | * | * | * | F |
| 18117 | F | F | F | F | F |
| 18118 | F | * | * | * | F |
| 18119 | F | * | * | * | F |
| 18120 | F | * | * | * | F |
| 18121 | F | F | F | F | F |
| 25776 | F | * | * | * | F |
| 25777 | F | * | * | * | F |
| 25778 | F | * | * | * | F |
| 25779 | F | F | F | F | F |
| 25780 | F | * | * | * | F |
| 25781 | F | * | * | * | F |
| 25782 | F | * | * | * | F |
| 25783 | F | F | F | F | F |
| 25784 | F | * | * | * | F |
| 25785 | F | * | * | * | F |
| 25786 | F | * | * | * | F |
| 25787 | F | F | F | F | F |
| 25788 | F | * | * | * | F |
| 25789 | F | * | * | * | F |
| 25790 | F | * | * | * | F |
| 25791 | F | F | F | F | F |
| 25792 | F | * | * | * | F |
| 25793 | F | * | * | * | F |
| 25794 | F | * | * | * | F |
| 25795 | F | F | F | F | F |
| 25796 | F | * | * | * | F |
| 25797 | F | * | * | * | F |
| 25798 | F | * | * | * | F |
| 25799 | F | F | F | F | F |
| 25800 | F | * | * | * | F |
| 25801 | F | * | * | * | F |
| 25802 | F | * | * | * | F |
| 25803 | F | F | F | F | F |
| 25804 | F | * | * | * | F |
| 25805 | F | * | * | * | F |
| 25806 | F | * | * | * | F |
| 25807 | F | F | F | F | F |
| 25808 | F | * | * | * | F |
| 25809 | F | * | * | * | F |
| 25810 | F | * | * | * | F |
| 25811 | F | F | F | F | F |
| 25812 | F | * | * | * | F |
| 25813 | F | * | * | * | F |
| 25814 | F | * | * | * | F |
| 25815 | F | F | F | F | F |
| 25816 | F | * | * | * | F |
| 25817 | F | * | * | * | F |
| 25818 | F | * | * | * | F |
| 25819 | F | F | F | F | F |
| 25820 | F | * | * | * | F |
| 25821 | F | * | * | * | F |
| 25822 | F | * | * | * | F |
| 25823 | F | F | F | F | F |
| 25824 | F | * | * | * | F |
| 25825 | F | * | * | * | F |
| 25826 | F | * | * | * | F |
| 25827 | F | F | F | F | F |
| 25828 | F | * | * | * | F |
| 25829 | F | * | * | * | F |
| 25830 | F | * | * | * | F |
| 25831 | F | F | F | F | F |
| 25832 | F | * | * | * | F |
| 25833 | F | * | * | * | F |
| 25834 | F | * | * | * | F |
| 25835 | F | F | F | F | F |
| 25836 | F | * | * | * | F |
| 25837 | F | * | * | * | F |
| 25838 | F | * | * | * | F |
| 25839 | F | F | F | F | F |
| 31569 | F | * | * | * | F |
| 31570 | F | F | F | F | F |
| 37507 | F | * | * | * | F |
| 37508 | F | F | F | F | F |
| 59509 | F | * | * | * | F |
| 59510 | F | * | * | * | F |
| 59511 | F | * | * | * | F |
| 59512 | F | F | F | F | F |
| 59513 | F | * | * | * | F |
| 59514 | F | * | * | * | F |
| 59515 | F | * | * | * | F |
| 59516 | F | F | F | F | F |
| 59517 | F | * | * | * | F |
| 59518 | F | * | * | * | F |
| 59519 | F | * | * | * | F |
| 59520 | F | F | F | F | F |
| 59521 | F | * | * | * | F |
| 59522 | F | * | * | * | F |
| 59523 | F | * | * | * | F |
| 59524 | F | F | F | F | F |
| 59525 | F | * | * | * | F |
| 59526 | F | * | * | * | F |
| 59527 | F | * | * | * | F |
| 59528 | F | F | F | F | F |
| 59529 | F | * | * | * | F |
| 59530 | F | * | * | * | F |
| 59531 | F | * | * | * | F |
| 59532 | F | F | F | F | F |
| 59533 | F | * | * | * | F |
| 59534 | F | * | * | * | F |
| 59535 | F | * | * | * | F |
| 59536 | F | F | F | F | F |
| 59537 | F | * | * | * | F |
| 59538 | F | * | * | * | F |
| 59539 | F | * | * | * | F |
| 59540 | F | F | F | F | F |
| 59541 | F | * | * | * | F |
| 59542 | F | * | * | * | F |
| 59543 | F | * | * | * | F |
| 59544 | F | F | F | F | F |
| 59545 | F | * | * | * | F |
| 59546 | F | * | * | * | F |
| 59547 | F | * | * | * | F |
| 59548 | F | F | F | F | F |
| 59549 | F | * | * | * | F |
| 59550 | F | * | * | * | F |
| 59551 | F | * | * | * | F |
| 59552 | F | F | F | F | F |
| 59553 | F | * | * | * | F |
| 59554 | F | * | * | * | F |
| 59555 | F | * | * | * | F |
| 59556 | F | F | F | F | F |
| 59557 | F | * | * | * | F |
| 59558 | F | * | * | * | F |
| 59559 | F | * | * | * | F |
| 59560 | F | F | F | F | F |
| 59561 | F | * | * | * | F |
| 59562 | F | * | * | * | F |
| 59563 | F | * | * | * | F |
| 59564 | F | F | F | F | F |
| 59565 | F | * | * | * | F |
| 59566 | F | * | * | * | F |
| 59567 | F | * | * | * | F |
| 59568 | F | F | F | F | F |
| 59569 | F | * | * | * | F |
| 59570 | F | * | * | * | F |
| 59571 | F | * | * | * | F |
| 59572 | F | F | F | F | F |
| 59573 | F | * | * | * | F |
| 59574 | F | * | * | * | F |
| 59575 | F | * | * | * | F |
| 59576 | F | F | F | F | F |
| 59577 | F | * | * | * | F |
| 59578 | F | * | * | * | F |
| 59579 | F | * | * | * | F |
| 59580 | F | F | F | F | F |
| 69281 | F | * | * | * | F |
| 69282 | F | * | * | * | F |
| 69283 | F | * | * | * | F |
| 69284 | F | F | F | F | F |
| 69285 | F | * | * | * | F |
| 69286 | F | * | * | * | F |
| 69287 | F | * | * | * | F |
| 69288 | F | F | F | F | F |
| 69289 | F | * | * | * | F |
| 69290 | F | * | * | * | F |
| 69291 | F | * | * | * | F |
| 69292 | F | F | F | F | F |
| 69293 | F | * | * | * | F |
| 69294 | F | * | * | * | F |
| 69295 | F | * | * | * | F |
| 69296 | F | F | F | F | F |
| 69297 | F | * | * | * | F |
| 69298 | F | * | * | * | F |
| 69299 | F | * | * | * | F |
| 69300 | F | F | F | F | F |
| 69301 | F | * | * | * | F |
| 69302 | F | * | * | * | F |
| 69303 | F | * | * | * | F |
| 69304 | F | F | F | F | F |
| 69305 | F | * | * | * | F |
| 69306 | F | * | * | * | F |
| 69307 | F | * | * | * | F |
| 69308 | F | F | F | F | F |
| 69309 | F | * | * | * | F |
| 69310 | F | * | * | * | F |
| 69311 | F | * | * | * | F |
| 69312 | F | F | F | F | F |
| 69313 | F | * | * | * | F |
| 69314 | F | * | * | * | F |
| 69315 | F | * | * | * | F |
| 69316 | F | F | F | F | F |
| 69317 | F | * | * | * | F |
| 69318 | F | * | * | * | F |
| 69319 | F | * | * | * | F |
| 69320 | F | F | F | F | F |
| 69321 | F | * | * | * | F |
| 69322 | F | * | * | * | F |
| 69323 | F | * | * | * | F |
| 69324 | F | F | F | F | F |
| 69325 | F | * | * | * | F |
| 69326 | F | * | * | * | F |
| 69327 | F | * | * | * | F |
| 69328 | F | F | F | F | F |
| 69329 | F | * | * | * | F |
| 69330 | F | * | * | * | F |
| 69331 | F | * | * | * | F |
| 69332 | F | F | F | F | F |
| 69333 | F | * | * | * | F |
| 69334 | F | * | * | * | F |
| 69335 | F | * | * | * | F |
| 69336 | F | F | F | F | F |
| 69337 | F | * | * | * | F |
| 69338 | F | * | * | * | F |
| 69339 | F | * | * | * | F |
| 69340 | F | F | F | F | F |
| 69341 | F | * | * | * | F |
| 69342 | F | * | * | * | F |
| 69343 | F | * | * | * | F |
| 69344 | F | F | F | F | F |
| 69345 | F | * | * | * | F |
| 69346 | F | * | * | * | F |
| 69347 | F | * | * | * | F |
| 69348 | F | F | F | F | F |
| 69349 | F | * | * | * | F |
| 69350 | F | * | * | * | F |
| 69351 | F | * | * | * | F |
| 69352 | F | F | F | F | F |
| 107184 | F | * | * | * | F |
| 107185 | F | * | * | * | F |
| 107186 | F | * | * | * | F |
| 107187 | F | F | F | F | F |
| 107188 | F | * | * | * | F |
| 107189 | F | * | * | * | F |
| 107190 | F | * | * | * | F |
| 107191 | F | F | F | F | F |
| 107192 | F | * | * | * | F |
| 107193 | F | * | * | * | F |
| 107194 | F | * | * | * | F |
| 107195 | F | F | F | F | F |
| 107196 | F | * | * | * | F |
| 107197 | F | * | * | * | F |
| 107198 | F | * | * | * | F |
| 107199 | F | F | F | F | F |
| 107200 | F | * | * | * | F |
| 107201 | F | * | * | * | F |
| 107202 | F | * | * | * | F |
| 107203 | F | F | F | F | F |
| 107204 | F | * | * | * | F |
| 107205 | F | * | * | * | F |
| 107206 | F | * | * | * | F |
| 107207 | F | F | F | F | F |
| 107208 | F | * | * | * | F |
| 107209 | F | * | * | * | F |
| 107210 | F | * | * | * | F |
| 107211 | F | F | F | F | F |
| 107212 | F | * | * | * | F |
| 107213 | F | * | * | * | F |
| 107214 | F | * | * | * | F |
| 107215 | F | F | F | F | F |
| 107216 | F | * | * | * | F |
| 107217 | F | * | * | * | F |
| 107218 | F | * | * | * | F |
| 107219 | F | F | F | F | F |
| 107220 | F | * | * | * | F |
| 107221 | F | * | * | * | F |
| 107222 | F | * | * | * | F |
| 107223 | F | F | F | F | F |
| 107224 | F | * | * | * | F |
| 107225 | F | * | * | * | F |
| 107226 | F | * | * | * | F |
| 107227 | F | F | F | F | F |
| 107228 | F | * | * | * | F |
| 107229 | F | * | * | * | F |
| 107230 | F | * | * | * | F |
| 107231 | F | F | F | F | F |
| 107232 | F | * | * | * | F |
| 107233 | F | * | * | * | F |
| 107234 | F | * | * | * | F |
| 107235 | F | F | F | F | F |
| 107236 | F | * | * | * | F |
| 107237 | F | * | * | * | F |
| 107238 | F | * | * | * | F |
| 107239 | F | F | F | F | F |
| 107240 | F | * | * | * | F |
| 107241 | F | * | * | * | F |
| 107242 | F | * | * | * | F |
| 107243 | F | F | F | F | F |
| 107244 | F | * | * | * | F |
| 107245 | F | * | * | * | F |
| 107246 | F | * | * | * | F |
| 107247 | F | F | F | F | F |
| 126047 | F | * | * | * | F |
| 126048 | F | * | * | * | F |
| 126049 | F | * | * | * | F |
| 126050 | F | F | F | F | F |
| 126051 | F | * | * | * | F |
| 126052 | F | * | * | * | F |
| 126053 | F | * | * | * | F |
| 126054 | F | F | F | F | F |
| 126055 | F | * | * | * | F |
| 126056 | F | * | * | * | F |
| 126057 | F | * | * | * | F |
| 126058 | F | F | F | F | F |
| 126059 | F | * | * | * | F |
| 126060 | F | * | * | * | F |
| 126061 | F | * | * | * | F |
| 126062 | F | F | F | F | F |
| 126063 | F | * | * | * | F |
| 126064 | F | * | * | * | F |
| 126065 | F | * | * | * | F |
| 126066 | F | F | F | F | F |
| 126067 | F | * | * | * | F |
| 126068 | F | * | * | * | F |
| 126069 | F | * | * | * | F |
| 126070 | F | F | F | F | F |
| 126071 | F | * | * | * | F |
| 126072 | F | * | * | * | F |
| 126073 | F | * | * | * | F |
| 126074 | F | F | F | F | F |
| 126075 | F | * | * | * | F |
| 126076 | F | * | * | * | F |
| 126077 | F | * | * | * | F |
| 126078 | F | F | F | F | F |
| 126079 | F | * | * | * | F |
| 126080 | F | * | * | * | F |
| 126081 | F | * | * | * | F |
| 126082 | F | F | F | F | F |
| 126083 | F | * | * | * | F |
| 126084 | F | * | * | * | F |
| 126085 | F | * | * | * | F |
| 126086 | F | F | F | F | F |
| 126087 | F | * | * | * | F |
| 126088 | F | * | * | * | F |
| 126089 | F | * | * | * | F |
| 126090 | F | F | F | F | F |
| 126091 | F | * | * | * | F |
| 126092 | F | * | * | * | F |
| 126093 | F | * | * | * | F |
| 126094 | F | F | F | F | F |
| 126095 | F | * | * | * | F |
| 126096 | F | * | * | * | F |
| 126097 | F | * | * | * | F |
| 126098 | F | F | F | F | F |
| 126099 | F | * | * | * | F |
| 126100 | F | * | * | * | F |
| 126101 | F | * | * | * | F |
| 126102 | F | F | F | F | F |
| 126103 | F | * | * | * | F |
| 126104 | F | * | * | * | F |
| 126105 | F | * | * | * | F |
| 126106 | F | F | F | F | F |
| 126107 | F | * | * | * | F |
| 126108 | F | * | * | * | F |
| 126109 | F | * | * | * | F |
| 126110 | F | F | F | F | F |
Independent-effect pairs
All 4 conditions live in scry_octagon::bound_of — 4 br_if
c0(branch2982): GAP view gap →c1(branch2984): GAP view gap →c2(branch2985): GAP view gap →c3(branch2986): GAP view gap →