fixed graph

git-svn-id: https://ws10smt.googlecode.com/svn/trunk@453 ec762483-ff6d-05da-a07a-a48fb63a330f

9 files changed, 27 insertions, 105 deletions

diff --git a/report/prune_results/2pass-hdt0 b/report/prune_results/2pass-hdt0
index 1bc44f23..cded1542 100644
--- a/report/prune_results/2pass-hdt0
+++ b/report/prune_results/2pass-hdt0
@@ -10,4 +10,4 @@
 0.8	20.46
 1	20.39
 2	20.41
-3	20.47
+3	20.43
diff --git a/report/prune_results/2pass-hdt0.pdf b/report/prune_results/2pass-hdt0.pdf
index d1a29481..a8871a50 100644
--- a/report/prune_results/2pass-hdt0.pdf
+++ b/report/prune_results/2pass-hdt0.pdf
diff --git a/report/prune_results/2pass-hdt0.png b/report/prune_results/2pass-hdt0.png
index 9d872af1..d271d0e8 100644
--- a/report/prune_results/2pass-hdt0.png
+++ b/report/prune_results/2pass-hdt0.png
diff --git a/report/prune_results/space.2pass-hdt0 b/report/prune_results/space.2pass-hdt0
index 7beccb03..a7570e6a 100644
--- a/report/prune_results/space.2pass-hdt0
+++ b/report/prune_results/space.2pass-hdt0
@@ -1,52 +1,13 @@
-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
+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
diff --git a/report/prune_results/space.2pass-hdt0.pdf b/report/prune_results/space.2pass-hdt0.pdf
index 216b9bed..5951431a 100644
--- a/report/prune_results/space.2pass-hdt0.pdf
+++ b/report/prune_results/space.2pass-hdt0.pdf
diff --git a/report/prune_results/space.2pass-hdt0.png b/report/prune_results/space.2pass-hdt0.png
index 8e778926..2dd037e9 100644
--- a/report/prune_results/space.2pass-hdt0.png
+++ b/report/prune_results/space.2pass-hdt0.png
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
diff --git a/report/prune_results/time.2pass-hdt0.pdf b/report/prune_results/time.2pass-hdt0.pdf
index d9539be2..fa11f9a1 100644
--- a/report/prune_results/time.2pass-hdt0.pdf
+++ b/report/prune_results/time.2pass-hdt0.pdf
diff --git a/report/prune_results/time.2pass-hdt0.png b/report/prune_results/time.2pass-hdt0.png
index 78418b6d..93016a00 100644
--- a/report/prune_results/time.2pass-hdt0.png
+++ b/report/prune_results/time.2pass-hdt0.png