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

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

Jump to solvers results

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v350-c1491-S1946851065-023.SATISFIABLE.cnf
MD5SUM96b76a29d6976e3cb9111f511d66ef22
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.001999
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)3205098SAT 0.001999 0.00620307
sattime2011 2011-03-02 (incomplete)3153626SAT 0.004998 0.00623991
adaptg2wsat2011 2011-03-02 (incomplete)3168515SAT 0.004999 0.00628498
sattime 2011-03-02 (incomplete)3154226SAT 0.005999 0.00668301
sparrow2011 sparrow2011_ubcsat1.2_2011-03-02 (incomplete)3162502SAT 0.006998 0.00732793
EagleUP 1.565.350 (incomplete)3093651SAT 0.006998 0.00749489
SAT09 reference solver: SATzilla2009_R 2009-03-22 (complete)3205096SAT 0.007997 0.00808104
SAT09 reference solver: TNM 2009-03-22 (incomplete)3205097SAT 0.009997 0.00996106
csls pnorm-8cores (incomplete)3159110SAT 0.023995 0.0121991
ppfolio seq (complete)3191602SAT 0.026995 0.0275759
shortsattime2011 2011-03-02 (incomplete)3157018SAT 0.028995 0.0337791
csls prob-4cores (incomplete)3157910SAT 0.034993 0.0132809
MultiFlip 2011-02-11 (incomplete)3096051SAT 0.042992 0.045443
shortsattime+ 2011-03-02 (incomplete)3169115SAT 0.043992 0.044126
sattime+ 2011-03-02 (incomplete)3169715SAT 0.053991 0.058154
csls prob-8cores (incomplete)3158510SAT 0.355945 0.123171
borg-sat 11.03.02-seq-random (fixed, 1200 s timeout) (complete)3484222SAT 0.445931 0.572434
march_rw 2011-03-02 (complete)3152453SAT 0.468927 0.469339
ppfolio par (complete)3191002SAT 0.495924 0.489596
borg-sat 11.03.02-seq-random (fixed) (complete)3377424SAT 0.500923 0.773801
SAT09 reference solver: march_hi hi (complete)3205099SAT 0.51992 0.520954
borg-sat 11.03.02-par-random (fixed) (complete)3378324SAT 0.589909 0.794864
borg-sat 11.03.02-random [DEPRECATED] (complete)3317268SAT 0.692894 0.673208
MPhaseSAT64 2011-05-14 (fixed) (complete)3375024SAT 0.747885 0.748785
MPhaseSAT_M 2011-02-16 (complete)3095451SAT 0.752885 0.754111
MPhaseSAT 2011-02-15 (complete)3094251SAT 0.823874 0.825414
MPhaseSAT64 2011-03-03 [DEPRECATED] (complete)3094851SAT 0.843871 0.845705
sathys 2011-04-01 (complete)3189802SAT 4.36234 4.36445
Satisfiability Solver Selector 2011-03-18 (1200 s timeout) (complete)3449204SAT 6.86896 6.94529
Satisfiability Solver Selector 2011-03-18 (complete)3201055SAT 23.9974 24.0128
jMiniSat 2011 (complete)3279401SAT 56.0855 55.6969
SAT4J core 2.3.0 SNAPSHOT 2011-02-06 (complete)3190402SAT 122.274 121.399
UmSat 2011-02-25 [DEPRECATED] (complete)3171515SAT 166.351 166.348
Sol 2011-04-04 (complete)3189202SAT 194.777 193.644
QuteRSat 2011-03-01 [DEPRECATED] (complete)3188602SAT 365.428 365.421
CryptoMiniSat Strange-Night-1-mt [DEPRECATED] (complete)3175115SAT 458.659 115.268
CryptoMiniSat Strange-Night-1-mt (fixed) (complete)3368724SAT 459.89 115.56
synit_sat 2011-03-03 (complete)3159710SAT 547.546 547.534
CryptoMiniSat TechDemo-Alpha-st (complete)3173315SAT 549.643 549.646
RestartSAT A75 (complete)3170915SAT 673.16 673.137
RestartSAT B95 (complete)3170315SAT 714.765 714.746
QuteRSat 2011-05-12 (fixed) (complete)3376224SAT 804.681 804.664
CryptoMiniSat Strange-Night2-st [DEPRECATED] (complete)3174515SAT 1017.58 1017.56
CryptoMiniSat Strange-Night2-st (fixed) (complete)3367524SAT 1074.46 1074.47
STRUCTure 0.1 (hbr=2) (complete)3311348SAT 1098.2 276.267
CryptoMiniSat Strange-Night-1-st [DEPRECATED] (complete)3175715SAT 1198.09 1198.07
STRUCTure 0.1 (complete)3312548SAT 1619.73 407.386
CryptoMiniSat TechDemo-Alpha-mt (complete)3172715SAT 1687.99 422.93
CryptoMiniSat Strange-Night-2-mt [DEPRECATED] (complete)3173915SAT 1744.93 437.681
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3366324SAT 1756.04 440.254
Black Hole SAT 2011-03-08 (complete)3172115? (TO) 1299.99 1300.01
CryptoMiniSat Strange-Night-1-st (fixed) (complete)3369924? (TO) 1300.04 1300.02
SAT_Intersec_01 2011-03-01 (complete)3194953? (TO) 1300.11 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