Name | csp/compet02/ normalized-patat-02-comp-20.xml |
MD5SUM | be35789960256c589543366605c747b5 |
Bench Category | GLOBAL (global constraints) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 115.765 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 700 |
Number of constraints | 46582 |
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 | 46282 |
Global constraints used (with number of constraints) | alldifferent(300) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Sugar v1.13+picosat | 1058439 | SAT | 115.765 | 127.742 |
cpHydra k_10 | 1058450 | SAT | 390.815 | 394.649 |
Mistral-prime 1.313 | 1058445 | SAT | 393.952 | 397.724 |
cpHydra k_40 | 1058451 | SAT | 946.44 | 946.989 |
Sugar v1.13+minisat | 1058440 | SAT | 1340.7 | 1345.99 |
MDG-probe 2008-06-27 | 1058436 | ? (TO) | 1800.03 | 1810.12 |
bpsolver 2008-06-27 | 1058441 | ? (TO) | 1800.05 | 1815.42 |
casper zito | 1058447 | ? (TO) | 1800.07 | 1810.33 |
Mistral-option 1.314 | 1058444 | ? (TO) | 1800.07 | 1803.22 |
Minion/Tailor 2008-07-04 | 1105370 | ? (TO) | 1800.08 | 1802.62 |
casper zao | 1058446 | ? (TO) | 1800.11 | 1815.08 |
Abscon 112v4 ESAC | 1058449 | ? (TO) | 1800.11 | 1817.39 |
MDG-noprobe 2008-06-27 | 1058437 | ? (TO) | 1800.11 | 1815.13 |
choco2_dwdeg 2008-06-26 | 1058443 | ? (TO) | 1800.12 | 1808.87 |
choco2_impwdeg 2008-06-26 | 1058442 | ? (TO) | 1800.16 | 1801.01 |
Abscon 112v4 AC | 1058448 | ? (TO) | 1800.16 | 1815.41 |
SAT4J CSP 2008-06-13 | 1058438 | ? (TO) | 1800.38 | 1809.29 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:16 21 0 0 37 19 18 39 22 18 20 11 8 11 31 22 5 37 9 20 1 3 6 42 30 8 5 0 26 11 0 6 7 1 5 35 15 5 2 2 7 23 8 37 10 1 35 36 7 5 8 7 10 3 8 34 9 11 15 4 13 12 5 2 0 5 3 29 30 29 4 4 25 6 8 12 19 42 4 13 28 22 2 24 32 7 1 38 4 10 28 14 13 11 12 3 9 6 14 13 25 16 1 17 8 14 1 15 14 34 15 16 29 41 33 27 0 10 17 20 36 5 6 3 0 18 24 24 9 43 14 7 1 18 7 13 35 33 10 4 20 13 17 2 21 3 18 1 19 10 30 44 12 38 22 16 17 19 29 24 23 20 4 4 6 16 24 9 21 23 29 14 18 16 11 23 20 11 44 12 43 21 11 20 22 24 17 30 19 21 27 23 20 25 31 23 25 24 25 23 10 3 26 3 27 12 19 28 25 19 13 23 28 21 29 29 44 31 26 2 32 25 26 30 25 22 28 30 31 32 31 15 31 36 33 26 42 9 29 34 26 30 16 2 33 8 32 8 16 34 28 32 12 9 31 33 34 5 35 34 22 37 36 34 35 15 36 38 32 39 40 31 25 13 27 14 22 33 37 38 26 37 36 43 33 39 15 35 35 34 24 9 14 38 36 2 6 44 40 33 38 37 38 37 39 40 31 38 16 39 37 18 40 41 3 41 10 44 40 41 40 41 43 40 21 1 42 27 42 41 42 4 39 43 32 43 43 42 21 43 44 44 43 44 42 26 30 18 35 27 4 8 2 4 8 2 6 2 6 7 8 8 5 3 5 8 2 4 8 9 3 8 6 7 3 2 1 5 5 4 3 8 9 5 6 5 5 4 6 8 4 1 4 7 6 8 6 4 0 3 1 2 8 1 8 3 3 0 4 0 5 5 8 2 9 5 9 8 1 4 7 9 9 0 9 4 3 8 6 0 4 9 7 4 2 6 9 2 3 9 2 8 6 2 9 7 7 9 4 4 0 9 7 9 0 5 4 3 9 9 1 8 0 2 8 8 8 7 5 7 9 7 5 5 6 2 3 5 0 8 2 5 0 3 3 7 4 4 0 8 2 2 4 5 3 4 9 6 5 4 7 6 2 4 3 3 2 0 5 6 0 5 5 4 2 5 7 9 1 3 3 6 5 2 5 6 1 6 4 6 6 2 9 6 4 2 3 0 9 9 2 4 4 4 6 8 3 8 5 5 3 0 2 6 9 1 8 5 1 4 3 2 8 7 2 1 7 0 8 4 3 8 1 8 7 1 9 5 9 5 1 2 8 8 2 7 2 2 9 2 4 2 7 3 7 7 4 3 6 4 3 7 3 6 2 5 6 9 2 7 5 2 5 5 3 7 0 7 8 4 9 4 2 8 4 7 2 0 6 3 3 5 3 4 9 7 9 8 0 8 0 4 3 1 2 9 3 2 5 3 9 3 8 1 3 8 3 5 0 8 9 8 2 5 2 9 2 8 7 8 4 3 1 0 4 2 6 5 9 4 4 2 9 2 9 5 3 3 0 0 1 9 9 5 5 9 9 4 9 1