- matitac.opt finite_lambda/reduction.ma
- matitac.opt finite_lambda/terms_and_types.ma FAIL 0m00.39s 0m00.39s 0m00.00s
- matitac.opt finite_lambda/reduction.ma FAIL 0m00.39s 0m00.39s 0m00.00s
-matitac.opt finite_lambda/typing.ma FAIL 0m00.39s 0m00.39s 0m00.00s
-matitac.opt finite_lambda/confluence.ma
- matitac.opt finite_lambda/reduction.ma
- matitac.opt finite_lambda/terms_and_types.ma FAIL 0m00.42s 0m00.41s 0m00.00s
- matitac.opt finite_lambda/reduction.ma FAIL 0m00.42s 0m00.42s 0m00.00s
-matitac.opt finite_lambda/confluence.ma FAIL 0m00.42s 0m00.42s 0m00.00s
-matitac.opt finite_lambda/terms_and_types.ma FAIL 0m00.38s 0m00.38s 0m00.00s
-matitac.opt reverse_complexity/toolkit.ma FAIL 0m14.70s 0m14.62s 0m00.07s
-matitac.opt reverse_complexity/hierarchy.ma FAIL 0m00.71s 0m00.70s 0m00.00s
+matitac.opt reverse_complexity/hierarchy.ma
+matitac.opt reverse_complexity/toolkit.ma
+matitac.opt turing/multi_to_mono/multi_to_mono.ma