Decision #880 — lib.rs:91

Status: no_witness

Truth table

rowc0 br 5866c1 br 5867outcome
31435*TT
31436*TT
31437*TT
31438*TT
31439*TT
31440*TT
52289*TT
52290*TT
52291*TT
52292*TT
52293*TT
52294*TT
73352*TT
73353*TT
73354*TT
73355*TT
73356*TT
73357*TT
73358*TT
73359*TT
73360*TT
73361*TT
73362*TT
73363*TT
73364*TT
73365*TT
73366*TT
73367*TT
73368*TT
73369*TT
73370*TT
73371*TT
73372*TT
73373*TT
73374*TT
73375*TT
73376*TT
73377*TT
83235*TT
83236*TT
83237*TT
83238*TT
83239*TT
83240*TT
83241*TT
83242*TT
83243*TT
83244*TT
83245*TT
83246*TT
83247*TT
83248*TT
83249*TT
83250*TT
83251*TT
83252*TT
83253*TT
83254*TT
83255*TT
83256*TT
83257*TT
83258*TT
83259*TT
83260*TT
125274*TT
125275*TT
125276*TT
125277*TT
125278*TT
125279*TT
125280*TT
125281*TT
125282*TT
125283*TT
141993*TT
141994*TT
141995*TT
141996*TT
141997*TT
141998*TT
141999*TT
142000*TT
142001*TT
142002*TT
216296*TT
216297*TT
225329*TT
225330*TT
225331*TT
225332*TT
225333*TT
225334*TT
225335*TT
225336*TT
225337*TT
225338*TT
225339*TT
225340*TT
225341*TT
225342*TT
225343*TT
225344*TT
225345*TT
225346*TT
225347*TT
225348*TT
225349*TT
225350*TT
225351*TT
225352*TT
225353*TT
225354*TT
225355*TT
225356*TT
225357*TT
225358*TT
225359*TT
225360*TT
225361*TT
225362*TT
225363*TT
225364*TT
225365*TT
225366*TT
225367*TT
225368*TT
302706*TT
302707*TT
302708*TT
302709*TT
302710*TT
302711*TT
302712*TT
302713*TT
302714*TT
302715*TT
302716*TT
302717*TT
302718*TT
302719*TT
302720*TT
302721*TT
302722*TT
302723*TT
302724*TT
302725*TT
302726*TT
302727*TT
302728*TT
302729*TT
302730*TT
302731*TT
302732*TT
302733*TT
302734*TT
302735*TT
302736*TT
302737*TT
302738*TT
302739*TT
302740*TT
302741*TT
302742*TT
302743*TT
302744*TT
302745*TT

Independent-effect pairs