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

Result page for benchmark
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/
mod2c-rand3bip-sat-250-2.shuffled-as.sat05-2534.cnf

Jump to solvers results

General information on the benchmark

NameSAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/
mod2c-rand3bip-sat-250-2.shuffled-as.sat05-2534.cnf
MD5SUM9a6126d13f733e360922c2ae93b7b6b9
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark173.141
Satisfiable
(Un)Satisfiability was proved
Number of variables354
Number of clauses2596
Sum of the clauses size11752
Maximum clause length6
Minimum clause length4
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 41592
Number of clauses of size 5640
Number of clauses of size over 5364

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
synit_sat 2011-03-03 (complete)3264785SAT 44.5152 44.5153
clasp 2.0-R4092-crafted (complete)3300382SAT 173.141 173.146
CryptoMiniSat TechDemo-Alpha-st (complete)3264794SAT 243.53 243.536
CryptoMiniSat Strange-Night-2-mt [DEPRECATED] (complete)3264795SAT 326.895 81.8347
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3366803SAT 327.015 81.9958
CryptoMiniSat Strange-Night-1-st [DEPRECATED] (complete)3264798SAT 562.356 562.339
CryptoMiniSat Strange-Night-1-st (fixed) (complete)3370403SAT 621.712 621.705
riss Exp (complete)3264800SAT 651.911 651.895
CryptoMiniSat Strange-Night2-st [DEPRECATED] (complete)3264796SAT 729.815 729.797
CryptoMiniSat Strange-Night2-st (fixed) (complete)3368003SAT 743.559 743.542
Satisfiability Solver Selector 2011-03-18 (1200 s timeout) (complete)3449819SAT 783.73 783.789
CryptoMiniSat Strange-Night-1-mt [DEPRECATED] (complete)3264797SAT 876.215 219.444
CryptoMiniSat Strange-Night-1-mt (fixed) (complete)3369203SAT 885.682 222.048
priss Auto (complete)3264803SAT 967.48 242.223
RestartSAT B95 (complete)3264789SAT 1010.26 1010.24
MPhaseSAT64 2011-05-14 (fixed) (complete)3375503SAT 1019.51 1019.48
Satisfiability Solver Selector 2011-03-18 (complete)3264815SAT 1104.43 1104.59
claspmt 2.0-R4095-patched (fixed) (complete)3373103SAT 1104.45 276.957
QuteRSat 2011-05-12 (fixed) (complete)3376703SAT 1184.74 1184.71
SAT07 reference solver: minisat SAT 2007 (complete)3274712SAT 1208.61 1208.58
claspmt 2.0-R4095 [DEPRECATED] (complete)3299482SAT 1493.73 373.873
priss 1.0 (complete)3264804SAT 3194.55 799.751
Plingeling 587f (fixed) (complete)3371003SAT 3639.85 914.094
Plingeling 587 [DEPRECATED] (complete)3264806SAT 3699.69 926.362
ppfolio par (complete)3264813SAT 4090.94 1023.94
riss Auto (1200 s timeout) (complete)3473050? (TO) 1200.11 1200.05
ppfolio seq (complete)3264814? (TO) 1299.34 1300.01
tts 5-4 (complete)3264817? (TO) 1299.88 1300.11
glucose 2 (complete)3264816? (TO) 1299.98 1300.01
riss 1.0 (complete)3264799? (TO) 1299.98 1300.02
shortsattime2011 2011-03-02 (incomplete)3264784? (TO) 1300.01 1300.01
Black Hole SAT 2011-03-08 (complete)3264792? (TO) 1300.02 1300.01
PicoSAT 941 (complete)3264805? (TO) 1300.03 1300.01
SAT09 reference solver: clasp 1.2.0-SAT09-32 (complete)3274710? (TO) 1300.04 1300.01
sathys 2011-04-01 (complete)3264811? (TO) 1300.04 1300.01
sattime 2011-03-02 (incomplete)3264783? (TO) 1300.04 1300.01
adaptg2wsat2011 2011-03-02 (incomplete)3264786? (TO) 1300.04 1300.01
UmSat 2011-02-25 [DEPRECATED] (complete)3264791? (TO) 1300.04 1300.01
MPhaseSAT_M 2011-02-16 (complete)3264780? (TO) 1300.04 1300.01
SAT09 reference solver: SATzilla2009_C 2009-03-22 (complete)3274711? (TO) 1300.04 1300.01
sattime+ 2011-03-02 (incomplete)3264788? (TO) 1300.05 1300.01
shortsattime+ 2011-03-02 (incomplete)3264787? (TO) 1300.05 1300.01
UmSat 2011-05-12 (fixed) (complete)3379103? (TO) 1300.05 1300.02
Lingeling 587f (fixed) (complete)3371603? (TO) 1300.05 1300.02
SApperloT 2011-03-23 (complete)3264821? (TO) 1300.05 1300.01
riss Auto (complete)3264801? (TO) 1300.05 1300.01
RestartSAT A75 (complete)3264790? (TO) 1300.05 1300.01
sattime2011 2011-03-02 (incomplete)3264782? (TO) 1300.05 1300.01
MPhaseSAT64 2011-03-03 [DEPRECATED] (complete)3264779? (TO) 1300.05 1300.01
MPhaseSAT 2011-02-15 (complete)3264778? (TO) 1300.05 1300.01
rcl 2011-04-01 (complete)3264810? (TO) 1300.06 1300.01
Lingeling 587 [DEPRECATED] (complete)3264807? (TO) 1300.06 1300.02
QuteRSat 2011-03-01 [DEPRECATED] (complete)3264808? (TO) 1300.06 1300.02
SApperloT2010 2011-03-04 [DEPRECATED] (complete)3264819? (TO) 1300.07 1300.04
SApperloT2010 2011-05-15 (fixed) (complete)3379703? (TO) 1300.08 1300.04
march_rw 2011-03-02 (complete)3264781? (TO) 1300.08 1300.03
jMiniSat 2011 (complete)3279880? (TO) 1300.63 1300.02
SAT4J core 2.3.0 SNAPSHOT 2011-02-06 (complete)3264812? (TO) 1301.01 1300.04
Sol 2011-04-04 (complete)3264809? (TO) 1304.57 1300.03
priss UP (complete)3264802? (TO) 2441.01 1300.02
SArTagnan 2011-05-15 (fixed) (complete)3385947? (TO) 3073.67 1300.05
ttsth 5-4 (complete)3264818? (TO) 4800.2 1211.61
SArTagnan 2011-03-24 [DEPRECATED] (complete)3264820? (TO) 4800.29 1201.75
CryptoMiniSat TechDemo-Alpha-mt (complete)3264793? (TO) 4800.29 1201.72
STRUCTure 0.1 (complete)3313027? (TO) 4800.31 1207.43
STRUCTure 0.1 (hbr=2) (complete)3311827? (TO) 4800.37 1207.44

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 0