summaryrefslogtreecommitdiff
path: root/report/prune_results/space.2pass-hdt0
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/prune_results/space.2pass-hdt0
parent38961ebe1976c27e4b490bae68b974d838f5b919 (diff)
fixed graph
git-svn-id: https://ws10smt.googlecode.com/svn/trunk@453 ec762483-ff6d-05da-a07a-a48fb63a330f
Diffstat (limited to 'report/prune_results/space.2pass-hdt0')
-rw-r--r--report/prune_results/space.2pass-hdt065
1 files changed, 13 insertions, 52 deletions
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