Name | csp/compet08/ normalized-patat-08-comp-15.xml |
MD5SUM | e388ff74a36a9bb17963ab4d6d8a2381 |
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.981849 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 400 |
Number of constraints | 2042 |
Maximum constraint arity | 15 |
Maximum domain size | 26 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 1556 |
Global constraints used (with number of constraints) | alldifferent(486) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
bpsolver 2008-06-27 | 1058057 | SAT | 0.981849 | 1.00716 |
Mistral-prime 1.313 | 1058061 | SAT | 1.04384 | 1.05527 |
Abscon 112v4 AC | 1058064 | SAT | 4.43033 | 4.49714 |
MDG-probe 2008-06-27 | 1058052 | SAT | 5.81412 | 5.87085 |
MDG-noprobe 2008-06-27 | 1058053 | SAT | 9.8385 | 9.93408 |
Abscon 112v4 ESAC | 1058065 | SAT | 10.3264 | 10.4829 |
cpHydra k_40 | 1058067 | SAT | 10.6504 | 12.1046 |
Mistral-option 1.314 | 1058060 | SAT | 11.2813 | 11.3848 |
cpHydra k_10 | 1058066 | SAT | 11.3733 | 11.5302 |
SAT4J CSP 2008-06-13 | 1058054 | SAT | 16.0126 | 16.1916 |
Sugar v1.13+minisat | 1058056 | SAT | 43.6054 | 44.1868 |
Sugar v1.13+picosat | 1058055 | SAT | 44.6272 | 47.0477 |
casper zito | 1058063 | SAT | 92.412 | 92.4677 |
choco2_dwdeg 2008-06-26 | 1058059 | SAT | 146.961 | 147.724 |
casper zao | 1058062 | SAT | 372.537 | 375.778 |
choco2_impwdeg 2008-06-26 | 1058058 | ? (TO) | 1800.06 | 1801.23 |
Minion/Tailor 2008-07-04 | 1105384 | ? (TO) | 1800.08 | 1814.11 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:23 26 32 31 21 29 36 40 34 21 10 0 2 9 10 29 6 15 13 4 21 3 28 43 44 35 33 19 5 24 26 7 17 31 1 27 32 1 24 16 3 0 4 42 25 37 35 37 39 19 20 13 18 10 14 43 34 17 0 40 19 8 25 24 9 23 8 30 13 25 21 12 11 22 27 41 37 42 2 5 4 34 26 15 28 18 19 43 26 30 23 16 6 22 30 27 35 12 1 2 4 7 5 8 33 29 31 30 1 2 13 18 3 14 29 21 39 32 27 34 7 6 28 11 10 14 25 33 12 42 9 26 15 11 20 0 36 31 20 17 2 3 9 3 19 22 23 8 33 40 13 12 35 14 7 44 10 37 8 16 38 19 23 32 9 17 28 16 39 29 35 6 18 28 40 19 30 36 2 15 4 0 20 10 41 38 39 11 1 32 17 3 24 38 38 22 4 31 5 41 1 14 13 15 3 1 8 4 5 1 9 6 12 10 13 8 12 3 12 19 4 0 12 11 5 17 17 19 11 3 17 15 0 0 9 17 0 13 18 8 2 13 0 17 17 3 1 6 15 12 12 0 16 4 19 9 10 1 14 15 18 14 3 0 8 11 10 0 13 19 8 18 12 3 1 2 19 12 2 0 10 8 16 18 13 17 8 6 10 2 9 0 0 14 5 2 2 1 11 9 15 11 13 0 19 16 12 9 10 14 3 18 1 8 12 10 16 19 16 12 12 13 0 5 0 5 5 11 8 18 14 5 11 9 2 8 7 14 8 18 6 3 2 8 4 0 10 5 12 6 1 7 0 10 9 9 5 9 12 6 18 5 8 16 11 6 1 1 7 19 10 19 12 17 7 6 16 2 0 5 3 11 0 12 16 14 10 8 0 1 3 4 16 19 6 1 6 4 2 5