| Name | csp/compet02/ normalized-patat-02-comp-17.xml |
| MD5SUM | 2c09e70fdcad0fe4d75285080a3072d5 |
| Bench Category | GLOBAL (global constraints) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 4.20836 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 700 |
| Number of constraints | 5793 |
| 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 | 5493 |
| Global constraints used (with number of constraints) | alldifferent(300) |
| Solver Name | TraceID | Answer | CPU time | Wall clock time |
|---|---|---|---|---|
| Abscon 112v4 AC | 1058256 | SAT | 4.20836 | 4.23774 |
| Abscon 112v4 ESAC | 1058257 | SAT | 7.1969 | 7.30956 |
| cpHydra k_40 | 1058259 | SAT | 11.9342 | 12.2653 |
| Mistral-prime 1.313 | 1058253 | SAT | 12.7931 | 12.9123 |
| cpHydra k_10 | 1058258 | SAT | 19.1051 | 19.2886 |
| Sugar v1.13+minisat | 1058248 | SAT | 21.2898 | 21.665 |
| casper zito | 1058255 | SAT | 35.9845 | 36.3133 |
| SAT4J CSP 2008-06-13 | 1058246 | SAT | 48.5536 | 48.2937 |
| Sugar v1.13+picosat | 1058247 | SAT | 58.944 | 59.3714 |
| casper zao | 1058254 | SAT | 551.247 | 555.854 |
| bpsolver 2008-06-27 | 1058249 | ? (TO) | 1800.02 | 1807.11 |
| MDG-probe 2008-06-27 | 1058244 | ? (TO) | 1800.02 | 1812.71 |
| MDG-noprobe 2008-06-27 | 1058245 | ? (TO) | 1800.04 | 1806.01 |
| Minion/Tailor 2008-07-04 | 1105366 | ? (TO) | 1800.06 | 1815.61 |
| Mistral-option 1.314 | 1058252 | ? (TO) | 1800.09 | 1805.61 |
| choco2_impwdeg 2008-06-26 | 1058250 | ? (TO) | 1800.11 | 1809.96 |
| choco2_dwdeg 2008-06-26 | 1058251 | ? (TO) | 1800.16 | 1806.97 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:32 5 1 29 8 21 30 29 6 21 11 4 10 28 19 9 20 23 21 10 31 23 13 4 7 14 2 15 10 33 11 6 3 43 26 32 9 17 11 8 7 6 5 2 25 0 11 6 5 32 8 2 35 6 23 22 2 9 17 25 27 9 10 27 13 8 26 13 16 42 20 16 10 3 3 1 1 14 24 3 4 27 3 9 21 41 34 33 36 29 8 43 19 40 31 11 23 37 19 33 29 26 35 1 35 39 35 23 9 24 30 5 34 26 26 22 17 7 18 23 12 30 27 7 30 36 41 1 1 14 3 37 20 27 25 39 8 16 17 2 13 12 28 10 22 27 20 11 26 12 2 15 37 18 30 41 43 19 21 39 38 24 15 19 34 0 25 24 23 31 8 17 14 14 38 13 28 17 17 40 18 12 9 19 22 20 10 17 9 4 20 21 31 5 12 29 23 18 18 16 18 5 14 30 8 5 13 31 39 35 14 7 19 16 32 24 38 3 16 20 26 22 21 34 10 21 4 2 25 28 37 12 19 11 7 15 10 24 18 28 18 13 0 6 4 4 6 19 7 15 15 4 14 0 36 27 21 25 24 22 23 3 14 24 40 38 0 2 37 29 16 28 25 20 1 44 25 36 31 0 37 9 7 32 30 12 0 28 32 33 1 15 1 17 15 26 28 31 15 6 5 13 3 6 28 18 12 29 27 34 42 34 23 4 39 35 12 5 8 9 26 2 36 5 37 22 21 29 35 30 0 2 14 0 18 11 36 16 12 0 16 16 20 22 40 33 24 1 26 10 0 2 4 6 5 5 9 1 4 6 5 2 8 3 0 6 1 6 4 9 9 9 2 1 9 8 0 7 0 2 7 9 3 8 6 6 8 8 8 3 5 0 9 9 7 4 1 5 8 4 0 7 1 8 4 5 5 2 4 3 8 0 6 7 3 8 0 5 7 8 0 3 3 4 1 8 6 1 4 6 0 3 0 1 8 9 0 0 1 0 7 9 9 4 1 2 0 1 2 7 9 1 2 7 9 2 7 1 7 7 7 4 1 9 8 4 3 0 2 8 4 3 2 7 1 7 7 1 0 4 7 4 9 0 9 8 1 2 0 3 9 1 0 1 3 9 4 0 3 9 2 6 7 6 0 4 1 1 3 0 0 8 4 3 4 1 0 9 7 0 2 1 6 2 6 1 9 7 5 8 3 6 5 8 0 2 4 6 3 9 8 1 8 7 3 3 5 7 5 0 4 0 7 8 6 5 0 2 4 0 9 4 5 9 1 2 1 5 1 3 2 8 7 9 7 2 5 4 8 1 2 7 6 3 1 9 5 0 1 8 0 4 3 1 6 8 2 4 3 2 5 3 0 6 0 1 9 2 3 2 2 8 3 1 1 8 9 1 9 2 8 5 5 7 9 4 1 6 7 7 0 9 6 9 4 8 0 2 2 9 3 8 2 9 0 4 7 4 3 3 3 8 2 7 6 8 2 4 5 7 4 2 3 4 1 6 5 6 9 4 7 8 4 1 8 7 0 7 8 2 2 6 5 8 9 4 9 6 0 5 5 4 5 1 2 8 5 5 5 2