adding aiger benchmarks