From e8d4044edea6d2f5f5a82ecd9680149740efdabd Mon Sep 17 00:00:00 2001
From: Philipp Ruemmer <ph_r@gmx.net>
Date: Mon, 26 Aug 2024 18:18:54 +0200
Subject: [PATCH] longer timeout to get more predictable behaviour

---
 regression-tests/horn-adt/runtests | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/regression-tests/horn-adt/runtests b/regression-tests/horn-adt/runtests
index 18473ecf..74a812b7 100755
--- a/regression-tests/horn-adt/runtests
+++ b/regression-tests/horn-adt/runtests
@@ -26,7 +26,7 @@ TESTS="de-brujin-bug.smt2"
 for name in $TESTS; do
     echo
     echo $name
-    $LAZABS -pngNo -ssol -cex "$@" $name 2>&1 | grep -v "^Elapsed Time"
+    $LAZABS -pngNo -ssol -cex -abstractTO:4 "$@" $name 2>&1 | grep -v "^Elapsed Time"
 done
 
 # Examples with currently unstable output, do not show the counterexample