Name | csp/compet02/ normalized-patat-02-comp-10.xml |
MD5SUM | 2a82fd0e6a406c196682c347f06803ad |
Bench Category | Alldiff (alldiff) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 125.758 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 800 |
Number of constraints | 64588 |
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 | 64388 |
Global constraints used (with number of constraints) | alldifferent(200) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Sugar v1.14.6+picosat (complete) | 2064008 | SAT | 125.758 | 132.906 |
Concrete DC 2009-07-14 (complete) | 2064006 | ? (TO) | 1800.02 | 1808.72 |
Concrete 2009-07-14 (complete) | 2064005 | ? (TO) | 1800.05 | 1817.23 |
bpsolver 09 (complete) | 2064012 | ? (TO) | 1800.08 | 1812.93 |
Mistral 1.545 (complete) | 2064011 | ? (TO) | 1800.1 | 1817.32 |
SAT4J CSP 2.1.1 (complete) | 2064002 | ? (TO) | 1800.12 | 1808.09 |
Choco2.1.1b 2009-07-16 (complete) | 2115055 | ? (TO) | 1800.14 | 1812.42 |
Abscon 112v4 AC (complete) | 2094287 | ? (TO) | 1800.14 | 1800.93 |
Choco2.1.1 2009-06-10 (complete) | 2064007 | ? (TO) | 1800.15 | 1804.92 |
Abscon 112v4 ESAC (complete) | 2094288 | ? (TO) | 1800.16 | 1801.03 |
Sugar v1.14.6+minisat (complete) | 2064009 | ? (TO) | 1800.17 | 1817.12 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:39 6 39 18 13 2 19 11 1 23 4 5 3 16 1 24 3 13 30 17 40 23 1 14 12 13 23 21 34 2 29 15 1 1 40 40 30 14 4 22 9 29 21 2 9 38 16 7 19 25 10 33 33 2 28 3 9 11 5 34 29 11 44 16 27 31 29 26 8 13 33 5 32 44 20 4 2 37 9 0 2 24 23 12 12 5 21 4 19 22 17 3 6 41 36 2 14 35 43 28 21 12 44 8 6 15 3 26 30 38 33 42 29 44 27 31 37 21 43 7 8 16 42 6 40 32 42 9 7 11 13 5 14 15 29 37 11 8 38 8 16 1 10 12 15 12 31 9 35 32 32 9 43 15 6 16 43 36 44 3 0 13 18 14 8 32 42 4 18 7 6 9 7 7 30 20 25 15 15 4 19 3 18 8 17 32 21 19 32 22 12 29 23 23 0 17 28 17 17 10 26 42 16 33 18 11 5 19 19 30 10 15 18 24 10 25 3 22 29 5 22 13 18 34 44 27 3 24 20 28 23 2 37 17 24 26 27 20 33 22 31 28 20 10 19 25 10 43 29 38 22 27 35 24 30 17 21 27 0 24 25 23 7 41 1 35 28 42 35 11 21 1 12 4 41 4 34 37 18 40 9 11 31 25 35 33 13 39 31 35 44 26 11 34 16 34 17 42 21 34 44 41 35 0 30 3 31 20 0 32 24 8 25 37 24 26 9 34 4 28 37 36 8 44 36 39 1 14 34 38 27 30 38 26 14 33 1 40 0 40 43 42 38 19 6 18 39 17 41 36 0 10 23 39 36 38 31 6 21 31 39 23 22 40 15 13 6 43 20 36 40 37 0 32 27 12 33 27 36 41 22 35 25 8 28 38 36 28 32 14 20 12 16 42 26 30 41 37 39 22 6 6 8 9 8 7 9 5 2 5 3 1 6 5 9 0 2 7 0 7 7 4 5 1 8 0 7 6 1 9 2 4 3 1 5 6 2 7 8 3 3 7 9 8 2 8 9 5 1 4 9 2 0 0 3 4 8 8 4 3 8 4 5 8 3 8 6 8 1 5 7 9 9 9 6 2 2 2 7 1 3 4 3 5 1 5 2 9 0 9 3 9 7 4 5 1 3 7 9 8 7 6 7 2 3 6 1 4 4 7 9 9 9 2 4 4 5 3 4 8 3 6 6 8 1 4 3 9 4 1 2 8 2 3 1 3 7 8 5 6 3 7 0 3 5 9 6 4 3 8 1 1 0 9 4 1 7 7 3 5 7 9 4 6 9 7 1 4 5 3 1 0 1 6 8 0 7 2 8 7 8 3 3 5 6 6 8 5 5 4 2 5 0 2 8 8 5 5 2 6 6 0 7 3 1 9 7 2 3 7 2 1 7 9 1 2 0 5 3 3 8 3 6 4 8 1 7 3 5 1 8 4 9 0 1 9 5 8 6 6 1 6 4 5 7 1 8 5 4 2 7 9 9 7 9 1 1 2 5 5 8 1 9 7 4 4 2 7 5 2 5 8 7 6 8 5 9 8 8 2 6 0 3 3 8 1 4 0 7 2 1 2 3 8 2 5 4 8 0 6 6 9 1 9 3 8 9 9 2 2 6 0 9 1 8 1 5 2 1 9 4 6 4 0 1 9 0 9 7 9 6 1 4 3 8 8 6 8 4 9 1 4 3 4 2 0 3 9 1 9 3 4 9 4 8 1 5 9 4 0 1 6 1 4 7 1 5 8 1 4 3 6 6 0 8 0 4 7 0 3 0 0 6 7 7 6 2 4 3 4 3 4 4 5 5 6 6 7 7 2