/****************************************************************
* This collection is part of CLKR - www.fernuni-hagen.de/wbs/clkr/
* 
* Collection : random_size_4-25
* Domain     : Randomly Generated
* Type       : Queries
* Date       : 2024-03-07
* Version    : v1.0
* 
* Files in collection   : randomTest_<4-25>_<4-25>_<*>.clq
* #Files in collection  : 113
* #Conds in collection  : 2241
* 
* Refs       : [BSB24] von Berg, Sanin, Beierle (2024), Scaling Up Nonmonotonic c-Inference via Partial MaxSAT Problems, FoIKS 2024.
* 
* Comments   : tightly linked to the randomly-gen/random_size_4-25 knowledge bases
*
****************************************************************/