数据路径基准

收集一些用于数据路径验证的基准，主要是由算术斜接组成，提交给坐2016年竞赛.

[数据路径-09 2016年4月7日z（500MB）|数据路径-09 2016年4月-readmes.zip（8KB）]

另请参阅以下基准描述。

阿明·比尔。提交给SAT的组合算术斜接集2016年竞赛.英寸SAT竞赛程序2016年-解决方案和基准描述，TomášBalyo，Marijn Heule，Matti Järvisalo（编辑），第B-2016-1卷计算机科学系系列出版物B，共页65-66，赫尔辛基大学，2016年。
[纸张|围巾|数据]