Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_tl.bad_dt_f/monoid_1
Name
Last modified
Size
Description
Parent Directory
-
monoid_1__l22_monoid_1
2016-03-08 13:07
45K
monoid_1__t1_monoid_1
2016-03-08 13:07
45K
monoid_1__t2_monoid_1
2016-03-08 13:07
54K
monoid_1__t3_monoid_1
2016-03-08 13:07
52K
monoid_1__t4_monoid_1
2016-03-08 13:07
53K
monoid_1__t5_monoid_1
2016-03-08 13:07
54K
monoid_1__t6_monoid_1
2016-03-08 13:07
50K
monoid_1__t7_monoid_1
2016-03-08 13:07
50K
monoid_1__t8_monoid_1
2016-03-08 13:07
50K
monoid_1__t9_monoid_1
2016-03-08 13:07
59K
monoid_1__t10_monoid_1
2016-03-08 13:07
41K
monoid_1__t11_monoid_1
2016-03-08 13:07
49K
monoid_1__t12_monoid_1
2016-03-08 13:07
54K
monoid_1__t13_monoid_1
2016-03-08 13:07
51K
monoid_1__t14_monoid_1
2016-03-08 13:07
56K
monoid_1__t15_monoid_1
2016-03-08 13:07
51K
monoid_1__t16_monoid_1
2016-03-08 13:07
56K
monoid_1__t17_monoid_1
2016-03-08 13:07
51K
monoid_1__t18_monoid_1
2016-03-08 13:07
50K
monoid_1__t19_monoid_1
2016-03-08 13:07
51K
monoid_1__t20_monoid_1
2016-03-08 13:07
36K
monoid_1__t21_monoid_1
2016-03-08 13:07
60K
monoid_1__t22_monoid_1
2016-03-08 13:07
51K
monoid_1__t23_monoid_1
2016-03-08 13:07
51K
monoid_1__t24_monoid_1
2016-03-08 13:07
47K
monoid_1__t25_monoid_1
2016-03-08 13:07
56K
monoid_1__t26_monoid_1
2016-03-08 13:07
66K
monoid_1__t27_monoid_1
2016-03-08 13:07
69K
monoid_1__t28_monoid_1
2016-03-08 13:07
59K
monoid_1__t29_monoid_1
2016-03-08 13:07
67K
monoid_1__t30_monoid_1
2016-03-08 13:07
73K
monoid_1__t31_monoid_1
2016-03-08 13:07
61K
monoid_1__t32_monoid_1
2016-03-08 13:07
57K
monoid_1__t33_monoid_1
2016-03-08 13:07
70K
monoid_1__t34_monoid_1
2016-03-08 13:07
67K
monoid_1__t35_monoid_1
2016-03-08 13:07
56K
monoid_1__t36_monoid_1
2016-03-08 13:07
67K
monoid_1__t37_monoid_1
2016-03-08 13:07
72K
monoid_1__t38_monoid_1
2016-03-08 13:07
81K
monoid_1__t39_monoid_1
2016-03-08 13:07
116K
monoid_1__t40_monoid_1
2016-03-08 13:07
100K
monoid_1__t41_monoid_1
2016-03-08 13:07
80K
monoid_1__t42_monoid_1
2016-03-08 13:07
102K
monoid_1__t43_monoid_1
2016-03-08 13:07
105K
monoid_1__t44_monoid_1
2016-03-08 13:07
45K
monoid_1__t45_monoid_1
2016-03-08 13:07
46K
monoid_1__t46_monoid_1
2017-01-05 20:54
46K
monoid_1__t47_monoid_1
2016-03-08 13:07
47K
monoid_1__t48_monoid_1
2016-03-08 13:07
48K
monoid_1__t49_monoid_1
2016-03-08 13:07
44K
monoid_1__t50_monoid_1
2016-03-08 13:07
44K
monoid_1__t51_monoid_1
2016-03-08 13:07
50K
monoid_1__t52_monoid_1
2016-03-08 13:07
49K
monoid_1__t53_monoid_1
2016-03-08 13:07
38K
monoid_1__t54_monoid_1
2016-03-08 13:07
52K
monoid_1__t55_monoid_1
2016-03-08 13:07
47K
monoid_1__t56_monoid_1
2016-03-08 13:07
46K
monoid_1__t57_monoid_1
2016-03-08 13:07
44K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80