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 | 173.631 |
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 |
---|---|---|---|---|
IUT_BMB_SIM 1.0 (complete) | 1805813 | SAT | 173.631 | 173.714 |
SatElite + ReVivAl 0.23 2009-03-18 (complete) | 1805810 | SAT | 174.066 | 174.127 |
ReVivAl 0.23 + SatElite 2009-03-18 (complete) | 1805811 | SAT | 174.16 | 174.253 |
minisat2-core 070721 (complete) | 1805814 | SAT | 186.257 | 186.321 |
minisat2-simp 070721 (complete) | 1805808 | SAT | 186.402 | 186.454 |
ReVivAl 0.23 2009-03-18 (complete) | 1805812 | SAT | 186.437 | 186.495 |
kw_pre 2009-03-21 (complete) | 1805809 | ? (TO) | 1200 | 1200.51 |
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