/****************************************************************
* This file is part of CLKR - www.fernuni-hagen.de/wbs/clkr/
* 
* File       : randomTest_12_12_9.clq
* Type       : Queries
* Domain     : Randomly Generated
* Date       : 2024-03-06
* Version    : v1.0
*
* Signature  : vbmssa,tqaium,uoypmf,becoot,ddjbqm,mzmteg,xcssza,pwrkkh,wzpomn,bgregw,qyjthg,ymurcw
* KB         : RandomlyGenerated / RandomSizeTo25 / randomTest_12_12_9.cl
* 
* Details    : Signature size        : 12
*              #Queries              : 20
* 
* Refs       : [BSB24] von Berg, Sanin, Beierle (2024), Scaling Up Nonmonotonic c-Inference via Partial MaxSAT Problems, FoIKS 2024.
*
* Comments   : 
*
****************************************************************/
((bgregw,tqaium)|(mzmteg,becoot)),
(((!(!ddjbqm));(wzpomn;vbmssa))|qyjthg),
(ddjbqm|((uoypmf;wzpomn);mzmteg)),
(((xcssza,bgregw);(!tqaium))|uoypmf),
(((!uoypmf);((tqaium;(vbmssa;pwrkkh)),becoot))|(mzmteg,xcssza)),
(((wzpomn,xcssza);(ddjbqm;mzmteg))|((!ymurcw);(tqaium;uoypmf))),
((ddjbqm;ymurcw)|(uoypmf,xcssza)),
(((!(tqaium,(!wzpomn)));(vbmssa;(!pwrkkh)))|(uoypmf;(xcssza,qyjthg))),
((((becoot,pwrkkh);(xcssza;ddjbqm));(uoypmf,(bgregw,tqaium)))|wzpomn),
(uoypmf|((!(pwrkkh;becoot)),ymurcw)),
(((!uoypmf);wzpomn)|(pwrkkh;(!(!bgregw)))),
((wzpomn,qyjthg)|(uoypmf,ymurcw)),
(((mzmteg;pwrkkh);(qyjthg;(!xcssza)))|becoot),
((qyjthg;ddjbqm)|(pwrkkh,becoot)),
((((!(!(bgregw;mzmteg))),(!vbmssa));(!((!qyjthg),becoot)))|((!(!(ddjbqm,(!ymurcw)))),uoypmf)),
((pwrkkh;wzpomn)|((!vbmssa);(!(!ymurcw)))),
((pwrkkh;ddjbqm)|(becoot,(!mzmteg))),
(ddjbqm|((!wzpomn),((!(!qyjthg)),mzmteg))),
(((((!ymurcw),(ddjbqm,pwrkkh));(!(!xcssza)));(!(uoypmf,tqaium)))|((becoot;(!(mzmteg;(!wzpomn)))),(!bgregw))),
((wzpomn,ddjbqm)|((!becoot),((!(mzmteg,ymurcw)),(((bgregw;vbmssa),(!(tqaium;uoypmf))),(!(!qyjthg))))))