Decision #1215 — malloc.c:4432
Status: partial
Truth table
| row | c0 br 8328 | c1 br 8329 | c2 br 8330 | c3 br 8331 | outcome |
|---|---|---|---|---|---|
| 3581 | F | F | * | * | F |
| 3582 | F | F | * | * | F |
| 3583 | F | F | * | * | F |
| 3584 | F | F | * | * | F |
| 3585 | F | T | F | F | F |
| 3586 | F | T | F | F | F |
| 3587 | F | F | * | * | F |
| 3588 | F | F | * | * | F |
| 3589 | F | T | F | F | F |
| 3590 | F | T | F | F | F |
| 3591 | F | F | * | * | F |
| 3592 | F | F | * | * | F |
| 3593 | F | T | F | F | F |
| 3594 | F | T | F | F | F |
| 3595 | F | T | F | F | F |
| 3596 | F | T | F | F | F |
| 3597 | F | F | * | * | F |
| 3598 | F | F | * | * | F |
| 3599 | F | F | * | * | F |
| 3600 | F | T | F | F | F |
| 3601 | F | F | * | * | F |
| 3602 | F | T | F | F | F |
| 3603 | F | T | F | F | F |
| 3604 | F | T | F | F | F |
| 3605 | F | T | F | F | F |
| 3606 | F | F | * | * | F |
| 3607 | F | F | * | * | F |
| 3608 | F | F | * | * | F |
| 3609 | F | F | * | * | F |
| 3610 | F | F | * | * | F |
| 3611 | F | F | * | * | F |
| 3612 | F | F | * | * | F |
| 3613 | F | F | * | * | F |
| 3614 | F | F | * | * | F |
| 3615 | F | F | * | * | F |
| 7332 | F | F | * | * | F |
| 7333 | F | F | * | * | F |
| 7334 | F | F | * | * | F |
| 7335 | F | F | * | * | F |
| 7336 | F | T | F | F | F |
| 7337 | F | T | F | F | F |
| 7338 | F | F | * | * | F |
| 7339 | F | F | * | * | F |
| 7340 | F | T | F | F | F |
| 7341 | F | T | F | F | F |
| 7342 | F | F | * | * | F |
| 7343 | F | F | * | * | F |
| 7344 | F | T | F | F | F |
| 7345 | F | T | F | F | F |
| 7346 | F | T | F | F | F |
| 7347 | F | T | F | F | F |
| 7348 | F | F | * | * | F |
| 7349 | F | F | * | * | F |
| 7350 | F | F | * | * | F |
| 7351 | F | T | F | F | F |
| 7352 | F | F | * | * | F |
| 7353 | F | F | * | * | F |
| 7354 | F | F | * | * | F |
| 7355 | F | F | * | * | F |
| 7356 | F | T | F | F | F |
| 7357 | F | T | F | F | F |
| 7358 | F | T | F | F | F |
| 7359 | F | T | F | F | F |
| 7360 | F | F | * | * | F |
| 7361 | F | T | F | F | F |
| 7362 | F | F | * | * | F |
| 7363 | F | T | F | F | F |
| 7364 | F | F | * | * | F |
| 7365 | F | F | * | * | F |
| 7366 | F | F | * | * | F |
| 7367 | F | F | * | * | F |
| 7368 | F | F | * | * | F |
| 11305 | F | F | * | * | F |
| 11306 | F | F | * | * | F |
| 11307 | F | F | * | * | F |
| 11308 | F | F | * | * | F |
| 11309 | F | T | F | F | F |
| 11310 | F | T | F | F | F |
| 11311 | F | F | * | * | F |
| 11312 | F | F | * | * | F |
| 11313 | F | T | F | F | F |
| 11314 | F | T | F | F | F |
| 11315 | F | F | * | * | F |
| 11316 | F | F | * | * | F |
| 11317 | F | T | F | F | F |
| 11318 | F | T | F | F | F |
| 11319 | F | T | F | F | F |
| 11320 | F | T | F | F | F |
| 11321 | F | F | * | * | F |
| 11322 | F | F | * | * | F |
| 11323 | F | F | * | * | F |
| 11324 | F | T | F | F | F |
| 11325 | F | F | * | * | F |
| 11326 | F | T | F | * | F |
| 11327 | F | F | F | F | F |
| 11328 | F | T | F | F | F |
| 11329 | F | T | F | F | F |
| 11330 | F | F | * | * | F |
| 11331 | F | F | * | * | F |
| 11332 | F | T | F | F | F |
| 11333 | F | F | * | * | F |
| 11334 | F | F | * | * | F |
| 11335 | F | T | F | F | F |
| 11336 | F | T | F | F | F |
| 11337 | F | T | F | F | F |
| 11338 | F | T | F | F | F |
| 11339 | F | T | F | F | F |
| 11340 | F | F | * | * | F |
| 11341 | F | F | * | * | F |
| 11342 | F | F | * | * | F |
| 11343 | F | F | * | * | F |
| 11344 | F | F | * | * | F |
| 11345 | F | F | * | * | F |
| 11346 | F | F | * | * | F |
| 11347 | F | F | * | * | F |
| 11348 | F | F | * | * | F |
| 12959 | F | F | * | * | F |
| 12960 | F | F | * | * | F |
| 12961 | F | F | * | * | F |
| 12962 | F | F | * | * | F |
| 12963 | F | F | * | * | F |
| 12964 | F | F | * | * | F |
| 12965 | F | F | * | * | F |
| 12966 | F | F | * | * | F |
| 12967 | F | F | * | * | F |
| 12968 | F | F | * | * | F |
| 12969 | F | T | F | F | F |
| 12970 | F | F | * | * | F |
| 12971 | F | F | * | * | F |
| 12972 | F | F | * | * | F |
| 12973 | F | F | * | * | F |
| 14307 | F | F | * | * | F |
| 14308 | F | F | * | * | F |
| 14309 | F | F | * | * | F |
| 14310 | F | F | * | * | F |
| 14311 | F | F | * | * | F |
| 14312 | F | F | * | * | F |
| 14313 | F | F | * | * | F |
| 14314 | F | F | * | * | F |
| 14315 | F | F | * | * | F |
| 14316 | F | F | * | * | F |
| 14317 | F | F | * | * | F |
| 14318 | F | F | * | * | F |
| 14319 | F | F | * | * | F |
| 14320 | F | F | * | * | F |
| 15660 | F | F | * | * | F |
| 15661 | F | F | * | * | F |
| 15662 | F | F | * | * | F |
| 15663 | F | F | * | * | F |
| 15664 | F | F | * | * | F |
| 15665 | F | F | * | * | F |
| 15666 | F | F | * | * | F |
| 15667 | F | F | * | * | F |
| 15668 | F | F | * | * | F |
| 15669 | F | F | * | * | F |
| 15670 | F | T | F | F | F |
| 15671 | F | F | * | * | F |
| 15672 | F | F | * | * | F |
| 15673 | F | F | * | * | F |
| 15674 | F | F | * | * | F |
| 25082 | F | F | * | * | F |
| 25083 | F | F | * | * | F |
| 25084 | F | F | * | * | F |
| 25085 | F | F | * | * | F |
| 25086 | F | F | * | * | F |
| 25087 | F | T | F | F | F |
| 25088 | F | F | * | * | F |
| 25089 | F | F | * | * | F |
| 25090 | F | F | * | * | F |
| 25091 | F | F | * | * | F |
| 25092 | F | F | * | * | F |
| 25093 | F | F | * | * | F |
| 25094 | F | F | * | * | F |
| 25095 | F | F | * | * | F |
| 25096 | F | F | * | * | F |
| 25097 | F | F | * | * | F |
| 25098 | F | F | * | * | F |
| 25099 | F | F | * | * | F |
| 25100 | F | F | * | * | F |
| 25101 | F | F | * | * | F |
| 25102 | F | F | * | * | F |
| 25103 | F | F | * | * | F |
| 25104 | F | F | * | * | F |
| 25105 | F | F | * | * | F |
| 25106 | F | F | * | * | F |
| 25107 | F | F | * | * | F |
| 25108 | F | F | * | * | F |
| 25109 | F | F | * | * | F |
| 25110 | F | F | * | * | F |
| 25111 | F | F | * | * | F |
| 25112 | F | F | * | * | F |
| 25113 | F | F | * | * | F |
| 25114 | F | F | * | * | F |
| 25115 | F | F | * | * | F |
| 25116 | F | F | * | * | F |
| 25117 | F | F | * | * | F |
| 25118 | F | F | * | * | F |
| 25119 | F | F | * | * | F |
| 25120 | F | T | F | F | F |
| 25121 | F | F | * | * | F |
| 25122 | F | T | F | F | F |
| 25123 | F | F | * | * | F |
| 25124 | F | F | * | * | F |
| 25125 | F | T | F | * | F |
| 25126 | F | F | T | * | T |
| 25127 | F | F | * | * | F |
| 25128 | F | F | * | * | F |
| 25129 | F | T | T | * | T |
| 25130 | F | T | F | F | F |
| 25131 | F | T | F | F | F |
| 25132 | F | T | F | F | F |
| 25133 | F | T | F | F | F |
| 25134 | F | T | F | F | F |
| 25135 | F | T | F | F | F |
| 25136 | F | F | * | * | F |
| 25137 | F | F | * | * | F |
| 25138 | F | T | F | F | F |
| 25139 | F | T | F | F | F |
| 25140 | F | T | F | * | F |
| 25141 | F | T | F | F | F |
| 25142 | F | F | F | F | F |
| 25143 | F | F | * | * | F |
| 25144 | F | F | * | * | F |
| 25145 | F | F | * | * | F |
| 25146 | F | F | * | * | F |
| 34540 | F | F | * | * | F |
| 34541 | F | F | * | * | F |
| 34542 | F | F | * | * | F |
| 34543 | F | F | * | * | F |
| 34544 | F | F | * | * | F |
| 34545 | F | T | F | F | F |
| 34546 | F | F | * | * | F |
| 34547 | F | F | * | * | F |
| 34548 | F | F | * | * | F |
| 34549 | F | F | * | * | F |
| 34550 | F | F | * | * | F |
| 34551 | F | F | * | * | F |
| 34552 | F | F | * | * | F |
| 34553 | F | F | * | * | F |
| 34554 | F | F | * | * | F |
| 34555 | F | F | * | * | F |
| 34556 | F | F | * | * | F |
| 34557 | F | F | * | * | F |
| 34558 | F | F | * | * | F |
| 34559 | F | F | * | * | F |
| 34560 | F | F | * | * | F |
| 34561 | F | F | * | * | F |
| 34562 | F | F | * | * | F |
| 34563 | F | F | * | * | F |
| 34564 | F | F | * | * | F |
| 34565 | F | F | * | * | F |
| 34566 | F | F | * | * | F |
| 34567 | F | F | * | * | F |
| 34568 | F | F | * | * | F |
| 34569 | F | F | * | * | F |
| 34570 | F | F | * | * | F |
| 34571 | F | F | * | * | F |
| 34572 | F | F | * | * | F |
| 34573 | F | F | * | * | F |
| 34574 | F | F | * | * | F |
| 34575 | F | F | * | * | F |
| 34576 | F | F | * | * | F |
| 34577 | F | F | * | * | F |
| 34578 | F | T | F | F | F |
| 34579 | F | F | * | * | F |
| 34580 | F | T | F | F | F |
| 34581 | F | F | * | * | F |
| 34582 | F | F | * | * | F |
| 34583 | F | T | F | F | F |
| 34584 | F | F | * | * | F |
| 34585 | F | F | * | * | F |
| 34586 | F | F | * | * | F |
| 34587 | F | T | F | F | F |
| 34588 | F | T | F | F | F |
| 34589 | F | T | F | F | F |
| 34590 | F | F | * | * | F |
| 34591 | F | T | F | F | F |
| 34592 | F | T | F | F | F |
| 34593 | F | T | F | F | F |
| 34594 | F | F | * | * | F |
| 34595 | F | F | * | * | F |
| 34596 | F | F | * | * | F |
| 34597 | F | F | * | * | F |
| 34598 | F | F | * | * | F |
| 34599 | F | F | * | * | F |
| 34600 | F | F | * | * | F |
| 34601 | F | F | * | * | F |
| 34602 | F | F | * | * | F |
| 34603 | F | F | * | * | F |
| 34604 | F | F | * | * | F |
| 34605 | F | F | * | * | F |
| 40784 | F | F | * | * | F |
| 40785 | F | F | * | * | F |
| 40786 | F | F | * | * | F |
| 40787 | F | F | * | * | F |
| 40788 | F | F | * | * | F |
| 40789 | F | F | * | * | F |
| 40790 | F | F | * | * | F |
| 40791 | F | F | * | * | F |
| 40792 | F | F | * | * | F |
| 40793 | F | T | F | F | F |
| 40794 | F | F | * | * | F |
| 40795 | F | F | * | * | F |
| 40796 | F | F | * | * | F |
| 40797 | F | F | * | * | F |
| 40798 | F | F | * | * | F |
| 40799 | F | F | * | * | F |
| 40800 | F | F | * | * | F |
| 40801 | F | F | * | * | F |
| 40802 | F | F | * | * | F |
| 40803 | F | F | * | * | F |
| 40804 | F | F | * | * | F |
| 40805 | F | F | * | * | F |
| 46997 | F | F | * | * | F |
| 46998 | F | F | * | * | F |
| 46999 | F | F | * | * | F |
| 47000 | F | F | * | * | F |
| 47001 | F | F | * | * | F |
| 47002 | F | F | * | * | F |
| 47003 | F | F | * | * | F |
| 47004 | F | F | * | * | F |
| 47005 | F | F | * | * | F |
| 47006 | F | T | F | F | F |
| 47007 | F | F | * | * | F |
| 47008 | F | F | * | * | F |
| 47009 | F | F | * | * | F |
| 47010 | F | F | * | * | F |
| 47011 | F | F | * | * | F |
| 47012 | F | F | * | * | F |
| 47013 | F | F | * | * | F |
| 47014 | F | F | * | * | F |
| 47015 | F | F | * | * | F |
| 47016 | F | F | * | * | F |
| 47017 | F | F | * | * | F |
| 47018 | F | F | * | * | F |
| 51008 | F | F | * | * | F |
| 51009 | F | T | T | * | T |
| 51010 | F | F | * | * | F |
| 51011 | F | F | * | * | F |
| 51012 | F | F | * | * | F |
| 51013 | F | F | * | * | F |
| 51014 | F | F | * | * | F |
| 51015 | F | F | * | * | F |
| 51016 | F | F | * | * | F |
| 51017 | F | F | * | * | F |
| 51018 | F | F | * | * | F |
| 51019 | F | F | * | * | F |
| 51020 | F | F | * | * | F |
| 51021 | F | F | * | * | F |
| 51022 | F | F | * | * | F |
| 51023 | F | F | * | * | F |
| 51024 | F | F | * | * | F |
| 51025 | F | F | * | * | F |
| 51026 | F | F | * | * | F |
| 51027 | F | F | * | * | F |
| 51028 | F | F | * | * | F |
| 51029 | F | F | * | * | F |
| 51030 | F | T | F | F | F |
| 51031 | F | F | * | * | F |
| 51032 | F | F | * | * | F |
| 51033 | F | F | * | * | F |
| 51034 | F | F | * | * | F |
| 51035 | F | T | F | F | F |
| 51036 | F | F | * | * | F |
| 51037 | F | T | F | F | F |
| 51038 | F | F | * | * | F |
| 51039 | F | F | * | * | F |
| 51040 | F | F | * | * | F |
| 51041 | F | F | * | * | F |
| 51042 | F | F | * | * | F |
| 51043 | F | F | * | * | F |
| 51044 | F | F | * | * | F |
| 51045 | F | T | F | F | F |
| 51046 | F | F | * | * | F |
| 51047 | F | F | * | * | F |
| 55352 | F | F | * | * | F |
| 55353 | F | T | T | * | T |
| 55354 | F | F | * | * | F |
| 55355 | F | F | * | * | F |
| 55356 | F | F | * | * | F |
| 55357 | F | F | * | * | F |
| 55358 | F | F | * | * | F |
| 55359 | F | F | * | * | F |
| 55360 | F | F | * | * | F |
| 55361 | F | F | * | * | F |
| 55362 | F | F | * | * | F |
| 55363 | F | F | * | * | F |
| 55364 | F | F | * | * | F |
| 55365 | F | F | * | * | F |
| 55366 | F | F | * | * | F |
| 55367 | F | F | * | * | F |
| 55368 | F | F | * | * | F |
| 55369 | F | F | * | * | F |
| 55370 | F | F | * | * | F |
| 55371 | F | F | * | * | F |
| 55372 | F | F | * | * | F |
| 55373 | F | F | * | * | F |
| 55374 | F | F | * | * | F |
| 55375 | F | T | F | F | F |
| 55376 | F | T | F | F | F |
| 55377 | F | F | * | * | F |
| 55378 | F | T | F | F | F |
| 55379 | F | T | F | F | F |
| 55380 | F | T | F | F | F |
| 55381 | F | T | F | F | F |
| 55382 | F | T | F | F | F |
| 55383 | F | F | * | * | F |
| 55384 | F | T | F | F | F |
| 55385 | F | T | F | * | F |
| 55386 | F | T | F | F | F |
| 55387 | * | * | F | * | F |
| 55388 | F | F | F | F | F |
| 55389 | F | T | F | F | F |
| 55390 | F | T | T | * | T |
| 55391 | F | F | * | * | F |
| 55392 | F | T | F | F | F |
| 55393 | F | T | F | F | F |
| 55394 | F | T | F | F | F |
| 55395 | F | T | F | F | F |
| 55396 | F | F | * | * | F |
| 55397 | F | F | * | * | F |
| 59776 | F | F | * | * | F |
| 59777 | F | T | T | * | T |
| 59778 | F | F | * | * | F |
| 59779 | F | F | * | * | F |
| 59780 | F | F | * | * | F |
| 59781 | F | F | * | * | F |
| 59782 | F | F | * | * | F |
| 59783 | F | F | * | * | F |
| 59784 | F | F | * | * | F |
| 59785 | F | F | * | * | F |
| 59786 | F | F | * | * | F |
| 59787 | F | F | * | * | F |
| 59788 | F | F | * | * | F |
| 59789 | F | F | * | * | F |
| 59790 | F | F | * | * | F |
| 59791 | F | F | * | * | F |
| 59792 | F | F | * | * | F |
| 59793 | F | T | F | F | F |
| 59794 | F | T | F | F | F |
| 59795 | F | T | F | F | F |
| 59796 | F | F | * | * | F |
| 59797 | F | F | * | * | F |
| 59798 | F | F | * | * | F |
| 59799 | F | T | F | F | F |
| 59800 | F | T | F | F | F |
| 59801 | F | T | F | F | F |
| 59802 | F | F | * | * | F |
| 59803 | F | F | * | * | F |
| 59804 | F | T | F | F | F |
| 59805 | F | T | F | F | F |
| 63932 | F | F | * | * | F |
| 63933 | F | T | T | * | T |
| 63934 | F | F | * | * | F |
| 63935 | F | F | * | * | F |
| 63936 | F | F | * | * | F |
| 63937 | F | F | * | * | F |
| 63938 | F | F | * | * | F |
| 63939 | F | F | * | * | F |
| 63940 | F | F | * | * | F |
| 63941 | F | F | * | * | F |
| 63942 | F | F | * | * | F |
| 63943 | F | F | * | * | F |
| 63944 | F | F | * | * | F |
| 63945 | F | F | * | * | F |
| 63946 | F | F | * | * | F |
| 63947 | F | F | * | * | F |
| 63948 | F | F | * | * | F |
| 63949 | F | F | * | * | F |
| 63950 | F | F | * | * | F |
| 63951 | F | F | * | * | F |
| 63952 | F | F | * | * | F |
| 63953 | F | F | * | * | F |
| 63954 | F | T | F | F | F |
| 63955 | F | F | * | * | F |
| 63956 | F | F | * | * | F |
| 63957 | F | F | * | * | F |
| 63958 | F | F | * | * | F |
| 63959 | F | T | F | F | F |
| 63960 | F | F | * | * | F |
| 63961 | F | T | F | F | F |
| 63962 | F | F | * | * | F |
| 63963 | F | F | * | * | F |
| 63964 | F | F | * | * | F |
| 63965 | F | F | * | * | F |
| 63966 | F | F | * | * | F |
| 63967 | F | F | * | * | F |
| 63968 | F | F | * | * | F |
| 63969 | F | T | F | F | F |
| 63970 | F | F | * | * | F |
| 63971 | F | F | * | * | F |
| 75516 | F | F | * | * | F |
| 75517 | F | F | * | * | F |
| 75518 | F | T | F | F | F |
| 75519 | F | T | T | * | T |
| 75520 | F | F | * | * | F |
| 75521 | F | F | * | * | F |
| 75522 | F | F | * | * | F |
| 75523 | F | F | * | * | F |
| 75524 | F | F | * | * | F |
| 75525 | F | F | * | * | F |
| 75526 | F | F | * | * | F |
| 75527 | F | F | * | * | F |
| 75528 | F | F | * | * | F |
| 75529 | F | T | T | * | T |
| 75530 | F | F | * | * | F |
| 75531 | F | T | F | F | F |
| 75532 | F | T | T | * | T |
| 75533 | F | F | * | * | F |
| 75534 | F | F | * | * | F |
| 75535 | F | T | T | * | T |
| 75536 | F | F | * | * | F |
| 75537 | F | F | * | * | F |
| 75538 | F | F | * | * | F |
| 75539 | F | F | * | * | F |
| 75540 | F | F | * | * | F |
| 75541 | F | F | * | * | F |
| 75542 | F | T | F | F | F |
| 75543 | F | F | * | * | F |
| 75544 | F | F | * | * | F |
| 75545 | F | F | * | * | F |
| 75546 | F | F | * | * | F |
| 75547 | F | T | F | F | F |
| 75548 | F | F | * | * | F |
| 75549 | F | T | F | F | F |
| 75550 | F | T | F | * | F |
| 75551 | F | T | T | * | T |
| 75552 | F | F | T | * | T |
| 75553 | F | F | * | * | F |
| 75554 | F | F | * | * | F |
| 75555 | F | F | * | * | F |
| 75556 | F | F | * | * | F |
| 75557 | F | F | * | * | F |
| 75558 | F | F | * | * | F |
| 75559 | F | F | * | * | F |
| 75560 | F | F | * | * | F |
| 75561 | F | F | * | * | F |
| 75562 | F | F | * | * | F |
| 75563 | F | F | * | * | F |
| 75564 | F | F | * | * | F |
| 75565 | F | F | * | * | F |
| 75566 | F | T | F | F | F |
| 75567 | F | F | * | * | F |
| 75568 | F | F | * | * | F |
| 75569 | F | F | * | * | F |
| 75570 | F | T | F | F | F |
| 75571 | F | T | F | F | F |
| 75572 | F | T | F | F | F |
| 75573 | F | F | * | * | F |
| 75574 | F | T | T | * | T |
| 75575 | F | T | F | F | F |
| 75576 | F | F | * | * | F |
| 75577 | F | F | * | * | F |
| 75578 | F | F | * | * | F |
| 87029 | F | F | * | * | F |
| 87030 | F | F | * | * | F |
| 87031 | F | T | F | F | F |
| 87032 | F | T | T | * | T |
| 87033 | F | F | * | * | F |
| 87034 | F | F | * | * | F |
| 87035 | F | F | * | * | F |
| 87036 | F | F | * | * | F |
| 87037 | F | F | * | * | F |
| 87038 | F | F | * | * | F |
| 87039 | F | F | * | * | F |
| 87040 | F | F | * | * | F |
| 87041 | F | F | * | * | F |
| 87042 | F | T | T | * | T |
| 87043 | F | F | * | * | F |
| 87044 | F | T | F | F | F |
| 87045 | F | T | T | * | T |
| 87046 | F | F | * | * | F |
| 87047 | F | F | * | * | F |
| 87048 | F | T | T | * | T |
| 87049 | F | F | * | * | F |
| 87050 | F | F | * | * | F |
| 87051 | F | F | * | * | F |
| 87052 | F | F | * | * | F |
| 87053 | F | F | * | * | F |
| 87054 | F | F | * | * | F |
| 87055 | F | T | F | F | F |
| 87056 | F | F | * | * | F |
| 87057 | F | F | * | * | F |
| 87058 | F | F | * | * | F |
| 87059 | F | F | * | * | F |
| 87060 | F | T | F | F | F |
| 87061 | F | F | * | * | F |
| 87062 | F | T | F | F | F |
| 87063 | F | T | F | * | F |
| 87064 | F | T | T | * | T |
| 87065 | F | F | T | * | T |
| 87066 | F | F | * | * | F |
| 87067 | F | F | * | * | F |
| 87068 | F | F | * | * | F |
| 87069 | F | F | * | * | F |
| 87070 | F | F | * | * | F |
| 87071 | F | F | * | * | F |
| 87072 | F | F | * | * | F |
| 87073 | F | F | * | * | F |
| 87074 | F | F | * | * | F |
| 87075 | F | F | * | * | F |
| 87076 | F | F | * | * | F |
| 87077 | F | F | * | * | F |
| 87078 | F | F | * | * | F |
| 87079 | F | T | F | F | F |
| 87080 | F | F | * | * | F |
| 87081 | F | F | * | * | F |
| 87082 | F | F | * | * | F |
| 87083 | F | T | F | F | F |
| 87084 | F | T | F | F | F |
| 87085 | F | T | F | F | F |
| 87086 | F | F | * | * | F |
| 87087 | F | T | T | * | T |
| 87088 | F | T | F | F | F |
| 87089 | F | F | * | * | F |
| 87090 | F | F | * | * | F |
| 87091 | F | F | * | * | F |
| 91189 | F | F | * | * | F |
| 91190 | F | F | * | * | F |
| 91191 | F | F | * | * | F |
| 91192 | F | F | * | * | F |
| 91193 | F | F | * | * | F |
| 91194 | F | T | F | F | F |
| 91195 | F | T | F | F | F |
| 91196 | F | F | * | * | F |
| 91197 | F | F | * | * | F |
| 91198 | F | F | * | * | F |
| 91199 | F | F | * | * | F |
| 91200 | F | F | * | * | F |
| 91201 | F | F | * | * | F |
| 91202 | F | F | * | * | F |
| 91203 | F | F | * | * | F |
| 91204 | F | T | T | * | T |
| 91205 | F | T | F | F | F |
| 91206 | F | F | * | * | F |
| 91207 | F | F | * | * | F |
| 91208 | F | F | * | * | F |
| 91209 | F | T | F | F | F |
| 91210 | F | T | F | * | F |
| 91211 | F | F | T | * | T |
| 91212 | F | F | * | * | F |
| 91213 | F | T | F | F | F |
| 91214 | F | F | * | * | F |
| 91215 | F | T | F | F | F |
| 91216 | F | F | * | * | F |
| 91217 | F | F | * | * | F |
| 91218 | F | F | * | * | F |
| 91219 | F | F | * | * | F |
| 91220 | F | F | * | * | F |
| 91221 | F | F | * | * | F |
| 95457 | F | F | * | * | F |
| 95458 | F | F | * | * | F |
| 95459 | F | F | * | * | F |
| 95460 | F | F | * | * | F |
| 95461 | F | F | * | * | F |
| 95462 | F | T | F | F | F |
| 95463 | F | T | F | F | F |
| 95464 | F | F | * | * | F |
| 95465 | F | F | * | * | F |
| 95466 | F | F | * | * | F |
| 95467 | F | F | * | * | F |
| 95468 | F | F | * | * | F |
| 95469 | F | F | * | * | F |
| 95470 | F | F | * | * | F |
| 95471 | F | F | * | * | F |
| 95472 | F | T | T | * | T |
| 95473 | F | T | F | F | F |
| 95474 | F | F | * | * | F |
| 95475 | F | F | * | * | F |
| 95476 | F | F | * | * | F |
| 95477 | F | T | F | F | F |
| 95478 | F | T | F | * | F |
| 95479 | F | F | T | * | T |
| 95480 | F | F | * | * | F |
| 95481 | F | T | F | F | F |
| 95482 | F | F | * | * | F |
| 95483 | F | T | F | F | F |
| 95484 | F | F | * | * | F |
| 95485 | F | F | * | * | F |
| 95486 | F | F | * | * | F |
| 95487 | F | F | * | * | F |
| 95488 | F | F | * | * | F |
| 95489 | F | F | * | * | F |
| 97540 | F | F | * | * | F |
| 97541 | F | F | * | * | F |
| 97542 | F | F | * | * | F |
| 97543 | F | F | * | * | F |
| 97544 | F | F | * | * | F |
| 97545 | F | F | * | * | F |
| 97546 | F | F | * | * | F |
| 97547 | F | F | * | * | F |
| 97548 | F | F | * | * | F |
| 97549 | F | F | * | * | F |
| 97550 | F | T | F | F | F |
| 97551 | F | T | F | F | F |
| 97552 | F | F | * | * | F |
| 97553 | F | T | F | F | F |
| 97554 | F | F | * | * | F |
| 97555 | F | T | F | F | F |
| 97556 | F | T | F | F | F |
| 97557 | F | F | * | * | F |
| 97558 | F | F | * | * | F |
| 97559 | F | F | * | * | F |
| 97560 | F | F | * | * | F |
| 97561 | F | F | * | * | F |
| 97562 | F | T | F | F | F |
| 97563 | F | F | * | * | F |
| 97564 | F | F | * | * | F |
| 97565 | F | F | * | * | F |
| 97566 | F | F | * | * | F |
| 97567 | F | F | * | * | F |
| 99110 | F | F | * | * | F |
| 99111 | F | F | * | * | F |
| 99112 | F | F | * | * | F |
| 99113 | F | F | * | * | F |
| 99114 | F | F | * | * | F |
| 99115 | F | F | * | * | F |
| 99116 | F | F | * | * | F |
| 99117 | F | F | * | * | F |
| 99118 | F | F | * | * | F |
| 99119 | F | F | * | * | F |
| 99120 | F | F | * | * | F |
| 99121 | F | F | * | * | F |
| 99122 | F | T | F | F | F |
| 99123 | F | T | F | F | F |
| 99124 | F | T | T | * | T |
| 99125 | F | F | * | * | F |
| 99126 | F | F | * | * | F |
| 99127 | F | F | * | * | F |
| 100595 | F | F | * | * | F |
| 100596 | F | F | * | * | F |
| 100597 | F | F | * | * | F |
| 100598 | F | F | * | * | F |
| 100599 | F | F | * | * | F |
| 100600 | F | F | * | * | F |
| 100601 | F | F | * | * | F |
| 100602 | F | F | * | * | F |
| 100603 | F | F | * | * | F |
| 100604 | F | F | * | * | F |
| 100605 | F | F | * | * | F |
| 100606 | F | F | * | * | F |
| 100607 | F | F | * | * | F |
| 100608 | F | F | * | * | F |
| 100609 | F | F | * | * | F |
| 100610 | F | F | * | * | F |
| 102043 | F | F | * | * | F |
| 102044 | F | F | * | * | F |
| 102045 | F | F | * | * | F |
| 102046 | F | F | * | * | F |
| 102047 | F | F | * | * | F |
| 102048 | F | F | * | * | F |
| 102049 | F | F | * | * | F |
| 102050 | F | F | * | * | F |
| 102051 | F | F | * | * | F |
| 102052 | F | F | * | * | F |
| 102053 | F | F | * | * | F |
| 102054 | F | F | * | * | F |
| 102055 | F | T | F | F | F |
| 102056 | F | T | F | F | F |
| 102057 | F | T | T | * | T |
| 102058 | F | F | * | * | F |
| 102059 | F | F | * | * | F |
| 102060 | F | F | * | * | F |
| 104568 | F | F | * | * | F |
| 104569 | F | F | * | * | F |
| 104570 | F | F | * | * | F |
| 104571 | F | F | * | * | F |
| 104572 | F | F | * | * | F |
| 104573 | F | F | * | * | F |
| 104574 | F | F | * | * | F |
| 104575 | F | F | * | * | F |
| 104576 | F | F | * | * | F |
| 104577 | F | F | * | * | F |
| 104578 | F | F | * | * | F |
| 104579 | F | F | * | * | F |
| 104580 | F | F | * | * | F |
| 104581 | F | T | F | F | F |
| 104582 | F | T | T | * | T |
| 104583 | F | F | * | * | F |
| 104584 | F | F | * | * | F |
| 104585 | F | F | * | * | F |
| 104586 | F | F | * | * | F |
| 104587 | F | F | * | * | F |
| 104588 | F | F | * | * | F |
| 104589 | F | F | * | * | F |
| 104590 | F | F | * | * | F |
| 104591 | F | F | * | * | F |
| 104592 | F | F | * | * | F |
| 108461 | F | F | * | * | F |
| 108462 | F | F | * | * | F |
| 108463 | F | F | * | * | F |
| 108464 | F | F | * | * | F |
| 108465 | F | F | * | * | F |
| 108466 | F | F | * | * | F |
| 108467 | F | F | * | * | F |
| 108468 | F | F | * | * | F |
| 108469 | F | F | * | * | F |
| 108470 | F | F | * | * | F |
| 108471 | F | F | * | * | F |
| 108472 | F | F | * | * | F |
| 108473 | F | F | * | * | F |
| 108474 | F | T | F | F | F |
| 108475 | F | T | F | * | F |
| 108476 | F | T | T | * | T |
| 108477 | * | * | F | * | F |
| 108478 | F | F | F | F | F |
| 108479 | F | T | F | F | F |
| 108480 | F | T | F | F | F |
| 108481 | F | T | F | F | F |
| 108482 | F | T | F | F | F |
| 108483 | F | T | F | F | F |
| 108484 | F | T | F | F | F |
| 108485 | F | T | F | F | F |
| 108486 | F | T | F | F | F |
| 108487 | F | T | F | F | F |
| 108488 | F | T | F | F | F |
| 108489 | F | F | * | * | F |
| 108490 | F | T | F | F | F |
| 108491 | F | T | F | F | F |
| 108492 | F | F | * | * | F |
| 108493 | F | F | * | * | F |
| 108494 | F | F | * | * | F |
| 108495 | F | F | * | * | F |
| 108496 | F | F | * | * | F |
| 108497 | F | F | * | * | F |
| 108498 | F | T | F | F | F |
| 108499 | F | T | F | F | F |
| 108500 | F | F | * | * | F |
| 108501 | F | F | * | * | F |
| 108502 | F | F | * | * | F |
| 108503 | F | F | * | * | F |
| 108504 | F | F | * | * | F |
| 108505 | F | F | * | * | F |
| 108506 | F | F | * | * | F |
| 110560 | F | F | * | * | F |
| 110561 | F | F | * | * | F |
| 110562 | F | F | * | * | F |
| 110563 | F | F | * | * | F |
| 110564 | F | F | * | * | F |
| 110565 | F | F | * | * | F |
| 110566 | F | F | * | * | F |
| 110567 | F | F | * | * | F |
| 110568 | F | F | * | * | F |
| 110569 | F | F | * | * | F |
| 110570 | F | F | * | * | F |
| 110571 | F | F | * | * | F |
| 110572 | F | F | * | * | F |
| 110573 | F | F | * | * | F |
| 110574 | F | F | * | * | F |
| 110575 | F | F | * | * | F |
| 110576 | F | F | * | * | F |
| 110577 | F | F | * | * | F |
| 113707 | F | F | * | * | F |
| 113708 | F | F | * | * | F |
| 113709 | F | F | * | * | F |
| 113710 | F | F | * | * | F |
| 113711 | F | F | * | * | F |
| 113712 | F | F | * | * | F |
| 113713 | F | F | * | * | F |
| 113714 | F | F | * | * | F |
| 113715 | F | T | F | F | F |
| 113716 | F | F | * | * | F |
| 113717 | F | F | * | * | F |
| 113718 | F | F | * | * | F |
| 113719 | F | F | * | * | F |
| 113720 | F | F | * | * | F |
| 113721 | F | F | * | * | F |
| 113722 | F | F | * | * | F |
| 113723 | F | F | * | * | F |
| 113724 | F | F | * | * | F |
| 113725 | F | T | T | * | T |
| 113726 | F | F | * | * | F |
| 113727 | F | T | F | F | F |
| 113728 | F | T | T | * | T |
| 113729 | F | F | * | * | F |
| 113730 | F | F | * | * | F |
| 113731 | F | T | F | * | F |
| 113732 | F | F | F | F | F |
| 113733 | F | F | * | * | F |
| 113734 | F | T | F | F | F |
| 113735 | F | T | F | * | F |
| 113736 | F | T | T | * | T |
| 113737 | * | * | F | * | F |
| 113738 | F | F | F | F | F |
| 113739 | F | F | * | * | F |
| 113740 | F | T | F | * | F |
| 113741 | F | T | T | * | T |
| 113742 | F | T | F | F | F |
| 113743 | F | T | F | F | F |
| 113744 | * | * | F | * | F |
| 113745 | F | F | T | * | T |
| 113746 | F | F | * | * | F |
| 113747 | F | F | * | * | F |
| 113748 | F | F | * | * | F |
| 113749 | F | F | * | * | F |
| 113750 | F | F | * | * | F |
| 113751 | F | F | * | * | F |
| 113752 | F | F | * | * | F |
| 116950 | F | F | * | * | F |
| 116951 | F | F | * | * | F |
| 116952 | F | F | * | * | F |
| 116953 | F | F | * | * | F |
| 116954 | F | F | * | * | F |
| 116955 | F | T | T | * | T |
| 116956 | F | F | * | * | F |
| 116957 | F | F | * | * | F |
| 116958 | F | F | * | * | F |
| 116959 | F | F | * | * | F |
| 116960 | F | F | * | * | F |
| 116961 | F | F | * | * | F |
| 116962 | F | F | * | * | F |
| 116963 | F | F | * | * | F |
| 116964 | F | F | * | * | F |
| 116965 | F | F | * | * | F |
| 116966 | F | F | * | * | F |
| 116967 | F | F | * | * | F |
| 116968 | F | F | * | * | F |
| 116969 | F | T | F | F | F |
| 116970 | F | F | * | * | F |
| 116971 | F | F | * | * | F |
| 116972 | F | T | F | F | F |
| 116973 | F | F | * | * | F |
| 116974 | F | F | * | * | F |
| 116975 | F | T | F | F | F |
| 116976 | F | T | F | F | F |
| 116977 | F | F | * | * | F |
| 116978 | F | T | F | F | F |
| 116979 | F | F | * | * | F |
| 116980 | F | T | F | * | F |
| 116981 | F | F | F | F | F |
| 116982 | F | F | * | * | F |
| 116983 | F | F | * | * | F |
| 139893 | F | F | * | * | F |
| 139894 | F | F | * | * | F |
| 139895 | F | T | F | F | F |
| 139896 | F | F | * | * | F |
| 139897 | F | F | * | * | F |
| 139898 | F | F | * | * | F |
| 139899 | F | F | * | * | F |
| 139900 | F | F | * | * | F |
| 139901 | F | F | * | * | F |
| 139902 | F | F | * | * | F |
| 139903 | F | F | * | * | F |
| 139904 | F | F | * | * | F |
| 139905 | F | F | * | * | F |
| 139906 | F | F | * | * | F |
| 139907 | F | F | * | * | F |
| 139908 | F | F | * | * | F |
| 139909 | F | F | * | * | F |
| 139910 | F | F | * | * | F |
| 139911 | F | F | * | * | F |
| 139912 | F | F | * | * | F |
| 139913 | F | T | F | F | F |
| 139914 | F | F | * | * | F |
| 139915 | F | F | * | * | F |
| 139916 | F | F | * | * | F |
| 139917 | F | F | * | * | F |
| 139918 | F | F | * | * | F |
| 139919 | F | F | * | * | F |
| 139920 | F | F | * | * | F |
| 139921 | F | F | * | * | F |
| 139922 | F | T | T | * | T |
| 139923 | F | F | * | * | F |
| 139924 | F | F | * | * | F |
| 139925 | F | F | * | * | F |
| 139926 | F | F | * | * | F |
| 139927 | F | F | * | * | F |
| 139928 | F | F | * | * | F |
| 139929 | F | F | * | * | F |
| 139930 | F | F | * | * | F |
| 139931 | F | T | F | F | F |
| 139932 | F | F | * | * | F |
| 139933 | F | F | * | * | F |
| 139934 | F | F | * | * | F |
| 139935 | F | F | * | * | F |
| 139936 | F | F | * | * | F |
| 139937 | F | F | * | * | F |
| 139938 | F | F | * | * | F |
| 139939 | F | F | * | * | F |
| 139940 | F | F | * | * | F |
| 139941 | F | F | * | * | F |
| 139942 | F | F | * | * | F |
| 139943 | F | F | * | * | F |
| 139944 | F | F | * | * | F |
| 139945 | F | F | * | * | F |
| 139946 | F | F | * | * | F |
| 139947 | F | F | * | * | F |
| 139948 | F | F | * | * | F |
| 139949 | F | F | * | * | F |
| 139950 | F | F | * | * | F |
| 139951 | F | F | * | * | F |
| 139952 | F | F | * | * | F |
| 139953 | F | F | * | * | F |
| 139954 | F | F | * | * | F |
| 139955 | F | F | * | * | F |
| 139956 | F | F | * | * | F |
| 139957 | F | F | * | * | F |
| 139958 | F | F | * | * | F |
| 139959 | F | F | * | * | F |
| 139960 | F | F | * | * | F |
| 139961 | F | F | * | * | F |
| 139962 | F | F | * | * | F |
| 139963 | F | F | * | * | F |
| 139964 | F | T | F | F | F |
| 139965 | F | F | * | * | F |
| 139966 | F | F | * | * | F |
| 139967 | F | F | * | * | F |
| 139968 | F | T | F | F | F |
| 139969 | F | F | * | * | F |
| 139970 | F | T | F | F | F |
| 139971 | F | T | F | F | F |
| 139972 | F | T | F | F | F |
| 139973 | F | T | F | F | F |
| 139974 | F | T | F | F | F |
| 139975 | F | T | F | F | F |
| 139976 | F | F | * | * | F |
| 139977 | F | F | * | * | F |
| 139978 | F | F | * | * | F |
| 139979 | F | T | F | F | F |
| 139980 | F | T | F | F | F |
| 139981 | F | T | F | F | F |
| 139982 | F | F | * | * | F |
| 139983 | F | F | * | * | F |
| 139984 | F | F | * | * | F |
| 139985 | F | F | * | * | F |
| 139986 | F | F | * | * | F |
| 162829 | F | F | * | * | F |
| 162830 | F | F | * | * | F |
| 162831 | F | T | F | F | F |
| 162832 | F | F | * | * | F |
| 162833 | F | F | * | * | F |
| 162834 | F | F | * | * | F |
| 162835 | F | F | * | * | F |
| 162836 | F | F | * | * | F |
| 162837 | F | F | * | * | F |
| 162838 | F | F | * | * | F |
| 162839 | F | F | * | * | F |
| 162840 | F | F | * | * | F |
| 162841 | F | F | * | * | F |
| 162842 | F | F | * | * | F |
| 162843 | F | F | * | * | F |
| 162844 | F | F | * | * | F |
| 162845 | F | F | * | * | F |
| 162846 | F | F | * | * | F |
| 162847 | F | F | * | * | F |
| 162848 | F | F | * | * | F |
| 162849 | F | T | F | F | F |
| 162850 | F | F | * | * | F |
| 162851 | F | F | * | * | F |
| 162852 | F | F | * | * | F |
| 162853 | F | F | * | * | F |
| 162854 | F | F | * | * | F |
| 162855 | F | F | * | * | F |
| 162856 | F | F | * | * | F |
| 162857 | F | F | * | * | F |
| 162858 | F | T | T | * | T |
| 162859 | F | F | * | * | F |
| 162860 | F | F | * | * | F |
| 162861 | F | F | * | * | F |
| 162862 | F | F | * | * | F |
| 162863 | F | F | * | * | F |
| 162864 | F | F | * | * | F |
| 162865 | F | F | * | * | F |
| 162866 | F | F | * | * | F |
| 162867 | F | T | F | F | F |
| 162868 | F | F | * | * | F |
| 162869 | F | F | * | * | F |
| 162870 | F | F | * | * | F |
| 162871 | F | F | * | * | F |
| 162872 | F | F | * | * | F |
| 162873 | F | F | * | * | F |
| 162874 | F | F | * | * | F |
| 162875 | F | F | * | * | F |
| 162876 | F | F | * | * | F |
| 162877 | F | F | * | * | F |
| 162878 | F | F | * | * | F |
| 162879 | F | F | * | * | F |
| 162880 | F | F | * | * | F |
| 162881 | F | F | * | * | F |
| 162882 | F | F | * | * | F |
| 162883 | F | F | * | * | F |
| 162884 | F | F | * | * | F |
| 162885 | F | F | * | * | F |
| 162886 | F | F | * | * | F |
| 162887 | F | F | * | * | F |
| 162888 | F | F | * | * | F |
| 162889 | F | F | * | * | F |
| 162890 | F | F | * | * | F |
| 162891 | F | F | * | * | F |
| 162892 | F | F | * | * | F |
| 162893 | F | F | * | * | F |
| 162894 | F | F | * | * | F |
| 162895 | F | F | * | * | F |
| 162896 | F | F | * | * | F |
| 162897 | F | F | * | * | F |
| 162898 | F | F | * | * | F |
| 162899 | F | F | * | * | F |
| 162900 | F | T | F | F | F |
| 162901 | F | F | * | * | F |
| 162902 | F | F | * | * | F |
| 162903 | F | F | * | * | F |
| 162904 | F | T | F | F | F |
| 162905 | F | F | * | * | F |
| 162906 | F | T | F | F | F |
| 162907 | F | T | F | F | F |
| 162908 | F | T | F | F | F |
| 162909 | F | T | F | F | F |
| 162910 | F | T | F | F | F |
| 162911 | F | T | F | F | F |
| 162912 | F | F | * | * | F |
| 162913 | F | F | * | * | F |
| 162914 | F | F | * | * | F |
| 162915 | F | T | F | F | F |
| 162916 | F | T | F | F | F |
| 162917 | F | T | F | F | F |
| 162918 | F | F | * | * | F |
| 162919 | F | F | * | * | F |
| 162920 | F | F | * | * | F |
| 162921 | F | F | * | * | F |
| 162922 | F | F | * | * | F |
| 164480 | F | F | * | * | F |
| 164481 | F | F | * | * | F |
| 164482 | F | F | * | * | F |
| 164483 | F | F | * | * | F |
| 164484 | F | F | * | * | F |
| 164485 | F | F | * | * | F |
| 164486 | F | F | * | * | F |
| 164487 | F | F | * | * | F |
| 164488 | F | F | * | * | F |
| 164489 | F | F | * | * | F |
| 164490 | F | F | * | * | F |
| 164491 | F | F | * | * | F |
| 166141 | F | F | * | * | F |
| 166142 | F | F | * | * | F |
| 166143 | F | F | * | * | F |
| 166144 | F | F | * | * | F |
| 166145 | F | F | * | * | F |
| 166146 | F | F | * | * | F |
| 166147 | F | F | * | * | F |
| 166148 | F | F | * | * | F |
| 166149 | F | F | * | * | F |
| 166150 | F | T | F | F | F |
| 166151 | F | F | * | * | F |
| 166152 | F | F | * | * | F |
| 166153 | F | F | * | * | F |
| 166154 | F | F | * | * | F |
| 166155 | F | F | * | * | F |
| 166156 | F | F | * | * | F |
| 166157 | F | F | * | * | F |
| 166158 | F | F | * | * | F |
| 167827 | F | F | * | * | F |
| 167828 | F | F | * | * | F |
| 167829 | F | F | * | * | F |
| 167830 | F | F | * | * | F |
| 167831 | F | F | * | * | F |
| 167832 | F | F | * | * | F |
| 167833 | F | F | * | * | F |
| 167834 | F | F | * | * | F |
| 167835 | F | F | * | * | F |
| 167836 | F | F | * | * | F |
| 167837 | F | F | * | * | F |
| 167838 | F | F | * | * | F |
| 167839 | F | F | * | * | F |
| 167840 | F | F | * | * | F |
| 167841 | F | F | * | * | F |
| 167842 | F | F | * | * | F |
Independent-effect pairs
All 4 conditions live in dlfree — 4 br_if
c0(branch8328): GAP view gap →c1(branch8329): PROVED — pair rows3581,25129(masking)c2(branch8330): PROVED — pair rows3585,25129(masking)c3(branch8331): GAP view gap →