Benchmark: initialize the database correctly