Name | csp/compet08/ normalized-patat-08-comp-5.xml |
MD5SUM | f5998e2cea9b4eec8b3b7aad8f0dac4c |
Bench Category | GLOBAL (global constraints) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 57.0473 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 800 |
Number of constraints | 41851 |
Maximum constraint arity | 24 |
Maximum domain size | 34 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 41551 |
Global constraints used (with number of constraints) | alldifferent(300) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Mistral-prime 1.313 | 1057949 | SAT | 57.0473 | 57.5523 |
cpHydra k_10 | 1057954 | SAT | 66.2629 | 66.6777 |
Sugar v1.13+picosat | 1057943 | SAT | 178.162 | 181.055 |
Sugar v1.13+minisat | 1057944 | SAT | 474.855 | 479.767 |
cpHydra k_40 | 1057955 | SAT | 651.429 | 651.983 |
Mistral-option 1.314 | 1057948 | SAT | 794.575 | 795.552 |
bpsolver 2008-06-27 | 1057945 | ? (TO) | 1800.05 | 1815.62 |
MDG-noprobe 2008-06-27 | 1057941 | ? (TO) | 1800.07 | 1815.42 |
Minion/Tailor 2008-07-04 | 1105390 | ? (TO) | 1800.09 | 1805.91 |
casper zito | 1057951 | ? (TO) | 1800.12 | 1803.23 |
choco2_impwdeg 2008-06-26 | 1057946 | ? (TO) | 1800.12 | 1809.68 |
MDG-probe 2008-06-27 | 1057940 | ? (TO) | 1800.12 | 1811.22 |
choco2_dwdeg 2008-06-26 | 1057947 | ? (TO) | 1800.13 | 1801.08 |
Abscon 112v4 ESAC | 1057953 | ? (TO) | 1800.14 | 1807.13 |
casper zao | 1057950 | ? (TO) | 1800.17 | 1810.27 |
SAT4J CSP 2008-06-13 | 1057942 | ? (TO) | 1800.19 | 1811.69 |
Abscon 112v4 AC | 1057952 | ? (TO) | 1800.21 | 1809.89 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:34 37 30 43 10 13 16 12 15 7 40 28 44 39 21 6 35 36 37 13 29 20 14 43 42 19 5 44 11 4 15 18 31 13 34 9 21 35 26 11 43 9 28 20 21 33 20 28 6 22 5 38 8 3 38 42 40 37 1 34 44 34 32 1 14 41 25 9 9 31 10 15 44 15 35 29 30 31 13 2 24 7 21 44 24 19 7 13 32 0 16 11 43 29 3 8 2 4 25 5 19 24 13 18 11 23 6 13 14 42 9 24 2 27 9 31 5 29 25 7 11 0 0 36 13 17 26 7 27 17 4 8 4 14 28 3 15 5 32 35 6 17 27 3 35 36 33 33 7 35 7 2 37 4 6 28 23 16 2 19 24 30 27 40 38 29 40 24 17 36 27 14 31 27 13 1 9 41 32 30 10 3 2 17 21 38 18 2 39 37 1 1 15 20 12 17 31 39 21 34 41 42 42 19 19 12 26 10 0 19 11 21 23 29 20 21 31 15 19 27 41 24 5 39 23 26 31 23 26 7 3 40 41 2 39 33 11 25 24 25 41 22 11 42 12 26 24 10 4 44 32 27 15 37 2 8 2 17 1 44 22 23 38 20 10 25 43 27 10 5 35 40 12 3 10 9 42 10 11 37 10 2 25 35 36 11 0 21 38 36 30 3 21 13 28 14 30 34 26 22 27 8 5 30 16 6 0 12 19 17 22 17 23 18 16 44 8 38 14 1 43 28 38 37 11 20 23 22 12 40 39 17 16 18 20 8 36 9 13 26 1 25 6 6 16 8 43 6 8 32 43 37 8 17 3 12 43 39 7 4 3 12 44 23 0 32 34 7 30 33 43 1 5 27 33 40 3 26 15 25 33 9 21 0 28 14 32 0 42 13 22 29 22 36 33 14 44 37 18 25 3 5 3 6 5 0 9 7 15 9 9 0 9 1 0 17 2 1 15 5 0 1 2 5 2 8 9 5 2 15 17 2 4 4 1 4 7 5 11 0 0 8 2 17 15 0 11 6 11 9 11 0 17 2 2 5 1 1 11 4 0 11 3 15 1 0 5 3 11 16 13 4 11 11 1 4 5 2 11 11 8 0 1 7 11 0 13 16 15 13 3 3 11 8 19 8 12 1 4 2 4 2 3 0 4 7 1 17 3 4 9 4 13 11 2 0 17 1 11 18 6 0 1 4 9 12 0 5 3 2 11 5 2 4 3 0 2 16 1 9 0 4 6 13 0 7 1 5 1 4 11 0 11 0 8 11 9 11 7 11 3 1 17 11 3 2 8 16 5 5 18 11 1 1 6 12 0 4 2 0 6 5 1 1 6 1 1 5 17 7 17 2 12 16 12 13 11 15 2 16 3 17 3 13 3 4 9 3 5 1 5 4 5 3 0 5 3 3 2 4 1 0 3 3 0 1 19 4 5 2 4 2 9 3 9 2 13 2 17 3 2 1 19 1 11 3 1 11 12 2 7 0 1 2 16 11 2 19 3 3 2 3 5 3 0 1 1 2 2 0 15 13 2 11 4 17 0 8 16 6 1 8 13 3 16 11 3 9 9 0 2 3 3 1 1 13 4 0 2 3 9 0 7 9 7 2 11 15 7 11 15 6 2 9 0 17 1 8 8 1 15 4 11 4 1 2 1 4 0 0 0 0 2 15 4 2 2 1 8 6 8 9 13 12 5 4 3 15 3 4 4 3 9 3 9 1 16 5 4 3 6 3 1 6 6 0 2 3 19 11 2 0 1 5 3 12 1 4 0 0 4 16 11 4 5 12 5 2 11 2 0 5 11 3 12 0 4 0 11 6