summaryrefslogtreecommitdiff
path: root/report/prune_results/space.2pass-hdt0
diff options
context:
space:
mode:
Diffstat (limited to 'report/prune_results/space.2pass-hdt0')
-rw-r--r--report/prune_results/space.2pass-hdt013
1 files changed, 0 insertions, 13 deletions
diff --git a/report/prune_results/space.2pass-hdt0 b/report/prune_results/space.2pass-hdt0
deleted file mode 100644
index a7570e6a..00000000
--- a/report/prune_results/space.2pass-hdt0
+++ /dev/null
@@ -1,13 +0,0 @@
-0.0221153941406 4.58
-0.04510728694754 6.68
-0.11049838877232 10.19
-0.23648305700335 13.87
-0.4020261202009 16.76
-0.61663757265625 19.52
-0.71281294006697 19.91
-0.83940257511161 20.37
-0.9465962484375 20.39
-0.98112857600446 20.46
-0.9926947912946 20.39
-0.9992315530134 20.41
-1 20.43