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

signature
ktaacn,zrbcuk,smqydu,vfmdko,ahmjon,kmisjo,jwdbup,jpqxmd,taxkur,mxmufr,gkjhij,sgomms,pblzky,jbypod,iovlal,bqxbte,ubstfa,vmqfah,gwyamc,pjuufc,tzeoks,xlzcmz,inxmes,xntmij,kgridt
conditionals
randomTest_25_25_0 {
(((inxmes;iovlal);(!(kmisjo,kgridt)))|((!((((!((((gwyamc,ahmjon),tzeoks);zrbcuk);(taxkur,(ubstfa;(!bqxbte)))));(!jbypod)),((jwdbup;xntmij),(!(pjuufc,sgomms))));pblzky)),jpqxmd)),
(((((!vfmdko);(gwyamc;(jbypod,pjuufc))),((!inxmes),(!mxmufr))),(!(!((!vmqfah);xntmij))))|(jpqxmd;(!(!(!(!(((bqxbte,gkjhij);tzeoks);ahmjon))))))),
((((bqxbte;xntmij);(zrbcuk;(xlzcmz,gwyamc))),(ahmjon,kgridt))|((!(!(!iovlal)));(!(taxkur;((vmqfah;(!vfmdko)),jwdbup))))),
(((gkjhij;(jwdbup;(!kgridt))),(inxmes,(!(!pblzky))))|(iovlal,bqxbte)),
(smqydu|((!jpqxmd),(zrbcuk;(((((inxmes,xntmij);vmqfah);(!kmisjo)),bqxbte);(pjuufc,ktaacn))))),
(mxmufr|((!tzeoks);(iovlal,kgridt))),
((((inxmes;jwdbup);(xntmij;vfmdko)),(!((!(!(!((pjuufc;bqxbte);kgridt))));taxkur)))|((iovlal;((!(ubstfa;(jpqxmd,(pblzky;((!mxmufr);kmisjo)))));(!gkjhij))),(tzeoks;(!ktaacn)))),
(((jwdbup;(!(ktaacn,(!(!inxmes))))),((!(!vmqfah)),((ahmjon,pblzky),((!(!smqydu));pjuufc))))|((!(!mxmufr));gkjhij)),
((kgridt,xlzcmz)|((!(zrbcuk,(pblzky;tzeoks))),(((vmqfah,(jwdbup;taxkur)),((!(!(gwyamc,(!jbypod))));(!(jpqxmd;pjuufc)))),(((ahmjon;gkjhij);kmisjo),(!(!(smqydu;(!mxmufr)))))))),
(((!(jpqxmd;((inxmes;((xlzcmz,ahmjon),jwdbup));(!sgomms))));(bqxbte,(!vmqfah)))|((!((ubstfa;jbypod),((!((!(!iovlal)),((!(!xntmij));((vfmdko,ktaacn);pblzky))));(!taxkur))));(!((((!gwyamc);kmisjo);kgridt);((mxmufr;(zrbcuk,(!pjuufc))),(smqydu;gkjhij)))))),
((gwyamc,smqydu)|((!(!((kgridt;iovlal),(jwdbup;(pjuufc;(pblzky;bqxbte)))))),((((jbypod;inxmes);(!ubstfa));(!(ahmjon,vfmdko)));(!(xntmij;zrbcuk))))),
((mxmufr,(zrbcuk,pjuufc))|(pblzky,((tzeoks,(gwyamc;ktaacn)),(smqydu;kgridt)))),
(((((ubstfa,vmqfah),bqxbte),(!(((taxkur,(!ahmjon));(!(!((!jwdbup),tzeoks)))),((!iovlal);(!inxmes))))),(!(jpqxmd;vfmdko)))|(kgridt,(!((mxmufr;gwyamc);(pblzky;sgomms))))),
(((((!(tzeoks;zrbcuk)),(jbypod,(jpqxmd;(iovlal;taxkur))));(!gwyamc)),((mxmufr,kgridt);(pblzky,smqydu)))|(vfmdko;(ubstfa,bqxbte))),
(((!tzeoks);(bqxbte,(!(vfmdko,(!(!jwdbup))))))|(((!gkjhij),((inxmes,(pblzky;(!kmisjo)));(!((jbypod,gwyamc),(ahmjon,sgomms))))),(!((!(pjuufc;kgridt)),(((iovlal,(xlzcmz;ubstfa));mxmufr);(!((zrbcuk,smqydu);jpqxmd))))))),
(((xlzcmz;((vfmdko,gwyamc);inxmes)),(jbypod,(jwdbup,xntmij)))|(jpqxmd,((!(pjuufc,tzeoks)),(pblzky;((((smqydu,taxkur),sgomms),(ubstfa;(kgridt;zrbcuk))),kmisjo))))),
(((xntmij,((tzeoks,(!vmqfah)),(jbypod;(!(((smqydu;vfmdko),(kgridt;inxmes));pjuufc)))));(((((!(pblzky;(ahmjon,iovlal))),ubstfa),jpqxmd),(!xlzcmz)),(!jwdbup)))|(kmisjo;(gkjhij;ktaacn))),
((zrbcuk;(tzeoks,jpqxmd))|((iovlal,((!(vmqfah;ahmjon)),smqydu)),(!(!(ubstfa,jwdbup))))),
((taxkur;(!(gwyamc;mxmufr)))|(((!((gkjhij;iovlal);(!(xntmij,(sgomms;kgridt)))));(!(!pblzky))),((vmqfah;jbypod);((((inxmes,ktaacn),jwdbup);vfmdko),((!ahmjon),((!(!pjuufc)),jpqxmd)))))),
(((!(!zrbcuk)),(xntmij,jwdbup))|mxmufr),
(inxmes|((jwdbup,pblzky);(!ahmjon))),
(((inxmes;(ubstfa;(iovlal,mxmufr))),((!(!gwyamc)),(!jwdbup)))|pblzky),
(((!(sgomms;((jwdbup,((ubstfa;jpqxmd);xntmij));pjuufc))),((((kmisjo;vfmdko);inxmes),(iovlal;mxmufr)),taxkur))|((zrbcuk;(!((!(!ahmjon));gwyamc)));((ktaacn,(!(!tzeoks)));(!jbypod)))),
(((!((!(vmqfah,jbypod)),(pblzky,(bqxbte,mxmufr)))),smqydu)|kmisjo),
(taxkur|(mxmufr,(gkjhij;ktaacn)))
}