Decision #779 — library/core/src/iter/adapters/zip.rs:304
Status: partial
Truth table
| row | c0 br 5197 | c1 br 5198 | outcome |
|---|---|---|---|
| 1797 | F | F | F |
| 1798 | F | F | F |
| 1799 | F | F | F |
| 1800 | F | F | F |
| 1801 | F | T | T |
| 1802 | F | F | F |
| 1803 | F | F | F |
| 1804 | F | F | F |
| 1805 | F | F | F |
| 1806 | F | T | T |
| 5588 | F | F | F |
| 5589 | F | F | F |
| 5590 | F | F | F |
| 5591 | F | F | F |
| 5592 | F | T | T |
| 5593 | F | F | F |
| 5594 | F | F | F |
| 5595 | F | F | F |
| 5596 | F | F | F |
| 5597 | F | T | T |
| 9369 | F | F | F |
| 9370 | F | F | F |
| 9371 | F | F | F |
| 9372 | F | F | F |
| 9373 | F | T | T |
| 9374 | F | F | F |
| 9375 | F | F | F |
| 9376 | F | F | F |
| 9377 | F | F | F |
| 9378 | F | T | T |
| 12300 | F | F | F |
| 12301 | F | F | F |
| 13674 | F | F | F |
| 13675 | F | F | F |
| 15001 | F | F | F |
| 15002 | F | F | F |
| 22153 | F | T | T |
| 22154 | F | T | T |
| 31631 | F | T | T |
| 31632 | F | T | T |
| 37880 | F | T | T |
| 37881 | F | T | T |
| 44093 | F | T | T |
| 44094 | F | T | T |
| 48998 | F | T | T |
| 48999 | F | F | F |
| 49000 | F | T | T |
| 49001 | F | T | T |
| 49002 | F | T | T |
| 49003 | F | F | F |
| 49004 | F | T | T |
| 49005 | F | T | T |
| 53199 | F | T | T |
| 53200 | F | F | F |
| 53201 | F | T | T |
| 53202 | F | T | T |
| 53203 | F | T | T |
| 53204 | F | F | F |
| 53205 | F | T | T |
| 53206 | F | T | T |
| 57729 | F | T | T |
| 57730 | F | F | F |
| 57731 | F | T | T |
| 57732 | F | T | T |
| 57733 | F | T | T |
| 57734 | F | F | F |
| 57735 | F | T | T |
| 57736 | F | T | T |
| 61922 | F | T | T |
| 61923 | F | F | F |
| 61924 | F | T | T |
| 61925 | F | T | T |
| 61926 | F | T | T |
| 61927 | F | F | F |
| 61928 | F | T | T |
| 61929 | F | T | T |
| 72161 | F | T | T |
| 72162 | F | T | T |
| 83674 | F | T | T |
| 83675 | F | T | T |
| 89482 | F | F | F |
| 89483 | F | F | F |
| 89484 | F | F | F |
| 89485 | F | F | F |
| 89486 | F | F | F |
| 89487 | F | F | F |
| 89488 | F | F | F |
| 89489 | F | F | F |
| 89490 | F | F | F |
| 89491 | F | F | F |
| 89492 | F | F | F |
| 89493 | F | F | F |
| 93750 | F | F | F |
| 93751 | F | F | F |
| 93752 | F | F | F |
| 93753 | F | F | F |
| 93754 | F | F | F |
| 93755 | F | F | F |
| 93756 | F | F | F |
| 93757 | F | F | F |
| 93758 | F | F | F |
| 93759 | F | F | F |
| 93760 | F | F | F |
| 93761 | F | F | F |
| 96556 | F | F | F |
| 96557 | F | F | F |
| 96558 | F | F | F |
| 96559 | F | F | F |
| 96560 | F | F | F |
| 96561 | F | F | F |
| 96562 | F | F | F |
| 96563 | F | F | F |
| 96564 | F | F | F |
| 96565 | F | F | F |
| 98348 | F | F | F |
| 98349 | F | F | F |
| 99863 | F | F | F |
| 99864 | F | F | F |
| 101281 | F | F | F |
| 101282 | F | F | F |
| 103313 | F | T | T |
| 103314 | F | T | T |
| 106937 | F | F | F |
| 106938 | F | F | F |
| 106939 | F | F | F |
| 106940 | F | F | F |
| 106941 | F | F | F |
| 106942 | F | F | F |
| 109498 | F | T | T |
| 109499 | F | T | T |
| 112410 | F | F | F |
| 112411 | F | F | F |
| 112412 | F | F | F |
| 112413 | F | F | F |
| 112414 | F | F | F |
| 112415 | F | F | F |
| 112416 | F | F | F |
| 112417 | F | F | F |
| 115340 | F | T | T |
| 115341 | F | T | T |
| 115342 | F | T | T |
| 115343 | F | T | T |
| 134325 | F | T | T |
| 134326 | F | T | T |
| 157261 | F | T | T |
| 157262 | F | T | T |
| 163630 | F | T | T |
| 163631 | F | T | T |
| 165211 | F | T | T |
| 165212 | F | T | T |
| 166931 | F | T | T |
| 166932 | F | T | T |
Independent-effect pairs
c0(branch5197): GAP view gap →scry_octagon::top· br_ifc1(branch5198): PROVED — pair rows1797,1801(unique-cause)scry_octagon::top· br_if