tweak SMT timeouts

lip6 · May 5, 2024 · 9e0eda7 · 9e0eda7
1 parent 0a9e185
commit 9e0eda7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/smt/fr.lip6.move.gal.gal2smt/src/fr/lip6/move/gal/structural/smt/SolverState.java b/smt/fr.lip6.move.gal.gal2smt/src/fr/lip6/move/gal/structural/smt/SolverState.java
@@ -102,7 +102,7 @@ public ISolver getSolver() {
 	}
 
 	public void start(int timeout) {
-		solver = SMTUtils.initSolver(smt, numericType==SolutionType.Real, timeout/5, timeout);
+		solver = SMTUtils.initSolver(smt, numericType==SolutionType.Real, timeout, timeout);
 	}
 
 	public void stop() {