BASIC_DSC_CLASS_CP = please.Cover
BASIC_DSC_CLASS_CP_METHOD = me
LOG_EXPLORATION = true
Z3PARAM_SOFT_TIMEOUT = 0