Index of /~mptp/8.1.15_5.94.1493/MPTP2/problems_small_thf/fdiff_10
Name
Last modified
Size
Description
Parent Directory
-
fdiff_10__t20_fdiff_10
2025-09-11 20:11
36K
fdiff_10__t7_fdiff_10
2025-09-11 19:51
39K
fdiff_10__t10_fdiff_10
2025-09-11 19:55
47K
fdiff_10__t8_fdiff_10
2025-09-11 19:53
53K
fdiff_10__t9_fdiff_10
2025-09-11 19:54
53K
fdiff_10__t2_fdiff_10
2025-09-11 19:43
54K
fdiff_10__t43_fdiff_10
2025-09-11 20:46
54K
fdiff_10__t21_fdiff_10
2025-09-11 20:12
54K
fdiff_10__t15_fdiff_10
2025-09-11 20:03
56K
fdiff_10__t19_fdiff_10
2025-09-11 20:10
59K
fdiff_10__t12_fdiff_10
2025-09-11 19:59
63K
fdiff_10__t18_fdiff_10
2025-09-11 20:08
64K
fdiff_10__t16_fdiff_10
2025-09-11 20:05
65K
fdiff_10__t3_fdiff_10
2025-09-11 19:45
69K
fdiff_10__t44_fdiff_10
2025-09-11 20:48
69K
fdiff_10__t45_fdiff_10
2025-09-11 20:49
69K
fdiff_10__t46_fdiff_10
2025-09-11 20:51
69K
fdiff_10__t22_fdiff_10
2025-09-11 20:14
70K
fdiff_10__t23_fdiff_10
2025-09-11 20:15
70K
fdiff_10__t24_fdiff_10
2025-09-11 20:17
70K
fdiff_10__t1_fdiff_10
2025-09-11 19:42
70K
fdiff_10__t4_fdiff_10
2025-09-11 19:47
70K
fdiff_10__t36_fdiff_10
2025-09-11 20:35
71K
fdiff_10__t37_fdiff_10
2025-09-11 20:37
71K
fdiff_10__t40_fdiff_10
2025-09-11 20:41
72K
fdiff_10__t5_fdiff_10
2025-09-11 19:49
73K
fdiff_10__t32_fdiff_10
2025-09-11 20:29
74K
fdiff_10__t13_fdiff_10
2025-09-11 20:00
74K
fdiff_10__t6_fdiff_10
2025-09-11 19:50
74K
fdiff_10__t35_fdiff_10
2025-09-11 20:34
76K
fdiff_10__t38_fdiff_10
2025-09-11 20:38
76K
fdiff_10__t27_fdiff_10
2025-09-11 20:21
76K
fdiff_10__t28_fdiff_10
2025-09-11 20:23
76K
fdiff_10__t39_fdiff_10
2025-09-11 20:40
76K
fdiff_10__t25_fdiff_10
2025-09-11 20:18
77K
fdiff_10__t26_fdiff_10
2025-09-11 20:20
77K
fdiff_10__t11_fdiff_10
2025-09-11 19:57
79K
fdiff_10__t14_fdiff_10
2025-09-11 20:02
79K
fdiff_10__t17_fdiff_10
2025-09-11 20:06
86K
fdiff_10__t30_fdiff_10
2025-09-11 20:26
89K
fdiff_10__t29_fdiff_10
2025-09-11 20:25
90K
fdiff_10__t41_fdiff_10
2025-09-11 20:43
98K
fdiff_10__t42_fdiff_10
2025-09-11 20:45
100K
fdiff_10__t33_fdiff_10
2025-09-11 20:31
132K
fdiff_10__t31_fdiff_10
2025-09-11 20:28
134K
fdiff_10__t34_fdiff_10
2025-09-11 20:32
213K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80