; April 2 2013, Chad E. Brown
; Combination of (mode249m2 iordc3m6)
NOT_IN_PROP_MODEL_DELAY
2
DYNAMIC_PATTERN_CLAUSES
false
PATTERN_CLAUSES_TRANSITIVITY_EQ
true
TREAT_CONJECTURE_AS_SPECIAL
true
ENABLE_PATTERN_CLAUSES
true
EXISTS_DELAY
4
FORALL_DELAY
9
IMITATE_DELAY
4
INSTANTIATION_ORDER_CYCLE
3
INSTANTIATION_ORDER_MASK
6
