diff --git a/Test/civl/paxos/is.sh b/Test/civl/paxos/is.sh
index bc50a3345..cfa524668 100755
--- a/Test/civl/paxos/is.sh
+++ b/Test/civl/paxos/is.sh
@@ -1,6 +1,6 @@
 #!/bin/bash
 
-# RUN: %parallel-boogie Paxos.bpl PaxosActions.bpl PaxosImpl.bpl PaxosSeq.bpl > "%t"
+# RUN: %parallel-boogie Paxos.bpl PaxosActions.bpl PaxosImpl.bpl PaxosSeq.bpl /timeLimit:120 > "%t"
 # RUN: %diff "%s.expect" "%t"
 
 boogie $@ Paxos.bpl PaxosActions.bpl PaxosImpl.bpl PaxosSeq.bpl
diff --git a/Test/livevars/stack_overflow.bpl b/Test/livevars/stack_overflow.bpl
index ca509a99d..a9103e0a3 100644
--- a/Test/livevars/stack_overflow.bpl
+++ b/Test/livevars/stack_overflow.bpl
@@ -1,4 +1,4 @@
-// RUN: %parallel-boogie /errorTrace:0 "%s" > "%t"
+// RUN: %parallel-boogie /errorTrace:0 /timeLimit:120 "%s" > "%t"
 // RUN: %diff "%s.expect" "%t"
 
 // Stress test that we really don't need ot run multiple times