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

Result page for benchmark
crafted/mosoi/
289/289-sat-11x10.cnf

Jump to solvers results

General information on the benchmark

Namecrafted/mosoi/
289/289-sat-11x10.cnf
MD5SUM5d217b4e2e013436c5df3f8194310a1a
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.010998
Satisfiable
(Un)Satisfiability was proved
Number of variables440
Number of clauses10670
Sum of the clauses size41360
Maximum clause length4
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2660
Number of clauses of size 30
Number of clauses of size 410010
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)3438794SAT 0.010998 0.0448011
SApperloT2010 2011-05-15 (fixed) (complete)3438793SAT 0.018997 0.0203929
Plingeling 587f (fixed) (complete)3394460SAT 0.043992 0.058982
RestartSAT B95 (complete)3421044SAT 0.06299 0.063462
CryptoMiniSat Strange-Night2-st (fixed) (complete)3421847SAT 0.066989 0.067229
sattime 2011-03-02 (incomplete)3427167SAT 0.076987 0.0770981
sattime+ 2011-03-02 (incomplete)3499841SAT 0.080987 0.0815169
sathys 2011-04-01 (complete)3438795SAT 0.086986 0.0916639
clasp 2.0-R4092-crafted (complete)3423047SAT 0.087986 0.0985431
SAT07 reference solver: minisat SAT 2007 (complete)3275404SAT 0.090985 0.090861
SAT09 reference solver: clasp 1.2.0-SAT09-32 (complete)3275403SAT 0.108982 0.109615
QuteRSat 2011-05-12 (fixed) (complete)3421043SAT 0.110983 0.112358
claspmt 2.0-R4095-patched (fixed) (complete)3381014SAT 0.112982 0.101032
ppfolio seq (complete)3275402SAT 0.160975 0.161617
SArTagnan 2011-05-15 (fixed) (complete)3438796SAT 0.178972 0.0429621
SAT09 reference solver: SATzilla2009_C 2009-03-22 (complete)3499338SAT 0.215966 0.216093
MPhaseSAT 2011-02-15 (complete)3445711SAT 0.236963 0.237195
ppfolio par (complete)3275401SAT 0.251961 0.0679251
jMiniSat 2011 (complete)3438797SAT 0.502923 0.292875
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3421547SAT 0.679896 0.108199
Sol 2011-04-04 (complete)3394461SAT 1.39879 1.40017
Satisfiability Solver Selector 2011-03-18 (complete)3275400SAT 3.2685 3.37167
priss 1.0 (complete)3499337SAT 4.73628 1.21108
glucose 2 (complete)3303420SAT 23.6164 23.6176
claspmt 2.0-R4095 [DEPRECATED] (complete)3322409Signal 0.145977 0.127996

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 0