Index of /~mptp/8.1.15_5.94.1493/MPTP2/problems_small_thf/cfuncdom
Name
Last modified
Size
Description
Parent Directory
-
cfuncdom__l6_cfuncdom
2025-09-13 03:21
19K
cfuncdom__l21_cfuncdom
2025-09-13 03:23
40K
cfuncdom__l31_cfuncdom
2025-09-13 03:23
11K
cfuncdom__l34_cfuncdom
2025-09-13 03:25
44K
cfuncdom__l38_cfuncdom
2025-09-13 03:27
47K
cfuncdom__t1_cfuncdom
2025-09-13 02:43
39K
cfuncdom__t2_cfuncdom
2025-09-13 02:45
40K
cfuncdom__t3_cfuncdom
2025-09-13 02:46
31K
cfuncdom__t4_cfuncdom
2025-09-13 02:47
35K
cfuncdom__t5_cfuncdom
2025-09-13 02:49
34K
cfuncdom__t6_cfuncdom
2025-09-13 02:50
34K
cfuncdom__t7_cfuncdom
2025-09-13 02:51
35K
cfuncdom__t8_cfuncdom
2025-09-13 02:52
35K
cfuncdom__t9_cfuncdom
2025-09-13 02:54
36K
cfuncdom__t10_cfuncdom
2025-09-13 02:55
37K
cfuncdom__t11_cfuncdom
2025-09-13 02:57
53K
cfuncdom__t12_cfuncdom
2025-09-13 02:58
35K
cfuncdom__t13_cfuncdom
2025-09-13 02:59
37K
cfuncdom__t14_cfuncdom
2025-09-13 03:01
50K
cfuncdom__t15_cfuncdom
2025-09-13 03:02
38K
cfuncdom__t16_cfuncdom
2025-09-13 03:04
38K
cfuncdom__t17_cfuncdom
2025-09-13 03:05
28K
cfuncdom__t18_cfuncdom
2025-09-13 03:06
42K
cfuncdom__t19_cfuncdom
2025-09-13 03:08
33K
cfuncdom__t20_cfuncdom
2025-09-13 03:09
43K
cfuncdom__t21_cfuncdom
2025-09-13 03:11
33K
cfuncdom__t22_cfuncdom
2025-09-13 03:12
37K
cfuncdom__t23_cfuncdom
2025-09-13 03:14
45K
cfuncdom__t24_cfuncdom
2025-09-13 03:16
72K
cfuncdom__t25_cfuncdom
2025-09-13 03:18
51K
cfuncdom__t26_cfuncdom
2025-09-13 03:20
85K
cfuncdom__t27_cfuncdom
2025-09-13 02:38
39K
cfuncdom__t28_cfuncdom
2025-09-13 02:40
34K
cfuncdom__t29_cfuncdom
2025-09-13 02:42
39K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80