2014年可配置SAT解决方案挑战赛（CSSC）

基准

工业轨道

基准	培训-测试-拆分	参考	DL公司
有界模型检查（BMC）	684/302	通过展开HWMCC 2008年电路	11 GB*
电路模糊	299/302	发电机	82MB
IBM-硬件验证	381/302	IBM正式验证基准库	1.7 GB*

手工跑道

基准	培训-测试-拆分	参考	DL公司
图同构（GI）	1032/351	2013年SAT挑战赛程序	12 GB
低自相关二进制序列	350/351	2013年SAT挑战赛程序	1.4 GB
皇后区	484/351	由Norbert Manthey和Peter Steinke生成	1.8 GB

随机SAT+UNSAT航迹

基准	培训-测试-拆分	参考	DL公司
3立方英尺	500/250	由Sam Bayless生成	7.7MB
K3公司	300/250	不适用	1.66亿
统一-k5	300/250	2012年SAT挑战赛,发电机	350毫米

随机SAT曲目

基准	培训-测试-拆分	参考	DL公司
3卫星1k	250/250	杰克队长	13 MB
5个卫星500	250/250	杰克队长	44MB
7座90	250/250	杰克队长	35MB

（*）BMC和IBM套件的许可证未知；因此，这些套件仅在请求时可用。