SAT 2011 Competition: main competition (phase 1): 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.010998
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)3260053SAT 0.010998 0.011269
SApperloT2010 2011-05-15 (fixed) (complete)3379669SAT 0.020996 0.022603
SArTagnan 2011-03-24 [DEPRECATED] (complete)3260068SAT 0.022996 0.015005
Plingeling 587f (fixed) (complete)3370969SAT 0.025995 0.022531
Plingeling 587 [DEPRECATED] (complete)3260054SAT 0.027994 0.02287
Black Hole SAT 2011-03-08 (complete)3260040SAT 0.030994 0.0315099
SArTagnan 2011-05-15 (fixed) (complete)3385913SAT 0.034994 0.019225
RestartSAT A75 (complete)3260038SAT 0.05999 0.0632111
RestartSAT B95 (complete)3260037SAT 0.065989 0.0664799
UmSat 2011-05-12 (fixed) (complete)3379069SAT 0.066989 0.0703919
CryptoMiniSat Strange-Night2-st [DEPRECATED] (complete)3260044SAT 0.068989 0.0699569
UmSat 2011-02-25 [DEPRECATED] (complete)3260039SAT 0.070988 0.073258
CryptoMiniSat Strange-Night2-st (fixed) (complete)3367969SAT 0.072988 0.0758711
CryptoMiniSat Strange-Night-1-st (fixed) (complete)3370369SAT 0.073988 0.0801351
shortsattime+ 2011-03-02 (incomplete)3260035SAT 0.076988 0.079628
adaptg2wsat2011 2011-03-02 (incomplete)3260034SAT 0.077987 0.07997
sattime2011 2011-03-02 (incomplete)3260030SAT 0.077987 0.080678
CryptoMiniSat TechDemo-Alpha-st (complete)3260042SAT 0.078987 0.091884
CryptoMiniSat Strange-Night-1-st [DEPRECATED] (complete)3260046SAT 0.080986 0.084721
shortsattime2011 2011-03-02 (incomplete)3260032SAT 0.084987 0.0880229
sattime 2011-03-02 (incomplete)3260031SAT 0.085986 0.0871281
sattime+ 2011-03-02 (incomplete)3260036SAT 0.086985 0.0872921
sathys 2011-04-01 (complete)3260059SAT 0.086985 0.0890169
SAT07 reference solver: minisat SAT 2007 (complete)3274292SAT 0.088985 0.0896899
ppfolio seq (complete)3260062SAT 0.091985 0.143818
clasp 2.0-R4092-crafted (complete)3300348SAT 0.095984 0.0974001
rcl 2011-04-01 (complete)3260058SAT 0.095984 0.114584
claspmt 2.0-R4095 [DEPRECATED] (complete)3299448SAT 0.101984 0.102338
synit_sat 2011-03-03 (complete)3260033SAT 0.101984 0.109264
QuteRSat 2011-03-01 [DEPRECATED] (complete)3260056SAT 0.102983 0.104204
QuteRSat 2011-05-12 (fixed) (complete)3376669SAT 0.105983 0.105996
claspmt 2.0-R4095-patched (fixed) (complete)3373069SAT 0.109982 0.106262
SAT09 reference solver: clasp 1.2.0-SAT09-32 (complete)3274290SAT 0.12198 0.123233
march_rw 2011-03-02 (complete)3260029SAT 0.167974 0.168144
SAT09 reference solver: SATzilla2009_C 2009-03-22 (complete)3274291SAT 0.203968 0.206725
Lingeling 587f (fixed) (complete)3371569SAT 0.215967 0.21623
Lingeling 587 [DEPRECATED] (complete)3260055SAT 0.220965 0.221618
MPhaseSAT_M 2011-02-16 (complete)3260028SAT 0.245961 0.246324
MPhaseSAT 2011-02-15 (complete)3260026SAT 0.246962 0.248808
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3366769SAT 0.271957 0.076571
CryptoMiniSat Strange-Night-2-mt [DEPRECATED] (complete)3260043SAT 0.275957 0.075524
CryptoMiniSat Strange-Night-1-mt [DEPRECATED] (complete)3260045SAT 0.287955 0.077126
CryptoMiniSat Strange-Night-1-mt (fixed) (complete)3369169SAT 0.298953 0.0813269
ppfolio par (complete)3260061SAT 0.343947 0.101986
MPhaseSAT64 2011-05-14 (fixed) (complete)3375469SAT 0.391939 0.391962
CryptoMiniSat TechDemo-Alpha-mt (complete)3260041SAT 0.395939 0.121144
SAT4J core 2.3.0 SNAPSHOT 2011-02-06 (complete)3260060SAT 0.418936 0.381702
MPhaseSAT64 2011-03-03 [DEPRECATED] (complete)3260027SAT 0.444931 0.446206
jMiniSat 2011 (complete)3279846SAT 0.509922 0.344109
riss Auto (complete)3260049SAT 1.13583 1.13714
riss 1.0 (complete)3260047SAT 1.14682 1.14887
riss Exp (complete)3260048SAT 1.14782 1.14847
riss Auto (1200 s timeout) (complete)3472859SAT 1.15482 1.15543
priss UP (complete)3260050SAT 1.34779 1.3234
Sol 2011-04-04 (complete)3260057SAT 1.52277 1.66919
Satisfiability Solver Selector 2011-03-18 (complete)3260063SAT 3.2945 5.24353
Satisfiability Solver Selector 2011-03-18 (1200 s timeout) (complete)3449628SAT 3.31849 3.42085
priss Auto (complete)3260051SAT 4.74728 1.35201
priss 1.0 (complete)3260052SAT 4.77627 1.35979
STRUCTure 0.1 (complete)3312993SAT 7.67883 2.29548
STRUCTure 0.1 (hbr=2) (complete)3311793SAT 8.03378 2.41617
glucose 2 (complete)3260064? (TO) 1300.06 1300.01
SApperloT 2011-03-23 (complete)3260069? (TO) 1300.07 1300.01
tts 5-4 (complete)3260065? (TO) 1300.1 1300.08
ttsth 5-4 (complete)3260066? (TO) 4800.11 1207.4
SApperloT2010 2011-03-04 [DEPRECATED] (complete)3260067No Cert. 0.018996 0.0205179

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