X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fbasic_1%2Fetc%2Fperformance.txt;fp=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fbasic_1%2Fetc%2Fperformance.txt;h=a4972af9c5f4e8b2ffabebe811422c6bc415bb19;hb=78d9265b6261eb24cad483fb57a386e39eae6a3c;hp=0000000000000000000000000000000000000000;hpb=639e798161afea770f41d78673c0fe3be4125beb;p=helm.git

diff --git a/matita/matita/contribs/lambdadelta/basic_1/etc/performance.txt b/matita/matita/contribs/lambdadelta/basic_1/etc/performance.txt
new file mode 100644
index 000000000..a4972af9c
--- /dev/null
+++ b/matita/matita/contribs/lambdadelta/basic_1/etc/performance.txt
@@ -0,0 +1,9 @@
+full validation of lambdadelta_1 on "monica"
+
+date: ven  6 mar 2015, 20.31.46, CET
+
+command: time ../../matitac.opt basic_1
+
+real    4m39.904s
+user    3m58.580s
+sys     0m11.473s