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

Result page for benchmark
crafted/mosoi/
289/289-sat-11x9.cnf

Jump to solvers results

General information on the benchmark

Namecrafted/mosoi/
289/289-sat-11x9.cnf
MD5SUM6cf040f0375e72e53e8c93b698d7f65b
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.007998
Satisfiable
(Un)Satisfiability was proved
Number of variables396
Number of clauses8613
Sum of the clauses size33264
Maximum clause length4
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2594
Number of clauses of size 30
Number of clauses of size 48019
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)3260449SAT 0.007998 0.00862911
SApperloT2010 2011-05-15 (fixed) (complete)3379667SAT 0.016996 0.0166541
Black Hole SAT 2011-03-08 (complete)3260436SAT 0.016997 0.018195
SArTagnan 2011-03-24 [DEPRECATED] (complete)3260464SAT 0.017996 0.0124199
Plingeling 587f (fixed) (complete)3370967SAT 0.018996 0.0175039
Plingeling 587 [DEPRECATED] (complete)3260450SAT 0.030995 0.022229
RestartSAT B95 (complete)3260433SAT 0.044992 0.045161
RestartSAT A75 (complete)3260434SAT 0.044993 0.046175
CryptoMiniSat Strange-Night2-st (fixed) (complete)3367967SAT 0.048992 0.0503309
CryptoMiniSat Strange-Night2-st [DEPRECATED] (complete)3260440SAT 0.051991 0.058773
CryptoMiniSat Strange-Night-1-st [DEPRECATED] (complete)3260442SAT 0.05399 0.055566
UmSat 2011-05-12 (fixed) (complete)3379067SAT 0.053991 0.0552859
CryptoMiniSat Strange-Night-1-st (fixed) (complete)3370367SAT 0.05499 0.055189
UmSat 2011-02-25 [DEPRECATED] (complete)3260435SAT 0.05499 0.0566419
shortsattime+ 2011-03-02 (incomplete)3260431SAT 0.054991 0.055495
shortsattime2011 2011-03-02 (incomplete)3260428SAT 0.055991 0.0563871
sattime+ 2011-03-02 (incomplete)3260432SAT 0.05899 0.0587431
adaptg2wsat2011 2011-03-02 (incomplete)3260430SAT 0.05899 0.062072
CryptoMiniSat TechDemo-Alpha-st (complete)3260438SAT 0.05999 0.0721111
sattime 2011-03-02 (incomplete)3260427SAT 0.05999 0.0618271
sattime2011 2011-03-02 (incomplete)3260426SAT 0.061989 0.064455
clasp 2.0-R4092-crafted (complete)3300346SAT 0.062989 0.0638071
SAT07 reference solver: minisat SAT 2007 (complete)3274343SAT 0.063989 0.0646599
sathys 2011-04-01 (complete)3260455SAT 0.063989 0.0651109
claspmt 2.0-R4095 [DEPRECATED] (complete)3299446SAT 0.066988 0.068317
rcl 2011-04-01 (complete)3260454SAT 0.066989 0.067215
claspmt 2.0-R4095-patched (fixed) (complete)3373067SAT 0.070988 0.0690199
SAT09 reference solver: clasp 1.2.0-SAT09-32 (complete)3274341SAT 0.077987 0.078413
synit_sat 2011-03-03 (complete)3260429SAT 0.083986 0.085477
QuteRSat 2011-05-12 (fixed) (complete)3376667SAT 0.091985 0.0950691
QuteRSat 2011-03-01 [DEPRECATED] (complete)3260452SAT 0.093984 0.097532
ppfolio seq (complete)3260458SAT 0.096984 0.101232
SArTagnan 2011-05-15 (fixed) (complete)3385911SAT 0.119981 0.0682361
march_rw 2011-03-02 (complete)3260425SAT 0.127979 0.127798
Lingeling 587f (fixed) (complete)3371567SAT 0.12798 0.129282
Lingeling 587 [DEPRECATED] (complete)3260451SAT 0.144977 0.151229
SApperloT 2011-03-23 (complete)3260465SAT 0.166973 0.166575
glucose 2 (complete)3260460SAT 0.167973 0.174824
SAT09 reference solver: SATzilla2009_C 2009-03-22 (complete)3274342SAT 0.170973 0.173611
MPhaseSAT_M 2011-02-16 (complete)3260424SAT 0.18597 0.185616
ppfolio par (complete)3260457SAT 0.18897 0.0523449
MPhaseSAT 2011-02-15 (complete)3260422SAT 0.199968 0.201276
CryptoMiniSat Strange-Night-2-mt [DEPRECATED] (complete)3260439SAT 0.205968 0.0598541
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3366767SAT 0.212967 0.0645139
CryptoMiniSat Strange-Night-1-mt (fixed) (complete)3369167SAT 0.220966 0.061694
CryptoMiniSat Strange-Night-1-mt [DEPRECATED] (complete)3260441SAT 0.221965 0.062621
MPhaseSAT64 2011-05-14 (fixed) (complete)3375467SAT 0.237963 0.237305
MPhaseSAT64 2011-03-03 [DEPRECATED] (complete)3260423SAT 0.298953 0.306799
CryptoMiniSat TechDemo-Alpha-mt (complete)3260437SAT 0.308952 0.0977671
SAT4J core 2.3.0 SNAPSHOT 2011-02-06 (complete)3260456SAT 0.413936 0.286504
jMiniSat 2011 (complete)3279844SAT 0.550916 0.35435
riss 1.0 (complete)3260443SAT 0.870866 0.872448
riss Auto (complete)3260445SAT 0.928858 0.931731
riss Exp (complete)3260444SAT 0.945855 0.945769
priss UP (complete)3260446SAT 0.956853 0.910616
riss Auto (1200 s timeout) (complete)3472876SAT 0.965852 0.967309
Sol 2011-04-04 (complete)3260453SAT 1.14882 1.1455
Satisfiability Solver Selector 2011-03-18 (1200 s timeout) (complete)3449645SAT 3.11752 3.22012
Satisfiability Solver Selector 2011-03-18 (complete)3260459SAT 3.23551 3.50071
priss 1.0 (complete)3260448SAT 3.67044 0.969367
priss Auto (complete)3260447SAT 3.70744 0.969451
STRUCTure 0.1 (complete)3312991SAT 6.52701 2.03783
STRUCTure 0.1 (hbr=2) (complete)3311791SAT 7.62084 2.26247
tts 5-4 (complete)3260461? (TO) 1300.08 1300.06
ttsth 5-4 (complete)3260462? (TO) 4800.23 1206.02
SApperloT2010 2011-03-04 [DEPRECATED] (complete)3260463No Cert. 0.015997 0.0184619

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 0