better fudge factors for CVC3 and Yices based on Judgment Day
better fudge factors for CVC3 and Yices based on Judgment Day

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle