From cbcab5fe62c7baa3de95b718e228abf5338d4ef1 Mon Sep 17 00:00:00 2001
From: Joerg Martin <joerg.martin@ptb.de>
Date: Fri, 4 Feb 2022 15:14:34 +0000
Subject: [PATCH] create_tabular fewer metrics

---
 Experiments/create_tabular.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Experiments/create_tabular.py b/Experiments/create_tabular.py
index cc15d7c..a83dcb9 100644
--- a/Experiments/create_tabular.py
+++ b/Experiments/create_tabular.py
@@ -2,7 +2,7 @@ import os
 import glob
 import json
 
-metrics_to_display = ['rmse','logdens','coverage_numerical','true_coverage_numerical']
+metrics_to_display = ['rmse','true_coverage_numerical', 'total_coverage']
 show_incomplete = True
 
 list_of_result_files = glob.glob(os.path.join('results','*.json'))
-- 
GitLab