Name | csp/compet02/ normalized-patat-02-comp-6.xml |
MD5SUM | 4557782171b25598d03a057775c7d656 |
Bench Category | GLOBAL (global constraints) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 118.276 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 700 |
Number of constraints | 45572 |
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 | 45272 |
Global constraints used (with number of constraints) | alldifferent(300) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Sugar v1.13+picosat | 1058327 | SAT | 118.276 | 120.913 |
Mistral-prime 1.313 | 1058333 | SAT | 178.667 | 180.234 |
cpHydra k_10 | 1058338 | SAT | 203.776 | 205.828 |
cpHydra k_40 | 1058339 | SAT | 769.533 | 775.77 |
Mistral-option 1.314 | 1058332 | SAT | 1246.69 | 1251.69 |
Sugar v1.13+minisat | 1058328 | SAT | 1389.13 | 1407.98 |
Abscon 112v4 ESAC | 1058337 | ? (MO) | 11.9652 | 12.1051 |
MDG-noprobe 2008-06-27 | 1058325 | ? (TO) | 1800.03 | 1813.93 |
Minion/Tailor 2008-07-04 | 1105375 | ? (TO) | 1800.05 | 1811.31 |
MDG-probe 2008-06-27 | 1058324 | ? (TO) | 1800.11 | 1801.02 |
bpsolver 2008-06-27 | 1058329 | ? (TO) | 1800.12 | 1813.82 |
casper zao | 1058334 | ? (TO) | 1800.14 | 1809.18 |
casper zito | 1058335 | ? (TO) | 1800.14 | 1805.14 |
SAT4J CSP 2008-06-13 | 1058326 | ? (TO) | 1800.15 | 1806.94 |
choco2_dwdeg 2008-06-26 | 1058331 | ? (TO) | 1800.17 | 1811.02 |
choco2_impwdeg 2008-06-26 | 1058330 | ? (TO) | 1800.18 | 1803.8 |
Abscon 112v4 AC | 1058336 | ? (TO) | 1800.23 | 1818.62 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:12 44 25 11 13 36 42 2 7 15 29 2 35 31 28 0 17 32 5 29 34 2 4 14 5 2 9 24 6 10 2 0 31 3 42 7 18 27 13 30 21 22 16 16 8 20 16 26 44 44 22 1 22 32 6 5 18 40 2 4 3 10 6 9 36 33 31 19 6 11 19 26 8 44 19 10 7 12 14 5 39 36 9 43 9 31 8 18 19 28 12 8 43 20 15 27 7 6 42 11 15 12 14 4 26 14 1 18 31 13 3 32 8 5 28 12 19 10 13 11 15 27 41 34 20 33 9 12 17 23 1 26 9 36 20 21 15 6 22 1 22 31 9 18 27 17 10 14 24 11 15 2 11 36 7 13 13 0 27 16 12 17 10 21 0 18 28 37 7 12 19 18 22 23 19 21 6 21 11 42 5 32 19 20 17 38 37 8 28 28 29 22 3 24 22 8 25 26 18 38 16 23 0 21 25 5 3 22 5 37 4 10 34 44 6 33 30 9 21 14 23 23 24 17 40 31 27 27 1 13 25 2 29 33 33 26 34 29 23 26 0 25 30 6 5 37 21 34 43 28 30 16 14 15 4 14 2 7 41 29 7 35 30 29 20 4 44 34 39 30 43 32 34 35 35 3 8 36 39 37 36 30 1 23 16 37 25 33 1 27 43 34 4 25 35 38 24 37 40 39 41 35 40 13 11 38 2 37 33 38 25 39 36 40 0 40 41 38 7 23 11 15 12 3 39 14 39 11 4 41 29 33 41 31 24 32 32 44 4 3 43 42 42 44 38 24 27 0 43 39 2 0 4 5 0 5 0 2 9 2 7 8 2 8 2 1 4 0 0 0 3 3 0 0 2 9 3 0 7 2 5 0 3 1 5 6 8 9 4 3 6 5 0 3 3 7 9 6 5 2 7 0 0 3 5 5 5 0 0 6 7 4 6 1 9 2 6 0 9 2 8 0 2 8 9 6 3 7 4 1 9 6 5 3 0 2 6 2 1 5 5 8 6 2 4 2 7 8 3 1 6 1 6 9 2 2 8 6 5 3 2 2 5 9 0 0 7 0 9 4 8 4 5 5 9 1 8 3 2 8 5 8 2 4 3 0 5 0 6 3 4 0 6 7 3 1 5 9 5 7 3 1 6 2 5 5 2 9 5 2 6 6 3 5 7 0 1 1 8 8 6 3 2 4 2 9 4 2 9 2 8 5 5 6 0 2 0 7 7 8 6 1 5 2 9 4 6 1 9 5 6 0 5 8 9 3 6 8 6 6 2 1 6 7 2 8 5 4 1 5 3 2 3 7 3 7 7 8 7 6 2 4 5 5 0 5 2 1 5 3 2 5 0 3 4 2 4 7 0 6 4 4 7 0 8 3 6 2 2 3 4 6 2 2 5 1 6 8 5 8 5 7 9 3 5 4 0 1 3 4 7 6 6 6 7 7 7 9 2 0 8 1 5 3 1 9 9 5 2 8 6 0 9 1 8 0 7 3 7 6 1 0 8 6 3 5 9 3 1 9 3 9 9 8 6 1 4 0 3 0 4 6 3 1 6 6 1 3 7 0 9 4 6 9 8 8 6 6 2 2