diff options
Diffstat (limited to 'report/prune_results/space.2pass-hdt')
| -rw-r--r-- | report/prune_results/space.2pass-hdt | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/report/prune_results/space.2pass-hdt b/report/prune_results/space.2pass-hdt deleted file mode 100644 index 96347fd1..00000000 --- a/report/prune_results/space.2pass-hdt +++ /dev/null @@ -1,13 +0,0 @@ -0.012619212257812 5.45 -0.015353377349888 6.72 -0.02327939994978 8.89 -0.04440807192522 11.51 -0.091294153035714 14.44 -0.201633255 17.11 -0.29858187198103 19.27 -0.4530871268415 20.20 -0.68171495345982 20.68 -0.81462782204241 20.53 -0.88406101526228 20.39 -0.9881657092634 20.51 -0.9980128671875 20.38 |