with matita 0.99.2 we can validate lambdadelta_1 (as is) in 4 minutes

[helm.git] / matita / matita / contribs / lambdadelta / basic_1 / etc / performance.txt

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 (file)
index 0000000..a4972af
--- /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