Name | csp/magicSquare/ normalized-magicSquare-11_glb.xml |
MD5SUM | c0c13fb85226e4e49c1e2f15160794cf |
Bench Category | GLOBAL (global constraints) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 11.8232 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 121 |
Number of constraints | 25 |
Maximum constraint arity | 121 |
Maximum domain size | 121 |
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(24) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
casper zao | 1043128 | SAT | 11.8232 | 11.9342 |
choco2_impwdeg 2008-06-26 | 1039922 | SAT | 11.8942 | 11.9766 |
casper zito | 1043757 | SAT | 17.9513 | 18.3146 |
Mistral-option 1.314 | 1039924 | SAT | 18.7132 | 18.8151 |
bpsolver 2008-06-27 | 1039921 | SAT | 902.69 | 903.36 |
SAT4J CSP 2008-06-13 | 1039918 | ? | 1.02984 | 1.0826 |
Sugar v1.13+minisat | 1039920 | ? (MO) | 79.22 | 81.8582 |
Sugar v1.13+picosat | 1039919 | ? (MO) | 287.98 | 291.649 |
MDG-noprobe 2008-06-27 | 1039917 | ? (TO) | 1800.01 | 1804.61 |
cpHydra k_40 | 1046273 | ? (TO) | 1800.04 | 1800.74 |
MDG-probe 2008-06-27 | 1039916 | ? (TO) | 1800.04 | 1813.71 |
Minion/Tailor 2008-07-04 | 1104456 | ? (TO) | 1800.05 | 1806.01 |
Mistral-prime 1.313 | 1039925 | ? (TO) | 1800.06 | 1807.11 |
cpHydra k_10 | 1045644 | ? (TO) | 1800.09 | 1807.83 |
choco2_dwdeg 2008-06-26 | 1039923 | ? (TO) | 1800.09 | 1807.57 |
Abscon 112v4 AC | 1044386 | ? (TO) | 1800.13 | 1828.37 |
Abscon 112v4 ESAC | 1045015 | ? (TO) | 1800.14 | 1800.97 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:101 20 39 94 110 37 118 19 7 23 103 33 112 17 74 113 82 1 89 16 121 13 116 81 115 6 28 48 95 21 106 46 9 76 91 14 43 2 42 55 27 119 104 98 108 53 75 54 72 107 87 49 24 31 11 73 71 84 25 68 40 70 105 96 29 10 5 85 47 78 4 26 62 111 93 77 83 12 18 88 34 58 90 52 38 79 100 102 35 65 32 114 66 41 60 45 36 57 120 3 8 97 80 86 59 56 117 51 22 92 109 67 63 69 64 99 15 50 44 61 30