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 : 00.44 to 00.52 (optimized, 1st run) ages (just validation)
   5 helena.opt : 00.50 to 00.53 (optimized, 2st run) ages (just validation)
   6 helena.byte: 05.33 to 05.40 (optimized, 1st run) ages (just validation)
   7 helena.byte: 05.54 to 05.58 (optimized, 2nd run) ages (just validation)
   8
   9 helena.opt : 01.50 to 01.54 (optimized, 2nd run) no ages => 1423268 beta-steps
  10
  11 coqtop.opt : 24.26 to 24.43 no ages
  12 coqtop.byte: 94.18 to 95.78 no ages
  13
  14 coqtop.opt : 14.91 to 15.79 no ages (just validation)
  15 coqtop.byte: 51.63 to 53.76 no ages (just validation)
  16
  17 coqtop.opt : 29.55 to 31.33 no ages, typed definitions
  18
  19 coqtop.opt : 27.73 to 28.07 ages
  20
  21 coqtop.opt : 28.64 to 28.83 reversed ages
  22
  23 elpi       : 00.20 to 00.22 exex, 255 lines
  24 elpi       : 00.27 to 00.31 user, 255 lines
  25
  26 teyjus     : 02.13 to 02.26 exec, 255 lines
  27 teyjus     : 03.24 to 03.31 link, 255 lines
  28
  29 elpi       : 21.15 to 21.45 exec, full
  30 elpi       : 27.52 to 27.82 user, full