summaryrefslogtreecommitdiff
path: root/report/prune_results/2pass-hdt0
diff options
context:
space:
mode:
Diffstat (limited to 'report/prune_results/2pass-hdt0')
-rw-r--r--report/prune_results/2pass-hdt013
1 files changed, 0 insertions, 13 deletions
diff --git a/report/prune_results/2pass-hdt0 b/report/prune_results/2pass-hdt0
deleted file mode 100644
index cded1542..00000000
--- a/report/prune_results/2pass-hdt0
+++ /dev/null
@@ -1,13 +0,0 @@
-0.03 4.58
-0.05 6.68
-0.08 10.19
-0.12 13.87
-0.17 16.76
-0.25 19.52
-0.3 19.91
-0.4 20.37
-0.6 20.39
-0.8 20.46
-1 20.39
-2 20.41
-3 20.43