SAT 2011 Competition: main competition (phase 1): 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
SApperloT 2011-03-23 (complete)3259981SAT 0.007998 0.00899209
PicoSAT 941 (complete)3259965SAT 0.008997 0.00893807
Black Hole SAT 2011-03-08 (complete)3259952SAT 0.010997 0.0111799
SApperloT2010 2011-05-15 (fixed) (complete)3379673SAT 0.026995 0.0263021
Plingeling 587 [DEPRECATED] (complete)3259966SAT 0.027995 0.025147
Plingeling 587f (fixed) (complete)3370973SAT 0.032994 0.028539
SArTagnan 2011-05-15 (fixed) (complete)3385917SAT 0.040993 0.023358
RestartSAT A75 (complete)3259950SAT 0.082986 0.0870609
UmSat 2011-05-12 (fixed) (complete)3379073SAT 0.088985 0.0930439
UmSat 2011-02-25 [DEPRECATED] (complete)3259951SAT 0.088985 0.089302
RestartSAT B95 (complete)3259949SAT 0.090985 0.094414
MPhaseSAT_M 2011-02-16 (complete)3259940SAT 0.091986 0.0934
CryptoMiniSat Strange-Night2-st [DEPRECATED] (complete)3259956SAT 0.101984 0.103315
CryptoMiniSat Strange-Night2-st (fixed) (complete)3367973SAT 0.103983 0.10852
MPhaseSAT 2011-02-15 (complete)3259938SAT 0.103983 0.10488
glucose 2 (complete)3259976SAT 0.103984 0.104932
CryptoMiniSat Strange-Night-1-st (fixed) (complete)3370373SAT 0.107982 0.107742
sattime+ 2011-03-02 (incomplete)3259948SAT 0.109982 0.113289
sattime2011 2011-03-02 (incomplete)3259942SAT 0.110982 0.112241
shortsattime2011 2011-03-02 (incomplete)3259944SAT 0.111982 0.113294
CryptoMiniSat Strange-Night-1-st [DEPRECATED] (complete)3259958SAT 0.111982 0.112346
adaptg2wsat2011 2011-03-02 (incomplete)3259946SAT 0.111982 0.117577
sattime 2011-03-02 (incomplete)3259943SAT 0.113981 0.114086
shortsattime+ 2011-03-02 (incomplete)3259947SAT 0.116981 0.118514
CryptoMiniSat TechDemo-Alpha-st (complete)3259954SAT 0.117981 0.129279
SAT07 reference solver: minisat SAT 2007 (complete)3274274SAT 0.12098 0.122748
SArTagnan 2011-03-24 [DEPRECATED] (complete)3259980SAT 0.12398 0.0683701
sathys 2011-04-01 (complete)3259971SAT 0.12398 0.126944
ppfolio seq (complete)3259974SAT 0.12598 0.133197
rcl 2011-04-01 (complete)3259970SAT 0.12998 0.131667
clasp 2.0-R4092-crafted (complete)3300352SAT 0.133978 0.138619
claspmt 2.0-R4095 [DEPRECATED] (complete)3299452SAT 0.142977 0.141494
claspmt 2.0-R4095-patched (fixed) (complete)3373073SAT 0.145977 0.142445
SAT09 reference solver: SATzilla2009_C 2009-03-22 (complete)3274273SAT 0.172973 0.1755
QuteRSat 2011-05-12 (fixed) (complete)3376673SAT 0.181971 0.186854
SAT09 reference solver: clasp 1.2.0-SAT09-32 (complete)3274272SAT 0.183971 0.187664
QuteRSat 2011-03-01 [DEPRECATED] (complete)3259968SAT 0.201968 0.206335
march_rw 2011-03-02 (complete)3259941SAT 0.226964 0.230652
jMiniSat 2011 (complete)3279850SAT 0.284956 0.207037
ppfolio par (complete)3259973SAT 0.309951 0.090719
MPhaseSAT64 2011-05-14 (fixed) (complete)3375473SAT 0.334948 0.338954
Lingeling 587f (fixed) (complete)3371573SAT 0.341947 0.342467
Lingeling 587 [DEPRECATED] (complete)3259967SAT 0.368943 0.3698
MPhaseSAT64 2011-03-03 [DEPRECATED] (complete)3259939SAT 0.372942 0.372762
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3366773SAT 0.405938 0.113582
CryptoMiniSat Strange-Night-2-mt [DEPRECATED] (complete)3259955SAT 0.410937 0.110556
SAT4J core 2.3.0 SNAPSHOT 2011-02-06 (complete)3259972SAT 0.415936 0.355285
CryptoMiniSat Strange-Night-1-mt [DEPRECATED] (complete)3259957SAT 0.45293 0.120448
CryptoMiniSat Strange-Night-1-mt (fixed) (complete)3369173SAT 0.457929 0.122638
synit_sat 2011-03-03 (complete)3259945SAT 0.476926 0.47735
CryptoMiniSat TechDemo-Alpha-mt (complete)3259953SAT 0.545916 0.165235
riss Exp (complete)3259960SAT 1.73174 1.73775
riss Auto (1200 s timeout) (complete)3472853SAT 1.74573 1.75044
riss 1.0 (complete)3259959SAT 1.75773 1.7594
priss UP (complete)3259962SAT 1.83572 1.78599
riss Auto (complete)3259961SAT 1.86472 1.86446
Satisfiability Solver Selector 2011-03-18 (1200 s timeout) (complete)3449622SAT 3.57846 3.7175
Sol 2011-04-04 (complete)3259969SAT 3.58445 3.56457
Satisfiability Solver Selector 2011-03-18 (complete)3259975SAT 3.9214 4.06174
priss Auto (complete)3259963SAT 7.06392 1.86447
priss 1.0 (complete)3259964SAT 7.09392 1.87273
STRUCTure 0.1 (hbr=2) (complete)3311797SAT 8.04378 2.47241
STRUCTure 0.1 (complete)3312997SAT 8.91064 2.69515
tts 5-4 (complete)3259977? (TO) 1300.17 1300.14
ttsth 5-4 (complete)3259978? (TO) 4800.28 1221.29
SApperloT2010 2011-03-04 [DEPRECATED] (complete)3259979No Cert. 0.025995 0.026536

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