Name | csp/compet02/ normalized-patat-02-comp-16.xml |
MD5SUM | f584a0bdadad6a616787946f67b79e6d |
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.3188 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 880 |
Number of constraints | 44094 |
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 | 43874 |
Global constraints used (with number of constraints) | alldifferent(220) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Sugar v1.13+picosat | 1058423 | SAT | 93.3188 | 97.5754 |
Mistral-prime 1.313 | 1058429 | SAT | 572.637 | 577.038 |
cpHydra k_10 | 1058434 | SAT | 593.586 | 599.362 |
cpHydra k_40 | 1058435 | SAT | 1134.15 | 1146.31 |
Minion/Tailor 2008-07-04 | 1105365 | ? (TO) | 1800 | 1814.01 |
Mistral-option 1.314 | 1058428 | ? (TO) | 1800.03 | 1807.42 |
bpsolver 2008-06-27 | 1058425 | ? (TO) | 1800.03 | 1810.33 |
casper zito | 1058431 | ? (TO) | 1800.07 | 1807.53 |
MDG-noprobe 2008-06-27 | 1058421 | ? (TO) | 1800.08 | 1801.22 |
choco2_impwdeg 2008-06-26 | 1058426 | ? (TO) | 1800.08 | 1804.18 |
MDG-probe 2008-06-27 | 1058420 | ? (TO) | 1800.09 | 1812.42 |
casper zao | 1058430 | ? (TO) | 1800.12 | 1801.89 |
Sugar v1.13+minisat | 1058424 | ? (TO) | 1800.13 | 1811.19 |
Abscon 112v4 ESAC | 1058433 | ? (TO) | 1800.14 | 1805.31 |
choco2_dwdeg 2008-06-26 | 1058427 | ? (TO) | 1800.14 | 1801.81 |
SAT4J CSP 2008-06-13 | 1058422 | ? (TO) | 1800.16 | 1808.39 |
Abscon 112v4 AC | 1058432 | ? (TO) | 1800.16 | 1816.24 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:24 44 28 10 3 3 27 8 10 9 1 2 0 0 3 35 2 2 14 15 1 3 6 36 3 19 1 36 5 11 5 4 2 14 9 0 38 11 4 0 10 15 9 6 14 4 5 10 1 9 8 7 12 16 2 10 36 18 4 17 5 3 16 11 4 33 12 3 5 18 42 5 7 5 0 11 22 31 4 22 8 27 14 17 2 18 7 3 34 6 8 4 15 1 26 33 5 6 12 38 7 13 8 7 19 13 1 16 9 6 8 17 23 13 6 32 10 13 20 12 17 9 12 0 35 33 17 11 12 5 24 6 4 11 12 11 15 14 1 10 25 14 18 7 14 13 13 14 15 17 17 32 16 4 17 18 19 18 15 20 16 19 21 9 21 13 11 3 28 10 21 21 20 11 0 10 23 14 1 2 22 23 26 21 1 25 20 8 24 13 8 18 17 18 7 24 26 21 19 21 13 22 19 36 25 31 20 15 23 2 16 22 38 22 12 9 4 20 23 20 29 24 23 26 27 34 25 26 15 3 44 27 19 41 41 29 16 0 27 29 23 30 25 24 3 21 4 18 27 27 10 31 24 22 26 12 25 12 7 25 24 5 6 25 27 28 32 31 29 28 26 30 1 28 31 17 8 20 26 32 6 27 25 30 32 21 15 29 21 34 29 31 30 27 16 27 28 41 31 42 22 43 41 32 33 36 34 29 25 33 28 33 8 35 6 29 30 31 35 7 37 23 29 11 34 29 13 30 28 9 31 36 14 36 37 15 39 23 38 19 29 37 30 34 2 9 43 44 38 33 34 40 36 1 19 30 39 13 32 39 30 30 34 21 7 31 7 32 38 35 32 33 40 35 37 39 35 42 37 26 38 38 39 40 41 39 35 42 5 39 24 34 35 34 22 36 8 37 6 39 43 40 43 28 40 44 28 40 42 41 44 43 41 40 37 25 41 41 43 42 40 39 42 16 44 19 28 41 44 35 40 0 40 43 32 44 37 38 40 43 1 0 1 10 10 3 7 1 7 7 9 6 7 9 1 5 5 7 7 6 4 2 7 6 5 6 0 7 8 9 1 10 0 1 4 10 4 3 5 2 6 8 2 6 6 3 7 0 7 0 0 8 10 7 10 8 0 5 4 6 4 8 6 6 2 5 7 7 3 6 1 0 0 2 6 5 0 6 0 4 2 2 0 4 3 10 1 0 7 3 6 8 10 6 5 4 9 8 6 1 10 2 7 2 3 6 8 10 9 10 9 0 6 9 9 5 5 10 2 9 1 1 4 4 4 8 8 10 0 10 4 4 6 1 8 7 2 4 10 4 1 10 2 3 8 8 7 9 7 10 2 3 1 9 5 4 2 0 0 5 4 10 3 6 10 4 4 6 6 3 8 6 0 8 1 9 9 2 1 9 7 4 10 7 5 4 10 10 5 3 3 9 7 7 4 6 2 2 1 5 5 5 9 4 2 4 7 1 0 8 2 8 6 10 2 10 7 6 10 1 2 3 8 6 9 2 8 1 9 4 10 1 7 10 1 0 3 3 4 5 3 2 6 10 9 0 1 3 0 5 1 5 0 2 0 5 3 1 7 7 7 6 1 9 10 3 1 1 7 5 4 7 3 2 10 9 5 4 7 10 2 6 5 0 8 9 3 3 4 3 10 2 10 8 0 3 9 6 0 10 6 4 0 4 10 10 10 6 10 6 10 0 8 10 0 1 3 7 8 6 2 5 8 0 0 4 0 1 0 5 3 1 5 9 4 5 3 2 9 5 9 3 9 5 4 3 0 1 5 1 9 2 5 2 8 5 5 1 0 10 4 6 4 1 9 8 5 9 10 6 7 7 1 7 10 9 1 0 9 3 3 2 1 0 9 6 0 5 5 0 2 1 2 6 1 2 4 5 5 7 7 7 8 8 3 2 7 8 6 2 9 6 8 9 1 0 4 3 3 4 4 4 8 5 4 4 4 5 5 3 10 5 5 5 6 6 6 0 6 10