Name | csp/medium/ normalized-patat-02-medium-2.xml |
MD5SUM | deee800a676362b8ba7ef4a56056f1e3 |
Bench Category | GLOBAL (global constraints) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 102.676 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 800 |
Number of constraints | 65133 |
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 | 64933 |
Global constraints used (with number of constraints) | alldifferent(200) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Mistral-prime 1.313 | 1077614 | SAT | 102.676 | 103.579 |
cpHydra k_10 | 1077619 | SAT | 115.198 | 116.384 |
Sugar v1.13+picosat | 1077608 | SAT | 120.645 | 120.439 |
cpHydra k_40 | 1077620 | SAT | 703.06 | 705.657 |
MDG-noprobe 2008-06-27 | 1077606 | ? (TO) | 1800.03 | 1807.83 |
MDG-probe 2008-06-27 | 1077605 | ? (TO) | 1800.07 | 1805.63 |
Minion/Tailor 2008-07-04 | 1106009 | ? (TO) | 1800.08 | 1815.62 |
Mistral-option 1.314 | 1077613 | ? (TO) | 1800.09 | 1805.32 |
choco2_impwdeg 2008-06-26 | 1077611 | ? (TO) | 1800.11 | 1800.88 |
casper zito | 1077616 | ? (TO) | 1800.12 | 1807.84 |
SAT4J CSP 2008-06-13 | 1077607 | ? (TO) | 1800.13 | 1812.21 |
bpsolver 2008-06-27 | 1077610 | ? (TO) | 1800.13 | 1801.93 |
casper zao | 1077615 | ? (TO) | 1800.13 | 1802.99 |
Abscon 112v4 ESAC | 1077618 | ? (TO) | 1800.17 | 1810.12 |
choco2_dwdeg 2008-06-26 | 1077612 | ? (TO) | 1800.21 | 1814.42 |
Abscon 112v4 AC | 1077617 | ? (TO) | 1800.23 | 1805.55 |
Sugar v1.13+minisat | 1077609 | ? (TO) | 1800.23 | 1814.72 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:15 15 28 5 9 25 14 1 42 6 24 42 21 41 1 0 29 20 7 40 28 40 29 26 2 25 25 5 24 29 0 5 17 28 36 7 26 30 32 16 6 16 18 25 34 11 11 37 1 13 12 35 14 7 35 17 4 41 23 6 8 24 37 8 39 20 13 9 13 37 11 27 20 3 13 5 36 22 1 19 37 19 17 22 14 23 38 16 21 11 7 22 1 10 2 35 40 36 32 5 21 11 30 10 39 0 1 29 34 27 36 14 28 6 21 12 31 38 10 8 41 24 2 11 31 8 38 21 26 4 14 30 18 26 28 34 26 22 2 15 33 23 27 21 39 9 44 33 12 24 4 12 43 19 9 6 1 5 26 13 13 41 33 3 22 34 17 27 33 18 7 0 27 18 42 32 18 8 35 41 16 20 4 30 28 44 4 17 25 23 10 19 35 19 11 14 39 25 2 31 12 28 19 41 36 26 22 40 15 15 27 8 19 6 27 16 40 35 4 2 17 21 39 17 28 43 28 38 3 42 32 3 3 6 12 29 21 43 21 8 23 31 20 44 2 24 11 1 10 0 11 10 17 2 36 9 20 7 0 24 26 11 15 32 27 30 40 34 41 32 6 34 6 10 14 2 23 25 38 0 15 18 24 32 22 7 35 10 2 24 44 26 37 26 14 13 39 7 30 40 23 8 36 16 24 37 23 16 9 27 29 33 20 7 29 25 3 12 10 8 21 20 3 30 36 12 9 13 19 6 25 38 1 42 32 35 5 29 5 16 18 3 19 14 4 23 31 38 23 42 8 15 4 34 34 22 31 5 9 4 12 17 30 31 0 15 33 5 31 20 3 16 33 16 1 9 15 3 43 20 0 33 10 22 18 34 29 13 9 37 12 7 43 37 4 44 13 30 19 0 1 6 0 3 6 1 5 3 3 3 3 2 6 4 6 4 4 7 1 5 6 9 5 2 8 4 9 2 1 2 9 6 2 3 3 3 6 8 4 6 9 4 5 2 0 4 3 3 5 8 8 9 7 6 3 1 0 1 6 5 7 8 4 5 2 0 0 3 7 5 2 2 5 6 9 0 8 1 2 1 1 5 9 8 9 4 5 2 5 1 0 2 1 9 3 5 2 1 3 4 0 0 9 0 7 3 4 9 3 5 5 2 4 1 4 6 3 1 3 2 5 2 4 8 9 3 2 2 0 1 4 5 2 8 7 2 7 7 9 0 7 2 3 3 3 8 2 1 3 9 3 0 1 7 5 6 0 5 5 2 6 3 3 2 4 4 5 8 9 3 7 5 0 0 1 2 1 8 7 7 3 3 4 7 9 5 5 6 0 3 1 9 2 6 6 0 1 7 2 0 1 2 4 2 0 3 3 3 4 9 9 9 3 2 6 0 4 0 6 7 3 7 0 4 1 0 5 3 8 5 9 7 4 8 4 6 8 5 9 1 1 2 6 0 0 6 5 9 5 1 7 6 0 6 2 9 4 2 0 4 1 9 2 7 1 0 0 1 0 0 7 6 0 4 8 1 9 6 7 6 7 7 5 1 5 5 4 7 5 7 3 4 9 9 1 3 5 4 1 1 0 6 7 9 0 2 7 8 2 7 1 4 1 8 0 5 5 2 2 4 1 9 1 4 4 5 0 1 0 4 3 0 7 4 5 1 7 3 8 5 9 0 8 3 7 8 4 4 5 0 0 8 2 7 5 0 5 1 1 8 7 7 3 7 8 5 5 9 1 8 9 7 2 1 8 7 3 3 3 2 7 0 8 9 4 9 7 5 4 7 9 9 9 0 9 1 4 2 2 2