add both random and genetic to benchmarks. note, that gnetic ignores the...

add both random and genetic to benchmarks. note, that gnetic ignores the timeout and random always times out. also, tests take VERY long with genetic.

jastadd-mquat-benchmark/src/main/java/de/tudresden/inf/st/mquat/benchmark/SolverFactory.java

@@ -4,6 +4,7 @@ import de.tudresden.inf.st.mquat.solving.BenchmarkableSolver;
 import de.tudresden.inf.st.mquat.solving.ilp.ILPDirectSolver;
 import de.tudresden.inf.st.mquat.solving.ilp.ILPExternalSolver;
 import de.tudresden.inf.st.mquat.solving.genetic.GeneticSolver;
+import de.tudresden.inf.st.mquat.solving.random.RandomSolver;
 import de.tudresden.inf.st.mquat.solving.simple.SimpleSolver;
 import ir.ac.ui.eng.ACOSolver;
 import uniks.EMFeRSolver;
@@ -30,6 +31,7 @@ public class SolverFactory {
           new ILPExternalSolver(),
           new ILPDirectSolver(),
           new SimpleSolver(),
+          new RandomSolver(),
           new GeneticSolver()
       ).collect(Collectors.toMap(BenchmarkableSolver::getName, Function.identity()));
     }

jastadd-mquat-benchmark/src/main/resources/scenarios.json

@@ -6,6 +6,8 @@
     "emfer",
     "ilp-direct",
 //    "ilp-external",
+    "random",
+    "genetic",
     "simple"
   ],
   "timeoutValue": 15,