Budddy/BenchmarksGPUSAT

Benchmarks

The used Benchmark sets are form the following Sources:

http://www.cs.ubc.ca/~hoos/SATLIB/benchm.html

http://www.satcompetition.org/

http://www.cs.rochester.edu/u/kautz/Cachet/Model_Counting_Benchmarks/index.htm

http://reasoning.cs.ucla.edu/c2d/results.html

The Directory BenchmarkSelection contains the final selection of Benchmarks. The Directory BenchmarkSets contains all Bechmarks.