Index of /~mptp/8.1.15_5.94.1493/MPTP2/problems_small_thf/cfdiff_1
Name
Last modified
Size
Description
Parent Directory
-
cfdiff_1__l13_cfdiff_1
2025-09-13 14:07
49K
cfdiff_1__t1_cfdiff_1
2025-09-13 13:13
50K
cfdiff_1__t2_cfdiff_1
2025-09-13 13:17
77K
cfdiff_1__t3_cfdiff_1
2025-09-13 13:18
77K
cfdiff_1__t4_cfdiff_1
2025-09-13 13:20
49K
cfdiff_1__t5_cfdiff_1
2025-09-13 13:21
62K
cfdiff_1__t6_cfdiff_1
2025-09-13 13:22
47K
cfdiff_1__t7_cfdiff_1
2025-09-13 13:24
50K
cfdiff_1__t8_cfdiff_1
2025-09-13 13:14
46K
cfdiff_1__t9_cfdiff_1
2025-09-13 13:26
88K
cfdiff_1__t10_cfdiff_1
2025-09-13 13:27
46K
cfdiff_1__t11_cfdiff_1
2025-09-13 13:29
72K
cfdiff_1__t12_cfdiff_1
2025-09-13 13:15
34K
cfdiff_1__t13_cfdiff_1
2025-09-13 13:31
160K
cfdiff_1__t14_cfdiff_1
2025-09-13 13:33
147K
cfdiff_1__t15_cfdiff_1
2025-09-13 13:34
87K
cfdiff_1__t16_cfdiff_1
2025-09-13 13:36
74K
cfdiff_1__t17_cfdiff_1
2025-09-13 13:38
133K
cfdiff_1__t23_cfdiff_1
2025-09-13 13:40
119K
cfdiff_1__t24_cfdiff_1
2025-09-13 13:42
119K
cfdiff_1__t25_cfdiff_1
2025-09-13 13:44
77K
cfdiff_1__t26_cfdiff_1
2025-09-13 13:46
129K
cfdiff_1__t27_cfdiff_1
2025-09-13 13:48
121K
cfdiff_1__t28_cfdiff_1
2025-09-13 13:50
83K
cfdiff_1__t29_cfdiff_1
2025-09-13 13:52
103K
cfdiff_1__t30_cfdiff_1
2025-09-13 13:54
83K
cfdiff_1__t31_cfdiff_1
2025-09-13 13:55
88K
cfdiff_1__t32_cfdiff_1
2025-09-13 13:58
137K
cfdiff_1__t33_cfdiff_1
2025-09-13 14:00
116K
cfdiff_1__t35_cfdiff_1
2025-09-13 14:02
70K
cfdiff_1__t36_cfdiff_1
2025-09-13 14:03
87K
cfdiff_1__t38_cfdiff_1
2025-09-13 14:05
147K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80