Decision #1446 — malloc.c:4424
Status: no_witness
Truth table
| row | c0 br 9565 | c1 br 9566 | c2 br 9567 | c3 br 9568 | c4 br 9569 | c5 br 9570 | c6 br 9571 | c7 br 9572 | c8 br 9573 | c9 br 9574 | outcome |
|---|---|---|---|---|---|---|---|---|---|---|---|
| 5326 | T | T | * | * | F | T | * | F | T | * | T |
| 5327 | T | T | * | * | F | T | * | T | T | * | T |
| 5328 | T | T | * | * | F | F | F | * | * | * | T |
| 5329 | T | T | * | * | F | T | * | F | T | * | T |
| 5330 | T | T | * | * | F | T | * | F | T | * | T |
| 5331 | T | T | * | * | F | T | * | F | T | * | T |
| 5332 | T | T | * | * | F | T | * | T | T | * | T |
| 5333 | T | T | * | * | F | F | F | * | * | * | T |
| 5334 | T | T | * | * | F | F | F | * | * | * | T |
| 5335 | T | T | * | * | F | F | F | * | * | * | T |
| 5336 | T | T | * | * | F | F | F | * | * | * | T |
| 5337 | T | T | * | * | F | T | * | T | T | * | T |
| 5338 | T | T | * | * | F | T | * | F | T | * | T |
| 5339 | F | * | F | F | F | F | * | * | * | T | T |
| 5340 | T | T | * | * | F | T | * | T | T | * | T |
| 5341 | T | F | F | F | T | * | * | * | * | * | T |
| 5342 | T | T | * | * | F | F | * | * | * | T | T |
| 5343 | T | T | * | * | F | F | F | * | * | * | T |
| 5344 | T | T | * | * | F | T | * | F | T | * | T |
| 5345 | T | T | * | * | F | F | F | * | * | * | T |
| 5346 | T | T | * | * | F | F | F | * | * | * | T |
| 5347 | T | T | * | * | F | F | F | * | * | * | T |
| 5348 | T | T | * | * | F | F | F | * | * | * | T |
| 5349 | T | T | * | * | F | F | F | * | * | * | T |
| 5350 | * | * | * | * | F | F | F | * | * | * | T |
| 12238 | T | T | * | * | F | F | F | * | * | * | T |
| 12239 | T | T | * | * | F | F | F | * | * | * | T |
| 12240 | T | T | * | * | F | F | F | * | * | * | T |
| 12241 | T | T | * | * | F | T | * | F | T | * | T |
| 12242 | T | T | * | * | F | T | * | F | T | * | T |
| 12243 | T | T | * | * | F | T | * | F | T | * | T |
| 12244 | T | T | * | * | F | T | * | T | T | * | T |
| 12245 | T | T | * | * | F | F | F | * | * | * | T |
| 12246 | T | T | * | * | F | F | F | * | * | * | T |
| 12247 | T | T | * | * | F | F | F | * | * | * | T |
| 12248 | T | F | F | F | F | F | * | * | * | T | T |
| 12249 | T | T | * | * | F | F | F | * | * | * | T |
| 12250 | T | T | * | * | F | F | F | * | * | * | T |
| 12251 | T | T | * | * | F | F | F | * | * | * | T |
| 12252 | T | T | * | * | F | F | F | * | * | * | T |
| 19266 | T | T | * | * | F | T | * | F | T | * | T |
| 19267 | T | T | * | * | F | T | * | T | T | * | T |
| 19268 | T | T | * | * | F | F | F | * | * | * | T |
| 19269 | T | T | * | * | F | T | * | F | T | * | T |
| 19270 | T | T | * | * | F | T | * | F | T | * | T |
| 19271 | T | T | * | * | F | T | * | F | T | * | T |
| 19272 | T | T | * | * | F | T | * | T | T | * | T |
| 19273 | T | T | * | * | F | F | F | * | * | * | T |
| 19274 | T | T | * | * | F | F | F | * | * | * | T |
| 19275 | T | T | * | * | F | F | F | * | * | * | T |
| 19276 | T | T | * | * | F | F | F | * | * | * | T |
| 19277 | T | T | * | * | F | T | * | T | T | * | T |
| 19278 | F | * | F | F | F | F | * | * | * | T | T |
| 19279 | T | T | * | * | F | T | * | T | T | * | T |
| 19280 | T | T | * | * | T | * | * | * | * | * | T |
| 19281 | T | T | * | * | F | T | * | T | T | * | T |
| 19282 | T | T | * | * | F | F | F | * | * | * | T |
| 19283 | T | T | * | * | F | F | F | * | * | * | T |
| 19284 | T | T | * | * | F | T | * | F | T | * | T |
| 19285 | T | T | * | * | F | F | F | * | * | * | T |
| 19286 | T | T | * | * | F | F | F | * | * | * | T |
| 19287 | T | T | * | * | F | F | F | * | * | * | T |
| 19288 | T | T | * | * | F | F | F | * | * | * | T |
| 19289 | T | T | * | * | F | F | F | * | * | * | T |
| 19290 | T | T | * | * | F | F | F | * | * | * | T |
| 19291 | * | * | * | * | F | F | F | * | * | * | T |
| 23316 | T | T | * | * | F | F | F | * | * | * | T |
| 23317 | T | T | * | * | F | F | F | * | * | * | T |
| 23318 | T | T | * | * | F | F | F | * | * | * | T |
| 23319 | T | T | * | * | F | F | F | * | * | * | T |
| 23320 | T | T | * | * | F | F | F | * | * | * | T |
| 23321 | T | T | * | * | F | F | F | * | * | * | T |
| 23322 | T | F | F | F | F | F | * | * | * | T | T |
| 23323 | T | T | * | * | F | F | F | * | * | * | T |
| 23324 | T | T | * | * | F | F | F | * | * | * | T |
| 26019 | T | T | * | * | F | F | F | * | * | * | T |
| 26020 | T | T | * | * | F | F | F | * | * | * | T |
| 26021 | T | T | * | * | F | F | F | * | * | * | T |
| 26022 | T | T | * | * | F | F | F | * | * | * | T |
| 26023 | T | T | * | * | F | F | F | * | * | * | T |
| 26024 | T | T | * | * | F | F | F | * | * | * | T |
| 26025 | T | T | * | * | F | F | F | * | * | * | T |
| 26026 | T | T | * | * | F | F | F | * | * | * | T |
| 28702 | T | T | * | * | F | F | F | * | * | * | T |
| 28703 | T | T | * | * | F | F | F | * | * | * | T |
| 28704 | T | T | * | * | F | F | F | * | * | * | T |
| 28705 | T | T | * | * | F | F | F | * | * | * | T |
| 28706 | T | T | * | * | F | F | F | * | * | * | T |
| 28707 | T | T | * | * | F | F | F | * | * | * | T |
| 28708 | T | F | F | F | F | F | * | * | * | T | T |
| 28709 | T | T | * | * | F | F | F | * | * | * | T |
| 28710 | T | T | * | * | F | F | F | * | * | * | T |
| 47109 | T | T | * | * | F | F | F | * | * | * | T |
| 47110 | T | T | * | * | F | F | F | * | * | * | T |
| 47111 | T | T | * | * | F | F | F | * | * | * | T |
| 47112 | T | T | * | * | F | F | F | * | * | * | T |
| 47113 | T | T | * | * | F | F | F | * | * | * | T |
| 47114 | T | T | * | * | F | F | F | * | * | * | T |
| 47115 | T | T | * | * | F | F | F | * | * | * | T |
| 47116 | T | T | * | * | F | F | F | * | * | * | T |
| 47117 | T | T | * | * | F | F | F | * | * | * | T |
| 47118 | T | T | * | * | F | F | F | * | * | * | T |
| 47119 | T | T | * | * | T | * | * | * | * | * | T |
| 47120 | T | T | * | * | F | T | * | T | T | * | T |
| 47121 | T | T | * | * | F | T | * | T | T | * | T |
| 47122 | T | T | * | * | F | F | F | * | * | * | T |
| 47123 | T | T | * | * | F | F | F | * | * | * | T |
| 47124 | * | * | * | * | F | F | F | * | * | * | T |
| 47125 | T | T | * | * | T | * | * | * | * | * | T |
| 47126 | T | T | * | * | F | F | F | * | * | * | T |
| 47127 | T | T | * | * | F | F | F | * | * | * | T |
| 47128 | T | T | * | * | F | F | F | * | * | * | T |
| 47129 | T | T | * | * | F | F | F | * | * | * | T |
| 47130 | T | T | * | * | F | F | F | * | * | * | T |
| 47131 | T | T | * | * | F | F | F | * | * | * | T |
| 47132 | * | * | * | * | F | F | F | * | * | * | T |
| 67902 | T | T | * | * | F | F | F | * | * | * | T |
| 67903 | T | T | * | * | F | F | F | * | * | * | T |
| 67904 | T | T | * | * | F | F | F | * | * | * | T |
| 67905 | T | T | * | * | F | F | F | * | * | * | T |
| 67906 | T | T | * | * | F | F | F | * | * | * | T |
| 67907 | T | T | * | * | F | F | F | * | * | * | T |
| 67908 | T | T | * | * | F | F | F | * | * | * | T |
| 67909 | T | T | * | * | F | F | F | * | * | * | T |
| 67910 | T | T | * | * | F | F | F | * | * | * | T |
| 67911 | T | T | * | * | F | F | F | * | * | * | T |
| 67912 | T | T | * | * | T | * | * | * | * | * | T |
| 67913 | T | T | * | * | F | T | * | T | T | * | T |
| 67914 | T | T | * | * | F | T | * | T | T | * | T |
| 67915 | T | T | * | * | F | F | F | * | * | * | T |
| 67916 | T | T | * | * | F | F | F | * | * | * | T |
| 67917 | * | * | * | * | F | F | F | * | * | * | T |
| 67918 | T | T | * | * | T | * | * | * | * | * | T |
| 67919 | T | T | * | * | F | F | F | * | * | * | T |
| 67920 | T | F | F | F | F | F | F | * | * | * | T |
| 67921 | T | F | F | F | F | F | * | * | * | T | T |
| 67922 | T | T | * | * | F | F | * | * | * | T | T |
| 67923 | T | T | * | * | F | F | F | * | * | * | T |
| 67924 | T | T | * | * | F | F | F | * | * | * | T |
| 67925 | * | * | * | * | F | F | F | * | * | * | T |
| 79041 | T | T | * | * | F | F | F | * | * | * | T |
| 79042 | T | T | * | * | F | F | F | * | * | * | T |
| 79043 | T | T | * | * | F | F | F | * | * | * | T |
| 79044 | T | T | * | * | F | F | F | * | * | * | T |
| 79045 | T | T | * | * | F | F | F | * | * | * | T |
| 79046 | T | T | * | * | F | T | * | F | T | * | T |
| 79047 | F | * | F | F | F | F | * | * | * | T | T |
| 79048 | T | T | * | * | F | F | F | * | * | * | T |
| 79049 | T | T | * | * | F | F | F | * | * | * | T |
| 79050 | T | T | * | * | F | F | F | * | * | * | T |
| 79051 | T | T | * | * | F | F | F | * | * | * | T |
| 79052 | T | T | * | * | F | F | F | * | * | * | T |
| 79053 | T | T | * | * | F | F | F | * | * | * | T |
| 79054 | T | T | * | * | F | F | F | * | * | * | T |
| 79055 | T | F | F | F | F | F | * | * | * | T | T |
| 79056 | T | T | * | * | F | F | F | * | * | * | T |
| 79057 | T | T | * | * | F | T | * | T | T | * | T |
| 79058 | T | T | * | * | F | F | F | * | * | * | T |
| 79059 | T | T | * | * | F | F | F | * | * | * | T |
| 88924 | T | T | * | * | F | F | F | * | * | * | T |
| 88925 | T | T | * | * | F | F | F | * | * | * | T |
| 88926 | T | T | * | * | F | F | F | * | * | * | T |
| 88927 | T | T | * | * | F | F | F | * | * | * | T |
| 88928 | T | T | * | * | F | F | F | * | * | * | T |
| 88929 | T | T | * | * | F | T | * | F | T | * | T |
| 88930 | F | * | F | F | F | F | * | * | * | T | T |
| 88931 | T | T | * | * | F | F | F | * | * | * | T |
| 88932 | T | T | * | * | F | F | F | * | * | * | T |
| 88933 | T | T | * | * | F | F | F | * | * | * | T |
| 88934 | T | T | * | * | F | F | F | * | * | * | T |
| 88935 | T | T | * | * | F | F | F | * | * | * | T |
| 88936 | T | T | * | * | F | F | F | * | * | * | T |
| 88937 | T | T | * | * | F | F | F | * | * | * | T |
| 88938 | T | F | F | F | F | F | * | * | * | T | T |
| 88939 | T | T | * | * | F | F | F | * | * | * | T |
| 88940 | T | T | * | * | F | T | * | T | T | * | T |
| 88941 | T | T | * | * | F | F | F | * | * | * | T |
| 88942 | T | T | * | * | F | F | F | * | * | * | T |
| 96639 | T | T | * | * | F | F | F | * | * | * | T |
| 96640 | T | T | * | * | F | F | F | * | * | * | T |
| 96641 | T | T | * | * | F | F | F | * | * | * | T |
| 96642 | T | T | * | * | F | F | F | * | * | * | T |
| 96643 | T | T | * | * | F | F | F | * | * | * | T |
| 96644 | T | T | * | * | F | F | F | * | * | * | T |
| 96645 | T | T | * | * | F | F | F | * | * | * | T |
| 96646 | T | T | * | * | F | F | F | * | * | * | T |
| 96647 | T | T | * | * | F | F | F | * | * | * | T |
| 96648 | T | T | * | * | F | F | F | * | * | * | T |
| 96649 | T | T | * | * | F | T | * | F | T | * | T |
| 96650 | T | T | * | * | F | T | * | T | T | * | T |
| 96651 | F | * | F | F | F | F | * | * | * | T | T |
| 96652 | T | T | * | * | F | T | * | F | T | * | T |
| 96653 | T | T | * | * | F | T | * | F | T | * | T |
| 96654 | T | T | * | * | F | T | * | F | T | * | T |
| 96655 | T | T | * | * | F | F | F | * | * | * | T |
| 96656 | T | T | * | * | F | F | F | * | * | * | T |
| 96657 | T | T | * | * | F | F | F | * | * | * | T |
| 96658 | T | T | * | * | F | F | F | * | * | * | T |
| 104783 | T | T | * | * | F | F | F | * | * | * | T |
| 104784 | T | T | * | * | F | F | F | * | * | * | T |
| 104785 | T | T | * | * | F | F | F | * | * | * | T |
| 104786 | T | T | * | * | F | F | F | * | * | * | T |
| 104787 | T | T | * | * | F | F | F | * | * | * | T |
| 104788 | T | T | * | * | F | F | F | * | * | * | T |
| 104789 | T | T | * | * | F | F | F | * | * | * | T |
| 104790 | T | T | * | * | F | F | F | * | * | * | T |
| 104791 | T | T | * | * | F | F | F | * | * | * | T |
| 104792 | T | T | * | * | F | F | F | * | * | * | T |
| 104793 | T | F | F | F | F | F | * | * | * | T | T |
| 104794 | T | T | * | * | F | T | * | T | T | * | T |
| 104795 | T | T | * | * | F | T | * | F | T | * | T |
| 104796 | T | F | F | F | F | F | * | * | * | T | T |
| 104797 | T | T | * | * | F | T | * | F | T | * | T |
| 104798 | T | T | * | * | F | F | F | * | * | * | T |
| 104799 | T | T | * | * | F | F | F | * | * | * | T |
| 104800 | T | T | * | * | F | T | * | F | T | * | T |
| 104801 | T | T | * | * | F | F | F | * | * | * | T |
| 104802 | T | F | F | F | F | F | * | * | * | T | T |
| 104803 | T | T | * | * | F | F | F | * | * | * | T |
| 104804 | T | T | * | * | F | F | F | * | * | * | T |
| 113164 | T | T | * | * | F | F | F | * | * | * | T |
| 113165 | T | T | * | * | F | F | F | * | * | * | T |
| 113166 | T | T | * | * | F | F | F | * | * | * | T |
| 113167 | T | T | * | * | F | F | F | * | * | * | T |
| 113168 | T | T | * | * | F | F | F | * | * | * | T |
| 113169 | T | T | * | * | F | F | F | * | * | * | T |
| 113170 | T | T | * | * | F | F | F | * | * | * | T |
| 113171 | T | T | * | * | F | F | F | * | * | * | T |
| 113172 | T | T | * | * | F | F | F | * | * | * | T |
| 113173 | T | T | * | * | F | T | * | F | T | * | T |
| 113174 | T | F | F | F | F | F | * | * | * | T | T |
| 113175 | T | F | F | F | F | F | * | * | * | T | T |
| 113176 | T | T | * | * | F | F | F | * | * | * | T |
| 113177 | F | * | F | F | F | F | * | * | * | F | T |
| 113178 | T | T | * | * | F | T | * | F | T | * | T |
| 113179 | T | T | * | * | F | F | F | * | * | * | T |
| 113180 | T | T | * | * | F | F | F | * | * | * | T |
| 113181 | T | T | * | * | F | F | F | * | * | * | T |
| 113182 | T | T | * | * | F | F | F | * | * | * | T |
| 113183 | T | T | * | * | F | F | F | * | * | * | T |
| 113184 | T | T | * | * | F | F | F | * | * | * | T |
| 120983 | T | T | * | * | F | F | F | * | * | * | T |
| 120984 | T | T | * | * | F | F | F | * | * | * | T |
| 120985 | T | T | * | * | F | F | F | * | * | * | T |
| 120986 | T | T | * | * | F | F | F | * | * | * | T |
| 120987 | T | T | * | * | F | F | F | * | * | * | T |
| 120988 | T | T | * | * | F | F | F | * | * | * | T |
| 120989 | T | T | * | * | F | F | F | * | * | * | T |
| 120990 | T | T | * | * | F | F | F | * | * | * | T |
| 120991 | T | T | * | * | F | F | F | * | * | * | T |
| 120992 | T | T | * | * | F | F | F | * | * | * | T |
| 120993 | T | T | * | * | F | T | * | F | T | * | T |
| 120994 | T | T | * | * | F | T | * | T | T | * | T |
| 120995 | F | * | F | F | F | F | * | * | * | T | T |
| 120996 | T | T | * | * | F | T | * | F | T | * | T |
| 120997 | T | T | * | * | F | T | * | F | T | * | T |
| 120998 | T | T | * | * | F | T | * | F | T | * | T |
| 120999 | T | T | * | * | F | F | F | * | * | * | T |
| 121000 | T | T | * | * | F | F | F | * | * | * | T |
| 121001 | T | T | * | * | F | F | F | * | * | * | T |
| 121002 | T | T | * | * | F | F | F | * | * | * | T |
| 137464 | T | T | * | * | F | F | F | * | * | * | T |
| 137465 | T | T | * | * | F | F | F | * | * | * | T |
| 137466 | T | T | * | * | F | F | F | * | * | * | T |
| 137467 | F | * | F | F | F | T | * | F | F | T | T |
| 137468 | T | T | * | * | F | F | F | * | * | * | T |
| 137469 | T | T | * | * | F | T | * | F | T | * | T |
| 137470 | T | T | * | * | F | F | F | * | * | * | T |
| 137471 | T | T | * | * | F | F | F | * | * | * | T |
| 137472 | T | T | * | * | F | F | F | * | * | * | T |
| 137473 | T | T | * | * | F | F | F | * | * | * | T |
| 137474 | T | T | * | * | F | F | F | * | * | * | T |
| 137475 | T | T | * | * | F | F | F | * | * | * | T |
| 137476 | T | T | * | * | F | F | F | * | * | * | T |
| 137477 | T | T | * | * | F | F | F | * | * | * | T |
| 137478 | T | T | * | * | F | T | * | F | T | * | T |
| 137479 | T | T | * | * | F | F | F | * | * | * | T |
| 137480 | T | T | * | * | F | F | F | * | * | * | T |
| 137481 | T | T | * | * | F | F | F | * | * | * | T |
| 137482 | T | T | * | * | F | F | F | * | * | * | T |
| 137483 | T | T | * | * | F | F | F | * | * | * | T |
| 137484 | T | T | * | * | F | F | F | * | * | * | T |
| 137485 | T | T | * | * | F | F | F | * | * | * | T |
| 137486 | T | T | * | * | F | F | F | * | * | * | T |
| 137487 | T | T | * | * | F | F | F | * | * | * | T |
| 137488 | T | T | * | * | F | F | F | * | * | * | T |
| 137489 | T | T | * | * | F | F | F | * | * | * | T |
| 154183 | T | T | * | * | F | F | F | * | * | * | T |
| 154184 | T | T | * | * | F | F | F | * | * | * | T |
| 154185 | T | T | * | * | F | F | F | * | * | * | T |
| 154186 | F | * | F | F | F | T | * | F | F | T | T |
| 154187 | T | T | * | * | F | F | F | * | * | * | T |
| 154188 | T | T | * | * | F | T | * | F | T | * | T |
| 154189 | T | T | * | * | F | F | F | * | * | * | T |
| 154190 | T | T | * | * | F | F | F | * | * | * | T |
| 154191 | T | T | * | * | F | F | F | * | * | * | T |
| 154192 | T | T | * | * | F | F | F | * | * | * | T |
| 154193 | T | T | * | * | F | F | F | * | * | * | T |
| 154194 | T | T | * | * | F | F | F | * | * | * | T |
| 154195 | T | T | * | * | F | F | F | * | * | * | T |
| 154196 | T | T | * | * | F | F | F | * | * | * | T |
| 154197 | T | T | * | * | F | T | * | F | T | * | T |
| 154198 | T | T | * | * | F | F | F | * | * | * | T |
| 154199 | T | T | * | * | F | F | F | * | * | * | T |
| 154200 | T | T | * | * | F | F | F | * | * | * | T |
| 154201 | T | T | * | * | F | F | F | * | * | * | T |
| 154202 | T | T | * | * | F | F | F | * | * | * | T |
| 154203 | T | T | * | * | F | F | F | * | * | * | T |
| 154204 | T | T | * | * | F | F | F | * | * | * | T |
| 154205 | T | T | * | * | F | F | F | * | * | * | T |
| 154206 | T | T | * | * | F | F | F | * | * | * | T |
| 154207 | T | T | * | * | F | F | F | * | * | * | T |
| 154208 | T | T | * | * | F | F | F | * | * | * | T |
| 163666 | T | T | * | * | T | * | * | * | * | * | T |
| 163667 | T | T | * | * | F | T | * | T | T | * | T |
| 163668 | T | T | * | * | F | F | F | * | * | * | T |
| 163669 | T | T | * | * | F | F | F | * | * | * | T |
| 163670 | T | T | * | * | F | F | F | * | * | * | T |
| 163671 | T | T | * | * | F | F | F | * | * | * | T |
| 163672 | T | T | * | * | F | F | F | * | * | * | T |
| 163673 | T | F | F | F | F | T | * | F | T | * | T |
| 163674 | T | F | F | F | F | F | * | * | * | T | T |
| 163675 | T | T | * | * | F | F | * | * | * | T | T |
| 163676 | T | T | * | * | F | F | F | * | * | * | T |
| 163677 | T | T | * | * | F | F | F | * | * | * | T |
| 163678 | T | T | * | * | F | F | F | * | * | * | T |
| 163679 | T | T | * | * | F | F | F | * | * | * | T |
| 163680 | T | T | * | * | F | T | * | F | T | * | T |
| 163681 | T | T | * | * | F | F | F | * | * | * | T |
| 163682 | T | T | * | * | F | F | F | * | * | * | T |
| 163683 | T | T | * | * | F | F | F | * | * | * | T |
| 163684 | T | T | * | * | F | F | F | * | * | * | T |
| 163685 | * | * | * | * | F | F | F | * | * | * | T |
| 173524 | T | T | * | * | T | * | * | * | * | * | T |
| 173525 | T | T | * | * | F | T | * | T | T | * | T |
| 173526 | T | T | * | * | F | F | F | * | * | * | T |
| 173527 | T | T | * | * | F | F | F | * | * | * | T |
| 173528 | T | T | * | * | F | F | F | * | * | * | T |
| 173529 | T | T | * | * | F | F | F | * | * | * | T |
| 173530 | T | T | * | * | F | F | F | * | * | * | T |
| 173531 | T | F | F | F | F | T | * | F | T | * | T |
| 173532 | T | F | F | F | F | F | * | * | * | T | T |
| 173533 | T | T | * | * | F | F | * | * | * | T | T |
| 173534 | T | T | * | * | F | F | F | * | * | * | T |
| 173535 | T | T | * | * | F | F | F | * | * | * | T |
| 173536 | T | T | * | * | F | F | F | * | * | * | T |
| 173537 | T | T | * | * | F | F | F | * | * | * | T |
| 173538 | T | T | * | * | F | T | * | F | T | * | T |
| 173539 | T | T | * | * | F | F | F | * | * | * | T |
| 173540 | T | T | * | * | F | F | F | * | * | * | T |
| 173541 | T | T | * | * | F | F | F | * | * | * | T |
| 173542 | T | T | * | * | F | F | F | * | * | * | T |
| 173543 | * | * | * | * | F | F | F | * | * | * | T |
| 179208 | T | T | * | * | F | F | F | * | * | * | T |
| 179209 | T | T | * | * | F | F | F | * | * | * | T |
| 179210 | T | T | * | * | F | F | F | * | * | * | T |
| 179211 | T | T | * | * | F | F | F | * | * | * | T |
| 179212 | T | T | * | * | F | F | F | * | * | * | T |
| 179213 | T | T | * | * | F | F | F | * | * | * | T |
| 179214 | T | T | * | * | F | F | F | * | * | * | T |
| 179215 | T | T | * | * | F | F | F | * | * | * | T |
| 179216 | T | T | * | * | F | T | * | T | T | * | T |
| 179217 | T | F | F | F | F | F | * | * | * | T | T |
| 179218 | T | T | * | * | F | F | F | * | * | * | T |
| 179219 | T | T | * | * | F | F | F | * | * | * | T |
| 179220 | T | T | * | * | F | F | F | * | * | * | T |
| 179221 | T | T | * | * | F | F | F | * | * | * | T |
| 179222 | T | T | * | * | F | F | F | * | * | * | T |
| 179223 | T | T | * | * | F | F | F | * | * | * | T |
| 179224 | T | T | * | * | F | F | F | * | * | * | T |
| 183077 | T | T | * | * | F | F | F | * | * | * | T |
| 183078 | T | T | * | * | F | F | F | * | * | * | T |
| 183079 | T | T | * | * | F | F | F | * | * | * | T |
| 183080 | T | T | * | * | F | F | F | * | * | * | T |
| 183081 | T | T | * | * | F | F | F | * | * | * | T |
| 183082 | T | T | * | * | F | F | F | * | * | * | T |
| 183083 | T | T | * | * | T | * | * | * | * | * | T |
| 183084 | T | T | * | * | F | F | F | * | * | * | T |
| 183085 | * | * | * | * | F | T | * | F | T | * | T |
| 186277 | T | T | * | * | F | F | F | * | * | * | T |
| 186278 | T | T | * | * | F | F | F | * | * | * | T |
| 186279 | T | T | * | * | F | F | F | * | * | * | T |
| 186280 | T | T | * | * | F | F | F | * | * | * | T |
| 186281 | T | T | * | * | F | F | F | * | * | * | T |
| 186282 | T | T | * | * | F | F | F | * | * | * | T |
| 186283 | T | T | * | * | F | F | F | * | * | * | T |
| 189504 | T | T | * | * | F | F | F | * | * | * | T |
| 189505 | T | T | * | * | F | F | F | * | * | * | T |
| 189506 | T | T | * | * | F | F | F | * | * | * | T |
| 189507 | T | T | * | * | F | F | F | * | * | * | T |
| 189508 | T | T | * | * | F | F | F | * | * | * | T |
| 189509 | T | T | * | * | F | F | F | * | * | * | T |
| 189510 | T | T | * | * | T | * | * | * | * | * | T |
| 189511 | T | T | * | * | F | F | F | * | * | * | T |
| 189512 | * | * | * | * | F | T | * | F | T | * | T |
| 193980 | T | T | * | * | F | F | F | * | * | * | T |
| 193981 | T | T | * | * | F | F | F | * | * | * | T |
| 193982 | T | T | * | * | F | F | F | * | * | * | T |
| 193983 | T | T | * | * | F | F | F | * | * | * | T |
| 193984 | T | T | * | * | F | F | F | * | * | * | T |
| 193985 | T | T | * | * | F | F | F | * | * | * | T |
| 193986 | T | T | * | * | F | F | F | * | * | * | T |
| 193987 | T | T | * | * | F | F | F | * | * | * | T |
| 193988 | T | T | * | * | F | F | F | * | * | * | T |
| 193989 | T | T | * | * | F | F | F | * | * | * | T |
| 193990 | T | T | * | * | F | F | F | * | * | * | T |
| 193991 | T | T | * | * | F | F | F | * | * | * | T |
| 201246 | T | T | * | * | F | T | * | T | T | * | T |
| 201247 | T | T | * | * | F | F | F | * | * | * | T |
| 201248 | T | T | * | * | F | F | F | * | * | * | T |
| 201249 | T | T | * | * | F | F | F | * | * | * | T |
| 201250 | T | T | * | * | F | F | F | * | * | * | T |
| 201251 | T | T | * | * | F | F | F | * | * | * | T |
| 201252 | T | T | * | * | F | F | F | * | * | * | T |
| 201253 | T | T | * | * | F | F | F | * | * | * | T |
| 201254 | T | T | * | * | F | F | F | * | * | * | T |
| 201255 | T | T | * | * | F | F | F | * | * | * | T |
| 201256 | T | T | * | * | F | F | F | * | * | * | T |
| 201257 | T | T | * | * | F | F | F | * | * | * | T |
| 201258 | T | T | * | * | F | F | F | * | * | * | T |
| 201259 | T | T | * | * | F | F | F | * | * | * | T |
| 201260 | T | T | * | * | F | F | F | * | * | * | T |
| 201261 | T | T | * | * | F | F | F | * | * | * | T |
| 201262 | T | T | * | * | F | T | * | F | T | * | T |
| 201263 | T | T | * | * | F | F | F | * | * | * | T |
| 201264 | T | T | * | * | F | F | F | * | * | * | T |
| 201265 | T | T | * | * | F | F | F | * | * | * | T |
| 201266 | T | T | * | * | F | F | F | * | * | * | T |
| 201267 | T | T | * | * | F | T | * | F | T | * | T |
| 201268 | T | T | * | * | F | F | F | * | * | * | T |
| 205468 | T | T | * | * | F | F | F | * | * | * | T |
| 205469 | T | T | * | * | F | F | F | * | * | * | T |
| 205470 | T | T | * | * | F | F | F | * | * | * | T |
| 205471 | T | T | * | * | F | F | F | * | * | * | T |
| 205472 | T | T | * | * | F | F | F | * | * | * | T |
| 205473 | T | T | * | * | F | F | F | * | * | * | T |
| 205474 | T | T | * | * | F | F | F | * | * | * | T |
| 205475 | T | T | * | * | F | F | F | * | * | * | T |
| 205476 | T | T | * | * | F | F | F | * | * | * | T |
| 205477 | T | T | * | * | F | F | F | * | * | * | T |
| 205478 | T | T | * | * | F | F | F | * | * | * | T |
| 205479 | T | T | * | * | F | F | F | * | * | * | T |
| 212381 | T | T | * | * | F | F | F | * | * | * | T |
| 212382 | T | T | * | * | F | F | F | * | * | * | T |
| 212383 | T | T | * | * | F | F | F | * | * | * | T |
| 212384 | T | T | * | * | F | F | F | * | * | * | T |
| 212385 | T | T | * | * | F | F | F | * | * | * | T |
| 212386 | T | T | * | * | F | F | F | * | * | * | T |
| 212387 | T | T | * | * | F | F | F | * | * | * | T |
| 212388 | T | T | * | * | F | F | F | * | * | * | T |
| 212389 | T | T | * | * | F | F | F | * | * | * | T |
| 212390 | T | T | * | * | F | F | F | * | * | * | T |
| 212391 | T | T | * | * | F | F | F | * | * | * | T |
| 212392 | T | T | * | * | F | F | F | * | * | * | T |
| 212393 | T | T | * | * | F | F | F | * | * | * | T |
| 212394 | T | F | F | F | F | F | * | * | * | T | T |
| 212395 | T | T | * | * | F | F | F | * | * | * | T |
| 212396 | T | T | * | * | F | T | * | T | T | * | T |
| 212397 | T | T | * | * | F | F | F | * | * | * | T |
| 212398 | T | T | * | * | F | F | F | * | * | * | T |
| 212399 | T | T | * | * | F | F | F | * | * | * | T |
| 219878 | T | T | * | * | F | F | F | * | * | * | T |
| 219879 | T | T | * | * | F | T | * | F | T | * | T |
| 219880 | T | T | * | * | F | F | F | * | * | * | T |
| 219881 | T | T | * | * | F | F | F | * | * | * | T |
| 219882 | T | T | * | * | F | F | F | * | * | * | T |
| 219883 | T | T | * | * | F | F | F | * | * | * | T |
| 219884 | T | T | * | * | F | F | F | * | * | * | T |
| 219885 | T | T | * | * | F | F | F | * | * | * | T |
| 219886 | T | T | * | * | F | F | F | * | * | * | T |
| 219887 | T | T | * | * | F | F | F | * | * | * | T |
| 219888 | T | F | F | F | F | T | * | F | F | T | T |
| 219889 | T | T | * | * | F | F | F | * | * | * | T |
| 219890 | T | T | * | * | F | T | * | F | T | * | T |
| 219891 | F | * | F | F | T | * | * | * | * | * | T |
| 219892 | T | T | * | * | F | F | * | * | * | T | T |
| 219893 | T | T | * | * | F | T | * | F | T | * | T |
| 219894 | T | F | F | F | F | F | F | * | * | * | T |
| 219895 | T | T | * | * | F | F | * | * | * | T | T |
| 219896 | F | * | F | F | F | F | F | * | * | * | T |
| 219897 | T | T | * | * | F | F | * | * | * | T | T |
| 219898 | * | * | * | * | F | F | F | * | * | * | T |
| 287945 | T | T | * | * | F | F | F | * | * | * | T |
| 287946 | T | T | * | * | F | F | F | * | * | * | T |
| 287947 | T | T | * | * | F | F | F | * | * | * | T |
| 287948 | T | T | * | * | F | F | F | * | * | * | T |
| 287949 | T | T | * | * | F | F | F | * | * | * | T |
| 287950 | T | T | * | * | F | F | F | * | * | * | T |
| 287951 | T | T | * | * | F | F | F | * | * | * | T |
| 287952 | T | T | * | * | F | F | F | * | * | * | T |
| 287953 | T | T | * | * | F | F | F | * | * | * | T |
| 287954 | T | T | * | * | F | F | F | * | * | * | T |
| 287955 | T | T | * | * | F | F | F | * | * | * | T |
| 287956 | T | T | * | * | F | F | F | * | * | * | T |
| 287957 | T | T | * | * | F | F | F | * | * | * | T |
| 287958 | T | T | * | * | F | F | F | * | * | * | T |
| 287959 | T | T | * | * | F | F | F | * | * | * | T |
| 287960 | T | T | * | * | F | F | F | * | * | * | T |
| 287961 | T | T | * | * | F | F | F | * | * | * | T |
| 287962 | T | T | * | * | F | F | F | * | * | * | T |
| 287963 | T | T | * | * | F | F | F | * | * | * | T |
| 287964 | T | T | * | * | F | F | F | * | * | * | T |
| 287965 | T | T | * | * | F | F | F | * | * | * | T |
| 287966 | T | T | * | * | F | T | * | F | T | * | T |
| 287967 | T | T | * | * | F | F | F | * | * | * | T |
| 287968 | T | T | * | * | F | F | F | * | * | * | T |
| 287969 | T | T | * | * | F | F | F | * | * | * | T |
| 287970 | T | T | * | * | F | F | F | * | * | * | T |
| 287971 | T | T | * | * | F | F | F | * | * | * | T |
| 287972 | T | T | * | * | F | F | F | * | * | * | T |
| 287973 | T | T | * | * | F | F | F | * | * | * | T |
| 287974 | T | T | * | * | F | F | F | * | * | * | T |
| 287975 | T | T | * | * | F | F | F | * | * | * | T |
| 287976 | T | T | * | * | F | F | F | * | * | * | T |
| 287977 | T | T | * | * | F | F | F | * | * | * | T |
| 287978 | T | T | * | * | F | F | F | * | * | * | T |
| 287979 | T | T | * | * | F | F | F | * | * | * | T |
| 287980 | T | T | * | * | F | F | F | * | * | * | T |
| 287981 | T | T | * | * | F | F | F | * | * | * | T |
| 287982 | T | T | * | * | F | F | F | * | * | * | T |
| 287983 | T | T | * | * | F | F | F | * | * | * | T |
| 287984 | T | T | * | * | F | F | F | * | * | * | T |
| 287985 | T | T | * | * | F | F | F | * | * | * | T |
| 287986 | T | T | * | * | F | F | F | * | * | * | T |
| 287987 | T | T | * | * | F | F | F | * | * | * | T |
| 287988 | T | T | * | * | F | F | F | * | * | * | T |
| 287989 | T | T | * | * | F | F | F | * | * | * | T |
| 287990 | T | T | * | * | F | F | F | * | * | * | T |
| 287991 | T | T | * | * | F | F | F | * | * | * | T |
| 287992 | T | T | * | * | F | F | F | * | * | * | T |
| 287993 | T | T | * | * | F | F | F | * | * | * | T |
| 287994 | T | T | * | * | F | F | F | * | * | * | T |
| 287995 | T | T | * | * | F | F | F | * | * | * | T |
| 287996 | F | * | F | F | F | F | * | * | * | F | T |
| 287997 | T | T | * | * | F | F | F | * | * | * | T |
| 287998 | T | T | * | * | F | F | F | * | * | * | T |
| 287999 | T | T | * | * | F | F | F | * | * | * | T |
| 288000 | T | T | * | * | F | F | F | * | * | * | T |
| 365322 | T | T | * | * | F | F | F | * | * | * | T |
| 365323 | T | T | * | * | F | F | F | * | * | * | T |
| 365324 | T | T | * | * | F | F | F | * | * | * | T |
| 365325 | T | T | * | * | F | F | F | * | * | * | T |
| 365326 | T | T | * | * | F | F | F | * | * | * | T |
| 365327 | T | T | * | * | F | F | F | * | * | * | T |
| 365328 | T | T | * | * | F | F | F | * | * | * | T |
| 365329 | T | T | * | * | F | F | F | * | * | * | T |
| 365330 | T | T | * | * | F | F | F | * | * | * | T |
| 365331 | T | T | * | * | F | F | F | * | * | * | T |
| 365332 | T | T | * | * | F | F | F | * | * | * | T |
| 365333 | T | T | * | * | F | F | F | * | * | * | T |
| 365334 | T | T | * | * | F | F | F | * | * | * | T |
| 365335 | T | T | * | * | F | F | F | * | * | * | T |
| 365336 | T | T | * | * | F | F | F | * | * | * | T |
| 365337 | T | T | * | * | F | F | F | * | * | * | T |
| 365338 | T | T | * | * | F | F | F | * | * | * | T |
| 365339 | T | T | * | * | F | F | F | * | * | * | T |
| 365340 | T | T | * | * | F | F | F | * | * | * | T |
| 365341 | T | T | * | * | F | F | F | * | * | * | T |
| 365342 | T | T | * | * | F | F | F | * | * | * | T |
| 365343 | T | T | * | * | F | T | * | F | T | * | T |
| 365344 | T | T | * | * | F | F | F | * | * | * | T |
| 365345 | T | T | * | * | F | F | F | * | * | * | T |
| 365346 | T | T | * | * | F | F | F | * | * | * | T |
| 365347 | T | T | * | * | F | F | F | * | * | * | T |
| 365348 | T | T | * | * | F | F | F | * | * | * | T |
| 365349 | T | T | * | * | F | F | F | * | * | * | T |
| 365350 | T | T | * | * | F | F | F | * | * | * | T |
| 365351 | T | T | * | * | F | F | F | * | * | * | T |
| 365352 | T | T | * | * | F | F | F | * | * | * | T |
| 365353 | T | T | * | * | F | F | F | * | * | * | T |
| 365354 | T | T | * | * | F | F | F | * | * | * | T |
| 365355 | T | T | * | * | F | F | F | * | * | * | T |
| 365356 | T | T | * | * | F | F | F | * | * | * | T |
| 365357 | T | T | * | * | F | F | F | * | * | * | T |
| 365358 | T | T | * | * | F | F | F | * | * | * | T |
| 365359 | T | T | * | * | F | F | F | * | * | * | T |
| 365360 | T | T | * | * | F | F | F | * | * | * | T |
| 365361 | T | T | * | * | F | F | F | * | * | * | T |
| 365362 | T | T | * | * | F | F | F | * | * | * | T |
| 365363 | T | T | * | * | F | F | F | * | * | * | T |
| 365364 | T | T | * | * | F | F | F | * | * | * | T |
| 365365 | T | T | * | * | F | F | F | * | * | * | T |
| 365366 | T | T | * | * | F | F | F | * | * | * | T |
| 365367 | T | T | * | * | F | F | F | * | * | * | T |
| 365368 | T | T | * | * | F | F | F | * | * | * | T |
| 365369 | T | T | * | * | F | F | F | * | * | * | T |
| 365370 | T | T | * | * | F | F | F | * | * | * | T |
| 365371 | T | T | * | * | F | F | F | * | * | * | T |
| 365372 | T | T | * | * | F | F | F | * | * | * | T |
| 365373 | F | * | F | F | F | F | * | * | * | F | T |
| 365374 | T | T | * | * | F | F | F | * | * | * | T |
| 365375 | T | T | * | * | F | F | F | * | * | * | T |
| 365376 | T | T | * | * | F | F | F | * | * | * | T |
| 365377 | T | T | * | * | F | F | F | * | * | * | T |
| 378822 | T | T | * | * | F | F | F | * | * | * | T |
| 378823 | T | T | * | * | F | F | F | * | * | * | T |
| 378824 | T | T | * | * | F | F | F | * | * | * | T |
| 378825 | T | T | * | * | F | F | F | * | * | * | T |
| 378826 | T | F | F | F | F | F | * | * | * | T | T |
| 378827 | T | T | * | * | F | F | F | * | * | * | T |
| 378828 | T | T | * | * | F | F | F | * | * | * | T |
| 381591 | T | T | * | * | F | F | F | * | * | * | T |
| 381592 | T | T | * | * | F | F | F | * | * | * | T |
| 381593 | T | T | * | * | F | F | F | * | * | * | T |
| 381594 | T | T | * | * | F | F | F | * | * | * | T |
| 381595 | F | * | F | F | F | F | * | * | * | T | T |
| 381596 | T | T | * | * | F | F | F | * | * | * | T |
| 381597 | T | T | * | * | F | F | F | * | * | * | T |
| 381598 | T | T | * | * | F | F | F | * | * | * | T |
| 381599 | T | T | * | * | F | F | F | * | * | * | T |
| 384435 | T | T | * | * | F | F | F | * | * | * | T |
| 384436 | T | T | * | * | F | F | F | * | * | * | T |
| 384437 | T | T | * | * | F | F | F | * | * | * | T |
| 384438 | T | T | * | * | F | F | F | * | * | * | T |
| 384439 | T | T | * | * | F | F | F | * | * | * | T |
| 384440 | T | T | * | * | F | F | F | * | * | * | T |
| 384441 | T | T | * | * | F | F | F | * | * | * | T |
| 384442 | T | T | * | * | F | F | F | * | * | * | T |
Independent-effect pairs
All 10 conditions live in dlfree — 10 br_if
c0(branch9565): GAP view gap →c1(branch9566): GAP view gap →c2(branch9567): GAP view gap →c3(branch9568): GAP view gap →c4(branch9569): GAP view gap →c5(branch9570): GAP view gap →c6(branch9571): GAP view gap →c7(branch9572): GAP view gap →c8(branch9573): GAP view gap →c9(branch9574): GAP view gap →