Decision #849 — malloc.c:4412
Status: partial
Truth table
| row | c0 br 5974 | c1 br 5975 | outcome |
|---|---|---|---|
| 2809 | F | F | F |
| 2810 | F | F | F |
| 2811 | F | F | F |
| 2812 | F | F | F |
| 2813 | F | F | F |
| 2814 | F | T | T |
| 2815 | F | T | T |
| 2816 | F | T | T |
| 2817 | F | T | T |
| 2818 | F | F | F |
| 2819 | F | F | F |
| 2820 | F | F | F |
| 2821 | F | T | T |
| 2822 | F | F | F |
| 2823 | F | F | F |
| 2824 | F | F | F |
| 2825 | F | F | F |
| 2826 | F | F | F |
| 2827 | F | F | F |
| 2828 | F | F | F |
| 2829 | F | T | T |
| 2830 | F | F | F |
| 2831 | F | F | F |
| 2832 | F | F | F |
| 2833 | F | F | F |
| 2834 | F | F | F |
| 2835 | F | F | F |
| 2836 | F | F | F |
| 2837 | F | T | T |
| 2838 | F | T | T |
| 2839 | F | F | F |
| 2840 | F | F | F |
| 2841 | F | F | F |
| 2842 | F | F | F |
| 2843 | F | F | F |
| 2844 | F | F | F |
| 2845 | F | F | F |
| 5814 | F | F | F |
| 5815 | F | F | F |
| 5816 | F | F | F |
| 5817 | F | F | F |
| 5818 | F | F | F |
| 5819 | F | T | T |
| 5820 | F | T | T |
| 5821 | F | T | T |
| 5822 | F | T | T |
| 5823 | F | F | F |
| 5824 | F | F | F |
| 5825 | F | F | F |
| 5826 | F | T | T |
| 5827 | F | F | F |
| 5828 | F | F | F |
| 5829 | F | F | F |
| 5830 | F | F | F |
| 5831 | F | F | F |
| 5832 | F | F | F |
| 5833 | F | F | F |
| 5834 | F | T | T |
| 5835 | F | F | F |
| 5836 | F | F | F |
| 5837 | F | F | F |
| 5838 | F | F | F |
| 5839 | F | F | F |
| 5840 | F | F | F |
| 5841 | F | F | F |
| 5842 | F | F | F |
| 5843 | F | T | T |
| 5844 | F | F | F |
| 5845 | F | F | F |
| 5846 | F | F | F |
| 5847 | F | F | F |
| 5848 | F | T | T |
| 5849 | F | T | T |
| 5850 | F | F | F |
| 8951 | F | F | F |
| 8952 | F | F | F |
| 8953 | F | F | F |
| 8954 | F | F | F |
| 8955 | F | F | F |
| 8956 | F | T | T |
| 8957 | F | T | T |
| 8958 | F | T | T |
| 8959 | F | T | T |
| 8960 | F | F | F |
| 8961 | F | F | F |
| 8962 | F | F | F |
| 8963 | F | T | T |
| 8964 | F | F | F |
| 8965 | F | F | F |
| 8966 | F | F | F |
| 8967 | F | F | F |
| 8968 | F | F | F |
| 8969 | F | F | F |
| 8970 | F | F | F |
| 8971 | F | F | F |
| 8972 | F | F | F |
| 8973 | F | F | F |
| 8974 | F | F | F |
| 8975 | F | F | F |
| 8976 | F | F | F |
| 8977 | F | F | F |
| 8978 | F | F | F |
| 8979 | F | T | T |
| 8980 | F | T | T |
| 8981 | F | F | F |
| 8982 | F | F | F |
| 8983 | F | T | T |
| 8984 | F | F | F |
| 8985 | F | F | F |
| 8986 | F | F | F |
| 8987 | F | T | T |
| 8988 | F | F | F |
| 8989 | F | F | F |
| 8990 | F | F | F |
| 8991 | F | F | F |
| 10447 | F | F | F |
| 10448 | F | F | F |
| 10449 | F | F | F |
| 10450 | F | F | F |
| 10451 | F | F | F |
| 10452 | F | F | F |
| 10453 | F | F | F |
| 10454 | F | F | F |
| 10455 | F | F | F |
| 10456 | F | F | F |
| 10457 | F | F | F |
| 10458 | F | F | F |
| 10459 | F | F | F |
| 10460 | F | F | F |
| 10461 | F | F | F |
| 11578 | F | F | F |
| 11579 | F | F | F |
| 11580 | F | F | F |
| 11581 | F | F | F |
| 11582 | F | F | F |
| 11583 | F | F | F |
| 11584 | F | F | F |
| 11585 | F | F | F |
| 11586 | F | F | F |
| 11587 | F | F | F |
| 11588 | F | F | F |
| 11589 | F | F | F |
| 11590 | F | F | F |
| 11591 | F | F | F |
| 12686 | F | F | F |
| 12687 | F | F | F |
| 12688 | F | F | F |
| 12689 | F | F | F |
| 12690 | F | F | F |
| 12691 | F | F | F |
| 12692 | F | F | F |
| 12693 | F | F | F |
| 12694 | F | F | F |
| 12695 | F | F | F |
| 12696 | F | F | F |
| 12697 | F | F | F |
| 12698 | F | F | F |
| 12699 | F | F | F |
| 12700 | F | F | F |
| 20350 | F | F | F |
| 20351 | F | F | F |
| 20352 | F | F | F |
| 20353 | F | F | F |
| 20354 | F | F | F |
| 20355 | F | F | F |
| 20356 | F | F | F |
| 20357 | F | F | F |
| 20358 | F | F | F |
| 20359 | F | F | F |
| 20360 | F | F | F |
| 20361 | F | F | F |
| 20362 | F | F | F |
| 20363 | F | F | F |
| 20364 | F | F | F |
| 20365 | F | F | F |
| 20366 | F | F | F |
| 20367 | F | F | F |
| 20368 | F | F | F |
| 20369 | F | F | F |
| 20370 | F | F | F |
| 20371 | F | F | F |
| 20372 | F | F | F |
| 20373 | F | F | F |
| 20374 | F | F | F |
| 20375 | F | F | F |
| 20376 | F | F | F |
| 20377 | F | F | F |
| 20378 | F | F | F |
| 20379 | F | F | F |
| 20380 | F | F | F |
| 20381 | F | F | F |
| 20382 | F | F | F |
| 20383 | F | F | F |
| 20384 | F | T | T |
| 20385 | F | F | F |
| 20386 | F | F | F |
| 20387 | F | F | F |
| 20388 | F | T | T |
| 20389 | F | T | T |
| 20390 | F | T | T |
| 20391 | F | T | T |
| 20392 | F | F | F |
| 20393 | F | T | T |
| 20394 | F | T | T |
| 20395 | F | T | T |
| 20396 | F | F | F |
| 20397 | F | F | F |
| 20398 | F | F | F |
| 20399 | F | F | F |
| 20400 | F | T | T |
| 20401 | F | F | F |
| 20402 | F | F | F |
| 28045 | F | F | F |
| 28046 | F | F | F |
| 28047 | F | F | F |
| 28048 | F | F | F |
| 28049 | F | F | F |
| 28050 | F | F | F |
| 28051 | F | F | F |
| 28052 | F | F | F |
| 28053 | F | F | F |
| 28054 | F | F | F |
| 28055 | F | F | F |
| 28056 | F | F | F |
| 28057 | F | F | F |
| 28058 | F | F | F |
| 28059 | F | F | F |
| 28060 | F | F | F |
| 28061 | F | F | F |
| 28062 | F | F | F |
| 28063 | F | F | F |
| 28064 | F | F | F |
| 28065 | F | F | F |
| 28066 | F | F | F |
| 28067 | F | F | F |
| 28068 | F | F | F |
| 28069 | F | F | F |
| 28070 | F | F | F |
| 28071 | F | F | F |
| 28072 | F | F | F |
| 28073 | F | F | F |
| 28074 | F | F | F |
| 28075 | F | F | F |
| 28076 | F | F | F |
| 28077 | F | F | F |
| 28078 | F | F | F |
| 28079 | F | T | T |
| 28080 | F | F | F |
| 28081 | F | F | F |
| 28082 | F | F | F |
| 28083 | F | T | T |
| 28084 | F | T | T |
| 28085 | F | T | T |
| 28086 | F | T | T |
| 28087 | F | T | T |
| 28088 | F | T | T |
| 28089 | F | F | F |
| 28090 | F | F | F |
| 28091 | F | F | F |
| 28092 | F | F | F |
| 28093 | F | F | F |
| 28094 | F | F | F |
| 28095 | F | T | T |
| 28096 | F | F | F |
| 28097 | F | F | F |
| 33989 | F | F | F |
| 33990 | F | F | F |
| 33991 | F | F | F |
| 33992 | F | F | F |
| 33993 | F | F | F |
| 33994 | F | F | F |
| 33995 | F | F | F |
| 33996 | F | F | F |
| 33997 | F | F | F |
| 33998 | F | F | F |
| 33999 | F | F | F |
| 34000 | F | F | F |
| 34001 | F | F | F |
| 34002 | F | F | F |
| 34003 | F | F | F |
| 34004 | F | T | T |
| 34005 | F | F | F |
| 34006 | F | F | F |
| 34007 | F | F | F |
| 34008 | F | F | F |
| 34009 | F | F | F |
| 34010 | F | F | F |
| 39927 | F | F | F |
| 39928 | F | F | F |
| 39929 | F | F | F |
| 39930 | F | F | F |
| 39931 | F | F | F |
| 39932 | F | F | F |
| 39933 | F | F | F |
| 39934 | F | F | F |
| 39935 | F | F | F |
| 39936 | F | F | F |
| 39937 | F | F | F |
| 39938 | F | F | F |
| 39939 | F | F | F |
| 39940 | F | F | F |
| 39941 | F | F | F |
| 39942 | F | T | T |
| 39943 | F | F | F |
| 39944 | F | F | F |
| 39945 | F | F | F |
| 39946 | F | F | F |
| 39947 | F | F | F |
| 39948 | F | F | F |
| 42770 | F | F | F |
| 42771 | F | T | T |
| 42772 | F | F | F |
| 42773 | F | F | F |
| 42774 | F | F | F |
| 42775 | F | F | F |
| 42776 | F | F | F |
| 42777 | F | F | F |
| 42778 | F | F | F |
| 42779 | F | F | F |
| 42780 | F | F | F |
| 42781 | F | F | F |
| 42782 | F | F | F |
| 42783 | F | F | F |
| 42784 | F | F | F |
| 42785 | F | F | F |
| 42786 | F | F | F |
| 42787 | F | F | F |
| 42788 | F | F | F |
| 42789 | F | F | F |
| 42790 | F | T | T |
| 42791 | F | F | F |
| 42792 | F | F | F |
| 42793 | F | F | F |
| 42794 | F | F | F |
| 42795 | F | F | F |
| 42796 | F | F | F |
| 42797 | F | T | T |
| 42798 | F | F | F |
| 42799 | F | F | F |
| 42800 | F | F | F |
| 42801 | F | F | F |
| 42802 | F | T | T |
| 42803 | F | F | F |
| 42804 | F | F | F |
| 42805 | F | F | F |
| 42806 | F | F | F |
| 42807 | F | F | F |
| 42808 | F | F | F |
| 45921 | F | F | F |
| 45922 | F | T | T |
| 45923 | F | F | F |
| 45924 | F | F | F |
| 45925 | F | F | F |
| 45926 | F | F | F |
| 45927 | F | F | F |
| 45928 | F | F | F |
| 45929 | F | F | F |
| 45930 | F | F | F |
| 45931 | F | F | F |
| 45932 | F | F | F |
| 45933 | F | F | F |
| 45934 | F | F | F |
| 45935 | F | F | F |
| 45936 | F | F | F |
| 45937 | F | F | F |
| 45938 | F | F | F |
| 45939 | F | F | F |
| 45940 | F | F | F |
| 45941 | F | T | T |
| 45942 | F | F | F |
| 45943 | F | F | F |
| 45944 | F | T | T |
| 45945 | F | F | F |
| 45946 | F | F | F |
| 45947 | F | T | T |
| 45948 | F | F | F |
| 45949 | F | F | F |
| 45950 | F | F | F |
| 45951 | F | F | F |
| 45952 | F | F | F |
| 45953 | F | T | T |
| 45954 | F | F | F |
| 45955 | F | F | F |
| 45956 | F | T | T |
| 45957 | F | F | F |
| 45958 | F | F | F |
| 45959 | F | T | T |
| 45960 | F | T | T |
| 45961 | F | F | F |
| 45962 | F | F | F |
| 45963 | F | F | F |
| 45964 | F | F | F |
| 45965 | F | F | F |
| 45966 | F | F | F |
| 49290 | F | F | F |
| 49291 | F | T | T |
| 49292 | F | F | F |
| 49293 | F | F | F |
| 49294 | F | F | F |
| 49295 | F | F | F |
| 49296 | F | F | F |
| 49297 | F | F | F |
| 49298 | F | F | F |
| 49299 | F | F | F |
| 49300 | F | F | F |
| 49301 | F | F | F |
| 49302 | F | F | F |
| 49303 | F | F | F |
| 49304 | F | F | F |
| 49305 | F | F | F |
| 49306 | F | F | F |
| 49307 | F | F | F |
| 49308 | F | F | F |
| 49309 | F | F | F |
| 49310 | F | F | F |
| 49311 | F | F | F |
| 49312 | F | F | F |
| 49313 | F | T | T |
| 49314 | F | F | F |
| 49315 | F | F | F |
| 49316 | F | F | F |
| 49317 | F | F | F |
| 49318 | F | F | F |
| 49319 | F | T | T |
| 49320 | F | T | T |
| 49321 | F | F | F |
| 49322 | F | F | F |
| 49323 | F | F | F |
| 49324 | F | F | F |
| 49325 | F | F | F |
| 49326 | F | F | F |
| 49327 | F | F | F |
| 49328 | F | F | F |
| 52310 | F | F | F |
| 52311 | F | T | T |
| 52312 | F | F | F |
| 52313 | F | F | F |
| 52314 | F | F | F |
| 52315 | F | F | F |
| 52316 | F | F | F |
| 52317 | F | F | F |
| 52318 | F | F | F |
| 52319 | F | F | F |
| 52320 | F | F | F |
| 52321 | F | F | F |
| 52322 | F | F | F |
| 52323 | F | F | F |
| 52324 | F | F | F |
| 52325 | F | F | F |
| 52326 | F | F | F |
| 52327 | F | F | F |
| 52328 | F | F | F |
| 52329 | F | F | F |
| 52330 | F | T | T |
| 52331 | F | F | F |
| 52332 | F | F | F |
| 52333 | F | F | F |
| 52334 | F | F | F |
| 52335 | F | F | F |
| 52336 | F | F | F |
| 52337 | F | T | T |
| 52338 | F | F | F |
| 52339 | F | F | F |
| 52340 | F | F | F |
| 52341 | F | F | F |
| 52342 | F | T | T |
| 52343 | F | F | F |
| 52344 | F | F | F |
| 52345 | F | F | F |
| 52346 | F | F | F |
| 52347 | F | F | F |
| 52348 | F | F | F |
| 62151 | F | F | F |
| 62152 | F | F | F |
| 62153 | F | T | T |
| 62154 | F | T | T |
| 62155 | F | F | F |
| 62156 | F | F | F |
| 62157 | F | F | F |
| 62158 | F | F | F |
| 62159 | F | F | F |
| 62160 | F | F | F |
| 62161 | F | F | F |
| 62162 | F | F | F |
| 62163 | F | F | F |
| 62164 | F | T | T |
| 62165 | F | F | F |
| 62166 | F | T | T |
| 62167 | F | T | T |
| 62168 | F | F | F |
| 62169 | F | F | F |
| 62170 | F | T | T |
| 62171 | F | F | F |
| 62172 | F | F | F |
| 62173 | F | F | F |
| 62174 | F | F | F |
| 62175 | F | F | F |
| 62176 | F | T | T |
| 62177 | F | F | F |
| 62178 | F | F | F |
| 62179 | F | F | F |
| 62180 | F | F | F |
| 62181 | F | F | F |
| 62182 | F | T | T |
| 62183 | F | F | F |
| 62184 | F | F | F |
| 62185 | F | F | F |
| 62186 | F | F | F |
| 62187 | F | F | F |
| 62188 | F | F | F |
| 62189 | F | F | F |
| 62190 | F | F | F |
| 62191 | F | F | F |
| 62192 | F | F | F |
| 62193 | F | F | F |
| 62194 | F | F | F |
| 62195 | F | F | F |
| 62196 | F | F | F |
| 62197 | F | F | F |
| 62198 | F | T | T |
| 62199 | F | F | F |
| 62200 | F | T | T |
| 62201 | F | F | F |
| 62202 | F | F | F |
| 62203 | F | T | T |
| 62204 | F | T | T |
| 62205 | F | F | F |
| 62206 | F | F | F |
| 62207 | F | F | F |
| 62208 | F | F | F |
| 62209 | F | F | F |
| 62210 | F | F | F |
| 62211 | F | T | T |
| 62212 | F | F | F |
| 62213 | F | F | F |
| 62214 | F | F | F |
| 71923 | F | F | F |
| 71924 | F | F | F |
| 71925 | F | T | T |
| 71926 | F | T | T |
| 71927 | F | F | F |
| 71928 | F | F | F |
| 71929 | F | F | F |
| 71930 | F | F | F |
| 71931 | F | F | F |
| 71932 | F | F | F |
| 71933 | F | F | F |
| 71934 | F | F | F |
| 71935 | F | F | F |
| 71936 | F | T | T |
| 71937 | F | F | F |
| 71938 | F | T | T |
| 71939 | F | T | T |
| 71940 | F | F | F |
| 71941 | F | F | F |
| 71942 | F | T | T |
| 71943 | F | F | F |
| 71944 | F | F | F |
| 71945 | F | F | F |
| 71946 | F | F | F |
| 71947 | F | F | F |
| 71948 | F | T | T |
| 71949 | F | F | F |
| 71950 | F | F | F |
| 71951 | F | F | F |
| 71952 | F | F | F |
| 71953 | F | F | F |
| 71954 | F | T | T |
| 71955 | F | F | F |
| 71956 | F | F | F |
| 71957 | F | F | F |
| 71958 | F | F | F |
| 71959 | F | F | F |
| 71960 | F | F | F |
| 71961 | F | F | F |
| 71962 | F | F | F |
| 71963 | F | F | F |
| 71964 | F | F | F |
| 71965 | F | F | F |
| 71966 | F | F | F |
| 71967 | F | F | F |
| 71968 | F | F | F |
| 71969 | F | F | F |
| 71970 | F | T | T |
| 71971 | F | F | F |
| 71972 | F | T | T |
| 71973 | F | F | F |
| 71974 | F | F | F |
| 71975 | F | T | T |
| 71976 | F | T | T |
| 71977 | F | F | F |
| 71978 | F | F | F |
| 71979 | F | F | F |
| 71980 | F | F | F |
| 71981 | F | F | F |
| 71982 | F | F | F |
| 71983 | F | T | T |
| 71984 | F | F | F |
| 71985 | F | F | F |
| 71986 | F | F | F |
| 75322 | F | F | F |
| 75323 | F | F | F |
| 75324 | F | F | F |
| 75325 | F | F | F |
| 75326 | F | F | F |
| 75327 | F | F | F |
| 75328 | F | T | T |
| 75329 | F | T | T |
| 75330 | F | F | F |
| 75331 | F | F | F |
| 75332 | F | F | F |
| 75333 | F | F | F |
| 75334 | F | F | F |
| 75335 | F | F | F |
| 75336 | F | F | F |
| 75337 | F | F | F |
| 75338 | F | T | T |
| 75339 | F | T | T |
| 75340 | F | F | F |
| 75341 | F | F | F |
| 75342 | F | T | T |
| 75343 | F | T | T |
| 75344 | F | F | F |
| 75345 | F | F | F |
| 75346 | F | F | F |
| 75347 | F | F | F |
| 75348 | F | F | F |
| 75349 | F | T | T |
| 75350 | F | F | F |
| 75351 | F | T | T |
| 75352 | F | T | T |
| 75353 | F | F | F |
| 75354 | F | T | T |
| 75355 | F | F | F |
| 75356 | F | T | T |
| 75357 | F | F | F |
| 75358 | F | F | F |
| 75359 | F | T | T |
| 75360 | F | T | T |
| 75361 | F | F | F |
| 75362 | F | F | F |
| 75363 | F | F | F |
| 78797 | F | F | F |
| 78798 | F | F | F |
| 78799 | F | F | F |
| 78800 | F | F | F |
| 78801 | F | F | F |
| 78802 | F | F | F |
| 78803 | F | T | T |
| 78804 | F | T | T |
| 78805 | F | F | F |
| 78806 | F | F | F |
| 78807 | F | F | F |
| 78808 | F | F | F |
| 78809 | F | F | F |
| 78810 | F | F | F |
| 78811 | F | F | F |
| 78812 | F | F | F |
| 78813 | F | T | T |
| 78814 | F | T | T |
| 78815 | F | F | F |
| 78816 | F | F | F |
| 78817 | F | T | T |
| 78818 | F | T | T |
| 78819 | F | F | F |
| 78820 | F | F | F |
| 78821 | F | F | F |
| 78822 | F | F | F |
| 78823 | F | F | F |
| 78824 | F | T | T |
| 78825 | F | F | F |
| 78826 | F | T | T |
| 78827 | F | T | T |
| 78828 | F | F | F |
| 78829 | F | T | T |
| 78830 | F | F | F |
| 78831 | F | T | T |
| 78832 | F | F | F |
| 78833 | F | F | F |
| 78834 | F | T | T |
| 78835 | F | T | T |
| 78836 | F | F | F |
| 78837 | F | F | F |
| 78838 | F | F | F |
| 80421 | F | F | F |
| 80422 | F | F | F |
| 80423 | F | F | F |
| 80424 | F | F | F |
| 80425 | F | F | F |
| 80426 | F | F | F |
| 80427 | F | F | F |
| 80428 | F | F | F |
| 80429 | F | F | F |
| 80430 | F | F | F |
| 80431 | F | T | T |
| 80432 | F | F | F |
| 80433 | F | T | T |
| 80434 | F | F | F |
| 80435 | F | F | F |
| 80436 | F | F | F |
| 80437 | F | T | T |
| 80438 | F | T | T |
| 80439 | F | F | F |
| 81663 | F | F | F |
| 81664 | F | F | F |
| 81665 | F | F | F |
| 81666 | F | F | F |
| 81667 | F | F | F |
| 81668 | F | F | F |
| 81669 | F | F | F |
| 81670 | F | F | F |
| 81671 | F | F | F |
| 81672 | F | F | F |
| 81673 | F | F | F |
| 81674 | F | F | F |
| 81675 | F | F | F |
| 82825 | F | F | F |
| 82826 | F | F | F |
| 82827 | F | F | F |
| 82828 | F | F | F |
| 82829 | F | F | F |
| 82830 | F | F | F |
| 82831 | F | F | F |
| 82832 | F | F | F |
| 82833 | F | F | F |
| 82834 | F | F | F |
| 83912 | F | F | F |
| 83913 | F | F | F |
| 83914 | F | F | F |
| 83915 | F | F | F |
| 83916 | F | F | F |
| 83917 | F | F | F |
| 83918 | F | F | F |
| 83919 | F | F | F |
| 83920 | F | F | F |
| 83921 | F | F | F |
| 83922 | F | F | F |
| 83923 | F | F | F |
| 83924 | F | F | F |
| 85203 | F | F | F |
| 85204 | F | F | F |
| 85205 | F | F | F |
| 85206 | F | F | F |
| 85207 | F | F | F |
| 85208 | F | F | F |
| 85209 | F | F | F |
| 85210 | F | F | F |
| 85211 | F | F | F |
| 85212 | F | F | F |
| 85213 | F | F | F |
| 87266 | F | F | F |
| 87267 | F | T | T |
| 87268 | F | T | T |
| 87269 | F | F | F |
| 87270 | F | F | F |
| 87271 | F | F | F |
| 87272 | F | F | F |
| 87273 | F | F | F |
| 87274 | F | F | F |
| 87275 | F | F | F |
| 87276 | F | F | F |
| 87277 | F | F | F |
| 87278 | F | F | F |
| 87279 | F | F | F |
| 87280 | F | T | T |
| 87281 | F | F | F |
| 87282 | F | F | F |
| 87283 | F | F | F |
| 87284 | F | F | F |
| 88526 | F | F | F |
| 88527 | F | F | F |
| 88528 | F | F | F |
| 88529 | F | F | F |
| 88530 | F | F | F |
| 88531 | F | F | F |
| 88532 | F | F | F |
| 88533 | F | F | F |
| 88534 | F | F | F |
| 88535 | F | F | F |
| 90483 | F | F | F |
| 90484 | F | T | T |
| 90485 | F | F | F |
| 90486 | F | F | F |
| 90487 | F | F | F |
| 90488 | F | F | F |
| 90489 | F | F | F |
| 90490 | F | F | F |
| 90491 | F | F | F |
| 90492 | F | F | F |
| 90493 | F | F | F |
| 90494 | F | F | F |
| 90495 | F | T | T |
| 90496 | F | F | F |
| 90497 | F | F | F |
| 90498 | F | F | F |
| 90499 | F | F | F |
| 90500 | F | F | F |
| 90501 | F | F | F |
| 90502 | F | F | F |
| 91981 | F | F | F |
| 91982 | F | F | F |
| 91983 | F | F | F |
| 91984 | F | F | F |
| 91985 | F | F | F |
| 91986 | F | F | F |
| 91987 | F | F | F |
| 91988 | F | F | F |
| 91989 | F | F | F |
| 91990 | F | F | F |
| 91991 | F | F | F |
| 91992 | F | F | F |
| 91993 | F | F | F |
| 91994 | F | F | F |
| 110797 | F | F | F |
| 110798 | F | F | F |
| 110799 | F | T | T |
| 110800 | F | T | T |
| 110801 | F | F | F |
| 110802 | F | F | F |
| 110803 | F | F | F |
| 110804 | F | F | F |
| 110805 | F | F | F |
| 110806 | F | F | F |
| 110807 | F | F | F |
| 110808 | F | F | F |
| 110809 | F | F | F |
| 110810 | F | F | F |
| 110811 | F | F | F |
| 110812 | F | F | F |
| 110813 | F | F | F |
| 110814 | F | F | F |
| 110815 | F | F | F |
| 110816 | F | F | F |
| 110817 | F | F | F |
| 110818 | F | F | F |
| 110819 | F | F | F |
| 110820 | F | F | F |
| 110821 | F | F | F |
| 110822 | F | F | F |
| 110823 | F | F | F |
| 110824 | F | F | F |
| 110825 | F | F | F |
| 110826 | F | F | F |
| 110827 | F | F | F |
| 110828 | F | F | F |
| 110829 | F | F | F |
| 110830 | F | T | T |
| 110831 | F | F | F |
| 110832 | F | F | F |
| 110833 | F | F | F |
| 110834 | F | F | F |
| 110835 | F | F | F |
| 110836 | F | F | F |
| 110837 | F | F | F |
| 110838 | F | F | F |
| 110839 | F | F | F |
| 110840 | F | F | F |
| 110841 | F | F | F |
| 110842 | F | F | F |
| 110843 | F | F | F |
| 110844 | F | F | F |
| 110845 | F | F | F |
| 110846 | F | F | F |
| 110847 | F | F | F |
| 110848 | F | F | F |
| 110849 | F | F | F |
| 110850 | F | F | F |
| 110851 | F | F | F |
| 110852 | F | F | F |
| 110853 | F | F | F |
| 110854 | F | F | F |
| 110855 | F | F | F |
| 110856 | F | F | F |
| 110857 | F | F | F |
| 110858 | F | F | F |
| 110859 | F | F | F |
| 110860 | F | F | F |
| 110861 | F | F | F |
| 110862 | F | F | F |
| 110863 | F | F | F |
| 110864 | F | F | F |
| 110865 | F | F | F |
| 110866 | F | T | T |
| 110867 | F | F | F |
| 110868 | F | T | T |
| 110869 | F | F | F |
| 110870 | F | F | F |
| 110871 | F | F | F |
| 110872 | F | F | F |
| 110873 | F | F | F |
| 110874 | F | F | F |
| 110875 | F | F | F |
| 110876 | F | F | F |
| 110877 | F | F | F |
| 110878 | F | F | F |
| 110879 | F | T | T |
| 110880 | F | F | F |
| 110881 | F | F | F |
| 110882 | F | F | F |
| 110883 | F | T | T |
| 110884 | F | T | T |
| 110885 | F | F | F |
| 110886 | F | F | F |
| 110887 | F | F | F |
| 129660 | F | F | F |
| 129661 | F | F | F |
| 129662 | F | T | T |
| 129663 | F | T | T |
| 129664 | F | F | F |
| 129665 | F | F | F |
| 129666 | F | F | F |
| 129667 | F | F | F |
| 129668 | F | F | F |
| 129669 | F | F | F |
| 129670 | F | F | F |
| 129671 | F | F | F |
| 129672 | F | F | F |
| 129673 | F | F | F |
| 129674 | F | F | F |
| 129675 | F | F | F |
| 129676 | F | F | F |
| 129677 | F | F | F |
| 129678 | F | F | F |
| 129679 | F | F | F |
| 129680 | F | F | F |
| 129681 | F | F | F |
| 129682 | F | F | F |
| 129683 | F | F | F |
| 129684 | F | F | F |
| 129685 | F | F | F |
| 129686 | F | F | F |
| 129687 | F | F | F |
| 129688 | F | F | F |
| 129689 | F | F | F |
| 129690 | F | F | F |
| 129691 | F | F | F |
| 129692 | F | F | F |
| 129693 | F | T | T |
| 129694 | F | F | F |
| 129695 | F | F | F |
| 129696 | F | F | F |
| 129697 | F | F | F |
| 129698 | F | F | F |
| 129699 | F | F | F |
| 129700 | F | F | F |
| 129701 | F | F | F |
| 129702 | F | F | F |
| 129703 | F | F | F |
| 129704 | F | F | F |
| 129705 | F | F | F |
| 129706 | F | F | F |
| 129707 | F | F | F |
| 129708 | F | F | F |
| 129709 | F | F | F |
| 129710 | F | F | F |
| 129711 | F | F | F |
| 129712 | F | F | F |
| 129713 | F | F | F |
| 129714 | F | F | F |
| 129715 | F | F | F |
| 129716 | F | F | F |
| 129717 | F | F | F |
| 129718 | F | F | F |
| 129719 | F | F | F |
| 129720 | F | F | F |
| 129721 | F | F | F |
| 129722 | F | F | F |
| 129723 | F | F | F |
| 129724 | F | F | F |
| 129725 | F | F | F |
| 129726 | F | F | F |
| 129727 | F | F | F |
| 129728 | F | F | F |
| 129729 | F | T | T |
| 129730 | F | F | F |
| 129731 | F | T | T |
| 129732 | F | F | F |
| 129733 | F | F | F |
| 129734 | F | F | F |
| 129735 | F | F | F |
| 129736 | F | F | F |
| 129737 | F | F | F |
| 129738 | F | F | F |
| 129739 | F | F | F |
| 129740 | F | F | F |
| 129741 | F | F | F |
| 129742 | F | T | T |
| 129743 | F | F | F |
| 129744 | F | F | F |
| 129745 | F | F | F |
| 129746 | F | T | T |
| 129747 | F | T | T |
| 129748 | F | F | F |
| 129749 | F | F | F |
| 129750 | F | F | F |
| 130914 | F | F | F |
| 130915 | F | F | F |
| 130916 | F | F | F |
| 130917 | F | F | F |
| 130918 | F | F | F |
| 130919 | F | F | F |
| 130920 | F | F | F |
| 130921 | F | F | F |
| 130922 | F | F | F |
| 130923 | F | F | F |
| 130924 | F | F | F |
| 130925 | F | F | F |
| 130926 | F | F | F |
| 130927 | F | F | F |
| 130928 | F | F | F |
| 132156 | F | F | F |
| 132157 | F | F | F |
| 132158 | F | F | F |
| 132159 | F | F | F |
| 132160 | F | F | F |
| 132161 | F | F | F |
| 132162 | F | F | F |
| 132163 | F | F | F |
| 132164 | F | F | F |
| 132165 | F | F | F |
| 132166 | F | F | F |
| 132167 | F | F | F |
| 132168 | F | F | F |
| 132169 | F | F | F |
| 132170 | F | F | F |
| 132171 | F | F | F |
| 132172 | F | F | F |
| 132173 | F | F | F |
| 133451 | F | F | F |
| 133452 | F | F | F |
| 133453 | F | F | F |
| 133454 | F | F | F |
| 133455 | F | F | F |
| 133456 | F | F | F |
| 133457 | F | F | F |
| 133458 | F | F | F |
| 133459 | F | F | F |
| 133460 | F | F | F |
| 133461 | F | F | F |
| 133462 | F | F | F |
| 133463 | F | F | F |
| 133464 | F | F | F |
| 133465 | F | F | F |
| 133466 | F | F | F |
| 133467 | F | F | F |
Independent-effect pairs
c0(branch5974): GAP view gap →dlfree· br_ifc1(branch5975): PROVED — pair rows2809,2814(unique-cause)dlfree· br_if