Name | csp/compet02/ normalized-patat-02-comp-5.xml |
MD5SUM | 9ff660f6666838f622d78805b358143b |
Bench Category | GLOBAL (global constraints) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 19.1671 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 700 |
Number of constraints | 11590 |
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 | 11291 |
Global constraints used (with number of constraints) | alldifferent(299) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Mistral-prime 1.313 | 1058317 | SAT | 19.1671 | 19.3379 |
Sugar v1.13+minisat | 1058312 | SAT | 25.3821 | 25.7593 |
cpHydra k_10 | 1058322 | SAT | 27.0799 | 27.1738 |
Sugar v1.13+picosat | 1058311 | SAT | 61.5546 | 62.4316 |
Mistral-option 1.314 | 1058316 | SAT | 179.91 | 180.618 |
SAT4J CSP 2008-06-13 | 1058310 | SAT | 290.227 | 289.373 |
cpHydra k_40 | 1058323 | SAT | 485.644 | 485.823 |
Abscon 112v4 AC | 1058320 | SAT | 506.75 | 511.39 |
Abscon 112v4 ESAC | 1058321 | SAT | 543.617 | 548.535 |
bpsolver 2008-06-27 | 1058313 | ? (TO) | 1800.02 | 1811.51 |
MDG-probe 2008-06-27 | 1058308 | ? (TO) | 1800.03 | 1814.51 |
Minion/Tailor 2008-07-04 | 1105374 | ? (TO) | 1800.07 | 1815.41 |
MDG-noprobe 2008-06-27 | 1058309 | ? (TO) | 1800.07 | 1807.71 |
casper zito | 1058319 | ? (TO) | 1800.08 | 1806.43 |
choco2_impwdeg 2008-06-26 | 1058314 | ? (TO) | 1800.14 | 1805.19 |
choco2_dwdeg 2008-06-26 | 1058315 | ? (TO) | 1800.15 | 1812.47 |
casper zao | 1058318 | ? (TO) | 1800.18 | 1803.78 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:30 7 2 42 30 12 42 16 9 1 0 25 19 8 31 8 28 21 12 42 22 2 24 5 37 9 3 38 2 25 16 11 44 22 29 5 17 12 26 9 12 15 1 15 2 16 32 19 26 13 9 4 7 17 5 16 36 14 42 4 37 32 13 41 28 28 35 31 5 6 38 17 1 1 26 3 34 23 34 40 19 10 17 6 2 37 30 12 37 7 13 21 29 44 33 22 44 27 7 38 17 4 34 28 10 6 3 32 1 16 29 40 36 10 21 39 33 40 31 41 14 13 9 11 16 17 23 22 21 21 10 14 29 4 1 14 0 5 32 38 24 15 18 11 31 28 7 26 43 24 24 4 21 24 12 22 29 6 2 7 34 27 32 35 31 12 27 11 22 35 10 3 37 23 9 18 23 19 36 34 20 32 30 43 37 43 14 39 27 30 22 9 7 5 20 18 19 12 19 17 25 27 12 15 11 33 25 18 2 6 27 15 17 11 23 28 16 25 1 4 6 27 1 36 33 13 3 6 15 28 3 23 20 0 6 10 0 18 10 24 32 5 0 36 25 3 24 26 7 8 14 3 19 14 14 20 8 41 4 0 14 11 35 18 5 29 9 7 20 13 13 8 0 9 2 13 7 3 41 4 39 39 21 15 0 5 29 26 30 19 18 18 21 37 43 44 1 20 22 20 34 23 42 19 9 15 27 0 16 38 4 20 25 29 16 35 12 8 26 33 6 37 40 25 31 11 33 5 2 26 11 0 8 30 24 13 28 8 20 26 2 36 6 8 28 23 22 15 33 15 3 1 3 5 4 0 1 4 7 7 2 7 5 8 7 7 4 4 6 7 1 2 5 7 7 2 3 3 9 2 0 7 0 3 1 2 2 5 0 9 8 7 1 0 0 3 0 6 1 5 1 3 8 6 6 2 5 9 3 2 1 7 0 3 7 1 3 5 0 2 1 7 3 2 3 4 5 7 0 3 4 2 9 5 6 3 9 4 6 7 4 1 0 5 7 2 3 7 5 0 5 9 6 5 0 6 0 3 0 7 4 0 4 6 3 3 1 5 0 1 4 6 5 3 5 3 3 6 2 6 7 0 2 4 6 7 1 4 1 5 4 5 3 6 3 0 2 7 5 0 7 8 9 6 1 9 6 4 5 0 4 9 9 5 4 2 0 5 5 1 1 2 0 9 8 6 4 0 0 7 3 4 5 0 4 4 2 0 1 1 0 0 4 1 0 5 3 9 7 4 1 5 3 6 0 9 3 7 1 3 6 8 0 8 5 6 6 4 4 0 8 3 9 3 6 3 1 7 1 3 7 2 6 3 1 5 6 4 4 3 5 3 0 6 9 9 1 6 3 0 3 5 2 1 5 4 6 5 7 5 6 1 4 0 8 7 4 9 7 2 1 3 8 3 8 9 6 6 0 1 7 1 0 2 4 5 5 5 0 1 2 9 7 5 3 6 5 2 7 5 3 0 0 9 6 4 2 9 9 7 6 1 5 3 1 0 7 9 2 0 0 9 7 0 9 2 3 9 7 9 4 7 1 7 2 7 2 4 9 4 4 9 9 2 9 1 4 3 4 9