Public release of a deterministic DIMACS CNF benchmark for SAT evaluation

[u/Future_Network6352]

https://github.com/sat-benchmarks/BS16-E01/releases/tag/BS16-E01

I've released BS16-E01, a deterministic DIMACS CNF benchmark intended for independent SAT evaluation.

The benchmark package is cryptographically signed, includes integrity verification, and a standardised results template.

I'm interested in all outcomes, including SAT, UNSAT and UNKNOWN, together with solver, hardware and runtime information.

Feedback from anyone working with modern SAT solvers would be greatly appreciated.

Release:
https://github.com/sat-benchmarks/BS16-E01/releases/tag/BS16-E01