Name | csp/medium/ normalized-patat-02-medium-4.xml |
MD5SUM | 094ea096617f0707c333e4e4098131ca |
Bench Category | Alldiff (alldiff) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 85.367 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 800 |
Number of constraints | 65196 |
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 | 64996 |
Global constraints used (with number of constraints) | alldifferent(200) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Mistral 1.545 (complete) | 2077937 | SAT | 85.367 | 85.6567 |
Sugar v1.14.6+picosat (complete) | 2077934 | SAT | 130.727 | 132.306 |
Concrete DC 2009-07-14 (complete) | 2077932 | ? (TO) | 1800.04 | 1806.13 |
Concrete 2009-07-14 (complete) | 2077931 | ? (TO) | 1800.06 | 1801.22 |
bpsolver 09 (complete) | 2077938 | ? (TO) | 1800.09 | 1815.92 |
Sugar v1.14.6+minisat (complete) | 2077935 | ? (TO) | 1800.13 | 1812.6 |
SAT4J CSP 2.1.1 (complete) | 2077928 | ? (TO) | 1800.14 | 1812.63 |
Abscon 112v4 AC (complete) | 2096819 | ? (TO) | 1800.14 | 1801.54 |
Choco2.1.1b 2009-07-16 (complete) | 2116321 | ? (TO) | 1800.15 | 1810.82 |
Abscon 112v4 ESAC (complete) | 2096820 | ? (TO) | 1800.18 | 1814.45 |
Choco2.1.1 2009-06-10 (complete) | 2077933 | ? (TO) | 1800.2 | 1801.11 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:29 2 7 12 5 21 8 28 29 15 1 18 21 7 38 11 34 20 5 37 36 5 44 32 17 35 2 9 5 4 35 28 4 37 25 0 29 28 7 16 6 35 20 44 4 0 3 12 5 43 0 22 26 29 40 23 14 32 39 36 9 28 27 39 10 26 34 42 35 17 39 44 3 10 13 15 38 7 11 21 4 43 41 18 11 30 7 1 2 2 44 8 33 32 43 30 21 25 14 4 24 33 12 31 16 10 21 11 31 18 35 44 25 35 43 43 39 12 1 1 22 44 9 23 11 28 36 35 30 41 3 40 33 13 41 26 1 30 2 6 39 7 34 39 1 2 28 28 37 15 27 10 18 4 40 44 39 9 25 30 16 11 7 42 7 38 27 20 13 5 31 14 40 33 38 27 1 16 9 40 22 20 41 42 6 31 42 26 43 37 4 23 10 42 36 40 16 19 3 38 1 43 18 36 34 21 40 6 22 12 16 9 33 24 10 43 13 12 0 37 37 20 8 34 36 16 2 14 27 24 39 22 4 5 8 0 41 36 25 32 29 34 19 6 12 27 41 14 25 36 44 37 29 42 22 37 30 31 0 15 31 29 24 9 20 26 8 17 23 34 29 20 28 35 26 36 33 0 38 39 35 42 3 11 33 3 3 41 2 34 43 42 33 40 3 27 41 17 22 4 12 27 13 32 21 23 14 13 16 15 26 29 32 15 19 0 1 24 13 39 28 6 10 12 11 37 10 0 9 25 42 27 2 37 4 18 17 44 6 16 32 19 24 34 38 1 26 33 41 40 23 43 3 5 38 7 13 41 11 19 8 38 10 5 8 14 24 26 24 8 19 14 30 31 17 6 31 17 42 12 26 9 31 38 31 32 6 7 44 2 10 34 36 11 40 8 0 21 6 30 3 4 1 9 6 1 5 8 6 3 0 3 7 7 4 7 7 7 5 7 0 8 9 5 7 5 5 3 2 4 3 6 5 2 9 3 0 4 5 6 7 8 0 6 3 5 2 5 0 2 1 5 5 4 8 8 8 4 6 5 4 2 2 9 5 3 6 8 2 4 7 1 9 1 6 6 1 0 0 0 8 5 0 4 1 2 2 8 6 9 3 8 8 2 8 3 5 7 0 0 7 9 6 7 0 3 4 6 8 5 7 4 3 4 3 7 2 8 7 5 8 2 7 9 3 7 7 6 9 5 1 6 4 7 3 0 9 4 7 9 3 8 3 8 3 3 3 1 8 8 6 2 9 2 2 8 1 9 5 5 7 9 6 5 9 3 7 5 4 3 3 5 7 0 7 8 1 2 5 4 7 3 6 1 3 5 2 7 6 9 7 7 6 6 9 3 5 3 3 9 4 1 6 3 5 3 9 6 0 2 4 6 2 6 0 0 2 7 6 0 1 1 4 9 2 9 0 2 3 4 4 3 9 9 9 8 9 1 0 9 5 0 0 5 3 4 2 9 6 6 7 6 7 7 2 3 6 6 9 2 1 9 5 0 4 1 6 0 6 2 8 9 5 9 6 8 3 0 8 5 0 3 8 5 7 4 5 4 2 1 4 9 5 0 7 9 1 5 9 6 1 0 9 6 9 5 7 3 3 7 9 2 3 5 9 4 6 8 8 0 9 4 7 0 4 5 9 7 2 2 4 5 8 4 1 7 9 5 0 8 7 2 0 8 0 2 8 6 8 5 3 9 0 4 6 4 5 7 2 5 3 5 4 7 0 6 3 4 9 7 7 3 7 4 3 8 2 2 0 4 2 8 9 2 0 0 1 3 0 1 8 4 4 8 1 2 2 2 2 0