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

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

Jump to solvers results

General information on the benchmark

Namecrafted/mosoi/
289/289-sat-6x19.cnf
MD5SUM582c5df8c18789e4111dbdb4b380081b
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.009997
Satisfiable
(Un)Satisfiability was proved
Number of variables456
Number of clauses11058
Sum of the clauses size42864
Maximum clause length4
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2684
Number of clauses of size 30
Number of clauses of size 410374
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)3259877SAT 0.009997 0.010351
SApperloT2010 2011-05-15 (fixed) (complete)3379670SAT 0.019996 0.0196549
SArTagnan 2011-03-24 [DEPRECATED] (complete)3259892SAT 0.020996 0.0134471
Plingeling 587f (fixed) (complete)3370970SAT 0.021996 0.0197531
Plingeling 587 [DEPRECATED] (complete)3259878SAT 0.029994 0.0216
RestartSAT A75 (complete)3259862SAT 0.055991 0.0573039
RestartSAT B95 (complete)3259861SAT 0.05699 0.062852
UmSat 2011-05-12 (fixed) (complete)3379070SAT 0.063989 0.0647811
UmSat 2011-02-25 [DEPRECATED] (complete)3259863SAT 0.064989 0.0643311
CryptoMiniSat Strange-Night2-st (fixed) (complete)3367970SAT 0.066989 0.0678331
CryptoMiniSat Strange-Night2-st [DEPRECATED] (complete)3259868SAT 0.070988 0.0704281
shortsattime2011 2011-03-02 (incomplete)3259856SAT 0.075987 0.076427
adaptg2wsat2011 2011-03-02 (incomplete)3259858SAT 0.075987 0.0756761
sattime2011 2011-03-02 (incomplete)3259854SAT 0.076987 0.07654
sattime 2011-03-02 (incomplete)3259855SAT 0.077987 0.0775759
CryptoMiniSat Strange-Night-1-st [DEPRECATED] (complete)3259870SAT 0.078987 0.078859
CryptoMiniSat Strange-Night-1-st (fixed) (complete)3370370SAT 0.078987 0.0841401
shortsattime+ 2011-03-02 (incomplete)3259859SAT 0.081986 0.0837791
sattime+ 2011-03-02 (incomplete)3259860SAT 0.081986 0.0821111
SAT07 reference solver: minisat SAT 2007 (complete)3274262SAT 0.082987 0.0844159
CryptoMiniSat TechDemo-Alpha-st (complete)3259866SAT 0.083986 0.0981529
sathys 2011-04-01 (complete)3259883SAT 0.083987 0.0903099
rcl 2011-04-01 (complete)3259882SAT 0.085985 0.0884029
clasp 2.0-R4092-crafted (complete)3300349SAT 0.086986 0.0874141
claspmt 2.0-R4095 [DEPRECATED] (complete)3299449SAT 0.100984 0.0952111
claspmt 2.0-R4095-patched (fixed) (complete)3373070SAT 0.105983 0.0956019
SApperloT 2011-03-23 (complete)3259893SAT 0.112982 0.113039
SAT09 reference solver: clasp 1.2.0-SAT09-32 (complete)3274260SAT 0.12798 0.129533
Black Hole SAT 2011-03-08 (complete)3259864SAT 0.128979 0.128329
SArTagnan 2011-05-15 (fixed) (complete)3385914SAT 0.136978 0.079624
ppfolio seq (complete)3259886SAT 0.161974 0.163958
march_rw 2011-03-02 (complete)3259853SAT 0.166974 0.169092
SAT09 reference solver: SATzilla2009_C 2009-03-22 (complete)3274261SAT 0.166974 0.167937
synit_sat 2011-03-03 (complete)3259857SAT 0.176972 0.177379
QuteRSat 2011-05-12 (fixed) (complete)3376670SAT 0.179971 0.181439
Lingeling 587f (fixed) (complete)3371570SAT 0.187971 0.189298
Lingeling 587 [DEPRECATED] (complete)3259879SAT 0.18897 0.189187
glucose 2 (complete)3259888SAT 0.196969 0.197247
QuteRSat 2011-03-01 [DEPRECATED] (complete)3259880SAT 0.196969 0.201473
MPhaseSAT_M 2011-02-16 (complete)3259852SAT 0.242963 0.24428
MPhaseSAT 2011-02-15 (complete)3259850SAT 0.263959 0.270686
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3366770SAT 0.267959 0.073877
CryptoMiniSat Strange-Night-2-mt [DEPRECATED] (complete)3259867SAT 0.272958 0.073646
CryptoMiniSat Strange-Night-1-mt [DEPRECATED] (complete)3259869SAT 0.309952 0.084594
CryptoMiniSat Strange-Night-1-mt (fixed) (complete)3369170SAT 0.310952 0.0840831
ppfolio par (complete)3259885SAT 0.312951 0.0926149
MPhaseSAT64 2011-05-14 (fixed) (complete)3375470SAT 0.338947 0.340178
MPhaseSAT64 2011-03-03 [DEPRECATED] (complete)3259851SAT 0.38894 0.389018
CryptoMiniSat TechDemo-Alpha-mt (complete)3259865SAT 0.405937 0.12779
SAT4J core 2.3.0 SNAPSHOT 2011-02-06 (complete)3259884SAT 0.45193 0.519919
jMiniSat 2011 (complete)3279847SAT 0.464929 0.308044
riss Auto (complete)3259873SAT 1.46878 1.48124
riss 1.0 (complete)3259871SAT 1.46978 1.46958
riss Exp (complete)3259872SAT 1.48077 1.4823
riss Auto (1200 s timeout) (complete)3472849SAT 1.49477 1.5013
priss UP (complete)3259874SAT 1.59076 1.52387
Sol 2011-04-04 (complete)3259881SAT 1.76973 1.77505
Satisfiability Solver Selector 2011-03-18 (1200 s timeout) (complete)3449618SAT 3.2895 3.62627
Satisfiability Solver Selector 2011-03-18 (complete)3259887SAT 3.35649 3.45508
priss Auto (complete)3259875SAT 5.98809 1.62202
priss 1.0 (complete)3259876SAT 5.98909 1.61622
STRUCTure 0.1 (hbr=2) (complete)3311794SAT 7.02693 2.12787
STRUCTure 0.1 (complete)3312994SAT 8.07177 2.4052
tts 5-4 (complete)3259889? (TO) 1299.79 1300.08
ttsth 5-4 (complete)3259890? (TO) 4800.17 1206.58
SApperloT2010 2011-03-04 [DEPRECATED] (complete)3259891No Cert. 0.018996 0.019683

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 0