Updated verification log with more information on failing benchmarks.