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

Result page for benchmark
CRAFTED/rbsat/random/
forced/rbsat-v760c43649gyes10.cnf

Jump to solvers results

General information on the benchmark

NameCRAFTED/rbsat/random/
forced/rbsat-v760c43649gyes10.cnf
MD5SUM81c9aa5c768c12f86139286d1d6bc62c
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark3.21051
Satisfiable
(Un)Satisfiability was proved
Number of variables760
Number of clauses43649
Sum of the clauses size87978
Maximum clause length19
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 243609
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 540

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
adaptg2wsat2009++ 2009-03-23 (incomplete)1735230SAT 3.21051 3.21245
HydraSAT-Multi 2009-03-22-Multi (complete)1735209SAT 6.96694 6.96958
SAT07 reference solver: minisat SAT 2007 (complete)1595186SAT 7.28689 7.28978
IUT_BMB_SAT 1.0 (complete)1735214SAT 7.50186 7.51263
SApperloT base (complete)1735200SAT 10.0905 10.0945
MiniSat 2.1 (Sat-race'08 Edition) (complete)1735233SAT 12.7381 12.7418
SATzilla2009_R 2009-03-22 (complete)1735215SAT 12.914 12.9412
iPAWS 2009-03-22 (incomplete)1735207SAT 14.7078 14.714
minisat_cumr p-2009-03-18 (complete)1834105SAT 15.5536 15.564
VARSAT-random 2009-03-22 (complete)1735227SAT 17.5033 17.5092
kw 2009-03-20 (complete)1735192SAT 18.6142 18.6181
march_hi hi (complete)1735212SAT 21.7557 21.7798
clasp 1.2.0-SAT09-32 (complete)1735199SAT 23.6544 23.6645
TNM 2009-03-22 (incomplete)1735220SAT 24.1693 24.1781
adaptg2wsat2009 2009-03-23 (incomplete)1735229SAT 25.7271 25.7371
gNovelty+-T 2009-03-22 (incomplete)1735237SAT 27.0089 13.8971
Hybrid2 2009-03-22 (incomplete)1735218SAT 28.6256 28.6345
march_nn nn (complete)1735213SAT 29.2116 29.2194
gnovelty+ 2009-03-22 (incomplete)1735224SAT 31.5112 31.5198
ManySAT 1.1 aimd 2/2009-03-20 (complete)1735206SAT 31.9921 16.1625
hybridGM 1 (incomplete)1735221SAT 36.5344 36.5564
MXC 2009-03-10 (complete)1735195SAT 37.0334 37.0459
LySAT i/2009-03-20 (complete)1735202SAT 38.4472 38.4763
glucose 1.0 (complete)1735194SAT 40.6148 40.6447
HydraSAT 2009-03-22-Base (complete)1735211SAT 49.5895 49.6056
SAT07 reference solver: SATzilla CRAFTED (complete)1595187SAT 51.9511 51.9806
ManySAT 1.1 aimd 0/2009-03-20 (complete)1735204SAT 62.7615 31.584
SAT07 reference solver: March KS 2007-02-08 (complete)1595933SAT 76.4474 76.4817
Rsat 2009-03-22 (complete)1735232SAT 83.8143 83.8794
ManySAT 1.1 aimd 1/2009-03-20 (complete)1735205SAT 88.6485 44.5587
hybridGM3 3 (incomplete)1735222SAT 91.2931 91.3193
VARSAT-crafted 2009-03-22 (complete)1735225SAT 92.384 92.4046
SATzilla2009_I 2009-03-22 (complete)1735217SAT 99.4329 99.5543
VARSAT-industrial 2009-03-22 (complete)1735226SAT 101.041 101.077
picosat 913 (complete)1735197SAT 157.375 157.426
precosat 236 (complete)1735198SAT 158.252 158.297
MiniSAT 09z 2009-03-22 (complete)1834106SAT 168.682 168.788
SApperloT hrp (complete)1735201SAT 178.318 178.394
HydraSAT-Flat 2009-03-22-Flat (complete)1735210SAT 203.447 203.521
CircUs 2009-03-23 (complete)1735231SAT 219.341 219.4
LySAT c/2009-03-20 (complete)1735203SAT 222.13 222.193
CSat 2009-03-22 (complete)1735208SAT 345.098 345.184
satake 2009-03-22 (complete)1735240SAT 356.53 178.737
SATzilla2009_C 2009-03-22 (complete)1735216SAT 474.084 474.281
MoRsat 2009-03-03 (complete)1735193SAT 677.607 677.808
tts tts-5-0 (complete)1735196? 1200.04 1200.44
NCVWr 2009-03-22 (incomplete)1735219? (TO) 1200.04 1200.41
slstc 1.0 (incomplete)1735228? (TO) 1200.06 1200.41
gNovelty+-V.2-T-H 2009-03-22 (incomplete)1735238? (TO) 1200.06 601.413
gnovelty+2-H 2009-03-22 (incomplete)1735234? (TO) 1200.09 1200.41
gnovelty+2 2009-03-22 (incomplete)1735235? (TO) 1200.1 1200.41
ttsth-5-0 2009-03-19 (complete)1735236? (TO) 1200.13 601.799
gNovelty+-V.2-T 2009-03-22 (incomplete)1735239? (TO) 1200.17 601.916
SAT4J CORE 2.1 RC1 (complete)1735191? (TO) 1200.3 1199.97
hybridGM7 7 (incomplete)1735223Signal 9.8355 9.83835

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 -449 -450 -451 -452 -453 -454 -455 -456 -457 -458 -459 -460 -461 -462 -463 -464 -465 -466 -467 -468 -469 -470
-471 472 -473 -474 -475 -476 -477 -478 -479 -480 -481 -482 -483 484 -485 -486 -487 -488 -489 -490 -491 -492 -493 -494 -495 -496 -497 -498
-499 -500 -501 -502 -503 -504 -505 -506 -507 -508 -509 -510 -511 512 -513 -514 -515 -516 -517 518 -519 -520 -521 -522 -523 -524 -525 -526
-527 -528 -529 -530 -531 -532 -533 -534 535 -536 -537 -538 -539 -540 -541 -542 -543 -544 -545 -546 -547 -548 -549 -550 -551 -552 -553 -554
-555 -556 -557 -558 -559 560 -561 -562 -563 -564 -565 -566 -567 -568 -569 -570 -571 -572 -573 -574 -575 -576 -577 -578 -579 -580 -581 -582
-583 -584 -585 586 -587 -588 -589 -590 -591 -592 -593 -594 -595 -596 -597 -598 -599 -600 -601 -602 -603 -604 -605 -606 -607 608 -609 -610
-611 -612 -613 -614 -615 -616 -617 618 -619 -620 -621 -622 -623 -624 -625 -626 -627 -628 -629 -630 -631 -632 -633 -634 -635 -636 -637 -638
-639 -640 -641 642 -643 -644 -645 -646 -647 -648 -649 -650 -651 -652 -653 -654 -655 -656 657 -658 -659 -660 -661 -662 -663 -664 -665 -666
-667 -668 -669 670 -671 -672 -673 -674 -675 -676 -677 -678 -679 -680 -681 -682 -683 -684 -685 -686 -687 -688 -689 -690 -691 -692 -693 -694
-695 -696 -697 -698 699 -700 -701 -702 -703 -704 -705 -706 -707 -708 -709 -710 -711 -712 -713 -714 -715 -716 -717 718 -719 -720 -721 -722
-723 -724 -725 -726 -727 -728 -729 -730 -731 -732 -733 -734 -735 -736 -737 -738 739 -740 -741 -742 -743 -744 -745 -746 -747 -748 -749 -750
-751 -752 -753 754 -755 -756 -757 -758 -759 -760 0