; 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
INITIAL_SUBTERMS_AS_INSTANTIATIONS
true
SPLIT_GLOBAL_DISJUNCTIONS
true
