Index of /~mptp/mml5.63.1382/MPTP2/problems/monoid_1
Name
Last modified
Size
Description
Parent Directory
-
monoid_1__l22_monoid_1
2023-06-28 19:33
56K
monoid_1__s1_monoid_1
2023-06-28 18:59
57K
monoid_1__t1_monoid_1
2023-06-28 19:00
65K
monoid_1__t2_monoid_1
2023-06-28 19:00
69K
monoid_1__t3_monoid_1
2023-06-28 19:01
66K
monoid_1__t4_monoid_1
2023-06-28 19:01
66K
monoid_1__t5_monoid_1
2023-06-28 19:02
68K
monoid_1__t6_monoid_1
2023-06-28 19:02
59K
monoid_1__t7_monoid_1
2023-06-28 19:03
59K
monoid_1__t8_monoid_1
2023-06-28 19:03
60K
monoid_1__t9_monoid_1
2023-06-28 19:04
71K
monoid_1__t10_monoid_1
2023-06-28 19:04
53K
monoid_1__t11_monoid_1
2023-06-28 19:05
59K
monoid_1__t12_monoid_1
2023-06-28 19:05
69K
monoid_1__t13_monoid_1
2023-06-28 19:06
61K
monoid_1__t14_monoid_1
2023-06-28 19:06
68K
monoid_1__t15_monoid_1
2023-06-28 19:07
61K
monoid_1__t16_monoid_1
2023-06-28 19:07
71K
monoid_1__t17_monoid_1
2023-06-28 19:08
62K
monoid_1__t18_monoid_1
2023-06-28 19:09
65K
monoid_1__t19_monoid_1
2023-06-28 19:09
67K
monoid_1__t20_monoid_1
2023-06-28 19:09
51K
monoid_1__t21_monoid_1
2023-06-28 19:10
70K
monoid_1__t22_monoid_1
2023-06-28 19:11
62K
monoid_1__t23_monoid_1
2023-06-28 19:11
61K
monoid_1__t24_monoid_1
2023-06-28 19:12
58K
monoid_1__t25_monoid_1
2023-06-28 19:12
69K
monoid_1__t26_monoid_1
2023-06-28 19:13
77K
monoid_1__t27_monoid_1
2023-06-28 19:13
85K
monoid_1__t28_monoid_1
2023-06-28 19:14
74K
monoid_1__t29_monoid_1
2023-06-28 19:15
75K
monoid_1__t30_monoid_1
2023-06-28 19:15
91K
monoid_1__t31_monoid_1
2023-06-28 19:16
72K
monoid_1__t32_monoid_1
2023-06-28 19:17
68K
monoid_1__t33_monoid_1
2023-06-28 19:17
87K
monoid_1__t34_monoid_1
2023-06-28 19:18
79K
monoid_1__t35_monoid_1
2023-06-28 19:18
68K
monoid_1__t36_monoid_1
2023-06-28 19:19
80K
monoid_1__t37_monoid_1
2023-06-28 19:20
91K
monoid_1__t38_monoid_1
2023-06-28 19:21
104K
monoid_1__t39_monoid_1
2023-06-28 19:21
129K
monoid_1__t40_monoid_1
2023-06-28 19:22
116K
monoid_1__t41_monoid_1
2023-06-28 19:23
92K
monoid_1__t42_monoid_1
2023-06-28 19:24
119K
monoid_1__t43_monoid_1
2023-06-28 19:25
122K
monoid_1__t44_monoid_1
2023-06-28 19:26
59K
monoid_1__t45_monoid_1
2023-06-28 19:26
60K
monoid_1__t46_monoid_1
2023-06-28 19:27
60K
monoid_1__t47_monoid_1
2023-06-28 19:27
61K
monoid_1__t48_monoid_1
2023-06-28 19:28
61K
monoid_1__t49_monoid_1
2023-06-28 19:28
57K
monoid_1__t50_monoid_1
2023-06-28 19:29
57K
monoid_1__t51_monoid_1
2023-06-28 19:29
66K
monoid_1__t52_monoid_1
2023-06-28 19:30
65K
monoid_1__t53_monoid_1
2023-06-28 19:30
49K
monoid_1__t54_monoid_1
2023-06-28 19:31
68K
monoid_1__t55_monoid_1
2023-06-28 19:31
57K
monoid_1__t56_monoid_1
2023-06-28 19:32
56K
monoid_1__t57_monoid_1
2023-06-28 19:32
54K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80