2006年SAT竞赛

资格

注册解算师将有两轮资格赛，成功参与其中至少一项必须通过SAT-Race认证。

在每一轮中，我们检查以下要求：

符合I/O规范。解算器具有尊重输入/输出要求特别是，输出必须包含解决方案行（以“s”开头）在可满足实例的情况下，至少有一行值（以“v”开头）。还必须正确设置退出代码（10用于可满足，20表示不可满足，0表示未知）。
结果的正确性。不允许使用解算器产生错误的答案（例如，“可满足”表示不可满足例如，但它们当然可能会超时）。
足够的性能。解算器必须满足一些最低要求速度要求。我们将设定所需绩效水平第一次特别高资格赛以刺激解决者的进步。

不允许作弊（例如预计算结果）。我们会检查的所有参赛选手都将被取消参赛资格（组委会将决定））。

资格赛的死线是5月17日第一次一个，和6月16日对于第二个。

第一轮资格赛于5月17日及之后举行。每个求解器都必须处理所有50个第一个基准测试集.与SAT竞赛本身相比，运行时每个解算器和实例的限制设置为20分钟。能够解决至少40个实例的解算器是已经获得2006年SAT竞赛的参赛资格。这些解算器是：

第二次资格赛于6月16日及之后举行。每个求解器都必须处理所有50个第二个基准测试集.与SAT-Race本身相比，运行时每个解算器和实例的限制设置为20分钟。成功参与并获得资格的解决方案2006年SAT考试：

分数是用这个计分方案在“规则”页面中描述除了三个解算器之外，还有这13个解算程序在第一轮比赛中已经晋级，但没有参加第二，现在有资格参加2006年SAT-Race考试。