Add files via upload

MatthiasNickles · web-flow · commit 59ec61f0c8cc · 2021-01-02T15:45:15.000Z
diff --git a/src/main/scala/solving/SolverMulti.scala b/src/main/scala/solving/SolverMulti.scala
@@ -81,7 +81,7 @@ class SolverMulti(prep: Preparation) {
     1
   else
     Math.ceil(Runtime.getRuntime().availableProcessors() / (if (abandonOrSwitchSlowThreads != 0 && abandonOrSwitchSlowThreads != 4)
-      1.4d else 1.6d))).toInt
+      1.4d else 2d/*1.6d*/))).toInt.min(upperLimitAutoSolverThreads)
   else
     maxSolverThreadsR).max(1)
 

Original file line number	Diff line number	Diff line change
`@@ -81,7 +81,7 @@ class SolverMulti(prep: Preparation) {`
`81`	`81`	`1`
`82`	`82`	`else`
`83`	`83`	`Math.ceil(Runtime.getRuntime().availableProcessors() / (if (abandonOrSwitchSlowThreads != 0 && abandonOrSwitchSlowThreads != 4)`
`84`		`- 1.4d else 1.6d))).toInt`
	`84`	`+ 1.4d else 2d/1.6d/))).toInt.min(upperLimitAutoSolverThreads)`
`85`	`85`	`else`
`86`	`86`	`maxSolverThreadsR).max(1)`
`87`	`87`