Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_gdfthf/group_10
Name
Last modified
Size
Description
Parent Directory
-
group_10__t9_group_10
2019-08-23 09:08
1.0M
group_10__t13_group_10
2019-08-23 09:15
1.0M
group_10__t10_group_10
2019-08-23 09:11
750K
group_10__t8_group_10
2019-08-23 09:05
680K
group_10__l31_group_10
2019-08-23 09:17
666K
group_10__t12_group_10
2019-08-23 09:12
585K
group_10__t2_group_10
2019-08-23 09:03
553K
group_10__t11_group_10
2019-08-23 09:11
352K
group_10__s1_group_10
2019-08-23 09:02
349K
group_10__l32_group_10
2019-08-23 09:08
294K
group_10__l34_group_10
2019-08-23 09:09
204K
group_10__t6_group_10
2019-08-23 09:03
178K
group_10__l33_group_10
2019-08-23 09:08
169K
group_10__t4_group_10
2019-08-23 09:03
146K
group_10__t5_group_10
2019-08-23 09:03
144K
group_10__l30_group_10
2019-08-23 09:15
134K
group_10__l29_group_10
2019-08-23 09:08
115K
group_10__t7_group_10
2019-08-23 09:04
114K
group_10__t3_group_10
2019-08-23 09:03
104K
group_10__l42_group_10
2019-08-23 09:13
95K
group_10__t1_group_10
2019-08-23 09:02
86K
group_10__l36_group_10
2019-08-23 09:11
76K
group_10__l26_group_10
2019-08-23 09:05
75K
group_10__t16_group_10
2019-08-23 09:15
67K
group_10__t15_group_10
2019-08-23 09:15
60K
group_10__t17_group_10
2019-08-23 09:15
56K
group_10__t14_group_10
2019-08-23 09:17
50K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80