Name | csp/compet02/ normalized-patat-02-comp-5.xml |
MD5SUM | 9ff660f6666838f622d78805b358143b |
Bench Category | Alldiff (alldiff) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 10.6124 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 700 |
Number of constraints | 11590 |
Maximum constraint arity | 20 |
Maximum domain size | 45 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 11291 |
Global constraints used (with number of constraints) | alldifferent(299) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Mistral 1.545 (complete) | 2064077 | SAT | 10.6124 | 10.7175 |
Sugar v1.14.6+minisat (complete) | 2064075 | SAT | 24.2663 | 24.6295 |
Sugar v1.14.6+picosat (complete) | 2064074 | SAT | 61.5866 | 62.0662 |
SAT4J CSP 2.1.1 (complete) | 2064068 | SAT | 374.735 | 378.049 |
Abscon 112v4 AC (complete) | 2094299 | SAT | 466.811 | 469.202 |
Abscon 112v4 ESAC (complete) | 2094300 | SAT | 507.381 | 509.923 |
Concrete 2009-07-14 (complete) | 2064071 | SAT | 654.831 | 655.692 |
Concrete DC 2009-07-14 (complete) | 2064072 | ? (TO) | 1800.08 | 1800.92 |
bpsolver 09 (complete) | 2064078 | ? (TO) | 1800.09 | 1811.11 |
Choco2.1.1b 2009-07-16 (complete) | 2115061 | ? (TO) | 1800.13 | 1810.29 |
Choco2.1.1 2009-06-10 (complete) | 2064073 | ? (TO) | 1800.15 | 1807.06 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:23 26 3 19 24 14 6 42 5 32 6 1 44 20 29 40 22 4 28 12 25 5 41 43 20 41 44 8 35 38 30 37 19 43 2 44 36 28 1 41 15 8 33 3 23 1 40 44 38 13 7 16 7 37 12 42 33 18 42 43 22 19 0 24 41 40 27 14 2 31 17 23 18 1 19 29 22 36 7 20 21 37 43 39 35 1 27 37 18 31 44 34 2 1 33 13 36 16 27 38 34 42 39 0 30 5 0 15 2 38 30 23 38 9 37 9 24 15 8 7 5 28 8 31 6 37 6 43 9 28 42 21 28 9 38 10 9 43 4 2 40 38 10 25 17 41 11 44 37 39 24 42 3 3 11 23 31 33 35 35 16 16 4 3 7 2 15 26 16 31 43 0 20 6 6 8 36 32 4 22 41 27 20 44 20 10 33 9 16 12 24 39 1 42 5 31 13 19 7 26 32 25 4 34 11 32 13 35 25 39 4 17 1 2 7 44 30 34 12 43 44 5 0 29 33 40 2 28 23 14 34 35 7 11 0 9 11 31 6 35 12 0 6 29 34 26 36 16 33 42 22 5 7 37 10 17 3 4 41 17 26 39 13 31 14 18 14 21 13 39 29 25 26 32 14 22 33 39 34 1 14 41 33 8 0 40 23 24 10 44 34 28 21 18 21 10 32 4 27 30 12 36 13 25 8 3 30 11 24 26 3 37 29 38 41 42 2 38 10 7 10 20 30 27 12 40 22 14 11 5 32 32 28 23 29 15 32 11 15 18 35 29 8 3 17 14 2 38 25 36 3 1 3 5 4 0 1 4 7 6 2 7 5 8 7 7 4 4 6 7 0 2 5 7 7 2 0 3 9 2 0 7 0 3 9 2 2 5 0 9 8 7 1 0 0 3 0 9 1 5 1 3 8 6 0 2 5 9 3 2 1 7 0 3 7 1 3 5 0 2 1 8 3 2 3 4 5 7 0 3 4 2 9 5 0 9 9 4 0 7 4 1 3 5 7 2 3 7 5 6 5 9 9 5 6 6 6 3 6 7 4 6 4 6 3 3 1 5 0 9 4 8 5 3 5 9 3 6 2 0 7 6 2 4 8 7 9 4 1 5 4 5 3 6 3 0 2 7 5 0 7 8 9 7 1 9 6 4 5 6 4 9 9 5 4 2 0 5 5 1 1 2 0 9 8 8 4 0 0 7 3 4 5 6 4 4 2 0 1 1 0 7 4 1 0 5 9 9 7 4 1 5 3 6 0 9 3 7 1 3 6 0 6 8 5 3 9 4 4 0 8 3 9 3 9 3 1 7 1 3 7 2 3 3 1 5 6 4 4 3 5 3 0 8 9 9 1 0 3 0 0 5 2 8 5 4 8 5 6 5 6 1 4 0 6 7 4 9 7 2 0 3 0 3 8 9 6 6 0 1 7 1 0 2 4 5 5 5 0 1 2 9 7 5 3 9 5 2 7 5 3 6 0 9 6 4 2 9 9 7 6 1 5 3 8 6 7 9 2 6 6 9 7 0 9 2 3 9 7 9 4 7 1 7 2 7 2 4 9 4 4 9 9 2 9 1 4 0 4 9