From dab121c6847504ae1154ee164f274ea5bf5ecc34 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Patrick=20L=C3=BChne?= Date: Thu, 28 May 2020 18:41:47 +0200 Subject: [PATCH] Use 4 cores by default (to be improved) --- src/problem.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/problem.rs b/src/problem.rs index 353b1f2..89a370a 100644 --- a/src/problem.rs +++ b/src/problem.rs @@ -343,7 +343,7 @@ impl Problem // TODO: make configurable again let (proof_result, proof_time_seconds) = run_vampire(&tptp_problem_to_prove_next_statement, - Some(&["--mode", "casc", "--cores", "8", "--time_limit", "300"]))?; + Some(&["--mode", "casc", "--cores", "4", "--time_limit", "300"]))?; match self.next_unproven_statement_do_mut( |statement| -> Result<(), crate::Error>