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

Result page for benchmark
crafted/mosoi/
289/289-sat-14x8.cnf

Jump to solvers results

General information on the benchmark

Namecrafted/mosoi/
289/289-sat-14x8.cnf
MD5SUM8ef06ba92b977ea1ab969c2727216040
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 variables448
Number of clauses10976
Sum of the clauses size42560
Maximum clause length4
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2672
Number of clauses of size 30
Number of clauses of size 410304
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)3438764SAT 0.012997 0.054421
SApperloT2010 2011-05-15 (fixed) (complete)3438763SAT 0.019996 0.0206571
RestartSAT B95 (complete)3421032SAT 0.05999 0.0605801
CryptoMiniSat Strange-Night2-st (fixed) (complete)3421841SAT 0.064989 0.066351
sattime+ 2011-03-02 (incomplete)3499835SAT 0.076987 0.077804
Plingeling 587f (fixed) (complete)3394448SAT 0.080987 0.041523
sathys 2011-04-01 (complete)3438765SAT 0.084986 0.088435
sattime 2011-03-02 (incomplete)3427161SAT 0.086986 0.088677
SAT07 reference solver: minisat SAT 2007 (complete)3275374SAT 0.089985 0.0896011
clasp 2.0-R4092-crafted (complete)3423041SAT 0.096984 0.101005
ppfolio seq (complete)3275372SAT 0.097984 0.0984859
QuteRSat 2011-05-12 (fixed) (complete)3421031SAT 0.102984 0.105467
SAT09 reference solver: clasp 1.2.0-SAT09-32 (complete)3275373SAT 0.122981 0.12384
claspmt 2.0-R4095-patched (fixed) (complete)3381008SAT 0.130979 0.113374
SArTagnan 2011-05-15 (fixed) (complete)3438766SAT 0.130979 0.036325
claspmt 2.0-R4095 [DEPRECATED] (complete)3322403SAT 0.131979 0.112481
SAT09 reference solver: SATzilla2009_C 2009-03-22 (complete)3499326SAT 0.203968 0.204949
MPhaseSAT 2011-02-15 (complete)3445705SAT 0.245962 0.248917
ppfolio par (complete)3275371SAT 0.274957 0.0731421
jMiniSat 2011 (complete)3438767SAT 0.52092 0.523091
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3421541SAT 0.721889 0.116697
Sol 2011-04-04 (complete)3394449SAT 1.46278 1.45641
Satisfiability Solver Selector 2011-03-18 (complete)3275370SAT 3.2945 3.39429
priss 1.0 (complete)3499325SAT 4.81327 1.37021
glucose 2 (complete)3303414SAT 4684.53 4684.43

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 0