diff options
Diffstat (limited to 'report/prune_results/2pass-hdt1')
| -rw-r--r-- | report/prune_results/2pass-hdt1 | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/report/prune_results/2pass-hdt1 b/report/prune_results/2pass-hdt1 new file mode 100644 index 00000000..13b7e8c0 --- /dev/null +++ b/report/prune_results/2pass-hdt1 @@ -0,0 +1,13 @@ +0.03 12.09 +0.05 12.72 +0.08 13.64 +0.12 14.94 +0.17 15.93 +0.25 16.89 +0.3 17.60 +0.4 18.90 +0.6 19.59 +0.8 19.87 +1 20.03 +2 20.33 +3 20.43 |