From 295b19cf74f5a9353e4b8930cb344a00d633f917 Mon Sep 17 00:00:00 2001
From: Mark Bench <benchmark@is63016.inf.tu-dresden.de>
Date: Sun, 8 Jul 2018 18:25:41 +0200
Subject: [PATCH] update run configuration

---
 trainbenchmark-scripts/src-template/GeneratorScript.groovy | 2 +-
 .../src-template/IndividualBenchmarkInjectScript.groovy    | 7 +++----
 .../src-template/IndividualBenchmarkRepairScript.groovy    | 7 +++----
 3 files changed, 7 insertions(+), 9 deletions(-)

diff --git a/trainbenchmark-scripts/src-template/GeneratorScript.groovy b/trainbenchmark-scripts/src-template/GeneratorScript.groovy
index a28522264..51b8e513e 100644
--- a/trainbenchmark-scripts/src-template/GeneratorScript.groovy
+++ b/trainbenchmark-scripts/src-template/GeneratorScript.groovy
@@ -11,7 +11,7 @@ import hu.bme.mit.trainbenchmark.generator.runner.GeneratorRunner
 def ec = new ExecutionConfig(4000, 6000)
 def minSize = 1
 /* def maxSize = 2048 */
-def maxSize = 8
+def maxSize = 1024
 
 def scenarios = [
 	Scenario.BATCH,
diff --git a/trainbenchmark-scripts/src-template/IndividualBenchmarkInjectScript.groovy b/trainbenchmark-scripts/src-template/IndividualBenchmarkInjectScript.groovy
index 9fcfedd50..bcbe67c4c 100644
--- a/trainbenchmark-scripts/src-template/IndividualBenchmarkInjectScript.groovy
+++ b/trainbenchmark-scripts/src-template/IndividualBenchmarkInjectScript.groovy
@@ -29,12 +29,12 @@ println('$ killall -9 java')
 
 def benchmarkId = ResultHelper.createNewResultDir()
 ResultHelper.saveConfiguration(benchmarkId, "IndividualBenchmarkInjectScript.groovy")
-def ec = new ExecutionConfig(4000, 8000)
+def ec = new ExecutionConfig(8000, 32000)
 
 def minSize = 1
-def maxSize = 8
+def maxSize = 1024
 def timeout = 900
-def runs = 1
+def runs = 10
 
 println()
 println("############################################################")
@@ -58,7 +58,6 @@ def tools = [
 		new JastaddSpecializedIncrementalBenchmarkConfigBuilder(),
 		new TinkerGraphBenchmarkConfigBuilder(),
 		new ViatraBenchmarkConfigBuilder().setBackend(ViatraBackend.INCREMENTAL),
-		new ViatraBenchmarkConfigBuilder().setBackend(ViatraBackend.LOCAL_SEARCH),
 ]
 
 def workloads = [
diff --git a/trainbenchmark-scripts/src-template/IndividualBenchmarkRepairScript.groovy b/trainbenchmark-scripts/src-template/IndividualBenchmarkRepairScript.groovy
index 24a1a376f..192f3a9a6 100644
--- a/trainbenchmark-scripts/src-template/IndividualBenchmarkRepairScript.groovy
+++ b/trainbenchmark-scripts/src-template/IndividualBenchmarkRepairScript.groovy
@@ -28,12 +28,12 @@ println('$ killall -9 java')
 
 def benchmarkId = ResultHelper.createNewResultDir()
 ResultHelper.saveConfiguration(benchmarkId)
-def ec = new ExecutionConfig(4000, 8000)
+def ec = new ExecutionConfig(8000, 32000)
 
 def minSize = 1
-def maxSize = 8
+def maxSize = 1024
 def timeout = 900
-def runs = 1
+def runs = 10
 
 println()
 println("############################################################")
@@ -57,7 +57,6 @@ def tools = [
 		new JastaddSpecializedIncrementalBenchmarkConfigBuilder(),
 		new TinkerGraphBenchmarkConfigBuilder(),
 		new ViatraBenchmarkConfigBuilder().setBackend(ViatraBackend.INCREMENTAL),
-		new ViatraBenchmarkConfigBuilder().setBackend(ViatraBackend.LOCAL_SEARCH),
 ]
 
 def workloads = [
-- 
GitLab