Non-transitive dice: Difference between revisions
Content added Content deleted
(→{{header|F_Sharp|F#}}: Extra credit (6 sided die)) |
(Realize in MiniZinc) |
||
Line 470: | Line 470: | ||
</pre> |
</pre> |
||
=={{header|MiniZinc}}== |
|||
<lang MiniZinc> |
|||
%Non transitive dice. Nigel Galloway, September 14th., 2020 |
|||
int: die; int: faces; set of int: values; |
|||
predicate pN(array[1..faces] of var values: n, array[1..faces] of var values: g) = sum(i in 1..faces,j in 1..faces)(if n[i]<g[j] then 1 elseif n[i]>g[j] then -1 else 0 endif)>0; |
|||
predicate pG(array[1..faces] of var values: n) = forall(g in 1..faces-1)(n[g]<=n[g+1]); |
|||
array[1..die,1..faces] of var values: g; |
|||
constraint forall(n in 1..die)(pG(g[n,1..faces])); |
|||
constraint forall(n in 1..die-1)(pN(g[n,1..faces],g[n+1,1..faces])); |
|||
constraint pN(g[die,1..faces],g[1,1..faces]); |
|||
output[join(" ",[show(g[n,1..faces])++"<"++show(g[n+1,1..faces]) | n in 1..die-1])," "++show(g[die,1..faces])++">"++show(g[1,1..faces])]; |
|||
</lang> |
|||
===The task(4 sided die)=== |
|||
;3 die values=1..4 |
|||
<pre> |
|||
Compiling non_trans.mzn, additional arguments die=3; faces=4; values=1..4; |
|||
Running non_trans.mzn |
|||
[1, 1, 4, 4]<[2, 2, 2, 4] [2, 2, 2, 4]<[1, 3, 3, 3] [1, 3, 3, 3]>[1, 1, 4, 4] |
|||
---------- |
|||
[2, 2, 2, 4]<[1, 3, 3, 3] [1, 3, 3, 3]<[1, 1, 4, 4] [1, 1, 4, 4]>[2, 2, 2, 4] |
|||
---------- |
|||
[1, 3, 3, 3]<[1, 1, 4, 4] [1, 1, 4, 4]<[2, 2, 2, 4] [2, 2, 2, 4]>[1, 3, 3, 3] |
|||
---------- |
|||
========== |
|||
%%%mzn-stat: nodes=669 |
|||
%%%mzn-stat: failures=413 |
|||
%%%mzn-stat: restarts=0 |
|||
%%%mzn-stat: variables=746 |
|||
%%%mzn-stat: intVars=60 |
|||
%%%mzn-stat: boolVariables=684 |
|||
%%%mzn-stat: propagators=205 |
|||
%%%mzn-stat: propagations=35274 |
|||
%%%mzn-stat: peakDepth=49 |
|||
%%%mzn-stat: nogoods=413 |
|||
%%%mzn-stat: backjumps=256 |
|||
%%%mzn-stat: peakMem=0.00 |
|||
%%%mzn-stat: time=0.011 |
|||
%%%mzn-stat: initTime=0.004 |
|||
%%%mzn-stat: solveTime=0.007 |
|||
%%%mzn-stat: baseMem=0.00 |
|||
%%%mzn-stat: trailMem=0.00 |
|||
%%%mzn-stat: randomSeed=1599951884 |
|||
Finished in 174msec |
|||
</pre> |
|||
;4 die values=1..4 |
|||
<pre> |
|||
Compiling non_trans.mzn, additional arguments die=4; faces=4; values=1..4; |
|||
Running non_trans.mzn |
|||
[1, 1, 4, 4]<[2, 2, 2, 4] [2, 2, 2, 4]<[2, 2, 3, 3] [2, 2, 3, 3]<[1, 3, 3, 3] [1, 3, 3, 3]>[1, 1, 4, 4] |
|||
---------- |
|||
[2, 2, 2, 4]<[2, 2, 3, 3] [2, 2, 3, 3]<[1, 3, 3, 3] [1, 3, 3, 3]<[1, 1, 4, 4] [1, 1, 4, 4]>[2, 2, 2, 4] |
|||
---------- |
|||
[1, 3, 3, 3]<[1, 1, 4, 4] [1, 1, 4, 4]<[2, 2, 2, 4] [2, 2, 2, 4]<[2, 2, 3, 3] [2, 2, 3, 3]>[1, 3, 3, 3] |
|||
---------- |
|||
[2, 2, 3, 3]<[1, 3, 3, 3] [1, 3, 3, 3]<[1, 1, 4, 4] [1, 1, 4, 4]<[2, 2, 2, 4] [2, 2, 2, 4]>[2, 2, 3, 3] |
|||
---------- |
|||
========== |
|||
%%%mzn-stat: nodes=1573 |
|||
%%%mzn-stat: failures=856 |
|||
%%%mzn-stat: restarts=0 |
|||
%%%mzn-stat: variables=994 |
|||
%%%mzn-stat: intVars=80 |
|||
%%%mzn-stat: boolVariables=912 |
|||
%%%mzn-stat: propagators=273 |
|||
%%%mzn-stat: propagations=85224 |
|||
%%%mzn-stat: peakDepth=65 |
|||
%%%mzn-stat: nogoods=856 |
|||
%%%mzn-stat: backjumps=717 |
|||
%%%mzn-stat: peakMem=0.00 |
|||
%%%mzn-stat: time=0.022 |
|||
%%%mzn-stat: initTime=0.007 |
|||
%%%mzn-stat: solveTime=0.015 |
|||
%%%mzn-stat: baseMem=0.00 |
|||
%%%mzn-stat: trailMem=0.01 |
|||
%%%mzn-stat: randomSeed=1599951808 |
|||
Finished in 190msec |
|||
</pre> |
|||
===Extra Credt(6 sided die)=== |
|||
;3 die values=1..6 |
|||
<pre> |
|||
Compiling non_trans.mzn, additional arguments die=3; faces=6; values=1..6; |
|||
Running non_trans.mzn |
|||
[3, 3, 4, 6, 6, 6]<[5, 5, 5, 5, 5, 6] [5, 5, 5, 5, 5, 6]<[2, 3, 5, 6, 6, 6] [2, 3, 5, 6, 6, 6]>[3, 3, 4, 6, 6, 6] |
|||
---------- |
|||
[3, 3, 4, 6, 6, 6]<[5, 5, 5, 5, 5, 6] [5, 5, 5, 5, 5, 6]<[1, 3, 5, 6, 6, 6] [1, 3, 5, 6, 6, 6]>[3, 3, 4, 6, 6, 6] |
|||
---------- |
|||
[2, 2, 4, 6, 6, 6]<[5, 5, 5, 5, 5, 6] [5, 5, 5, 5, 5, 6]<[1, 2, 5, 6, 6, 6] [1, 2, 5, 6, 6, 6]>[2, 2, 4, 6, 6, 6] |
|||
---------- |
|||
[2, 2, 3, 6, 6, 6]<[5, 5, 5, 5, 5, 6] [5, 5, 5, 5, 5, 6]<[1, 2, 5, 6, 6, 6] [1, 2, 5, 6, 6, 6]>[2, 2, 3, 6, 6, 6] |
|||
---------- |
|||
[3, 4, 4, 6, 6, 6]<[5, 5, 5, 5, 5, 6] [5, 5, 5, 5, 5, 6]<[1, 3, 5, 6, 6, 6] [1, 3, 5, 6, 6, 6]>[3, 4, 4, 6, 6, 6] |
|||
---------- |
|||
[3, 4, 4, 6, 6, 6]<[5, 5, 5, 5, 5, 6] [5, 5, 5, 5, 5, 6]<[2, 3, 5, 6, 6, 6] [2, 3, 5, 6, 6, 6]>[3, 4, 4, 6, 6, 6] |
|||
---------- |
|||
[3, 4, 4, 6, 6, 6]<[5, 5, 5, 5, 5, 6] [5, 5, 5, 5, 5, 6]<[3, 3, 5, 6, 6, 6] [3, 3, 5, 6, 6, 6]>[3, 4, 4, 6, 6, 6] |
|||
---------- |
|||
[2, 4, 4, 6, 6, 6]<[5, 5, 5, 5, 5, 6] [5, 5, 5, 5, 5, 6]<[1, 2, 5, 6, 6, 6] [1, 2, 5, 6, 6, 6]>[2, 4, 4, 6, 6, 6] |
|||
---------- |
|||
[1, 4, 4, 6, 6, 6]<[5, 5, 5, 5, 5, 6] [5, 5, 5, 5, 5, 6]<[1, 1, 5, 6, 6, 6] [1, 1, 5, 6, 6, 6]>[1, 4, 4, 6, 6, 6] |
|||
---------- |
|||
[2, 4, 4, 6, 6, 6]<[5, 5, 5, 5, 5, 6] [5, 5, 5, 5, 5, 6]<[2, 2, 5, 6, 6, 6] [2, 2, 5, 6, 6, 6]>[2, 4, 4, 6, 6, 6] |
|||
---------- |
|||
[2, 3, 4, 6, 6, 6]<[5, 5, 5, 5, 5, 6] [5, 5, 5, 5, 5, 6]<[1, 2, 5, 6, 6, 6] [1, 2, 5, 6, 6, 6]>[2, 3, 4, 6, 6, 6] |
|||
---------- |
|||
[ 9 more solutions ] |
|||
[4, 4, 4, 6, 6, 6]<[5, 5, 5, 5, 5, 6] [5, 5, 5, 5, 5, 6]<[1, 2, 5, 6, 6, 6] [1, 2, 5, 6, 6, 6]>[4, 4, 4, 6, 6, 6] |
|||
---------- |
|||
[ 19 more solutions ] |
|||
[2, 4, 4, 6, 6, 6]<[5, 5, 5, 5, 5, 6] [5, 5, 5, 5, 5, 6]<[1, 3, 5, 6, 6, 6] [1, 3, 5, 6, 6, 6]>[2, 4, 4, 6, 6, 6] |
|||
---------- |
|||
[ 39 more solutions ] |
|||
[1, 5, 5, 5, 5, 6]<[1, 2, 2, 6, 6, 6] [1, 2, 2, 6, 6, 6]<[3, 4, 5, 5, 5, 6] [3, 4, 5, 5, 5, 6]>[1, 5, 5, 5, 5, 6] |
|||
---------- |
|||
[ 79 more solutions ] |
|||
[1, 2, 5, 6, 6, 6]<[2, 3, 3, 6, 6, 6] [2, 3, 3, 6, 6, 6]<[5, 5, 5, 5, 5, 6] [5, 5, 5, 5, 5, 6]>[1, 2, 5, 6, 6, 6] |
|||
---------- |
|||
[ 159 more solutions ] |
|||
[1, 1, 5, 5, 5, 6]<[2, 3, 3, 4, 6, 6] [2, 3, 3, 4, 6, 6]<[1, 4, 5, 5, 5, 5] [1, 4, 5, 5, 5, 5]>[1, 1, 5, 5, 5, 6] |
|||
---------- |
|||
[ 319 more solutions ] |
|||
[2, 2, 4, 4, 6, 6]<[4, 4, 4, 4, 4, 6] [4, 4, 4, 4, 4, 6]<[1, 2, 5, 5, 5, 5] [1, 2, 5, 5, 5, 5]>[2, 2, 4, 4, 6, 6] |
|||
---------- |
|||
[ 639 more solutions ] |
|||
[1, 2, 2, 2, 6, 6]<[2, 3, 3, 3, 3, 5] [2, 3, 3, 3, 3, 5]<[1, 1, 5, 5, 5, 5] [1, 1, 5, 5, 5, 5]>[1, 2, 2, 2, 6, 6] |
|||
---------- |
|||
[ 1279 more solutions ] |
|||
[1, 1, 2, 6, 6, 6]<[2, 3, 4, 5, 5, 6] [2, 3, 4, 5, 5, 6]<[1, 4, 5, 5, 5, 5] [1, 4, 5, 5, 5, 5]>[1, 1, 2, 6, 6, 6] |
|||
---------- |
|||
[ 2559 more solutions ] |
|||
[1, 1, 2, 6, 6, 6]<[3, 4, 4, 5, 5, 6] [3, 4, 4, 5, 5, 6]<[2, 5, 5, 5, 5, 5] [2, 5, 5, 5, 5, 5]>[1, 1, 2, 6, 6, 6] |
|||
---------- |
|||
[ 5119 more solutions ] |
|||
[3, 4, 4, 4, 4, 6]<[1, 3, 5, 5, 5, 5] [1, 3, 5, 5, 5, 5]<[2, 2, 2, 6, 6, 6] [2, 2, 2, 6, 6, 6]>[3, 4, 4, 4, 4, 6] |
|||
---------- |
|||
[ 10239 more solutions ] |
|||
[3, 3, 3, 3, 4, 5]<[1, 3, 3, 4, 4, 5] [1, 3, 3, 4, 4, 5]<[2, 2, 2, 5, 5, 6] [2, 2, 2, 5, 5, 6]>[3, 3, 3, 3, 4, 5] |
|||
---------- |
|||
[ 20479 more solutions ] |
|||
[2, 2, 3, 3, 3, 6]<[1, 1, 4, 4, 4, 5] [1, 1, 4, 4, 4, 5]<[1, 1, 1, 5, 5, 5] [1, 1, 1, 5, 5, 5]>[2, 2, 3, 3, 3, 6] |
|||
---------- |
|||
[ 40959 more solutions ] |
|||
[1, 1, 3, 3, 4, 4]<[1, 1, 1, 4, 6, 6] [1, 1, 1, 4, 6, 6]<[1, 2, 2, 3, 3, 6] [1, 2, 2, 3, 3, 6]>[1, 1, 3, 3, 4, 4] |
|||
---------- |
|||
[ 40076 more solutions ] |
|||
[2, 2, 2, 4, 5, 5]<[3, 3, 3, 3, 3, 4] [3, 3, 3, 3, 3, 4]<[2, 3, 3, 3, 4, 4] [2, 3, 3, 3, 4, 4]>[2, 2, 2, 4, 5, 5] |
|||
---------- |
|||
========== |
|||
%%%mzn-stat: nodes=203916 |
|||
%%%mzn-stat: failures=185337 |
|||
%%%mzn-stat: restarts=0 |
|||
%%%mzn-stat: variables=1658 |
|||
%%%mzn-stat: intVars=126 |
|||
%%%mzn-stat: boolVariables=1530 |
|||
%%%mzn-stat: propagators=451 |
|||
%%%mzn-stat: propagations=8595895 |
|||
%%%mzn-stat: peakDepth=109 |
|||
%%%mzn-stat: nogoods=185337 |
|||
%%%mzn-stat: backjumps=18579 |
|||
%%%mzn-stat: peakMem=0.00 |
|||
%%%mzn-stat: time=11.444 |
|||
%%%mzn-stat: initTime=0.010 |
|||
%%%mzn-stat: solveTime=11.434 |
|||
%%%mzn-stat: baseMem=0.00 |
|||
%%%mzn-stat: trailMem=0.01 |
|||
%%%mzn-stat: randomSeed=1599951938 |
|||
Finished in 12s 600msec |
|||
</pre> |
|||
;3 die values=1..7 |
|||
<pre> |
|||
Compiling non_trans.mzn, additional arguments die=3; faces=6; values=1..7; |
|||
Running non_trans.mzn |
|||
[4, 4, 6, 7, 7, 7]<[4, 5, 5, 7, 7, 7] [4, 5, 5, 7, 7, 7]<[6, 6, 6, 6, 6, 7] [6, 6, 6, 6, 6, 7]>[4, 4, 6, 7, 7, 7] |
|||
---------- |
|||
[3, 4, 6, 7, 7, 7]<[4, 5, 5, 7, 7, 7] [4, 5, 5, 7, 7, 7]<[6, 6, 6, 6, 6, 7] [6, 6, 6, 6, 6, 7]>[3, 4, 6, 7, 7, 7] |
|||
---------- |
|||
[3, 3, 6, 7, 7, 7]<[3, 5, 5, 7, 7, 7] [3, 5, 5, 7, 7, 7]<[6, 6, 6, 6, 6, 7] [6, 6, 6, 6, 6, 7]>[3, 3, 6, 7, 7, 7] |
|||
---------- |
|||
[3, 3, 6, 7, 7, 7]<[3, 4, 5, 7, 7, 7] [3, 4, 5, 7, 7, 7]<[6, 6, 6, 6, 6, 7] [6, 6, 6, 6, 6, 7]>[3, 3, 6, 7, 7, 7] |
|||
---------- |
|||
[3, 3, 6, 7, 7, 7]<[3, 4, 4, 7, 7, 7] [3, 4, 4, 7, 7, 7]<[6, 6, 6, 6, 6, 7] [6, 6, 6, 6, 6, 7]>[3, 3, 6, 7, 7, 7] |
|||
---------- |
|||
[2, 3, 6, 7, 7, 7]<[3, 5, 5, 7, 7, 7] [3, 5, 5, 7, 7, 7]<[6, 6, 6, 6, 6, 7] [6, 6, 6, 6, 6, 7]>[2, 3, 6, 7, 7, 7] |
|||
---------- |
|||
[2, 4, 6, 7, 7, 7]<[4, 5, 5, 7, 7, 7] [4, 5, 5, 7, 7, 7]<[6, 6, 6, 6, 6, 7] [6, 6, 6, 6, 6, 7]>[2, 4, 6, 7, 7, 7] |
|||
---------- |
|||
[2, 2, 6, 7, 7, 7]<[2, 5, 5, 7, 7, 7] [2, 5, 5, 7, 7, 7]<[6, 6, 6, 6, 6, 7] [6, 6, 6, 6, 6, 7]>[2, 2, 6, 7, 7, 7] |
|||
---------- |
|||
[2, 3, 6, 7, 7, 7]<[3, 4, 5, 7, 7, 7] [3, 4, 5, 7, 7, 7]<[6, 6, 6, 6, 6, 7] [6, 6, 6, 6, 6, 7]>[2, 3, 6, 7, 7, 7] |
|||
---------- |
|||
[2, 2, 6, 7, 7, 7]<[2, 4, 5, 7, 7, 7] [2, 4, 5, 7, 7, 7]<[6, 6, 6, 6, 6, 7] [6, 6, 6, 6, 6, 7]>[2, 2, 6, 7, 7, 7] |
|||
---------- |
|||
[2, 3, 6, 7, 7, 7]<[3, 4, 4, 7, 7, 7] [3, 4, 4, 7, 7, 7]<[6, 6, 6, 6, 6, 7] [6, 6, 6, 6, 6, 7]>[2, 3, 6, 7, 7, 7] |
|||
---------- |
|||
[ 9 more solutions ] |
|||
[1, 2, 6, 7, 7, 7]<[2, 3, 5, 7, 7, 7] [2, 3, 5, 7, 7, 7]<[6, 6, 6, 6, 6, 7] [6, 6, 6, 6, 6, 7]>[1, 2, 6, 7, 7, 7] |
|||
---------- |
|||
[ 19 more solutions ] |
|||
[1, 1, 6, 7, 7, 7]<[2, 5, 5, 7, 7, 7] [2, 5, 5, 7, 7, 7]<[6, 6, 6, 6, 6, 7] [6, 6, 6, 6, 6, 7]>[1, 1, 6, 7, 7, 7] |
|||
---------- |
|||
[ 39 more solutions ] |
|||
[2, 2, 6, 7, 7, 7]<[4, 5, 5, 7, 7, 7] [4, 5, 5, 7, 7, 7]<[6, 6, 6, 6, 6, 7] [6, 6, 6, 6, 6, 7]>[2, 2, 6, 7, 7, 7] |
|||
---------- |
|||
[ 79 more solutions ] |
|||
[5, 5, 5, 6, 7, 7]<[1, 6, 6, 6, 6, 7] [1, 6, 6, 6, 6, 7]<[1, 2, 6, 6, 7, 7] [1, 2, 6, 6, 7, 7]>[5, 5, 5, 6, 7, 7] |
|||
---------- |
|||
[ 159 more solutions ] |
|||
[1, 1, 6, 6, 6, 7]<[3, 3, 3, 4, 7, 7] [3, 3, 3, 4, 7, 7]<[1, 4, 6, 6, 6, 6] [1, 4, 6, 6, 6, 6]>[1, 1, 6, 6, 6, 7] |
|||
---------- |
|||
[ 319 more solutions ] |
|||
[3, 3, 4, 6, 6, 7]<[4, 4, 5, 5, 5, 7] [4, 4, 5, 5, 5, 7]<[1, 2, 6, 6, 6, 7] [1, 2, 6, 6, 6, 7]>[3, 3, 4, 6, 6, 7] |
|||
---------- |
|||
[ 639 more solutions ] |
|||
[2, 2, 2, 6, 6, 7]<[5, 5, 5, 5, 5, 7] [5, 5, 5, 5, 5, 7]<[1, 2, 6, 6, 6, 6] [1, 2, 6, 6, 6, 6]>[2, 2, 2, 6, 6, 7] |
|||
---------- |
|||
[ 1279 more solutions ] |
|||
[1, 2, 2, 6, 7, 7]<[4, 5, 5, 5, 5, 7] [4, 5, 5, 5, 5, 7]<[1, 1, 6, 6, 6, 6] [1, 1, 6, 6, 6, 6]>[1, 2, 2, 6, 7, 7] |
|||
---------- |
|||
[ 2559 more solutions ] |
|||
[3, 3, 3, 6, 7, 7]<[3, 4, 5, 5, 7, 7] [3, 4, 5, 5, 7, 7]<[2, 6, 6, 6, 6, 6] [2, 6, 6, 6, 6, 6]>[3, 3, 3, 6, 7, 7] |
|||
---------- |
|||
[ 5119 more solutions ] |
|||
[4, 4, 4, 5, 7, 7]<[5, 5, 5, 5, 5, 7] [5, 5, 5, 5, 5, 7]<[3, 4, 6, 6, 6, 6] [3, 4, 6, 6, 6, 6]>[4, 4, 4, 5, 7, 7] |
|||
---------- |
|||
[ 10239 more solutions ] |
|||
[3, 4, 5, 5, 7, 7]<[5, 5, 5, 5, 5, 6] [5, 5, 5, 5, 5, 6]<[2, 2, 6, 6, 6, 6] [2, 2, 6, 6, 6, 6]>[3, 4, 5, 5, 7, 7] |
|||
---------- |
|||
[ 20479 more solutions ] |
|||
[1, 3, 3, 3, 7, 7]<[2, 4, 4, 5, 5, 6] [2, 4, 4, 5, 5, 6]<[1, 2, 4, 6, 6, 6] [1, 2, 4, 6, 6, 6]>[1, 3, 3, 3, 7, 7] |
|||
---------- |
|||
[ 40959 more solutions ] |
|||
[2, 3, 4, 4, 7, 7]<[3, 4, 4, 5, 5, 5] [3, 4, 4, 5, 5, 5]<[1, 1, 4, 5, 6, 7] [1, 1, 4, 5, 6, 7]>[2, 3, 4, 4, 7, 7] |
|||
---------- |
|||
[ 81919 more solutions ] |
|||
[2, 2, 2, 2, 7, 7]<[1, 3, 3, 3, 3, 5] [1, 3, 3, 3, 3, 5]<[1, 2, 2, 4, 6, 6] [1, 2, 2, 4, 6, 6]>[2, 2, 2, 2, 7, 7] |
|||
---------- |
|||
[ 163839 more solutions ] |
|||
[1, 1, 2, 7, 7, 7]<[2, 3, 4, 5, 5, 7] [2, 3, 4, 5, 5, 7]<[2, 3, 5, 5, 6, 6] [2, 3, 5, 5, 6, 6]>[1, 1, 2, 7, 7, 7] |
|||
---------- |
|||
[ 327679 more solutions ] |
|||
[1, 1, 4, 6, 7, 7]<[2, 2, 3, 5, 7, 7] [2, 2, 3, 5, 7, 7]<[3, 4, 4, 4, 5, 7] [3, 4, 4, 4, 5, 7]>[1, 1, 4, 6, 7, 7] |
|||
---------- |
|||
[ 613827 more solutions ] |
|||
[3, 3, 3, 4, 4, 5]<[2, 2, 3, 5, 6, 6] [2, 2, 3, 5, 6, 6]<[2, 2, 2, 5, 7, 7] [2, 2, 2, 5, 7, 7]>[3, 3, 3, 4, 4, 5] |
|||
---------- |
|||
========== |
|||
%%%mzn-stat: nodes=1659193 |
|||
%%%mzn-stat: failures=1573389 |
|||
%%%mzn-stat: restarts=0 |
|||
%%%mzn-stat: variables=1694 |
|||
%%%mzn-stat: intVars=126 |
|||
%%%mzn-stat: boolVariables=1566 |
|||
%%%mzn-stat: propagators=451 |
|||
%%%mzn-stat: propagations=54691502 |
|||
%%%mzn-stat: peakDepth=109 |
|||
%%%mzn-stat: nogoods=1573389 |
|||
%%%mzn-stat: backjumps=85804 |
|||
%%%mzn-stat: peakMem=0.00 |
|||
%%%mzn-stat: time=128.215 |
|||
%%%mzn-stat: initTime=0.010 |
|||
%%%mzn-stat: solveTime=128.205 |
|||
%%%mzn-stat: baseMem=0.00 |
|||
%%%mzn-stat: trailMem=0.01 |
|||
%%%mzn-stat: randomSeed=1599952012 |
|||
Finished in 2m 9s |
|||
</pre> |
|||
=={{header|Phix}}== |
=={{header|Phix}}== |
||
Requires 0.8.2+ (added sq_cmp() builtin that returns nested -1/0/+1 compare() results, just like the existing sq_eq() does for equal().) |
Requires 0.8.2+ (added sq_cmp() builtin that returns nested -1/0/+1 compare() results, just like the existing sq_eq() does for equal().) |