Name | crafted/mosoi/289/ 289-sat-6x9.cnf |
MD5SUM | 7cb6eb41697b41369a6f06ef320865a8 |
Bench Category | CRAFTED (crafted instances) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 0.001999 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 216 |
Number of clauses | 2538 |
Sum of the clauses size | 9504 |
Maximum clause length | 4 |
Minimum clause length | 2 |
Number of clauses of size 1 | 0 |
Number of clauses of size 2 | 324 |
Number of clauses of size 3 | 0 |
Number of clauses of size 4 | 2214 |
Number of clauses of size 5 | 0 |
Number of clauses of size over 5 | 0 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:-1 -2 -3 4 -60 -57 -58 59 -203 -167 -131 -95 -93 -94 96 -204 -168 -132 -140 -136 -144 -180 -176 -172 -216 -212 -208 -205 -206 207 -76 -73 -74 75 -143 -139 -135 -215 -211 -183 -179 -175 -171 -170 169 -201 202 -165 166 -198 -194 -190 -186 -182 -107 -105 -106 108 -128 -124 -120 -116 -164 -160 -156 -152 -200 -196 -193 195 -192 -189 191 -188 -185 187 -184 181 -103 -101 -102 104 -112 -109 -110 111 -147 -199 197 -163 -214 213 -210 209 -159 -155 -151 -150 149 -145 -146 148 -99 -97 -98 100 -129 130 -174 173 -177 -161 178 162 -142 -126 141 -137 -125 138 127 -91 -158 157 -154 153 -119 -118 117 -133 -121 -113 134 -122 123 -87 -115 114 -85 -86 88 -56 -53 -54 55 -51 -39 -83 -81 -82 84 -79 -77 -78 80 -49 -50 52 -72 -68 -64 -48 -44 -92 -90 89 -40 -38 37 -69 -65 -70 71 -66 67 -61 -62 63 -47 -43 -46 45 -41 42 -5 -6 -7 8 -36 -32 -28 -24 -16 -12 -33 -34 35 -31 -27 -23 -19 -30 29 -17 -25 -13 -9 26 -22 21 -18 20 -14 15 -11 10