Name | csp/compet02/ normalized-patat-02-comp-1.xml |
MD5SUM | 6883734acbcc3ab6a8ec48c2640bc7eb |
Bench Category | GLOBAL (global constraints) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 80.8737 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 800 |
Number of constraints | 33842 |
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 | 33642 |
Global constraints used (with number of constraints) | alldifferent(200) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Sugar v1.13+picosat | 1058279 | SAT | 80.8737 | 81.8559 |
Mistral-prime 1.313 | 1058285 | SAT | 194.779 | 196.282 |
cpHydra k_10 | 1058290 | SAT | 219.409 | 221.536 |
Sugar v1.13+minisat | 1058280 | SAT | 604.875 | 610.904 |
cpHydra k_40 | 1058291 | SAT | 795.316 | 797.806 |
MDG-probe 2008-06-27 | 1058276 | ? (TO) | 1800.02 | 1812.32 |
Minion/Tailor 2008-07-04 | 1105369 | ? (TO) | 1800.05 | 1810.11 |
bpsolver 2008-06-27 | 1058281 | ? (TO) | 1800.07 | 1803.72 |
casper zito | 1058287 | ? (TO) | 1800.07 | 1806.83 |
MDG-noprobe 2008-06-27 | 1058277 | ? (TO) | 1800.08 | 1807.52 |
Mistral-option 1.314 | 1058284 | ? (TO) | 1800.08 | 1807.62 |
Abscon 112v4 ESAC | 1058289 | ? (TO) | 1800.09 | 1801.98 |
choco2_impwdeg 2008-06-26 | 1058282 | ? (TO) | 1800.13 | 1802.28 |
casper zao | 1058286 | ? (TO) | 1800.17 | 1809.27 |
choco2_dwdeg 2008-06-26 | 1058283 | ? (TO) | 1800.17 | 1812.4 |
Abscon 112v4 AC | 1058288 | ? (TO) | 1800.21 | 1801.36 |
SAT4J CSP 2008-06-13 | 1058278 | ? (TO) | 1800.21 | 1813.97 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:43 6 38 8 22 19 38 43 37 21 37 1 35 25 43 2 42 0 17 2 31 33 20 14 32 24 1 19 23 15 32 6 39 17 3 38 12 11 28 4 4 14 17 12 35 20 1 1 5 0 5 2 44 7 5 40 24 8 12 29 3 27 3 3 3 2 36 43 4 5 2 6 31 29 27 6 33 0 5 6 9 6 3 26 14 19 3 27 13 4 28 1 20 42 7 4 16 43 15 7 15 14 7 10 42 29 9 10 42 13 38 18 3 18 36 12 32 8 9 7 12 19 8 11 29 11 0 1 34 8 10 16 13 14 34 7 44 13 9 0 24 14 9 25 12 39 13 11 16 10 15 14 15 17 6 10 38 27 24 16 19 13 44 24 26 30 13 14 25 18 19 13 21 26 23 15 6 28 31 20 15 33 7 12 10 10 13 6 1 21 31 30 24 5 9 15 0 8 11 17 3 13 32 5 20 16 20 44 9 44 2 1 35 25 17 21 18 17 26 1 9 18 23 27 28 11 21 29 16 2 44 17 21 43 20 28 31 19 30 2 16 20 25 20 22 37 5 22 18 23 41 15 21 24 0 18 1 33 40 33 22 30 17 27 0 26 23 32 22 34 36 35 34 7 11 12 4 22 33 41 23 7 27 22 41 30 42 25 26 19 24 40 18 27 37 30 12 32 23 11 26 37 27 36 28 19 41 29 6 21 14 20 26 33 23 16 25 30 27 8 17 34 39 2 29 25 25 10 32 33 28 21 34 29 43 34 32 9 0 28 35 34 35 22 36 34 36 30 31 31 30 31 36 40 22 37 37 39 36 0 40 41 4 26 36 24 37 4 8 10 39 3 42 38 41 40 28 38 39 19 5 4 8 32 43 40 40 38 23 42 44 35 39 41 18 10 44 33 37 43 2 0 8 3 6 3 2 8 2 4 5 1 4 5 1 6 5 0 6 2 3 2 2 6 7 5 5 5 4 4 3 3 2 2 5 3 0 0 4 5 9 2 0 3 2 0 3 0 5 4 7 1 9 9 2 1 0 6 9 0 2 8 1 8 4 5 9 7 6 4 3 7 4 1 6 4 1 5 1 5 3 2 6 3 0 0 7 4 0 3 6 8 4 1 8 7 2 9 5 7 8 7 6 6 4 4 2 3 8 3 7 5 9 3 1 4 2 7 7 2 7 4 2 3 8 7 1 6 3 4 2 0 1 4 4 4 1 4 0 7 1 9 4 4 8 3 7 2 3 4 2 8 6 8 6 1 6 0 2 6 6 2 2 9 4 4 9 3 1 4 2 6 9 1 2 3 8 2 9 7 0 6 3 1 7 8 8 9 4 5 0 3 4 6 6 7 8 1 1 5 0 5 4 8 8 4 6 7 9 3 7 9 8 3 4 1 2 7 2 7 8 1 7 9 3 4 6 3 9 4 8 1 7 6 9 7 2 7 1 9 1 1 2 3 1 8 3 0 6 5 2 1 3 7 9 9 2 5 3 4 2 8 3 3 6 6 1 5 4 5 2 3 7 0 9 5 8 7 8 9 3 1 2 5 8 2 7 7 7 1 3 5 8 1 0 0 2 6 9 5 9 7 7 7 8 8 3 2 1 2 1 5 8 3 8 8 8 5 5 8 9 2 4 8 5 0 9 5 1 9 1 0 1 9 5 9 8 1 2 5 9 6 1 3 3 8 4 6 6 8 9 1 8 2 8 3 4 8 6 3 8 0 0 0 0 6 9 4 9 9 1 3 9 4 4 9 9 9 9 9 9 1 0 0 0 4 0 1 0 0 4 0 0 1 0 0 0 0 1 4