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

Result page for benchmark
crafted/mosoi/
289/289-sat-6x20.cnf

Jump to solvers results

General information on the benchmark

Namecrafted/mosoi/
289/289-sat-6x20.cnf
MD5SUMd7291dc9e56649ed6dcce35d6dd461ae
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.010998
Satisfiable
(Un)Satisfiability was proved
Number of variables480
Number of clauses12240
Sum of the clauses size47520
Maximum clause length4
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2720
Number of clauses of size 30
Number of clauses of size 411520
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
PicoSAT 941 (complete)3438769SAT 0.010998 0.054439
SApperloT2010 2011-05-15 (fixed) (complete)3438768SAT 0.021996 0.021793
SArTagnan 2011-05-15 (fixed) (complete)3438771SAT 0.052991 0.021159
RestartSAT B95 (complete)3421034SAT 0.079987 0.084456
CryptoMiniSat Strange-Night2-st (fixed) (complete)3421842SAT 0.080986 0.0850949
sattime+ 2011-03-02 (incomplete)3499836SAT 0.086985 0.0863261
sattime 2011-03-02 (incomplete)3427162SAT 0.088985 0.0889819
sathys 2011-04-01 (complete)3438770SAT 0.100983 0.102817
clasp 2.0-R4092-crafted (complete)3423042SAT 0.106983 0.11234
ppfolio seq (complete)3275377SAT 0.108982 0.108726
SAT07 reference solver: minisat SAT 2007 (complete)3275379SAT 0.12198 0.121833
SAT09 reference solver: clasp 1.2.0-SAT09-32 (complete)3275378SAT 0.133979 0.134352
claspmt 2.0-R4095 [DEPRECATED] (complete)3322404SAT 0.137978 0.121111
claspmt 2.0-R4095-patched (fixed) (complete)3381009SAT 0.164974 0.122308
SAT09 reference solver: SATzilla2009_C 2009-03-22 (complete)3499328SAT 0.193969 0.194985
QuteRSat 2011-05-12 (fixed) (complete)3421033SAT 0.199969 0.202663
glucose 2 (complete)3303415SAT 0.246961 0.248251
ppfolio par (complete)3275376SAT 0.247962 0.0888569
MPhaseSAT 2011-02-15 (complete)3445706SAT 0.276957 0.278387
jMiniSat 2011 (complete)3438772SAT 0.480926 0.550868
Plingeling 587f (fixed) (complete)3394450SAT 0.705892 0.186196
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3421542SAT 0.874866 0.136143
Sol 2011-04-04 (complete)3394451SAT 1.99469 1.95862
Satisfiability Solver Selector 2011-03-18 (complete)3275375SAT 3.38548 3.50616
priss 1.0 (complete)3499327SAT 5.80212 1.51294

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 -351 -352 -353 354 -355 -356 -357 -358 -359 360 -361 -362 -363 364 -365 366 -367 -368 369 -370 -371 -372
-373 374 -375 -376 377 -378 -379 -380 -381 382 -383 -384 -385 -386 387 -388 -389 -390 391 -392 -393 -394 -395 396 -397 -398 399 -400 -401
-402 403 -404 -405 -406 -407 408 -409 -410 -411 412 -413 -414 -415 416 417 -418 -419 -420 -421 -422 423 -424 -425 -426 -427 428 -429 -430
-431 432 433 -434 -435 -436 -437 438 -439 -440 441 -442 -443 -444 445 -446 -447 -448 -449 450 -451 -452 -453 -454 455 -456 -457 -458 -459
460 -461 462 -463 -464 -465 -466 -467 468 -469 -470 -471 472 -473 -474 475 -476 477 -478 -479 -480 0