DEFAULTELT_DELAY
1000
ENUM_START
1000
ENABLE_PATTERN_CLAUSES
true
PATTERN_CLAUSES_ONLYALLSTRICT
true
PATTERN_CLAUSES_DELAY
0
PATTERN_CLAUSES_EARLY
true
APPLY_PATTERN_CLAUSES_EARLY
true
SPLIT_GLOBAL_DISJUNCTIONS
true
PRIORITY_QUEUE_IMPL
1
EXISTS_DELAY
0
FORALL_DELAY
1
CONFR_DIFF_DELAY
100
CONFR_SAME1_DELAY
100
CONFR_SAME2_DELAY
0
IMITATE_DELAY
2
POST_OR_L_DELAY
3
POST_OR_R_DELAY
2
POST_MATING_DELAY
200
