diff options
Diffstat (limited to 'report/prune_results/2pass-hdt0')
| -rw-r--r-- | report/prune_results/2pass-hdt0 | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/report/prune_results/2pass-hdt0 b/report/prune_results/2pass-hdt0 deleted file mode 100644 index cded1542..00000000 --- a/report/prune_results/2pass-hdt0 +++ /dev/null @@ -1,13 +0,0 @@ -0.03 4.58 -0.05 6.68 -0.08 10.19 -0.12 13.87 -0.17 16.76 -0.25 19.52 -0.3 19.91 -0.4 20.37 -0.6 20.39 -0.8 20.46 -1 20.39 -2 20.41 -3 20.43 |