diff --git a/src/main/scala/leon/synthesis/rules/CEGISLike.scala b/src/main/scala/leon/synthesis/rules/CEGISLike.scala
index c76a59bbb006cd3b72774063289d2939ce52059b..03feccf9e678b47d24c60c6f02912193dc55705b 100644
--- a/src/main/scala/leon/synthesis/rules/CEGISLike.scala
+++ b/src/main/scala/leon/synthesis/rules/CEGISLike.scala
@@ -723,7 +723,7 @@ abstract class CEGISLike[T <% Typed](name: String) extends Rule(name) {
 
         var n = 1
         def allInputExamples() = {
-          if (n % 1000 == 0) {
+          if (n == 10 || n == 50 || n % 500 == 0) {
             baseExampleInputs = baseExampleInputs.sortBy(e => -failedTestsStats(e))
           }
           n += 1
diff --git a/src/regression/scala/leon/regression/repair/RepairSuite.scala b/src/regression/scala/leon/regression/repair/RepairSuite.scala
index 8ea0f2424641effaddb77b8d1255d19e35edfdff..1b5bd1012f1d5d79b2b6d7d652b21470bb610336 100644
--- a/src/regression/scala/leon/regression/repair/RepairSuite.scala
+++ b/src/regression/scala/leon/regression/repair/RepairSuite.scala
@@ -18,7 +18,7 @@ class RepairSuite extends regression.LeonTestSuite {
     "Compiler1.scala"   -> "desugar",
     "Heap4.scala"       -> "merge",
     "ListEasy.scala"    -> "pad",
-    //"List1.scala"       -> "pad",
+    "List1.scala"       -> "pad",
     "Numerical1.scala"  -> "power",
     "MergeSort2.scala"  -> "merge"
   )