SAT Competition 2016 Application Track Benchmarks

<p>These are the 299 CNF files in DIMACS format from the application track of the SAT competition 2016.</p> <p>Originally the competition advocated 300 benchmarks but <code>sncf_model_ixl_bmc_depth_14.cnf</code> was truncated (terminating zero and many clauses were missing).&nbsp; Thus only 299 valid DIMACS benchmarks were actually made available.&nbsp; This broken benchmark is from a family of SNCF BMC encodins for the bounds 7 to 15.&nbsp; In 2016 no solver solved any of these bounds nor were the bounds 9, 10, 15 solved in the following anniversary track from the SAT competition 2022 by any solver.</p>