diff --git a/jastadd-mquat-benchmark/src/main/java/de/tudresden/inf/st/mquat/benchmark/SolverFactory.java b/jastadd-mquat-benchmark/src/main/java/de/tudresden/inf/st/mquat/benchmark/SolverFactory.java index cdfe6047e59726cb8bdfed83ae7f9df30937e4e4..7e9e463f195a0955810e86a3ef9f5ac806862f0d 100644 --- a/jastadd-mquat-benchmark/src/main/java/de/tudresden/inf/st/mquat/benchmark/SolverFactory.java +++ b/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())); } diff --git a/jastadd-mquat-benchmark/src/main/resources/scenarios.json b/jastadd-mquat-benchmark/src/main/resources/scenarios.json index 564e51f928c8eba439e7cc55b767a59a63dc02ae..e9163b0d186054d7c07d36da5786ab42521065c5 100644 --- a/jastadd-mquat-benchmark/src/main/resources/scenarios.json +++ b/jastadd-mquat-benchmark/src/main/resources/scenarios.json @@ -6,6 +6,8 @@ "emfer", "ilp-direct", // "ilp-external", + "random", + "genetic", "simple" ], "timeoutValue": 15,