; mode that can prove SEV165^5.p (tps lib problem regarding cartesian product of predicates over i)
; May 2 2016
ENUM_ITER_DEEP
true
ENUM_START
0
ENUM_ITER_DEEP_DELAY
1000
ENUM_ITER_DEEP_INIT
8
IMITATE_DELAY
2
PROJECT_DELAY
0
ENUM_IMP
2
ENUM_NEG
0
ENUM_EQ
100
ENUM_CHOICE
100
ENUM_FORALL
100
ENUM_SORT
0
ENUM_ARROW
100
ENUM_O
100
PRIORITY_QUEUE_IMPL
9
FORALL_DELAY
2
EXISTS_DELAY
20
INITIAL_SUBTERMS_AS_INSTANTIATIONS
true
TREAT_CONJECTURE_AS_SPECIAL
true
