Name | csp/compet08/ normalized-patat-08-comp-8.xml |
MD5SUM | ecc4645e217ca43fb25e27990367c484 |
Bench Category | Alldiff (alldiff) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 0.494924 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 400 |
Number of constraints | 3361 |
Maximum constraint arity | 15 |
Maximum domain size | 25 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 2871 |
Global constraints used (with number of constraints) | alldifferent(490) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Mistral 1.545 (complete) | 2063989 | SAT | 0.494924 | 0.504659 |
Abscon 112v4 ESAC (complete) | 2094284 | SAT | 5.31519 | 6.62934 |
Abscon 112v4 AC (complete) | 2094283 | SAT | 6.00509 | 5.73738 |
SAT4J CSP 2.1.1 (complete) | 2063980 | SAT | 19.1421 | 19.3621 |
Concrete 2009-07-14 (complete) | 2063983 | SAT | 25.3881 | 25.6824 |
Sugar v1.14.6+minisat (complete) | 2063987 | SAT | 36.6324 | 36.9855 |
Sugar v1.14.6+picosat (complete) | 2063986 | SAT | 47.4388 | 47.9944 |
Choco2.1.1 2009-06-10 (complete) | 2063985 | SAT | 98.1341 | 98.7649 |
Choco2.1.1b 2009-07-16 (complete) | 2115053 | SAT | 100.276 | 101.329 |
Concrete DC 2009-07-14 (complete) | 2063984 | SAT | 123.351 | 124.057 |
bpsolver 09 (complete) | 2063990 | ? (TO) | 1800.1 | 1803.51 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:21 29 23 34 31 8 2 7 22 7 2 42 16 1 43 28 32 38 27 0 34 39 25 13 14 2 0 4 38 11 26 0 8 35 31 8 2 7 15 20 32 35 8 21 39 38 12 13 15 10 44 16 33 28 2 10 21 22 26 12 36 35 9 20 40 9 5 19 38 33 17 31 4 35 1 29 1 3 12 24 20 42 27 3 27 44 11 33 18 44 42 9 18 43 33 0 41 37 27 3 14 3 16 24 39 0 3 17 13 21 30 4 37 29 32 9 8 23 7 39 13 18 9 11 39 6 19 23 25 24 23 37 36 11 26 36 31 6 34 1 5 17 27 25 29 10 17 20 24 35 11 20 27 8 6 22 33 40 41 44 40 30 17 34 22 14 40 25 13 4 12 16 3 26 36 8 28 34 32 42 15 43 21 13 19 6 5 26 30 40 19 14 28 44 44 15 5 0 41 16 2 4 9 8 5 6 7 1 9 5 1 8 6 8 2 1 1 9 0 8 4 6 7 4 9 9 0 1 2 0 8 9 5 1 8 8 2 6 8 9 8 5 1 5 5 4 1 1 5 1 5 8 6 4 6 7 1 6 4 4 5 6 1 1 8 3 4 1 1 9 0 4 4 2 2 8 6 1 5 0 2 1 2 2 9 9 9 1 1 0 4 7 6 1 8 7 4 8 1 5 8 0 5 1 8 1 8 4 2 9 7 3 1 2 4 5 9 4 9 2 3 4 2 7 4 0 4 2 1 9 6 0 0 5 1 7 1 4 7 1 5 1 5 4 6 2 2 7 5 0 1 8 8 2 2 2 4 9 7 8 7 4 9 9 7 0 1 6 9 2 7 4 6 9 6 0 0 5 6 6 9 9 6 8 2 1 7 7 6 6 7 6 7 7 6 6 8 5 9 3