Name | csp/magicSquare/ normalized-magicSquare-10_glb.xml |
MD5SUM | 8bce133ddb71db1f40340916746927bb |
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.696893 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 100 |
Number of constraints | 23 |
Maximum constraint arity | 100 |
Maximum domain size | 100 |
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(22) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Mistral 1.545 (complete) | 2060205 | SAT | 0.696893 | 0.70344 |
Choco2.1.1 2009-06-10 (complete) | 2060201 | SAT | 3.2835 | 3.39522 |
Choco2.1.1b 2009-07-16 (complete) | 2114709 | SAT | 8.47871 | 8.61876 |
Sugar v1.14.6+picosat (complete) | 2060202 | SAT | 227.851 | 631.29 |
Sugar v1.14.6+minisat (complete) | 2060203 | SAT | 477.032 | 482.289 |
bpsolver 09 (complete) | 2060206 | SAT | 893.78 | 901.483 |
Abscon 112v4 ESAC (complete) | 2093596 | ? (TO) | 1800.09 | 1803.06 |
Abscon 112v4 AC (complete) | 2093595 | ? (TO) | 1800.09 | 1813.34 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:6 19 15 92 20 93 94 63 18 85 96 97 4 99 5 100 98 3 2 1 84 79 16 83 80 11 17 36 72 27 47 41 75 9 53 76 48 45 51 60 32 37 56 21 88 87 82 35 34 33 73 69 77 10 38 8 22 70 64 74 54 40 71 81 61 14 7 62 49 66 44 42 58 57 65 13 26 95 59 46 30 31 55 29 43 91 86 28 89 23 39 50 78 24 52 12 25 68 67 90