Name | csp/compet08/ normalized-patat-08-comp-10.xml |
MD5SUM | 3a46901a8ea2c192a6f5d5f8c9f3ac47 |
Bench Category | GLOBAL (global constraints) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1.67974 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 400 |
Number of constraints | 6793 |
Maximum constraint arity | 15 |
Maximum domain size | 33 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 5889 |
Global constraints used (with number of constraints) | alldifferent(904) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Mistral-prime 1.313 | 1058157 | SAT | 1.67974 | 1.69926 |
cpHydra k_10 | 1058162 | SAT | 1.71574 | 1.73048 |
MDG-noprobe 2008-06-27 | 1058149 | SAT | 2.02469 | 2.0356 |
cpHydra k_40 | 1058163 | SAT | 2.05469 | 2.0652 |
Abscon 112v4 ESAC | 1058161 | SAT | 11.8682 | 11.9513 |
MDG-probe 2008-06-27 | 1058148 | SAT | 19.867 | 24.2293 |
casper zito | 1058159 | SAT | 20.1869 | 20.3914 |
Abscon 112v4 AC | 1058160 | SAT | 40.1089 | 40.3218 |
casper zao | 1058158 | SAT | 54.2698 | 54.7884 |
Sugar v1.13+minisat | 1058152 | SAT | 86.4839 | 87.0896 |
Sugar v1.13+picosat | 1058151 | SAT | 112.281 | 137.18 |
SAT4J CSP 2008-06-13 | 1058150 | SAT | 273.877 | 274.744 |
Mistral-option 1.314 | 1058156 | SAT | 419.434 | 421.581 |
Minion/Tailor 2008-07-04 | 1105379 | ? (TO) | 1800.09 | 1810.01 |
bpsolver 2008-06-27 | 1058153 | ? (TO) | 1800.1 | 1809.41 |
choco2_dwdeg 2008-06-26 | 1058155 | ? (TO) | 1800.16 | 1810.07 |
choco2_impwdeg 2008-06-26 | 1058154 | ? (TO) | 1800.17 | 1816.39 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:4 2 16 7 15 19 12 27 26 18 4 14 3 23 32 37 22 0 44 41 6 14 0 19 5 25 8 4 22 33 35 39 37 23 3 24 2 20 27 15 3 30 13 38 13 28 29 39 28 9 40 17 6 10 34 8 24 23 2 17 2 39 11 9 18 30 16 6 30 4 6 18 14 15 8 10 26 15 0 0 21 5 0 2 17 18 25 40 22 21 16 17 1 13 8 16 9 7 2 12 11 5 36 5 10 8 43 37 17 34 17 7 4 27 12 7 16 33 26 9 6 33 8 3 39 11 26 0 41 4 35 44 31 21 31 0 14 19 1 6 10 10 12 2 1 18 19 18 27 24 6 22 14 20 3 8 21 13 3 1 34 15 17 9 30 13 14 33 12 10 5 32 7 3 3 31 20 35 29 20 28 36 21 7 32 23 23 42 22 24 25 9 17 1 25 32 38 3 11 44 1 3 6 10 7 11 1 9 5 3 7 6 4 3 19 9 5 11 2 5 3 19 3 5 7 5 7 6 13 9 7 5 3 15 0 4 1 5 15 1 15 3 16 13 7 11 5 3 3 5 15 16 5 11 16 3 13 1 13 9 0 13 13 3 5 18 5 11 15 5 7 1 7 2 19 3 3 5 5 0 4 17 7 14 2 16 13 13 11 15 11 0 5 5 18 1 2 5 4 5 7 3 5 1 13 5 9 5 5 5 3 3 9 7 13 0 7 11 4 1 6 19 0 5 11 3 1 4 7 3 5 11 15 13 6 1 2 7 0 0 1 5 2 5 2 2 1 4 17 18 17 4 5 19 7 10 5 6 16 7 7 3 6 6 5 0 0 5 9 2 5 6 2 8 9 5 7 3 9 16 7 16 7 7 16 16 18 5 3 2 9 11 1 1 3 5 5 1 5 7