Name | csp/compet08/ normalized-patat-08-comp-13.xml |
MD5SUM | 2bfe383200b06cc8d10162ce709ea70a |
Bench Category | GLOBAL (global constraints) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 11.4383 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 800 |
Number of constraints | 24450 |
Maximum constraint arity | 24 |
Maximum domain size | 36 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 24150 |
Global constraints used (with number of constraints) | alldifferent(300) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Mistral-prime 1.313 | 1058125 | SAT | 11.4383 | 11.493 |
cpHydra k_10 | 1058130 | SAT | 21.3158 | 21.6051 |
Mistral-option 1.314 | 1058124 | SAT | 59.8289 | 60.3494 |
MDG-probe 2008-06-27 | 1058116 | SAT | 65.1531 | 65.7368 |
Sugar v1.13+minisat | 1058120 | SAT | 91.2131 | 92.2673 |
Abscon 112v4 AC | 1058128 | SAT | 110.813 | 111.324 |
cpHydra k_40 | 1058131 | SAT | 113.58 | 114.711 |
Sugar v1.13+picosat | 1058119 | SAT | 138.781 | 139.692 |
Abscon 112v4 ESAC | 1058129 | SAT | 208.905 | 210.633 |
SAT4J CSP 2008-06-13 | 1058118 | SAT | 1191.88 | 1194.15 |
bpsolver 2008-06-27 | 1058121 | ? (TO) | 1800.03 | 1802.72 |
MDG-noprobe 2008-06-27 | 1058117 | ? (TO) | 1800.03 | 1814.12 |
Minion/Tailor 2008-07-04 | 1105382 | ? (TO) | 1800.08 | 1804.61 |
choco2_dwdeg 2008-06-26 | 1058123 | ? (TO) | 1800.09 | 1807.78 |
casper zito | 1058127 | ? (TO) | 1800.11 | 1804.42 |
casper zao | 1058126 | ? (TO) | 1800.15 | 1803.97 |
choco2_impwdeg 2008-06-26 | 1058122 | ? (TO) | 1800.45 | 1816.26 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:30 37 0 28 2 3 15 40 34 13 39 24 6 44 0 22 8 33 4 21 21 33 35 42 41 24 25 20 1 31 29 8 1 11 7 31 6 3 4 43 22 24 11 25 9 14 8 3 35 6 35 40 16 11 19 32 32 29 8 37 28 44 31 25 15 44 10 23 33 4 9 10 3 8 28 31 2 24 12 23 20 4 14 26 29 21 33 11 2 38 26 26 17 6 5 23 11 27 39 0 2 0 5 43 36 1 36 18 16 41 30 31 1 18 35 23 10 26 30 33 8 35 27 32 17 21 43 27 23 42 9 26 28 3 6 24 2 13 3 17 10 18 9 8 26 6 29 27 32 4 1 9 13 3 42 30 15 12 1 2 40 10 8 35 36 36 39 14 43 12 37 30 13 10 7 1 29 2 16 22 25 23 38 34 21 20 43 26 4 27 42 1 21 21 33 7 6 13 33 24 12 39 30 40 39 19 37 42 13 34 38 24 19 26 12 24 22 28 24 20 5 6 2 16 5 9 16 42 28 15 7 41 14 37 41 30 44 38 16 29 24 25 13 25 40 28 14 14 28 36 27 17 7 12 8 32 3 12 23 2 18 6 26 0 0 17 4 44 38 11 5 21 32 16 18 26 0 31 22 4 29 43 22 37 15 9 34 5 42 34 10 23 11 35 39 31 44 30 27 44 36 43 18 13 11 18 42 40 19 38 28 16 34 19 1 9 3 3 15 9 8 34 40 4 5 38 26 0 10 36 6 5 25 42 16 1 21 15 27 42 12 41 9 3 18 43 38 34 9 32 37 15 31 19 22 40 18 13 20 14 17 41 39 21 20 10 22 15 7 37 14 32 34 17 20 44 41 13 12 30 4 2 3 9 7 17 33 27 35 41 7 29 19 16 6 39 31 17 20 17 10 18 0 11 13 2 4 11 3 2 18 3 9 14 13 18 3 0 2 13 12 8 9 0 4 16 1 0 16 11 14 14 8 13 13 7 0 1 4 7 1 15 2 8 16 4 8 4 1 7 16 3 11 15 11 9 15 4 9 2 7 9 13 18 15 10 9 1 3 9 3 14 11 13 0 10 16 1 1 7 8 15 5 1 8 14 2 16 1 0 18 0 3 5 2 0 14 2 5 3 0 11 0 4 0 10 4 10 2 1 1 0 4 0 2 2 13 3 12 16 12 0 8 4 1 1 16 18 10 16 11 15 14 10 6 0 2 12 6 13 10 7 0 4 17 2 18 12 11 11 3 2 1 15 6 3 7 3 11 8 1 16 1 7 1 18 0 2 8 9 8 15 4 11 3 0 0 6 19 4 2 3 11 1 11 2 1 7 1 15 12 2 2 3 18 0 1 3 15 4 7 4 7 0 14 1 3 5 5 15 7 11 10 12 4 2 11 12 14 1 6 13 11 16 1 9 3 11 8 19 15 6 3 1 2 11 11 19 0 11 9 0 13 9 4 1 11 1 18 14 0 4 2 18 0 6 13 0 11 9 2 11 9 4 1 2 0 19 15 0 13 16 8 14 4 2 9 1 3 8 10 12 14 0 0 10 11 4 2 9 3 4 11 3 1 3 7 2 10 3 3 18 1 6 1 16 1 14 14 1 15 1 2 8 1 1 3 5 3 13 2 19 2 13 15 2 4 2 15 2 4 3 10 4 7 13 0 11 1 3 11 10 8 9 9 10 14 7 4 0 7 2 8 4 15 5 3 7 14 0 10 7 2 15 16 6 10 1 1 11 13 1 0 14 3 8 0 0 2 0 3 3 0 14 11 0 1 3 14 15 4 1 0 15 3 3 14 11 7 5