/****************************************************************
* This file is part of CLKR - www.fernuni-hagen.de/wbs/clkr/
* 
* File       : randomTest_4_4_0.clq
* Type       : Queries
* Domain     : Randomly Generated
* Date       : 2024-03-06
* Version    : v1.0
*
* Signature  : uuqavd,zcufcc,lswcbu,drbksm
* KB         : RandomlyGenerated / RandomSizeTo25 / randomTest_4_4_0.cl
* 
* Details    : Signature size        : 4
*              #Queries              : 20
* 
* Refs       : [BSB24] von Berg, Sanin, Beierle (2024), Scaling Up Nonmonotonic c-Inference via Partial MaxSAT Problems, FoIKS 2024.
*
* Comments   : 
*
****************************************************************/
((lswcbu;uuqavd)|(drbksm,zcufcc)),
(zcufcc|((!lswcbu),(drbksm,uuqavd))),
(lswcbu|((!((!zcufcc);drbksm)),(!(!(!uuqavd))))),
(((!drbksm);lswcbu)|((!(!uuqavd)),(!zcufcc))),
(((!(!(drbksm;zcufcc)));(!uuqavd))|lswcbu),
(uuqavd|(drbksm;(!(lswcbu;zcufcc)))),
((uuqavd;lswcbu)|(drbksm;zcufcc)),
(zcufcc|(uuqavd,(!(drbksm,lswcbu)))),
(((!drbksm);uuqavd)|((!(!(!zcufcc))),(!lswcbu))),
(zcufcc|((uuqavd,drbksm),lswcbu)),
((zcufcc,lswcbu)|(drbksm;uuqavd)),
((zcufcc,uuqavd)|(lswcbu,drbksm)),
(zcufcc|((drbksm;uuqavd),(!lswcbu))),
((lswcbu;(uuqavd;zcufcc))|drbksm),
(lswcbu|((!(!uuqavd)),((!zcufcc);drbksm))),
(lswcbu|((!(!(!(!(!((!zcufcc),drbksm))))));(!(!(!uuqavd))))),
((((!uuqavd),lswcbu);zcufcc)|drbksm),
(zcufcc|((uuqavd;lswcbu),drbksm)),
(uuqavd|((!lswcbu),(!(drbksm,zcufcc)))),
((uuqavd,drbksm)|((!lswcbu),zcufcc))