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