Update theta.xml with lower timelimits

ftsrg · Aug 3, 2024 · 8915a8e · 8915a8e
1 parent 0837093
commit 8915a8e
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="60 s" hardtimelimit="80 s">
+<benchmark tool="theta" timelimit="20 s" hardtimelimit="30 s">
 
     <resultfiles>**/witness.*</resultfiles>