diff options
Diffstat (limited to 'report/prune_results/time.2pass-hdt1')
-rw-r--r-- | report/prune_results/time.2pass-hdt1 | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/report/prune_results/time.2pass-hdt1 b/report/prune_results/time.2pass-hdt1 deleted file mode 100644 index 63e0ba86..00000000 --- a/report/prune_results/time.2pass-hdt1 +++ /dev/null @@ -1,13 +0,0 @@ -0.00753348 12.09 -0.01848214 12.72 -0.04334821 13.64 -0.10146763 14.94 -0.19296317 15.93 -0.37776228 16.89 -0.49594308 17.60 -0.940814732 18.90 -1.43468192 19.59 -1.59580357 19.87 -1.77708147 20.03 -2.150558 20.43 -2.23821987 20.33 |