Name | csp/compet02/ normalized-patat-02-comp-7.xml |
MD5SUM | da04246eb2c7c2038e1553efee1f24d9 |
Bench Category | GLOBAL (global constraints) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 28.6077 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 700 |
Number of constraints | 33712 |
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 | 33364 |
Global constraints used (with number of constraints) | alldifferent(348) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Mistral-prime 1.313 | 1058365 | SAT | 28.6077 | 28.6208 |
cpHydra k_10 | 1058370 | SAT | 43.2954 | 43.6623 |
Sugar v1.13+picosat | 1058359 | SAT | 105.455 | 106.686 |
cpHydra k_40 | 1058371 | SAT | 619.01 | 619.438 |
Mistral-option 1.314 | 1058364 | SAT | 668.211 | 674.333 |
SAT4J CSP 2008-06-13 | 1058358 | SAT | 1261.71 | 1268.85 |
Sugar v1.13+minisat | 1058360 | SAT | 1345.61 | 1354.18 |
MDG-probe 2008-06-27 | 1058356 | ? (TO) | 1800.05 | 1816.22 |
Minion/Tailor 2008-07-04 | 1105376 | ? (TO) | 1800.06 | 1801.31 |
casper zito | 1058367 | ? (TO) | 1800.06 | 1816.54 |
choco2_impwdeg 2008-06-26 | 1058362 | ? (TO) | 1800.09 | 1812.69 |
choco2_dwdeg 2008-06-26 | 1058363 | ? (TO) | 1800.09 | 1800.87 |
Abscon 112v4 ESAC | 1058369 | ? (TO) | 1800.1 | 1805.78 |
MDG-noprobe 2008-06-27 | 1058357 | ? (TO) | 1800.11 | 1812.92 |
bpsolver 2008-06-27 | 1058361 | ? (TO) | 1800.11 | 1817.72 |
casper zao | 1058366 | ? (TO) | 1800.14 | 1807.48 |
Abscon 112v4 AC | 1058368 | ? (TO) | 1800.15 | 1801.58 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:17 22 38 21 12 32 25 40 39 35 4 2 24 43 14 18 16 36 8 8 10 1 31 10 6 25 1 33 35 15 29 23 10 22 15 21 23 5 4 13 9 24 27 3 26 29 20 22 30 39 2 41 27 13 6 30 26 10 5 38 4 3 44 1 29 13 31 23 26 22 18 20 31 38 15 5 21 0 17 18 22 11 2 20 3 8 36 23 33 7 35 27 0 3 25 28 39 12 14 19 42 33 17 26 4 15 0 28 4 20 35 10 16 3 5 5 11 9 14 36 24 3 32 31 39 24 0 44 22 18 29 34 9 11 33 2 41 15 29 15 17 30 9 6 10 7 16 42 6 31 0 3 40 7 36 30 0 41 23 24 1 12 7 4 5 32 26 21 11 19 9 25 5 41 16 8 26 18 27 21 27 29 12 19 16 21 4 19 27 12 2 6 9 17 25 18 0 10 7 14 13 2 5 12 1 22 13 30 8 32 16 33 16 17 39 24 15 23 27 5 23 36 1 6 17 40 11 18 20 37 34 38 35 7 7 16 13 12 34 21 19 14 13 24 1 37 42 0 38 28 36 40 9 20 33 33 2 25 0 12 36 13 19 15 9 13 43 14 37 31 26 34 40 35 44 34 42 25 29 25 20 29 8 2 0 6 24 34 7 42 32 28 22 28 36 19 3 38 30 8 2 43 9 28 11 37 32 11 34 4 23 16 10 37 27 25 30 7 31 32 20 19 28 31 18 33 10 41 37 41 14 8 14 6 6 2 11 14 26 34 1 1 21 8 4 18 11 32 28 3 8 9 2 0 8 6 4 2 5 3 8 4 1 5 4 9 1 9 8 3 8 8 6 2 3 1 6 2 0 5 3 8 5 8 4 6 6 9 0 4 6 3 1 4 3 9 1 2 2 2 2 5 0 3 9 8 8 6 5 5 6 6 3 0 2 2 1 2 9 1 5 2 8 9 0 1 8 2 3 2 5 1 0 6 3 9 5 5 6 8 6 2 0 9 9 1 8 5 6 9 3 9 6 0 9 3 5 3 2 5 2 1 8 1 8 4 5 5 2 4 0 8 3 0 3 5 7 5 3 1 5 0 4 0 5 1 8 8 8 1 0 6 2 8 4 4 6 8 1 5 9 0 5 2 0 1 1 2 1 2 4 1 6 1 3 8 6 5 6 3 8 2 0 3 9 4 2 6 5 4 9 1 6 5 2 3 4 2 6 3 9 2 3 1 6 4 4 0 5 9 5 8 2 2 5 0 1 5 2 5 5 1 3 2 0 4 6 4 8 6 3 8 1 0 5 8 2 3 4 5 6 8 5 3 0 0 8 0 2 1 0 5 0 6 9 6 2 8 3 5 6 3 1 8 8 0 6 0 6 4 3 9 1 2 0 6 2 8 8 9 5 9 0 8 2 3 0 5 0 3 3 6 6 7 3 6 8 5 9 5 4 0 6 8 2 8 5 0 0 5 5 3 7 4 8 0 2 4 1 3 0 4 3 2 3 8 3 1 3 1 0 6 6 2 8 3 9 9 3 0 0 1 1 5 4 3 3 3 1 8 3 2 2 0 5 0 9 0 2 2