SAT 2011 Competition: main competition (phase 2): 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.012997
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)3438779SAT 0.012997 0.019641
SApperloT2010 2011-05-15 (fixed) (complete)3438778SAT 0.020996 0.023683
RestartSAT B95 (complete)3421038SAT 0.064989 0.0649881
CryptoMiniSat Strange-Night2-st (fixed) (complete)3421844SAT 0.073988 0.0752751
sattime+ 2011-03-02 (incomplete)3499838SAT 0.086985 0.0880201
sattime 2011-03-02 (incomplete)3427164SAT 0.089985 0.0903881
SAT07 reference solver: minisat SAT 2007 (complete)3275389SAT 0.091986 0.093183
sathys 2011-04-01 (complete)3438780SAT 0.094984 0.094228
clasp 2.0-R4092-crafted (complete)3423044SAT 0.100983 0.103118
claspmt 2.0-R4095-patched (fixed) (complete)3381011SAT 0.12298 0.116926
SAT09 reference solver: clasp 1.2.0-SAT09-32 (complete)3275388SAT 0.12698 0.126811
QuteRSat 2011-05-12 (fixed) (complete)3421037SAT 0.136978 0.136882
claspmt 2.0-R4095 [DEPRECATED] (complete)3322406SAT 0.145977 0.126919
ppfolio seq (complete)3275387SAT 0.150976 0.152349
SArTagnan 2011-05-15 (fixed) (complete)3438781SAT 0.207967 0.066733
SAT09 reference solver: SATzilla2009_C 2009-03-22 (complete)3499332SAT 0.237962 0.238319
glucose 2 (complete)3303417SAT 0.245962 0.245178
MPhaseSAT 2011-02-15 (complete)3445708SAT 0.278957 0.280989
jMiniSat 2011 (complete)3438782SAT 0.417935 0.275101
ppfolio par (complete)3275386SAT 0.51792 0.0766171
Plingeling 587f (fixed) (complete)3394454SAT 0.661899 0.180963
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3421544SAT 0.866867 0.153221
Sol 2011-04-04 (complete)3394455SAT 2.02569 2.01354
Satisfiability Solver Selector 2011-03-18 (complete)3275385SAT 3.37849 3.48522
priss 1.0 (complete)3499331SAT 4.15737 1.13245

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