diff options
Diffstat (limited to 'report/prune_results/2pass-hdt')
| -rw-r--r-- | report/prune_results/2pass-hdt | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/report/prune_results/2pass-hdt b/report/prune_results/2pass-hdt deleted file mode 100644 index d2610931..00000000 --- a/report/prune_results/2pass-hdt +++ /dev/null @@ -1,13 +0,0 @@ -0.03 5.45 -0.05 6.72 -0.08 8.89 -0.12 11.51 -0.17 14.44 -0.25 17.11 -0.3 19.27 -0.4 20.20 -0.6 20.68 -0.8 20.53 -1 20.39 -2 20.51 -3 20.38 |