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

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

Jump to solvers results

General information on the benchmark

Namecrafted/mosoi/289/
289-sat-6x9.cnf
MD5SUM7cb6eb41697b41369a6f06ef320865a8
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.001999
Satisfiable
(Un)Satisfiability was proved
Number of variables216
Number of clauses2538
Sum of the clauses size9504
Maximum clause length4
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2324
Number of clauses of size 30
Number of clauses of size 42214
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)3260480SAT 0.001999 0.00651304
PicoSAT 941 (complete)3260493SAT 0.002999 0.00603711
SApperloT2010 2011-05-15 (fixed) (complete)3379666SAT 0.004998 0.014374
RestartSAT B95 (complete)3260477SAT 0.009998 0.0123731
shortsattime2011 2011-03-02 (incomplete)3260472SAT 0.009998 0.011188
shortsattime+ 2011-03-02 (incomplete)3260475SAT 0.009998 0.0110559
sattime+ 2011-03-02 (incomplete)3260476SAT 0.009998 0.0107879
SArTagnan 2011-03-24 [DEPRECATED] (complete)3260508SAT 0.010997 0.00724107
RestartSAT A75 (complete)3260478SAT 0.010998 0.011668
sattime2011 2011-03-02 (incomplete)3260470SAT 0.011998 0.0123959
adaptg2wsat2011 2011-03-02 (incomplete)3260474SAT 0.011998 0.011658
CryptoMiniSat Strange-Night2-st (fixed) (complete)3367966SAT 0.012997 0.0132561
CryptoMiniSat Strange-Night2-st [DEPRECATED] (complete)3260484SAT 0.012997 0.0163359
sattime 2011-03-02 (incomplete)3260471SAT 0.012997 0.0123151
SAT07 reference solver: minisat SAT 2007 (complete)3274346SAT 0.012998 0.013674
Plingeling 587 [DEPRECATED] (complete)3260494SAT 0.013997 0.0142181
Plingeling 587f (fixed) (complete)3370966SAT 0.013997 0.013681
clasp 2.0-R4092-crafted (complete)3300345SAT 0.013997 0.0140679
SAT09 reference solver: clasp 1.2.0-SAT09-32 (complete)3274344SAT 0.013997 0.0150091
claspmt 2.0-R4095 [DEPRECATED] (complete)3299445SAT 0.013997 0.0159369
ppfolio seq (complete)3260502SAT 0.014996 0.0194591
CryptoMiniSat TechDemo-Alpha-st (complete)3260482SAT 0.014997 0.027779
UmSat 2011-02-25 [DEPRECATED] (complete)3260479SAT 0.014997 0.016279
UmSat 2011-05-12 (fixed) (complete)3379066SAT 0.014997 0.0159041
CryptoMiniSat Strange-Night-1-st [DEPRECATED] (complete)3260486SAT 0.015996 0.0156001
CryptoMiniSat Strange-Night-1-st (fixed) (complete)3370366SAT 0.015997 0.016589
claspmt 2.0-R4095-patched (fixed) (complete)3373066SAT 0.017996 0.017402
sathys 2011-04-01 (complete)3260499SAT 0.020995 0.0279101
rcl 2011-04-01 (complete)3260498SAT 0.021995 0.0222529
march_rw 2011-03-02 (complete)3260469SAT 0.026995 0.0330289
Lingeling 587 [DEPRECATED] (complete)3260495SAT 0.032994 0.0339249
Lingeling 587f (fixed) (complete)3371566SAT 0.033993 0.0344681
glucose 2 (complete)3260504SAT 0.033994 0.035006
synit_sat 2011-03-03 (complete)3260473SAT 0.034994 0.0358179
SAT09 reference solver: SATzilla2009_C 2009-03-22 (complete)3274345SAT 0.037993 0.0378441
MPhaseSAT 2011-02-15 (complete)3260466SAT 0.040993 0.047019
MPhaseSAT_M 2011-02-16 (complete)3260468SAT 0.042992 0.042865
SApperloT 2011-03-23 (complete)3260509SAT 0.042992 0.04359
ppfolio par (complete)3260501SAT 0.047992 0.017984
MPhaseSAT64 2011-05-14 (fixed) (complete)3375466SAT 0.047992 0.050465
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3366766SAT 0.052991 0.020847
QuteRSat 2011-03-01 [DEPRECATED] (complete)3260496SAT 0.054991 0.061724
QuteRSat 2011-05-12 (fixed) (complete)3376666SAT 0.054991 0.056066
MPhaseSAT64 2011-03-03 [DEPRECATED] (complete)3260467SAT 0.05599 0.0563369
CryptoMiniSat Strange-Night-2-mt [DEPRECATED] (complete)3260483SAT 0.05699 0.018155
CryptoMiniSat Strange-Night-1-mt [DEPRECATED] (complete)3260485SAT 0.06299 0.0208469
CryptoMiniSat Strange-Night-1-mt (fixed) (complete)3369166SAT 0.068989 0.0249931
SArTagnan 2011-05-15 (fixed) (complete)3385910SAT 0.116981 0.066537
CryptoMiniSat TechDemo-Alpha-mt (complete)3260481SAT 0.12998 0.04599
SAT4J core 2.3.0 SNAPSHOT 2011-02-06 (complete)3260500SAT 0.263959 0.185458
jMiniSat 2011 (complete)3279843SAT 0.269958 0.206948
Sol 2011-04-04 (complete)3260497SAT 0.298953 0.300372
riss 1.0 (complete)3260487SAT 1.64675 1.64766
riss Auto (complete)3260489SAT 1.64975 1.65613
priss UP (complete)3260490SAT 1.69374 1.66815
riss Exp (complete)3260488SAT 1.77773 1.77889
riss Auto (1200 s timeout) (complete)3472877SAT 1.79173 1.79537
Satisfiability Solver Selector 2011-03-18 (1200 s timeout) (complete)3449646SAT 2.79157 2.81758
Satisfiability Solver Selector 2011-03-18 (complete)3260503SAT 2.89456 2.92063
STRUCTure 0.1 (complete)3312990SAT 3.12052 1.05445
STRUCTure 0.1 (hbr=2) (complete)3311790SAT 3.87041 1.27744
priss Auto (complete)3260491SAT 6.63399 1.72595
priss 1.0 (complete)3260492SAT 6.86596 1.73951
tts 5-4 (complete)3260505? (TO) 1300.11 1300.08
ttsth 5-4 (complete)3260506? (TO) 4800.16 1206.72
SApperloT2010 2011-03-04 [DEPRECATED] (complete)3260507No Cert. 0.004999 0.0062459

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