Add a big query, log of benchmarks...

[tatoo.git] / log_benchmark.txt

diff --git a/log_benchmark.txt b/log_benchmark.txt
new file mode 100644 (file)
index 0000000..58a7c47
--- /dev/null
+++ b/log_benchmark.txt
@@ -0,0 +1,58 @@
+                        ## 17.07   14:00 ##
+#### Big query (4k, 1400 col):
+./bench.native_Core+Extentions+Optim-hconsed_V1_23f38d4
+      145.71 real       144.44 user         1.05 sys
+ 998281216  maximum resident set size
+    247316  page reclaims
+
+./bench.native_Core+FS+Self_tested_1f48f81
+      178.02 real       176.91 user         1.08 sys
+1046331392  maximum resident set size
+    261351  page reclaims
+
+./bench.native_OptimTag-without-hconsed-formula_71804e8
+      139.68 real       138.71 user         0.93 sys
+ 996233216  maximum resident set size
+    245792  page reclaims
+
+
+
+
+#### Small query:
+./bench.native_Core+Extentions+Optim-hconsed_V1_23f38d4
+       16.20 real        15.42 user         0.76 sys
+ 958164992  maximum resident set size
+    235730  page reclaims
+
+./bench.native_Core+FS+Self_tested_1f48f81
+       21.16 real        20.37 user         0.77 sys
+ 957571072  maximum resident set size
+    235585  page reclaims
+
+./bench.native_OptimTag-without-hconsed-formula_71804e8
+       16.26 real        15.48 user         0.77 sys
+ 965349376  maximum resident set size
+    238252  page reclaims
+
+
+
+                        ## Older ##
+./solve.native_BUOracle-and-BUOverMax_hconsed_d55b57e
+       22.49 real        21.79 user         0.68 sys
+ 742887424  maximum resident set size
+    185522  page reclaims
+
+./solve.native_BUOracle_hconsed_47c4225
+       30.84 real        30.04 user         0.68 sys
+ 743706624  maximum resident set size
+    185722  page reclaims
+
+./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
+    185535  page reclaims
+
+./solve.native_NO_hconsign_cafb194
+       31.81 real        29.61 user         0.67 sys
+ 743292928  maximum resident set size
+    185591  page reclaims