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

Result page for benchmark
crafted/mosoi/289/
289-sat-6x8.cnf

Jump to solvers results

General information on the benchmark

Namecrafted/mosoi/289/
289-sat-6x8.cnf
MD5SUM0836620198442c187bac3443fd060059
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.001998
Satisfiable
(Un)Satisfiability was proved
Number of variables192
Number of clauses2016
Sum of the clauses size7488
Maximum clause length4
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2288
Number of clauses of size 30
Number of clauses of size 41728
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)3260392SAT 0.001998 0.00638309
PicoSAT 941 (complete)3260405SAT 0.001999 0.00601403
SApperloT2010 2011-05-15 (fixed) (complete)3379665SAT 0.003998 0.0142079
sattime+ 2011-03-02 (incomplete)3260388SAT 0.007997 0.0100989
shortsattime+ 2011-03-02 (incomplete)3260387SAT 0.007998 0.0145149
shortsattime2011 2011-03-02 (incomplete)3260384SAT 0.007998 0.00842904
RestartSAT A75 (complete)3260390SAT 0.007998 0.010349
adaptg2wsat2011 2011-03-02 (incomplete)3260386SAT 0.008997 0.00886404
sattime 2011-03-02 (incomplete)3260383SAT 0.008997 0.00927108
SApperloT 2011-03-23 (complete)3260421SAT 0.008998 0.00956492
sattime2011 2011-03-02 (incomplete)3260382SAT 0.008998 0.00964091
SArTagnan 2011-03-24 [DEPRECATED] (complete)3260420SAT 0.008998 0.00759604
CryptoMiniSat Strange-Night2-st (fixed) (complete)3367965SAT 0.009997 0.0226
CryptoMiniSat Strange-Night2-st [DEPRECATED] (complete)3260396SAT 0.009997 0.0113681
RestartSAT B95 (complete)3260389SAT 0.009997 0.011691
SAT07 reference solver: minisat SAT 2007 (complete)3274337SAT 0.009998 0.0125289
CryptoMiniSat TechDemo-Alpha-st (complete)3260394SAT 0.011997 0.024223
CryptoMiniSat Strange-Night-1-st (fixed) (complete)3370365SAT 0.011997 0.0171229
ppfolio seq (complete)3260414SAT 0.011997 0.0353029
CryptoMiniSat Strange-Night-1-st [DEPRECATED] (complete)3260398SAT 0.011998 0.012681
UmSat 2011-02-25 [DEPRECATED] (complete)3260391SAT 0.011998 0.0135219
clasp 2.0-R4092-crafted (complete)3300344SAT 0.011998 0.0119559
SAT09 reference solver: clasp 1.2.0-SAT09-32 (complete)3274335SAT 0.011998 0.0119669
UmSat 2011-05-12 (fixed) (complete)3379065SAT 0.012997 0.0254181
claspmt 2.0-R4095 [DEPRECATED] (complete)3299444SAT 0.012997 0.0140371
claspmt 2.0-R4095-patched (fixed) (complete)3373065SAT 0.012997 0.014104
rcl 2011-04-01 (complete)3260410SAT 0.017996 0.018172
sathys 2011-04-01 (complete)3260411SAT 0.019996 0.0255581
glucose 2 (complete)3260416SAT 0.020996 0.0234479
march_rw 2011-03-02 (complete)3260381SAT 0.021995 0.0221319
Lingeling 587f (fixed) (complete)3371565SAT 0.022996 0.027027
Lingeling 587 [DEPRECATED] (complete)3260407SAT 0.023995 0.0239751
SAT09 reference solver: SATzilla2009_C 2009-03-22 (complete)3274336SAT 0.025995 0.0262451
synit_sat 2011-03-03 (complete)3260385SAT 0.026995 0.0281481
SArTagnan 2011-05-15 (fixed) (complete)3385909SAT 0.027995 0.017925
Plingeling 587f (fixed) (complete)3370965SAT 0.032994 0.024058
MPhaseSAT 2011-02-15 (complete)3260378SAT 0.032994 0.0340309
MPhaseSAT_M 2011-02-16 (complete)3260380SAT 0.034993 0.0363949
MPhaseSAT64 2011-05-14 (fixed) (complete)3375465SAT 0.036994 0.044299
Plingeling 587 [DEPRECATED] (complete)3260406SAT 0.037994 0.022485
MPhaseSAT64 2011-03-03 [DEPRECATED] (complete)3260379SAT 0.041992 0.045207
ppfolio par (complete)3260413SAT 0.041992 0.0152009
CryptoMiniSat Strange-Night-2-mt [DEPRECATED] (complete)3260395SAT 0.044992 0.0157239
QuteRSat 2011-05-12 (fixed) (complete)3376665SAT 0.047992 0.0476779
CryptoMiniSat Strange-Night-1-mt (fixed) (complete)3369165SAT 0.049991 0.020209
CryptoMiniSat Strange-Night-1-mt [DEPRECATED] (complete)3260397SAT 0.050992 0.0185149
QuteRSat 2011-03-01 [DEPRECATED] (complete)3260408SAT 0.06199 0.135369
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3366765SAT 0.066988 0.024235
CryptoMiniSat TechDemo-Alpha-mt (complete)3260393SAT 0.109982 0.0395769
SAT4J core 2.3.0 SNAPSHOT 2011-02-06 (complete)3260412SAT 0.232964 0.178847
jMiniSat 2011 (complete)3279842SAT 0.236963 0.23171
Sol 2011-04-04 (complete)3260409SAT 0.271958 0.274157
riss 1.0 (complete)3260399SAT 1.45978 1.46342
riss Auto (1200 s timeout) (complete)3472874SAT 1.47378 1.4734
riss Auto (complete)3260401SAT 1.47378 1.47365
riss Exp (complete)3260400SAT 1.59276 1.59335
priss UP (complete)3260402SAT 1.64375 1.6348
Satisfiability Solver Selector 2011-03-18 (complete)3260415SAT 2.78858 2.81745
STRUCTure 0.1 (complete)3312989SAT 3.00554 1.03229
Satisfiability Solver Selector 2011-03-18 (1200 s timeout) (complete)3449643SAT 3.04454 3.0805
STRUCTure 0.1 (hbr=2) (complete)3311789SAT 3.72843 1.25234
priss Auto (complete)3260403SAT 5.81712 1.47838
priss 1.0 (complete)3260404SAT 5.82211 1.49349
tts 5-4 (complete)3260417? (TO) 1300.12 1300.07
ttsth 5-4 (complete)3260418? (TO) 4800.14 1205.92
SApperloT2010 2011-03-04 [DEPRECATED] (complete)3260419No Cert. 0.003998 0.00601291

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 -56 -53 -54 55 -183 -151 -119 -87 -85 -86 88 -184 -152 -120 -128 -124 -156 -192 -188 -160 -157 -158 159 -191 -190 189 -187 -186
185 -155 -154 153 -177 -173 -169 -165 -161 -52 -181 182 -149 150 -178 -174 -170 -166 -162 -68 -91 -89 -90 92 -116 -112 -108 -104 -148 -144
-140 -136 -180 179 -176 175 -172 171 -168 167 -164 163 -123 -122 121 -125 -129 -126 127 -147 -146 145 -113 -114 115 -111 -107 -103 -99 -139
-135 -131 -143 -142 141 -109 110 -95 -93 -94 96 -100 -98 97 -117 118 -132 130 -137 138 -106 105 -133 134 -102 101 -48 -45 -46 47 -51 -43 -39
-35 -79 -77 -78 80 -83 -81 -82 84 -50 49 -57 -65 -66 67 -75 -71 -69 -73 -74 76 -41 -42 44 -64 -60 -72 70 -36 -34 33 -37 -38 40 -61 -62 63
-58 59 -5 -6 -7 8 -12 -9 -10 11 -19 -15 -17 -18 20 -32 -28 -24 -16 -29 -30 31 -27 -23 -26 25 -13 14 -22 21