Decision #271 — lib.rs:3513
Status: partial
Truth table
| row | c0 br 1409 | c1 br 1410 | outcome |
|---|---|---|---|
| 16009 | T | T | T |
| 16010 | F | F | F |
| 16011 | T | T | T |
| 16012 | F | F | F |
| 16013 | T | T | T |
| 16014 | F | F | F |
| 16015 | T | T | T |
| 16016 | F | F | F |
| 16017 | T | T | T |
| 16018 | F | F | F |
| 16019 | T | T | T |
| 16020 | F | F | F |
| 16021 | T | T | T |
| 16022 | F | F | F |
| 16023 | T | T | T |
| 16024 | F | F | F |
| 16025 | T | T | T |
| 16026 | F | F | F |
| 16027 | T | T | T |
| 16028 | F | F | F |
| 25489 | T | T | T |
| 25490 | F | F | F |
| 25491 | T | T | T |
| 25492 | F | F | F |
| 25493 | T | T | T |
| 25494 | F | F | F |
| 25495 | T | T | T |
| 25496 | F | F | F |
| 25497 | T | T | T |
| 25498 | F | F | F |
| 25499 | T | T | T |
| 25500 | F | F | F |
| 25501 | T | T | T |
| 25502 | F | F | F |
| 25503 | T | T | T |
| 25504 | F | F | F |
| 25505 | T | T | T |
| 25506 | F | F | F |
| 25507 | T | T | T |
| 25508 | F | F | F |
| 34877 | F | F | F |
| 34878 | F | F | F |
| 34879 | F | F | F |
| 41090 | F | F | F |
| 41091 | F | F | F |
| 41092 | F | F | F |
| 64430 | T | T | T |
| 64431 | F | F | F |
| 64432 | T | T | T |
| 64433 | F | F | F |
| 64434 | T | T | T |
| 64435 | F | F | F |
| 64436 | T | T | T |
| 64437 | F | F | F |
| 64438 | T | T | T |
| 64439 | F | F | F |
| 64440 | T | T | T |
| 64441 | F | F | F |
| 64442 | T | T | T |
| 64443 | F | F | F |
| 64444 | T | T | T |
| 64445 | F | F | F |
| 64446 | T | T | T |
| 64447 | F | F | F |
| 64448 | T | T | T |
| 64449 | F | F | F |
| 64450 | T | T | T |
| 64451 | F | F | F |
| 75943 | T | T | T |
| 75944 | F | F | F |
| 75945 | T | T | T |
| 75946 | F | F | F |
| 75947 | T | T | T |
| 75948 | F | F | F |
| 75949 | T | T | T |
| 75950 | F | F | F |
| 75951 | T | T | T |
| 75952 | F | F | F |
| 75953 | T | T | T |
| 75954 | F | F | F |
| 75955 | T | T | T |
| 75956 | F | F | F |
| 75957 | T | T | T |
| 75958 | F | F | F |
| 75959 | T | T | T |
| 75960 | F | F | F |
| 75961 | T | T | T |
| 75962 | F | F | F |
| 75963 | T | T | T |
| 75964 | F | F | F |
| 117469 | F | T | T |
| 117470 | F | F | F |
| 117471 | F | T | T |
| 117472 | F | F | F |
| 117473 | F | T | T |
| 117474 | F | F | F |
| 117475 | T | T | T |
| 117476 | F | F | F |
| 117477 | T | T | T |
| 117478 | F | F | F |
| 117479 | T | T | T |
| 117480 | F | F | F |
| 117481 | T | T | T |
| 117482 | F | F | F |
| 117483 | T | T | T |
| 117484 | F | F | F |
| 117485 | T | T | T |
| 117486 | F | F | F |
| 117487 | T | T | T |
| 117488 | F | F | F |
| 140405 | F | T | T |
| 140406 | F | F | F |
| 140407 | F | T | T |
| 140408 | F | F | F |
| 140409 | F | T | T |
| 140410 | F | F | F |
| 140411 | T | T | T |
| 140412 | F | F | F |
| 140413 | T | T | T |
| 140414 | F | F | F |
| 140415 | T | T | T |
| 140416 | F | F | F |
| 140417 | T | T | T |
| 140418 | F | F | F |
| 140419 | T | T | T |
| 140420 | F | F | F |
| 140421 | T | T | T |
| 140422 | F | F | F |
| 140423 | T | T | T |
| 140424 | F | F | F |
Independent-effect pairs
c0(branch1409): GAP view gap →scry_analyze_core::inject_intervals· br_ifc1(branch1410): PROVED — pair rows16010,117469(unique-cause)scry_analyze_core::inject_intervals· br_if