diff --git a/testcases/repair/runTests.sh b/testcases/repair/runTests.sh
index 056c82535c0001606943bd77d4f21bffc55656bb..e21e51af58ad0e2f464b080ef5b546770de8f86a 100755
--- a/testcases/repair/runTests.sh
+++ b/testcases/repair/runTests.sh
@@ -47,7 +47,7 @@ echo "=====================================================================" >>
 ./leon --debug=report --repair --timeout=30 --solvers=fairz3,enum --functions=count    testcases/repair/List/List6.scala           | tee -a $fullLog
 ./leon --debug=report --repair --timeout=30 --solvers=fairz3,enum --functions=find     testcases/repair/List/List7.scala           | tee -a $fullLog
 ./leon --debug=report --repair --timeout=30 --solvers=fairz3,enum --functions=find     testcases/repair/List/List8.scala           | tee -a $fullLog
-./leon --debug=report --repair --timeout=30                       --functions=find     testcases/repair/List/List9.scala           | tee -a $fullLog
+./leon --debug=report --repair --timeout=60                       --functions=find     testcases/repair/List/List9.scala           | tee -a $fullLog
 ./leon --debug=report --repair --timeout=30 --solvers=fairz3,enum --functions=size     testcases/repair/List/List10.scala          | tee -a $fullLog
 ./leon --debug=report --repair --timeout=30 --solvers=fairz3,enum --functions=sum      testcases/repair/List/List11.scala          | tee -a $fullLog
 ./leon --debug=report --repair --timeout=30 --solvers=fairz3,enum --functions=-        testcases/repair/List/List12.scala          | tee -a $fullLog