Index of /~mptp/8.1.15_5.94.1493/MPTP2/problems_small_thf/fdiff_12
Name
Last modified
Size
Description
Parent Directory
-
fdiff_12__l24_fdiff_12
2025-09-11 18:17
38K
fdiff_12__l12_fdiff_12
2025-09-11 18:12
39K
fdiff_12__l13_fdiff_12
2025-09-11 18:14
39K
fdiff_12__l27_fdiff_12
2025-09-11 16:33
42K
fdiff_12__t3_fdiff_12
2025-09-11 16:39
45K
fdiff_12__l7_fdiff_12
2025-09-11 18:11
45K
fdiff_12__l75_fdiff_12
2025-09-11 18:38
46K
fdiff_12__l76_fdiff_12
2025-09-11 18:40
47K
fdiff_12__l77_fdiff_12
2025-09-11 18:41
47K
fdiff_12__l25_fdiff_12
2025-09-11 18:18
48K
fdiff_12__l26_fdiff_12
2025-09-11 18:19
48K
fdiff_12__l78_fdiff_12
2025-09-11 18:43
48K
fdiff_12__l5_fdiff_12
2025-09-11 18:08
49K
fdiff_12__l6_fdiff_12
2025-09-11 18:10
49K
fdiff_12__l4_fdiff_12
2025-09-11 18:07
49K
fdiff_12__t2_fdiff_12
2025-09-11 16:37
49K
fdiff_12__t21_fdiff_12
2025-09-11 17:15
52K
fdiff_12__t22_fdiff_12
2025-09-11 17:17
52K
fdiff_12__l21_fdiff_12
2025-09-11 18:15
59K
fdiff_12__t8_fdiff_12
2025-09-11 16:50
63K
fdiff_12__t16_fdiff_12
2025-09-11 17:04
63K
fdiff_12__t17_fdiff_12
2025-09-11 17:06
63K
fdiff_12__t32_fdiff_12
2025-09-11 17:37
64K
fdiff_12__t12_fdiff_12
2025-09-11 16:54
64K
fdiff_12__t26_fdiff_12
2025-09-11 17:25
65K
fdiff_12__t7_fdiff_12
2025-09-11 16:48
65K
fdiff_12__t33_fdiff_12
2025-09-11 17:39
67K
fdiff_12__t29_fdiff_12
2025-09-11 17:32
67K
fdiff_12__t30_fdiff_12
2025-09-11 17:33
67K
fdiff_12__t31_fdiff_12
2025-09-11 17:35
67K
fdiff_12__t6_fdiff_12
2025-09-11 16:46
72K
fdiff_12__t39_fdiff_12
2025-09-11 17:50
77K
fdiff_12__t38_fdiff_12
2025-09-11 17:48
80K
fdiff_12__t35_fdiff_12
2025-09-11 17:42
80K
fdiff_12__t36_fdiff_12
2025-09-11 17:44
80K
fdiff_12__t37_fdiff_12
2025-09-11 17:46
81K
fdiff_12__t44_fdiff_12
2025-09-11 17:52
87K
fdiff_12__t47_fdiff_12
2025-09-11 17:54
87K
fdiff_12__t23_fdiff_12
2025-09-11 17:19
90K
fdiff_12__l28_fdiff_12
2025-09-11 18:21
90K
fdiff_12__l29_fdiff_12
2025-09-11 18:23
90K
fdiff_12__t34_fdiff_12
2025-09-11 17:41
93K
fdiff_12__t1_fdiff_12
2025-09-11 16:35
94K
fdiff_12__t19_fdiff_12
2025-09-11 17:11
99K
fdiff_12__t52_fdiff_12
2025-09-11 18:05
105K
fdiff_12__t24_fdiff_12
2025-09-11 17:21
106K
fdiff_12__t20_fdiff_12
2025-09-11 17:13
127K
fdiff_12__t28_fdiff_12
2025-09-11 17:30
128K
fdiff_12__t27_fdiff_12
2025-09-11 17:28
128K
fdiff_12__t11_fdiff_12
2025-09-11 16:52
135K
fdiff_12__t14_fdiff_12
2025-09-11 16:59
142K
fdiff_12__t13_fdiff_12
2025-09-11 16:57
142K
fdiff_12__t25_fdiff_12
2025-09-11 17:23
147K
fdiff_12__l38_fdiff_12
2025-09-11 18:25
152K
fdiff_12__l39_fdiff_12
2025-09-11 18:27
152K
fdiff_12__l41_fdiff_12
2025-09-11 18:32
156K
fdiff_12__l40_fdiff_12
2025-09-11 18:30
156K
fdiff_12__t51_fdiff_12
2025-09-11 18:03
161K
fdiff_12__t48_fdiff_12
2025-09-11 17:56
161K
fdiff_12__t50_fdiff_12
2025-09-11 18:01
161K
fdiff_12__t49_fdiff_12
2025-09-11 17:59
161K
fdiff_12__l61_fdiff_12
2025-09-11 18:34
164K
fdiff_12__l63_fdiff_12
2025-09-11 18:37
164K
fdiff_12__t15_fdiff_12
2025-09-11 17:02
168K
fdiff_12__l81_fdiff_12
2025-09-11 18:51
186K
fdiff_12__t18_fdiff_12
2025-09-11 17:09
196K
fdiff_12__t4_fdiff_12
2025-09-11 16:41
243K
fdiff_12__t5_fdiff_12
2025-09-11 16:44
245K
fdiff_12__l80_fdiff_12
2025-09-11 18:48
263K
fdiff_12__l79_fdiff_12
2025-09-11 18:45
263K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80