Name | csp/magicSquare/ normalized-magicSquare-7_glb.xml |
MD5SUM | 6980c95d4c91084c676ad0d38b381f86 |
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.025995 |
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-prime 1.313 | 1039965 | SAT | 0.025995 | 0.0324449 |
Mistral-option 1.314 | 1039964 | SAT | 0.208968 | 0.213555 |
Minion/Tailor 2008-07-04 | 1104460 | SAT | 0.424935 | 0.514169 |
choco2_impwdeg 2008-06-26 | 1039962 | SAT | 1.3188 | 1.36029 |
Sugar v1.13+minisat | 1039960 | SAT | 7.1949 | 7.34599 |
cpHydra k_10 | 1045648 | SAT | 7.60384 | 7.75492 |
cpHydra k_40 | 1046277 | SAT | 7.61384 | 7.82109 |
casper zao | 1043132 | SAT | 11.6052 | 11.6736 |
Abscon 112v4 AC | 1044390 | SAT | 13.7839 | 13.8947 |
casper zito | 1043761 | SAT | 17.1254 | 17.4593 |
Sugar v1.13+picosat | 1039959 | SAT | 26.429 | 26.7483 |
MDG-noprobe 2008-06-27 | 1039957 | SAT | 440.359 | 440.517 |
bpsolver 2008-06-27 | 1039961 | SAT | 896.631 | 900.202 |
choco2_dwdeg 2008-06-26 | 1039963 | SAT | 914.911 | 919.347 |
SAT4J CSP 2008-06-13 | 1039958 | ? | 0.71889 | 0.766982 |
Abscon 112v4 ESAC | 1045019 | ? (TO) | 1800.05 | 1815.33 |
MDG-probe 2008-06-27 | 1039956 | ? (TO) | 1800.07 | 1808.71 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:40 41 39 18 22 7 8 15 9 11 34 45 44 17 21 37 30 27 5 29 26 33 38 16 31 3 19 35 20 25 43 36 6 13 32 4 2 24 1 48 49 47 42 23 12 28 46 14 10