matita/matita/lib/fail.txt

   1 matitac.opt turing/multi_to_mono/multi_to_mono.maFAIL 0m00.54s 0m00.52s 0m00.01s
   2 matitac.opt binding/names.ma                     FAIL 0m00.07s 0m00.07s 0m00.00s
   3 matitac.opt binding/fp.ma
   4  matitac.opt binding/names.ma                    FAIL 0m00.12s 0m00.12s 0m00.00s
   5 matitac.opt binding/fp.ma                        FAIL 0m00.13s 0m00.12s 0m00.00s
   6 matitac.opt binding/ln.ma
   7  matitac.opt binding/names.ma                    FAIL 0m00.07s 0m00.07s 0m00.00s
   8 matitac.opt binding/ln.ma                        FAIL 0m00.43s 0m00.43s 0m00.00s
   9 matitac.opt binding/ln_concrete.ma
  10  matitac.opt binding/names.ma                    FAIL 0m00.06s 0m00.06s 0m00.00s
  11 matitac.opt binding/ln_concrete.ma               FAIL 0m00.49s 0m00.48s 0m00.00s
  12 matitac.opt finite_lambda/reduction.ma
  13  matitac.opt finite_lambda/terms_and_types.ma    FAIL 0m00.47s 0m00.47s 0m00.00s
  14 matitac.opt finite_lambda/reduction.ma           FAIL 0m00.48s 0m00.47s 0m00.00s
  15 matitac.opt finite_lambda/typing.ma
  16  matitac.opt finite_lambda/reduction.ma
  17   matitac.opt finite_lambda/terms_and_types.ma   FAIL 0m00.39s 0m00.39s 0m00.00s
  18  matitac.opt finite_lambda/reduction.ma          FAIL 0m00.39s 0m00.39s 0m00.00s
  19 matitac.opt finite_lambda/typing.ma              FAIL 0m00.39s 0m00.39s 0m00.00s
  20 matitac.opt finite_lambda/confluence.ma
  21  matitac.opt finite_lambda/reduction.ma
  22   matitac.opt finite_lambda/terms_and_types.ma   FAIL 0m00.42s 0m00.41s 0m00.00s
  23  matitac.opt finite_lambda/reduction.ma          FAIL 0m00.42s 0m00.42s 0m00.00s
  24 matitac.opt finite_lambda/confluence.ma          FAIL 0m00.42s 0m00.42s 0m00.00s
  25 matitac.opt finite_lambda/terms_and_types.ma     FAIL 0m00.38s 0m00.38s 0m00.00s
  26 matitac.opt reverse_complexity/toolkit.ma        FAIL 0m14.70s 0m14.62s 0m00.07s
  27 matitac.opt reverse_complexity/hierarchy.ma      FAIL 0m00.71s 0m00.70s 0m00.00s