Deep Bound Hardware Model Checking Instances , Quadratic Propagations Benchmarks and Reencoded Factorization Problems Submitted to the SAT Competition 2017
An Extensible SAT-solver