| Name | csp/magicSquare/ normalized-magicSquare-6_glb.xml |
| MD5SUM | a959366b31290b0d2733a5a45c43baf0 |
| Bench Category | GLOBAL (global constraints) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 0.079987 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 36 |
| Number of constraints | 15 |
| Maximum constraint arity | 36 |
| Maximum domain size | 36 |
| 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(14) |
| Solver Name | TraceID | Answer | CPU time | Wall clock time |
|---|---|---|---|---|
| Mistral-option 1.314 | 1039884 | SAT | 0.079987 | 0.0849089 |
| Mistral-prime 1.313 | 1039885 | SAT | 0.298954 | 0.306376 |
| choco2_impwdeg 2008-06-26 | 1039882 | SAT | 0.726888 | 0.84183 |
| choco2_dwdeg 2008-06-26 | 1039883 | SAT | 0.78388 | 0.735412 |
| Abscon 112v4 AC | 1044382 | SAT | 1.69274 | 1.72768 |
| MDG-noprobe 2008-06-27 | 1039877 | SAT | 1.71474 | 1.72632 |
| Abscon 112v4 ESAC | 1045011 | SAT | 1.78573 | 1.82343 |
| Sugar v1.13+minisat | 1039880 | SAT | 2.71159 | 2.86639 |
| cpHydra k_40 | 1046269 | SAT | 7.32289 | 7.49248 |
| Sugar v1.13+picosat | 1039879 | SAT | 7.44487 | 7.59132 |
| cpHydra k_10 | 1045640 | SAT | 7.84781 | 7.98235 |
| casper zao | 1043124 | SAT | 10.7984 | 10.8424 |
| casper zito | 1043753 | SAT | 16.9474 | 17.2105 |
| MDG-probe 2008-06-27 | 1039876 | SAT | 259.053 | 260.206 |
| bpsolver 2008-06-27 | 1039881 | SAT | 1799.65 | 1800.35 |
| SAT4J CSP 2008-06-13 | 1039878 | ? | 0.666898 | 0.73375 |
| Minion/Tailor 2008-07-04 | 1104452 | ? (TO) | 1800.07 | 1813.41 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:4 26 32 8 28 13 36 21 9 29 5 11 17 6 33 24 19 12 27 23 10 3 30 18 2 34 7 31 15 22 25 1 20 16 14 35