X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=log_benchmark;fp=log_benchmark;h=4c44f58aa83c22de5eb7fe87ad9192f7b18141a8;hb=642af0fb68cca0c531da8d0d175297d811d51cc0;hp=0000000000000000000000000000000000000000;hpb=e419425bbcc588f0bdce511e3c39443f8586f213;p=tatoo.git

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