; April 2 2013, Chad E. Brown
; Combination of (mode276 iordc2m2)
TREAT_CONJECTURE_AS_SPECIAL
true
AXIOM_DELAY
1
ENUM_START
1
ENUM_NEG
100
ENUM_FALSE
100
ENUM_EQ
2
ENUM_CHOICE
2
IMITATE_DELAY
5
PROJECT_DELAY
3
FORALL_DELAY
16
EXISTS_DELAY
15
POST_CONFRONT2_DELAY
200
POST_CONFRONT3_DELAY
200
POST_CONFRONT4_DELAY
200
NEW_HEAD_ENUM_DELAY
200
INSTANTIATE_WITH_FUNC_DISEQN_SIDES
false
ALL_DEFS_AS_EQNS
true
INSTANTIATION_ORDER_CYCLE
2
INSTANTIATION_ORDER_MASK
2
