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

Result page for benchmark
crafted/mosoi/
289/289-sat-4x35.cnf

Jump to solvers results

General information on the benchmark

Namecrafted/mosoi/
289/289-sat-4x35.cnf
MD5SUM3a0c9ef65cb2e498876675e6a31f16d6
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.007998
Satisfiable
(Un)Satisfiability was proved
Number of variables560
Number of clauses15260
Sum of the clauses size59360
Maximum clause length4
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2840
Number of clauses of size 30
Number of clauses of size 414420
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)3438734SAT 0.007998 0.0180759
SApperloT2010 2011-05-15 (fixed) (complete)3438733SAT 0.025995 0.0271759
Plingeling 587f (fixed) (complete)3394436SAT 0.068988 0.0490711
RestartSAT B95 (complete)3421020SAT 0.082986 0.0832491
MPhaseSAT 2011-02-15 (complete)3445699SAT 0.092985 0.0970441
CryptoMiniSat Strange-Night2-st (fixed) (complete)3421835SAT 0.096984 0.0971401
glucose 2 (complete)3303408SAT 0.103983 0.104187
sattime+ 2011-03-02 (incomplete)3499829SAT 0.109982 0.110552
sattime 2011-03-02 (incomplete)3427155SAT 0.114981 0.114187
SAT07 reference solver: minisat SAT 2007 (complete)3275344SAT 0.12198 0.121918
sathys 2011-04-01 (complete)3438735SAT 0.12498 0.125471
ppfolio seq (complete)3275342SAT 0.12598 0.126204
clasp 2.0-R4092-crafted (complete)3423035SAT 0.134978 0.134449
SAT09 reference solver: clasp 1.2.0-SAT09-32 (complete)3275343SAT 0.171973 0.172963
claspmt 2.0-R4095 [DEPRECATED] (complete)3322397SAT 0.172972 0.154644
SAT09 reference solver: SATzilla2009_C 2009-03-22 (complete)3499314SAT 0.172973 0.172994
QuteRSat 2011-05-12 (fixed) (complete)3421019SAT 0.179972 0.20075
claspmt 2.0-R4095-patched (fixed) (complete)3381002SAT 0.183972 0.158993
jMiniSat 2011 (complete)3438737SAT 0.273957 0.191686
SArTagnan 2011-05-15 (fixed) (complete)3438736SAT 0.304953 0.0582301
ppfolio par (complete)3275341SAT 0.359944 0.0942381
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3421535SAT 1.24181 0.187577
Sol 2011-04-04 (complete)3394437SAT 3.57146 3.53769
Satisfiability Solver Selector 2011-03-18 (complete)3275340SAT 3.57746 3.72122
priss 1.0 (complete)3499313SAT 7.17291 1.88693

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 481 -482 -483 -484 485 -486 -487 -488
489 -490 -491 -492 493 -494 -495 -496 497 -498 -499 -500 501 -502 -503 -504 505 -506 -507 -508 509 -510 -511 -512 513 -514 -515 -516 517
-518 -519 -520 521 -522 -523 -524 525 -526 -527 -528 529 -530 -531 -532 533 -534 -535 -536 537 -538 -539 -540 541 -542 -543 -544 545 -546
-547 -548 549 -550 -551 -552 553 -554 -555 -556 557 -558 -559 -560 0