Name | csp/compet02/ normalized-patat-02-comp-7.xml |
MD5SUM | da04246eb2c7c2038e1553efee1f24d9 |
Bench Category | Alldiff (alldiff) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 71.4001 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 700 |
Number of constraints | 33712 |
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 | 33364 |
Global constraints used (with number of constraints) | alldifferent(348) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Mistral 1.545 (complete) | 2064110 | SAT | 71.4001 | 72.0766 |
Sugar v1.14.6+picosat (complete) | 2064107 | SAT | 102.008 | 103.193 |
SAT4J CSP 2.1.1 (complete) | 2064101 | SAT | 1538.06 | 1547.3 |
Sugar v1.14.6+minisat (complete) | 2064108 | SAT | 1546.22 | 1549.42 |
Concrete DC 2009-07-14 (complete) | 2064105 | ? (TO) | 1800.02 | 1809.32 |
Choco2.1.1b 2009-07-16 (complete) | 2115064 | ? (TO) | 1800.08 | 1817.18 |
Concrete 2009-07-14 (complete) | 2064104 | ? (TO) | 1800.08 | 1809.22 |
bpsolver 09 (complete) | 2064111 | ? (TO) | 1800.1 | 1807.42 |
Abscon 112v4 AC (complete) | 2094305 | ? (TO) | 1800.13 | 1807.91 |
Abscon 112v4 ESAC (complete) | 2094306 | ? (TO) | 1800.15 | 1816.88 |
Choco2.1.1 2009-06-10 (complete) | 2064106 | ? (TO) | 1800.22 | 1806.52 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:33 24 23 42 32 15 1 25 12 31 28 31 2 19 25 34 30 22 31 30 0 14 42 26 24 1 38 7 29 10 36 39 43 44 29 33 9 32 8 41 15 11 37 29 37 6 40 43 35 44 6 21 21 43 25 35 4 9 24 12 14 16 32 1 4 41 29 18 4 31 3 20 1 14 32 10 11 14 8 24 26 38 6 32 41 18 8 43 9 37 37 38 39 6 13 0 5 4 5 16 26 7 7 4 42 12 29 34 28 3 40 3 29 30 18 34 36 37 38 33 0 12 19 9 15 27 2 14 9 7 36 36 31 40 11 36 3 34 2 43 41 2 8 14 3 3 17 42 4 41 1 20 10 10 0 9 43 40 5 42 20 34 44 14 23 27 33 44 42 34 27 27 1 12 17 4 25 7 7 0 10 10 32 28 8 21 40 36 39 4 39 12 20 42 0 37 39 3 21 37 40 15 22 13 16 5 12 35 11 15 23 41 5 32 35 11 8 35 36 19 43 19 6 9 13 43 3 20 13 38 40 42 41 2 24 34 38 44 34 8 1 35 10 0 38 30 23 39 10 33 44 4 44 8 7 37 3 14 35 17 44 15 16 2 0 34 39 16 2 36 5 22 2 10 12 17 21 44 37 9 16 40 1 7 5 6 0 31 5 20 7 13 31 40 33 25 29 38 43 1 42 26 33 5 13 6 17 41 2 28 1 17 33 23 26 30 35 11 2 39 0 13 5 22 17 11 40 41 22 23 26 33 35 18 28 3 27 43 44 6 25 17 19 12 39 6 9 37 9 30 8 9 2 0 8 6 4 5 9 3 8 4 4 5 4 9 1 8 8 3 8 3 7 2 3 1 6 2 0 5 3 8 6 8 4 6 6 9 0 4 7 3 1 9 3 9 1 2 2 2 2 5 0 3 9 8 8 7 5 5 6 5 3 2 2 2 1 3 9 1 5 2 8 9 0 7 8 2 3 2 5 1 0 6 3 9 5 5 9 8 6 9 0 4 9 1 8 5 2 9 9 9 7 0 9 3 3 3 2 6 9 1 8 5 8 4 5 5 2 4 2 8 3 0 3 5 6 5 3 1 6 0 9 0 5 1 8 8 8 1 0 7 2 8 4 2 7 3 1 6 9 0 6 2 0 1 7 2 1 2 9 1 9 1 3 9 7 5 6 5 8 2 5 6 9 4 2 3 5 4 9 1 7 5 9 3 4 2 6 3 9 2 3 1 7 7 4 0 9 9 5 8 5 2 6 0 1 5 2 5 5 1 3 5 0 4 7 4 8 9 4 8 1 5 5 8 9 8 3 5 7 8 5 5 8 0 8 0 6 1 3 6 0 6 3 9 4 3 3 5 7 6 1 8 8 4 7 0 9 2 3 9 1 2 3 2 2 8 9 9 5 9 0 8 7 3 8 6 0 8 3 6 7 6 6 6 9 5 9 5 4 4 6 8 2 8 5 0 0 6 5 3 3 4 8 5 6 8 1 3 0 4 9 9 8 8 3 1 3 1 5 6 7 2 8 9 3 9 3 8 0 1 1 5 9 3 3 9 4 8 3 5 2 0 5 3 4 2 2 2