/****************************************************************
* This file is part of CLKR - www.fernuni-hagen.de/wbs/clkr/
* 
* File       : randomTest_12_12_9.cl
* Type       : KB
* Domain     : Randomly Generated
* Date       : 2024-03-06
* Version    : v1.0
* 
* Details    : Signature size        : 12
*              #Conditionals per KB  : 12    
* 
* Refs       : [BSB24] von Berg, Sanin, Beierle (2024), Scaling Up Nonmonotonic c-Inference via Partial MaxSAT Problems, FoIKS 2024.
*
* Comments   : 
****************************************************************/

signature
vbmssa,tqaium,uoypmf,becoot,ddjbqm,mzmteg,xcssza,pwrkkh,wzpomn,bgregw,qyjthg,ymurcw
conditionals
randomTest_12_12_9 {
((((!mzmteg);(!(!((xcssza;qyjthg),tqaium)))),(wzpomn,bgregw))|((!pwrkkh);(ddjbqm;uoypmf))),
(((bgregw;qyjthg);(!mzmteg))|tqaium),
((ddjbqm,(!(!((!((!wzpomn),ymurcw)),(vbmssa;(bgregw,pwrkkh))))))|((becoot;(!uoypmf));(!((!(!qyjthg));mzmteg)))),
(xcssza|(wzpomn,(uoypmf,qyjthg))),
((((!(uoypmf,pwrkkh)),((tqaium;vbmssa),(!qyjthg))),(bgregw;(ddjbqm;mzmteg)))|((!wzpomn);becoot)),
((becoot,((!bgregw),((!wzpomn);mzmteg)))|uoypmf),
(((!ymurcw);pwrkkh)|((bgregw,xcssza);(tqaium,uoypmf))),
(((tqaium;pwrkkh);xcssza)|((ddjbqm,wzpomn),((ymurcw;qyjthg);((vbmssa,bgregw);mzmteg)))),
(((becoot;((!ddjbqm);xcssza));(wzpomn;tqaium))|((!(bgregw,ymurcw)),(!(((qyjthg,vbmssa);mzmteg),uoypmf)))),
(xcssza|((!((!tqaium);(!(qyjthg;wzpomn)))),((ymurcw,uoypmf),((bgregw;(!becoot)),(vbmssa;(ddjbqm;mzmteg)))))),
((vbmssa;(((becoot,ymurcw),pwrkkh);bgregw))|((wzpomn,mzmteg);(tqaium;xcssza))),
(pwrkkh|((!mzmteg);(!((!ymurcw);becoot))))
}