Name | csp/compet08/ normalized-patat-08-comp-5.xml |
MD5SUM | f5998e2cea9b4eec8b3b7aad8f0dac4c |
Bench Category | Alldiff (alldiff) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 328.151 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 800 |
Number of constraints | 41851 |
Maximum constraint arity | 24 |
Maximum domain size | 34 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 41551 |
Global constraints used (with number of constraints) | alldifferent(300) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Sugar v1.14.6+picosat (complete) | 2063821 | SAT | 328.151 | 330.129 |
Sugar v1.14.6+minisat (complete) | 2063822 | SAT | 421.811 | 424.92 |
Concrete DC 2009-07-14 (complete) | 2063819 | ? (TO) | 1800.01 | 1811.82 |
Concrete 2009-07-14 (complete) | 2063818 | ? (TO) | 1800.03 | 1809.62 |
Mistral 1.545 (complete) | 2063824 | ? (TO) | 1800.1 | 1813.62 |
Choco2.1.1b 2009-07-16 (complete) | 2115038 | ? (TO) | 1800.11 | 1800.87 |
bpsolver 09 (complete) | 2063825 | ? (TO) | 1800.11 | 1804.33 |
SAT4J CSP 2.1.1 (complete) | 2063815 | ? (TO) | 1800.14 | 1809.61 |
Abscon 112v4 AC (complete) | 2094253 | ? (TO) | 1800.14 | 1803.3 |
Choco2.1.1 2009-06-10 (complete) | 2063820 | ? (TO) | 1800.18 | 1804.13 |
Abscon 112v4 ESAC (complete) | 2094254 | ? (TO) | 1800.18 | 1810.5 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:36 37 1 35 35 22 22 14 15 29 33 27 31 31 14 24 9 4 17 20 17 41 30 13 35 14 34 2 39 19 6 3 18 35 44 12 14 35 13 33 36 21 31 8 40 14 9 6 18 5 39 15 17 6 30 15 34 16 4 39 20 34 22 38 28 18 41 19 20 22 44 6 30 9 24 9 7 20 27 28 33 43 32 5 30 39 26 18 2 40 9 11 5 17 39 22 9 10 8 37 16 3 2 2 28 8 43 3 43 15 10 16 20 5 29 36 31 34 7 3 22 23 30 7 13 7 41 28 5 40 10 16 37 15 27 11 25 14 4 19 4 32 43 12 31 36 0 23 5 33 43 2 9 13 25 43 21 20 1 26 14 32 24 30 8 5 5 40 11 39 24 4 2 6 3 35 7 28 32 25 28 36 26 40 16 8 34 15 0 27 44 39 44 19 29 17 22 1 16 6 33 41 7 42 33 34 18 13 29 42 0 8 35 1 25 42 41 6 14 40 7 13 23 12 16 28 30 35 10 12 43 2 29 24 22 28 29 26 30 7 3 20 44 2 35 10 6 9 19 30 1 28 15 23 44 11 24 17 1 36 8 4 43 43 25 2 42 31 9 20 26 26 22 11 37 3 36 19 20 27 37 9 11 26 3 0 21 24 26 43 25 28 32 15 29 15 29 2 32 25 29 44 11 16 33 25 33 19 14 28 31 42 35 41 12 37 26 8 30 33 42 23 8 4 37 21 37 0 12 26 25 40 10 36 0 21 41 20 7 31 20 35 43 43 24 32 42 39 27 35 11 29 12 40 5 9 21 38 44 17 26 39 13 4 36 1 32 38 32 23 16 24 17 42 23 10 14 37 15 41 36 38 21 21 13 18 18 0 38 21 34 5 34 0 31 28 17 19 1 19 16 14 9 16 5 0 13 2 15 19 9 0 9 14 0 19 16 18 15 18 0 15 3 5 2 15 9 17 4 11 17 14 19 6 14 18 12 19 12 14 0 17 16 11 15 7 11 15 11 19 12 16 17 2 16 19 14 14 11 6 15 12 3 15 16 0 18 3 19 16 13 14 18 19 18 14 19 2 15 19 17 9 15 12 12 7 17 16 15 13 3 3 15 12 19 19 13 19 17 16 13 7 16 0 18 18 8 17 3 6 9 16 13 18 18 17 17 16 11 18 18 7 14 17 9 18 7 17 16 17 11 18 19 18 19 17 16 16 16 9 15 14 14 13 0 7 18 19 14 19 11 7 18 18 15 12 19 12 19 19 19 18 17 11 16 13 11 16 1 16 11 12 14 19 13 18 15 15 17 19 14 18 16 9 17 15 19 17 17 18 17 13 18 16 15 13 11 15 2 16 18 17 3 13 3 18 9 16 11 18 14 14 17 16 7 19 14 9 14 12 9 15 3 3 15 6 19 14 17 2 18 13 9 3 9 2 13 8 17 16 2 4 11 6 11 0 18 12 12 8 7 0 12 2 16 12 6 19 14 19 13 3 17 19 1 4 17 8 2 14 15 13 2 19 8 11 2 8 16 17 18 8 16 3 16 11 3 9 11 16 8 13 16 14 8 13 6 3 13 6 5 15 11 9 16 5 12 15 11 11 15 16 13 9 0 17 10 8 0 1 15 18 12 2 3 7 2 8 15 9 0 8 13 15 4 2 6 10 8 19 8 9 13 15 5 2 3 15 4 1 2 4 9 3 9 1 16 18 1 3 1 3 4 1 6 12 1 3 19 17 8 2 2 9 16 15 6 1 8 4 1 16 18 12 3 12 17 2 11 1 15 7 17 3 18 7 1 0 11 1