Raised time limit

ftsrg · Nov 12, 2024 · 518f8c8 · 518f8c8
1 parent cd102e8
commit 518f8c8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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>