Name | csp/compet02/ normalized-patat-02-comp-19.xml |
MD5SUM | 88348dabf1de3aab78e1de9f2b35d337 |
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.312 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 800 |
Number of constraints | 64077 |
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 | 63777 |
Global constraints used (with number of constraints) | alldifferent(300) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Mistral-prime 1.313 | 1058381 | SAT | 121.312 | 122.422 |
cpHydra k_10 | 1058386 | SAT | 131.284 | 132.635 |
Sugar v1.13+picosat | 1058375 | SAT | 152.128 | 153.88 |
cpHydra k_40 | 1058387 | SAT | 716.911 | 718.978 |
Mistral-option 1.314 | 1058380 | SAT | 1202.43 | 1203.56 |
Minion/Tailor 2008-07-04 | 1105368 | ? (TO) | 1800.01 | 1809.81 |
MDG-noprobe 2008-06-27 | 1058373 | ? (TO) | 1800.04 | 1810.63 |
MDG-probe 2008-06-27 | 1058372 | ? (TO) | 1800.08 | 1806.93 |
casper zito | 1058383 | ? (TO) | 1800.08 | 1816.14 |
bpsolver 2008-06-27 | 1058377 | ? (TO) | 1800.11 | 1804.73 |
casper zao | 1058382 | ? (TO) | 1800.16 | 1814.38 |
choco2_dwdeg 2008-06-26 | 1058379 | ? (TO) | 1800.18 | 1813.7 |
Abscon 112v4 ESAC | 1058385 | ? (TO) | 1800.19 | 1806.02 |
Sugar v1.13+minisat | 1058376 | ? (TO) | 1800.2 | 1808.05 |
Abscon 112v4 AC | 1058384 | ? (TO) | 1800.21 | 1817.04 |
SAT4J CSP 2008-06-13 | 1058374 | ? (TO) | 1800.22 | 1809.53 |
choco2_impwdeg 2008-06-26 | 1058378 | ? (TO) | 1800.46 | 1808.99 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:35 6 9 11 16 8 33 41 22 34 18 36 32 4 13 13 4 17 31 8 35 8 12 23 39 8 20 4 31 33 2 16 10 7 19 18 10 6 24 15 9 6 35 16 27 33 19 15 0 40 8 19 7 25 21 41 17 10 29 16 7 1 18 17 21 37 40 26 4 9 15 33 44 9 28 21 18 42 14 37 35 27 36 42 36 28 3 10 3 22 11 9 25 24 9 40 7 32 7 40 21 30 38 37 23 39 29 39 19 20 44 11 14 11 22 31 37 11 16 43 41 22 3 13 29 36 2 44 20 0 41 2 16 4 19 3 26 33 2 21 28 13 42 12 25 5 12 19 21 10 17 32 42 39 38 7 9 4 21 0 32 13 38 6 15 44 44 40 17 31 11 17 12 39 13 1 7 2 1 24 8 34 17 27 15 43 22 38 25 12 43 14 5 23 28 16 27 1 22 33 23 28 31 16 5 0 31 12 8 36 18 11 27 9 42 15 20 13 13 0 39 34 5 10 2 25 20 1 5 18 0 27 10 28 29 44 16 25 14 40 2 35 37 0 37 13 24 34 28 30 2 25 37 29 33 36 8 13 40 33 28 11 1 42 29 14 24 44 27 2 21 38 0 26 3 20 3 0 24 7 27 30 35 10 17 22 15 30 15 5 19 39 12 41 1 31 29 43 8 9 38 42 23 26 10 14 19 44 6 4 7 4 11 20 32 32 26 3 6 41 14 36 3 39 34 23 34 1 15 5 6 9 18 6 30 36 12 19 28 4 6 21 24 5 10 29 32 14 26 43 41 7 18 27 32 37 20 17 12 8 18 38 23 11 3 1 30 5 44 14 38 30 30 2 1 35 43 4 42 35 16 26 5 26 6 20 24 43 25 17 22 23 0 43 3 31 41 40 34 35 4 7 6 3 2 8 7 0 2 2 4 3 8 6 8 3 2 4 7 6 2 4 3 6 8 3 2 0 6 1 3 3 6 8 4 2 5 5 8 9 9 0 8 1 3 0 7 6 3 1 2 2 9 7 7 8 6 4 3 6 6 2 1 7 4 0 4 3 9 1 1 8 5 5 6 1 5 0 6 6 1 8 8 8 6 2 8 0 9 7 6 7 2 3 4 0 2 6 7 3 8 0 7 8 8 0 4 4 0 5 6 2 3 8 8 3 2 7 4 0 7 6 0 5 7 4 2 8 3 1 2 7 7 8 5 3 6 2 5 2 5 6 3 6 0 2 1 6 3 9 1 3 6 3 2 5 0 7 6 2 1 9 3 3 2 4 1 6 5 4 4 3 4 7 2 6 0 8 5 7 0 1 2 7 0 8 3 6 3 2 1 8 8 3 4 0 0 0 0 3 0 0 8 9 5 6 0 8 1 0 3 1 1 3 4 8 6 1 0 0 2 6 3 3 0 6 0 7 9 0 4 2 1 7 0 2 5 1 5 8 6 0 7 5 3 4 6 7 8 8 9 4 4 2 6 2 9 7 7 4 1 9 9 7 6 0 0 7 5 4 5 8 7 4 4 4 5 9 4 1 4 2 5 7 0 4 7 4 4 1 1 6 5 4 4 1 1 3 5 8 1 2 4 2 8 2 8 3 1 4 4 5 0 7 4 0 8 7 4 6 4 7 6 1 8 7 4 8 3 6 2 2 6 6 6 1 0 3 3 1 8 0 2 4 2 8 2 7 7 7 1 3 7 6 7 1 1 8 7 7 8 4 2 5 1 3 3 7 0 1 0 7 1 1 1 7 6 3 1 6 8 0 0 1 9 8 1 4 8 9 1 1 8 2 2 2 3 2 3 3