Decision #1449 — malloc.c:4443
Status: no_witness
Truth table
| row | c0 br 9583 | c1 br 9584 | c2 br 9585 | c3 br 9586 | c4 br 9587 | outcome |
|---|---|---|---|---|---|---|
| 5682 | T | T | F | F | F | T |
| 5683 | T | T | F | F | F | T |
| 5684 | T | T | F | F | F | T |
| 5685 | T | T | F | F | F | T |
| 5686 | T | T | F | F | F | T |
| 5687 | T | T | F | F | F | T |
| 5688 | T | T | F | F | F | T |
| 5689 | T | T | F | F | F | T |
| 5690 | T | T | F | F | F | T |
| 5691 | T | T | F | F | F | T |
| 5692 | T | T | F | F | F | T |
| 5693 | T | T | F | F | F | T |
| 5694 | T | T | F | F | F | T |
| 5695 | T | T | F | F | F | T |
| 5696 | T | T | F | F | F | T |
| 12568 | T | T | F | F | F | T |
| 12569 | T | T | F | F | F | T |
| 12570 | T | T | F | F | F | T |
| 12571 | T | T | F | F | F | T |
| 12572 | T | T | F | F | F | T |
| 12573 | T | T | F | F | F | T |
| 12574 | T | T | F | F | F | T |
| 12575 | T | T | F | F | F | T |
| 12576 | T | T | F | F | F | T |
| 12577 | T | T | F | F | F | T |
| 12578 | T | T | F | F | F | T |
| 12579 | T | T | F | F | F | T |
| 12580 | T | T | F | F | F | T |
| 12581 | T | T | F | F | F | T |
| 12582 | T | T | F | F | F | T |
| 19648 | T | T | F | F | F | T |
| 19649 | T | T | F | F | F | T |
| 19650 | T | T | F | F | F | T |
| 19651 | T | T | F | F | F | T |
| 19652 | T | T | F | F | F | T |
| 19653 | T | T | F | F | F | T |
| 19654 | T | T | F | F | F | T |
| 19655 | T | T | F | F | F | T |
| 19656 | T | T | F | F | F | T |
| 19657 | T | T | F | F | F | T |
| 19658 | T | T | F | F | F | T |
| 19659 | T | T | F | F | F | T |
| 19660 | T | T | F | F | F | T |
| 19661 | T | T | F | F | F | T |
| 19662 | T | T | F | F | F | T |
| 23429 | T | T | F | F | F | T |
| 23430 | T | T | F | F | F | T |
| 23431 | T | T | F | F | F | T |
| 23432 | T | T | F | F | F | T |
| 23433 | T | T | F | F | F | T |
| 23434 | T | T | F | F | F | T |
| 23435 | T | T | F | F | F | T |
| 26119 | T | T | F | F | F | T |
| 26120 | T | T | F | F | F | T |
| 26121 | T | T | F | F | F | T |
| 26122 | T | T | F | F | F | T |
| 26123 | T | T | F | F | F | T |
| 26124 | T | T | F | F | F | T |
| 26125 | T | T | F | F | F | T |
| 28815 | T | T | F | F | F | T |
| 28816 | T | T | F | F | F | T |
| 28817 | T | T | F | F | F | T |
| 28818 | T | T | F | F | F | T |
| 28819 | T | T | F | F | F | T |
| 28820 | T | T | F | F | F | T |
| 28821 | T | T | F | F | F | T |
| 48077 | T | T | F | F | F | T |
| 48078 | T | T | F | F | F | T |
| 48079 | T | T | F | F | F | T |
| 48080 | T | T | F | F | F | T |
| 48081 | T | T | F | F | F | T |
| 48082 | T | T | F | F | F | T |
| 48083 | T | T | F | F | F | T |
| 48084 | T | T | F | F | F | T |
| 48085 | T | T | F | F | F | T |
| 68849 | T | T | F | F | F | T |
| 68850 | T | T | F | F | F | T |
| 68851 | T | T | F | F | F | T |
| 68852 | T | T | F | F | F | T |
| 68853 | T | T | F | F | F | T |
| 68854 | T | T | F | F | F | T |
| 68855 | T | T | F | F | F | T |
| 68856 | T | T | F | F | F | T |
| 68857 | T | T | F | F | F | T |
| 79521 | T | T | F | F | F | T |
| 79522 | T | T | F | F | F | T |
| 79523 | T | T | F | F | F | T |
| 79524 | T | T | F | F | F | T |
| 79525 | T | T | F | F | F | T |
| 79526 | T | T | F | F | F | T |
| 79527 | T | T | F | F | F | T |
| 89404 | T | T | F | F | F | T |
| 89405 | T | T | F | F | F | T |
| 89406 | T | T | F | F | F | T |
| 89407 | T | T | F | F | F | T |
| 89408 | T | T | F | F | F | T |
| 89409 | T | T | F | F | F | T |
| 89410 | T | T | F | F | F | T |
| 97012 | T | T | F | F | F | T |
| 97013 | T | T | F | F | F | T |
| 97014 | T | T | F | F | F | T |
| 97015 | T | T | F | F | F | T |
| 97016 | T | T | F | F | F | T |
| 97017 | T | T | F | F | F | T |
| 97018 | T | T | F | F | F | T |
| 97019 | T | T | F | F | F | T |
| 97020 | T | T | F | F | F | T |
| 97021 | T | T | F | F | F | T |
| 97022 | T | T | F | F | F | T |
| 97023 | T | T | F | F | F | T |
| 97024 | T | T | F | F | F | T |
| 105151 | T | T | F | F | F | T |
| 105152 | T | T | F | F | F | T |
| 105153 | T | T | F | F | F | T |
| 105154 | T | T | F | F | F | T |
| 105155 | T | T | F | F | F | T |
| 105156 | T | T | F | F | F | T |
| 105157 | T | T | F | F | F | T |
| 105158 | T | T | F | F | F | T |
| 105159 | T | T | F | F | F | T |
| 105160 | T | T | F | F | F | T |
| 105161 | T | T | F | F | F | T |
| 105162 | T | T | F | F | F | T |
| 105163 | T | T | F | F | F | T |
| 113516 | T | T | F | F | F | T |
| 113517 | T | T | F | F | F | T |
| 113518 | T | T | F | F | F | T |
| 113519 | T | T | F | F | F | T |
| 113520 | T | T | F | F | F | T |
| 113521 | T | T | F | F | F | T |
| 113522 | T | T | F | F | F | T |
| 113523 | T | T | F | F | F | T |
| 113524 | T | T | F | F | F | T |
| 113525 | T | T | F | F | F | T |
| 113526 | T | T | F | F | F | T |
| 113527 | T | T | F | F | F | T |
| 113528 | T | T | F | F | F | T |
| 121356 | T | T | F | F | F | T |
| 121357 | T | T | F | F | F | T |
| 121358 | T | T | F | F | F | T |
| 121359 | T | T | F | F | F | T |
| 121360 | T | T | F | F | F | T |
| 121361 | T | T | F | F | F | T |
| 121362 | T | T | F | F | F | T |
| 121363 | T | T | F | F | F | T |
| 121364 | T | T | F | F | F | T |
| 121365 | T | T | F | F | F | T |
| 121366 | T | T | F | F | F | T |
| 121367 | T | T | F | F | F | T |
| 121368 | T | T | F | F | F | T |
| 138097 | T | T | F | F | F | T |
| 138098 | T | T | F | F | F | T |
| 138099 | T | T | F | F | F | T |
| 138100 | T | T | F | F | F | T |
| 138101 | T | T | F | F | F | T |
| 138102 | T | T | F | F | F | T |
| 138103 | T | T | F | F | F | T |
| 138104 | T | T | F | F | F | T |
| 138105 | T | T | F | F | F | T |
| 138106 | T | T | F | F | F | T |
| 138107 | T | T | F | F | F | T |
| 138108 | T | T | F | F | F | T |
| 138109 | T | T | F | F | F | T |
| 138110 | T | T | F | F | F | T |
| 138111 | T | T | F | F | F | T |
| 154816 | T | T | F | F | F | T |
| 154817 | T | T | F | F | F | T |
| 154818 | T | T | F | F | F | T |
| 154819 | T | T | F | F | F | T |
| 154820 | T | T | F | F | F | T |
| 154821 | T | T | F | F | F | T |
| 154822 | T | T | F | F | F | T |
| 154823 | T | T | F | F | F | T |
| 154824 | T | T | F | F | F | T |
| 154825 | T | T | F | F | F | T |
| 154826 | T | T | F | F | F | T |
| 154827 | T | T | F | F | F | T |
| 154828 | T | T | F | F | F | T |
| 154829 | T | T | F | F | F | T |
| 154830 | T | T | F | F | F | T |
| 164049 | T | T | F | F | F | T |
| 164050 | T | T | F | F | F | T |
| 164051 | T | T | F | F | F | T |
| 164052 | T | T | F | F | F | T |
| 164053 | T | T | F | F | F | T |
| 164054 | T | T | F | F | F | T |
| 164055 | T | T | F | F | F | T |
| 164056 | T | T | F | F | F | T |
| 164057 | T | T | F | F | F | T |
| 164058 | T | T | F | F | F | T |
| 164059 | T | T | F | F | F | T |
| 164060 | T | T | F | F | F | T |
| 164061 | T | T | F | F | F | T |
| 164062 | T | T | F | F | F | T |
| 164063 | T | T | F | F | F | T |
| 164064 | T | T | F | F | F | T |
| 164065 | T | T | F | F | F | T |
| 173907 | T | T | F | F | F | T |
| 173908 | T | T | F | F | F | T |
| 173909 | T | T | F | F | F | T |
| 173910 | T | T | F | F | F | T |
| 173911 | T | T | F | F | F | T |
| 173912 | T | T | F | F | F | T |
| 173913 | T | T | F | F | F | T |
| 173914 | T | T | F | F | F | T |
| 173915 | T | T | F | F | F | T |
| 173916 | T | T | F | F | F | T |
| 173917 | T | T | F | F | F | T |
| 173918 | T | T | F | F | F | T |
| 173919 | T | T | F | F | F | T |
| 173920 | T | T | F | F | F | T |
| 173921 | T | T | F | F | F | T |
| 173922 | T | T | F | F | F | T |
| 173923 | T | T | F | F | F | T |
| 179399 | T | T | F | F | F | T |
| 179400 | T | T | F | F | F | T |
| 179401 | T | T | F | F | F | T |
| 179402 | T | T | F | F | F | T |
| 179403 | T | T | F | F | F | T |
| 179404 | T | T | F | F | F | T |
| 179405 | T | T | F | F | F | T |
| 179406 | T | T | F | F | F | T |
| 179407 | T | T | F | F | F | T |
| 179408 | T | T | F | F | F | T |
| 179409 | T | T | F | F | F | T |
| 183200 | T | T | F | F | F | T |
| 183201 | T | T | F | F | F | T |
| 183202 | T | T | F | F | F | T |
| 183203 | T | T | F | F | F | T |
| 183204 | T | T | F | F | F | T |
| 183205 | T | T | F | F | F | T |
| 183206 | T | T | F | F | F | T |
| 186420 | T | T | F | F | F | T |
| 186421 | T | T | F | F | F | T |
| 186422 | T | T | F | F | F | T |
| 186423 | T | T | F | F | F | T |
| 186424 | T | T | F | F | F | T |
| 186425 | T | T | F | F | F | T |
| 186426 | T | T | F | F | F | T |
| 189627 | T | T | F | F | F | T |
| 189628 | T | T | F | F | F | T |
| 189629 | T | T | F | F | F | T |
| 189630 | T | T | F | F | F | T |
| 189631 | T | T | F | F | F | T |
| 189632 | T | T | F | F | F | T |
| 189633 | T | T | F | F | F | T |
| 194149 | T | T | F | F | F | T |
| 194150 | T | T | F | F | F | T |
| 194151 | T | T | F | F | F | T |
| 194152 | T | T | F | F | F | T |
| 194153 | T | T | F | F | F | T |
| 194154 | T | T | F | F | F | T |
| 194155 | T | T | F | F | F | T |
| 194156 | T | T | F | F | F | T |
| 201547 | T | T | F | F | F | T |
| 201548 | T | T | F | F | F | T |
| 201549 | T | T | F | F | F | T |
| 201550 | T | T | F | F | F | T |
| 201551 | T | T | F | F | F | T |
| 201552 | T | T | F | F | F | T |
| 201553 | T | T | F | F | F | T |
| 201554 | T | T | F | F | F | T |
| 201555 | T | T | F | F | F | T |
| 201556 | T | T | F | F | F | T |
| 201557 | T | T | F | F | F | T |
| 201558 | T | T | F | F | F | T |
| 201559 | T | T | F | F | F | T |
| 201560 | T | T | F | F | F | T |
| 205616 | T | T | F | F | F | T |
| 205617 | T | T | F | F | F | T |
| 205618 | T | T | F | F | F | T |
| 205619 | T | T | F | F | F | T |
| 205620 | T | T | F | F | F | T |
| 205621 | T | T | F | F | F | T |
| 205622 | T | T | F | F | F | T |
| 205623 | T | T | F | F | F | T |
| 212671 | T | T | F | F | F | T |
| 212672 | T | T | F | F | F | T |
| 212673 | T | T | F | F | F | T |
| 212674 | T | T | F | F | F | T |
| 212675 | T | T | F | F | F | T |
| 212676 | T | T | F | F | F | T |
| 212677 | T | T | F | F | F | T |
| 212678 | T | T | F | F | F | T |
| 212679 | T | T | F | F | F | T |
| 212680 | T | T | F | F | F | T |
| 212681 | T | T | F | F | F | T |
| 220230 | T | T | F | F | F | T |
| 220231 | T | T | F | F | F | T |
| 220232 | T | T | F | F | F | T |
| 220233 | T | T | F | F | F | T |
| 220234 | T | T | F | F | F | T |
| 220235 | T | T | F | F | F | T |
| 220236 | T | T | F | F | F | T |
| 220237 | T | T | F | F | F | T |
| 292321 | T | T | F | F | F | T |
| 292322 | T | T | F | F | F | T |
| 292323 | T | T | F | F | F | T |
| 292324 | T | T | F | F | F | T |
| 292325 | T | T | F | F | F | T |
| 292326 | T | T | F | F | F | T |
| 292327 | T | T | F | F | F | T |
| 292328 | T | T | F | F | F | T |
| 292329 | T | T | F | F | F | T |
| 292330 | T | T | F | F | F | T |
| 292331 | T | T | F | F | F | T |
| 292332 | T | T | F | F | F | T |
| 292333 | T | T | F | F | F | T |
| 292334 | T | T | F | F | F | T |
| 292335 | T | T | F | F | F | T |
| 292336 | T | T | F | F | F | T |
| 292337 | T | T | F | F | F | T |
| 292338 | T | T | F | F | F | T |
| 292339 | T | T | F | F | F | T |
| 292340 | T | T | F | F | F | T |
| 292341 | T | T | F | F | F | T |
| 292342 | T | T | F | F | F | T |
| 292343 | T | T | F | F | F | T |
| 292344 | T | T | F | F | F | T |
| 292345 | T | T | F | F | F | T |
| 292346 | T | T | F | F | F | T |
| 292347 | T | T | F | F | F | T |
| 292348 | T | T | F | F | F | T |
| 292349 | T | T | F | F | F | T |
| 292350 | T | T | F | F | F | T |
| 292351 | T | T | F | F | F | T |
| 292352 | T | T | F | F | F | T |
| 292353 | T | T | F | F | F | T |
| 292354 | T | T | F | F | F | T |
| 292355 | T | T | F | F | F | T |
| 292356 | T | T | F | F | F | T |
| 292357 | T | T | F | F | F | T |
| 292358 | T | T | F | F | F | T |
| 292359 | T | T | F | F | F | T |
| 292360 | T | T | F | F | F | T |
| 292361 | T | T | F | F | F | T |
| 292362 | T | T | F | F | F | T |
| 292363 | T | T | F | F | F | T |
| 292364 | T | T | F | F | F | T |
| 292365 | T | T | F | F | F | T |
| 292366 | T | T | F | F | F | T |
| 292367 | T | T | F | F | F | T |
| 292368 | T | T | F | F | F | T |
| 292369 | T | T | F | F | F | T |
| 369698 | T | T | F | F | F | T |
| 369699 | T | T | F | F | F | T |
| 369700 | T | T | F | F | F | T |
| 369701 | T | T | F | F | F | T |
| 369702 | T | T | F | F | F | T |
| 369703 | T | T | F | F | F | T |
| 369704 | T | T | F | F | F | T |
| 369705 | T | T | F | F | F | T |
| 369706 | T | T | F | F | F | T |
| 369707 | T | T | F | F | F | T |
| 369708 | T | T | F | F | F | T |
| 369709 | T | T | F | F | F | T |
| 369710 | T | T | F | F | F | T |
| 369711 | T | T | F | F | F | T |
| 369712 | T | T | F | F | F | T |
| 369713 | T | T | F | F | F | T |
| 369714 | T | T | F | F | F | T |
| 369715 | T | T | F | F | F | T |
| 369716 | T | T | F | F | F | T |
| 369717 | T | T | F | F | F | T |
| 369718 | T | T | F | F | F | T |
| 369719 | T | T | F | F | F | T |
| 369720 | T | T | F | F | F | T |
| 369721 | T | T | F | F | F | T |
| 369722 | T | T | F | F | F | T |
| 369723 | T | T | F | F | F | T |
| 369724 | T | T | F | F | F | T |
| 369725 | T | T | F | F | F | T |
| 369726 | T | T | F | F | F | T |
| 369727 | T | T | F | F | F | T |
| 369728 | T | T | F | F | F | T |
| 369729 | T | T | F | F | F | T |
| 369730 | T | T | F | F | F | T |
| 369731 | T | T | F | F | F | T |
| 369732 | T | T | F | F | F | T |
| 369733 | T | T | F | F | F | T |
| 369734 | T | T | F | F | F | T |
| 369735 | T | T | F | F | F | T |
| 369736 | T | T | F | F | F | T |
| 369737 | T | T | F | F | F | T |
| 369738 | T | T | F | F | F | T |
| 369739 | T | T | F | F | F | T |
| 369740 | T | T | F | F | F | T |
| 369741 | T | T | F | F | F | T |
| 369742 | T | T | F | F | F | T |
| 369743 | T | T | F | F | F | T |
| 369744 | T | T | F | F | F | T |
| 369745 | T | T | F | F | F | T |
| 369746 | T | T | F | F | F | T |
| 378949 | T | T | F | F | F | T |
| 378950 | T | T | F | F | F | T |
| 378951 | T | T | F | F | F | T |
| 378952 | T | T | F | F | F | T |
| 378953 | T | T | F | F | F | T |
| 378954 | T | T | F | F | F | T |
| 378955 | T | T | F | F | F | T |
| 381728 | T | T | F | F | F | T |
| 381729 | T | T | F | F | F | T |
| 381730 | T | T | F | F | F | T |
| 381731 | T | T | F | F | F | T |
| 381732 | T | T | F | F | F | T |
| 381733 | T | T | F | F | F | T |
| 381734 | T | T | F | F | F | T |
| 384564 | T | T | F | F | F | T |
| 384565 | T | T | F | F | F | T |
| 384566 | T | T | F | F | F | T |
| 384567 | T | T | F | F | F | T |
| 384568 | T | T | F | F | F | T |
| 384569 | T | T | F | F | F | T |
| 384570 | T | T | F | F | F | T |
Independent-effect pairs
All 5 conditions live in calloc — 5 br_if
c0(branch9583): GAP view gap →c1(branch9584): GAP view gap →c2(branch9585): GAP view gap →c3(branch9586): GAP view gap →c4(branch9587): GAP view gap →