; Chad E Brown, Aug 14, 2011
; mode248 with SPLIT_GLOBAL_DISJUNCTIONS true
DYNAMIC_PATTERN_CLAUSES
false
PATTERN_CLAUSES_TRANSITIVITY_EQ
true
TREAT_CONJECTURE_AS_SPECIAL
true
RELEVANCE_DELAY
5
ENABLE_PATTERN_CLAUSES
true
PATTERN_CLAUSES_ONLYALLSTRICT
true
EXISTS_DELAY
10
FORALL_DELAY
10
DEFAULTELT_DELAY
100
DEFAULTELTINST_DELAY
100
CONFR_DIFF_DELAY
100
CONFR_SAME1_DELAY
100
CONFR_SAME2_DELAY
100
ENUM_START
30
ENUM_ARROW
10
ENUM_O
5
ENUM_SORT
0
ENUM_NEG
5
ENUM_FALSE
20
ENUM_CHOICE
10
ENUM_EQ
0
IMITATE_DELAY
6
PATTERN_CLAUSES_DELAY
1
PATTERN_CLAUSES_EQN_DELAY
1
SPLIT_GLOBAL_DISJUNCTIONS
true
