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

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

Jump to solvers results

General information on the benchmark

Namecrafted/mosoi/
289/289-sat-11x10.cnf
MD5SUM5d217b4e2e013436c5df3f8194310a1a
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.009998
Satisfiable
(Un)Satisfiability was proved
Number of variables440
Number of clauses10670
Sum of the clauses size41360
Maximum clause length4
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2660
Number of clauses of size 30
Number of clauses of size 410010
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
Black Hole SAT 2011-03-08 (complete)3260172SAT 0.009998 0.013016
PicoSAT 941 (complete)3260185SAT 0.012997 0.012744
SArTagnan 2011-03-24 [DEPRECATED] (complete)3260200SAT 0.019996 0.0150599
SApperloT2010 2011-05-15 (fixed) (complete)3379668SAT 0.019996 0.0332009
SArTagnan 2011-05-15 (fixed) (complete)3385912SAT 0.023995 0.016715
Plingeling 587f (fixed) (complete)3370968SAT 0.031994 0.0227801
Plingeling 587 [DEPRECATED] (complete)3260186SAT 0.035993 0.115281
UmSat 2011-02-25 [DEPRECATED] (complete)3260171SAT 0.061989 0.061579
UmSat 2011-05-12 (fixed) (complete)3379068SAT 0.061989 0.0680659
RestartSAT A75 (complete)3260170SAT 0.063989 0.06587
RestartSAT B95 (complete)3260169SAT 0.06399 0.0638599
CryptoMiniSat Strange-Night2-st (fixed) (complete)3367968SAT 0.066989 0.0812711
CryptoMiniSat Strange-Night2-st [DEPRECATED] (complete)3260176SAT 0.069988 0.069957
CryptoMiniSat Strange-Night-1-st (fixed) (complete)3370368SAT 0.073988 0.0812189
sattime2011 2011-03-02 (incomplete)3260162SAT 0.074987 0.076489
sattime+ 2011-03-02 (incomplete)3260168SAT 0.074987 0.07485
adaptg2wsat2011 2011-03-02 (incomplete)3260166SAT 0.074987 0.0756449
CryptoMiniSat Strange-Night-1-st [DEPRECATED] (complete)3260178SAT 0.076987 0.080331
sattime 2011-03-02 (incomplete)3260163SAT 0.076987 0.076959
CryptoMiniSat TechDemo-Alpha-st (complete)3260174SAT 0.082986 0.0979189
sathys 2011-04-01 (complete)3260191SAT 0.083986 0.0865481
shortsattime+ 2011-03-02 (incomplete)3260167SAT 0.084986 0.09004
shortsattime2011 2011-03-02 (incomplete)3260164SAT 0.084986 0.0858671
rcl 2011-04-01 (complete)3260190SAT 0.086986 0.0884631
ppfolio seq (complete)3260194SAT 0.086986 0.402376
SAT07 reference solver: minisat SAT 2007 (complete)3274310SAT 0.090985 0.0923789
clasp 2.0-R4092-crafted (complete)3300347SAT 0.092985 0.093758
claspmt 2.0-R4095-patched (fixed) (complete)3373068SAT 0.093985 0.094698
claspmt 2.0-R4095 [DEPRECATED] (complete)3299447SAT 0.098984 0.0945651
synit_sat 2011-03-03 (complete)3260165SAT 0.103983 0.104939
SAT09 reference solver: clasp 1.2.0-SAT09-32 (complete)3274308SAT 0.108983 0.109754
QuteRSat 2011-05-12 (fixed) (complete)3376668SAT 0.110982 0.113089
QuteRSat 2011-03-01 [DEPRECATED] (complete)3260188SAT 0.111982 0.112647
march_rw 2011-03-02 (complete)3260161SAT 0.158975 0.160381
Lingeling 587 [DEPRECATED] (complete)3260187SAT 0.208967 0.209936
Lingeling 587f (fixed) (complete)3371568SAT 0.208967 0.209182
SAT09 reference solver: SATzilla2009_C 2009-03-22 (complete)3274309SAT 0.215966 0.215905
MPhaseSAT_M 2011-02-16 (complete)3260160SAT 0.235963 0.237856
MPhaseSAT 2011-02-15 (complete)3260158SAT 0.236963 0.250925
ppfolio par (complete)3260193SAT 0.250961 0.0698561
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3366768SAT 0.25696 0.071297
CryptoMiniSat Strange-Night-2-mt [DEPRECATED] (complete)3260175SAT 0.287955 0.0788161
CryptoMiniSat Strange-Night-1-mt [DEPRECATED] (complete)3260177SAT 0.300953 0.0808179
CryptoMiniSat Strange-Night-1-mt (fixed) (complete)3369168SAT 0.314951 0.085193
MPhaseSAT64 2011-05-14 (fixed) (complete)3375468SAT 0.328949 0.32862
MPhaseSAT64 2011-03-03 [DEPRECATED] (complete)3260159SAT 0.371942 0.372196
CryptoMiniSat TechDemo-Alpha-mt (complete)3260173SAT 0.398939 0.122662
SApperloT 2011-03-23 (complete)3260201SAT 0.445931 0.446348
SAT4J core 2.3.0 SNAPSHOT 2011-02-06 (complete)3260192SAT 0.477926 0.306646
jMiniSat 2011 (complete)3279845SAT 0.614905 0.373651
riss Auto (1200 s timeout) (complete)3472865SAT 1.17282 1.17358
riss Exp (complete)3260180SAT 1.17582 1.18159
riss Auto (complete)3260181SAT 1.25881 1.25852
priss UP (complete)3260182SAT 1.26581 1.20981
riss 1.0 (complete)3260179SAT 1.2968 1.30187
Sol 2011-04-04 (complete)3260189SAT 1.40579 1.40217
Satisfiability Solver Selector 2011-03-18 (complete)3260195SAT 3.3065 5.67526
Satisfiability Solver Selector 2011-03-18 (1200 s timeout) (complete)3449634SAT 3.33149 3.53561
priss 1.0 (complete)3260184SAT 4.63529 1.17856
priss Auto (complete)3260183SAT 4.69928 1.23083
STRUCTure 0.1 (hbr=2) (complete)3311792SAT 6.37303 1.98234
STRUCTure 0.1 (complete)3312992SAT 6.88295 2.13719
glucose 2 (complete)3260196SAT 23.8954 23.8979
tts 5-4 (complete)3260197? (TO) 1300.13 1300.08
ttsth 5-4 (complete)3260198? (TO) 4800.43 1205.44
SApperloT2010 2011-03-04 [DEPRECATED] (complete)3260199No Cert. 0.018996 0.022845

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