/****************************************************************
* This collection is part of CLKR - www.fernuni-hagen.de/wbs/clkr/
* 
* Collection : CLKR-PS003
* Domain     : Randomly Generated
* Type       : Problem Set
* Date       : 2024-07-08
* Version    : v1.0
* 
* Files in collection   : randomTest_<60-120>_<60-120>_<0-99>.<cl,clq>
* #Files in collection  : 3200
* #Queries in collection: 16000
* #KBs in collection    : 1600
* Conds/KB in collection: 60 - 120
* Signature sizes in ...: 60 - 120
* 
* Refs       : Beierle, Haldimann, Sanin, Schwarzer, Spang, Spiegel, von Berg (2024), Scaling Up Reasoning From Conditional Belief Bases 
* 
* Comments   : 
*
****************************************************************/