From: Lucca Hirschi <lucca.hirschi@gmail.com>
Date: Tue, 17 Jul 2012 10:57:32 +0000 (+0200)
Subject: log, bench, generate: 0.5
X-Git-Tag: Core+Extentions+Optim-hconsed_V1~1^2~2
X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=commitdiff_plain;h=642af0fb68cca0c531da8d0d175297d811d51cc0

log, bench, generate: 0.5
---

diff --git a/log_benchmark b/log_benchmark
new file mode 100644
index 0000000..4c44f58
--- /dev/null
+++ b/log_benchmark
@@ -0,0 +1,67 @@
+./solve.native_BUOracle-and-BUOverMax_hconsed_d55b57e
+       22.49 real        21.79 user         0.68 sys
+ 742887424  maximum resident set size
+         0  average shared memory size
+         0  average unshared data size
+         0  average unshared stack size
+    185522  page reclaims
+         0  page faults
+         0  swaps
+         0  block input operations
+         0  block output operations
+         0  messages sent
+         0  messages received
+         0  signals received
+         0  voluntary context switches
+       722  involuntary context switches
+
+./solve.native_BUOracle_hconsed_47c4225
+       30.84 real        30.04 user         0.68 sys
+ 743706624  maximum resident set size
+         0  average shared memory size
+         0  average unshared data size
+         0  average unshared stack size
+    185722  page reclaims
+         0  page faults
+         0  swaps
+         0  block input operations
+         0  block output operations
+         0  messages sent
+         0  messages received
+         0  signals received
+         0  voluntary context switches
+      1244  involuntary context switches
+
+./solve.native_BURoacle-and-BUOverMax-and-fst-TP-Max_hconsed_71804e8
+       22.72 real        22.01 user         0.64 sys
+ 742940672  maximum resident set size
+         0  average shared memory size
+         0  average unshared data size
+         0  average unshared stack size
+    185535  page reclaims
+         0  page faults
+         0  swaps
+         0  block input operations
+         0  block output operations
+         0  messages sent
+         0  messages received
+         0  signals received
+         0  voluntary context switches
+      1337  involuntary context switches
+
+./solve.native_NO_hconsign_cafb194
+       31.81 real        29.61 user         0.67 sys
+ 743292928  maximum resident set size
+         0  average shared memory size
+         0  average unshared data size
+         0  average unshared stack size
+    185591  page reclaims
+        30  page faults
+         0  swaps
+         0  block input operations
+         0  block output operations
+         0  messages sent
+         0  messages received
+         0  signals received
+         0  voluntary context switches
+      1511  involuntary context switches
diff --git a/one_benchmark b/one_benchmark
new file mode 100755
index 0000000..1affafc
--- /dev/null
+++ b/one_benchmark
@@ -0,0 +1 @@
+/usr/bin/time -l  ./solve.native ./tests/docs/XPath-PT.xml -f ./tests/queries/XPath-PT/A1.xpl
\ No newline at end of file
diff --git a/tests/docs/generate.sh b/tests/docs/generate.sh
index 4dbfbaf..e152769 100755
--- a/tests/docs/generate.sh
+++ b/tests/docs/generate.sh
@@ -1 +1 @@
-./a.out -f 0.3 -o XPath-PT.xml -i 
\ No newline at end of file
+./a.out -f 0.5 -o XPath-PT.xml -i 
\ No newline at end of file