These bases are taken from the DIMACS benchmark which can be downloaded from ftp://dimacs.rutgers.edu/pub/challenge/satisfiability/benchmarks/cnf/