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
4 helena.opt : 01.50 to 01.54 (optimized, 2nd run) no ages => 1423268 beta-steps
6 coqtop.opt : 24.26 to 24.43 no ages
7 coqtop.byte: 94.18 to 95.78 no ages
9 coqtop.opt : 27.73 to 28.07 ages
11 coqtop.opt : 28.64 to 28.83 reversed ages
13 elpi : 00.20 to 00.22 exex, 255 lines
14 elpi : 00.27 to 00.31 user, 255 lines
16 teyjus : 02.13 to 02.26 exec, 255 lines
17 teyjus : 03.24 to 03.31 link, 255 lines
19 elpi : 21.15 to 21.45 exec, full
20 elpi : 27.52 to 27.82 user, full