Merge branch 'runtime-extensions' of...

Merge branch 'runtime-extensions' of git-st.inf.tu-dresden.de:rschoene/trainbenchmark into runtime-extensions

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,

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 = [

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 = [