diff --git a/.github/actions/benchexec-test/theta.xml b/.github/actions/benchexec-test/theta.xml
index a89a2b5508..65491106ac 100644
--- a/.github/actions/benchexec-test/theta.xml
+++ b/.github/actions/benchexec-test/theta.xml
@@ -1,6 +1,6 @@
 <?xml version="1.0"?>
 <!DOCTYPE benchmark PUBLIC "+//IDN sosy-lab.org//DTD BenchExec benchmark 1.9//EN" "https://www.sosy-lab.org/benchexec/benchmark-2.3.dtd">
-<benchmark tool="theta" timelimit="20 s" hardtimelimit="30 s">
+<benchmark tool="theta" timelimit="40 s" hardtimelimit="60 s">
 
   <resultfiles>**/witness.*</resultfiles>