Name | csp/compet08/ normalized-patat-08-comp-6.xml |
MD5SUM | 5ef5412c0ffa303b60f6d13c783c47df |
Bench Category | GLOBAL (global constraints) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 148.249 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 800 |
Number of constraints | 39827 |
Maximum constraint arity | 24 |
Maximum domain size | 36 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 39527 |
Global constraints used (with number of constraints) | alldifferent(300) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Sugar v1.13+picosat | 1058167 | SAT | 148.249 | 150.985 |
Abscon 112v4 ESAC | 1058177 | SAT | 1327.2 | 1333.08 |
Mistral-option 1.314 | 1058172 | SAT | 1402.25 | 1409.04 |
cpHydra k_40 | 1058179 | ? (TO) | 1800.03 | 1819.44 |
Sugar v1.13+minisat | 1058168 | ? (TO) | 1800.03 | 1831.73 |
bpsolver 2008-06-27 | 1058169 | ? (TO) | 1800.04 | 1804.93 |
Minion/Tailor 2008-07-04 | 1105391 | ? (TO) | 1800.05 | 1806.12 |
cpHydra k_10 | 1058178 | ? (TO) | 1800.05 | 1830.83 |
MDG-noprobe 2008-06-27 | 1058165 | ? (TO) | 1800.07 | 1805.72 |
casper zito | 1058175 | ? (TO) | 1800.09 | 1814.43 |
Mistral-prime 1.313 | 1058173 | ? (TO) | 1800.11 | 1803.12 |
choco2_impwdeg 2008-06-26 | 1058170 | ? (TO) | 1800.11 | 1815.39 |
MDG-probe 2008-06-27 | 1058164 | ? (TO) | 1800.11 | 1815.32 |
Abscon 112v4 AC | 1058176 | ? (TO) | 1800.13 | 1805.09 |
casper zao | 1058174 | ? (TO) | 1800.16 | 1807.27 |
SAT4J CSP 2008-06-13 | 1058166 | ? (TO) | 1800.17 | 1814.81 |
choco2_dwdeg 2008-06-26 | 1058171 | ? (TO) | 1800.49 | 1811.01 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:25 10 29 44 1 3 26 19 20 40 28 26 3 26 26 4 28 5 14 18 14 0 1 43 13 35 11 8 15 13 41 22 30 25 13 9 24 12 27 5 36 1 30 42 29 39 27 33 31 5 8 24 39 18 43 10 21 6 5 8 10 4 39 32 34 25 8 2 43 44 17 25 9 25 38 16 41 17 32 9 7 40 5 11 23 15 10 17 36 31 7 21 23 22 7 29 13 39 39 33 35 37 13 31 12 27 44 10 40 23 8 12 41 4 12 43 11 8 42 38 14 24 34 6 5 8 39 43 16 20 5 21 9 13 21 3 20 24 9 4 6 43 16 16 16 27 17 17 22 36 38 6 25 17 34 3 30 15 22 20 38 7 4 4 6 9 26 35 44 34 11 18 16 43 26 32 37 20 3 17 21 24 35 34 41 5 40 10 11 38 8 16 18 19 9 23 3 18 0 18 44 8 16 29 11 40 1 0 22 42 27 8 7 17 11 17 28 15 28 28 26 17 20 17 11 14 28 39 19 34 40 23 10 0 8 14 21 7 35 28 21 22 9 6 24 3 1 23 25 8 36 25 24 30 19 2 15 32 2 36 37 32 21 18 42 7 16 19 27 35 20 34 31 14 24 33 23 36 30 31 35 33 2 17 31 19 35 19 41 10 29 4 32 2 13 15 15 9 35 0 27 7 38 4 26 15 37 43 12 33 42 44 9 9 2 42 1 6 22 38 21 5 12 18 39 29 38 18 12 10 35 30 40 28 33 16 0 34 17 29 25 32 3 21 20 23 31 4 22 9 35 33 2 33 26 41 33 12 43 7 2 20 20 22 13 41 32 34 40 37 14 5 29 13 14 41 36 33 27 0 42 37 6 42 29 30 24 31 16 2 0 37 22 44 37 20 1 31 44 31 17 14 14 10 7 18 11 8 19 13 16 13 17 1 12 13 14 14 16 15 18 14 18 14 18 15 15 16 16 12 8 3 18 15 17 1 16 14 13 1 13 6 15 18 18 19 17 19 14 15 1 15 11 5 16 16 15 19 18 14 18 16 15 19 13 12 6 16 19 19 18 16 18 4 14 14 18 8 8 16 10 19 16 4 15 13 11 13 4 1 12 8 12 13 17 17 7 3 12 10 4 19 6 10 4 7 18 9 11 6 4 13 17 17 1 18 16 12 19 19 14 19 18 14 13 18 17 11 12 13 17 11 15 11 17 19 8 17 13 14 5 4 19 16 10 6 11 17 12 10 18 3 6 19 17 11 7 17 18 18 17 8 10 8 18 14 6 14 16 15 14 4 13 17 19 17 15 14 9 3 10 13 18 7 13 12 18 7 10 16 17 18 14 18 10 3 7 3 17 12 1 19 17 19 19 4 12 12 17 17 3 11 4 16 13 15 18 11 17 12 3 6 17 12 3 19 8 14 17 11 16 8 6 4 10 13 19 15 7 4 13 11 19 17 12 6 11 5 19 3 11 5 4 13 15 10 8 15 11 14 12 7 12 19 16 19 9 14 5 17 15 10 9 12 3 18 2 8 8 0 19 15 19 10 19 12 10 7 1 4 15 3 6 18 4 19 4 11 16 16 2 3 13 4 8 2 18 3 12 17 15 15 6 8 8 14 10 1 10 12 6 8 17 18 10 12 6 17 10 3 13 5 15 1 12 8 9 4 2 4 2 5 4 18 3 19 18 0 19 12 2 13 17 11 2 7 8 7 1 14 7 0 12 8 3 3 4 12 12 17 9 7 10 2 8 14 2 5 0 8 12 14 0 5 2 3 2 17 7 6 2 8 6 8 6 10 2 16 12 15