helm/software/helena/profile.txt

   1 helena.opt : 01.14 to 01.18 (optimized, 2nd run) ages => 904871 beta-steps
   2 helena.byte: 08.73 to 08.77 (optimized, 2nd run) ages
   3
   4 helena.opt : 01.50 to 01.54 (optimized, 2nd run) no ages => 1423268 beta-steps
   5
   6 coqtop.opt : 24.26 to 24.43 no ages
   7 coqtop.byte: 94.18 to 95.78 no ages
   8
   9 coqtop.opt : 27.73 to 28.07 ages
  10
  11 coqtop.opt : 28.64 to 28.83 reversed ages
  12
  13 elpi       : 00.19 to 00.20 exex, 253 lines
  14 elpi       : 00.26 to 00.28 user, 253 lines
  15
  16 teyjus     : 02.03 to 02.18 exec, 253 lines
  17 teyjus     : 01.63 to 01.68 link, 253 lines
  18
  19 elpi       : 21.15 to 21.45 exec, full
  20 elpi       : 27.52 to 27.82 user, full