optimization: DNF threshold set to 15 according to first benchmarks

pmbittner · pmbittner · commit a795744c7a1e · 2023-04-19T19:05:35.000+02:00
diff --git a/src/main/java/org/variantsync/diffdetective/analysis/logic/SAT.java b/src/main/java/org/variantsync/diffdetective/analysis/logic/SAT.java
@@ -80,7 +80,7 @@ public static boolean isSatisfiable(FixTrueFalse.Formula formula) {
 
         final int numLiterals = FormulaUtils.numberOfLiterals(formula.get());
 
-        if (numLiterals < 10) {
+        if (numLiterals < 15) {
             return checkSATviaDNF(formula);
         }
 

Original file line number	Diff line number	Diff line change
`@@ -80,7 +80,7 @@ public static boolean isSatisfiable(FixTrueFalse.Formula formula) {`
`80`	`80`
`81`	`81`	`final int numLiterals = FormulaUtils.numberOfLiterals(formula.get());`
`82`	`82`
`83`		`- if (numLiterals < 10) {`
	`83`	`+ if (numLiterals < 15) {`
`84`	`84`	`return checkSATviaDNF(formula);`
`85`	`85`	`}`
`86`	`86`