Decision #565 — library/alloc/src/raw_vec/mod.rs:435

Status: no_witness

Truth table

rowc0 br 3903c1 br 3904outcome
1299T*T
1300FFT
1301FFT
1302FFT
1303T*T
1304FFT
1305T*T
1306FFT
8259T*T
8260FFT
8261FFT
8262FFT
8263T*T
8264FFT
8265T*T
8266FFT
15060T*T
15061FFT
15062FFT
15063FFT
15064T*T
15065FFT
15066T*T
15067FFT
21735FTT
21736FFT
21737T*T
21738FTT
21739T*T
21740T*T
21741FFT
24478FTT
24479FFT
24480T*T
24481FTT
24482T*T
24483T*T
24484FFT
27121FTT
27122FFT
27123T*T
27124FTT
27125T*T
27126T*T
27127FFT
30745T*T
30746T*T
30747T*T
30748T*T
30749T*T
30750FFT
30751FTT
30752FFT
30753T*T
30754FFT
30755T*T
30756T*T
30757T*T
30758FFT
30759T*T
30760T*T
30761T*T
30762T*T
30763FFT
30764FFT
30765FFT
30766T*T
30767FFT
30768FFT
51600T*T
51601T*T
51602T*T
51603T*T
51604T*T
51605FFT
51606FTT
51607FFT
51608T*T
51609FFT
51610T*T
51611T*T
51612T*T
51613FFT
51614T*T
51615T*T
51616T*T
51617T*T
51618FFT
51619FFT
51620FFT
51621T*T
51622FFT
51623FFT
72525FFT
72526T*T
72527FFT
72528T*T
72529T*T
72530T*T
72531T*T
72532T*T
72533FTT
72534FTT
72535FFT
72536T*T
72537T*T
72538T*T
72539T*T
72540FFT
72541T*T
72542T*T
72543T*T
72544T*T
72545T*T
72546FFT
72547FFT
72548FFT
72549FFT
72550FFT
82408FFT
82409T*T
82410FFT
82411T*T
82412T*T
82413T*T
82414T*T
82415T*T
82416FTT
82417FTT
82418FFT
82419T*T
82420T*T
82421T*T
82422T*T
82423FFT
82424T*T
82425T*T
82426T*T
82427T*T
82428T*T
82429FFT
82430FFT
82431FFT
82432FFT
82433FFT
92149T*T
92150T*T
92151FFT
92152FFT
92153FFT
92154FFT
92155T*T
92156FFT
92157FFT
92158T*T
92159FFT
92160T*T
92161T*T
92162T*T
92163T*T
92164T*T
92165FTT
92166T*T
92167FFT
92168FFT
99978T*T
99979T*T
99980FFT
99981FFT
99982FFT
99983FFT
99984T*T
99985FFT
99986FFT
99987T*T
99988FFT
99989T*T
99990T*T
99991T*T
99992T*T
99993T*T
99994FTT
99995T*T
99996FFT
99997FFT
108467T*T
108468T*T
108469FFT
108470FFT
108471FFT
108472FFT
108473T*T
108474FFT
108475FFT
108476T*T
108477FFT
108478T*T
108479T*T
108480T*T
108481T*T
108482T*T
108483FTT
108484T*T
108485FFT
108486FFT
116493T*T
116494T*T
116495FFT
116496FFT
116497FFT
116498FFT
116499T*T
116500FFT
116501FFT
116502T*T
116503FFT
116504T*T
116505T*T
116506T*T
116507T*T
116508T*T
116509FTT
116510T*T
116511FFT
116512FFT
124484T*T
124485T*T
124486FFT
124487FFT
124488T*T
124489T*T
124490FFT
124491T*T
124492FTT
124493FTT
124494T*T
124495FFT
124496T*T
124497T*T
124498T*T
124499FTT
124500T*T
124501T*T
124502T*T
124503T*T
124504FFT
124505FFT
124506FFT
124507FFT
124508FFT
141203T*T
141204T*T
141205FFT
141206FFT
141207T*T
141208T*T
141209FFT
141210T*T
141211FTT
141212FTT
141213T*T
141214FFT
141215T*T
141216T*T
141217T*T
141218FTT
141219T*T
141220T*T
141221T*T
141222T*T
141223FFT
141224FFT
141225FFT
141226FFT
141227FFT
158588T*T
158589T*T
158590T*T
158591T*T
158592T*T
158593T*T
158594T*T
158595T*T
158596FFT
158597T*T
158598T*T
158599T*T
158600FFT
158601FTT
158602FFT
158603FFT
158604FTT
158605FFT
158606FFT
158607FTT
158608T*T
158609FFT
158610FTT
158611T*T
158612FFT
158613FTT
158614T*T
158615FFT
158616FTT
158617T*T
158618FFT
168446T*T
168447T*T
168448T*T
168449T*T
168450T*T
168451T*T
168452T*T
168453T*T
168454FFT
168455T*T
168456T*T
168457T*T
168458FFT
168459FTT
168460FFT
168461FFT
168462FTT
168463FFT
168464FFT
168465FTT
168466T*T
168467FFT
168468FTT
168469T*T
168470FFT
168471FTT
168472T*T
168473FFT
168474FTT
168475T*T
168476FFT
176620T*T
176621FFT
176622FFT
176623FFT
176624FFT
181236FTT
181237FFT
181238T*T
181239T*T
181240FFT
184555FTT
184556FFT
184557T*T
184558T*T
184559FFT
187663FTT
187664FFT
187665T*T
187666T*T
187667FFT
191224FFT
191225T*T
191226FFT
191227T*T
191228T*T
191229T*T
191230T*T
191231T*T
191232FTT
191233T*T
191234T*T
191235FFT
191236T*T
191237FTT
191238T*T
191239T*T
191240T*T
191241T*T
191242FTT
191243FTT
191244FFT
196699T*T
196700T*T
196701T*T
196702FFT
196703T*T
196704FFT
196705T*T
196706T*T
196707T*T
196708T*T
196709T*T
196710FTT
196711FTT
196712FFT
196713T*T
196714T*T
196715T*T
196716T*T
196717FTT
196718T*T
196719FTT
196720FFT
196721FFT
196722T*T
196723FFT
196724T*T
196725T*T
196726T*T
196727T*T
196728T*T
196729FFT
196730T*T
196731T*T
196732T*T
196733FTT
196734FTT
196735FFT
196736T*T
196737T*T
196738T*T
196739T*T
196740T*T
196741FTT
196742FFT
196743FFT
196744T*T
196745FFT
196746T*T
196747T*T
196748T*T
196749T*T
196750T*T
196751FFT
196752T*T
196753T*T
196754T*T
196755FTT
196756FTT
196757FFT
196758T*T
196759T*T
196760T*T
196761T*T
196762T*T
196763FTT
196764FFT
203327FFT
203328FFT
203329T*T
203330T*T
203331T*T
203332FFT
203333FFT
208022T*T
208023FFT
208024T*T
208025FFT
208026T*T
208027T*T
208028T*T
208029T*T
208030T*T
208031FTT
208032T*T
208033T*T
208034FTT
208035T*T
208036T*T
208037FTT
208038T*T
208039T*T
208040FTT
208041T*T
208042FFT
208043T*T
208044T*T
208045T*T
208046T*T
208047T*T
208048T*T
208049T*T
208050T*T
208051T*T
208052FTT
208053T*T
208054T*T
208055T*T
208056FTT
208057FTT
208058FFT
208059T*T
208060T*T
208061T*T
208062T*T
208063T*T
208064FTT
208065T*T
208066FTT
208067FFT
208068FFT
208069T*T
208070FFT
208071T*T
208072T*T
208073T*T
208074T*T
208075T*T
208076FTT
208077T*T
208078T*T
208079FTT
208080T*T
208081T*T
208082FTT
208083T*T
208084T*T
208085FTT
208086T*T
208087FFT
208088T*T
208089T*T
208090T*T
208091T*T
208092T*T
208093T*T
208094T*T
208095T*T
208096T*T
208097FTT
208098T*T
208099T*T
208100T*T
208101FFT
208102T*T
208103T*T
208104T*T
208105T*T
208106FTT
208107FTT
208108FFT
208109T*T
208110T*T
208111T*T
208112T*T
208113T*T
208114T*T
208115FTT
208116FFT
215751FFT
215752T*T
215753FFT
215754T*T
215755T*T
215756T*T
215757T*T
215758T*T
215759FFT
215760T*T
215761T*T
215762FFT
215763FTT
215764FFT
215765T*T
215766FFT
215767T*T
215768T*T
215769T*T
215770T*T
215771FFT
215772T*T
215773T*T
215774T*T
215775T*T
215776T*T
215777FFT
215778FFT
215779T*T
215780T*T
215781T*T
215782FTT
215783FTT
215784FFT
215785T*T
215786T*T
215787T*T
215788T*T
215789T*T
215790FTT
215791T*T
215792FTT
215793FFT
224211T*T
224212T*T
224213T*T
224214FTT
224215FFT
224216T*T
224217T*T
224218T*T
224219FTT
224220FFT
224221FFT
224222T*T
224223T*T
224224T*T
224225T*T
224226FFT
224227T*T
224228T*T
224229T*T
224230T*T
224231T*T
224232FFT
224233FFT
224234FFT
224235T*T
224236FFT
224237FFT
301588T*T
301589T*T
301590T*T
301591FTT
301592FFT
301593T*T
301594T*T
301595T*T
301596FTT
301597FFT
301598FFT
301599T*T
301600T*T
301601T*T
301602T*T
301603FFT
301604T*T
301605T*T
301606T*T
301607T*T
301608T*T
301609FFT
301610FFT
301611FFT
301612T*T
301613FFT
301614FFT
377111FFT
377112FFT
377113FFT
379768FFT
379769FFT
379770FFT
382652FFT
382653FFT
382654FFT

Independent-effect pairs