/****************************************************************
* This collection is part of CLKR - www.fernuni-hagen.de/wbs/clkr/
* 
* Collection : CLKR-PS001
* Domain     : Randomly Generated
* Type       : Problem Set
* Date       : 2024-06-27
* Version    : v1.0
* 
* Files in collection   : randomTest_<4-100>_<4-100>_<*>.<cl,clq>
* #Files in collection  : 2626
* #Queries in collection: 26241
* #KBs in collection    : 1313
* Conds/KB in collection: 4 - 100
* Signature sizes in ...: 4 - 100
* 
* Refs       : [BSB24] von Berg, Sanin, Beierle (2024), Scaling Up Nonmonotonic c-Inference via Partial MaxSAT Problems, FoIKS 2024.
* 
* Comments   : 
*
****************************************************************/