These are the 299 CNF files in DIMACS format from the application track of the SAT competition 2016. Originally the competition advocated 300 benchmarks but sncf_model_ixl_bmc_depth_14.cnf was truncated (terminating zero and many clauses were missing). Thus only 299 valid DIMACS benchmarks were actually made available. This broken benchmark is from a family of SNCF BMC encodins for the bounds 7 to 15. 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.