X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=log_benchmark;h=bd09d24b45313bcef21a6f39d7f149ea039b8322;hb=refs%2Fheads%2Flucca-optim;hp=5b57f1aa3cc975e7787c33c2b4dc9e389c88ee47;hpb=5e7268fb95cdc7e56fe24f324a710550ade3d851;p=tatoo.git diff --git a/log_benchmark b/log_benchmark index 5b57f1a..bd09d24 100644 --- a/log_benchmark +++ b/log_benchmark @@ -1,5 +1,5 @@ ## 17.07 14:00 ## -#### Big query (4k, 1400 col): +#### Big query (1400 col) // XML Doc of 104M (0.7): ./bench.native_Core+Extentions+Optim-hconsed_V1_23f38d4 145.71 real 144.44 user 1.05 sys 998281216 maximum resident set size @@ -54,7 +54,7 @@ -#### Small query: +#### Small query (72 col) // XML Doc 104M (0.7): ./bench.native_Core+Extentions+Optim-hconsed_V1_23f38d4 16.20 real 15.42 user 0.76 sys 958164992 maximum resident set size @@ -108,7 +108,7 @@ - ## Older ## + ## Older ## (DOC: 0.5 ?M) ./solve.native_BUOracle-and-BUOverMax_hconsed_d55b57e 22.49 real 21.79 user 0.68 sys 742887424 maximum resident set size