From e402f19cdb4c169d88f0b416b516672934ed4699 Mon Sep 17 00:00:00 2001
From: Patrick Brosi <brosi@informatik.uni-freiburg.de>
Date: Sat, 22 Jan 2022 13:36:37 +0100
Subject: [PATCH] output an5

---
 src/shapevl/Collector.cpp | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/src/shapevl/Collector.cpp b/src/shapevl/Collector.cpp
index 97603b9..d8f8c28 100644
--- a/src/shapevl/Collector.cpp
+++ b/src/shapevl/Collector.cpp
@@ -286,6 +286,10 @@ void Collector::printShortStats(std::ostream* os) const {
               static_cast<double>(_results.size())) *
                  100
           << ",";
+    (*os) << (static_cast<double>(_an5) /
+              static_cast<double>(_results.size())) *
+                 100
+          << ",";
     (*os) << (static_cast<double>(_an10) /
               static_cast<double>(_results.size())) *
                  100
@@ -339,6 +343,12 @@ void Collector::printStats(std::ostream* os) const {
                  100
           << " %"
           << "\n";
+    (*os) << "  an-5: "
+          << (static_cast<double>(_an5) /
+              static_cast<double>(_results.size())) *
+                 100
+          << " %"
+          << "\n";
     (*os) << "  an-10: "
           << (static_cast<double>(_an10) /
               static_cast<double>(_results.size())) *
@@ -413,6 +423,8 @@ std::map<string, double> Collector::getStats() {
   }
   stats["an-0"] =
       (static_cast<double>(_an0) / static_cast<double>(_results.size())) * 100;
+  stats["an-5"] =
+      (static_cast<double>(_an5) / static_cast<double>(_results.size())) * 100;
   stats["an-10"] =
       (static_cast<double>(_an10) / static_cast<double>(_results.size())) * 100;
   stats["an-20"] =