diff options
Diffstat (limited to 'report/prune_results/space.2pass-hdt1')
| -rw-r--r-- | report/prune_results/space.2pass-hdt1 | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/report/prune_results/space.2pass-hdt1 b/report/prune_results/space.2pass-hdt1 new file mode 100644 index 00000000..903a1d08 --- /dev/null +++ b/report/prune_results/space.2pass-hdt1 @@ -0,0 +1,13 @@ +0.01020272126674 12.09 +0.010919479288504 12.72 +0.01218286062221 13.64 +0.014458555416295 14.94 +0.018661148814732 15.93 +0.02947725258929 16.89 +0.03930440498326 17.60 +0.0660309891183 18.90 +0.14408529348214 19.59 +0.24025580074777 19.87 +0.339429688816965 20.03 +0.70468050518973 20.33 +0.86776233962053 20.43 |