Analyzed Benchmarks on Experiments for a Complications for Computational Experiments from Modern Processors

For details see: Johannes K. Fichte, Markus Hecher, Ciaran McCreesh, Anas Shahab: Complications for Computational Experiments from Modern Processors, Proceedings of the 27th International Conference on Principles and Practice of Constraint Programming (CP'2021). 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 The tested solver is available at: https://github.com/arminbiere/cadical