X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fhelena%2Fprofile.txt;h=28c8b895009db5f0def27826931824f910af6d4f;hb=a77d0bd6a04e94f765d329d47b37d9e04d349b14;hp=65c909fe6f1336817f7edcef4a1ccee7d59bc5e6;hpb=586c361209ac14e8c2b1da3509041c0c82a86c92;p=helm.git

diff --git a/helm/software/helena/profile.txt b/helm/software/helena/profile.txt
index 65c909fe6..28c8b8950 100644
--- a/helm/software/helena/profile.txt
+++ b/helm/software/helena/profile.txt
@@ -1,20 +1,30 @@
 helena.opt : 01.14 to 01.18 (optimized, 2nd run) ages => 904871 beta-steps
 helena.byte: 08.73 to 08.77 (optimized, 2nd run) ages
 
+helena.opt : 00.44 to 00.52 (optimized, 1st run) ages (just validation)
+helena.opt : 00.50 to 00.53 (optimized, 2st run) ages (just validation)
+helena.byte: 05.33 to 05.40 (optimized, 1st run) ages (just validation)
+helena.byte: 05.54 to 05.58 (optimized, 2nd run) ages (just validation)
+
 helena.opt : 01.50 to 01.54 (optimized, 2nd run) no ages => 1423268 beta-steps
 
 coqtop.opt : 24.26 to 24.43 no ages
 coqtop.byte: 94.18 to 95.78 no ages
 
+coqtop.opt : 14.91 to 15.79 no ages (just validation)
+coqtop.byte: 51.63 to 53.76 no ages (just validation)
+
+coqtop.opt : 29.55 to 31.33 no ages, typed definitions
+
 coqtop.opt : 27.73 to 28.07 ages
 
 coqtop.opt : 28.64 to 28.83 reversed ages
 
-elpi       : 00.19 to 00.20 exex, 253 lines
-elpi       : 00.26 to 00.28 user, 253 lines
+elpi       : 00.20 to 00.22 exex, 255 lines
+elpi       : 00.27 to 00.31 user, 255 lines
 
-teyjus     : 02.03 to 02.18 exec, 253 lines
-teyjus     : 01.63 to 01.68 link, 253 lines
+teyjus     : 02.13 to 02.26 exec, 255 lines
+teyjus     : 03.24 to 03.31 link, 255 lines
 
 elpi       : 21.15 to 21.45 exec, full
 elpi       : 27.52 to 27.82 user, full