From 8915a8edf727591a172e230381a65b2371eb0084 Mon Sep 17 00:00:00 2001
From: Bajczi Levente <bajczilevi@gmail.com>
Date: Sat, 3 Aug 2024 13:07:20 +0200
Subject: [PATCH] Update theta.xml with lower timelimits

---
 .github/actions/benchexec-test/theta.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/actions/benchexec-test/theta.xml b/.github/actions/benchexec-test/theta.xml
index 437a6b18d1..2ce7d4bc50 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="60 s" hardtimelimit="80 s">
+<benchmark tool="theta" timelimit="20 s" hardtimelimit="30 s">
 
     <resultfiles>**/witness.*</resultfiles>