diff options
Diffstat (limited to 'report/prune_results/time.2pass-hdt1')
-rw-r--r-- | report/prune_results/time.2pass-hdt1 | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/report/prune_results/time.2pass-hdt1 b/report/prune_results/time.2pass-hdt1 new file mode 100644 index 00000000..63e0ba86 --- /dev/null +++ b/report/prune_results/time.2pass-hdt1 @@ -0,0 +1,13 @@ +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 |