Name | crafted/mosoi/289/ 289-sat-6x8.cnf |
MD5SUM | 0836620198442c187bac3443fd060059 |
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.001998 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 192 |
Number of clauses | 2016 |
Sum of the clauses size | 7488 |
Maximum clause length | 4 |
Minimum clause length | 2 |
Number of clauses of size 1 | 0 |
Number of clauses of size 2 | 288 |
Number of clauses of size 3 | 0 |
Number of clauses of size 4 | 1728 |
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 -56 -53 -54 55 -183 -151 -119 -87 -85 -86 88 -184 -152 -120 -128 -124 -156 -192 -188 -160 -157 -158 159 -191 -190 189 -187 -186 185 -155 -154 153 -177 -173 -169 -165 -161 -52 -181 182 -149 150 -178 -174 -170 -166 -162 -68 -91 -89 -90 92 -116 -112 -108 -104 -148 -144 -140 -136 -180 179 -176 175 -172 171 -168 167 -164 163 -123 -122 121 -125 -129 -126 127 -147 -146 145 -113 -114 115 -111 -107 -103 -99 -139 -135 -131 -143 -142 141 -109 110 -95 -93 -94 96 -100 -98 97 -117 118 -132 130 -137 138 -106 105 -133 134 -102 101 -48 -45 -46 47 -51 -43 -39 -35 -79 -77 -78 80 -83 -81 -82 84 -50 49 -57 -65 -66 67 -75 -71 -69 -73 -74 76 -41 -42 44 -64 -60 -72 70 -36 -34 33 -37 -38 40 -61 -62 63 -58 59 -5 -6 -7 8 -12 -9 -10 11 -19 -15 -17 -18 20 -32 -28 -24 -16 -29 -30 31 -27 -23 -26 25 -13 14 -22 21