/****************************************************************
* This collection is part of CLKR - www.fernuni-hagen.de/wbs/clkr/
* 
* Collection : CLKR-PS004
* Domain     : Randomly Generated
* Type       : Problem Set
* Date       : 2025-07-23
* Version    : v1.1
* 
* Files in collection   : randomTest_<6-120>_<6-200>_<0-99>.
* #Files in collection  : 5600
* #Queries in collection: 28000
* #KBs in collection    : 2800
* Conds/KB in collection: 6 - 200
* Signature sizes in ...: 6 - 120
* 
* Refs       : Beierle, Spang, Haldimann (2024), Using SAT and Partial MaxSAT for Reasoning with System Z and System W
* 
* Comments   : Original Version v1.0 created 2024-04-26
*
****************************************************************/