; April 15 2013, Chad E. Brown
; Combination of (mode331 iordc2m1)
SPLIT_GLOBAL_DISJUNCTIONS
true
ENUM_ITER_DEEP
true
ENUM_ITER_DEEP_INIT
1
ENUM_CHOICE
20
ENUM_SORT
20
ENUM_FALSE
0
ENUM_NEG
0
USE_E
true
E_PERIOD
1000
E_TIMEOUT
3
E_EQO_EQUIV
true
INSTANTIATION_ORDER_CYCLE
2
INSTANTIATION_ORDER_MASK
1
