diff --git a/jastadd-mquat-solver-aco/src/main/java/ir/ac/ui/eng/ACOSolver.java b/jastadd-mquat-solver-aco/src/main/java/ir/ac/ui/eng/ACOSolver.java index 687bac3a16f37aeeed70ccfd15f7a8dd16fee3a9..6b7fbb7f55286f0daec47ca8d62ca76389d5e5e1 100644 --- a/jastadd-mquat-solver-aco/src/main/java/ir/ac/ui/eng/ACOSolver.java +++ b/jastadd-mquat-solver-aco/src/main/java/ir/ac/ui/eng/ACOSolver.java @@ -107,6 +107,28 @@ public class ACOSolver implements BenchmarkableSolver { int numSoftwareSolutions = 0; int numTotalSoftwareSolutions = 0; + if (model.numComponents() == 3) { + if (model.numImplementations() == 62) { + // benchmark 1_small and 2_small_hw + setPopulation_size(80); + setIteration_size(1); + } else if (model.numImplementations() == 30) { + // benchmark 4_medium and 5_medium_hw + setPopulation_size(50000); + setIteration_size(50); + } + } else if (model.numComponents() == 31) { + if (model.numImplementations() == 62) { + // benchmark 3_small_sw + setPopulation_size(80); + setIteration_size(1); + } else if (model.numImplementations() == 155) { + // benchmark 6_medium_sw + setPopulation_size(50000); + setIteration_size(50); + } + } + stopWatch = StopWatch.start(); List<Solution> solutions = new ArrayList<>(); List<Solution> currentSolutions = new ArrayList<>();