Name | csp/magicSquare/ normalized-magicSquare-10_glb.xml |
MD5SUM | 8bce133ddb71db1f40340916746927bb |
Bench Category | GLOBAL (global constraints) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1.68374 |
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-option 1.314 | 1039944 | SAT | 1.68374 | 1.69608 |
casper zao | 1043130 | SAT | 11.6902 | 11.8023 |
casper zito | 1043759 | SAT | 17.0674 | 17.3361 |
choco2_impwdeg 2008-06-26 | 1039942 | SAT | 27.6188 | 27.7957 |
Sugar v1.13+minisat | 1039940 | SAT | 85.9859 | 86.5039 |
bpsolver 2008-06-27 | 1039941 | SAT | 897.768 | 901.384 |
Sugar v1.13+picosat | 1039939 | SAT | 1469.4 | 1471.18 |
SAT4J CSP 2008-06-13 | 1039938 | ? | 1.02284 | 0.869498 |
MDG-probe 2008-06-27 | 1039936 | ? (TO) | 1800.02 | 1801.71 |
cpHydra k_10 | 1045646 | ? (TO) | 1800.05 | 1807.44 |
Mistral-prime 1.313 | 1039945 | ? (TO) | 1800.05 | 1815.61 |
cpHydra k_40 | 1046275 | ? (TO) | 1800.06 | 1813.83 |
MDG-noprobe 2008-06-27 | 1039937 | ? (TO) | 1800.08 | 1808.01 |
choco2_dwdeg 2008-06-26 | 1039943 | ? (TO) | 1800.1 | 1800.83 |
Minion/Tailor 2008-07-04 | 1104458 | ? (TO) | 1800.12 | 1800.81 |
Abscon 112v4 ESAC | 1045017 | ? (TO) | 1800.13 | 1826.65 |
Abscon 112v4 AC | 1044388 | ? (TO) | 1800.16 | 1802.76 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:24 70 94 26 100 35 33 25 2 96 36 50 31 48 90 69 12 47 92 30 58 32 78 6 79 13 59 87 27 66 64 9 41 98 21 74 42 11 91 54 62 75 82 89 4 22 56 46 14 55 71 39 83 7 3 23 61 57 93 68 77 52 16 29 8 76 60 73 99 15 53 65 19 88 97 45 67 38 5 28 40 95 51 34 17 63 43 37 81 44 20 18 10 80 86 85 72 84 1 49