From 97a4dbb0bb5fcd167b3c827bdacfa6680dfd6311 Mon Sep 17 00:00:00 2001 From: Antonius Weinzierl Date: Thu, 11 Apr 2019 00:14:38 +0200 Subject: [PATCH] Make VSIDS the default branching heuristic. --- src/main/java/at/ac/tuwien/kr/alpha/config/SystemConfig.java | 2 +- 1 file changed, 1 insertion(+), 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 index 3a86a83c4..be2d46d39 100644 --- 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;