From 518f8c8114b119e33e93838985235b290106fa01 Mon Sep 17 00:00:00 2001
From: Levente Bajczi <bajczilevi@gmail.com>
Date: Tue, 12 Nov 2024 12:30:46 +0100
Subject: [PATCH] Raised time limit

---
 .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 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>