From 78d9265b6261eb24cad483fb57a386e39eae6a3c Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Fri, 6 Mar 2015 19:37:30 +0000 Subject: [PATCH] with matita 0.99.2 we can validate lambdadelta_1 (as is) in 4 minutes --- .../contribs/lambdadelta/basic_1/etc/performance.txt | 9 +++++++++ .../contribs/lambdadelta/basic_1/{ => etc}/planes.txt | 0 2 files changed, 9 insertions(+) create mode 100644 matita/matita/contribs/lambdadelta/basic_1/etc/performance.txt rename matita/matita/contribs/lambdadelta/basic_1/{ => etc}/planes.txt (100%) 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 diff --git a/matita/matita/contribs/lambdadelta/basic_1/planes.txt b/matita/matita/contribs/lambdadelta/basic_1/etc/planes.txt similarity index 100% rename from matita/matita/contribs/lambdadelta/basic_1/planes.txt rename to matita/matita/contribs/lambdadelta/basic_1/etc/planes.txt -- 2.39.2