国际SAT竞赛网页
当前的竞争
过去的比赛、比赛和评估
|
黄金 | 银色 | 青铜色 |
|
主要轨道 |
地图_LCM_Dist_ChronoBT |
地图_LCM_Scavel |
地图_CM |
地图_LCM_Dist_ChronoBT |
地图_LCM_Scavel |
CryptoMiniSat 5.5 |
钙DiCaL |
地图_LCM_M1 |
地图_CM |
|
平行轨道 |
无痛的 |
弯曲 |
abcdSAT系统 |
弯曲 |
无痛的 |
CryptoMiniSat 5.5 |
无痛的 |
弯曲 |
abcdSAT系统 |
|
无限制轨道 |
|
理由LS |
地图_CM |
CryptoMiniSat 5.5 V20 |
|
葡萄糖黑客追踪 |
|
GHackCOMSPS公司 |
inID-葡萄糖 |
glu混合 |
|
随机曲目 |
|
Sparrow2释放 |
gluHack公司 |
葡萄糖-3.0_PADC_10 |
| 黄金 | 银色 | 青铜色 | 黄金 | 银色 | 青铜色 | 黄金 | 银色 | 青铜色 |
| 敏捷跟踪 | 主要轨道 | 随机曲目 |
CaDiCaL敏捷,CaDiCaLNoProof |
谷氨酸_VC |
葡萄糖4.1 |
Maple LCM区,枫叶LCM,MapleLRB LCMOcc重启,MapleLRB LCM公司 |
MapleCOMSPS LRB VSIDS 2,MapleCOMSPS LRB VSIDS |
COMiniSATPS脉冲星 |
YalSAT卫星 |
tch葡萄糖3 |
得分2SAT |
| 平行轨道 | 无限制轨道 | 增量库轨迹 |
糖浆24、糖浆48 |
弯曲 |
无痛MapleCOMSPS |
COMiniSATPS脉冲星 |
MapleCOMPSP LRB VSIDS 2,MapleCOMSPS LRB VSID |
CaDiCaL无证据 |
AbcdSAT公司 |
葡萄糖 |
上升 |
| 黄金 | 银色 | 青铜色 | 黄金 | 银色 | 青铜色 | 黄金 | 银色 | 青铜色 |
| 敏捷跟踪 | 主要轨道 | 随机曲目 |
上升 |
TB_葡萄糖 |
CHBR_葡萄糖 |
MapleCOMSPS公司 |
上升 |
玲玲 |
迪米修斯 |
中信建投(CSCC)卫星 |
DCCAlm公司 |
| 平行轨道 | 无限制轨道 | 增量库轨迹 |
Treengeling公司 |
弯曲 |
加密MiniSat |
BreakIDCOMiniSatPS公司 |
玲玲 |
abcdSAT公司 |
加密MiniSat |
葡萄糖 |
上升 |
| 主轨道中的最佳应用基准解算器 | 主要领域中最精湛的基准测试解决方案 | 主赛道上的最佳血糖控制 |
MapleCOMSPS公司 |
|
TC葡萄糖 |
|
基尔 |
|
| 应用程序 | 硬组合 | 随机 |
| 黄金 | 银色 | 青铜色 | 黄金 | 银色 | 青铜色 | 黄金 | 银色 | 青铜色 |
| 核心解算器 |
玲玲 |
SWDiA5BY公司 |
Riss黑匣子 |
glueSplit_c扣 |
玲玲 |
SparrowToRiss公司 |
|
迷你们_blbd |
Riss黑匣子 |
SWDiA5BY公司 |
SparrowToRiss公司 |
CCAnr+葡萄糖 |
SGSeq公司 |
迪米修斯 |
平衡Z |
2014年中国建筑科学院 |
玲玲(鼓) |
葡萄糖 |
SWDiA5BY公司 |
Riss黑匣子 |
灵灵(德鲁伊教) |
葡萄糖 |
|
| 核心解算器,并行 |
弯曲 |
佩内洛佩 |
Treengeling公司 |
Treengeling公司 |
弯曲 |
pmcSAT 2.0 |
|
|
批准SAT |
弯曲 |
2014年中国建筑科学院 |
| Minisat黑客 |
迷你卫星_确认_999ED |
迷你们_blbd |
韩国海军 |
|
| 应用程序 | 硬组合 | 随机 |
| 黄金 | 银色 | 青铜色 | 黄金 | 银色 | 青铜色 | 黄金 | 银色 | 青铜色 |
| 核心解算器 |
玲玲aqw |
玲玲587f |
ZENN 0.1.0号 |
BreakID葡萄糖1 |
gluebit_clasp 1.0 |
葡萄糖2.3 |
CSHCrandMC公司 |
MIPSat随机饱和(_U) |
march_vflip 1.0版 |
玲玲aqw |
ZENN 0.1.0号 |
satUZK 48号 |
葡萄糖2.3 |
gluebit_clasp 1.0 |
BreakID葡萄糖1 |
问题SAT SC13 |
2013年周六 |
Ncca+V 1.0 |
葡萄糖2.3(认证未饱和) |
glueminisat-cert-不饱和2.2.7j |
Riss3g证书 |
Riss3g证书 |
葡萄糖2.3(认证未饱和) |
用于drup-nocachestamp |
|
| 核心解算器,并行 |
弯曲aqw |
挑战aqw |
佩内洛佩2013 |
挑战aqw |
弯曲aqw |
pmcSAT 1.0 |
|
| Minisat黑客 |
SINN最小1.0.0 |
minisat_比特1.0 |
迷你高尔夫预取 |
|
| 开放轨道(多解算器源,混合基准) |
CSHC第8部分 |
MIPSat公司 |
葡萄糖红+3月r531 |
目的
比赛的目的是确定新的挑战基准并推广新的解算器命题可满足性问题(SAT)并将其与最先进的求解器进行比较。我们强烈鼓励人们思考关于其领域内基于SAT的技术(规划、硬件或软件验证等),以提交用于竞赛的基准。比赛的结果将是当前形势的一个良好指标这种方法的可行性。比赛将完全自动化使用SAT-Ex公司系统。
信用
这归功于汉斯·范·马伦和约翰·弗兰科,他们为第一次SAT比赛的成功做出了巨大贡献。
[SAT-Ex公司][SATLIB公司][SAT直播!]
印记 隐私