Benchmarks for Sat Algorithms