Benchmarks for testing the tool Archer