Name | csp/medium/ normalized-patat-02-medium-5.xml |
MD5SUM | b160d17227d48e89c0f648593d000571 |
Bench Category | GLOBAL (global constraints) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 93.8987 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 800 |
Number of constraints | 44958 |
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 | 44758 |
Global constraints used (with number of constraints) | alldifferent(200) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Sugar v1.13+picosat | 1077592 | SAT | 93.8987 | 95.267 |
Mistral-prime 1.313 | 1077598 | SAT | 383.096 | 384.658 |
cpHydra k_10 | 1077603 | SAT | 407.486 | 410.614 |
cpHydra k_40 | 1077604 | SAT | 997.173 | 1001.66 |
Minion/Tailor 2008-07-04 | 1106012 | ? (TO) | 1800.03 | 1809.31 |
Mistral-option 1.314 | 1077597 | ? (TO) | 1800.03 | 1808.42 |
MDG-noprobe 2008-06-27 | 1077590 | ? (TO) | 1800.03 | 1802.22 |
casper zito | 1077600 | ? (TO) | 1800.07 | 1815.03 |
choco2_dwdeg 2008-06-26 | 1077596 | ? (TO) | 1800.09 | 1800.67 |
bpsolver 2008-06-27 | 1077594 | ? (TO) | 1800.09 | 1801.03 |
casper zao | 1077599 | ? (TO) | 1800.1 | 1801.89 |
choco2_impwdeg 2008-06-26 | 1077595 | ? (TO) | 1800.12 | 1805.01 |
MDG-probe 2008-06-27 | 1077589 | ? (TO) | 1800.12 | 1815.62 |
Sugar v1.13+minisat | 1077593 | ? (TO) | 1800.15 | 1810.58 |
Abscon 112v4 AC | 1077601 | ? (TO) | 1800.19 | 1810.82 |
Abscon 112v4 ESAC | 1077602 | ? (TO) | 1800.2 | 1802.4 |
SAT4J CSP 2008-06-13 | 1077591 | ? (TO) | 1802.23 | 1783.92 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:31 5 17 24 0 42 29 20 20 7 38 5 29 32 13 23 28 21 4 5 9 2 1 33 2 19 1 2 22 1 19 43 3 16 23 0 7 3 20 8 3 33 2 4 3 1 15 18 6 29 40 5 41 30 5 6 32 3 24 36 9 7 8 43 6 4 19 28 24 8 18 17 5 7 4 13 2 3 15 10 2 22 8 6 5 1 3 4 0 8 43 22 8 14 33 26 11 0 13 20 6 4 35 3 16 10 10 18 1 9 11 32 41 3 32 25 7 13 8 9 21 10 0 19 0 41 10 21 33 11 41 20 44 10 11 32 40 10 38 33 11 42 24 34 2 15 14 15 14 11 22 39 1 44 16 16 4 16 2 40 12 18 8 10 21 9 42 12 30 12 29 7 13 12 18 23 16 6 14 9 16 35 34 16 12 18 21 24 37 0 25 19 11 25 28 2 19 26 9 5 14 4 17 27 22 18 29 9 42 23 23 20 14 35 28 2 17 24 21 12 7 18 21 17 12 15 25 20 0 6 13 33 16 22 34 27 27 11 17 23 27 25 25 19 26 10 15 7 43 25 14 24 29 18 5 24 14 19 12 29 1 32 30 38 35 27 16 10 4 38 27 30 30 21 17 14 7 30 32 12 26 36 31 8 13 34 26 33 4 28 1 37 20 13 31 17 0 20 6 35 27 28 34 29 22 11 33 33 36 36 35 0 30 36 37 27 37 36 38 34 7 22 23 35 34 9 36 38 39 44 20 25 28 37 31 40 37 37 23 23 29 36 34 17 38 37 39 31 12 15 27 5 41 26 3 40 42 28 26 35 6 40 9 13 42 44 39 41 31 42 42 30 36 44 39 35 37 39 37 44 38 33 43 1 44 43 40 44 36 32 15 39 41 42 44 38 43 40 44 43 2 8 8 5 5 6 4 2 5 7 5 9 5 4 6 3 1 9 7 1 7 5 8 8 4 9 2 1 5 4 2 6 6 7 9 6 9 7 3 1 4 7 6 6 1 7 0 9 0 8 4 7 6 2 0 4 6 0 4 4 3 4 6 5 8 0 5 9 8 2 5 6 4 1 4 5 8 2 9 3 0 9 5 9 2 5 3 2 7 9 4 4 0 7 2 8 7 4 8 7 3 9 4 9 0 6 1 6 0 6 6 9 2 8 3 2 8 0 7 9 5 4 2 8 0 0 7 4 1 2 5 0 1 5 8 2 7 9 8 4 0 8 3 4 7 6 6 4 5 3 6 3 1 9 9 2 1 5 9 8 7 2 8 8 0 8 7 9 8 0 0 3 4 2 3 6 1 2 3 4 4 7 3 8 8 8 6 6 1 9 5 4 4 0 7 2 6 0 0 5 0 8 3 6 0 7 6 1 2 7 0 1 9 3 8 3 2 0 7 1 6 4 8 4 3 5 4 8 3 7 9 0 6 8 8 8 4 5 0 5 9 6 3 0 6 2 2 2 1 8 4 7 2 0 3 2 8 7 4 7 9 8 7 2 8 7 3 0 3 7 0 0 9 2 9 2 5 6 0 5 7 6 4 4 7 0 5 3 5 6 3 8 9 2 0 1 8 4 5 0 5 2 7 9 7 9 9 5 1 8 6 1 4 9 0 2 9 5 9 6 0 2 4 2 2 2 0 4 5 4 6 7 4 4 7 5 5 3 2 8 1 3 5 5 0 7 6 8 6 8 1 6 4 4 5 6 3 0 2 5 6 3 5 3 1 3 8 8 6 5 4 5 2 7 4 1 6 0 2 5 6 6 2 6 6 7 2 8 7 7 7 2 3 0 2 3 0 0 0 8