diff options
Diffstat (limited to 'report/prune_results/time.2pass-hdt')
| -rw-r--r-- | report/prune_results/time.2pass-hdt | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/report/prune_results/time.2pass-hdt b/report/prune_results/time.2pass-hdt deleted file mode 100644 index 377ab05a..00000000 --- a/report/prune_results/time.2pass-hdt +++ /dev/null @@ -1,13 +0,0 @@ -0.03330357 5.45 -0.11414621 6.72 -0.33327009 8.89 -0.695401786 11.51 -1.181362 14.44 -1.49443638 17.11 -1.62612723 19.27 -1.75272321 20.20 -1.7993192 20.38 -2.04206194 20.39 -2.1030971 20.68 -2.15327567 20.53 -2.32144531 20.51 |