increase "auto"'s timeout in example to help SML/NJ
increase "auto"'s timeout in example to help SML/NJ

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