Analyzed Benchmarks on Experiments for a SAT Time Leap Challenge

For details see: 

Johannes K. Fichte, Markus Hecher, Stefan Szeider: A Time Leap Challenge for SAT-Solving, Proceedings of the 26th International Conference on Principles and Practice of Constraint Programming (CP'2020).

We include the sources from various authors.

zchaff is available at:  https://www.princeton.edu/~chaff/ zchaff.html

For the benchmark set, we refer to https://www.cs.uni-potsdam.de/wv/projects/sets/set-industrial-09-12.tar.xz or https://www.cs.uni-potsdam.de/wv/projects/sets. The instances are also available on Zenodo at: https://doi.org/10.5281/zenodo.3989071