SAT 2011 Competition: main competition (phase 1): 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.035994
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
EagleUP 1.565.350 (incomplete)3093849SAT 0.035994 0.0371651
SAT09 reference solver: TNM 2009-03-22 (incomplete)3205889SAT 0.048992 0.053269
csls prob-4cores (incomplete)3158108SAT 0.05699 0.019114
shortsattime2011 2011-03-02 (incomplete)3157216SAT 0.05799 0.0584561
csls pnorm-8cores (incomplete)3159308SAT 0.068988 0.0213461
sparrow2011 sparrow2011_ubcsat1.2_2011-03-02 (incomplete)3162700SAT 0.131979 0.131933
sattime2011 2011-03-02 (incomplete)3153824SAT 0.153976 0.155904
SAT09 reference solver: gnovelty+2 2009-03-22 (incomplete)3205890SAT 0.215967 0.216613
MultiFlip 2011-02-11 (incomplete)3096249SAT 0.245962 0.251264
csls prob-8cores (incomplete)3158708SAT 0.293954 0.0768741
adaptg2wsat2011 2011-03-02 (incomplete)3168713SAT 0.482926 0.488074
shortsattime+ 2011-03-02 (incomplete)3169313SAT 0.498924 0.502995
borg-sat 11.03.02-seq-random (fixed) (complete)3377622SAT 0.52092 0.747695
borg-sat 11.03.02-par-random (fixed) (complete)3378522SAT 0.581911 0.595153
sattime 2011-03-02 (incomplete)3154424SAT 0.873866 0.874068
SAT09 reference solver: SATzilla2009_R 2009-03-22 (complete)3205888SAT 0.898862 0.900967
ppfolio seq (complete)3191800SAT 0.939856 0.944835
borg-sat 11.03.02-seq-random (fixed, 1200 s timeout) (complete)3484420SAT 0.969851 1.32467
MPhaseSAT64 2011-05-14 (fixed) (complete)3375222SAT 0.97585 0.975793
MPhaseSAT 2011-02-15 (complete)3094449SAT 0.997848 0.999486
MPhaseSAT_M 2011-02-16 (complete)3095649SAT 1.00285 1.00624
ppfolio par (complete)3191200SAT 1.07384 0.276459
MPhaseSAT64 2011-03-03 [DEPRECATED] (complete)3095049SAT 1.09783 1.10331
sattime+ 2011-03-02 (incomplete)3169913SAT 4.34434 4.34542
march_rw 2011-03-02 (complete)3152651SAT 4.99124 4.99274
SAT09 reference solver: march_hi hi (complete)3205891SAT 5.50516 5.50628
Satisfiability Solver Selector 2011-03-18 (1200 s timeout) (complete)3449402SAT 6.76097 6.92144
borg-sat 11.03.02-random [DEPRECATED] (complete)3317466SAT 10.6724 3.15925
Satisfiability Solver Selector 2011-03-18 (complete)3201253SAT 23.7574 23.8244
sathys 2011-04-01 (complete)3190000SAT 54.9206 54.9227
QuteRSat 2011-05-12 (fixed) (complete)3376422SAT 510.045 510.046
RestartSAT B95 (complete)3170513SAT 530.052 530.035
RestartSAT A75 (complete)3171113SAT 554.779 554.766
synit_sat 2011-03-03 (complete)3159908SAT 581.404 581.386
CryptoMiniSat Strange-Night2-st [DEPRECATED] (complete)3174713SAT 619.266 619.262
CryptoMiniSat Strange-Night2-st (fixed) (complete)3367722SAT 623.881 623.941
QuteRSat 2011-03-01 [DEPRECATED] (complete)3188800SAT 624.073 624.059
CryptoMiniSat Strange-Night-1-st (fixed) (complete)3370122SAT 867.349 867.338
CryptoMiniSat Strange-Night-1-st [DEPRECATED] (complete)3175913SAT 872.333 872.307
STRUCTure 0.1 (complete)3312746SAT 974.287 245.149
jMiniSat 2011 (complete)3279599SAT 1092.91 1092.53
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3366522SAT 1748.86 438.539
CryptoMiniSat Strange-Night-2-mt [DEPRECATED] (complete)3174113SAT 1760.13 440.587
STRUCTure 0.1 (hbr=2) (complete)3311546SAT 1994.97 502.128
CryptoMiniSat Strange-Night-1-mt (fixed) (complete)3368922SAT 2299.01 576.339
CryptoMiniSat Strange-Night-1-mt [DEPRECATED] (complete)3175313SAT 2315.13 580.231
CryptoMiniSat TechDemo-Alpha-st (complete)3173513? (TO) 1300.03 1300.01
UmSat 2011-02-25 [DEPRECATED] (complete)3171713? (TO) 1300.04 1300.01
Black Hole SAT 2011-03-08 (complete)3172313? (TO) 1300.05 1300.01
SAT_Intersec_01 2011-03-01 (complete)3195151? (TO) 1300.45 1300.1
SAT4J core 2.3.0 SNAPSHOT 2011-02-06 (complete)3190600? (TO) 1300.95 1300.03
Sol 2011-04-04 (complete)3189400? (TO) 1304.87 1300.02
CryptoMiniSat TechDemo-Alpha-mt (complete)3172913? (TO) 4800.43 1201.72

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