Name | csp/compet02/ normalized-patat-02-comp-14.xml |
MD5SUM | 11f6902a1becd1ad9a2f18db7aea4eb7 |
Bench Category | GLOBAL (global constraints) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 58.7261 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 700 |
Number of constraints | 33340 |
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 | 32990 |
Global constraints used (with number of constraints) | alldifferent(350) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Mistral-prime 1.313 | 1058205 | SAT | 58.7261 | 59.0087 |
cpHydra k_10 | 1058210 | SAT | 64.2492 | 64.9375 |
Sugar v1.13+picosat | 1058199 | SAT | 108.1 | 109.547 |
cpHydra k_40 | 1058211 | SAT | 647.87 | 649.322 |
Mistral-option 1.314 | 1058204 | SAT | 940.265 | 942.837 |
Sugar v1.13+minisat | 1058200 | SAT | 1250 | 1252.81 |
SAT4J CSP 2008-06-13 | 1058198 | SAT | 1437.58 | 1444.22 |
MDG-probe 2008-06-27 | 1058196 | ? (TO) | 1800.03 | 1808.12 |
Minion/Tailor 2008-07-04 | 1105363 | ? (TO) | 1800.07 | 1815.91 |
casper zito | 1058207 | ? (TO) | 1800.1 | 1802.24 |
bpsolver 2008-06-27 | 1058201 | ? (TO) | 1800.1 | 1806.92 |
MDG-noprobe 2008-06-27 | 1058197 | ? (TO) | 1800.11 | 1814.72 |
choco2_dwdeg 2008-06-26 | 1058203 | ? (TO) | 1800.13 | 1814.9 |
Abscon 112v4 ESAC | 1058209 | ? (TO) | 1800.15 | 1808.59 |
Abscon 112v4 AC | 1058208 | ? (TO) | 1800.18 | 1812.49 |
casper zao | 1058206 | ? (TO) | 1800.18 | 1800.98 |
choco2_impwdeg 2008-06-26 | 1058202 | ? (TO) | 1800.19 | 1806.81 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:3 34 0 19 31 7 21 20 38 3 15 32 33 2 12 1 34 33 11 2 24 19 42 40 4 11 35 0 20 22 5 13 15 24 3 6 16 11 10 36 25 37 20 6 20 26 37 22 33 3 12 13 11 42 31 3 2 32 18 44 16 23 39 21 14 8 24 33 21 18 5 4 20 16 0 29 36 20 20 40 30 0 2 4 18 10 14 30 17 9 34 32 24 1 13 35 28 24 17 7 27 13 22 8 15 0 14 12 12 6 6 3 22 17 23 15 33 0 17 17 24 16 26 3 11 31 15 27 10 1 37 43 24 32 4 8 43 1 8 38 23 18 27 27 29 9 25 20 29 2 13 34 42 37 10 35 25 20 27 5 1 12 19 15 28 3 4 7 25 5 19 8 11 9 8 24 28 2 16 33 23 21 4 37 40 30 28 26 27 21 12 31 8 9 32 1 19 7 23 16 41 39 10 19 11 31 2 7 12 6 0 14 21 29 6 7 11 10 42 39 30 12 18 31 26 1 36 9 26 20 19 1 36 26 36 25 21 2 9 44 32 6 32 18 3 28 38 27 17 6 8 40 30 37 35 36 0 26 19 22 13 1 44 15 33 15 19 6 22 41 30 29 22 10 3 11 24 0 23 16 38 7 10 14 14 13 41 17 14 35 28 26 11 25 32 6 18 14 17 34 2 23 5 21 9 8 1 4 13 7 39 9 12 38 35 4 43 28 2 27 40 7 13 14 39 44 0 29 23 10 4 5 43 5 5 9 25 41 10 18 18 9 28 16 30 16 15 17 7 13 3 2 7 0 2 2 1 0 6 6 7 0 1 0 1 1 6 7 2 2 3 1 0 1 5 9 5 0 4 0 0 0 3 0 9 4 1 1 7 6 1 0 6 2 9 7 3 3 5 4 7 8 0 2 1 1 1 3 3 1 6 1 0 0 4 1 4 2 7 4 5 9 3 7 6 6 1 8 7 2 4 4 6 7 0 2 2 2 6 0 0 9 5 0 9 2 1 1 0 7 2 1 5 3 2 5 7 0 5 6 9 0 7 2 3 9 3 3 5 4 6 5 2 7 3 6 5 1 4 7 2 1 9 4 3 6 6 3 5 0 0 6 6 5 0 3 0 2 1 9 5 7 1 4 3 7 3 1 9 3 2 9 4 8 5 5 4 4 2 7 6 4 5 7 7 7 0 4 9 0 5 6 0 1 8 0 8 1 3 8 6 5 0 4 2 4 2 0 7 8 2 2 6 5 4 0 5 3 3 3 8 5 3 3 7 5 7 5 6 6 5 2 5 7 0 9 7 6 5 5 3 5 9 9 2 5 5 7 5 2 1 1 6 9 8 7 2 7 1 5 2 6 1 6 6 0 2 6 7 2 7 6 0 0 6 1 9 8 1 0 6 5 6 9 2 6 2 9 9 3 1 1 1 6 0 6 6 3 3 1 3 3 8 6 7 0 8 8 8 1 8 6 2 2 1 8 8 1 4 9 1 9 8 7 0 2 0 6 3 0 0 6 2 1 7 6 1 2 2 8 6 4 2 6 1 2 7 1 0 1 2 8 2 0 7 2 6 7 8 3