Name | csp/compet08/ normalized-patat-08-comp-8.xml |
MD5SUM | ecc4645e217ca43fb25e27990367c484 |
Bench Category | GLOBAL (global constraints) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 0.884864 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 400 |
Number of constraints | 3361 |
Maximum constraint arity | 15 |
Maximum domain size | 25 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 2871 |
Global constraints used (with number of constraints) | alldifferent(490) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Mistral-prime 1.313 | 1058189 | SAT | 0.884864 | 0.896295 |
MDG-noprobe 2008-06-27 | 1058181 | SAT | 5.66914 | 5.70624 |
Abscon 112v4 ESAC | 1058193 | SAT | 5.70713 | 5.80051 |
Mistral-option 1.314 | 1058188 | SAT | 6.12507 | 6.12851 |
MDG-probe 2008-06-27 | 1058180 | SAT | 6.12807 | 6.13714 |
Abscon 112v4 AC | 1058192 | SAT | 6.31604 | 6.42325 |
cpHydra k_10 | 1058194 | SAT | 12.3121 | 12.5307 |
cpHydra k_40 | 1058195 | SAT | 12.6021 | 12.8545 |
casper zao | 1058190 | SAT | 14.1828 | 14.2447 |
SAT4J CSP 2008-06-13 | 1058182 | SAT | 17.6143 | 17.7524 |
casper zito | 1058191 | SAT | 25.9811 | 26.2339 |
Sugar v1.13+minisat | 1058184 | SAT | 33.7269 | 34.6777 |
Sugar v1.13+picosat | 1058183 | SAT | 46.6779 | 47.6266 |
Minion/Tailor 2008-07-04 | 1105393 | ? (TO) | 1800.04 | 1801.61 |
bpsolver 2008-06-27 | 1058185 | ? (TO) | 1800.1 | 1806.12 |
choco2_impwdeg 2008-06-26 | 1058186 | ? (TO) | 1800.11 | 1804.78 |
choco2_dwdeg 2008-06-26 | 1058187 | ? (TO) | 1800.12 | 1807.65 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:3 17 7 32 14 8 2 2 36 1 36 29 16 17 10 15 4 20 26 0 8 24 36 41 18 13 0 1 34 30 5 4 10 43 27 19 19 30 3 35 8 6 10 28 4 19 44 39 7 0 18 16 6 20 24 17 41 13 38 35 36 31 27 26 0 9 26 23 6 16 8 23 3 27 39 31 6 13 15 26 12 40 20 5 34 1 10 33 9 34 30 13 34 24 12 39 29 8 15 5 18 3 14 21 19 8 32 1 28 28 27 4 25 11 7 12 19 22 11 18 31 13 17 9 33 25 21 40 11 34 12 17 18 44 5 31 5 43 37 22 21 42 11 34 32 25 37 41 39 32 38 13 35 9 24 22 30 25 36 10 26 28 39 37 22 44 35 10 33 21 14 16 5 30 21 29 20 23 35 3 12 2 41 18 42 14 20 38 23 4 4 22 29 40 7 14 21 0 9 16 2 4 9 2 1 6 7 1 9 5 1 1 6 8 2 2 1 9 5 2 4 6 7 4 9 9 0 1 2 0 8 9 5 1 8 1 2 6 8 9 2 5 1 5 0 4 1 1 5 1 5 8 6 4 7 7 1 5 4 4 5 6 1 1 8 1 4 1 1 9 0 4 4 2 2 8 0 1 5 0 2 1 2 2 9 9 3 1 3 0 4 7 6 1 8 0 4 8 1 5 1 0 5 1 8 1 1 4 2 9 6 2 1 2 4 5 9 4 9 2 1 4 2 7 4 0 4 2 1 1 6 0 0 5 1 7 3 4 7 1 5 1 5 4 6 2 2 7 5 0 1 8 8 2 2 2 1 9 6 8 7 4 9 9 7 0 1 6 9 2 7 4 6 9 6 0 0 0 6 6 9 9 6 8 2 2 5 7 6 6 7 6 7 7 6 6 8 5 9 1