; April 2 2013, Chad E. Brown
; Combination of (mode357 iordc2m2)
SPLIT_GLOBAL_DISJUNCTIONS
true
ENUM_ITER_DEEP
true
ENUM_ITER_DEEP_INIT
7
ENUM_CHOICE
20
ENUM_SORT
0
ENUM_O
20
ENUM_ARROW
20
ENUM_FALSE
20
ENUM_NEG
0
ENUM_IMP
2
ENUM_FORALL
20
ENUM_EQ
0
PROJECT_DELAY
0
IMITATE_DELAY
0
USE_E
true
E_PERIOD
1000
E_TIMEOUT
3
E_EQO_EQUIV
true
INSTANTIATION_ORDER_CYCLE
2
INSTANTIATION_ORDER_MASK
2
