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