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

Result page for benchmark
crafted/mosoi/289/
289-unsat-6x30.cnf

Jump to solvers results

General information on the benchmark

Namecrafted/mosoi/289/
289-unsat-6x30.cnf
MD5SUMb4a3233c98b6a02fd9143f926d90025d
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.182971
Satisfiable
(Un)Satisfiability was proved
Number of variables720
Number of clauses27360
Sum of the clauses size107280
Maximum clause length4
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 21080
Number of clauses of size 30
Number of clauses of size 426280
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
UmSat 2011-02-25 [DEPRECATED] (complete)3249213SAT 0.159974 0.160584
UmSat 2011-05-12 (fixed) (complete)3379031SAT 0.182971 0.184542
SApperloT2010 2011-05-15 (fixed) (complete)3379631SAT 0.212967 0.213296
sathys 2011-04-01 (complete)3249233SAT 0.265958 0.265742
sattime+ 2011-03-02 (incomplete)3249210SAT 0.267958 0.27029
shortsattime+ 2011-03-02 (incomplete)3249209SAT 0.268958 0.26956
adaptg2wsat2011 2011-03-02 (incomplete)3249208SAT 0.272958 0.277527
sattime2011 2011-03-02 (incomplete)3249204SAT 0.274957 0.275152
shortsattime2011 2011-03-02 (incomplete)3249206SAT 0.275957 0.278028
sattime 2011-03-02 (incomplete)3249205SAT 0.276957 0.277365
rcl 2011-04-01 (complete)3249232SAT 0.303953 0.305582
march_rw 2011-03-02 (complete)3249203SAT 0.413936 0.413809
CryptoMiniSat Strange-Night-1-st (fixed) (complete)3370331SAT 0.560913 0.562025
CryptoMiniSat Strange-Night-1-st [DEPRECATED] (complete)3249220SAT 0.561914 0.564499
glucose 2 (complete)3249238SAT 0.579911 0.580539
QuteRSat 2011-03-01 [DEPRECATED] (complete)3249230SAT 0.58591 0.590501
ppfolio seq (complete)3249236SAT 0.776881 0.777969
claspmt 2.0-R4095 [DEPRECATED] (complete)3299410SAT 0.816875 0.451822
claspmt 2.0-R4095-patched (fixed) (complete)3373031SAT 0.828873 0.460342
jMiniSat 2011 (complete)3279808SAT 1.07983 0.711774
riss Exp (complete)3249222SAT 1.50477 1.50479
ppfolio par (complete)3249235SAT 1.52377 0.440011
riss Auto (1200 s timeout) (complete)3472851SAT 1.56376 1.56364
riss Auto (complete)3249223SAT 1.58876 1.59003
riss 1.0 (complete)3249221SAT 1.63475 1.63613
priss UP (complete)3249224SAT 1.84172 1.69905
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3366731SAT 2.21166 0.563835
CryptoMiniSat Strange-Night-2-mt [DEPRECATED] (complete)3249217SAT 2.24266 0.572781
CryptoMiniSat Strange-Night-1-mt [DEPRECATED] (complete)3249219SAT 2.28365 0.583902
CryptoMiniSat Strange-Night-1-mt (fixed) (complete)3369131SAT 2.30865 0.587108
RestartSAT A75 (complete)3249212SAT 2.46662 2.47097
Lingeling 587f (fixed) (complete)3371531SAT 3.39448 3.39867
Lingeling 587 [DEPRECATED] (complete)3249229SAT 3.41448 3.41656
priss 1.0 (complete)3249226SAT 6.18106 1.56564
priss Auto (complete)3249225SAT 6.20506 1.57226
Black Hole SAT 2011-03-08 (complete)3249214SAT 6.28404 6.28432
SApperloT 2011-03-23 (complete)3249243SAT 9.01263 9.01403
Satisfiability Solver Selector 2011-03-18 (1200 s timeout) (complete)3449620SAT 9.05362 9.39359
CryptoMiniSat Strange-Night2-st [DEPRECATED] (complete)3249218SAT 12.7531 12.7584
CryptoMiniSat Strange-Night2-st (fixed) (complete)3367931SAT 13.083 13.0832
Plingeling 587 [DEPRECATED] (complete)3249228SAT 13.7929 3.60261
Plingeling 587f (fixed) (complete)3370931SAT 14.2148 3.81571
SArTagnan 2011-05-15 (fixed) (complete)3385875SAT 17.3954 7.91511
RestartSAT B95 (complete)3249211SAT 17.4184 17.4196
Satisfiability Solver Selector 2011-03-18 (complete)3249237SAT 19.73 19.8486
synit_sat 2011-03-03 (complete)3249207SAT 27.5858 27.5871
SArTagnan 2011-03-24 [DEPRECATED] (complete)3249242SAT 33.8029 8.52349
QuteRSat 2011-05-12 (fixed) (complete)3376631SAT 34.4578 34.4585
CryptoMiniSat TechDemo-Alpha-st (complete)3249216SAT 82.6474 82.6579
CryptoMiniSat TechDemo-Alpha-mt (complete)3249215SAT 92.256 23.4831
SAT09 reference solver: SATzilla2009_C 2009-03-22 (complete)3274267? (TO) 1299.97 1300.01
SAT09 reference solver: clasp 1.2.0-SAT09-32 (complete)3274266? (TO) 1300.01 1300.01
PicoSAT 941 (complete)3249227? (TO) 1300.03 1300.02
MPhaseSAT64 2011-05-14 (fixed) (complete)3375431? (TO) 1300.03 1300.01
SAT07 reference solver: minisat SAT 2007 (complete)3274268? (TO) 1300.03 1300.01
MPhaseSAT 2011-02-15 (complete)3249200? (TO) 1300.04 1300.01
MPhaseSAT_M 2011-02-16 (complete)3249202? (TO) 1300.04 1300.01
clasp 2.0-R4092-crafted (complete)3300310? (TO) 1300.05 1300.01
MPhaseSAT64 2011-03-03 [DEPRECATED] (complete)3249201? (TO) 1300.05 1300.01
tts 5-4 (complete)3249239? (TO) 1300.11 1300.08
SAT4J core 2.3.0 SNAPSHOT 2011-02-06 (complete)3249234? (TO) 1302.98 1300.04
Sol 2011-04-04 (complete)3249231? (TO) 1304.43 1300.03
STRUCTure 0.1 (complete)3312955? (TO) 4800.14 1206.84
ttsth 5-4 (complete)3249240? (TO) 4800.28 1202.69
STRUCTure 0.1 (hbr=2) (complete)3311755? (TO) 4800.34 1207.14
SApperloT2010 2011-03-04 [DEPRECATED] (complete)3249241No Cert. 0.225965 0.227693

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:
495 -493 -494 -496 479 -477 -478 -480 647 -645 -646 -648 615 -613 -614 -616 -527 471 -469 -470 -472 231 -229 -230 -232 -239 644 -641 -642
-643 139 -137 -138 -140 -379 499 -497 -498 -500 -619 -135 -591 -417 34 -33 -35 -36 -420 394 -393 -395 -396 -359 289 -290 -291 -292 409 -410
-411 -412 -283 83 -81 -82 -84 263 -261 -262 -264 23 -21 -22 -24 -323 537 -538 -539 -540 -300 -284 153 -154 -155 -156 297 -298 -299 -529 273
-274 -275 -276 -169 -177 -513 42 -41 -43 -44 -402 67 -65 -66 -68 -307 -162 210 -209 -211 -212 690 -689 -691 -692 -151 -404 -57 660 -657 -658
-659 -548 -666 222 -221 -223 -224 -702 582 -581 -583 -584 -570 428 -425 -426 -427 511 -509 -510 -512 -631 160 -157 -158 -159 -59 -60 58 -418
419 -179 -178 180 -640 -164 186 -185 -187 -188 -546 -201 -203 443 -441 -442 -444 -111 -383 -119 -308 -306 305 -545 547 -19 -31 -15 -667 -563
-503 97 -98 -99 -100 -578 -561 136 -133 -134 -253 316 -313 -314 -315 524 -521 -522 -523 -684 -668 665 -633 -649 254 -255 -256 37 -38 -39 -40
-117 717 -718 -719 -720 -357 -683 -682 681 -321 -519 -324 322 246 -245 -247 -248 486 -485 -487 -488 -126 -342 -562 564 130 -129 -131 -132
-610 -490 250 -249 -251 -252 -330 -202 -520 204 -518 517 -577 -277 -163 161 -281 282 -6 -14 -10 -149 -150 152 -632 439 -437 -438 -440 -199
-79 559 -557 -558 -560 -679 -391 -599 -375 565 -566 -567 -568 -325 -85 700 -697 -698 -699 -220 -580 579 -459 -219 205 -206 -207 -208 384
-381 -382 504 -501 -502 -624 -144 403 -401 533 -534 -535 -536 -173 -293 -53 413 -414 -415 -416 -445 -397 -338 -340 88 -86 -87 688 -685 -686
-687 271 -269 -270 -272 -259 -319 -339 337 -217 -49 -457 218 376 -373 -374 -392 -400 553 -554 -555 -556 -73 -193 -433 436 -434 -435 -196 235
-233 -234 -236 -475 -595 380 -377 -378 -260 -506 -28 -508 -26 115 -113 -114 -116 -355 -143 -147 25 -27 -505 -265 507 -267 -627 -387 -141 142
-622 530 -531 -532 -170 650 -651 -652 -606 336 -333 -334 -335 -456 216 -213 -214 -215 -696 -576 -280 356 -353 -354 -476 449 -450 -451 -452
-569 -329 89 -90 -91 -92 -385 13 -16 -240 288 -285 -286 -287 -408 -168 -237 238 -358 -598 360 466 -465 -467 -468 -106 346 -345 -347 -348
-370 -586 -226 -366 -526 -597 600 -528 -596 525 -165 -45 -405 -406 407 -47 -167 -711 166 -620 189 -190 -191 -192 -309 -549 638 -637 -639 398
-399 -278 -706 -634 279 670 -669 -671 -672 -550 -430 69 -70 -71 -72 -429 -145 -388 386 -266 -626 268 -148 146 -458 -462 460 -676 -448 628
-625 -716 -328 17 -18 -20 -257 258 310 -311 -312 -618 617 125 -127 -128 -5 605 -607 -608 -390 389 -29 -623 621 -424 -573 -12 -105 -351 -574
575 -455 -695 -95 -77 -636 635 -515 -242 -61 -611 -612 609 -9 11 -491 -371 -76 -593 594 -714 675 -673 -674 -715 713 -195 194 78 -80 -318 75
-74 678 -677 -680 -198 -50 -200 320 197 -317 -96 -694 693 -93 -369 94 372 -454 -492 453 489 -629 -473 -653 -365 630 474 -30 -514 32 516 -107
108 -228 -708 225 -227 -585 -705 707 -587 588 -120 118 -102 -46 48 110 -109 -112 -350 -710 -592 -589 590 -709 712 -352 349 -302 -304 -664
303 -301 -543 -63 -423 -183 62 -64 -422 -182 -662 -542 421 -541 -661 663 544 -184 181 -332 331 -571 572 -103 -172 171 -51 52 -55 -446 447
-122 -464 -601 -296 -604 364 -361 -362 -363 -124 -484 -244 -121 123 -3 -483 4 -1 -2 -482 481 -241 243 -603 602 -295 294 -54 -174 -654 56
-176 -656 175 655 -327 326 -7 8 -368 367 -461 463 -703 -701 704 -104 -344 101 -341 343 -432 431 -551 552 0