Index of /~mptp/8.1.15_5.94.1493/MPTP2/problems_small_thf/latsubgr
Name
Last modified
Size
Description
Parent Directory
-
latsubgr__t1_latsubgr
2025-09-13 02:51
24K
latsubgr__t2_latsubgr
2025-09-13 02:52
19K
latsubgr__t3_latsubgr
2025-09-13 02:53
21K
latsubgr__t4_latsubgr
2025-09-13 02:54
24K
latsubgr__t5_latsubgr
2025-09-13 02:55
26K
latsubgr__t6_latsubgr
2025-09-13 02:56
29K
latsubgr__t7_latsubgr
2025-09-13 02:57
27K
latsubgr__t8_latsubgr
2025-09-13 02:58
21K
latsubgr__t9_latsubgr
2025-09-13 02:59
21K
latsubgr__t10_latsubgr
2025-09-13 02:59
21K
latsubgr__t11_latsubgr
2025-09-13 02:47
25K
latsubgr__t12_latsubgr
2025-09-13 03:00
22K
latsubgr__t13_latsubgr
2025-09-13 03:01
21K
latsubgr__t14_latsubgr
2025-09-13 03:02
21K
latsubgr__t15_latsubgr
2025-09-13 02:48
21K
latsubgr__t16_latsubgr
2025-09-13 03:03
22K
latsubgr__t17_latsubgr
2025-09-13 03:04
22K
latsubgr__t18_latsubgr
2025-09-13 03:05
24K
latsubgr__t19_latsubgr
2025-09-13 03:06
24K
latsubgr__t20_latsubgr
2025-09-13 03:07
30K
latsubgr__t21_latsubgr
2025-09-13 03:08
27K
latsubgr__t22_latsubgr
2025-09-13 03:09
38K
latsubgr__t23_latsubgr
2025-09-13 03:11
35K
latsubgr__t24_latsubgr
2025-09-13 02:49
30K
latsubgr__t25_latsubgr
2025-09-13 03:12
40K
latsubgr__t26_latsubgr
2025-09-13 03:14
39K
latsubgr__t27_latsubgr
2025-09-13 03:15
40K
latsubgr__t28_latsubgr
2025-09-13 03:17
43K
latsubgr__t29_latsubgr
2025-09-13 03:18
46K
latsubgr__t30_latsubgr
2025-09-13 03:20
39K
latsubgr__t31_latsubgr
2025-09-13 03:22
53K
latsubgr__t32_latsubgr
2025-09-13 03:24
59K
latsubgr__t33_latsubgr
2025-09-13 02:50
31K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80