Name | csp/compet08/ normalized-patat-08-comp-10.xml |
MD5SUM | 3a46901a8ea2c192a6f5d5f8c9f3ac47 |
Bench Category | Alldiff (alldiff) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1.07783 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 400 |
Number of constraints | 6793 |
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 | 5889 |
Global constraints used (with number of constraints) | alldifferent(904) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Mistral 1.545 (complete) | 2063967 | SAT | 1.07783 | 1.0818 |
Abscon 112v4 ESAC (complete) | 2094280 | SAT | 11.7722 | 11.8534 |
Abscon 112v4 AC (complete) | 2094279 | SAT | 38.6031 | 38.9353 |
Sugar v1.14.6+minisat (complete) | 2063965 | SAT | 89.5684 | 90.6946 |
Concrete 2009-07-14 (complete) | 2063961 | SAT | 91.0122 | 91.9147 |
Sugar v1.14.6+picosat (complete) | 2063964 | SAT | 111.072 | 112.013 |
Choco2.1.1 2009-06-10 (complete) | 2063963 | SAT | 254.593 | 257.08 |
Choco2.1.1b 2009-07-16 (complete) | 2115051 | SAT | 264.167 | 266.753 |
SAT4J CSP 2.1.1 (complete) | 2063958 | SAT | 374.759 | 378.159 |
Concrete DC 2009-07-14 (complete) | 2063962 | SAT | 429.196 | 428.321 |
bpsolver 09 (complete) | 2063968 | ? (TO) | 1800.02 | 1810.41 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:42 11 8 7 44 22 31 4 16 15 0 15 0 22 18 39 13 42 17 23 0 44 6 40 43 25 30 18 24 9 14 21 37 41 39 28 0 15 4 44 12 13 43 11 43 0 10 21 29 8 36 32 4 36 19 11 42 23 43 8 6 40 13 21 17 16 12 5 13 36 5 32 37 43 0 5 16 14 3 44 40 4 1 33 40 15 36 27 29 2 31 19 26 41 11 5 27 7 41 29 36 5 24 23 11 8 35 39 8 2 29 35 0 41 32 7 5 35 38 37 10 33 35 6 21 39 20 4 44 0 14 30 21 24 3 22 3 19 3 10 39 9 17 1 3 23 41 17 25 27 26 29 2 11 6 4 25 33 27 44 20 42 13 37 22 42 2 30 6 13 30 40 44 10 1 3 42 31 10 37 34 12 18 35 20 34 17 28 28 3 33 37 33 1 23 33 26 33 38 18 18 3 6 5 5 15 15 18 5 3 9 6 18 3 19 18 18 11 8 5 17 19 3 5 5 18 7 6 18 9 7 10 3 15 19 17 1 5 15 1 15 8 16 14 11 7 5 18 4 5 15 16 11 11 9 17 14 1 13 18 0 14 13 12 14 18 10 11 15 10 16 1 7 15 19 3 3 10 3 0 4 17 16 13 18 18 13 14 11 15 5 19 5 11 18 1 19 14 18 5 7 15 11 2 13 15 9 5 7 5 3 19 16 7 18 0 18 11 3 1 15 19 0 5 11 17 1 14 7 5 5 11 15 4 19 1 15 7 0 19 15 5 17 3 2 8 1 16 17 18 17 17 14 19 18 5 11 6 16 18 7 3 6 6 5 19 19 13 16 2 5 6 2 8 5 13 7 3 9 16 7 16 17 17 16 16 18 11 3 18 18 11 15 15 15 5 18 1 16 7