Name | csp/compet08/ normalized-patat-08-comp-7.xml |
MD5SUM | 21e1efd837826f67c36950f4f3fb41e3 |
Bench Category | Alldiff (alldiff) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 5.03323 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 400 |
Number of constraints | 3705 |
Maximum constraint arity | 15 |
Maximum domain size | 24 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 3244 |
Global constraints used (with number of constraints) | alldifferent(461) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Mistral 1.545 (complete) | 2063835 | SAT | 5.03323 | 5.06159 |
SAT4J CSP 2.1.1 (complete) | 2063826 | SAT | 25.8111 | 26.0959 |
Abscon 112v4 AC (complete) | 2094255 | SAT | 26.9099 | 26.9651 |
Concrete 2009-07-14 (complete) | 2063829 | SAT | 50.6913 | 50.0162 |
Sugar v1.14.6+picosat (complete) | 2063832 | SAT | 61.7946 | 62.5481 |
Choco2.1.1 2009-06-10 (complete) | 2063831 | SAT | 105.058 | 105.105 |
Sugar v1.14.6+minisat (complete) | 2063833 | SAT | 117.002 | 118.234 |
Choco2.1.1b 2009-07-16 (complete) | 2115039 | SAT | 176.512 | 178.234 |
Concrete DC 2009-07-14 (complete) | 2063830 | SAT | 219.603 | 222.064 |
Abscon 112v4 ESAC (complete) | 2094256 | SAT | 272.302 | 274.898 |
bpsolver 09 (complete) | 2063836 | ? (TO) | 1800.12 | 1807.31 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:3 12 22 23 41 6 10 39 8 30 2 34 40 32 11 28 19 8 44 42 4 0 9 8 28 27 25 9 26 11 25 16 35 9 3 3 3 23 38 31 14 28 44 33 12 13 36 43 34 7 5 28 29 11 1 38 8 12 30 8 14 24 12 44 16 35 44 16 40 26 31 7 8 10 36 5 38 24 34 37 33 37 30 39 35 17 18 6 4 32 23 16 6 31 19 15 40 18 11 3 26 33 27 15 41 30 9 19 6 30 14 39 10 24 44 41 13 1 41 7 34 38 41 22 42 21 27 17 19 5 8 43 10 37 35 32 38 42 43 25 17 40 29 29 21 20 38 35 36 7 4 12 10 14 27 25 6 26 0 2 18 22 20 17 7 4 33 13 31 0 16 34 42 32 2 21 36 5 39 41 43 4 20 2 29 23 20 1 5 43 12 15 7 14 0 39 37 18 26 17 4 0 6 2 2 0 6 0 0 7 4 3 2 2 4 3 3 5 4 2 6 1 4 3 5 5 0 6 3 2 7 0 7 9 8 3 7 5 2 4 9 9 9 3 7 4 0 8 7 4 5 4 3 7 3 9 9 1 8 7 8 4 3 6 7 8 8 6 8 6 8 2 4 0 1 9 3 3 2 3 0 7 6 6 3 0 9 7 5 9 3 9 9 6 0 3 7 2 9 0 0 5 3 9 3 9 8 8 6 0 0 3 4 9 7 7 8 2 4 8 9 7 8 4 9 0 8 2 9 8 2 2 9 9 5 8 8 3 3 3 8 3 0 9 3 0 6 9 3 3 3 6 3 5 9 2 3 8 6 8 3 0 3 3 5 7 8 6 9 7 2 8 0 3 3 9 5 2 8 5 5 8 9 9 4 1 4 5 6 4 4 8 7 7 0 9 0 8 9 9