Name | csp/compet08/ normalized-patat-08-comp-12.xml |
MD5SUM | 3aaedc74d6ee49711e76829517479c6b |
Bench Category | GLOBAL (global constraints) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 70.6483 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 800 |
Number of constraints | 33494 |
Maximum constraint arity | 23 |
Maximum domain size | 34 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 33194 |
Global constraints used (with number of constraints) | alldifferent(300) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Mistral-option 1.314 | 1058092 | SAT | 70.6483 | 71.1846 |
Mistral-prime 1.313 | 1058093 | SAT | 88.7905 | 89.652 |
cpHydra k_10 | 1058098 | SAT | 92.4539 | 93.4335 |
MDG-probe 2008-06-27 | 1058084 | SAT | 96.8543 | 97.7974 |
Sugar v1.13+picosat | 1058087 | SAT | 137.686 | 138.606 |
Sugar v1.13+minisat | 1058088 | SAT | 172.851 | 174.67 |
Abscon 112v4 ESAC | 1058097 | SAT | 242.452 | 244.796 |
cpHydra k_40 | 1058099 | SAT | 344.985 | 345.424 |
Abscon 112v4 AC | 1058096 | SAT | 375.454 | 378.834 |
bpsolver 2008-06-27 | 1058089 | ? (TO) | 1800.03 | 1808.43 |
Minion/Tailor 2008-07-04 | 1105381 | ? (TO) | 1800.05 | 1814.31 |
casper zito | 1058095 | ? (TO) | 1800.08 | 1804.52 |
casper zao | 1058094 | ? (TO) | 1800.1 | 1808.57 |
SAT4J CSP 2008-06-13 | 1058086 | ? (TO) | 1800.1 | 1813.36 |
MDG-noprobe 2008-06-27 | 1058085 | ? (TO) | 1800.11 | 1801.32 |
choco2_dwdeg 2008-06-26 | 1058091 | ? (TO) | 1800.14 | 1806.37 |
choco2_impwdeg 2008-06-26 | 1058090 | ? (TO) | 1800.2 | 1809.01 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:1 38 22 16 5 37 11 4 23 34 17 10 37 2 22 16 10 33 39 31 19 17 27 15 20 21 6 6 3 42 19 11 12 30 4 3 12 37 16 38 10 5 6 28 23 8 22 1 2 9 23 14 20 29 12 35 9 41 14 7 39 23 4 14 26 7 10 40 20 39 24 14 2 26 20 33 20 4 22 44 32 39 7 13 19 31 25 44 38 4 32 31 18 42 36 0 40 17 24 16 42 12 15 23 32 18 26 41 41 17 24 23 31 13 34 35 9 16 2 13 33 10 37 32 5 11 27 25 9 15 34 40 15 1 38 8 32 2 43 5 24 3 36 15 6 8 27 25 15 28 22 30 44 26 16 13 31 32 29 40 4 27 8 10 36 20 25 43 2 1 5 33 22 28 19 42 3 17 4 5 21 19 31 12 21 29 25 12 13 18 27 34 12 3 18 1 7 21 1 1 11 14 29 19 30 28 6 25 44 39 12 7 0 9 4 23 30 28 9 26 39 42 43 17 30 38 5 42 28 35 27 4 25 34 33 15 7 8 20 26 11 39 28 3 35 29 42 14 30 35 4 44 7 37 36 9 33 8 30 14 26 14 1 13 0 29 0 31 30 44 3 33 27 27 28 15 3 42 39 26 0 44 18 39 1 38 5 21 29 19 16 24 0 20 18 8 43 43 7 22 27 17 18 0 40 9 17 36 41 12 13 21 8 41 41 29 5 19 25 33 40 40 6 11 40 10 3 37 26 24 6 35 37 18 6 20 34 24 33 41 24 17 31 35 11 43 10 10 3 28 1 32 17 39 21 30 17 30 15 27 43 18 44 30 21 23 41 36 12 36 38 16 33 23 38 44 35 31 5 8 11 15 34 34 13 42 8 0 2 16 37 24 23 34 19 31 21 14 6 0 3 11 2 1 9 0 8 4 1 2 9 6 12 10 9 8 4 3 12 19 4 0 4 11 5 17 17 19 4 3 17 6 0 0 2 8 16 9 13 1 7 5 0 9 6 3 4 6 5 12 12 6 3 4 19 3 2 5 4 2 9 3 3 3 1 11 3 0 9 19 1 5 1 3 1 2 19 12 3 0 1 8 4 4 0 17 5 6 10 1 9 3 1 0 6 2 15 1 8 3 2 3 17 0 4 12 12 4 2 3 3 5 2 2 12 10 4 19 2 13 12 9 1 5 0 5 2 0 8 9 3 2 13 5 2 1 2 3 8 3 6 3 2 8 3 2 10 8 12 6 0 2 1 10 9 0 5 0 12 6 5 6 4 5 3 6 1 2 0 19 10 19 12 17 3 6 7 6 0 4 3 8 0 12 4 3 10 8 1 5 3 0 5 19 6 8 6 1 2 7 3 2 1 5 6 12 9 4 9 3 1 0 4 3 19 4 3 2 0 0 13 19 19 17 9 6 1 4 10 19 1 6 12 1 9 0 12 17 2 4 0 1 0 6 0 0 7 10 19 17 10 3 1 3 9 9 5 0 5 1 6 17 0 3 1 9 13 12 10 2 1 0 17 0 1 3 2 10 17 5 8 12 19 2 4 3 19 2 6 1 0 9 3 12 2 5 1 0 3 1 7 12 4 5 5 1 19 1 3 2 9 19 9 9 12 2 2 2 2 6 3 1 4 4 17 2 5 2 2 4 1 2 5 0 2 0 4 0 4 0 12 2 1 1 1 3 1 0 0 11 1 3 4 6 6 1 8 12 18 5 6 9 4 4 0 2 1 8 4 0 9 2 1 9 4 5 12 9 8 8 2 1 9 6 5 5 19 0 4 4 4 2 17 5 19 13 9 0 13 9