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