Evaluating CDCL Variable Scoring Schemes

Here we make the source code and the log files available for our SAT'15 paper:

Armin Biere, Andreas Fröhlich. Evaluating CDCL Variable Scoring Schemes. In Proc. 18th Intl. Conf. on Theory and Applications of Satisfiability Testing (SAT'15), Lecture Notes in Computer Science (LNCS) vol. 9340, 405-422, Springer 2015.
[ paper | bibtex ]

The data can be found in the following archive:

[ evalvsids.7z ]

The contents of this archive is as follows:

logs log files for Fig. 1 (top part of Table 'table.tex')
extralogs log files for Fig. 2 (bottom part of Table 'extratable.tex')
noconflicts log files for instances where 'evsids' has no conflicts
dist distribution plots for most of table data
lingeling-b7ztzu-7b29300-150429.tar.bz2 base line version ('evsids')
lingeling-b7ztzu-b7ztzud.patch heap only version ('heap')
lingeling-b7ztzu-b7ztzvv.patch queue only version ('queue')

Restrictions in using the included source code apply as listed in the COPYING file in the included tar ball of Lingeling.