; modification of mode81
; Chad E Brown
; May 14 2010
; motivated by proving six elements are different at (i>o)>o if two elements are different at i
SPLIT_GLOBAL_DISJUNCTIONS
true
EXISTS_DELAY
0
FORALL_DELAY
1
ENUM_SORT
0
ENUM_NEG
0
ENUM_EQ
1
IMITATE_DELAY
3
PROJECT_DELAY
2
DEFAULTELT_DELAY
100
DEFAULTELTINST_DELAY
100
CONFR_DIFF_DELAY
100
CONFR_SAME1_DELAY
100
CONFR_SAME2_DELAY
0
ENUM_START
0
ENUM_ARROW
100
ENUM_O
500
ENUM_IMP
100
ENUM_FALSE
100
ENUM_CHOICE
100
IMITATE_DEFNS
false
LEIBEQ_TO_PRIMEQ
true
POST_OR_R_DELAY
1
