Distributed SAT Competition 2002 Industrial Track Benchmarks

Dataset published at Zenodo repository.

These are the 183 CNF files in DIMACS format from the industrial track of the SAT competition 2002 which were distributed after the competition.

This page was built for dataset: Distributed SAT Competition 2002 Industrial Track Benchmarks