summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--report/prune_results/2pass-hdt0.pdfbin2081 -> 2081 bytes
-rw-r--r--report/prune_results/space.2pass-hdt065
-rw-r--r--report/prune_results/space.2pass-hdt0.pdfbin2072 -> 844 bytes
-rw-r--r--report/prune_results/time.2pass-hdt065
-rw-r--r--report/prune_results/time.2pass-hdt0.pdfbin2054 -> 844 bytes
5 files changed, 104 insertions, 26 deletions
diff --git a/report/prune_results/2pass-hdt0.pdf b/report/prune_results/2pass-hdt0.pdf
index 70c5a65b..d1a29481 100644
--- a/report/prune_results/2pass-hdt0.pdf
+++ b/report/prune_results/2pass-hdt0.pdf
Binary files differ
diff --git a/report/prune_results/space.2pass-hdt0 b/report/prune_results/space.2pass-hdt0
index b5b833f9..7beccb03 100644
--- a/report/prune_results/space.2pass-hdt0
+++ b/report/prune_results/space.2pass-hdt0
@@ -1,13 +1,52 @@
-0 20.47
-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
+0.0221153941406
+0.04510728694754
+0.11049838877232
+0.23648305700335
+0.4020261202009
+0.61663757265625
+0.71281294006697
+0.83940257511161
+0.9465962484375
+0.98112857600446
+0.9926947912946
+0.9992315530134
+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
+3584 20.39
+3584 20.47
diff --git a/report/prune_results/space.2pass-hdt0.pdf b/report/prune_results/space.2pass-hdt0.pdf
index d7426bbd..216b9bed 100644
--- a/report/prune_results/space.2pass-hdt0.pdf
+++ b/report/prune_results/space.2pass-hdt0.pdf
Binary files differ
diff --git a/report/prune_results/time.2pass-hdt0 b/report/prune_results/time.2pass-hdt0
index fef5bdaf..0fbb7ef4 100644
--- a/report/prune_results/time.2pass-hdt0
+++ b/report/prune_results/time.2pass-hdt0
@@ -1,13 +1,52 @@
-0.2642299 4.58
-0.629174107 6.68
-1.1253906 10.19
-1.17707031 20.47
-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
+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
diff --git a/report/prune_results/time.2pass-hdt0.pdf b/report/prune_results/time.2pass-hdt0.pdf
index 715be382..d9539be2 100644
--- a/report/prune_results/time.2pass-hdt0.pdf
+++ b/report/prune_results/time.2pass-hdt0.pdf
Binary files differ