2017年SAT竞赛
隶属于 第20届满意度测试理论与应用国际会议
8月28日至9月1日在澳大利亚墨尔本举行。
新闻
BYOB-自带 啤酒 基准:每个主赛道参赛者(团队)需要提交20个新的基准实例(在以前的比赛中没有看到)。 这些基准中至少有10个应该是“有趣的”:不太容易(MiniSat可以在一分钟内解决)或太难(参与者自己的求解器在一小时内无法解决 类似于 StarExec集群的节点 ). 请参见 基准测试页面 了解更多信息。 求解器将使用PAR-2方案进行排名:求解器的得分定义为已求解实例的所有运行时之和+未求解实例的2*超时,得分最低者获胜。 增量轨迹的IPASIR界面已更新,请单击 在这里 了解详细信息。
目标
曲目
主赛道(获得葡萄糖黑客奖) 平行轨道 增量库轨迹 敏捷轨道 随机可满足航迹 无限制轨道