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

Result page for benchmark
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/
mod2c-rand3bip-sat-220-3.shuffled-as.sat05-2490.cnf

Jump to solvers results

General information on the benchmark

NameSAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/
mod2c-rand3bip-sat-220-3.shuffled-as.sat05-2490.cnf
MD5SUM8e6def53b47a48972a9a9fc80e087610
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark70.2133
Satisfiable
(Un)Satisfiability was proved
Number of variables311
Number of clauses2192
Sum of the clauses size9664
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 41352
Number of clauses of size 5784
Number of clauses of size over 556

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
glucose 2 (complete)3264904SAT 70.2133 70.2283
priss Auto (complete)3264891SAT 89.5494 22.4278
RestartSAT B95 (complete)3264877SAT 91.964 91.9617
MPhaseSAT64 2011-03-03 [DEPRECATED] (complete)3264867SAT 102.605 102.616
priss UP (complete)3264890SAT 107.472 57.9937
claspmt 2.0-R4095 [DEPRECATED] (complete)3299541SAT 123.848 31.0121
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3366862SAT 145.923 36.558
CryptoMiniSat Strange-Night-2-mt [DEPRECATED] (complete)3264883SAT 146.073 36.7314
CryptoMiniSat Strange-Night-1-st [DEPRECATED] (complete)3264886SAT 164.798 164.793
CryptoMiniSat Strange-Night-1-st (fixed) (complete)3370462SAT 165.464 165.465
QuteRSat 2011-03-01 [DEPRECATED] (complete)3264896SAT 175.846 175.851
CryptoMiniSat Strange-Night-1-mt [DEPRECATED] (complete)3264885SAT 192.547 48.2101
QuteRSat 2011-05-12 (fixed) (complete)3376762SAT 192.726 192.725
SAT07 reference solver: minisat SAT 2007 (complete)3274718SAT 279.642 279.649
SAT09 reference solver: SATzilla2009_C 2009-03-22 (complete)3274717SAT 328.153 328.15
clasp 2.0-R4092-crafted (complete)3300441SAT 395.002 394.987
riss Exp (complete)3264888SAT 429.626 429.629
CryptoMiniSat Strange-Night-1-mt (fixed) (complete)3369262SAT 597.945 149.831
synit_sat 2011-03-03 (complete)3264873SAT 619.16 619.157
CryptoMiniSat Strange-Night2-st [DEPRECATED] (complete)3264884SAT 659.437 659.417
CryptoMiniSat Strange-Night2-st (fixed) (complete)3368062SAT 660.32 660.297
Plingeling 587f (fixed) (complete)3371062SAT 686.57 172.278
Plingeling 587 [DEPRECATED] (complete)3264894SAT 702.883 176.657
Satisfiability Solver Selector 2011-03-18 (1200 s timeout) (complete)3449821SAT 707.658 707.694
claspmt 2.0-R4095-patched (fixed) (complete)3373162SAT 714.635 179.166
RestartSAT A75 (complete)3264878SAT 796.267 796.244
SApperloT 2011-03-23 (complete)3264909SAT 885.723 885.695
riss Auto (1200 s timeout) (complete)3473052SAT 886.291 886.251
SAT09 reference solver: clasp 1.2.0-SAT09-32 (complete)3274716SAT 940.071 940.044
Satisfiability Solver Selector 2011-03-18 (complete)3264903SAT 1090.54 1090.61
ppfolio seq (complete)3264902SAT 1188.61 1188.7
CryptoMiniSat TechDemo-Alpha-mt (complete)3264881SAT 1401.47 380.815
ppfolio par (complete)3264901SAT 1588.47 397.652
Black Hole SAT 2011-03-08 (complete)3264880? (TO) 1299.58 1300.01
sattime+ 2011-03-02 (incomplete)3264876? (TO) 1299.99 1300.01
CryptoMiniSat TechDemo-Alpha-st (complete)3264882? (TO) 1299.99 1300.01
rcl 2011-04-01 (complete)3264898? (TO) 1300 1300.01
riss Auto (complete)3264889? (TO) 1300.03 1300.02
PicoSAT 941 (complete)3264893? (TO) 1300.03 1300.01
shortsattime+ 2011-03-02 (incomplete)3264875? (TO) 1300.04 1300.01
sattime2011 2011-03-02 (incomplete)3264870? (TO) 1300.04 1300.01
MPhaseSAT_M 2011-02-16 (complete)3264868? (TO) 1300.04 1300.01
sathys 2011-04-01 (complete)3264899? (TO) 1300.04 1300.02
Lingeling 587 [DEPRECATED] (complete)3264895? (TO) 1300.05 1300.02
riss 1.0 (complete)3264887? (TO) 1300.05 1300.01
UmSat 2011-02-25 [DEPRECATED] (complete)3264879? (TO) 1300.05 1300.01
adaptg2wsat2011 2011-03-02 (incomplete)3264874? (TO) 1300.05 1300.01
MPhaseSAT 2011-02-15 (complete)3264866? (TO) 1300.05 1300.01
shortsattime2011 2011-03-02 (incomplete)3264872? (TO) 1300.05 1300.01
Lingeling 587f (fixed) (complete)3371662? (TO) 1300.05 1300.02
UmSat 2011-05-12 (fixed) (complete)3379162? (TO) 1300.05 1300.02
sattime 2011-03-02 (incomplete)3264871? (TO) 1300.06 1300.01
SApperloT2010 2011-03-04 [DEPRECATED] (complete)3264907? (TO) 1300.06 1300.03
MPhaseSAT64 2011-05-14 (fixed) (complete)3375562? (TO) 1300.06 1300.01
march_rw 2011-03-02 (complete)3264869? (TO) 1300.07 1300.03
SApperloT2010 2011-05-15 (fixed) (complete)3379762? (TO) 1300.07 1300.03
tts 5-4 (complete)3264905? (TO) 1300.25 1300.24
SAT4J core 2.3.0 SNAPSHOT 2011-02-06 (complete)3264900? (TO) 1300.57 1300.05
jMiniSat 2011 (complete)3279939? (TO) 1300.68 1300.02
Sol 2011-04-04 (complete)3264897? (TO) 1304.98 1300.03
SArTagnan 2011-05-15 (fixed) (complete)3386006? (TO) 3246.98 1300.05
priss 1.0 (complete)3264892? (TO) 4800.06 1201.72
STRUCTure 0.1 (hbr=2) (complete)3311886? (TO) 4800.22 1207.74
SArTagnan 2011-03-24 [DEPRECATED] (complete)3264908? (TO) 4800.22 1201.74
STRUCTure 0.1 (complete)3313086? (TO) 4800.27 1207.53
ttsth 5-4 (complete)3264906? (TO) 4800.33 1262.97

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 0