| Name | crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-230-2.sat05-2189.reshuffled-07.cnf |
| MD5SUM | 87d9c7ce297970bb210f40783f709fcc |
| 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.010997 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 230 |
| Number of clauses | 920 |
| Sum of the clauses size | 2760 |
| Maximum clause length | 3 |
| Minimum clause length | 3 |
| Number of clauses of size 1 | 0 |
| Number of clauses of size 2 | 0 |
| Number of clauses of size 3 | 920 |
| Number of clauses of size 4 | 0 |
| Number of clauses of size 5 | 0 |
| Number of clauses of size over 5 | 0 |
| Solver Name | TraceID | Answer | CPU time | Wall clock time |
|---|---|---|---|---|
| SATzilla2009_C 2009-03-22 (complete) | 1825642 | SAT | 0.010997 | 0.0107891 |
| SAT07 reference solver: SATzilla CRAFTED (complete) | 1784733 | SAT | 0.010997 | 0.01059 |
| MXC 2009-03-10 (complete) | 1783581 | SAT | 104.394 | 104.424 |
| SAT07 reference solver: minisat SAT 2007 (complete) | 1784732 | SAT | 171.819 | 171.898 |
| IUT_BMB_SAT 1.0 (complete) | 1784731 | SAT | 174.134 | 174.208 |
| clasp 1.2.0-SAT09-32 (complete) | 1784730 | SAT | 321.26 | 321.462 |
| LySAT c/2009-03-20 (complete) | 1824925 | SAT | 425.579 | 425.76 |
| MiniSat 2.1 (Sat-race'08 Edition) (complete) | 1783579 | SAT | 458.25 | 458.38 |
| precosat 236 (complete) | 1783578 | SAT | 525.734 | 525.898 |
| VARSAT-industrial 2009-03-22 (complete) | 1784734 | SAT | 586.371 | 586.528 |
| SApperloT base (complete) | 1784735 | SAT | 805.12 | 805.338 |
| glucose 1.0 (complete) | 1783580 | SAT | 1083.32 | 1083.85 |
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 0