Updated verification log with more information about failing benchmarks.