Name | csp/magicSquare/ normalized-magicSquare-7_glb.xml |
MD5SUM | 6980c95d4c91084c676ad0d38b381f86 |
Bench Category | Alldiff+Elt+WSum (alldiff,element,weightedsum) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 0.103983 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 49 |
Number of constraints | 17 |
Maximum constraint arity | 49 |
Maximum domain size | 49 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 0 |
Global constraints used (with number of constraints) | alldifferent(1),weightedsum(16) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Mistral 1.545 (complete) | 2060227 | SAT | 0.103983 | 0.114871 |
Choco2.1.1 2009-06-10 (complete) | 2060223 | SAT | 0.800878 | 0.843104 |
Choco2.1.1b 2009-07-16 (complete) | 2114711 | SAT | 0.869867 | 0.787365 |
Abscon 112v4 AC (complete) | 2093599 | SAT | 13.6699 | 13.8593 |
Sugar v1.14.6+picosat (complete) | 2060224 | SAT | 18.8301 | 18.8159 |
Sugar v1.14.6+minisat (complete) | 2060225 | SAT | 50.3144 | 51.0658 |
bpsolver 09 (complete) | 2060228 | SAT | 894.18 | 900.182 |
Abscon 112v4 ESAC (complete) | 2093600 | ? (TO) | 1800.08 | 1803.64 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:14 23 39 7 18 29 45 36 15 34 11 16 20 43 47 25 2 48 49 3 1 22 33 26 46 9 31 8 30 41 4 13 37 40 10 21 6 42 38 27 17 24 5 32 28 12 19 35 44