Name | csp/graphColoring/sgb/ miles/normalized-miles1500-73.xml |
MD5SUM | 83f0475a580fc29be8e1e009c203a54a |
Bench Category | 2-ARY-INT (binary constraints in intension) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 0.18897 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 128 |
Number of constraints | 5198 |
Maximum constraint arity | 2 |
Maximum domain size | 73 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 5198 |
Global constraints used (with number of constraints) |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:17 55 4 20 19 54 42 14 9 60 21 50 56 59 5 49 23 17 28 65 12 6 45 66 69 18 4 27 0 67 47 41 48 34 32 11 27 72 5 16 68 7 15 59 50 46 31 14 10 8 37 31 43 1 36 10 38 70 11 9 12 19 6 33 52 35 32 22 51 37 52 42 26 10 49 23 2 18 1 12 3 17 61 58 22 3 30 20 53 6 25 24 62 47 5 57 45 43 30 21 29 16 46 15 9 6 39 2 3 0 64 7 63 7 44 71 11 16 51 44 33 34 40 13 13 41 48 8