summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorTom Smeding <tom.smeding@gmail.com>2018-09-18 00:35:55 +0200
committerTom Smeding <tom.smeding@gmail.com>2018-09-18 00:35:55 +0200
commit0f143cc3fa9f7138d9ae0d4c13095930df372880 (patch)
treefc23893095bd8736ab50f28b1d3fade6bdd53ba3
parent0624562e3e1ae24fd1df66e3e38afca7b0f1c70f (diff)
Set time limit to 5000 for codecup2018
-rw-r--r--params.h2
1 files changed, 1 insertions, 1 deletions
diff --git a/params.h b/params.h
index 74c3db6..3caff86 100644
--- a/params.h
+++ b/params.h
@@ -9,7 +9,7 @@ const char *const gamelogdir = "comp_gamelogs";
const int num_threads = 2;
const int num_matches = 5;
-const int timeout_msec = 60000;
+const int timeout_msec = 5000;
const bool multilog_fancy = true;
const bool referee_verbose = false;