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:

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.