tweak SMT timeouts

lip6 · May 5, 2024 · 0a9e185 · 0a9e185
1 parent 84f11c7
commit 0a9e185
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/smt/fr.lip6.move.gal.gal2smt/src/fr/lip6/move/gal/structural/smt/SMTUtils.java b/smt/fr.lip6.move.gal.gal2smt/src/fr/lip6/move/gal/structural/smt/SMTUtils.java
@@ -164,7 +164,7 @@ public static ISolver initSolver(org.smtlib.SMT smt, String logic, int timeoutQ,
 			throw new RuntimeException(e);
 		}
 
-		smt.smtConfig.timeout = timeoutQ;
+		smt.smtConfig.timeout = timeoutT * 100 ;
 		smt.smtConfig.timeoutTotal = timeoutT;
 		Solver engine = Solver.Z3;
 		ISolver solver = engine.getSolver(smt.smtConfig);
@@ -183,7 +183,7 @@ public static ISolver initSolver(org.smtlib.SMT smt, String logic, int timeoutQ,
 		if (err.isError()) {
 			throw new RuntimeException("Could not set logic" + err);
 		}
-	//	System.out.println("Starting Z3 with timeout " + timeoutT + " and query timeout " + timeoutQ);
+	//	System.out.println("Starting Z3 with timeout " + smt.smtConfig.timeoutTotal + " s and query timeout " + smt.smtConfig.timeout + " ms");
 		return solver;
 	}