From 20cfffdff5462f335e8cee379e9c8d5f5ac61857 Mon Sep 17 00:00:00 2001 From: Markus Triska Date: Tue, 15 Aug 2023 21:38:56 +0200 Subject: [PATCH] update answers --- src/lib/clpz.pl | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/lib/clpz.pl b/src/lib/clpz.pl index 1c8d0c02..bf3c289c 100644 --- a/src/lib/clpz.pl +++ b/src/lib/clpz.pl @@ -838,12 +838,12 @@ Using suitable labeling strategies, we can easily find solutions with ``` ?- n_queens(80, Qs), labeling([ff], Qs). - Qs = [1,3,5,44,42,4,50,7,68,57,76,61,6,39,30,40,8,54,36,41,...] + Qs = [1,3,5,44,42,4,50,7,68,57,76,61,6,39,30,40,8,54,36,41|...] ; ... . ?- time((n_queens(90, Qs), labeling([ff], Qs))). - % CPU time: 31.351s - Qs = [1,3,5,50,42,4,49,7,59,48,46,63,6,55,47,64,8,70,58,67,...] + % CPU time: 2.382s + Qs = [1,3,5,50,42,4,49,7,59,48,46,63,6,55,47,64,8,70,58,67|...] ; ... . ``` -- 2.54.0