Name | csp/compet02/ normalized-patat-02-comp-10.xml |
MD5SUM | 2a82fd0e6a406c196682c347f06803ad |
Bench Category | GLOBAL (global constraints) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 134.588 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 800 |
Number of constraints | 64588 |
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 | 64388 |
Global constraints used (with number of constraints) | alldifferent(200) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Sugar v1.13+picosat | 1058215 | SAT | 134.588 | 135.943 |
cpHydra k_10 | 1058226 | SAT | 692.986 | 695.364 |
Mistral-prime 1.313 | 1058221 | SAT | 710.655 | 714.094 |
cpHydra k_40 | 1058227 | SAT | 1293.95 | 1300.12 |
Minion/Tailor 2008-07-04 | 1105359 | ? (TO) | 1800.07 | 1800.62 |
MDG-noprobe 2008-06-27 | 1058213 | ? (TO) | 1800.08 | 1811.63 |
Mistral-option 1.314 | 1058220 | ? (TO) | 1800.09 | 1807.42 |
MDG-probe 2008-06-27 | 1058212 | ? (TO) | 1800.1 | 1807.42 |
casper zao | 1058222 | ? (TO) | 1800.11 | 1806.78 |
casper zito | 1058223 | ? (TO) | 1800.12 | 1810.65 |
bpsolver 2008-06-27 | 1058217 | ? (TO) | 1800.14 | 1801.63 |
choco2_impwdeg 2008-06-26 | 1058218 | ? (TO) | 1800.15 | 1814.69 |
Abscon 112v4 AC | 1058224 | ? (TO) | 1800.18 | 1812.05 |
SAT4J CSP 2008-06-13 | 1058214 | ? (TO) | 1800.22 | 1812.4 |
choco2_dwdeg 2008-06-26 | 1058219 | ? (TO) | 1800.24 | 1801.73 |
Abscon 112v4 ESAC | 1058225 | ? (TO) | 1800.24 | 1814.04 |
Sugar v1.13+minisat | 1058216 | ? (TO) | 1800.26 | 1810.82 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:39 6 39 18 13 2 19 11 1 23 4 5 3 16 1 24 3 13 30 17 40 23 1 14 12 13 23 21 34 2 29 15 1 1 40 40 30 14 4 22 9 29 21 2 9 38 16 7 19 25 10 33 33 2 28 3 9 11 5 34 29 11 44 16 27 31 29 26 8 13 33 5 32 44 20 4 2 37 9 0 2 24 23 12 12 5 21 4 19 22 17 3 6 41 36 2 14 35 43 28 21 12 44 8 6 15 3 26 30 38 33 42 29 44 27 31 37 21 43 7 8 16 42 6 40 32 42 9 7 11 13 5 14 15 29 37 11 8 38 8 16 1 10 12 15 12 31 9 35 32 32 9 43 15 6 16 43 36 44 3 0 13 18 14 8 32 42 4 18 7 6 9 7 7 30 20 25 15 15 4 19 3 18 8 17 32 21 19 32 22 12 29 23 23 0 17 28 17 17 10 26 42 16 33 18 11 5 19 19 30 10 15 18 24 10 25 3 22 29 5 22 13 18 34 44 27 3 24 20 28 23 2 37 17 24 26 27 20 33 22 31 28 20 10 19 25 10 43 29 38 22 27 35 24 30 17 21 27 0 24 25 23 7 41 1 35 28 42 35 11 21 1 12 4 41 4 34 37 18 40 9 11 31 25 35 33 13 39 31 35 44 26 11 34 16 34 17 42 21 34 44 41 35 0 30 3 31 20 0 32 24 8 25 37 24 26 9 34 4 28 37 36 8 44 36 39 1 14 34 38 27 30 38 26 14 33 1 40 0 40 43 42 38 19 6 18 39 17 41 36 0 10 23 39 36 38 31 6 21 31 39 23 22 40 15 13 6 43 20 36 40 37 0 32 27 12 33 27 36 41 22 35 25 8 28 38 36 28 32 14 20 12 16 42 26 30 41 37 39 22 6 6 8 9 8 7 9 5 2 5 3 1 6 5 9 0 2 7 0 7 7 4 5 1 8 0 7 6 1 9 2 4 3 1 5 6 2 7 8 3 3 7 9 8 2 8 9 5 1 4 9 2 0 0 3 4 8 8 4 3 8 4 5 8 3 8 6 8 1 5 7 9 9 9 6 2 2 2 7 1 3 4 3 5 1 5 2 9 0 9 3 9 7 4 5 1 3 7 9 8 7 6 7 2 3 6 1 4 4 7 9 9 9 2 4 4 5 3 4 8 3 6 6 8 1 4 3 9 4 1 2 8 2 3 1 3 7 8 5 6 3 7 0 3 5 9 6 4 3 8 1 1 0 9 4 1 7 7 3 5 7 9 4 6 9 7 1 4 5 3 1 0 1 6 8 0 7 2 8 7 8 3 3 5 6 6 8 5 5 4 2 5 0 2 8 8 5 5 2 6 6 0 7 3 1 9 7 2 3 7 2 1 7 9 1 2 0 5 3 3 8 3 6 4 8 1 7 3 5 1 8 4 9 0 1 9 5 8 6 6 1 6 4 5 7 1 8 5 4 2 7 9 9 7 9 1 1 2 5 5 8 1 9 7 4 4 2 7 5 2 5 8 7 6 8 5 9 8 8 2 6 0 3 3 8 1 4 0 7 2 1 2 3 8 2 5 4 8 0 6 6 9 1 9 3 8 9 9 2 2 6 0 9 1 8 1 5 2 1 9 4 6 4 0 1 9 0 9 7 9 6 1 4 3 8 8 6 8 4 9 1 4 3 4 2 0 3 9 1 9 3 4 9 4 8 1 5 9 4 0 1 6 1 4 7 1 5 8 1 4 3 6 6 0 8 0 4 7 0 3 0 0 6 7 7 6 2 4 3 4 3 4 4 5 5 6 6 7 7 2