log, bench, generate: 0.5

diff --git a/log_benchmark b/log_benchmark
new file mode 100644 (file)
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 (executable)
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 (executable)
--- 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