DFBenchmark: better verbose mode