projects / Benchmarks_CSolver.git / blobdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | inline | side by side
Edit
[Benchmarks_CSolver.git] / common.sh
diff --git a/common.sh b/common.sh
index 18bd051e086b2b2f51726f0e33bd07b2e32ad53a..12ca71192025421c20df5555874d3ae9a2671f4a 100755 (executable)
--- a/common.sh
+++ b/common.sh
@@ -4,6 +4,7 @@ OFILE=result.csv
 TEMP="temp.out"
 DUMPDIR="dumps"
 TIMEMAX=5000s
+TIMEOUT=1000
 ROUND=15
 BUDGET=15
 TUNERCONF="onehottuner.conf binarytuner.conf unarytuner.conf"
Unnamed repository; edit this file 'description' to name the repository.