Decision #113 — library/core/src/slice/sort/stable/drift.rs:87
Status: no_witness
Truth table
| row | c0 br 686 | c1 br 687 | outcome |
|---|---|---|---|
| 120 | F | F | F |
| 121 | F | F | F |
| 122 | F | F | F |
| 123 | F | F | F |
| 124 | F | F | F |
| 125 | F | F | F |
| 126 | F | F | F |
| 127 | F | F | F |
| 128 | F | F | F |
| 129 | F | F | F |
| 130 | F | F | F |
| 131 | F | F | F |
| 132 | F | F | F |
| 7080 | F | F | F |
| 7081 | F | F | F |
| 7082 | F | F | F |
| 7083 | F | F | F |
| 7084 | F | F | F |
| 7085 | F | F | F |
| 7086 | F | F | F |
| 7087 | F | F | F |
| 7088 | F | F | F |
| 7089 | F | F | F |
| 7090 | F | F | F |
| 7091 | F | F | F |
| 7092 | F | F | F |
| 13818 | F | F | F |
| 13819 | F | F | F |
| 13820 | F | F | F |
| 13821 | F | F | F |
| 13822 | F | F | F |
| 13823 | F | F | F |
| 13824 | F | F | F |
| 13825 | F | F | F |
| 13826 | F | F | F |
| 13827 | F | F | F |
| 13828 | F | F | F |
| 13829 | F | F | F |
| 13830 | F | F | F |
| 21203 | F | F | F |
| 21204 | F | F | F |
| 21205 | F | F | F |
| 21206 | F | F | F |
| 21207 | F | F | F |
| 21208 | F | F | F |
| 23946 | F | F | F |
| 23947 | F | F | F |
| 23948 | F | F | F |
| 23949 | F | F | F |
| 23950 | F | F | F |
| 23951 | F | F | F |
| 26589 | F | F | F |
| 26590 | F | F | F |
| 26591 | F | F | F |
| 26592 | F | F | F |
| 26593 | F | F | F |
| 26594 | F | F | F |
| 29480 | F | F | F |
| 29481 | F | F | F |
| 29482 | F | F | F |
| 29483 | F | F | F |
| 29484 | F | F | F |
| 29485 | F | F | F |
| 29486 | F | F | F |
| 29487 | F | F | F |
| 29488 | F | F | F |
| 29489 | F | F | F |
| 29490 | F | F | F |
| 29491 | F | F | F |
| 29492 | F | F | F |
| 29493 | F | F | F |
| 29494 | F | F | F |
| 29495 | F | F | F |
| 50335 | F | F | F |
| 50336 | F | F | F |
| 50337 | F | F | F |
| 50338 | F | F | F |
| 50339 | F | F | F |
| 50340 | F | F | F |
| 50341 | F | F | F |
| 50342 | F | F | F |
| 50343 | F | F | F |
| 50344 | F | F | F |
| 50345 | F | F | F |
| 50346 | F | F | F |
| 50347 | F | F | F |
| 50348 | F | F | F |
| 50349 | F | F | F |
| 50350 | F | F | F |
| 71045 | F | F | F |
| 71046 | F | F | F |
| 71047 | F | F | F |
| 71048 | F | F | F |
| 71049 | F | F | F |
| 71050 | F | F | F |
| 71051 | F | F | F |
| 71052 | F | F | F |
| 71053 | F | F | F |
| 71054 | F | F | F |
| 71055 | F | F | F |
| 71056 | F | F | F |
| 71057 | F | F | F |
| 71058 | F | F | F |
| 71059 | F | F | F |
| 80928 | F | F | F |
| 80929 | F | F | F |
| 80930 | F | F | F |
| 80931 | F | F | F |
| 80932 | F | F | F |
| 80933 | F | F | F |
| 80934 | F | F | F |
| 80935 | F | F | F |
| 80936 | F | F | F |
| 80937 | F | F | F |
| 80938 | F | F | F |
| 80939 | F | F | F |
| 80940 | F | F | F |
| 80941 | F | F | F |
| 80942 | F | F | F |
| 90747 | F | F | F |
| 90748 | F | F | F |
| 90749 | F | F | F |
| 90750 | F | F | F |
| 90751 | F | F | F |
| 90752 | F | F | F |
| 90753 | F | F | F |
| 90754 | F | F | F |
| 90755 | F | F | F |
| 90756 | F | F | F |
| 90757 | F | F | F |
| 90758 | F | F | F |
| 90759 | F | F | F |
| 90760 | F | F | F |
| 98521 | F | F | F |
| 98522 | F | F | F |
| 98523 | F | F | F |
| 98524 | F | F | F |
| 98525 | F | F | F |
| 98526 | F | F | F |
| 98527 | F | F | F |
| 98528 | F | F | F |
| 98529 | F | F | F |
| 98530 | F | F | F |
| 98531 | F | F | F |
| 98532 | F | F | F |
| 98533 | F | F | F |
| 98534 | F | F | F |
| 107015 | F | F | F |
| 107016 | F | F | F |
| 107017 | F | F | F |
| 107018 | F | F | F |
| 107019 | F | F | F |
| 107020 | F | F | F |
| 107021 | F | F | F |
| 107022 | F | F | F |
| 107023 | F | F | F |
| 107024 | F | F | F |
| 107025 | F | F | F |
| 107026 | F | F | F |
| 107027 | F | F | F |
| 107028 | F | F | F |
| 115091 | F | F | F |
| 115092 | F | F | F |
| 115093 | F | F | F |
| 115094 | F | F | F |
| 115095 | F | F | F |
| 115096 | F | F | F |
| 115097 | F | F | F |
| 115098 | F | F | F |
| 115099 | F | F | F |
| 115100 | F | F | F |
| 115101 | F | F | F |
| 115102 | F | F | F |
| 115103 | F | F | F |
| 115104 | F | F | F |
| 122969 | F | F | F |
| 122970 | F | F | F |
| 122971 | F | F | F |
| 122972 | F | F | F |
| 122973 | F | F | F |
| 122974 | F | F | F |
| 122975 | F | F | F |
| 122976 | F | F | F |
| 122977 | F | F | F |
| 122978 | F | F | F |
| 122979 | F | F | F |
| 122980 | F | F | F |
| 122981 | F | F | F |
| 122982 | F | F | F |
| 122983 | F | F | F |
| 122984 | F | F | F |
| 139688 | F | F | F |
| 139689 | F | F | F |
| 139690 | F | F | F |
| 139691 | F | F | F |
| 139692 | F | F | F |
| 139693 | F | F | F |
| 139694 | F | F | F |
| 139695 | F | F | F |
| 139696 | F | F | F |
| 139697 | F | F | F |
| 139698 | F | F | F |
| 139699 | F | F | F |
| 139700 | F | F | F |
| 139701 | F | F | F |
| 139702 | F | F | F |
| 139703 | F | F | F |
| 156349 | F | F | F |
| 156350 | F | F | F |
| 156351 | F | F | F |
| 156352 | F | F | F |
| 156353 | F | F | F |
| 156354 | F | F | F |
| 156355 | F | F | F |
| 156356 | F | F | F |
| 156357 | F | F | F |
| 156358 | F | F | F |
| 156359 | F | F | F |
| 156360 | F | F | F |
| 156361 | F | F | F |
| 156362 | F | F | F |
| 156363 | F | F | F |
| 156364 | F | F | F |
| 156365 | F | F | F |
| 156366 | F | F | F |
| 156367 | F | F | F |
| 156368 | F | F | F |
| 156369 | F | F | F |
| 156370 | F | F | F |
| 156371 | F | F | F |
| 156372 | F | F | F |
| 166207 | F | F | F |
| 166208 | F | F | F |
| 166209 | F | F | F |
| 166210 | F | F | F |
| 166211 | F | F | F |
| 166212 | F | F | F |
| 166213 | F | F | F |
| 166214 | F | F | F |
| 166215 | F | F | F |
| 166216 | F | F | F |
| 166217 | F | F | F |
| 166218 | F | F | F |
| 166219 | F | F | F |
| 166220 | F | F | F |
| 166221 | F | F | F |
| 166222 | F | F | F |
| 166223 | F | F | F |
| 166224 | F | F | F |
| 166225 | F | F | F |
| 166226 | F | F | F |
| 166227 | F | F | F |
| 166228 | F | F | F |
| 166229 | F | F | F |
| 166230 | F | F | F |
| 175987 | F | F | F |
| 175988 | F | F | F |
| 175989 | F | F | F |
| 175990 | F | F | F |
| 175991 | F | F | F |
| 175992 | F | F | F |
| 180759 | F | F | F |
| 180760 | F | F | F |
| 180761 | F | F | F |
| 180762 | F | F | F |
| 180763 | F | F | F |
| 184079 | F | F | F |
| 184080 | F | F | F |
| 184081 | F | F | F |
| 184082 | F | F | F |
| 184083 | F | F | F |
| 187186 | F | F | F |
| 187187 | F | F | F |
| 187188 | F | F | F |
| 187189 | F | F | F |
| 187190 | F | F | F |
| 190549 | F | F | F |
| 190550 | F | F | F |
| 190551 | F | F | F |
| 190552 | F | F | F |
| 190553 | F | F | F |
| 190554 | F | F | F |
| 190555 | F | F | F |
| 190556 | F | F | F |
| 190557 | F | F | F |
| 190558 | F | F | F |
| 190559 | F | F | F |
| 190560 | F | F | F |
| 190561 | F | F | F |
| 190562 | F | F | F |
| 194869 | F | F | F |
| 194870 | F | F | F |
| 194871 | F | F | F |
| 194872 | F | F | F |
| 194873 | F | F | F |
| 194874 | F | F | F |
| 194875 | F | F | F |
| 194876 | F | F | F |
| 194877 | F | F | F |
| 194878 | F | F | F |
| 194879 | F | F | F |
| 194880 | F | F | F |
| 194881 | F | F | F |
| 194882 | F | F | F |
| 194883 | F | F | F |
| 194884 | F | F | F |
| 194885 | F | F | F |
| 194886 | F | F | F |
| 194887 | F | F | F |
| 194888 | F | F | F |
| 194889 | F | F | F |
| 194890 | F | F | F |
| 194891 | F | F | F |
| 194892 | F | F | F |
| 194893 | F | F | F |
| 194894 | F | F | F |
| 194895 | F | F | F |
| 194896 | F | F | F |
| 194897 | F | F | F |
| 194898 | F | F | F |
| 194899 | F | F | F |
| 194900 | F | F | F |
| 194901 | F | F | F |
| 194902 | F | F | F |
| 202872 | F | F | F |
| 202873 | F | F | F |
| 202874 | F | F | F |
| 202875 | F | F | F |
| 202876 | F | F | F |
| 202877 | F | F | F |
| 202878 | F | F | F |
| 202879 | F | F | F |
| 202880 | F | F | F |
| 202881 | F | F | F |
| 206207 | F | F | F |
| 206208 | F | F | F |
| 206209 | F | F | F |
| 206210 | F | F | F |
| 206211 | F | F | F |
| 206212 | F | F | F |
| 206213 | F | F | F |
| 206214 | F | F | F |
| 206215 | F | F | F |
| 206216 | F | F | F |
| 206217 | F | F | F |
| 206218 | F | F | F |
| 206219 | F | F | F |
| 206220 | F | F | F |
| 206221 | F | F | F |
| 206222 | F | F | F |
| 206223 | F | F | F |
| 206224 | F | F | F |
| 206225 | F | F | F |
| 206226 | F | F | F |
| 206227 | F | F | F |
| 206228 | F | F | F |
| 206229 | F | F | F |
| 206230 | F | F | F |
| 206231 | F | F | F |
| 206232 | F | F | F |
| 206233 | F | F | F |
| 206234 | F | F | F |
| 206235 | F | F | F |
| 206236 | F | F | F |
| 206237 | F | F | F |
| 206238 | F | F | F |
| 206239 | F | F | F |
| 206240 | F | F | F |
| 206241 | F | F | F |
| 206242 | F | F | F |
| 206243 | F | F | F |
| 206244 | F | F | F |
| 206245 | F | F | F |
| 206246 | F | F | F |
| 206247 | F | F | F |
| 206248 | F | F | F |
| 214537 | F | F | F |
| 214538 | F | F | F |
| 214539 | F | F | F |
| 214540 | F | F | F |
| 214541 | F | F | F |
| 214542 | F | F | F |
| 214543 | F | F | F |
| 214544 | F | F | F |
| 214545 | F | F | F |
| 214546 | F | F | F |
| 214547 | F | F | F |
| 214548 | F | F | F |
| 214549 | F | F | F |
| 214550 | F | F | F |
| 214551 | F | F | F |
| 214552 | F | F | F |
| 214553 | F | F | F |
| 214554 | F | F | F |
| 214555 | F | F | F |
| 214556 | F | F | F |
| 214557 | F | F | F |
| 214558 | F | F | F |
| 214559 | F | F | F |
| 214560 | F | F | F |
| 222200 | F | F | F |
| 222201 | F | F | F |
| 222202 | F | F | F |
| 222203 | F | F | F |
| 222204 | F | F | F |
| 222205 | F | F | F |
| 222206 | F | F | F |
| 222207 | F | F | F |
| 222208 | F | F | F |
| 222209 | F | F | F |
| 222210 | F | F | F |
| 222211 | F | F | F |
| 222212 | F | F | F |
| 222213 | F | F | F |
| 222214 | F | F | F |
| 222215 | F | F | F |
| 222216 | F | F | F |
| 299577 | F | F | F |
| 299578 | F | F | F |
| 299579 | F | F | F |
| 299580 | F | F | F |
| 299581 | F | F | F |
| 299582 | F | F | F |
| 299583 | F | F | F |
| 299584 | F | F | F |
| 299585 | F | F | F |
| 299586 | F | F | F |
| 299587 | F | F | F |
| 299588 | F | F | F |
| 299589 | F | F | F |
| 299590 | F | F | F |
| 299591 | F | F | F |
| 299592 | F | F | F |
| 299593 | F | F | F |
| 376716 | F | F | F |
| 376717 | F | F | F |
| 376718 | F | F | F |
| 376719 | F | F | F |
| 379353 | F | F | F |
| 379354 | F | F | F |
| 379355 | F | F | F |
| 379356 | F | F | F |
| 382237 | F | F | F |
| 382238 | F | F | F |
| 382239 | F | F | F |
| 382240 | F | F | F |
Independent-effect pairs
c0(branch686): GAP view gap →core::ptr::drop_glue::<wasmparser::readers::core::operators::Operator>· br_ifc1(branch687): GAP view gap →core::ptr::drop_glue::<wasmparser::readers::core::operators::Operator>· br_if