SAT 2011 Competition: main competition (phase 1): 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.004999
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
sattime+ 2011-03-02 (incomplete)3170051SAT 0.004999 0.00717802
sattime2011 2011-03-02 (incomplete)3153962SAT 0.004999 0.00940707
EagleUP 1.565.350 (incomplete)3093987SAT 0.005999 0.0069051
SAT09 reference solver: SATzilla2009_R 2009-03-22 (complete)3206440SAT 0.007997 0.00981099
shortsattime2011 2011-03-02 (incomplete)3157354SAT 0.008998 0.00924094
SAT09 reference solver: gnovelty+2 2009-03-22 (incomplete)3206442SAT 0.008998 0.00964395
csls prob-4cores (incomplete)3158246SAT 0.012997 0.00803094
adaptg2wsat2011 2011-03-02 (incomplete)3168851SAT 0.012998 0.012329
SAT09 reference solver: TNM 2009-03-22 (incomplete)3206441SAT 0.014996 0.0158569
csls pnorm-8cores (incomplete)3159446SAT 0.018996 0.0086311
sparrow2011 sparrow2011_ubcsat1.2_2011-03-02 (incomplete)3162838SAT 0.019996 0.0206249
shortsattime+ 2011-03-02 (incomplete)3169451SAT 0.024996 0.0275961
csls prob-8cores (incomplete)3158846SAT 0.027995 0.0107599
sattime 2011-03-02 (incomplete)3154562SAT 0.036994 0.0381999
MultiFlip 2011-02-11 (incomplete)3096387SAT 0.038994 0.0397381
ppfolio seq (complete)3191938SAT 0.110982 0.11095
ppfolio par (complete)3191338SAT 0.116981 0.053316
march_rw 2011-03-02 (complete)3152789SAT 0.18997 0.191041
SAT09 reference solver: march_hi hi (complete)3206443SAT 0.208968 0.209912
borg-sat 11.03.02-seq-random (fixed) (complete)3377760SAT 0.465928 0.551534
borg-sat 11.03.02-par-random (fixed) (complete)3378660SAT 0.529919 0.583223
borg-sat 11.03.02-seq-random (fixed, 1200 s timeout) (complete)3484558SAT 0.656899 0.878268
borg-sat 11.03.02-random [DEPRECATED] (complete)3317604SAT 0.667898 0.667294
MPhaseSAT64 2011-05-14 (fixed) (complete)3375360SAT 0.745886 0.746571
MPhaseSAT 2011-02-15 (complete)3094587SAT 0.759883 0.760123
MPhaseSAT64 2011-03-03 [DEPRECATED] (complete)3095187SAT 0.840871 0.844074
MPhaseSAT_M 2011-02-16 (complete)3095787SAT 0.85287 0.855769
CryptoMiniSat Strange-Night2-st (fixed) (complete)3367860SAT 3.22451 3.22756
CryptoMiniSat Strange-Night2-st [DEPRECATED] (complete)3174851SAT 3.51147 3.51169
QuteRSat 2011-05-12 (fixed) (complete)3376560SAT 4.08338 4.08375
RestartSAT B95 (complete)3170651SAT 4.09938 4.09893
sathys 2011-04-01 (complete)3190138SAT 4.16037 4.16204
QuteRSat 2011-03-01 [DEPRECATED] (complete)3188938SAT 5.39618 5.39836
Satisfiability Solver Selector 2011-03-18 (1200 s timeout) (complete)3449540SAT 6.13 6.22382
Satisfiability Solver Selector 2011-03-18 (complete)3201391SAT 6.15 6.21254
CryptoMiniSat TechDemo-Alpha-st (complete)3173651SAT 10.2954 10.3072
CryptoMiniSat Strange-Night-2-mt [DEPRECATED] (complete)3174251SAT 12.865 3.22542
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3366660SAT 12.929 3.24785
SAT4J core 2.3.0 SNAPSHOT 2011-02-06 (complete)3190738SAT 24.0873 23.6374
CryptoMiniSat Strange-Night-1-mt [DEPRECATED] (complete)3175451SAT 43.7683 10.9641
CryptoMiniSat Strange-Night-1-mt (fixed) (complete)3369060SAT 44.2453 11.1006
jMiniSat 2011 (complete)3279737SAT 56.0325 55.6621
UmSat 2011-02-25 [DEPRECATED] (complete)3171851SAT 58.8291 58.8307
RestartSAT A75 (complete)3171251SAT 60.5228 60.5229
CryptoMiniSat Strange-Night-1-st [DEPRECATED] (complete)3176051SAT 66.077 66.0863
CryptoMiniSat Strange-Night-1-st (fixed) (complete)3370260SAT 66.103 66.1048
synit_sat 2011-03-03 (complete)3160046SAT 95.2055 95.2066
STRUCTure 0.1 (hbr=2) (complete)3311684SAT 113.175 28.6988
Sol 2011-04-04 (complete)3189538SAT 202.356 201.134
STRUCTure 0.1 (complete)3312884SAT 456.26 114.972
CryptoMiniSat TechDemo-Alpha-mt (complete)3173051SAT 891.614 223.31
Black Hole SAT 2011-03-08 (complete)3172451SAT 921.058 921.028
SAT_Intersec_01 2011-03-01 (complete)3195289? (TO) 1300.5 1300.11

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