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