daikon.inv.filter.DerivedParameterFilter.enabled = 0
daikon.inv.filter.ObviousFilter.enabled = 0
daikon.inv.filter.OnlyConstantVariablesFilter.enabled = 0
daikon.inv.filter.ParentFilter.enabled = 0
#need Simplify theorem prover for following one
daikon.inv.filter.SimplifyFilter.enabled = 0
daikon.inv.filter.UnjustifiedFilter.enabled = 0
daikon.inv.filter.UnmodifiedVariableEqualityFilter.enabled = 0
daikon.inv.unary.scalar.Modulus.enabled = 1
daikon.inv.unary.scalar.NonModulus.enabled = 0
daikon.inv.unary.sequence.CommonFloatSequence.enabled = 1
daikon.inv.unary.sequence.CommonSequence.enabled = 1
daikon.inv.unary.stringsequence.CommonStringSequence.enabled = 1
daikon.inv.Invariant.confidence_limit = 0
daikon.inv.unary.scalar.LowerBound.maximal_interesting = 1000000
daikon.inv.unary.scalar.LowerBound.minimal_interesting = -1000000
daikon.inv.unary.scalar.LowerBoundFloat.maximal_interesting = 1000000
daikon.inv.unary.scalar.LowerBoundFloat.minimal_interesting = -1000000
daikon.inv.unary.scalar.OneOfFloat.size = 4
daikon.inv.unary.scalar.OneOfScalar.size = 4
daikon.inv.unary.scalar.UpperBound.maximal_interesting = 1000000
daikon.inv.unary.scalar.UpperBound.minimal_interesting = -1000000
daikon.inv.unary.scalar.UpperBoundFloat.maximal_interesting = 1000000
daikon.inv.unary.scalar.UpperBoundFloat.minimal_interesting = -1000000
daikon.inv.unary.sequence.EltLowerBound.maximal_interesting = 1000000
daikon.inv.unary.sequence.EltLowerBound.minimal_interesting = -1000000
daikon.inv.unary.sequence.EltLowerBoundFloat.maximal_interesting = 1000000
daikon.inv.unary.sequence.EltLowerBoundFloat.minimal_interesting = -1000000
daikon.inv.unary.sequence.EltOneOf.size = 4
daikon.inv.unary.sequence.EltOneOfFloat.size = 4
daikon.inv.unary.sequence.EltUpperBound.maximal_interesting = 1000000
daikon.inv.unary.sequence.EltUpperBound.minimal_interesting = -1000000
daikon.inv.unary.sequence.EltUpperBoundFloat.maximal_interesting = 1000000
daikon.inv.unary.sequence.EltUpperBoundFloat.minimal_interesting = -1000000
daikon.inv.unary.sequence.OneOfFloatSequence.size = 4
daikon.inv.unary.sequence.OneOfSequence.size = 4
daikon.inv.unary.string.OneOfString.size = 10
daikon.inv.unary.stringsequence.EltOneOfString.size = 10
daikon.inv.unary.stringsequence.OneOfStringSequence.size = 10
daikon.Daikon.undo_opts = 0
daikon.suppress.NIS.enabled = 1