; Chad E Brown, March 19, 2012
; modification of mode249m2 with
; HOUNIF1 true, HOUNIF1MATE true, HOUNIF1MAXMATES 1
; HOUNIF1BOUND 4, HOUNIF1MATEBELOWEQUIV true
; EXISTSTOCHOICE true
EXISTSTOCHOICE
true
HOUNIF1
true
HOUNIF1MATE
true
HOUNIF1MATEBELOWEQUIV
true
HOUNIF1MAXMATES
1
HOUNIF1BOUND
4
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
