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

Result page for benchmark
CRAFTED/sgi/
new-difficult-23-189-21-75.cnf

Jump to solvers results

General information on the benchmark

NameCRAFTED/sgi/
new-difficult-23-189-21-75.cnf
MD5SUM46a186d5aa9ba41a176adf24fb365342
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.140977
Satisfiable
(Un)Satisfiability was proved
Number of variables483
Number of clauses25396
Sum of the clauses size51233
Maximum clause length23
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 225375
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 521

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
SArTagnan 2011-05-15 (fixed) (complete)3438611SAT 0.140977 0.0364991
Sol 2011-04-04 (complete)3394147SAT 0.182971 0.190525
sattime 2011-03-02 (incomplete)3426530SAT 1.62675 1.62686
ppfolio seq (complete)3275217SAT 3.05753 3.05758
MPhaseSAT 2011-02-15 (complete)3445674SAT 10.9083 10.9094
sattime+ 2011-03-02 (incomplete)3499804SAT 14.2878 14.2886
ppfolio par (complete)3275216SAT 44.1183 5.53188
claspmt 2.0-R4095 [DEPRECATED] (complete)3321532SAT 156.686 19.7274
Satisfiability Solver Selector 2011-03-18 (complete)3275215SAT 296.84 296.925
claspmt 2.0-R4095-patched (fixed) (complete)3380737SAT 411.207 51.6216
clasp 2.0-R4092-crafted (complete)3423010SAT 1115.16 1115.15
SAT09 reference solver: clasp 1.2.0-SAT09-32 (complete)3275218SAT 1170.95 1170.92
RestartSAT B95 (complete)3420970SAT 2741.57 2741.56
CryptoMiniSat Strange-Night2-st (fixed) (complete)3421810SAT 2953.37 2953.3
QuteRSat 2011-05-12 (fixed) (complete)3420969SAT 3189.45 3189.34
glucose 2 (complete)3303383SAT 3465.43 3465.36
priss 1.0 (complete)3499263SAT 7061.16 1765.41
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3421510SAT 8274.01 1049.5
SAT09 reference solver: SATzilla2009_C 2009-03-22 (complete)3499264? (exit code) 4999.16 4999.08
SApperloT2010 2011-05-15 (fixed) (complete)3438608? (TO) 5000.06 4999.93
jMiniSat 2011 (complete)3438612? (TO) 5000.07 4991.52
PicoSAT 941 (complete)3438609? (TO) 5000.07 4999.91
SAT07 reference solver: minisat SAT 2007 (complete)3275219? (TO) 5000.07 4999.91
sathys 2011-04-01 (complete)3438610? (TO) 5000.11 5000.03
Plingeling 587f (fixed) (complete)3394146? (TO) 40001.2 5011.9

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 -469 -470
-471 -472 -473 -474 -475 -476 -477 -478 -479 -480 -481 -482 483 0