Name | csp/compet02/ normalized-patat-02-comp-4.xml |
MD5SUM | 9d111ad847d28c529e11463744b5c0db |
Bench Category | GLOBAL (global constraints) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 96.8413 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 800 |
Number of constraints | 35311 |
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 | 35011 |
Global constraints used (with number of constraints) | alldifferent(300) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
cpHydra k_10 | 1058306 | SAT | 96.8413 | 97.3746 |
Mistral-prime 1.313 | 1058301 | SAT | 97.0392 | 97.6758 |
Sugar v1.13+picosat | 1058295 | SAT | 105.118 | 106.31 |
cpHydra k_40 | 1058307 | SAT | 687.867 | 696.244 |
Sugar v1.13+minisat | 1058296 | SAT | 941.351 | 948.622 |
Mistral-option 1.314 | 1058300 | ? (TO) | 1800.05 | 1808.12 |
MDG-noprobe 2008-06-27 | 1058293 | ? (TO) | 1800.06 | 1813.52 |
bpsolver 2008-06-27 | 1058297 | ? (TO) | 1800.07 | 1808.22 |
casper zito | 1058303 | ? (TO) | 1800.08 | 1807.23 |
Minion/Tailor 2008-07-04 | 1105373 | ? (TO) | 1800.08 | 1807.11 |
MDG-probe 2008-06-27 | 1058292 | ? (TO) | 1800.09 | 1815.02 |
choco2_impwdeg 2008-06-26 | 1058298 | ? (TO) | 1800.11 | 1803.57 |
casper zao | 1058302 | ? (TO) | 1800.14 | 1813.48 |
choco2_dwdeg 2008-06-26 | 1058299 | ? (TO) | 1800.14 | 1809.18 |
Abscon 112v4 ESAC | 1058305 | ? (TO) | 1800.17 | 1807.49 |
Abscon 112v4 AC | 1058304 | ? (TO) | 1800.18 | 1807.32 |
SAT4J CSP 2008-06-13 | 1058294 | ? (TO) | 1800.24 | 1803.34 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:2 11 6 34 30 2 31 24 0 10 5 18 31 42 4 5 15 16 34 36 4 8 24 14 26 41 1 21 8 12 43 37 9 12 3 27 13 24 4 34 13 14 6 35 7 22 17 14 36 3 25 11 15 21 29 30 36 14 20 27 13 21 35 12 7 7 39 28 38 22 28 35 36 34 10 5 21 37 18 1 31 9 41 5 15 9 33 42 29 30 17 6 33 2 12 8 2 7 44 8 24 12 17 10 4 6 19 10 28 13 28 28 43 26 32 33 1 24 27 23 32 10 18 7 3 19 3 41 12 25 7 39 22 20 15 27 29 2 12 36 20 23 6 28 32 2 32 27 0 6 14 38 32 29 19 31 9 16 8 16 18 21 3 10 23 3 35 15 13 25 19 25 40 42 0 26 9 20 27 24 14 8 3 44 39 12 32 24 32 23 5 26 33 25 7 29 31 25 8 30 38 35 2 6 36 5 43 37 16 23 34 17 6 39 18 32 43 36 33 40 29 44 27 24 26 17 5 19 25 27 14 16 0 3 43 9 39 2 9 16 1 16 0 10 29 43 21 30 24 6 6 18 24 4 11 35 15 40 28 13 9 19 31 26 16 10 44 38 17 1 20 0 5 12 22 26 15 32 9 11 27 35 17 38 38 14 1 26 13 30 30 11 32 25 19 10 22 21 28 21 41 13 20 9 3 33 34 29 19 17 31 23 34 33 4 21 39 38 14 31 44 20 17 4 0 15 4 38 27 16 22 13 11 41 29 14 2 18 37 37 40 26 42 12 37 40 13 30 11 23 28 22 1 41 4 41 2 37 23 7 20 39 5 33 44 0 1 42 31 40 1 15 18 7 20 21 34 3 10 35 4 0 17 11 22 19 0 8 30 33 11 11 5 8 25 31 1 7 18 36 0 4 7 1 1 7 4 7 5 8 6 1 7 0 0 4 8 7 5 6 4 7 1 2 3 3 9 4 2 9 1 1 6 7 4 8 5 0 1 2 1 0 1 7 5 1 7 4 4 2 2 3 4 7 0 4 7 8 0 6 3 1 2 3 7 4 2 9 9 3 6 1 2 0 3 5 8 3 2 7 0 2 0 9 3 8 4 4 7 7 8 2 5 1 6 5 5 1 1 1 9 1 1 5 8 6 6 6 8 4 1 4 8 6 0 2 0 6 5 3 8 2 0 9 1 8 9 5 5 6 8 6 4 1 9 2 4 2 8 1 3 0 5 0 9 3 7 9 7 8 3 0 6 5 0 1 0 1 4 3 7 2 3 7 4 0 3 1 6 1 1 9 1 3 9 0 5 7 0 4 1 0 5 4 1 0 1 2 4 2 2 9 7 4 2 8 5 7 9 8 8 9 4 4 9 0 3 0 6 1 9 0 0 4 4 5 2 3 0 4 3 8 1 8 2 3 7 2 3 7 9 2 2 6 4 3 3 9 1 0 5 4 0 1 1 6 6 9 3 9 3 9 5 9 8 0 7 0 7 2 4 7 2 8 8 0 2 6 4 2 9 3 3 2 9 4 0 2 9 2 4 4 5 3 2 6 1 7 9 2 0 7 3 0 3 9 7 0 5 3 1 0 8 7 7 3 3 2 4 6 3 7 7 8 2 5 0 1 5 9 6 2 2 6 4 2 7 4 3 9 0 8 1 4 6 7 6 6 2 9 2 1 6 4 4 9 7 3 5 8 3 2 3 6 3 2 8 8 9 0 4 9 1 1 3 1 4 1 6 3 6 6 3 3 6 9 4 8 4 6 5 8 9 6 8 9 6 3 6 6 0 9 8 8 8 8 8 6 8 0