HWMCC’13
隶属于FMCAD’13, 俄勒冈州波特兰，美国，2013年10月20日至23日。
以前的版本HWMCC’12,HWMCC’11,硬件控制中心10,HWMCC’08年、和2007年HWMCC.
这是硬件模型检查器的第六次比赛。
结果于2013年10月22日星期二提交，在FMCAD’13.
深边界轨迹500美元奖金由赞助Oski技术Niklas Sörensson和Koen Claessen授予TIP。
请参阅幻灯片演示文稿的有关结果的概述。
以下是包含更多详细信息的电子表格：
[ hwmcc13-单结果-表-实例.csv ]
[ hwmcc13-单结果-表-per-solver.csv ]
[ hwmcc13-live-results-table-per-instance.csv ]
[ hwmcc13-live-results-table-per-solver.csv ]
[ hwmcc13-multi-results-table-per-solver-and-property.csv软件 ]
[ hwmcc13-multi-results-table-per-solver-and-benchmark.csv ]
[ hwmcc13-multi-results-table-per-solver-and-benchmark.xls ]
日志文件也可用，但在解压缩过程中会在空间中爆炸：
[ hwmcc13-单日志.7z]（压缩5 MB，未压缩298MB）
[ hwmcc13-live-logs.7z]（已压缩2 MB，未压缩80 MB）
[ hwmcc13-multi-logs.7z]（57 MB已压缩，19 GB=18883 MB未压缩）
对于深度界限轨迹，我们有以下表格：
[ hwmcc13-bounds-unsolved-table.csv ]
[ hwmcc13-bounds-unsolved-table-with-score.xls（带边框的非解析表.xls） ]
一套基准在中使用HWMCC’13可用作为存档hwmcc13aigs.7z公司（74 MB已压缩，373 MB未压缩）。它由于许可证原因，单曲中缺少24个英特尔基准测试限制。必须获得这些分别地.
比赛是在同一场比赛中进行的和去年一样，只是我们继续努力获得更多我们的单词级模型BTOR格式，以便将来添加单词级曲目。
- 意图应提交9月13日, 2013.
- 任何时候都可以接受新的基准（即使在比赛结束后）。
- 对于提交或任何其他请求，请发送电子邮件至biere@jku.at.
- 最终版本模型检查器的到期日为9月20日, 2013.
有关更多信息，另请参阅我们的谷歌群组或者网页属于HWMCC’12.
组织
HWMCC’13由阿明·比尔,凯霍·赫尔扬科,马蒂娜·塞德尔、和Siert Wieringa公司.
|
