SAT 2011 Competition: main competition (phase 1): 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.010997
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)3260097SAT 0.010997 0.0112059
SArTagnan 2011-03-24 [DEPRECATED] (complete)3260112SAT 0.021996 0.0146029
SApperloT2010 2011-05-15 (fixed) (complete)3379672SAT 0.023995 0.0345899
SArTagnan 2011-05-15 (fixed) (complete)3385916SAT 0.037993 0.02011
UmSat 2011-02-25 [DEPRECATED] (complete)3260083SAT 0.069988 0.0759301
UmSat 2011-05-12 (fixed) (complete)3379072SAT 0.077988 0.0798361
RestartSAT A75 (complete)3260082SAT 0.079987 0.0808849
CryptoMiniSat Strange-Night2-st (fixed) (complete)3367972SAT 0.081987 0.082784
RestartSAT B95 (complete)3260081SAT 0.085986 0.0887291
sattime+ 2011-03-02 (incomplete)3260080SAT 0.085986 0.085957
shortsattime+ 2011-03-02 (incomplete)3260079SAT 0.085986 0.0867921
CryptoMiniSat Strange-Night2-st [DEPRECATED] (complete)3260088SAT 0.085986 0.087056
adaptg2wsat2011 2011-03-02 (incomplete)3260078SAT 0.086986 0.087805
shortsattime2011 2011-03-02 (incomplete)3260076SAT 0.086986 0.0875411
sattime2011 2011-03-02 (incomplete)3260074SAT 0.087985 0.0878519
sattime 2011-03-02 (incomplete)3260075SAT 0.093984 0.0950141
CryptoMiniSat Strange-Night-1-st (fixed) (complete)3370372SAT 0.100984 0.102015
sathys 2011-04-01 (complete)3260103SAT 0.101984 0.102755
rcl 2011-04-01 (complete)3260102SAT 0.102983 0.103214
CryptoMiniSat TechDemo-Alpha-st (complete)3260086SAT 0.105983 0.116897
clasp 2.0-R4092-crafted (complete)3300351SAT 0.107982 0.11144
Black Hole SAT 2011-03-08 (complete)3260084SAT 0.107982 0.108425
CryptoMiniSat Strange-Night-1-st [DEPRECATED] (complete)3260090SAT 0.107983 0.108341
SAT07 reference solver: minisat SAT 2007 (complete)3274295SAT 0.12198 0.125498
claspmt 2.0-R4095-patched (fixed) (complete)3373072SAT 0.12598 0.114121
claspmt 2.0-R4095 [DEPRECATED] (complete)3299451SAT 0.126979 0.113262
SAT09 reference solver: clasp 1.2.0-SAT09-32 (complete)3274293SAT 0.144977 0.145377
march_rw 2011-03-02 (complete)3260073SAT 0.185971 0.187685
SAT09 reference solver: SATzilla2009_C 2009-03-22 (complete)3274294SAT 0.19397 0.197836
ppfolio seq (complete)3260106SAT 0.196969 0.200758
QuteRSat 2011-05-12 (fixed) (complete)3376672SAT 0.204967 0.209853
QuteRSat 2011-03-01 [DEPRECATED] (complete)3260100SAT 0.205968 0.206886
synit_sat 2011-03-03 (complete)3260077SAT 0.211967 0.214508
ppfolio par (complete)3260105SAT 0.227965 0.106962
SApperloT 2011-03-23 (complete)3260113SAT 0.243962 0.245186
Lingeling 587f (fixed) (complete)3371572SAT 0.246961 0.248073
Lingeling 587 [DEPRECATED] (complete)3260099SAT 0.246962 0.247584
Plingeling 587 [DEPRECATED] (complete)3260098SAT 0.251961 0.0903539
Plingeling 587f (fixed) (complete)3370972SAT 0.252961 0.0912659
glucose 2 (complete)3260108SAT 0.276956 0.282163
MPhaseSAT 2011-02-15 (complete)3260070SAT 0.278957 0.279496
MPhaseSAT_M 2011-02-16 (complete)3260072SAT 0.278957 0.278962
CryptoMiniSat Strange-Night-2-mt [DEPRECATED] (complete)3260087SAT 0.344947 0.0920939
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3366772SAT 0.353945 0.097748
CryptoMiniSat Strange-Night-1-mt [DEPRECATED] (complete)3260089SAT 0.382941 0.10104
MPhaseSAT64 2011-05-14 (fixed) (complete)3375472SAT 0.38394 0.386832
CryptoMiniSat Strange-Night-1-mt (fixed) (complete)3369172SAT 0.392939 0.107752
MPhaseSAT64 2011-03-03 [DEPRECATED] (complete)3260071SAT 0.478926 0.480759
CryptoMiniSat TechDemo-Alpha-mt (complete)3260085SAT 0.486925 0.14654
jMiniSat 2011 (complete)3279849SAT 0.490925 0.325225
SAT4J core 2.3.0 SNAPSHOT 2011-02-06 (complete)3260104SAT 0.512921 0.388227
riss 1.0 (complete)3260091SAT 1.41678 1.41851
riss Exp (complete)3260092SAT 1.41978 1.41921
riss Auto (1200 s timeout) (complete)3472860SAT 1.42578 1.42591
riss Auto (complete)3260093SAT 1.52877 1.52927
priss UP (complete)3260094SAT 1.58576 1.57801
Sol 2011-04-04 (complete)3260101SAT 1.9957 1.99347
Satisfiability Solver Selector 2011-03-18 (complete)3260107SAT 3.38948 3.50643
Satisfiability Solver Selector 2011-03-18 (1200 s timeout) (complete)3449629SAT 3.53146 3.66319
priss Auto (complete)3260095SAT 5.70013 1.49328
priss 1.0 (complete)3260096SAT 5.72513 1.49528
STRUCTure 0.1 (hbr=2) (complete)3311796SAT 11.7922 3.3471
STRUCTure 0.1 (complete)3312996SAT 13.9169 3.89185
tts 5-4 (complete)3260109? (TO) 1300.06 1300.09
ttsth 5-4 (complete)3260110? (TO) 4800.28 1204.61
SApperloT2010 2011-03-04 [DEPRECATED] (complete)3260111No Cert. 0.021995 0.0220991

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