Lingeling performances on the SAT competition benchmark

The lingeling.zip contains the results of a performance analysis of lingeling, a SAT solver, for 100 configurations and 351 SAT formulae of the SAT competition (see here http://www.satcompetition.org/ )
.

For each formula (e.g. g2-ACG-15-10p1.cnf), there is a corresponding file (e.g. g2-ACG-15-10p1.csv)  gathering the measurements for this formula. The experimental protocol is detailed in the related paper (to link).