; Target group theory examples
; May 10, 2011
; Chad E Brown
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
