Index of /~mptp/1147/MPTP2/problems/fdiff_11
Name
Last modified
Size
Description
Parent Directory
-
fdiff_11__t1_fdiff_11
2023-06-28 00:33
78K
fdiff_11__t2_fdiff_11
2023-06-28 00:33
79K
fdiff_11__t3_fdiff_11
2023-06-28 00:33
79K
fdiff_11__t4_fdiff_11
2023-06-28 00:33
79K
fdiff_11__t5_fdiff_11
2023-06-28 00:33
94K
fdiff_11__t6_fdiff_11
2023-06-28 00:33
94K
fdiff_11__t7_fdiff_11
2023-06-28 00:33
94K
fdiff_11__t8_fdiff_11
2023-06-28 00:33
94K
fdiff_11__t9_fdiff_11
2023-06-28 00:33
80K
fdiff_11__t10_fdiff_11
2023-06-28 00:33
80K
fdiff_11__t11_fdiff_11
2023-06-28 00:33
80K
fdiff_11__t12_fdiff_11
2023-06-28 00:33
80K
fdiff_11__t13_fdiff_11
2023-06-28 00:33
70K
fdiff_11__t14_fdiff_11
2023-06-28 00:33
70K
fdiff_11__t15_fdiff_11
2023-06-28 00:33
70K
fdiff_11__t16_fdiff_11
2023-06-28 00:33
70K
fdiff_11__t17_fdiff_11
2023-06-28 00:33
74K
fdiff_11__t18_fdiff_11
2023-06-28 00:33
74K
fdiff_11__t19_fdiff_11
2023-06-28 00:33
74K
fdiff_11__t20_fdiff_11
2023-06-28 00:33
74K
fdiff_11__t21_fdiff_11
2023-06-28 00:33
74K
fdiff_11__t22_fdiff_11
2023-06-28 00:33
74K
fdiff_11__t23_fdiff_11
2023-06-28 00:33
74K
fdiff_11__t24_fdiff_11
2023-06-28 00:33
74K
fdiff_11__t25_fdiff_11
2023-06-28 00:33
76K
fdiff_11__t26_fdiff_11
2023-06-28 00:33
76K
fdiff_11__t27_fdiff_11
2023-06-28 00:33
76K
fdiff_11__t28_fdiff_11
2023-06-28 00:33
76K
fdiff_11__t29_fdiff_11
2023-06-28 00:33
79K
fdiff_11__t30_fdiff_11
2023-06-28 00:33
79K
fdiff_11__t31_fdiff_11
2023-06-28 00:33
79K
fdiff_11__t32_fdiff_11
2023-06-28 00:33
79K
fdiff_11__t33_fdiff_11
2023-06-28 00:33
84K
fdiff_11__t34_fdiff_11
2023-06-28 00:33
84K
fdiff_11__t35_fdiff_11
2023-06-28 00:33
84K
fdiff_11__t36_fdiff_11
2023-06-28 00:33
84K
fdiff_11__t37_fdiff_11
2023-06-28 00:33
76K
fdiff_11__t38_fdiff_11
2023-06-28 00:33
131K
fdiff_11__t39_fdiff_11
2023-06-28 00:33
53K
fdiff_11__t40_fdiff_11
2023-06-28 00:33
137K
fdiff_11__t41_fdiff_11
2023-06-28 00:33
53K
fdiff_11__t42_fdiff_11
2023-06-28 00:33
137K
fdiff_11__t43_fdiff_11
2023-06-28 00:33
84K
fdiff_11__t44_fdiff_11
2023-06-28 00:33
139K
fdiff_11__t45_fdiff_11
2023-06-28 00:33
84K
fdiff_11__t46_fdiff_11
2023-06-28 00:33
139K
fdiff_11__t47_fdiff_11
2023-06-28 00:33
83K
fdiff_11__t48_fdiff_11
2023-06-28 00:33
139K
fdiff_11__t49_fdiff_11
2023-06-28 00:33
83K
fdiff_11__t50_fdiff_11
2023-06-28 00:33
139K
fdiff_11__t51_fdiff_11
2023-06-28 00:33
58K
fdiff_11__t52_fdiff_11
2023-06-28 00:33
165K
fdiff_11__t53_fdiff_11
2023-06-28 00:33
100K
fdiff_11__t54_fdiff_11
2023-06-28 00:33
169K
fdiff_11__t55_fdiff_11
2023-06-28 00:33
41K
fdiff_11__t56_fdiff_11
2023-06-28 00:33
136K
fdiff_11__t57_fdiff_11
2023-06-28 00:33
42K
fdiff_11__t58_fdiff_11
2023-06-28 00:33
136K
fdiff_11__t59_fdiff_11
2023-06-28 00:33
42K
fdiff_11__t60_fdiff_11
2023-06-28 00:33
208K
fdiff_11__t61_fdiff_11
2023-06-28 00:33
77K
fdiff_11__t62_fdiff_11
2023-06-28 00:33
103K
fdiff_11__t63_fdiff_11
2023-06-28 00:33
101K
fdiff_11__t64_fdiff_11
2023-06-28 00:33
101K
fdiff_11__t65_fdiff_11
2023-06-28 00:33
176K
fdiff_11__t66_fdiff_11
2023-06-28 00:33
176K
fdiff_11__t67_fdiff_11
2023-06-28 00:33
75K
fdiff_11__t68_fdiff_11
2023-06-28 00:33
269K
fdiff_11__t69_fdiff_11
2023-06-28 00:33
165K
fdiff_11__t70_fdiff_11
2023-06-28 00:33
279K
fdiff_11__t71_fdiff_11
2023-06-28 00:33
215K
fdiff_11__t72_fdiff_11
2023-06-28 00:33
358K
fdiff_11__t73_fdiff_11
2023-06-28 00:33
599K
fdiff_11__t74_fdiff_11
2023-06-28 00:33
609K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80