Name | csp/compet02/ normalized-patat-02-comp-9.xml |
MD5SUM | 690bc030536081a10afc596885a53720 |
Bench Category | GLOBAL (global constraints) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 108.522 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 880 |
Number of constraints | 48826 |
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 | 48606 |
Global constraints used (with number of constraints) | alldifferent(220) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Sugar v1.13+picosat | 1058487 | SAT | 108.522 | 109.67 |
Mistral-prime 1.313 | 1058493 | SAT | 121.335 | 121.385 |
cpHydra k_10 | 1058498 | SAT | 139.079 | 140.522 |
cpHydra k_40 | 1058499 | SAT | 709.006 | 713.269 |
Mistral-option 1.314 | 1058492 | SAT | 1619.29 | 1633.54 |
Minion/Tailor 2008-07-04 | 1105378 | ? (TO) | 1800.02 | 1812.52 |
bpsolver 2008-06-27 | 1058489 | ? (TO) | 1800.06 | 1810.63 |
casper zito | 1058495 | ? (TO) | 1800.08 | 1808.93 |
MDG-noprobe 2008-06-27 | 1058485 | ? (TO) | 1800.1 | 1807.42 |
MDG-probe 2008-06-27 | 1058484 | ? (TO) | 1800.1 | 1802.12 |
Sugar v1.13+minisat | 1058488 | ? (TO) | 1800.12 | 1816.28 |
Abscon 112v4 AC | 1058496 | ? (TO) | 1800.13 | 1808.52 |
choco2_dwdeg 2008-06-26 | 1058491 | ? (TO) | 1800.13 | 1808.78 |
casper zao | 1058494 | ? (TO) | 1800.14 | 1807.88 |
Abscon 112v4 ESAC | 1058497 | ? (TO) | 1800.18 | 1810.31 |
choco2_impwdeg 2008-06-26 | 1058490 | ? (TO) | 1800.56 | 1815.06 |
SAT4J CSP 2008-06-13 | 1058486 | ? (TO) | 1802.2 | 1810.74 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:44 37 29 23 44 0 16 9 10 4 18 17 26 34 33 9 37 35 0 2 21 41 0 23 42 19 3 40 8 36 19 6 0 17 14 3 6 6 18 23 4 15 1 2 38 3 0 2 31 27 25 4 44 12 22 30 19 9 8 0 25 15 0 3 3 21 35 21 1 4 18 11 44 1 34 7 33 5 36 6 13 2 32 26 9 7 7 41 12 9 10 24 26 8 22 31 8 3 6 3 5 39 11 15 13 4 19 8 7 10 39 10 30 1 8 12 6 2 28 4 7 1 26 11 6 0 7 0 10 2 39 33 11 9 13 9 10 19 12 14 13 40 35 11 22 2 10 13 28 14 38 26 23 36 10 17 13 17 18 16 39 15 38 14 22 15 4 31 29 32 25 9 1 4 7 15 20 15 6 12 18 17 8 34 32 40 13 19 42 12 18 10 1 26 16 1 16 29 30 37 19 12 13 16 8 9 28 20 5 19 40 3 27 20 18 8 22 21 20 21 22 41 34 13 23 5 25 39 17 20 7 3 21 9 27 14 15 30 12 5 3 16 43 17 3 25 18 15 18 32 24 17 28 32 24 38 21 24 31 33 25 2 8 34 37 36 7 18 2 26 20 25 19 5 27 16 20 42 14 43 21 1 12 16 0 16 24 27 14 29 31 13 28 25 27 44 21 22 36 21 30 36 8 11 24 33 5 27 43 37 22 10 23 34 7 29 32 29 32 32 31 24 28 22 2 29 7 30 20 34 4 28 11 40 27 29 16 29 41 33 23 36 19 5 30 25 17 26 9 13 36 40 34 29 31 23 33 24 32 35 4 36 27 20 37 40 10 35 15 32 20 5 37 12 30 31 11 44 29 44 28 43 33 33 37 6 37 38 2 35 34 33 27 37 37 35 42 43 43 43 39 14 38 38 35 36 39 40 11 39 35 41 40 41 33 34 38 41 26 42 31 38 42 28 40 39 41 43 40 21 42 41 44 0 42 43 35 42 41 39 8 8 0 9 9 3 7 1 3 2 2 4 7 7 10 6 0 3 9 3 2 9 6 3 7 9 0 1 6 6 3 7 7 2 4 7 9 1 9 2 9 1 6 7 6 8 4 9 0 9 5 3 7 4 1 5 5 3 5 10 1 10 2 10 9 3 7 8 1 1 1 6 6 0 1 2 8 10 1 10 2 5 1 3 7 7 5 8 1 10 2 9 9 1 3 5 10 4 4 5 5 2 9 9 6 4 1 8 1 6 5 9 6 9 9 10 8 8 7 8 9 2 1 5 2 1 0 5 8 6 0 4 2 9 0 5 5 0 3 9 7 3 4 3 6 0 1 9 5 7 1 0 8 0 10 7 5 1 7 9 9 0 9 1 4 3 10 10 2 3 8 4 10 0 8 2 7 7 3 8 3 10 7 4 4 8 10 7 1 7 0 0 7 2 2 4 10 8 0 9 2 2 1 8 2 0 9 5 8 6 0 3 1 2 10 0 8 9 9 10 5 1 8 3 1 9 0 1 8 6 4 6 7 8 8 8 8 9 9 0 2 1 7 0 1 3 6 6 8 7 10 9 0 9 3 7 4 8 7 6 7 10 4 3 3 8 6 5 4 8 3 6 10 6 7 6 0 8 6 3 5 8 6 3 0 0 7 4 10 7 1 8 10 9 5 10 1 9 2 6 8 5 3 0 5 1 1 10 8 7 7 4 6 6 3 3 8 10 6 0 3 0 1 0 2 6 10 1 8 9 6 3 8 4 3 5 4 9 4 3 7 9 8 7 2 4 3 5 2 4 4 6 5 1 9 0 9 1 5 10 7 10 0 4 4 10 7 6 4 10 10 4 5 0 7 8 4 4 4 2 6 1 7 5 10 0 2 10 1 8 2 0 2 6 1 9 4 4 2 9 4 0 3 4 2 7 7 7 7 10 1 10 9 7 2 0 8 5 10 2 6 2 6 8 2 8 2 10 5 0 5 0 0 8 9 6 0 0 6 6