Decision #1216 — malloc.c:4443
Status: no_witness
Truth table
| row | c0 br 8332 | c1 br 8333 | c2 br 8334 | c3 br 8335 | c4 br 8336 | outcome |
|---|---|---|---|---|---|---|
| 3616 | T | T | F | F | F | T |
| 3617 | T | T | F | F | F | T |
| 3618 | T | T | F | F | F | T |
| 3619 | T | T | F | F | F | T |
| 3620 | T | T | F | F | F | T |
| 3621 | T | T | F | F | F | T |
| 3622 | T | T | F | F | F | T |
| 3623 | T | T | F | F | F | T |
| 3624 | T | T | F | F | F | T |
| 3625 | T | T | F | F | F | T |
| 3626 | T | T | F | F | F | T |
| 3627 | T | T | F | F | F | T |
| 3628 | T | T | F | F | F | T |
| 3629 | T | T | F | F | F | T |
| 3630 | T | T | F | F | F | T |
| 7369 | T | T | F | F | F | T |
| 7370 | T | T | F | F | F | T |
| 7371 | T | T | F | F | F | T |
| 7372 | T | T | F | F | F | T |
| 7373 | T | T | F | F | F | T |
| 7374 | T | T | F | F | F | T |
| 7375 | T | T | F | F | F | T |
| 7376 | T | T | F | F | F | T |
| 7377 | T | T | F | F | F | T |
| 7378 | T | T | F | F | F | T |
| 7379 | T | T | F | F | F | T |
| 7380 | T | T | F | F | F | T |
| 7381 | T | T | F | F | F | T |
| 7382 | T | T | F | F | F | T |
| 7383 | T | T | F | F | F | T |
| 11349 | T | T | F | F | F | T |
| 11350 | T | T | F | F | F | T |
| 11351 | T | T | F | F | F | T |
| 11352 | T | T | F | F | F | T |
| 11353 | T | T | F | F | F | T |
| 11354 | T | T | F | F | F | T |
| 11355 | T | T | F | F | F | T |
| 11356 | T | T | F | F | F | T |
| 11357 | T | T | F | F | F | T |
| 11358 | T | T | F | F | F | T |
| 11359 | T | T | F | F | F | T |
| 11360 | T | T | F | F | F | T |
| 11361 | T | T | F | F | F | T |
| 11362 | T | T | F | F | F | T |
| 11363 | T | T | F | F | F | T |
| 12974 | T | T | F | F | F | T |
| 12975 | T | T | F | F | F | T |
| 12976 | T | T | F | F | F | T |
| 12977 | T | T | F | F | F | T |
| 12978 | T | T | F | F | F | T |
| 12979 | T | T | F | F | F | T |
| 12980 | T | T | F | F | F | T |
| 14321 | T | T | F | F | F | T |
| 14322 | T | T | F | F | F | T |
| 14323 | T | T | F | F | F | T |
| 14324 | T | T | F | F | F | T |
| 14325 | T | T | F | F | F | T |
| 14326 | T | T | F | F | F | T |
| 14327 | T | T | F | F | F | T |
| 15675 | T | T | F | F | F | T |
| 15676 | T | T | F | F | F | T |
| 15677 | T | T | F | F | F | T |
| 15678 | T | T | F | F | F | T |
| 15679 | T | T | F | F | F | T |
| 15680 | T | T | F | F | F | T |
| 15681 | T | T | F | F | F | T |
| 25147 | T | T | F | F | F | T |
| 25148 | T | T | F | F | F | T |
| 25149 | T | T | F | F | F | T |
| 25150 | T | T | F | F | F | T |
| 25151 | T | T | F | F | F | T |
| 25152 | T | T | F | F | F | T |
| 25153 | T | T | F | F | F | T |
| 34606 | T | T | F | F | F | T |
| 34607 | T | T | F | F | F | T |
| 34608 | T | T | F | F | F | T |
| 34609 | T | T | F | F | F | T |
| 34610 | T | T | F | F | F | T |
| 34611 | T | T | F | F | F | T |
| 34612 | T | T | F | F | F | T |
| 40806 | T | T | F | F | F | T |
| 40807 | T | T | F | F | F | T |
| 40808 | T | T | F | F | F | T |
| 40809 | T | T | F | F | F | T |
| 40810 | T | T | F | F | F | T |
| 40811 | T | T | F | F | F | T |
| 40812 | T | T | F | F | F | T |
| 47019 | T | T | F | F | F | T |
| 47020 | T | T | F | F | F | T |
| 47021 | T | T | F | F | F | T |
| 47022 | T | T | F | F | F | T |
| 47023 | T | T | F | F | F | T |
| 47024 | T | T | F | F | F | T |
| 47025 | T | T | F | F | F | T |
| 51048 | T | T | F | F | F | T |
| 51049 | T | T | F | F | F | T |
| 51050 | T | T | F | F | F | T |
| 51051 | T | T | F | F | F | T |
| 51052 | T | T | F | F | F | T |
| 51053 | T | T | F | F | F | T |
| 51054 | T | T | F | F | F | T |
| 51055 | T | T | F | F | F | T |
| 51056 | T | T | F | F | F | T |
| 51057 | T | T | F | F | F | T |
| 51058 | T | T | F | F | F | T |
| 51059 | T | T | F | F | F | T |
| 51060 | T | T | F | F | F | T |
| 55398 | T | T | F | F | F | T |
| 55399 | T | T | F | F | F | T |
| 55400 | T | T | F | F | F | T |
| 55401 | T | T | F | F | F | T |
| 55402 | T | T | F | F | F | T |
| 55403 | T | T | F | F | F | T |
| 55404 | T | T | F | F | F | T |
| 55405 | T | T | F | F | F | T |
| 55406 | T | T | F | F | F | T |
| 55407 | T | T | F | F | F | T |
| 55408 | T | T | F | F | F | T |
| 55409 | T | T | F | F | F | T |
| 55410 | T | T | F | F | F | T |
| 59806 | T | T | F | F | F | T |
| 59807 | T | T | F | F | F | T |
| 59808 | T | T | F | F | F | T |
| 59809 | T | T | F | F | F | T |
| 59810 | T | T | F | F | F | T |
| 59811 | T | T | F | F | F | T |
| 59812 | T | T | F | F | F | T |
| 59813 | T | T | F | F | F | T |
| 59814 | T | T | F | F | F | T |
| 59815 | T | T | F | F | F | T |
| 59816 | T | T | F | F | F | T |
| 59817 | T | T | F | F | F | T |
| 59818 | T | T | F | F | F | T |
| 63972 | T | T | F | F | F | T |
| 63973 | T | T | F | F | F | T |
| 63974 | T | T | F | F | F | T |
| 63975 | T | T | F | F | F | T |
| 63976 | T | T | F | F | F | T |
| 63977 | T | T | F | F | F | T |
| 63978 | T | T | F | F | F | T |
| 63979 | T | T | F | F | F | T |
| 63980 | T | T | F | F | F | T |
| 63981 | T | T | F | F | F | T |
| 63982 | T | T | F | F | F | T |
| 63983 | T | T | F | F | F | T |
| 63984 | T | T | F | F | F | T |
| 75579 | T | T | F | F | F | T |
| 75580 | T | T | F | F | F | T |
| 75581 | T | T | F | F | F | T |
| 75582 | T | T | F | F | F | T |
| 75583 | T | T | F | F | F | T |
| 75584 | T | T | F | F | F | T |
| 75585 | T | T | F | F | F | T |
| 87092 | T | T | F | F | F | T |
| 87093 | T | T | F | F | F | T |
| 87094 | T | T | F | F | F | T |
| 87095 | T | T | F | F | F | T |
| 87096 | T | T | F | F | F | T |
| 87097 | T | T | F | F | F | T |
| 87098 | T | T | F | F | F | T |
| 91222 | T | T | F | F | F | T |
| 91223 | T | T | F | F | F | T |
| 91224 | T | T | F | F | F | T |
| 91225 | T | T | F | F | F | T |
| 91226 | T | T | F | F | F | T |
| 91227 | T | T | F | F | F | T |
| 91228 | T | T | F | F | F | T |
| 91229 | T | T | F | F | F | T |
| 91230 | T | T | F | F | F | T |
| 91231 | T | T | F | F | F | T |
| 91232 | T | T | F | F | F | T |
| 91233 | T | T | F | F | F | T |
| 91234 | T | T | F | F | F | T |
| 91235 | T | T | F | F | F | T |
| 91236 | T | T | F | F | F | T |
| 91237 | T | T | F | F | F | T |
| 91238 | T | T | F | F | F | T |
| 95490 | T | T | F | F | F | T |
| 95491 | T | T | F | F | F | T |
| 95492 | T | T | F | F | F | T |
| 95493 | T | T | F | F | F | T |
| 95494 | T | T | F | F | F | T |
| 95495 | T | T | F | F | F | T |
| 95496 | T | T | F | F | F | T |
| 95497 | T | T | F | F | F | T |
| 95498 | T | T | F | F | F | T |
| 95499 | T | T | F | F | F | T |
| 95500 | T | T | F | F | F | T |
| 95501 | T | T | F | F | F | T |
| 95502 | T | T | F | F | F | T |
| 95503 | T | T | F | F | F | T |
| 95504 | T | T | F | F | F | T |
| 95505 | T | T | F | F | F | T |
| 95506 | T | T | F | F | F | T |
| 97568 | T | T | F | F | F | T |
| 97569 | T | T | F | F | F | T |
| 97570 | T | T | F | F | F | T |
| 97571 | T | T | F | F | F | T |
| 97572 | T | T | F | F | F | T |
| 97573 | T | T | F | F | F | T |
| 97574 | T | T | F | F | F | T |
| 97575 | T | T | F | F | F | T |
| 97576 | T | T | F | F | F | T |
| 97577 | T | T | F | F | F | T |
| 97578 | T | T | F | F | F | T |
| 99128 | T | T | F | F | F | T |
| 99129 | T | T | F | F | F | T |
| 99130 | T | T | F | F | F | T |
| 99131 | T | T | F | F | F | T |
| 99132 | T | T | F | F | F | T |
| 99133 | T | T | F | F | F | T |
| 99134 | T | T | F | F | F | T |
| 100611 | T | T | F | F | F | T |
| 100612 | T | T | F | F | F | T |
| 100613 | T | T | F | F | F | T |
| 100614 | T | T | F | F | F | T |
| 100615 | T | T | F | F | F | T |
| 100616 | T | T | F | F | F | T |
| 100617 | T | T | F | F | F | T |
| 102061 | T | T | F | F | F | T |
| 102062 | T | T | F | F | F | T |
| 102063 | T | T | F | F | F | T |
| 102064 | T | T | F | F | F | T |
| 102065 | T | T | F | F | F | T |
| 102066 | T | T | F | F | F | T |
| 102067 | T | T | F | F | F | T |
| 104593 | T | T | F | F | F | T |
| 104594 | T | T | F | F | F | T |
| 104595 | T | T | F | F | F | T |
| 104596 | T | T | F | F | F | T |
| 104597 | T | T | F | F | F | T |
| 104598 | T | T | F | F | F | T |
| 104599 | T | T | F | F | F | T |
| 104600 | T | T | F | F | F | T |
| 108507 | T | T | F | F | F | T |
| 108508 | T | T | F | F | F | T |
| 108509 | T | T | F | F | F | T |
| 108510 | T | T | F | F | F | T |
| 108511 | T | T | F | F | F | T |
| 108512 | T | T | F | F | F | T |
| 108513 | T | T | F | F | F | T |
| 108514 | T | T | F | F | F | T |
| 108515 | T | T | F | F | F | T |
| 108516 | T | T | F | F | F | T |
| 108517 | T | T | F | F | F | T |
| 108518 | T | T | F | F | F | T |
| 108519 | T | T | F | F | F | T |
| 108520 | T | T | F | F | F | T |
| 110578 | T | T | F | F | F | T |
| 110579 | T | T | F | F | F | T |
| 110580 | T | T | F | F | F | T |
| 110581 | T | T | F | F | F | T |
| 110582 | T | T | F | F | F | T |
| 110583 | T | T | F | F | F | T |
| 110584 | T | T | F | F | F | T |
| 110585 | T | T | F | F | F | T |
| 113753 | T | T | F | F | F | T |
| 113754 | T | T | F | F | F | T |
| 113755 | T | T | F | F | F | T |
| 113756 | T | T | F | F | F | T |
| 113757 | T | T | F | F | F | T |
| 113758 | T | T | F | F | F | T |
| 113759 | T | T | F | F | F | T |
| 113760 | T | T | F | F | F | T |
| 113761 | T | T | F | F | F | T |
| 113762 | T | T | F | F | F | T |
| 113763 | T | T | F | F | F | T |
| 116984 | T | T | F | F | F | T |
| 116985 | T | T | F | F | F | T |
| 116986 | T | T | F | F | F | T |
| 116987 | T | T | F | F | F | T |
| 116988 | T | T | F | F | F | T |
| 116989 | T | T | F | F | F | T |
| 116990 | T | T | F | F | F | T |
| 116991 | T | T | F | F | F | T |
| 139987 | T | T | F | F | F | T |
| 139988 | T | T | F | F | F | T |
| 139989 | T | T | F | F | F | T |
| 139990 | T | T | F | F | F | T |
| 139991 | T | T | F | F | F | T |
| 139992 | T | T | F | F | F | T |
| 139993 | T | T | F | F | F | T |
| 162923 | T | T | F | F | F | T |
| 162924 | T | T | F | F | F | T |
| 162925 | T | T | F | F | F | T |
| 162926 | T | T | F | F | F | T |
| 162927 | T | T | F | F | F | T |
| 162928 | T | T | F | F | F | T |
| 162929 | T | T | F | F | F | T |
| 164492 | T | T | F | F | F | T |
| 164493 | T | T | F | F | F | T |
| 164494 | T | T | F | F | F | T |
| 164495 | T | T | F | F | F | T |
| 164496 | T | T | F | F | F | T |
| 164497 | T | T | F | F | F | T |
| 164498 | T | T | F | F | F | T |
| 166159 | T | T | F | F | F | T |
| 166160 | T | T | F | F | F | T |
| 166161 | T | T | F | F | F | T |
| 166162 | T | T | F | F | F | T |
| 166163 | T | T | F | F | F | T |
| 166164 | T | T | F | F | F | T |
| 166165 | T | T | F | F | F | T |
| 167843 | T | T | F | F | F | T |
| 167844 | T | T | F | F | F | T |
| 167845 | T | T | F | F | F | T |
| 167846 | T | T | F | F | F | T |
| 167847 | T | T | F | F | F | T |
| 167848 | T | T | F | F | F | T |
| 167849 | T | T | F | F | F | T |
Independent-effect pairs
All 5 conditions live in calloc — 5 br_if
c0(branch8332): GAP view gap →c1(branch8333): GAP view gap →c2(branch8334): GAP view gap →c3(branch8335): GAP view gap →c4(branch8336): GAP view gap →