Index of /~mptp/mml5.63.1382/8.1.10_5.63.1382/mptp/problems/closure1
Name
Last modified
Size
Description
Parent Directory
-
closure1__l3_closure1
2023-06-28 17:03
32K
closure1__l29_closure1
2023-06-28 17:03
46K
closure1__s1_closure1
2023-06-28 16:50
35K
closure1__t1_closure1
2023-06-28 16:50
13K
closure1__t2_closure1
2023-06-28 16:49
13K
closure1__t3_closure1
2023-06-28 16:50
31K
closure1__t4_closure1
2023-06-28 16:50
31K
closure1__t5_closure1
2023-06-28 16:51
27K
closure1__t6_closure1
2023-06-28 16:51
41K
closure1__t7_closure1
2023-06-28 16:51
42K
closure1__t8_closure1
2023-06-28 16:52
34K
closure1__t9_closure1
2023-06-28 16:52
26K
closure1__t10_closure1
2023-06-28 16:52
23K
closure1__t11_closure1
2023-06-28 16:52
53K
closure1__t12_closure1
2023-06-28 16:53
28K
closure1__t13_closure1
2023-06-28 16:53
33K
closure1__t14_closure1
2023-06-28 16:53
28K
closure1__t15_closure1
2023-06-28 16:54
42K
closure1__t16_closure1
2023-06-28 16:54
35K
closure1__t17_closure1
2023-06-28 16:54
35K
closure1__t18_closure1
2023-06-28 16:55
41K
closure1__t19_closure1
2023-06-28 16:55
44K
closure1__t20_closure1
2023-06-28 16:55
42K
closure1__t21_closure1
2023-06-28 16:56
42K
closure1__t22_closure1
2023-06-28 16:56
42K
closure1__t23_closure1
2023-06-28 16:56
46K
closure1__t24_closure1
2023-06-28 16:57
51K
closure1__t25_closure1
2023-06-28 16:57
51K
closure1__t26_closure1
2023-06-28 16:57
50K
closure1__t27_closure1
2023-06-28 16:58
56K
closure1__t28_closure1
2023-06-28 16:58
40K
closure1__t29_closure1
2023-06-28 16:58
34K
closure1__t30_closure1
2023-06-28 16:59
66K
closure1__t31_closure1
2023-06-28 16:59
32K
closure1__t32_closure1
2023-06-28 17:00
45K
closure1__t33_closure1
2023-06-28 17:00
59K
closure1__t34_closure1
2023-06-28 17:00
38K
closure1__t35_closure1
2023-06-28 17:01
38K
closure1__t36_closure1
2023-06-28 17:01
41K
closure1__t37_closure1
2023-06-28 17:01
42K
closure1__t38_closure1
2023-06-28 16:49
42K
closure1__t39_closure1
2023-06-28 17:02
74K
closure1__t40_closure1
2023-06-28 17:02
76K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80