Name | csp/magicSquare/ normalized-magicSquare-9_glb.xml |
MD5SUM | 8ba45946ef8405b9c947640d2d7b6833 |
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.06499 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 81 |
Number of constraints | 21 |
Maximum constraint arity | 81 |
Maximum domain size | 81 |
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(20) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
MDG-noprobe 2008-06-27 | 1039987 | SAT | 0.06499 | 0.146787 |
cpHydra k_10 | 1045651 | SAT | 0.109983 | 0.227867 |
cpHydra k_40 | 1046280 | SAT | 0.114981 | 0.121746 |
Mistral-option 1.314 | 1039994 | SAT | 1.39679 | 1.4069 |
choco2_impwdeg 2008-06-26 | 1039992 | SAT | 1.73973 | 1.95291 |
casper zao | 1043135 | SAT | 10.6484 | 10.8019 |
casper zito | 1043764 | SAT | 17.2964 | 17.3785 |
Mistral-prime 1.313 | 1039995 | SAT | 261.797 | 261.981 |
Sugar v1.13+picosat | 1039989 | SAT | 569.869 | 575.641 |
Sugar v1.13+minisat | 1039990 | SAT | 581.719 | 587.918 |
bpsolver 2008-06-27 | 1039991 | SAT | 893.426 | 900.286 |
SAT4J CSP 2008-06-13 | 1039988 | ? | 0.920859 | 1.04471 |
MDG-probe 2008-06-27 | 1039986 | ? (TO) | 1800.05 | 1808.11 |
choco2_dwdeg 2008-06-26 | 1039993 | ? (TO) | 1800.1 | 1809.15 |
Minion/Tailor 2008-07-04 | 1104463 | ? (TO) | 1800.12 | 1802.01 |
Abscon 112v4 ESAC | 1045022 | ? (TO) | 1800.15 | 1809.17 |
Abscon 112v4 AC | 1044393 | ? (TO) | 1800.15 | 1812.07 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:51 66 68 69 12 11 23 67 2 65 3 61 39 64 62 63 4 8 9 10 5 53 73 71 6 72 70 48 56 50 7 49 38 47 20 54 55 59 13 14 1 52 58 60 57 22 28 33 78 46 77 36 17 32 21 42 80 43 44 15 76 18 30 19 81 34 40 35 16 29 74 41 79 24 25 26 45 27 31 37 75