From de6422218facb2a3c25c23e60d91a2464d7b2a83 Mon Sep 17 00:00:00 2001 From: Ian Jackson Date: Sun, 9 Mar 2014 13:18:09 +0000 Subject: [PATCH] move minham check earlier; this avoids some printing etc apparent speedup of -j4 9 7 on zealot is about 10% --- main.c | 11 ++++------- 1 file changed, 4 insertions(+), 7 deletions(-) diff --git a/main.c b/main.c index 97b4bbb..c5a4991 100644 --- a/main.c +++ b/main.c @@ -458,13 +458,6 @@ static void optimise(bool doprint) { if (!ok) goto out; - for (j=0; j= n) { + for (j=0; j