summaryrefslogtreecommitdiff
path: root/report/prune_results/time.2pass-hdt0
diff options
context:
space:
mode:
Diffstat (limited to 'report/prune_results/time.2pass-hdt0')
-rw-r--r--report/prune_results/time.2pass-hdt065
1 files changed, 13 insertions, 52 deletions
diff --git a/report/prune_results/time.2pass-hdt0 b/report/prune_results/time.2pass-hdt0
index 0fbb7ef4..c76ca682 100644
--- a/report/prune_results/time.2pass-hdt0
+++ b/report/prune_results/time.2pass-hdt0
@@ -1,52 +1,13 @@
-0.2642299
-0.629174107
-1.1253906
-1.15943638
-1.21284598
-1.45111049
-1.57308036
-1.72605469
-1.79328125
-1.87117188
-1.96085379
-1.98935826
-2.26236328
-1792
-1792
-1792
-1792
-1792
-1792
-1792
-1792
-1792
-1792
-1792
-1792
-1792
-1792
-1792
-1792
-1792
-1792
-1792
-1792
-1792
-1792
-1792 10.19
-1792 13.87
-1792 16.76
-1792 19.52
-1792 19.91
-1792 20.37
-1792 20.39
-1792 20.41
-1792 20.46
-1792 4.58
-1792 6.68
-3584
-3584
-3584
-3584
-3584 20.39
-3584 20.47
+0.2642299 4.58
+0.629174107 6.68
+1.1253906 10.19
+1.15339658 20.43
+1.21284598 20.41
+1.45111049 13.87
+1.57308036 16.76
+1.72605469 20.39
+1.79328125 20.46
+1.87117188 19.52
+1.96085379 20.37
+1.98935826 19.91
+2.26236328 20.39