diff options
Diffstat (limited to 'report/prune_results/2pass-hdt1')
-rw-r--r-- | report/prune_results/2pass-hdt1 | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/report/prune_results/2pass-hdt1 b/report/prune_results/2pass-hdt1 deleted file mode 100644 index 13b7e8c0..00000000 --- a/report/prune_results/2pass-hdt1 +++ /dev/null @@ -1,13 +0,0 @@ -0.03 12.09 -0.05 12.72 -0.08 13.64 -0.12 14.94 -0.17 15.93 -0.25 16.89 -0.3 17.60 -0.4 18.90 -0.6 19.59 -0.8 19.87 -1 20.03 -2 20.33 -3 20.43 |