| Name | crafted/Medium/contest05/jarvisalo/ mod2c-rand3bip-sat-190-3.sat05-2445.reshuffled-07.cnf |
| MD5SUM | ba385c05848b5f8fd49dff62bba43c15 |
| Bench Category | CRAFTED (crafted instances) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 8.15676 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 271 |
| Number of clauses | 1972 |
| Sum of the clauses size | 8840 |
| Maximum clause length | 6 |
| Minimum clause length | 4 |
| Number of clauses of size 1 | 0 |
| Number of clauses of size 2 | 0 |
| Number of clauses of size 3 | 0 |
| Number of clauses of size 4 | 1120 |
| Number of clauses of size 5 | 752 |
| Number of clauses of size over 5 | 100 |
| Solver Name | TraceID | Answer | CPU time | Wall clock time |
|---|---|---|---|---|
| SatElite + ReVivAl 0.23 2009-03-18 (complete) | 1805831 | SAT | 8.15676 | 8.15978 |
| ReVivAl 0.23 2009-03-18 (complete) | 1805833 | SAT | 8.15776 | 8.16345 |
| ReVivAl 0.23 + SatElite 2009-03-18 (complete) | 1805832 | SAT | 8.72767 | 8.73286 |
| minisat2-simp 070721 (complete) | 1805829 | SAT | 21.5127 | 21.5244 |
| kw_pre 2009-03-21 (complete) | 1805830 | SAT | 158.723 | 158.801 |
| minisat2-core 070721 (complete) | 1805835 | SAT | 191.609 | 191.666 |
| IUT_BMB_SIM 1.0 (complete) | 1805834 | SAT | 205.307 | 205.364 |
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 5 -6 -7 8 9 -10 -11 -12 -13 -14 15 16 -17 18 -19 -20 -21 -22 -23 24 -25 26 27 28 -29 30 31 -32 33 -34 -35 36 -37 38 39 -40 -41 42 -43 44 -45 -46 47 -48 -49 50 -51 -52 53 54 55 56 -57 -58 -59 60 -61 -62 -63 -64 -65 -66 -67 68 69 -70 71 -72 -73 -74 75 -76 -77 78 79 -80 81 -82 -83 -84 85 -86 87 88 -89 -90 91 92 -93 -94 -95 -96 97 -98 99 -100 -101 -102 -103 104 -105 -106 107 -108 109 110 111 -112 113 114 115 -116 117 118 -119 -120 -121 122 123 -124 -125 -126 -127 -128 -129 130 -131 132 -133 -134 135 -136 -137 -138 -139 140 -141 -142 -143 -144 145 -146 147 -148 -149 -150 -151 -152 -153 -154 -155 156 -157 -158 -159 160 -161 162 163 164 165 -166 -167 168 -169 170 -171 -172 -173 -174 175 176 -177 -178 179 -180 181 182 -183 -184 -185 -186 187 -188 -189 -190 -191 -192 193 194 -195 -196 -197 -198 199 -200 -201 202 -203 204 -205 206 207 208 -209 -210 -211 212 213 214 -215 -216 217 218 -219 -220 -221 -222 223 -224 -225 -226 227 -228 229 -230 231 -232 -233 -234 -235 236 -237 -238 -239 -240 -241 -242 -243 -244 -245 246 247 -248 249 -250 251 -252 -253 254 -255 -256 -257 258 259 -260 -261 -262 -263 -264 -265 266 -267 -268 -269 270 -271 0