diff --git a/include/time_metrics.h b/include/time_metrics.h
index 7d13e5a..4f3e252 100644
--- a/include/time_metrics.h
+++ b/include/time_metrics.h
@@ -76,7 +76,8 @@ class TimeMetricsProcessor {
       if(unavailableTimings.count(name) == 0) {
         std::vector<double> resultsSeconds;
         auto timesBegin = timingResults.at(name).begin();
-        if (args.warmup_run) {
+        // If verification is enabled and fails, only the warmup run is executed.
+        if (timingResults.size() > 1 && args.warmup_run) {
           ++timesBegin;
         }
         std::transform(timesBegin, timingResults.at(name).end(), std::back_inserter(resultsSeconds),