log, bench, generate: 0.5

[tatoo.git] / log_benchmark

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