Name | csp/queens/ normalized-queens-120.xml |
MD5SUM | e474d160d95b285007e3c29a382ac11f |
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 | 4.49232 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 120 |
Number of constraints | 7140 |
Maximum constraint arity | 2 |
Maximum domain size | 120 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 7140 |
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:62 6 76 7 117 4 60 43 80 116 5 46 53 115 113 8 114 47 9 52 112 10 111 11 110 12 109 13 108 14 107 15 41 106 63 57 105 85 78 56 61 69 81 39 16 104 17 20 103 99 18 102 86 33 35 38 19 22 101 21 97 79 100 66 34 89 30 119 1 96 93 31 88 32 87 83 91 26 29 90 92 36 84 73 94 27 25 28 2 95 24 98 118 54 51 23 3 49 44 75 50 70 77 82 40 72 37 45 74 67 58 64 68 42 59 55 48 71 65 120