SAT 2011 Competition: main competition (phase 2): solvers results per benchmarks

Result page for benchmark
random/medium/
unif-k3-r4.26-v350-c1491-S1507171828-044.SATISFIABLE.cnf

Jump to solvers results

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v350-c1491-S1507171828-044.SATISFIABLE.cnf
MD5SUM3fdc728117bf5d54c14944ad1e6b0800
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.011998
Satisfiable
(Un)Satisfiability was proved
Number of variables350
Number of clauses1491
Sum of the clauses size4473
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 31491
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
sparrow2011 sparrow2011_ubcsat1.2_2011-03-02 (incomplete)3221485SAT 0.011998 0.013034
EagleUP 1.565.350 (incomplete)3221489SAT 0.033993 0.033779
SAT09 reference solver: gnovelty+2 2009-03-22 (incomplete)3211128SAT 0.121981 0.123408
csls pnorm-8cores (incomplete)3418084SAT 0.186971 0.039943
adaptg2wsat2011 2011-03-02 (incomplete)3446343SAT 0.202968 0.203369
ppfolio seq (complete)3221488SAT 0.693894 0.694302
borg-sat 11.03.02-seq-random (fixed) (complete)3386866SAT 0.775882 0.99841
sattime2011 2011-03-02 (incomplete)3426959SAT 0.777881 0.77904
SAT09 reference solver: SATzilla2009_R 2009-03-22 (complete)3211130SAT 0.897862 0.899818
MPhaseSAT_M 2011-02-16 (complete)3221486SAT 0.999847 0.999609
SAT09 reference solver: TNM 2009-03-22 (incomplete)3211131SAT 1.16382 1.16465
ppfolio par (complete)3221487SAT 1.44278 0.726152
borg-sat 11.03.02-par-random (fixed) (complete)3385666SAT 1.58676 1.01415
borg-sat 11.03.02-random [DEPRECATED] (complete)3322153SAT 1.86272 1.0755
march_rw 2011-03-02 (complete)3420679SAT 4.99224 4.99239
SAT09 reference solver: march_hi hi (complete)3211129SAT 5.50216 5.50611
Satisfiability Solver Selector 2011-03-18 (complete)3221484SAT 23.7634 23.788

Additionnal information

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 272 273 -274 275 276 277 -278 -279 -280 281 -282 -283 -284 285 -286 -287 -288 289 290 291 -292 293 294 -295 296 297 -298
299 -300 -301 -302 -303 -304 305 306 -307 308 309 -310 311 -312 313 314 -315 -316 -317 -318 -319 -320 -321 322 -323 -324 -325 326 -327 -328
-329 -330 -331 332 -333 334 335 336 337 338 -339 340 -341 342 343 344 345 -346 347 348 349 350 0