Name | csp/compet08/ normalized-patat-08-comp-4.xml |
MD5SUM | 4cd54922d836889c49a4e7e21135e1e1 |
Bench Category | Alldiff (alldiff) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 132.468 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 400 |
Number of constraints | 6186 |
Maximum constraint arity | 15 |
Maximum domain size | 35 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 5307 |
Global constraints used (with number of constraints) | alldifferent(879) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Mistral 1.545 (complete) | 2063956 | SAT | 132.468 | 132.525 |
Concrete 2009-07-14 (complete) | 2063950 | SAT | 248.053 | 249.36 |
Choco2.1.1b 2009-07-16 (complete) | 2115050 | SAT | 478.49 | 481.224 |
Concrete DC 2009-07-14 (complete) | 2063951 | SAT | 805.396 | 813.259 |
Sugar v1.14.6+picosat (complete) | 2063953 | SAT | 1045.62 | 1051.03 |
Sugar v1.14.6+minisat (complete) | 2063954 | SAT | 1765.38 | 1773.4 |
bpsolver 09 (complete) | 2063957 | ? (TO) | 1800.06 | 1802.21 |
Abscon 112v4 AC (complete) | 2094277 | ? (TO) | 1800.07 | 1808.64 |
Choco2.1.1 2009-06-10 (complete) | 2063952 | ? (TO) | 1800.11 | 1814.17 |
Abscon 112v4 ESAC (complete) | 2094278 | ? (TO) | 1800.12 | 1810.08 |
SAT4J CSP 2.1.1 (complete) | 2063947 | ? (TO) | 1800.47 | 1808.16 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:37 22 28 10 40 15 34 27 4 30 44 38 23 35 38 32 3 16 20 14 16 22 5 8 12 8 41 12 2 3 29 17 35 17 37 32 35 36 20 43 23 25 41 0 18 39 23 34 22 44 32 11 2 11 41 29 31 17 37 43 27 15 22 30 24 21 18 28 25 21 7 28 21 9 3 20 35 38 10 39 38 25 24 14 44 1 2 41 18 43 20 20 5 35 24 9 44 33 39 32 16 43 43 24 33 37 0 30 26 0 19 44 0 36 0 8 4 7 35 0 30 9 39 26 12 28 40 13 42 17 43 31 8 10 7 8 32 28 21 4 9 26 34 40 12 4 19 13 27 20 5 14 11 4 3 3 15 41 38 33 26 12 23 26 21 11 5 43 6 32 1 31 13 33 8 38 8 16 11 42 29 1 9 6 6 36 16 35 40 23 19 5 18 2 31 27 44 6 1 19 2 0 9 4 8 9 0 5 9 4 8 8 1 6 4 9 0 6 2 9 9 9 6 2 0 0 8 4 9 6 1 0 8 9 8 5 2 5 1 7 2 9 0 7 1 4 8 2 4 4 6 1 0 9 2 0 5 5 9 8 9 6 6 9 4 8 9 8 4 9 6 0 4 8 4 7 0 5 6 9 1 8 6 2 1 0 1 9 0 2 9 8 8 7 7 0 2 8 0 7 8 1 9 1 1 1 0 1 4 9 0 6 8 2 2 6 0 2 9 6 8 4 5 8 9 7 1 4 1 2 6 0 7 8 0 8 8 1 6 8 1 9 8 0 8 6 2 8 6 0 4 8 7 1 2 8 8 1 2 0 1 1 0 6 0 8 9 0 8 0 2 4 9 3 1 6 9 0 0 5 4 1 6 6 1 9 2 1 9 9 9 1 8 8 9 8 9 9 8 1