Decision #1211 — malloc.c:4384
Status: partial
Truth table
| row | c0 br 8300 | c1 br 8301 | outcome |
|---|---|---|---|
| 3191 | * | T | T |
| 3192 | F | T | T |
| 3193 | F | F | F |
| 3194 | * | T | T |
| 3195 | F | T | T |
| 3196 | F | * | F |
| 3197 | F | * | F |
| 3198 | F | * | F |
| 3199 | F | * | F |
| 3200 | F | * | F |
| 6943 | * | T | T |
| 6944 | F | T | T |
| 6945 | F | F | F |
| 6946 | * | T | T |
| 6947 | * | F | F |
| 6948 | F | F | F |
| 6949 | F | F | F |
| 6950 | F | * | F |
| 6951 | F | * | F |
| 6952 | F | * | F |
| 6953 | F | * | F |
| 6954 | F | * | F |
| 6955 | F | * | F |
| 6956 | F | * | F |
| 10857 | * | T | T |
| 10858 | F | T | T |
| 10859 | F | F | F |
| 10860 | * | T | T |
| 10861 | * | T | T |
| 10862 | * | F | F |
| 10863 | * | F | F |
| 10864 | F | F | F |
| 10865 | F | * | F |
| 10866 | F | * | F |
| 10867 | F | * | F |
| 10868 | F | * | F |
| 10869 | F | * | F |
| 10870 | F | * | F |
| 10871 | F | * | F |
| 12827 | F | * | F |
| 12828 | F | * | F |
| 12829 | F | * | F |
| 12830 | F | * | F |
| 12831 | F | * | F |
| 12832 | F | * | F |
| 14182 | F | * | F |
| 14183 | F | * | F |
| 14184 | F | * | F |
| 14185 | F | * | F |
| 14186 | F | * | F |
| 14187 | F | * | F |
| 15528 | F | * | F |
| 15529 | F | * | F |
| 15530 | F | * | F |
| 15531 | F | * | F |
| 15532 | F | * | F |
| 15533 | F | * | F |
| 24512 | F | * | F |
| 24513 | F | * | F |
| 24514 | F | * | F |
| 24515 | F | * | F |
| 24516 | F | * | F |
| 24517 | F | * | F |
| 24518 | F | * | F |
| 24519 | F | * | F |
| 24520 | F | * | F |
| 24521 | F | * | F |
| 24522 | F | * | F |
| 24523 | F | * | F |
| 24524 | F | * | F |
| 24525 | F | * | F |
| 24526 | F | * | F |
| 24527 | F | * | F |
| 24528 | F | * | F |
| 24529 | F | * | F |
| 24530 | F | * | F |
| 24531 | F | * | F |
| 24532 | F | T | T |
| 24533 | * | F | F |
| 24534 | * | F | F |
| 24535 | F | T | T |
| 24536 | F | * | F |
| 24537 | F | F | F |
| 24538 | F | F | F |
| 24539 | F | * | F |
| 24540 | F | * | F |
| 33971 | F | * | F |
| 33972 | F | * | F |
| 33973 | F | * | F |
| 33974 | F | * | F |
| 33975 | F | * | F |
| 33976 | F | * | F |
| 33977 | F | * | F |
| 33978 | F | * | F |
| 33979 | F | * | F |
| 33980 | F | * | F |
| 33981 | F | * | F |
| 33982 | F | * | F |
| 33983 | F | * | F |
| 33984 | F | * | F |
| 33985 | F | * | F |
| 33986 | F | * | F |
| 33987 | F | * | F |
| 33988 | F | * | F |
| 33989 | F | * | F |
| 33990 | F | * | F |
| 33991 | F | T | T |
| 33992 | F | T | T |
| 33993 | * | T | T |
| 33994 | F | F | F |
| 33995 | F | * | F |
| 33996 | F | * | F |
| 33997 | F | * | F |
| 33998 | F | * | F |
| 33999 | F | * | F |
| 34000 | F | * | F |
| 34001 | F | * | F |
| 34002 | F | * | F |
| 34003 | F | * | F |
| 34004 | F | * | F |
| 40124 | F | F | F |
| 40125 | F | * | F |
| 40126 | F | * | F |
| 40127 | F | * | F |
| 46337 | F | F | F |
| 46338 | F | * | F |
| 46339 | F | * | F |
| 46340 | F | * | F |
| 50546 | F | * | F |
| 50547 | F | * | F |
| 50548 | F | * | F |
| 50549 | F | * | F |
| 50550 | F | * | F |
| 50551 | F | * | F |
| 50552 | F | * | F |
| 50553 | F | * | F |
| 50554 | F | * | F |
| 50555 | F | T | T |
| 50556 | F | * | F |
| 50557 | F | * | F |
| 50558 | F | * | F |
| 50559 | F | * | F |
| 50560 | F | * | F |
| 50561 | F | * | F |
| 54856 | F | * | F |
| 54857 | F | * | F |
| 54858 | F | * | F |
| 54859 | F | * | F |
| 54860 | F | * | F |
| 54861 | F | * | F |
| 54862 | F | * | F |
| 54863 | F | F | F |
| 54864 | * | T | T |
| 54865 | * | T | T |
| 54866 | * | T | T |
| 54867 | F | F | F |
| 54868 | F | F | F |
| 54869 | F | * | F |
| 54870 | F | * | F |
| 54871 | F | * | F |
| 59331 | F | T | T |
| 59332 | F | * | F |
| 59333 | F | * | F |
| 59334 | F | * | F |
| 59335 | F | * | F |
| 59336 | F | F | F |
| 59337 | F | * | F |
| 63470 | F | * | F |
| 63471 | F | * | F |
| 63472 | F | * | F |
| 63473 | F | * | F |
| 63474 | F | * | F |
| 63475 | F | * | F |
| 63476 | F | * | F |
| 63477 | F | * | F |
| 63478 | F | * | F |
| 63479 | F | T | T |
| 63480 | F | * | F |
| 63481 | F | * | F |
| 63482 | F | * | F |
| 63483 | F | * | F |
| 63484 | F | * | F |
| 63485 | F | * | F |
| 74868 | F | * | F |
| 74869 | F | * | F |
| 74870 | F | * | F |
| 74871 | F | * | F |
| 74872 | F | * | F |
| 74873 | F | * | F |
| 74874 | F | * | F |
| 74875 | F | * | F |
| 74876 | F | * | F |
| 74877 | F | * | F |
| 74878 | F | * | F |
| 74879 | F | * | F |
| 74880 | F | * | F |
| 74881 | F | * | F |
| 74882 | F | * | F |
| 74883 | F | * | F |
| 74884 | F | * | F |
| 74885 | F | * | F |
| 74886 | F | * | F |
| 86381 | F | * | F |
| 86382 | F | * | F |
| 86383 | F | * | F |
| 86384 | F | * | F |
| 86385 | F | * | F |
| 86386 | F | * | F |
| 86387 | F | * | F |
| 86388 | F | * | F |
| 86389 | F | * | F |
| 86390 | F | * | F |
| 86391 | F | * | F |
| 86392 | F | * | F |
| 86393 | F | * | F |
| 86394 | F | * | F |
| 86395 | F | * | F |
| 86396 | F | * | F |
| 86397 | F | * | F |
| 86398 | F | * | F |
| 86399 | F | * | F |
| 90813 | F | F | F |
| 90814 | F | T | T |
| 90815 | F | F | F |
| 90816 | F | * | F |
| 90817 | F | * | F |
| 90818 | F | * | F |
| 90819 | F | * | F |
| 90820 | F | * | F |
| 90821 | F | * | F |
| 90822 | F | * | F |
| 90823 | F | * | F |
| 90824 | F | * | F |
| 95081 | F | F | F |
| 95082 | F | T | T |
| 95083 | F | F | F |
| 95084 | F | * | F |
| 95085 | F | * | F |
| 95086 | F | * | F |
| 95087 | F | * | F |
| 95088 | F | * | F |
| 95089 | F | * | F |
| 95090 | F | * | F |
| 95091 | F | * | F |
| 95092 | F | * | F |
| 97330 | F | * | F |
| 97331 | F | * | F |
| 97332 | F | * | F |
| 97333 | F | * | F |
| 97334 | F | * | F |
| 97335 | F | * | F |
| 97336 | F | * | F |
| 97337 | F | * | F |
| 97338 | F | * | F |
| 98960 | F | * | F |
| 98961 | F | * | F |
| 98962 | F | * | F |
| 98963 | F | * | F |
| 98964 | F | * | F |
| 98965 | F | * | F |
| 98966 | F | * | F |
| 100451 | F | * | F |
| 100452 | F | * | F |
| 100453 | F | * | F |
| 100454 | F | * | F |
| 100455 | F | * | F |
| 100456 | F | * | F |
| 100457 | F | * | F |
| 100458 | F | * | F |
| 101893 | F | * | F |
| 101894 | F | * | F |
| 101895 | F | * | F |
| 101896 | F | * | F |
| 101897 | F | * | F |
| 101898 | F | * | F |
| 101899 | F | * | F |
| 104307 | F | * | F |
| 104308 | F | F | F |
| 104309 | F | * | F |
| 104310 | F | * | F |
| 104311 | F | * | F |
| 104312 | F | * | F |
| 104313 | F | * | F |
| 104314 | F | * | F |
| 104315 | F | * | F |
| 108155 | F | F | F |
| 108156 | F | F | F |
| 108157 | F | * | F |
| 108158 | F | * | F |
| 108159 | F | * | F |
| 108160 | F | F | F |
| 108161 | F | * | F |
| 108162 | F | * | F |
| 108163 | F | * | F |
| 108164 | F | * | F |
| 108165 | F | * | F |
| 108166 | F | * | F |
| 110347 | F | * | F |
| 110348 | F | * | F |
| 110349 | F | * | F |
| 110350 | F | * | F |
| 110351 | F | * | F |
| 113444 | F | * | F |
| 113445 | F | T | T |
| 113446 | F | * | F |
| 113447 | F | * | F |
| 113448 | F | * | F |
| 113449 | F | * | F |
| 113450 | F | * | F |
| 113451 | F | * | F |
| 113452 | F | * | F |
| 113453 | F | * | F |
| 113454 | F | * | F |
| 113455 | F | * | F |
| 113456 | F | * | F |
| 116603 | F | * | F |
| 116604 | F | * | F |
| 116605 | F | * | F |
| 116606 | F | * | F |
| 116607 | F | * | F |
| 116608 | F | * | F |
| 116609 | F | T | T |
| 116610 | F | T | T |
| 116611 | F | * | F |
| 116612 | F | * | F |
| 116613 | F | * | F |
| 138765 | F | * | F |
| 138766 | F | * | F |
| 138767 | F | * | F |
| 138768 | F | * | F |
| 138769 | F | * | F |
| 138770 | F | * | F |
| 138771 | F | * | F |
| 138772 | F | * | F |
| 138773 | F | * | F |
| 138774 | F | * | F |
| 138775 | F | * | F |
| 138776 | F | * | F |
| 138777 | F | * | F |
| 138778 | F | * | F |
| 138779 | F | * | F |
| 138780 | F | * | F |
| 138781 | F | * | F |
| 138782 | F | * | F |
| 138783 | F | * | F |
| 138784 | F | T | T |
| 138785 | * | F | F |
| 138786 | * | F | F |
| 138787 | F | F | F |
| 138788 | F | F | F |
| 138789 | F | * | F |
| 138790 | F | * | F |
| 138791 | F | * | F |
| 138792 | F | * | F |
| 161701 | F | * | F |
| 161702 | F | * | F |
| 161703 | F | * | F |
| 161704 | F | * | F |
| 161705 | F | * | F |
| 161706 | F | * | F |
| 161707 | F | * | F |
| 161708 | F | * | F |
| 161709 | F | * | F |
| 161710 | F | * | F |
| 161711 | F | * | F |
| 161712 | F | * | F |
| 161713 | F | * | F |
| 161714 | F | * | F |
| 161715 | F | * | F |
| 161716 | F | * | F |
| 161717 | F | * | F |
| 161718 | F | * | F |
| 161719 | F | * | F |
| 161720 | F | T | T |
| 161721 | * | F | F |
| 161722 | * | F | F |
| 161723 | F | F | F |
| 161724 | F | F | F |
| 161725 | F | * | F |
| 161726 | F | * | F |
| 161727 | F | * | F |
| 161728 | F | * | F |
| 164309 | F | * | F |
| 164310 | F | * | F |
| 164311 | F | * | F |
| 164312 | F | * | F |
| 164313 | F | * | F |
| 164314 | F | * | F |
| 165939 | F | * | F |
| 165940 | F | * | F |
| 165941 | F | * | F |
| 165942 | F | * | F |
| 165943 | F | * | F |
| 165944 | F | * | F |
| 165945 | F | * | F |
| 165946 | F | * | F |
| 165947 | F | * | F |
| 165948 | F | * | F |
| 167635 | F | * | F |
| 167636 | F | * | F |
| 167637 | F | * | F |
| 167638 | F | * | F |
| 167639 | F | * | F |
| 167640 | F | * | F |
| 167641 | F | * | F |
| 167642 | F | * | F |
| 167643 | F | * | F |
Independent-effect pairs
c0(branch8300): GAP view gap →dlfree· br_ifc1(branch8301): PROVED — pair rows3192,3193(unique-cause)dlfree· br_if