Decision #782 — library/alloc/src/raw_vec/mod.rs:614
Status: partial
Truth table
| row | c0 br 5210 | c1 br 5211 | outcome |
|---|---|---|---|
| 22165 | F | F | F |
| 22166 | F | F | F |
| 22167 | F | F | F |
| 22168 | F | F | F |
| 22169 | T | * | T |
| 22170 | F | F | F |
| 22171 | F | F | F |
| 22172 | F | F | F |
| 22173 | F | F | F |
| 22174 | T | * | T |
| 22175 | F | F | F |
| 22176 | F | F | F |
| 22177 | F | F | F |
| 22178 | F | F | F |
| 22179 | T | * | T |
| 22180 | F | F | F |
| 22181 | F | F | F |
| 22182 | F | F | F |
| 22183 | F | F | F |
| 22184 | T | * | T |
| 22185 | F | F | F |
| 22186 | F | F | F |
| 22187 | F | F | F |
| 22188 | F | F | F |
| 22189 | T | * | T |
| 22190 | F | F | F |
| 22191 | F | F | F |
| 22192 | F | F | F |
| 22193 | F | F | F |
| 22194 | T | * | T |
| 22195 | F | F | F |
| 22196 | F | F | F |
| 22197 | F | F | F |
| 22198 | F | F | F |
| 22199 | T | * | T |
| 22200 | F | F | F |
| 22201 | F | F | F |
| 22202 | F | F | F |
| 22203 | F | F | F |
| 22204 | T | * | T |
| 31643 | F | F | F |
| 31644 | F | F | F |
| 31645 | F | F | F |
| 31646 | F | F | F |
| 31647 | T | * | T |
| 31648 | F | F | F |
| 31649 | F | F | F |
| 31650 | F | F | F |
| 31651 | F | F | F |
| 31652 | T | * | T |
| 31653 | F | F | F |
| 31654 | F | F | F |
| 31655 | F | F | F |
| 31656 | F | F | F |
| 31657 | T | * | T |
| 31658 | F | F | F |
| 31659 | F | F | F |
| 31660 | F | F | F |
| 31661 | F | F | F |
| 31662 | T | * | T |
| 31663 | F | F | F |
| 31664 | F | F | F |
| 31665 | F | F | F |
| 31666 | F | F | F |
| 31667 | T | * | T |
| 31668 | F | F | F |
| 31669 | F | F | F |
| 31670 | F | F | F |
| 31671 | F | F | F |
| 31672 | T | * | T |
| 31673 | F | F | F |
| 31674 | F | F | F |
| 31675 | F | F | F |
| 31676 | F | F | F |
| 31677 | T | * | T |
| 31678 | F | F | F |
| 31679 | F | F | F |
| 31680 | F | F | F |
| 31681 | F | F | F |
| 31682 | T | * | T |
| 37908 | F | F | F |
| 37909 | F | F | F |
| 37910 | T | * | T |
| 37911 | F | F | F |
| 37912 | F | F | F |
| 37913 | T | * | T |
| 37914 | F | F | F |
| 37915 | F | F | F |
| 37916 | T | * | T |
| 37917 | F | F | F |
| 37918 | F | F | F |
| 37919 | T | * | T |
| 37920 | F | F | F |
| 37921 | F | F | F |
| 37922 | T | * | T |
| 37923 | F | F | F |
| 37924 | F | F | F |
| 37925 | T | * | T |
| 37926 | F | F | F |
| 37927 | F | F | F |
| 37928 | T | * | T |
| 37929 | F | F | F |
| 37930 | F | F | F |
| 37931 | T | * | T |
| 37932 | F | F | F |
| 37933 | F | F | F |
| 37934 | T | * | T |
| 37935 | F | F | F |
| 37936 | F | F | F |
| 37937 | T | * | T |
| 37938 | F | F | F |
| 37939 | F | F | F |
| 37940 | T | * | T |
| 37941 | F | F | F |
| 37942 | F | F | F |
| 37943 | T | * | T |
| 37944 | F | F | F |
| 37945 | F | F | F |
| 37946 | T | * | T |
| 37947 | F | F | F |
| 37948 | F | F | F |
| 37949 | T | * | T |
| 37950 | F | F | F |
| 37951 | F | F | F |
| 37952 | T | * | T |
| 37953 | F | F | F |
| 37954 | F | F | F |
| 37955 | T | * | T |
| 37956 | F | F | F |
| 37957 | F | F | F |
| 37958 | T | * | T |
| 37959 | F | F | F |
| 37960 | F | F | F |
| 37961 | T | * | T |
| 37962 | F | F | F |
| 37963 | F | F | F |
| 37964 | T | * | T |
| 37965 | F | F | F |
| 37966 | F | F | F |
| 37967 | T | * | T |
| 37968 | F | F | F |
| 37969 | F | F | F |
| 37970 | T | * | T |
| 37971 | F | F | F |
| 37972 | F | F | F |
| 37973 | T | * | T |
| 37974 | F | F | F |
| 37975 | F | F | F |
| 37976 | T | * | T |
| 37977 | F | F | F |
| 37978 | F | F | F |
| 37979 | T | * | T |
| 44121 | F | F | F |
| 44122 | F | F | F |
| 44123 | T | * | T |
| 44124 | F | F | F |
| 44125 | F | F | F |
| 44126 | T | * | T |
| 44127 | F | F | F |
| 44128 | F | F | F |
| 44129 | T | * | T |
| 44130 | F | F | F |
| 44131 | F | F | F |
| 44132 | T | * | T |
| 44133 | F | F | F |
| 44134 | F | F | F |
| 44135 | T | * | T |
| 44136 | F | F | F |
| 44137 | F | F | F |
| 44138 | T | * | T |
| 44139 | F | F | F |
| 44140 | F | F | F |
| 44141 | T | * | T |
| 44142 | F | F | F |
| 44143 | F | F | F |
| 44144 | T | * | T |
| 44145 | F | F | F |
| 44146 | F | F | F |
| 44147 | T | * | T |
| 44148 | F | F | F |
| 44149 | F | F | F |
| 44150 | T | * | T |
| 44151 | F | F | F |
| 44152 | F | F | F |
| 44153 | T | * | T |
| 44154 | F | F | F |
| 44155 | F | F | F |
| 44156 | T | * | T |
| 44157 | F | F | F |
| 44158 | F | F | F |
| 44159 | T | * | T |
| 44160 | F | F | F |
| 44161 | F | F | F |
| 44162 | T | * | T |
| 44163 | F | F | F |
| 44164 | F | F | F |
| 44165 | T | * | T |
| 44166 | F | F | F |
| 44167 | F | F | F |
| 44168 | T | * | T |
| 44169 | F | F | F |
| 44170 | F | F | F |
| 44171 | T | * | T |
| 44172 | F | F | F |
| 44173 | F | F | F |
| 44174 | T | * | T |
| 44175 | F | F | F |
| 44176 | F | F | F |
| 44177 | T | * | T |
| 44178 | F | F | F |
| 44179 | F | F | F |
| 44180 | T | * | T |
| 44181 | F | F | F |
| 44182 | F | F | F |
| 44183 | T | * | T |
| 44184 | F | F | F |
| 44185 | F | F | F |
| 44186 | T | * | T |
| 44187 | F | F | F |
| 44188 | F | F | F |
| 44189 | T | * | T |
| 44190 | F | F | F |
| 44191 | F | F | F |
| 44192 | T | * | T |
| 72177 | F | F | F |
| 72178 | F | F | F |
| 72179 | F | F | F |
| 72180 | F | F | F |
| 72181 | T | * | T |
| 72182 | F | F | F |
| 72183 | F | F | F |
| 72184 | F | F | F |
| 72185 | F | F | F |
| 72186 | T | * | T |
| 72187 | F | F | F |
| 72188 | F | F | F |
| 72189 | F | F | F |
| 72190 | F | F | F |
| 72191 | T | * | T |
| 72192 | F | F | F |
| 72193 | F | F | F |
| 72194 | F | F | F |
| 72195 | F | F | F |
| 72196 | T | * | T |
| 72197 | F | F | F |
| 72198 | F | F | F |
| 72199 | F | F | F |
| 72200 | F | F | F |
| 72201 | T | * | T |
| 72202 | F | F | F |
| 72203 | F | F | F |
| 72204 | F | F | F |
| 72205 | F | F | F |
| 72206 | T | * | T |
| 72207 | F | F | F |
| 72208 | F | F | F |
| 72209 | F | F | F |
| 72210 | F | F | F |
| 72211 | T | * | T |
| 72212 | F | F | F |
| 72213 | F | F | F |
| 72214 | F | F | F |
| 72215 | F | F | F |
| 72216 | T | * | T |
| 72217 | F | F | F |
| 72218 | F | F | F |
| 72219 | F | F | F |
| 72220 | F | F | F |
| 72221 | T | * | T |
| 72222 | F | F | F |
| 72223 | F | F | F |
| 72224 | F | F | F |
| 72225 | F | F | F |
| 72226 | T | * | T |
| 72227 | F | F | F |
| 72228 | F | F | F |
| 72229 | F | F | F |
| 72230 | F | F | F |
| 72231 | T | * | T |
| 72232 | F | F | F |
| 72233 | F | F | F |
| 72234 | F | F | F |
| 72235 | F | F | F |
| 72236 | T | * | T |
| 83690 | F | F | F |
| 83691 | F | F | F |
| 83692 | F | F | F |
| 83693 | F | F | F |
| 83694 | T | * | T |
| 83695 | F | F | F |
| 83696 | F | F | F |
| 83697 | F | F | F |
| 83698 | F | F | F |
| 83699 | T | * | T |
| 83700 | F | F | F |
| 83701 | F | F | F |
| 83702 | F | F | F |
| 83703 | F | F | F |
| 83704 | T | * | T |
| 83705 | F | F | F |
| 83706 | F | F | F |
| 83707 | F | F | F |
| 83708 | F | F | F |
| 83709 | T | * | T |
| 83710 | F | F | F |
| 83711 | F | F | F |
| 83712 | F | F | F |
| 83713 | F | F | F |
| 83714 | T | * | T |
| 83715 | F | F | F |
| 83716 | F | F | F |
| 83717 | F | F | F |
| 83718 | F | F | F |
| 83719 | T | * | T |
| 83720 | F | F | F |
| 83721 | F | F | F |
| 83722 | F | F | F |
| 83723 | F | F | F |
| 83724 | T | * | T |
| 83725 | F | F | F |
| 83726 | F | F | F |
| 83727 | F | F | F |
| 83728 | F | F | F |
| 83729 | T | * | T |
| 83730 | F | F | F |
| 83731 | F | F | F |
| 83732 | F | F | F |
| 83733 | F | F | F |
| 83734 | T | * | T |
| 83735 | F | F | F |
| 83736 | F | F | F |
| 83737 | F | F | F |
| 83738 | F | F | F |
| 83739 | T | * | T |
| 83740 | F | F | F |
| 83741 | F | F | F |
| 83742 | F | F | F |
| 83743 | F | F | F |
| 83744 | T | * | T |
| 83745 | F | F | F |
| 83746 | F | F | F |
| 83747 | F | F | F |
| 83748 | F | F | F |
| 83749 | T | * | T |
| 115350 | F | F | F |
| 115351 | F | F | F |
| 115352 | T | * | T |
| 115353 | F | F | F |
| 115354 | F | F | F |
| 115355 | T | * | T |
| 134357 | F | F | F |
| 134358 | F | F | F |
| 134359 | F | F | F |
| 134360 | F | F | F |
| 134361 | T | * | T |
| 134362 | F | F | F |
| 134363 | F | F | F |
| 134364 | F | F | F |
| 134365 | F | F | F |
| 134366 | T | * | T |
| 134367 | F | F | F |
| 134368 | F | F | F |
| 134369 | F | F | F |
| 134370 | F | F | F |
| 134371 | T | * | T |
| 134372 | F | F | F |
| 134373 | F | F | F |
| 134374 | F | F | F |
| 134375 | F | F | F |
| 134376 | T | * | T |
| 134377 | F | F | F |
| 134378 | F | F | F |
| 134379 | F | F | F |
| 134380 | F | F | F |
| 134381 | T | * | T |
| 134382 | F | F | F |
| 134383 | F | F | F |
| 134384 | F | F | F |
| 134385 | F | F | F |
| 134386 | T | * | T |
| 134387 | F | F | F |
| 134388 | F | F | F |
| 134389 | F | F | F |
| 134390 | F | F | F |
| 134391 | T | * | T |
| 134392 | F | F | F |
| 134393 | F | F | F |
| 134394 | F | F | F |
| 134395 | F | F | F |
| 134396 | T | * | T |
| 134397 | F | F | F |
| 134398 | F | F | F |
| 134399 | F | F | F |
| 134400 | F | F | F |
| 134401 | T | * | T |
| 134402 | F | F | F |
| 134403 | F | F | F |
| 134404 | F | F | F |
| 134405 | F | F | F |
| 134406 | T | * | T |
| 134407 | F | F | F |
| 134408 | F | F | F |
| 134409 | F | F | F |
| 134410 | F | F | F |
| 134411 | T | * | T |
| 134412 | F | F | F |
| 134413 | F | F | F |
| 134414 | F | F | F |
| 134415 | F | F | F |
| 134416 | T | * | T |
| 134417 | F | F | F |
| 134418 | F | F | F |
| 134419 | F | F | F |
| 134420 | F | F | F |
| 134421 | T | * | T |
| 134422 | F | F | F |
| 134423 | F | F | F |
| 134424 | F | F | F |
| 134425 | F | F | F |
| 134426 | T | * | T |
| 134427 | F | F | F |
| 134428 | F | F | F |
| 134429 | F | F | F |
| 134430 | F | F | F |
| 134431 | T | * | T |
| 134432 | F | F | F |
| 134433 | F | F | F |
| 134434 | F | F | F |
| 134435 | F | F | F |
| 134436 | T | * | T |
| 134437 | F | F | F |
| 134438 | F | F | F |
| 134439 | F | F | F |
| 134440 | F | F | F |
| 134441 | T | * | T |
| 134442 | F | F | F |
| 134443 | F | F | F |
| 134444 | F | F | F |
| 134445 | F | F | F |
| 134446 | T | * | T |
| 134447 | F | F | F |
| 134448 | F | F | F |
| 134449 | F | F | F |
| 134450 | F | F | F |
| 134451 | T | * | T |
| 134452 | F | F | F |
| 134453 | F | F | F |
| 134454 | F | F | F |
| 134455 | F | F | F |
| 134456 | T | * | T |
| 134457 | F | F | F |
| 134458 | F | F | F |
| 134459 | F | F | F |
| 134460 | F | F | F |
| 134461 | T | * | T |
| 134462 | F | F | F |
| 134463 | F | F | F |
| 134464 | F | F | F |
| 134465 | F | F | F |
| 134466 | T | * | T |
| 134467 | F | F | F |
| 134468 | F | F | F |
| 134469 | F | F | F |
| 134470 | F | F | F |
| 134471 | T | * | T |
| 134472 | F | F | F |
| 134473 | F | F | F |
| 134474 | F | F | F |
| 134475 | F | F | F |
| 134476 | T | * | T |
| 134477 | F | F | F |
| 134478 | F | F | F |
| 134479 | F | F | F |
| 134480 | F | F | F |
| 134481 | T | * | T |
| 134482 | F | F | F |
| 134483 | F | F | F |
| 134484 | F | F | F |
| 134485 | F | F | F |
| 134486 | T | * | T |
| 134487 | F | F | F |
| 134488 | F | F | F |
| 134489 | F | F | F |
| 134490 | F | F | F |
| 134491 | T | * | T |
| 134492 | F | F | F |
| 134493 | F | F | F |
| 134494 | F | F | F |
| 134495 | F | F | F |
| 134496 | T | * | T |
| 157293 | F | F | F |
| 157294 | F | F | F |
| 157295 | F | F | F |
| 157296 | F | F | F |
| 157297 | T | * | T |
| 157298 | F | F | F |
| 157299 | F | F | F |
| 157300 | F | F | F |
| 157301 | F | F | F |
| 157302 | T | * | T |
| 157303 | F | F | F |
| 157304 | F | F | F |
| 157305 | F | F | F |
| 157306 | F | F | F |
| 157307 | T | * | T |
| 157308 | F | F | F |
| 157309 | F | F | F |
| 157310 | F | F | F |
| 157311 | F | F | F |
| 157312 | T | * | T |
| 157313 | F | F | F |
| 157314 | F | F | F |
| 157315 | F | F | F |
| 157316 | F | F | F |
| 157317 | T | * | T |
| 157318 | F | F | F |
| 157319 | F | F | F |
| 157320 | F | F | F |
| 157321 | F | F | F |
| 157322 | T | * | T |
| 157323 | F | F | F |
| 157324 | F | F | F |
| 157325 | F | F | F |
| 157326 | F | F | F |
| 157327 | T | * | T |
| 157328 | F | F | F |
| 157329 | F | F | F |
| 157330 | F | F | F |
| 157331 | F | F | F |
| 157332 | T | * | T |
| 157333 | F | F | F |
| 157334 | F | F | F |
| 157335 | F | F | F |
| 157336 | F | F | F |
| 157337 | T | * | T |
| 157338 | F | F | F |
| 157339 | F | F | F |
| 157340 | F | F | F |
| 157341 | F | F | F |
| 157342 | T | * | T |
| 157343 | F | F | F |
| 157344 | F | F | F |
| 157345 | F | F | F |
| 157346 | F | F | F |
| 157347 | T | * | T |
| 157348 | F | F | F |
| 157349 | F | F | F |
| 157350 | F | F | F |
| 157351 | F | F | F |
| 157352 | T | * | T |
| 157353 | F | F | F |
| 157354 | F | F | F |
| 157355 | F | F | F |
| 157356 | F | F | F |
| 157357 | T | * | T |
| 157358 | F | F | F |
| 157359 | F | F | F |
| 157360 | F | F | F |
| 157361 | F | F | F |
| 157362 | T | * | T |
| 157363 | F | F | F |
| 157364 | F | F | F |
| 157365 | F | F | F |
| 157366 | F | F | F |
| 157367 | T | * | T |
| 157368 | F | F | F |
| 157369 | F | F | F |
| 157370 | F | F | F |
| 157371 | F | F | F |
| 157372 | T | * | T |
| 157373 | F | F | F |
| 157374 | F | F | F |
| 157375 | F | F | F |
| 157376 | F | F | F |
| 157377 | T | * | T |
| 157378 | F | F | F |
| 157379 | F | F | F |
| 157380 | F | F | F |
| 157381 | F | F | F |
| 157382 | T | * | T |
| 157383 | F | F | F |
| 157384 | F | F | F |
| 157385 | F | F | F |
| 157386 | F | F | F |
| 157387 | T | * | T |
| 157388 | F | F | F |
| 157389 | F | F | F |
| 157390 | F | F | F |
| 157391 | F | F | F |
| 157392 | T | * | T |
| 157393 | F | F | F |
| 157394 | F | F | F |
| 157395 | F | F | F |
| 157396 | F | F | F |
| 157397 | T | * | T |
| 157398 | F | F | F |
| 157399 | F | F | F |
| 157400 | F | F | F |
| 157401 | F | F | F |
| 157402 | T | * | T |
| 157403 | F | F | F |
| 157404 | F | F | F |
| 157405 | F | F | F |
| 157406 | F | F | F |
| 157407 | T | * | T |
| 157408 | F | F | F |
| 157409 | F | F | F |
| 157410 | F | F | F |
| 157411 | F | F | F |
| 157412 | T | * | T |
| 157413 | F | F | F |
| 157414 | F | F | F |
| 157415 | F | F | F |
| 157416 | F | F | F |
| 157417 | T | * | T |
| 157418 | F | F | F |
| 157419 | F | F | F |
| 157420 | F | F | F |
| 157421 | F | F | F |
| 157422 | T | * | T |
| 157423 | F | F | F |
| 157424 | F | F | F |
| 157425 | F | F | F |
| 157426 | F | F | F |
| 157427 | T | * | T |
| 157428 | F | F | F |
| 157429 | F | F | F |
| 157430 | F | F | F |
| 157431 | F | F | F |
| 157432 | T | * | T |
Independent-effect pairs
c0(branch5210): PROVED — pair rows22165,22169(masking)scry_octagon::join· br_if
inlined: library/alloc/src/vec/mod.rs:1864 ← library/alloc/src/vec/mod.rs:1968 ← library/alloc/src/raw_vec/mod.rs:296 ← library/alloc/src/raw_vec/mod.rs:609c1(branch5211): GAP view gap →scry_octagon::join· br_if