/****************************************************************
* This collection is part of CLKR - www.fernuni-hagen.de/wbs/clkr/
* 
* Collection : z3_randomTest_80_100
* Domain     : Randomly Generated
* Type       : KB
* Date       : 2023-12-19
* Version    : v1.0
* 
* Files in collection   : z3_randomTest_80_100_<*>.cl
* #Files in collection  : 6
* #KBs in collection    : 6
* Conds/KB in collection: 100
* 
* Refs       : 
* 
* Comments   : generated for benchmarking a reasoning implementation using the z3 SMT-solver
*
****************************************************************/