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