SAT 2011 Competition: main competition (phase 1): 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.203968
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
Sol 2011-04-04 (complete)3259837SAT 0.203968 0.476764
sattime 2011-03-02 (incomplete)3259811SAT 2.09368 2.0943
ppfolio par (complete)3259841SAT 2.30365 0.579681
sattime2011 2011-03-02 (incomplete)3259810SAT 3.2755 3.27538
adaptg2wsat2011 2011-03-02 (incomplete)3259814SAT 5.9071 5.91026
ppfolio seq (complete)3259842SAT 6.76 6.80083
sattime+ 2011-03-02 (incomplete)3259816SAT 7.71583 7.72045
Satisfiability Solver Selector 2011-03-18 (1200 s timeout) (complete)3448877SAT 10.16 11.7611
MPhaseSAT_M 2011-02-16 (complete)3259808SAT 10.9823 10.9846
MPhaseSAT 2011-02-15 (complete)3259806SAT 11.5632 11.5658
shortsattime2011 2011-03-02 (incomplete)3259812SAT 14.3938 14.3937
shortsattime+ 2011-03-02 (incomplete)3259815SAT 21.5667 21.5682
MPhaseSAT64 2011-05-14 (fixed) (complete)3375570SAT 24.8692 24.8733
Satisfiability Solver Selector 2011-03-18 (complete)3259843SAT 27.94 28.0042
SApperloT 2011-03-23 (complete)3259849SAT 344.334 344.351
CryptoMiniSat Strange-Night-2-mt [DEPRECATED] (complete)3259823SAT 375.787 95.4843
CryptoMiniSat Strange-Night-1-mt (fixed) (complete)3369270SAT 451.976 114.357
claspmt 2.0-R4095 [DEPRECATED] (complete)3299549SAT 508.245 127.302
ttsth 5-4 (complete)3259846SAT 574.604 144.625
priss Auto (complete)3259831SAT 928.723 232.543
riss Auto (complete)3259829SAT 1153.93 1153.9
riss 1.0 (complete)3259827SAT 1175.62 1175.59
clasp 2.0-R4092-crafted (complete)3300449SAT 1211.91 1211.88
SAT09 reference solver: clasp 1.2.0-SAT09-32 (complete)3273361SAT 1296.06 1296.03
CryptoMiniSat Strange-Night-1-mt [DEPRECATED] (complete)3259825SAT 1304.75 338.202
claspmt 2.0-R4095-patched (fixed) (complete)3373170SAT 1658.76 424.962
priss 1.0 (complete)3259832SAT 3121.49 781.509
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3366870SAT 3279.51 821.423
MPhaseSAT64 2011-03-03 [DEPRECATED] (complete)3259807? 1.57076 1.57347
tts 5-4 (complete)3259845? (MO) 911.916 912.13
riss Auto (1200 s timeout) (complete)3472708? (TO) 1200.05 1200.05
QuteRSat 2011-05-12 (fixed) (complete)3376770? (TO) 1299.89 1300.03
RestartSAT A75 (complete)3259818? (TO) 1299.97 1300.01
SAT09 reference solver: SATzilla2009_C 2009-03-22 (complete)3273362? (TO) 1299.99 1300.02
PicoSAT 941 (complete)3259833? (TO) 1299.99 1300.01
glucose 2 (complete)3259844? (TO) 1300 1300.01
riss Exp (complete)3259828? (TO) 1300.03 1300.01
rcl 2011-04-01 (complete)3259838? (TO) 1300.04 1300.01
SApperloT2010 2011-03-04 [DEPRECATED] (complete)3259847? (TO) 1300.04 1300.01
sathys 2011-04-01 (complete)3259839? (TO) 1300.04 1300.02
Black Hole SAT 2011-03-08 (complete)3259820? (TO) 1300.04 1300.01
CryptoMiniSat Strange-Night2-st (fixed) (complete)3368070? (TO) 1300.05 1300.02
SAT07 reference solver: minisat SAT 2007 (complete)3273363? (TO) 1300.05 1300.01
QuteRSat 2011-03-01 [DEPRECATED] (complete)3259836? (TO) 1300.05 1300.02
CryptoMiniSat Strange-Night2-st [DEPRECATED] (complete)3259824? (TO) 1300.05 1300.02
CryptoMiniSat TechDemo-Alpha-st (complete)3259822? (TO) 1300.05 1300.01
UmSat 2011-02-25 [DEPRECATED] (complete)3259819? (TO) 1300.05 1300.02
RestartSAT B95 (complete)3259817? (TO) 1300.05 1300.01
SApperloT2010 2011-05-15 (fixed) (complete)3379770? (TO) 1300.05 1300.02
CryptoMiniSat Strange-Night-1-st (fixed) (complete)3370470? (TO) 1300.06 1300.02
synit_sat 2011-03-03 (complete)3259813? (TO) 1300.06 1300.02
Lingeling 587f (fixed) (complete)3371670? (TO) 1300.06 1300.03
UmSat 2011-05-12 (fixed) (complete)3379170? (TO) 1300.06 1300.02
march_rw 2011-03-02 (complete)3259809? (TO) 1300.06 1300.03
Lingeling 587 [DEPRECATED] (complete)3259835? (TO) 1300.06 1300.02
CryptoMiniSat Strange-Night-1-st [DEPRECATED] (complete)3259826? (TO) 1300.07 1300.02
SAT4J core 2.3.0 SNAPSHOT 2011-02-06 (complete)3259840? (TO) 1301.04 1300.05
jMiniSat 2011 (complete)3279947? (TO) 1301.26 1300.02
priss UP (complete)3259830? (TO) 2370.51 1300.02
STRUCTure 0.1 (hbr=2) (complete)3311894? (TO) 4800.3 1208.64
SArTagnan 2011-03-24 [DEPRECATED] (complete)3259848? (TO) 4800.3 1201.79
CryptoMiniSat TechDemo-Alpha-mt (complete)3259821? (TO) 4800.3 1201.72
STRUCTure 0.1 (complete)3313094? (TO) 4800.32 1208.84
Plingeling 587f (fixed) (complete)3371070? (TO) 4800.37 1203.16
Plingeling 587 [DEPRECATED] (complete)3259834? (TO) 4800.39 1201.77
SArTagnan 2011-05-15 (fixed) (complete)3386014? (TO) 4800.45 1205.08

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 -461 -456 -452 -441 -438 -415 -392 -369 -364 -360 -349 -346 -341 -337 -326 -323 -318 -314 -303 -300 -277 -272 -268 -257 -254 -249 -245
-234 -231 -226 -222 -211 -208 -203 -199 -188 -185 -180 -176 -165 -162 -157 -153 -142 -139 -134 -130 -119 -116 -111 -107 -96 -93 -88 -84 -73
-70 -65 -61 -50 -47 -24 -23 -22 -21 -20 -19 -18 -17 -16 -15 -14 -13 -12 -11 -10 -9 -8 -7 -6 -5 -4 -3 -2 483 -482 -481 -480 -479 -478 -477
-476 -475 -474 -473 -472 -471 -470 -469 -468 -467 -466 -465 -464 -463 -462 -460 -437 -414 -413 -412 -407 -401 -397 -395 -394 -391 -390 -389
-384 -378 -374 -372 -371 -368 -367 -366 -361 -355 -351 -348 -345 -344 -343 -338 -332 -328 -325 -322 -299 -298 -297 -292 -286 -282 -280 -279
-276 -275 -274 -269 -263 -259 -256 -253 -252 -251 -246 -240 -236 -233 -230 -229 -228 -223 -217 -213 -210 -207 -206 -205 -200 -194 -190 -187
-184 -161 -160 -159 -154 -148 -144 -141 -138 -137 -136 -131 -125 -121 -118 -115 -114 -113 -108 -102 -98 -95 -92 -69 -68 -67 -62 -56 -52 -49
-46 -45 -44 -39 -33 -29 -27 -26 459 -458 -457 -455 -454 -453 -451 -450 -449 -448 -447 -446 -445 -444 -443 -442 -440 -439 -436 -432 -430 -417
-409 -386 -321 -294 -271 -248 -202 -183 -179 -177 -164 -156 -133 -110 -91 -64 -41 435 -434 -433 -431 -429 -428 -427 -426 -425 -424 -423 -422
-421 -420 -419 -418 -416 -356 -353 -333 -330 -320 -295 -287 -284 -264 -261 -241 -238 -218 -215 -182 -172 -169 -149 -146 -103 -100 -90 -85
-80 -77 -57 -54 411 -410 -408 -406 -405 -404 -403 -402 -400 -399 -398 -396 -393 -388 -382 -381 -365 -359 -358 -342 -319 -313 -312 -296 -290
-289 -273 -250 -227 -221 -220 -204 -181 -175 -174 -158 -152 -151 -135 -129 -128 -112 -89 -83 -82 -66 -60 -59 -43 -37 -36 387 -385 -383 -380
-379 -377 -376 -375 -373 -370 -331 -327 -309 -308 -304 -285 -281 -262 -258 -239 -235 -216 -212 -193 -189 -101 -97 -79 -78 -74 -42 -32 -28
363 -362 -357 -354 -352 -350 -347 -340 -336 -335 -317 -225 -198 -197 -192 -106 -105 -87 -38 -31 339 -334 -329 -324 -316 -293 -270 -247 -237
-224 -214 -201 -191 -178 -168 -167 -166 -155 -145 -143 -132 -109 -86 -63 -40 -30 315 -311 -310 -307 -306 -305 -302 -301 -278 -140 -126 -117
-94 -71 291 -288 -283 -266 -265 -196 -150 -127 -120 -35 147 -186 -173 -170 -163 -124 -104 -55 195 171 99 -255 -34 -260 -53 -242 -122 -76 -58
25 267 123 -232 -209 -48 -244 -81 -72 243 219 51 75  0