SAT 2011 Competition: main competition (phase 2): 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.010997
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)3438714SAT 0.010997 0.012647
SApperloT2010 2011-05-15 (fixed) (complete)3438713SAT 0.018996 0.020737
SArTagnan 2011-05-15 (fixed) (complete)3438716SAT 0.052991 0.0225869
RestartSAT B95 (complete)3421012SAT 0.05699 0.0570589
ppfolio seq (complete)3275322SAT 0.063989 0.114225
CryptoMiniSat Strange-Night2-st (fixed) (complete)3421831SAT 0.066989 0.068574
sattime+ 2011-03-02 (incomplete)3499825SAT 0.074987 0.075059
Plingeling 587f (fixed) (complete)3394428SAT 0.074988 0.0401299
sattime 2011-03-02 (incomplete)3427151SAT 0.076987 0.079131
sathys 2011-04-01 (complete)3438715SAT 0.084986 0.0854171
clasp 2.0-R4092-crafted (complete)3423031SAT 0.085986 0.087785
SAT07 reference solver: minisat SAT 2007 (complete)3275324SAT 0.088986 0.0889809
SAT09 reference solver: clasp 1.2.0-SAT09-32 (complete)3275323SAT 0.127979 0.128354
SAT09 reference solver: SATzilla2009_C 2009-03-22 (complete)3499306SAT 0.166974 0.167974
QuteRSat 2011-05-12 (fixed) (complete)3421011SAT 0.178972 0.180204
ppfolio par (complete)3275321SAT 0.19097 0.0671799
glucose 2 (complete)3303404SAT 0.19597 0.195789
MPhaseSAT 2011-02-15 (complete)3445695SAT 0.242962 0.244494
jMiniSat 2011 (complete)3438717SAT 0.484925 0.762319
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3421531SAT 0.879865 0.133036
Sol 2011-04-04 (complete)3394429SAT 1.78273 1.7924
Satisfiability Solver Selector 2011-03-18 (complete)3275320SAT 3.2955 3.45073
priss 1.0 (complete)3499305SAT 6.04508 1.63178
claspmt 2.0-R4095 [DEPRECATED] (complete)3322393Signal 0.141978 0.1365
claspmt 2.0-R4095-patched (fixed) (complete)3380998Signal 0.153975 0.135042

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