Name | csp/medium/ normalized-patat-02-medium-1.xml |
MD5SUM | b83110eaa48c7b1a0d0e9384b24bced8 |
Bench Category | Alldiff (alldiff) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 111.921 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 800 |
Number of constraints | 65246 |
Maximum constraint arity | 20 |
Maximum domain size | 45 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 65046 |
Global constraints used (with number of constraints) | alldifferent(200) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Mistral 1.545 (complete) | 2077948 | SAT | 111.921 | 111.978 |
Sugar v1.14.6+picosat (complete) | 2077945 | SAT | 118.562 | 119.65 |
bpsolver 09 (complete) | 2077949 | ? (TO) | 1800.04 | 1807.53 |
Concrete DC 2009-07-14 (complete) | 2077943 | ? (TO) | 1800.05 | 1806.13 |
Concrete 2009-07-14 (complete) | 2077942 | ? (TO) | 1800.07 | 1801.22 |
Choco2.1.1 2009-06-10 (complete) | 2077944 | ? (TO) | 1800.14 | 1805.81 |
Sugar v1.14.6+minisat (complete) | 2077946 | ? (TO) | 1800.15 | 1815.89 |
Abscon 112v4 AC (complete) | 2096821 | ? (TO) | 1800.16 | 1809.44 |
Abscon 112v4 ESAC (complete) | 2096822 | ? (TO) | 1800.16 | 1810.75 |
SAT4J CSP 2.1.1 (complete) | 2077939 | ? (TO) | 1800.17 | 1811.93 |
Choco2.1.1b 2009-07-16 (complete) | 2116322 | ? (TO) | 1800.19 | 1810.34 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:39 2 34 7 5 37 34 16 43 44 27 35 4 5 19 43 36 43 36 42 25 42 12 1 9 33 38 5 7 44 28 21 24 8 4 16 34 16 2 42 21 42 17 34 41 4 1 2 44 6 8 29 31 40 10 27 32 7 37 23 13 2 39 37 30 26 15 35 6 30 6 42 37 7 33 23 6 23 7 33 21 26 31 11 41 5 12 4 40 22 40 34 35 36 0 9 22 19 36 35 14 8 11 0 13 44 9 7 0 27 33 7 32 18 5 30 30 12 39 18 30 31 26 15 24 27 17 35 0 1 12 25 23 41 17 20 39 37 41 26 6 6 1 23 27 41 22 30 23 36 12 29 22 43 8 41 15 17 43 14 20 3 4 9 31 11 24 39 22 25 24 3 13 40 32 28 22 15 10 37 2 16 38 9 12 3 2 16 44 0 42 33 7 5 3 22 28 36 23 34 1 40 37 3 23 18 20 8 21 28 25 8 7 11 36 3 12 6 2 35 34 43 13 28 13 20 0 20 43 41 25 20 4 38 33 4 33 13 43 28 40 3 44 17 12 36 44 43 35 26 27 38 10 26 29 29 14 32 24 10 33 20 38 44 19 8 3 38 10 6 4 35 5 14 32 22 8 19 38 29 29 38 3 12 14 18 19 15 9 5 2 4 32 32 15 18 26 10 39 12 8 6 16 9 14 36 19 17 29 1 29 0 39 34 40 31 37 16 13 40 25 1 32 21 7 32 25 37 8 11 43 30 24 44 9 19 1 33 24 18 31 11 27 26 13 0 31 36 14 21 11 18 10 10 29 38 39 31 40 35 18 5 1 24 0 38 9 5 42 13 4 10 15 27 42 2 32 28 21 30 9 44 1 11 10 0 14 11 25 41 2 34 40 15 42 34 19 17 41 28 4 6 5 9 6 2 4 8 4 4 2 1 4 5 9 3 8 1 6 8 8 7 7 4 7 8 7 4 3 6 9 1 2 6 6 2 1 6 2 4 4 0 1 9 6 7 6 5 9 3 5 8 3 4 9 8 1 2 3 9 7 4 2 1 0 1 3 9 7 8 1 6 6 5 1 2 6 7 4 3 0 2 1 1 1 2 3 8 9 1 1 2 6 9 1 9 8 5 1 0 2 9 9 9 6 2 6 7 5 1 7 8 7 0 3 4 1 1 7 3 9 0 9 2 9 9 0 4 4 2 0 0 0 9 4 5 0 8 4 4 0 4 0 4 4 5 4 6 6 0 8 7 2 9 7 3 1 6 5 3 0 7 2 4 5 5 3 9 3 3 8 1 5 6 5 7 6 5 7 0 8 1 9 5 2 2 7 0 7 3 3 4 0 0 3 9 6 5 1 6 1 7 9 9 3 2 8 8 9 8 7 1 1 4 4 8 5 9 1 8 7 8 0 4 3 1 8 4 7 0 1 9 1 4 0 9 9 9 0 0 8 6 1 2 4 3 8 2 2 3 0 1 8 6 0 2 0 4 4 6 2 2 3 3 0 2 0 5 0 8 0 3 8 6 9 0 4 7 8 3 6 0 4 6 9 4 8 4 0 9 0 3 6 3 9 7 7 5 3 9 3 2 9 1 4 7 2 9 1 8 9 0 6 0 5 9 4 4 2 2 4 3 0 7 6 8 2 5 0 3 6 2 0 0 3 1 7 6 1 8 4 2 3 0 1 6 6 2 1 8 0 1 4 3 4 2 1 2 0 7 9 7 5 7 7 6 8 1 1 4 5 1 7 5 2 9 2 2 2 3 2 5 9 7 2 2 8 8 9 2 3 8 3 0 9 3 4 7 7 1