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

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

Jump to solvers results

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v350-c1491-S87195105-042.SATISFIABLE.cnf
MD5SUMada5b04e33de45b97800e1e97a28e189
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.002999
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
SAT09 reference solver: gnovelty+2 2009-03-22 (incomplete)3211680SAT 0.002999 0.00598807
sattime2011 2011-03-02 (incomplete)3427097SAT 0.005998 0.020949
sparrow2011 sparrow2011_ubcsat1.2_2011-03-02 (incomplete)3222313SAT 0.007997 0.00768599
adaptg2wsat2011 2011-03-02 (incomplete)3446481SAT 0.008997 0.0205129
EagleUP 1.565.350 (incomplete)3222317SAT 0.009997 0.010299
SAT09 reference solver: SATzilla2009_R 2009-03-22 (complete)3211682SAT 0.009997 0.00999501
SAT09 reference solver: TNM 2009-03-22 (incomplete)3211683SAT 0.017996 0.018434
ppfolio seq (complete)3222316SAT 0.033993 0.0345751
ppfolio par (complete)3222315SAT 0.05499 0.017476
march_rw 2011-03-02 (complete)3420817SAT 0.189971 0.190444
SAT09 reference solver: march_hi hi (complete)3211681SAT 0.209968 0.210826
csls pnorm-8cores (incomplete)3418222SAT 0.219965 0.045948
borg-sat 11.03.02-seq-random (fixed) (complete)3387004SAT 0.535918 0.779541
MPhaseSAT_M 2011-02-16 (complete)3222314SAT 0.762883 0.762166
Satisfiability Solver Selector 2011-03-18 (complete)3222312SAT 6.15 6.21666
borg-sat 11.03.02-random [DEPRECATED] (complete)3322291? (exit code) 1.69274 1.06417
borg-sat 11.03.02-par-random (fixed) (complete)3385804? (exit code) 1.92071 1.10133

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