SAT07竞赛

幻灯片

SAT2007演讲的幻灯片

详细结果

请选择您感兴趣的结果：

单个结果作为文本文件

这些文本文件包含每个实例上每个解算器的结果。