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

Result page for benchmark
crafted/mosoi/
289/289-sat-9x13.cnf

Jump to solvers results

General information on the benchmark

Namecrafted/mosoi/
289/289-sat-9x13.cnf
MD5SUMd1a00ea2cfc43a784948a7238a6910b3
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.011997
Satisfiable
(Un)Satisfiability was proved
Number of variables468
Number of clauses12051
Sum of the clauses size46800
Maximum clause length4
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2702
Number of clauses of size 30
Number of clauses of size 411349
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)3260141SAT 0.011997 0.012351
SApperloT2010 2011-05-15 (fixed) (complete)3379671SAT 0.022995 0.023923
Black Hole SAT 2011-03-08 (complete)3260128SAT 0.023995 0.0297811
SArTagnan 2011-03-24 [DEPRECATED] (complete)3260156SAT 0.023995 0.015128
SArTagnan 2011-05-15 (fixed) (complete)3385915SAT 0.036993 0.0203261
RestartSAT A75 (complete)3260126SAT 0.063989 0.0662001
RestartSAT B95 (complete)3260125SAT 0.065989 0.071997
SApperloT 2011-03-23 (complete)3260157SAT 0.065989 0.065818
UmSat 2011-02-25 [DEPRECATED] (complete)3260127SAT 0.069988 0.0712151
UmSat 2011-05-12 (fixed) (complete)3379071SAT 0.070988 0.0710001
CryptoMiniSat Strange-Night2-st (fixed) (complete)3367971SAT 0.073987 0.0753801
CryptoMiniSat Strange-Night2-st [DEPRECATED] (complete)3260132SAT 0.085986 0.0895031
shortsattime+ 2011-03-02 (incomplete)3260123SAT 0.086986 0.0874809
sattime+ 2011-03-02 (incomplete)3260124SAT 0.087986 0.0886841
shortsattime2011 2011-03-02 (incomplete)3260120SAT 0.088986 0.08881
SAT07 reference solver: minisat SAT 2007 (complete)3274301SAT 0.092985 0.093461
CryptoMiniSat Strange-Night-1-st (fixed) (complete)3370371SAT 0.092985 0.0982209
CryptoMiniSat Strange-Night-1-st [DEPRECATED] (complete)3260134SAT 0.094984 0.100832
sattime2011 2011-03-02 (incomplete)3260118SAT 0.097984 0.0976921
adaptg2wsat2011 2011-03-02 (incomplete)3260122SAT 0.098984 0.0994399
sattime 2011-03-02 (incomplete)3260119SAT 0.099984 0.100612
rcl 2011-04-01 (complete)3260146SAT 0.100983 0.100929
sathys 2011-04-01 (complete)3260147SAT 0.101984 0.103719
clasp 2.0-R4092-crafted (complete)3300350SAT 0.102983 0.10369
CryptoMiniSat TechDemo-Alpha-st (complete)3260130SAT 0.104983 0.117618
claspmt 2.0-R4095-patched (fixed) (complete)3373071SAT 0.12298 0.10895
claspmt 2.0-R4095 [DEPRECATED] (complete)3299450SAT 0.12398 0.109919
SAT09 reference solver: clasp 1.2.0-SAT09-32 (complete)3274299SAT 0.12598 0.132239
synit_sat 2011-03-03 (complete)3260121SAT 0.132978 0.136462
QuteRSat 2011-03-01 [DEPRECATED] (complete)3260144SAT 0.135978 0.143789
QuteRSat 2011-05-12 (fixed) (complete)3376671SAT 0.136978 0.13708
march_rw 2011-03-02 (complete)3260117SAT 0.179972 0.179516
ppfolio seq (complete)3260150SAT 0.188971 0.994785
glucose 2 (complete)3260152SAT 0.237963 0.241794
SAT09 reference solver: SATzilla2009_C 2009-03-22 (complete)3274300SAT 0.242962 0.242536
Lingeling 587 [DEPRECATED] (complete)3260143SAT 0.247961 0.249019
Lingeling 587f (fixed) (complete)3371571SAT 0.268959 0.273526
MPhaseSAT_M 2011-02-16 (complete)3260116SAT 0.277957 0.278156
MPhaseSAT 2011-02-15 (complete)3260114SAT 0.278956 0.279962
Plingeling 587 [DEPRECATED] (complete)3260142SAT 0.290955 0.0915089
Plingeling 587f (fixed) (complete)3370971SAT 0.292955 0.0897081
CryptoMiniSat Strange-Night-2-mt [DEPRECATED] (complete)3260131SAT 0.315951 0.0866029
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3366771SAT 0.333948 0.0924151
CryptoMiniSat Strange-Night-1-mt [DEPRECATED] (complete)3260133SAT 0.355945 0.0981029
CryptoMiniSat Strange-Night-1-mt (fixed) (complete)3369171SAT 0.367943 0.098682
ppfolio par (complete)3260149SAT 0.373942 0.105617
MPhaseSAT64 2011-05-14 (fixed) (complete)3375471SAT 0.38994 0.391776
jMiniSat 2011 (complete)3279848SAT 0.407937 0.337232
SAT4J core 2.3.0 SNAPSHOT 2011-02-06 (complete)3260148SAT 0.429934 0.275498
MPhaseSAT64 2011-03-03 [DEPRECATED] (complete)3260115SAT 0.443932 0.445622
CryptoMiniSat TechDemo-Alpha-mt (complete)3260129SAT 0.447931 0.136793
riss Auto (complete)3260137SAT 0.991848 0.992476
riss Auto (1200 s timeout) (complete)3472862SAT 1.00685 1.01198
riss Exp (complete)3260136SAT 1.01185 1.01319
riss 1.0 (complete)3260135SAT 1.01884 1.02228
priss UP (complete)3260138SAT 1.05784 1.03327
Sol 2011-04-04 (complete)3260145SAT 1.82972 1.81963
Satisfiability Solver Selector 2011-03-18 (complete)3260151SAT 3.38549 3.4977
Satisfiability Solver Selector 2011-03-18 (1200 s timeout) (complete)3449631SAT 3.63 11.8214
priss 1.0 (complete)3260140SAT 4.09838 1.11775
priss Auto (complete)3260139SAT 4.10637 1.1117
STRUCTure 0.1 (hbr=2) (complete)3311795SAT 8.91064 2.63134
STRUCTure 0.1 (complete)3312995SAT 9.46756 2.76653
tts 5-4 (complete)3260153? (TO) 1300.11 1300.07
ttsth 5-4 (complete)3260154? (TO) 4800.34 1205.35
SApperloT2010 2011-03-04 [DEPRECATED] (complete)3260155No Cert. 0.022995 0.0234989

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 0