Name | crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-220-1.sat05-2173.reshuffled-07.cnf |
MD5SUM | ce96de70272a2ecfcbbf1c8e965c8e57 |
Bench Category | CRAFTED (crafted instances) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 255.708 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 220 |
Number of clauses | 880 |
Sum of the clauses size | 2640 |
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 | 880 |
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 |
---|---|---|---|---|
SatElite + ReVivAl 0.23 2009-03-18 (complete) | 1805817 | SAT | 255.708 | 255.842 |
ReVivAl 0.23 2009-03-18 (complete) | 1805819 | SAT | 256.127 | 256.251 |
IUT_BMB_SIM 1.0 (complete) | 1805820 | SAT | 256.18 | 256.327 |
minisat2-core 070721 (complete) | 1805821 | SAT | 273.808 | 273.894 |
ReVivAl 0.23 + SatElite 2009-03-18 (complete) | 1805818 | SAT | 273.958 | 274.077 |
minisat2-simp 070721 (complete) | 1805815 | SAT | 274.939 | 275.015 |
kw_pre 2009-03-21 (complete) | 1805816 | SAT | 664.271 | 664.53 |
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 0