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, 13 insertions, 0 deletions
diff --git a/report/prune_results/space.2pass-hdt0 b/report/prune_results/space.2pass-hdt0
new file mode 100644
index 00000000..b5b833f9
--- /dev/null
+++ b/report/prune_results/space.2pass-hdt0
@@ -0,0 +1,13 @@
+0 20.47
+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