matita/matita/contribs/lambdadelta/basic_1/etc/performance.txt

   1 full validation of lambdadelta_1
   2
   3 command: time ../../matitac.opt basic_1
   4
   5 - machine: "monica"
   6   date   : ven  6 mar 2015, 20.31.46, CET
   7
   8   real    4m39.904s
   9   user    3m58.580s
  10   sys     0m11.473s
  11
  12 - machine: "dev.helm"
  13   date   : Sat Mar  7 16:41:46 CET 2015
  14
  15   real    30m36.357s
  16   user    6m35.749s
  17   sys     0m31.518s