; Dec 18 2012 - Combo of (mode255 epif1)
CONFR_DIFF_DELAY
500
CONFR_SAME1_DELAY
500
CONFR_SAME2_DELAY
1
POST_DEC_DELAY
3
POST_CONFRONT1_DELAY
4
POST_CONFRONT2_DELAY
1
POST_CONFRONT3_DELAY
500
POST_CONFRONT4_DELAY
0
FORALL_DELAY
10
ENABLE_PATTERN_CLAUSES
true
DYNAMIC_PATTERN_CLAUSES
false
PATTERN_CLAUSES_EQNLITS
true
PATTERN_CLAUSES_FORALL_AS_LIT
false
PATTERN_CLAUSES_EQN_DELAY
3
INITIAL_SUBTERMS_AS_INSTANTIATIONS
true
SPLIT_GLOBAL_DISJUNCTIONS
true
EAGERLY_PROCESS_INSTANTIATIONS
false
INSTANTIATION_DELAY
0
ARTP_WEIGHT
0
BASETP_WEIGHT
0
OTP_WEIGHT
0
AP_WEIGHT
100
LAM_WEIGHT
100
LAM_TP_WEIGHT_FAC
100
NAME_WEIGHT
0
NAME_TP_WEIGHT_FAC
0
DB_WEIGHT
100
DB_TP_WEIGHT_FAC
100
FALSE_WEIGHT
100
IMP_WEIGHT
100
FORALL_WEIGHT
100
FORALL_TP_WEIGHT_FAC
100
EQ_WEIGHT
100
EQ_TP_WEIGHT_FAC
100
CHOICE_WEIGHT
100
CHOICE_TP_WEIGHT_FAC
100
