CDCL可变评分方案评估
在这里，我们可以使用源代码和日志文件SAT’15论文：
Armin Biere，Andreas Fröhlich。评价CDCL可变评分方案.进行中。第18国际协调。可满足性的理论与应用测试（SAT’15），计算机课堂笔记科学（LNCS）第9340卷，405-422页，斯普林格出版社，2015年。
[纸张|围巾]
数据可以在以下存档中找到：
[evalvsids.7z评估]
该档案的内容如下：
| 日志 |
图1的日志文件（表“Table.tex”的顶部） |
| 临时日志 |
图2的日志文件（表的底部“extratable.tex”） |
| 无冲突 |
“evsids”没有冲突的实例的日志文件 |
| 距离 |
大多数表数据的分布图 |
| 玲玲-b7ztzu-7b29300-150429.tar.bz2 |
基线版本（“evsids”） |
| lingleing-b7ztzu-b7ztsud.patch |
仅堆版本（“heap”） |
| lingleing-b7ztzu-b7ztsvv.补丁 |
仅队列版本（“queue”） |
使用包含的源代码的限制如下所示在Lingeling附带的焦油球的COPYING文件中。
|
