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 Pro
For details see: Johannes K. Fichte, Markus Hecher, Stefan Szeider: Breaking Symmetries with RootClique and LexTopSort, Proceedings of the 26th International Conference on Principles and Practice of C
Benchmarks used for the paper 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 C
The zip file contains all 1470 CNFs used for experimental evaluation. The CNFs are in completion + copy format. The CNFs can be used as SharpASP input file without any processing.
