This is the source code and the log files for our paper evaluating
CDCL variable scoring schemes as submitted to SAT'15.  Your are only
allowed to use this material to review the paper at this point.  If the
paper is accepted, this material will be made publically available.
Additional restrictions apply to the included source code as listed in
the COPYING file in the included tar ball of Lingeling.

  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')

Armin Biere, Johannes Kepler University, Linz, May 2015
