Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_isof_tls/lfuzzy_1
Name
Last modified
Size
Description
Parent Directory
-
lfuzzy_1__l15_lfuzzy_1
2017-01-13 00:47
76K
lfuzzy_1__l44_lfuzzy_1
2017-01-13 00:47
73K
lfuzzy_1__l46_lfuzzy_1
2017-01-13 00:47
82K
lfuzzy_1__l47_lfuzzy_1
2017-01-13 00:47
70K
lfuzzy_1__l48_lfuzzy_1
2017-01-13 00:47
76K
lfuzzy_1__l49_lfuzzy_1
2017-01-13 00:47
94K
lfuzzy_1__l50_lfuzzy_1
2017-01-13 00:47
71K
lfuzzy_1__l51_lfuzzy_1
2017-01-13 00:47
73K
lfuzzy_1__l52_lfuzzy_1
2017-01-13 00:47
64K
lfuzzy_1__l53_lfuzzy_1
2017-01-13 00:47
71K
lfuzzy_1__t1_lfuzzy_1
2017-01-13 00:47
57K
lfuzzy_1__t2_lfuzzy_1
2017-01-13 00:47
64K
lfuzzy_1__t3_lfuzzy_1
2017-01-13 00:47
64K
lfuzzy_1__t4_lfuzzy_1
2017-01-13 00:47
34K
lfuzzy_1__t5_lfuzzy_1
2017-01-13 00:47
62K
lfuzzy_1__t6_lfuzzy_1
2017-01-13 00:47
71K
lfuzzy_1__t7_lfuzzy_1
2017-01-13 00:47
72K
lfuzzy_1__t8_lfuzzy_1
2017-01-13 00:47
73K
lfuzzy_1__t9_lfuzzy_1
2017-01-13 00:47
48K
lfuzzy_1__t10_lfuzzy_1
2017-01-13 00:47
48K
lfuzzy_1__t11_lfuzzy_1
2017-01-13 00:47
92K
lfuzzy_1__t12_lfuzzy_1
2017-01-13 00:47
62K
lfuzzy_1__t13_lfuzzy_1
2017-01-13 00:47
63K
lfuzzy_1__t14_lfuzzy_1
2017-01-13 00:47
65K
lfuzzy_1__t15_lfuzzy_1
2017-01-13 00:47
76K
lfuzzy_1__t16_lfuzzy_1
2017-01-13 00:47
77K
lfuzzy_1__t17_lfuzzy_1
2017-01-13 00:47
76K
lfuzzy_1__t18_lfuzzy_1
2017-01-13 00:47
80K
lfuzzy_1__t19_lfuzzy_1
2017-01-13 00:47
80K
lfuzzy_1__t20_lfuzzy_1
2017-01-13 00:47
92K
lfuzzy_1__t21_lfuzzy_1
2017-01-13 00:47
92K
lfuzzy_1__t22_lfuzzy_1
2017-01-13 00:47
88K
lfuzzy_1__t23_lfuzzy_1
2017-01-13 00:47
88K
lfuzzy_1__t24_lfuzzy_1
2017-01-13 00:47
53K
lfuzzy_1__t25_lfuzzy_1
2017-01-13 00:47
56K
lfuzzy_1__t26_lfuzzy_1
2017-01-13 00:47
53K
lfuzzy_1__t27_lfuzzy_1
2017-01-13 00:47
52K
lfuzzy_1__t28_lfuzzy_1
2017-01-13 00:47
55K
lfuzzy_1__t29_lfuzzy_1
2017-01-13 00:47
86K
lfuzzy_1__t30_lfuzzy_1
2017-01-13 00:47
79K
lfuzzy_1__t31_lfuzzy_1
2017-01-13 00:47
77K
lfuzzy_1__t32_lfuzzy_1
2017-01-13 00:47
72K
lfuzzy_1__t33_lfuzzy_1
2017-01-13 00:47
53K
lfuzzy_1__t34_lfuzzy_1
2017-01-13 00:47
95K
lfuzzy_1__t35_lfuzzy_1
2017-01-13 00:47
98K
lfuzzy_1__t36_lfuzzy_1
2017-01-13 00:47
67K
lfuzzy_1__t37_lfuzzy_1
2017-01-13 00:47
55K
lfuzzy_1__t38_lfuzzy_1
2017-01-13 00:47
77K
lfuzzy_1__t39_lfuzzy_1
2017-01-13 00:47
52K
lfuzzy_1__t40_lfuzzy_1
2017-01-13 00:47
79K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80