/****************************************************************
* This collection is part of CLKR - www.fernuni-hagen.de/wbs/clkr/
*
* Collection : CLKR-PS006
* Domain     : Randomly Generated
* Type       : Problem Set
* Date       : 2026-05-18
* Version    : v1.0
*
* Files in collection   : randomTest_<6-120>_<6-160>_<0-99>.
* #Files in collection  : 5200
* #Queries in collection: 26000
* #KBs in collection    : 2600
* Conds/KB in collection: 6 - 160
* Signature sizes in ...: 6 - 120
*
* Refs       : Haldimann, Spang, Spiegel, Beierle (2026), A Partial MaxSAT-based Algorithm for Lexicographic Inference from Weakly Consistent Belief Bases
*
* Comments   : Natural randomly generated conditional belief bases
*              with repeated variables allowed in formulas. Each belief
*              base was classified as weakly or strongly consistent for
*              lexicographic inference benchmarks. Consistency labels and
*              source paths are provided in metadata/manifest.csv.
*              Strongly consistent KBs: 966.
*              Weakly consistent KBs  : 1634.
*              Combinations           : 6/6, 8/8, 10/10, 12/12, 14/14, 16/16, 18/18, 20/20, 30/30, 40/40, 50/50, 60/60, 60/80, 60/100, 60/120, 80/60, 80/80, 80/120, 80/160, 100/60, 100/100, 100/160, 120/60, 120/80, 120/120, 120/160.
*
****************************************************************/