新闻

7月17日	2013年SAT竞赛记录
7月15日	结果已发布。
7月15日	EDACC的详细结果可用。
7月14日	2013年SAT的成果展示
7月2日	EDACC验证程序已更新。
7月2日	SC13基准选择可供下载。

关于2013年SAT竞赛

2013年SAT竞赛是布尔可满足性（SAT）问题求解者的竞争事件。它是作为第十六届可满足性测试理论和应用国际会议（SAT 2013）的卫星活动组织的延续了2002年至2005年每年举行一次、2007年起每两年举行一次的SAT竞赛的传统，2006年、2008年和2010年举行的SAT竞赛，以及2012年的SAT挑战赛。

2013年SAT竞赛的重点是评估核心解决者。此外，今年新的UNSAT竞赛轨道将需要认证。