Name | csp/medium/ normalized-patat-02-medium-3.xml |
MD5SUM | 3f95c8d29be0573ddfe6516241da88fb |
Bench Category | GLOBAL (global constraints) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 121.831 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 800 |
Number of constraints | 64020 |
Maximum constraint arity | 20 |
Maximum domain size | 45 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 63820 |
Global constraints used (with number of constraints) | alldifferent(200) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Sugar v1.13+picosat | 1077624 | SAT | 121.831 | 122.142 |
Mistral-prime 1.313 | 1077630 | SAT | 166.621 | 168.059 |
cpHydra k_10 | 1077635 | SAT | 187.465 | 188.539 |
cpHydra k_40 | 1077636 | SAT | 777.083 | 787.066 |
Minion/Tailor 2008-07-04 | 1106010 | ? (TO) | 1800.03 | 1807.71 |
MDG-noprobe 2008-06-27 | 1077622 | ? (TO) | 1800.03 | 1814.23 |
MDG-probe 2008-06-27 | 1077621 | ? (TO) | 1800.04 | 1801.22 |
Mistral-option 1.314 | 1077629 | ? (TO) | 1800.04 | 1800.52 |
bpsolver 2008-06-27 | 1077626 | ? (TO) | 1800.06 | 1815.33 |
casper zito | 1077632 | ? (TO) | 1800.11 | 1801.54 |
SAT4J CSP 2008-06-13 | 1077623 | ? (TO) | 1800.12 | 1811.91 |
casper zao | 1077631 | ? (TO) | 1800.13 | 1801.08 |
choco2_dwdeg 2008-06-26 | 1077628 | ? (TO) | 1800.15 | 1819.7 |
Abscon 112v4 AC | 1077633 | ? (TO) | 1800.19 | 1802.14 |
Abscon 112v4 ESAC | 1077634 | ? (TO) | 1800.19 | 2080.01 |
choco2_impwdeg 2008-06-26 | 1077627 | ? (TO) | 1800.2 | 1801.02 |
Sugar v1.13+minisat | 1077625 | ? (TO) | 1800.26 | 1803.13 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:41 16 29 25 24 32 43 18 16 44 35 40 2 2 2 27 40 14 36 37 4 34 36 10 0 27 44 30 9 11 24 31 9 0 12 2 43 19 18 17 31 36 6 1 5 39 2 12 4 24 15 26 5 2 5 13 17 19 42 4 7 3 9 34 44 7 35 16 14 7 17 28 21 27 31 31 33 4 7 43 24 3 12 28 5 20 10 32 44 33 6 10 2 7 35 18 42 27 26 43 18 8 8 14 12 1 1 21 18 7 15 1 16 15 13 12 20 42 8 6 30 3 44 4 6 13 6 20 7 39 26 40 11 19 10 11 24 14 13 15 10 1 20 21 2 41 34 20 20 9 8 39 9 19 4 9 32 8 5 14 23 34 5 18 13 8 19 0 6 10 11 17 20 32 9 14 40 15 11 14 3 10 21 17 13 25 22 6 3 23 25 10 20 19 17 17 38 11 42 15 30 5 18 24 11 19 26 16 7 9 14 43 11 29 21 12 30 12 20 12 42 1 11 22 42 26 32 21 8 4 35 30 19 25 13 16 25 36 20 6 33 26 12 7 29 3 4 19 17 23 40 6 22 15 14 22 13 22 22 44 21 23 37 28 31 34 25 44 1 24 39 30 19 35 25 26 9 26 33 27 41 29 10 15 14 3 30 18 25 36 0 23 27 15 25 34 3 28 27 11 31 26 22 16 32 22 4 28 3 16 5 33 5 27 1 9 43 27 28 0 24 23 32 29 35 29 29 40 42 15 32 6 35 34 37 36 22 38 39 23 29 0 40 33 28 41 37 34 33 36 23 28 10 34 1 44 1 16 31 29 39 37 41 16 43 0 44 13 35 35 39 8 30 39 37 5 38 0 38 33 17 36 39 41 41 12 42 38 21 38 25 26 42 3 17 33 32 43 40 38 7 3 7 1 3 3 0 4 8 4 5 0 5 7 8 0 3 1 7 4 7 7 8 7 5 9 6 1 7 9 4 6 6 6 9 3 7 7 6 9 8 3 5 6 7 9 2 0 6 0 9 9 1 6 9 9 8 0 8 3 6 8 4 4 2 2 7 9 5 4 0 6 5 5 7 2 9 2 0 1 6 0 4 3 0 1 5 9 0 7 1 0 9 8 3 5 2 3 6 6 1 4 5 7 8 1 2 3 2 3 3 3 5 5 0 7 5 1 1 8 4 2 7 4 3 3 4 6 1 4 0 6 2 4 8 8 8 3 4 1 3 0 2 9 4 1 6 7 4 9 3 2 2 3 0 1 8 2 5 2 5 8 2 3 8 0 5 9 7 1 6 7 9 2 3 9 2 0 1 4 1 9 2 1 2 4 2 9 5 0 7 6 8 2 6 4 6 3 4 8 6 4 0 1 7 8 4 6 7 8 0 3 4 0 1 6 3 2 0 1 6 4 0 1 0 1 7 6 8 9 1 8 1 9 1 2 6 4 3 0 8 5 3 5 8 3 5 6 2 1 4 6 6 7 8 8 5 3 7 5 8 3 3 7 3 2 8 8 9 2 3 7 9 8 3 8 5 7 0 2 4 6 2 2 6 7 2 8 0 2 7 6 8 6 2 9 4 2 6 5 4 2 4 1 6 5 8 4 9 4 8 2 3 1 7 0 2 7 1 8 5 4 0 1 2 2 5 1 7 4 1 2 6 3 2 9 0 8 6 2 3 2 8 3 8 2 1 0 1 1 8 5 4 1 5 9 8 7 0 4 8 6 6 0 8 4 3 6 4 0 0 6 5 1 8 6 3 3 5 6 3 6 7 3 8 5 3 2 4 4 5 3 5 6 5 5 5 5 5 0