2015年SAT等级
结果
卫星会议演示幻灯片.
增量轨迹
增量跟踪的详细结果和日志：incr.zip公司.
获奖者：
- 一等奖-CryptoMinisat
- 一等奖-COMiniSatPS
- 三等奖-葡萄糖
每个基准的单独排名：
| 要素 | HWMC公司 | 文件夹 | P最大周六 |
|---|
| 排名 | 解算器 | #秒 | 解算器 | #秒 | 解算器 | #秒 | 解算器 | #秒 |
|---|
| 1 | 葡萄糖 | 48 | 加密迷你卫星 | 1454 | COMiniSatPS接地 | 12 | CryptoMiniSat-自动 | 271 |
| 2 | 加密MiniSat | 48 | CryptoMiniSat-自动 | 1452 | 萨图斯克 | 5 | 加密MiniSat | 266 |
| 三 | CryptoMiniSat-自动 | 47 | COMiniSatPS-太阳 | 1434 | picosat961型 | 5 | 葡萄糖 | 259 |
| 4 | COMiniSatPS-太阳 | 45 | 葡萄糖 | 1407 | COMiniSatPS-太阳 | 5 | COMiniSatPS-太阳 | 250 |
| 5 | COMiniSatPS地球 | 45 | COMiniSatPS地球 | 1406 | 里斯505 | 4 | 里斯504 | 244 |
| 6 | 里斯505 | 44 | 里斯505 | 1372 | 里斯504 | 2 | COMiniSatPS地球 | 244 |
| 7 | 里斯504 | 44 | 里斯504 | 1370 | 葡萄糖 | 1 | 里斯505 | 234 |
| 8 | picosat961型 | 44 | picosat961型 | 1285 | CryptoMiniSat-自动 | 0 | 萨图斯克 | 204 |
| 9 | 萨图斯克 | 43 | 萨图斯克 | 842 | 加密MiniSat | 0 | picosat961型 | 165 |
平行轨道
平行轨道的详细结果和日志：段落zip
| 葡萄糖更新 | 78 |
| 树梢 | 73 |
| 柱基 | 73 |
| 立方坡 | 66 |
| 葡萄糖缺乏 | 62 |
| 萨图斯克 | 38 |
| 多氯联苯 | 37 |
| 普卡索 | 37 |
| CryptoMiniSat-自动调谐 | 32 |
| 副胶萎缩 | 29 |
| 加密MiniSat | 29 |
主要轨道
求解器和基准的详细运行时：main.zip（主.zip），由SAT和UNSAT实例分隔：res-sat-unsat.zip文件.
| 解算器 | R1级 | R2级 | R3级 | R4级 | R5级 | 平均。 |
| abcdSAT，默认 | 261 | 261 | 261 | 261 | 261 | 261 |
| minimat_BCD，默认 | 256 | 256 | 256 | 257 | 257 | 256.4 |
| riss_505，黑匣子 | 248 | 248 | 249 | 252 | 250 | 249.4 |
| COMiniSatPS_次矮星、次矮星 | 247 | 247 | 246 | 247 | 247 | 246.8 |
| COMiniSatPS_Main_Sequence，主序列 | 246 | 247 | 246 | 247 | 246 | 246.4 |
| 玲玲_sr15baq，玲玲-sr15baq | 244 | 245 | 245 | 244 | 245 | 244.6 |
| GlueMiniSat_2.2.10，默认值 | 244 | 244 | 243 | 244 | 244 | 243.8 |
| CryptoMiniSat-自动调谐，默认 | 242 | 243 | 242 | 242 | 241 | 242 |
| Lingeling_sr15bal、Lingeling-sr15bal | 242 | 242 | 241 | 241 | 241 | 241.4 |
| BreakIDGlucose2，默认 | 241 | 241 | 240 | 241 | 241 | 240.8 |
| GlueMiniSat_2.2.10-5，默认 | 239 | 241 | 240 | 240 | 243 | 240.6 |
| ADS-葡萄糖适配器，默认 | 239 | 240 | 241 | 241 | 241 | 240.4 |
| riss_505，默认 | 237 | 238 | 237 | 239 | 239 | 238 |
| CryptoMiniSat，默认 | 237 | 238 | 238 | 237 | 237 | 237.4 |
| Glucose_nbSatRsltn，默认 | 235 | 236 | 236 | 235 | 236 | 235.6 |
| 葡萄糖社区开关，默认 | 235 | 234 | 235 | 235 | 236 | 235 |
| glueminisat-Actmini，默认 | 234 | 235 | 235 | 235 | 236 | 235 |
| or-tools，script.sh | 234 | 234 | 234 | 234 | 234 | 234 |
| CCAGlouse2015，默认.sh | 232 | 232 | 232 | 232 | 232 | 232 |
| multi-at-g2_0，默认 | 232 | 232 | 232 | 232 | 232 | 232 |
| 葡萄糖默认，默认 | 231 | 232 | 231 | 233 | 232 | 231.8 |
| Glucose_nbSat，默认 | 231 | 232 | 232 | 232 | 232 | 231.8 |
| multi-at-g2_2，默认 | 229 | 230 | 229 | 230 | 231 | 229.8 |
| Nigma-1.2.86，默认 | 229 | 229 | 228 | 227 | 227 | 228 |
| Nigma-1.2.87，默认 | 226 | 227 | 227 | 226 | 227 | 226.6 |
| dccaSatToRiss，默认值 | 215 | 214 | 214 | 215 | 215 | 214.6 |
| satUZK序列，默认 | 165 | 166 | 166 | 166 | 166 | 165.8 |
| ratselfax_cnf_215_最终，ratselfax _cnf_最终 | 83 | 85 | 84 | 82 | 82 | 83.2 |
