; April 2 2013, Chad E. Brown
; Combination of (mode314 iordc8m08)
INSTANTIATE_WITH_FUNC_DISEQN_SIDES
false
SPLIT_GLOBAL_DISJUNCTIONS
true
LEIBEQ_TO_PRIMEQ
true
PREPROCESS_BEFORE_SPLIT
true
INITIAL_SUBTERMS_AS_INSTANTIATIONS
true
MINISAT_SEARCH_PERIOD
10
INSTANTIATION_ORDER_CYCLE
8
INSTANTIATION_ORDER_MASK
8
