performance.txt

   1 full validation of lambdadelta_1 on "monica"
   2
   3 date: ven  6 mar 2015, 20.31.46, CET
   4
   5 command: time ../../matitac.opt basic_1
   6
   7 real    4m39.904s
   8 user    3m58.580s
   9 sys     0m11.473s