Name | csp/compet08/ normalized-patat-08-comp-4.xml |
MD5SUM | 4cd54922d836889c49a4e7e21135e1e1 |
Bench Category | GLOBAL (global constraints) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 133.767 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 400 |
Number of constraints | 6186 |
Maximum constraint arity | 15 |
Maximum domain size | 35 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 5307 |
Global constraints used (with number of constraints) | alldifferent(879) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Sugar v1.13+picosat | 1058135 | SAT | 133.767 | 145.625 |
cpHydra k_10 | 1058146 | SAT | 1052.03 | 1062.12 |
Mistral-prime 1.313 | 1058141 | SAT | 1100.25 | 1110.53 |
cpHydra k_40 | 1058147 | SAT | 1663.61 | 1678.63 |
MDG-probe 2008-06-27 | 1058132 | ? (TO) | 1800.02 | 1803.61 |
Sugar v1.13+minisat | 1058136 | ? (TO) | 1800.03 | 1816.59 |
Mistral-option 1.314 | 1058140 | ? (TO) | 1800.06 | 1802.52 |
MDG-noprobe 2008-06-27 | 1058133 | ? (TO) | 1800.07 | 1805.41 |
casper zito | 1058143 | ? (TO) | 1800.07 | 1808.62 |
bpsolver 2008-06-27 | 1058137 | ? (TO) | 1800.1 | 1805.71 |
casper zao | 1058142 | ? (TO) | 1800.11 | 1814.75 |
Abscon 112v4 AC | 1058144 | ? (TO) | 1800.11 | 1815.79 |
choco2_dwdeg 2008-06-26 | 1058139 | ? (TO) | 1800.11 | 1801.35 |
Minion/Tailor 2008-07-04 | 1105389 | ? (TO) | 1800.12 | 1816.02 |
Abscon 112v4 ESAC | 1058145 | ? (TO) | 1800.13 | 1804.34 |
SAT4J CSP 2008-06-13 | 1058134 | ? (TO) | 1800.18 | 1814.55 |
choco2_impwdeg 2008-06-26 | 1058138 | ? (TO) | 1800.18 | 1812.08 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:44 9 1 27 36 2 24 13 13 8 16 4 33 20 6 40 37 29 36 43 29 26 30 28 41 36 3 25 15 12 15 10 20 12 14 26 20 31 4 10 10 41 13 6 17 21 7 32 16 26 34 3 20 4 30 2 35 7 39 18 27 44 43 8 9 30 8 0 14 36 38 36 3 21 37 10 4 5 12 11 23 1 39 44 13 14 34 5 17 41 17 7 35 12 9 21 26 18 3 40 42 18 42 29 29 39 13 31 41 15 9 6 13 19 31 33 31 40 20 10 23 37 14 24 25 0 23 22 28 7 42 4 1 27 1 33 5 32 12 31 22 24 30 28 25 31 5 29 13 31 4 43 38 19 16 15 2 16 10 34 24 25 22 11 36 35 0 9 35 5 17 40 2 8 5 34 16 36 11 24 22 1 37 31 37 19 29 38 33 32 21 9 17 15 22 8 39 11 0 23 1 8 9 4 2 6 0 5 9 4 8 1 2 6 8 9 0 6 1 9 9 5 4 2 7 8 8 4 2 6 1 0 9 9 2 9 8 9 2 8 1 9 2 7 7 6 8 2 4 4 8 9 7 9 2 0 5 5 1 8 9 6 4 9 6 3 2 8 4 9 6 6 6 8 6 7 8 5 4 8 7 8 4 2 4 6 7 9 0 2 9 7 9 7 7 0 2 9 5 7 8 7 9 2 1 2 3 7 6 9 3 6 8 2 2 6 1 2 4 6 6 8 5 8 9 7 2 6 1 2 5 5 6 8 5 8 8 5 2 8 5 9 8 0 2 6 2 8 1 5 4 8 7 1 2 3 8 9 2 0 1 1 3 6 0 4 9 2 8 6 2 6 9 7 1 6 1 3 3 5 4 2 4 4 2 9 0 1 9 1 9 1 8 0 9 8 9 9 6 1