下载

文本文档

• 公告/邀请参与(PDF格式)

基准实例示例

• 第一个基准测试集（50个实例）：卫星轨道_TS_1.tgz（230 MB）
• 第二个基准测试集（50个实例）：卫星轨道_TS_2.tgz（293 MB）
• 我们还可以用于SAT-Race 2006可下载来自IBM正式验证第页（需要许可协议）。

SAT-轨道资源

• SAT-Race基准集（100个实例）：SAT-轨道-基准.tgz（488 MB）
• 在SAT’06会议上展示SAT成绩(PDF格式).