Merge pull request #184 from alpha-asp/vsids_default

Make VSIDS the default branching heuristic.
alpha-asp · Apr 15, 2019 · b032e29 · b032e29
2 parents 60df2bf + 97a4dbb
commit b032e29
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/main/java/at/ac/tuwien/kr/alpha/config/SystemConfig.java b/src/main/java/at/ac/tuwien/kr/alpha/config/SystemConfig.java
@@ -39,7 +39,7 @@ public class SystemConfig {
 	public static final String DEFAULT_GROUNDER_NAME = "naive";
 	public static final String DEFAULT_SOLVER_NAME = "default";
 	public static final String DEFAULT_NOGOOD_STORE_NAME = "alphaRoaming";
-	public static final Heuristic DEFAULT_BRANCHING_HEURISTIC = Heuristic.NAIVE;
+	public static final Heuristic DEFAULT_BRANCHING_HEURISTIC = Heuristic.VSIDS;
 	public static final BinaryNoGoodPropagationEstimation.Strategy DEFAULT_MOMS_STRATEGY = BinaryNoGoodPropagationEstimation.Strategy.CountBinaryWatches;
 	public static final long DEFAULT_SEED = System.nanoTime();
 	public static final boolean DEFAULT_DETERMINISTIC = false;