diff options
Diffstat (limited to 'report/prune_results/space.2pass-hdt1')
| -rw-r--r-- | report/prune_results/space.2pass-hdt1 | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/report/prune_results/space.2pass-hdt1 b/report/prune_results/space.2pass-hdt1 deleted file mode 100644 index 903a1d08..00000000 --- a/report/prune_results/space.2pass-hdt1 +++ /dev/null @@ -1,13 +0,0 @@ -0.01020272126674 12.09 -0.010919479288504 12.72 -0.01218286062221 13.64 -0.014458555416295 14.94 -0.018661148814732 15.93 -0.02947725258929 16.89 -0.03930440498326 17.60 -0.0660309891183 18.90 -0.14408529348214 19.59 -0.24025580074777 19.87 -0.339429688816965 20.03 -0.70468050518973 20.33 -0.86776233962053 20.43 |