Name | csp/compet08/ normalized-patat-08-comp-11.xml |
MD5SUM | 41854dee96060ea80d0fae628dff97c2 |
Bench Category | Alldiff (alldiff) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 7.8838 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 400 |
Number of constraints | 7046 |
Maximum constraint arity | 15 |
Maximum domain size | 33 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 6123 |
Global constraints used (with number of constraints) | alldifferent(923) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Mistral 1.545 (complete) | 2063868 | SAT | 7.8838 | 7.92495 |
Abscon 112v4 AC (complete) | 2094261 | SAT | 31.2133 | 31.5452 |
Abscon 112v4 ESAC (complete) | 2094262 | SAT | 33.7899 | 33.919 |
Sugar v1.14.6+minisat (complete) | 2063866 | SAT | 82.8374 | 83.6418 |
Concrete 2009-07-14 (complete) | 2063862 | SAT | 144.843 | 146.439 |
Sugar v1.14.6+picosat (complete) | 2063865 | SAT | 145.865 | 146.096 |
Choco2.1.1b 2009-07-16 (complete) | 2115042 | SAT | 335.232 | 336.917 |
SAT4J CSP 2.1.1 (complete) | 2063859 | SAT | 486.878 | 491.282 |
Choco2.1.1 2009-06-10 (complete) | 2063864 | SAT | 579.458 | 585.03 |
Concrete DC 2009-07-14 (complete) | 2063863 | SAT | 588.942 | 594.899 |
bpsolver 09 (complete) | 2063869 | ? (TO) | 1800.07 | 1817.22 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:0 12 29 15 39 38 26 1 24 11 28 10 13 10 39 38 34 43 41 32 37 26 17 8 3 42 31 20 37 21 20 10 19 5 6 21 13 8 18 5 40 15 23 31 17 21 4 32 11 27 34 25 3 31 22 35 21 9 40 33 41 26 27 22 38 11 33 0 39 9 8 30 11 44 11 44 5 38 1 29 12 14 1 15 43 39 27 7 36 4 12 3 34 7 30 41 21 28 34 27 24 26 14 20 5 25 8 35 14 37 11 17 42 18 26 23 26 29 0 1 27 39 15 37 31 1 5 29 12 12 32 9 0 16 29 10 3 41 19 14 8 6 44 28 39 2 41 23 30 14 1 43 4 17 43 24 40 2 26 7 2 19 6 36 25 27 10 44 35 3 16 32 44 8 17 8 35 43 40 3 44 33 40 1 30 23 3 8 2 38 7 36 9 13 42 6 10 42 38 9 0 0 18 14 9 6 0 12 19 7 19 6 4 0 19 16 19 12 1 18 9 18 18 18 18 8 8 4 1 8 1 9 17 8 15 11 1 8 0 2 12 1 7 7 14 0 17 9 1 0 12 11 19 14 1 17 1 18 8 1 2 16 19 16 0 2 9 18 18 19 14 4 4 14 0 9 0 19 9 19 1 9 0 8 19 12 1 1 16 1 5 0 16 17 11 0 2 9 7 2 12 1 0 0 9 8 16 11 19 8 8 1 7 1 17 0 11 0 19 2 8 0 0 11 19 14 1 17 11 9 14 11 9 2 9 19 9 4 1 12 17 1 19 8 8 2 12 11 17 1 1 14 19 11 16 18 1 8 19 15 1 8 3 0 9 18 3 0 19 10 1 8 8 1 19 12 0 17 9 16 18 16 0 19 12 4 5 10 10 8 14 17 8 0 19 0 16 15 1 4