diff options
Diffstat (limited to 'report/prune_results/space.2pass-hdt0')
| -rw-r--r-- | report/prune_results/space.2pass-hdt0 | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/report/prune_results/space.2pass-hdt0 b/report/prune_results/space.2pass-hdt0 deleted file mode 100644 index a7570e6a..00000000 --- a/report/prune_results/space.2pass-hdt0 +++ /dev/null @@ -1,13 +0,0 @@ -0.0221153941406 4.58 -0.04510728694754 6.68 -0.11049838877232 10.19 -0.23648305700335 13.87 -0.4020261202009 16.76 -0.61663757265625 19.52 -0.71281294006697 19.91 -0.83940257511161 20.37 -0.9465962484375 20.39 -0.98112857600446 20.46 -0.9926947912946 20.39 -0.9992315530134 20.41 -1 20.43 |