summaryrefslogtreecommitdiff
path: root/report
diff options
context:
space:
mode:
authorgraehl <graehl@ec762483-ff6d-05da-a07a-a48fb63a330f>2010-07-28 09:01:33 +0000
committergraehl <graehl@ec762483-ff6d-05da-a07a-a48fb63a330f>2010-07-28 09:01:33 +0000
commit699edcb4b4a9d21047bb46703eeff13b04392f33 (patch)
treeb528466048d16da811b45871d1876e1bb5287312 /report
parent38961ebe1976c27e4b490bae68b974d838f5b919 (diff)
fixed graph
git-svn-id: https://ws10smt.googlecode.com/svn/trunk@453 ec762483-ff6d-05da-a07a-a48fb63a330f
Diffstat (limited to 'report')
-rw-r--r--report/prune_results/2pass-hdt02
-rw-r--r--report/prune_results/2pass-hdt0.pdfbin2081 -> 2082 bytes
-rw-r--r--report/prune_results/2pass-hdt0.pngbin2002 -> 1986 bytes
-rw-r--r--report/prune_results/space.2pass-hdt065
-rw-r--r--report/prune_results/space.2pass-hdt0.pdfbin844 -> 2068 bytes
-rw-r--r--report/prune_results/space.2pass-hdt0.pngbin2564 -> 2466 bytes
-rw-r--r--report/prune_results/time.2pass-hdt065
-rw-r--r--report/prune_results/time.2pass-hdt0.pdfbin844 -> 2058 bytes
-rw-r--r--report/prune_results/time.2pass-hdt0.pngbin2678 -> 2647 bytes
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
Binary files differ
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
Binary files differ
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
Binary files differ
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
Binary files differ
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
Binary files differ
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
Binary files differ