diff --git a/src/main/scala/leon/synthesis/Rules.scala b/src/main/scala/leon/synthesis/Rules.scala
index ace65b430e334de3a80730e14a6e2eda3eb83c83..8b78e8429bc0a558079b1d5a3e11bce932af5598 100644
--- a/src/main/scala/leon/synthesis/Rules.scala
+++ b/src/main/scala/leon/synthesis/Rules.scala
@@ -114,7 +114,7 @@ class OptimisticGround(synth: Synthesizer) extends Rule("Optimistic Ground", syn
       val tpe = TupleType(p.xs.map(_.getType))
 
       var i = 0;
-      var maxTries = 5;
+      var maxTries = 3;
 
       var result: Option[RuleResult]   = None
       var predicates: Seq[Expr]        = Seq()
diff --git a/testcases/synthesis/SortedList.scala b/testcases/synthesis/SortedList.scala
index b63c42352ee130468d54ff944d6eb61f29c8b9e4..2e5a42ff979688704928410e1addcbd75ae6c8d0 100644
--- a/testcases/synthesis/SortedList.scala
+++ b/testcases/synthesis/SortedList.scala
@@ -13,7 +13,7 @@ object SortedList {
       case Cons(_, t) => 1 + size(t)
   }) ensuring(res => res >= 0)
 
-  def sizeSynth(l: List): Int = choose{ (i: Int) => i >= 0 && sizeSynth(Cons(0, l)) == i + 1}
+  //def sizeSynth(l: List): Int = choose{ (i: Int) => i >= 0 && sizeSynth(Cons(0, l)) == i + 1}
 
   def content(l: List): Set[Int] = l match {
     case Nil() => Set()