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