Name | csp/compet08/ normalized-patat-08-comp-7.xml |
MD5SUM | 21e1efd837826f67c36950f4f3fb41e3 |
Bench Category | GLOBAL (global constraints) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 7.70283 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 400 |
Number of constraints | 3705 |
Maximum constraint arity | 15 |
Maximum domain size | 24 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 3244 |
Global constraints used (with number of constraints) | alldifferent(461) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
MDG-noprobe 2008-06-27 | 1057957 | SAT | 7.70283 | 7.74377 |
SAT4J CSP 2008-06-13 | 1057958 | SAT | 20.6359 | 20.7127 |
Abscon 112v4 AC | 1057968 | SAT | 27.3428 | 27.6259 |
Mistral-prime 1.313 | 1057965 | SAT | 29.9844 | 30.1182 |
cpHydra k_40 | 1057971 | SAT | 33.4339 | 33.6498 |
cpHydra k_10 | 1057970 | SAT | 34.9777 | 35.7061 |
Mistral-option 1.314 | 1057964 | SAT | 35.4976 | 35.6715 |
Sugar v1.13+minisat | 1057960 | SAT | 37.6863 | 38.1715 |
Sugar v1.13+picosat | 1057959 | SAT | 47.4538 | 47.9896 |
casper zito | 1057967 | SAT | 88.1066 | 88.9227 |
choco2_dwdeg 2008-06-26 | 1057963 | SAT | 240.311 | 241.564 |
Abscon 112v4 ESAC | 1057969 | SAT | 258.025 | 260.241 |
MDG-probe 2008-06-27 | 1057956 | SAT | 365.843 | 369.35 |
Minion/Tailor 2008-07-04 | 1105392 | ? (TO) | 1800.04 | 1800.91 |
casper zao | 1057966 | ? (TO) | 1800.06 | 1819.83 |
bpsolver 2008-06-27 | 1057961 | ? (TO) | 1800.06 | 1807.51 |
choco2_impwdeg 2008-06-26 | 1057962 | ? (TO) | 1800.12 | 1814.98 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:13 33 35 12 41 4 0 14 36 7 15 2 28 7 29 25 12 36 42 44 11 33 27 31 19 16 16 23 10 11 5 25 17 15 8 29 3 7 33 40 2 13 26 20 27 17 19 18 4 32 19 44 4 13 6 38 14 44 37 21 14 24 44 8 16 30 26 40 41 30 12 14 31 0 39 37 44 22 26 2 6 18 21 34 30 3 18 0 9 4 23 38 31 2 39 26 12 18 13 27 15 2 33 28 17 21 23 32 22 5 32 6 21 24 8 10 27 1 11 7 9 6 11 35 6 39 42 20 3 5 42 24 10 35 17 19 38 42 5 40 34 11 9 8 8 35 38 29 0 8 25 3 14 10 41 36 3 9 44 43 7 22 35 25 12 23 21 36 15 1 32 1 43 42 38 34 30 5 10 41 39 35 20 37 4 26 20 9 16 34 12 40 15 11 2 0 37 1 1 43 4 0 6 2 2 0 6 0 0 7 2 3 2 2 4 3 3 3 4 2 6 1 4 3 3 3 0 6 3 2 7 0 7 3 8 3 7 5 2 4 9 0 9 0 7 4 1 8 7 4 0 4 3 7 2 1 9 1 1 7 8 4 3 6 7 8 6 6 8 6 6 2 4 0 2 9 0 1 2 2 0 7 6 6 3 0 0 7 5 9 3 0 9 1 1 3 7 1 9 0 0 5 3 9 3 9 8 8 6 0 0 3 4 6 7 7 8 2 4 4 9 7 8 4 9 0 8 2 1 8 2 2 9 9 5 8 8 0 3 3 8 3 0 9 3 0 6 9 3 2 5 6 3 5 6 1 3 1 6 8 3 0 3 2 5 2 8 6 9 7 2 8 0 3 3 9 5 2 8 3 3 8 9 6 4 0 4 3 1 4 4 8 7 7 0 9 0 0 9 9