Decision #1434 — malloc.c:4803

Status: no_witness

Truth table

rowc0 br 9510c1 br 9511c2 br 9512outcome
4487TFTT
4488TT*T
4489TFTT
11414TFTT
11415TT*T
11416TFFT
11417TT*T
18368TFTT
18369TT*T
18370TFTT
23020TT*T
23021TT*T
25739TT*T
25740TFFT
28406TT*T
28407TT*T
44248TT*T
44249TT*T
44250TT*T
44251TT*T
44252TFFT
44253TFFT
44254TFFT
44255TT*T
44256TT*T
44257TT*T
44258TFFT
44259TF*T
44260TFFT
44261TT*T
44262TT*T
44263TFTT
44264TFTT
44265TFTT
44266TFFT
44267TFFT
44268TFTT
44269TFFT
44270TT*T
44271TT*T
44272TT*T
44273TFFT
44274TT*T
44275TFFT
44276TFFT
44277TFFT
44278TFFT
44279TFFT
44280TFFT
44281TT*T
44282TFFT
65075TT*T
65076TT*T
65077TT*T
65078TT*T
65079TFFT
65080TFFT
65081TFFT
65082TT*T
65083TT*T
65084TT*T
65085TFFT
65086TF*T
65087TFFT
65088TT*T
65089TT*T
65090TFTT
65091TFTT
65092TFTT
65093TFFT
65094TFFT
65095TFTT
65096TFFT
65097TT*T
65098TT*T
65099TT*T
65100TFFT
65101TT*T
65102TFFT
65103TFFT
65104TFFT
65105TFFT
65106TFFT
65107TFFT
65108TT*T
77831TT*T
77832TT*T
77833TFFT
77834TT*T
77835TT*T
77836TT*T
77837TT*T
77838TT*T
77839TFFT
77840TFFT
87714TT*T
87715TT*T
87716TFFT
87717TT*T
87718TT*T
87719TT*T
87720TT*T
87721TT*T
87722TFFT
87723TFFT
95672TFTT
95673TT*T
95674TFFT
95675TFFT
95676TFFT
103745TFTT
103746TT*T
103747TFFT
103748TFFT
103749TFFT
112175TFTT
112176TT*T
112177TFFT
112178TFFT
112179TFFT
120016TFTT
120017TT*T
120018TFFT
120019TFFT
120020TFFT
135709TFTT
135710TFTT
135711TFFT
135712TFFT
135713TFTT
135714TFFT
135715TT*T
135716TFTT
135717TFTT
135718TFTT
135719TFFT
135720TFFT
135721TFFT
135722TT*T
135723TFFT
135724TT*T
135725TFFT
135726TT*T
135727TFFT
135728TFFT
135729TFTT
135730TFFT
135731TFFT
135732TFFT
135733TT*T
135734TT*T
135735TFTT
135736TFFT
135737TFFT
135738TFFT
135739TT*T
135740TFFT
135741TFFT
152428TFTT
152429TFTT
152430TFFT
152431TFFT
152432TFTT
152433TFFT
152434TT*T
152435TFTT
152436TFTT
152437TFTT
152438TFFT
152439TFFT
152440TFFT
152441TT*T
152442TFFT
152443TT*T
152444TFFT
152445TT*T
152446TFFT
152447TFFT
152448TFTT
152449TFFT
152450TFFT
152451TFFT
152452TT*T
152453TT*T
152454TFTT
152455TFFT
152456TFFT
152457TFFT
152458TT*T
152459TFFT
152460TFFT
162662TT*T
162663TT*T
162664TFTT
162665TFTT
172520TT*T
172521TT*T
172522TFTT
172523TFTT
178631TT*T
182700TT*T
182701TT*T
185907TT*T
185908TFFT
189127TT*T
189128TT*T
193486TT*T
193487TT*T
193488TFFT
193489TT*T
200464TFFT
200465TT*T
200466TT*T
200467TFTT
200468TT*T
200469TFFT
200470TFFT
205067TT*T
205068TT*T
205069TFTT
211576TT*T
211577TFFT
211578TT*T
211579TFFT
211580TFTT
211581TT*T
211582TT*T
211583TT*T
218951TT*T
218952TFFT
218953TFFT
218954TFFT
218955TFFT
274772TT*T
274773TT*T
274774TFFT
274775TF*T
274776TFTT
274777TFTT
274778TT*T
274779TT*T
274780TFFT
274781TFFT
274782TT*T
274783TFTT
274784TT*T
274785TT*T
274786TFFT
274787TT*T
274788TT*T
274789TFTT
274790TFTT
274791TT*T
274792TT*T
274793TFFT
274794TFFT
274795TT*T
274796TT*T
274797TT*T
274798TFFT
274799TFFT
274800TFFT
274801TFFT
274802TFFT
274803TFFT
274804TFFT
274805TFFT
274806TFFT
274807TFFT
274808TFFT
274809TFTT
274810TFFT
274811TFTT
274812TFTT
274813TFTT
274814TFTT
274815TFFT
274816TFFT
274817TT*T
274818TFFT
274819TFFT
274820TFFT
274821TF*T
274822TFFT
274823TT*T
274824TF*T
274825TFTT
274826TFFT
274827TFTT
274828TFFT
274829TFFT
274830TFFT
274831TFFT
274832TT*T
274833TT*T
274834TFFT
274835TFFT
274836TT*T
274837TT*T
274838TT*T
274839TT*T
274840TT*T
274841TF*T
274842TFFT
274843TFFT
274844TFFT
274845TFTT
274846TFTT
274847TT*T
274848TT*T
274849TT*T
274850TT*T
274851TFFT
274852TFFT
274853TT*T
274854TFTT
274855TFFT
274856TFFT
274857TT*T
274858TFTT
274859TT*T
274860TT*T
274861TFTT
274862TFTT
274863TFTT
274864TFTT
274865TFTT
274866TFFT
274867TFTT
274868TFTT
274869TFTT
274870TFTT
274871TFTT
274872TT*T
274873TT*T
274874TT*T
274875TFFT
274876TFTT
274877TFTT
274878TFFT
274879TFTT
274880TFTT
274881TT*T
274882TT*T
274883TFTT
274884TFFT
274885TFFT
274886TFTT
274887TFTT
274888TFTT
274889TFTT
274890TT*T
274891TT*T
274892TFTT
274893TFTT
274894TFTT
274895TFTT
274896TFFT
274897TT*T
274898TT*T
274899TFFT
274900TT*T
274901TT*T
274902TT*T
274903TFTT
274904TFFT
274905TFTT
274906TFFT
274907TFFT
274908TT*T
274909TFFT
274910TFFT
274911TFFT
274912TFTT
274913TFTT
274914TFFT
274915TFTT
274916TFFT
274917TFFT
274918TFFT
274919TFTT
274920TFTT
274921TFFT
274922TT*T
274923TFFT
274924TFFT
274925TFFT
274926TT*T
274927TT*T
274928TFFT
274929TFTT
274930TFTT
274931TFFT
274932TT*T
274933TFFT
274934TFFT
274935TF*T
274936TFTT
274937TFFT
274938TF*T
274939TF*T
274940TT*T
274941TT*T
274942TF*T
274943TFTT
274944TT*T
274945TF*T
274946TFTT
274947TFFT
274948TFTT
274949TT*T
274950TT*T
274951TFFT
274952TFTT
274953TFTT
274954TT*T
274955TFTT
274956TT*T
274957TT*T
274958TFFT
274959TFTT
274960TFTT
274961TF*T
274962TFTT
274963TFFT
274964TFFT
274965TFFT
274966TFFT
274967TT*T
274968TFFT
274969TFFT
274970TFTT
274971TT*T
274972TFFT
352149TT*T
352150TT*T
352151TFFT
352152TF*T
352153TFTT
352154TFTT
352155TT*T
352156TT*T
352157TFFT
352158TFFT
352159TT*T
352160TFTT
352161TT*T
352162TT*T
352163TFFT
352164TT*T
352165TT*T
352166TFTT
352167TFTT
352168TT*T
352169TT*T
352170TFFT
352171TFFT
352172TT*T
352173TT*T
352174TT*T
352175TFFT
352176TFFT
352177TFFT
352178TFFT
352179TFFT
352180TFFT
352181TFFT
352182TFFT
352183TFFT
352184TFFT
352185TFFT
352186TFTT
352187TFFT
352188TFTT
352189TFTT
352190TFTT
352191TFTT
352192TFFT
352193TFFT
352194TT*T
352195TFFT
352196TFFT
352197TFFT
352198TF*T
352199TFFT
352200TT*T
352201TF*T
352202TFTT
352203TFFT
352204TFTT
352205TFFT
352206TFFT
352207TFFT
352208TFFT
352209TT*T
352210TT*T
352211TFFT
352212TFFT
352213TT*T
352214TT*T
352215TT*T
352216TT*T
352217TT*T
352218TF*T
352219TFFT
352220TFFT
352221TFFT
352222TFTT
352223TFTT
352224TT*T
352225TT*T
352226TT*T
352227TT*T
352228TFFT
352229TFFT
352230TT*T
352231TFTT
352232TFFT
352233TFFT
352234TT*T
352235TFTT
352236TT*T
352237TT*T
352238TFTT
352239TFTT
352240TFTT
352241TFTT
352242TFTT
352243TFFT
352244TFTT
352245TFTT
352246TFTT
352247TFTT
352248TFTT
352249TT*T
352250TT*T
352251TT*T
352252TFFT
352253TFTT
352254TFTT
352255TFFT
352256TFTT
352257TFTT
352258TT*T
352259TT*T
352260TFTT
352261TFFT
352262TFFT
352263TFTT
352264TFTT
352265TFTT
352266TFTT
352267TT*T
352268TT*T
352269TFTT
352270TFTT
352271TFTT
352272TFTT
352273TFFT
352274TT*T
352275TT*T
352276TFFT
352277TT*T
352278TT*T
352279TT*T
352280TFTT
352281TFFT
352282TFTT
352283TFFT
352284TFFT
352285TT*T
352286TFFT
352287TFFT
352288TFFT
352289TFTT
352290TFTT
352291TFFT
352292TFTT
352293TFFT
352294TFFT
352295TFFT
352296TFTT
352297TFTT
352298TFFT
352299TT*T
352300TFFT
352301TFFT
352302TFFT
352303TT*T
352304TT*T
352305TFFT
352306TFTT
352307TFTT
352308TFFT
352309TT*T
352310TFFT
352311TFFT
352312TF*T
352313TFTT
352314TFFT
352315TF*T
352316TF*T
352317TT*T
352318TT*T
352319TF*T
352320TFTT
352321TT*T
352322TF*T
352323TFTT
352324TFFT
352325TFTT
352326TT*T
352327TT*T
352328TFFT
352329TFTT
352330TFTT
352331TT*T
352332TFTT
352333TT*T
352334TT*T
352335TFFT
352336TFTT
352337TFTT
352338TF*T
352339TFTT
352340TFFT
352341TFFT
352342TFFT
352343TFFT
352344TT*T
352345TFFT
352346TFFT
352347TFTT
352348TT*T
352349TFFT
378480TT*T
378481TFFT
381215TT*T
381216TFFT
384076TT*T
384077TFFT

Independent-effect pairs

All 3 conditions live in dlmalloc — 3 br_if