Index of /~mptp/1147/MPTP2/problems_gdfthf/prvect_1
Name
Last modified
Size
Description
Parent Directory
-
prvect_1__l3_prvect_1
2019-08-25 00:51
86K
prvect_1__l5_prvect_1
2019-08-25 00:51
67K
prvect_1__l6_prvect_1
2019-08-25 00:51
54K
prvect_1__l7_prvect_1
2019-08-25 00:51
77K
prvect_1__l10_prvect_1
2019-08-25 00:52
101K
prvect_1__s1_prvect_1
2019-08-25 00:54
56K
prvect_1__t1_prvect_1
2019-08-25 00:51
69K
prvect_1__t2_prvect_1
2019-08-25 00:51
86K
prvect_1__t3_prvect_1
2019-08-25 00:51
82K
prvect_1__t4_prvect_1
2019-08-25 00:51
78K
prvect_1__t5_prvect_1
2019-08-25 00:52
78K
prvect_1__t6_prvect_1
2019-08-25 00:52
75K
prvect_1__t7_prvect_1
2019-08-25 00:52
90K
prvect_1__t8_prvect_1
2019-08-25 00:52
94K
prvect_1__t9_prvect_1
2019-08-25 00:52
145K
prvect_1__t10_prvect_1
2019-08-25 00:53
529K
prvect_1__t11_prvect_1
2019-08-25 00:54
55K
prvect_1__t12_prvect_1
2019-08-25 00:54
54K
prvect_1__t13_prvect_1
2019-08-25 00:54
76K
prvect_1__t14_prvect_1
2019-08-25 00:54
123K
prvect_1__t15_prvect_1
2019-08-25 00:54
75K
prvect_1__t16_prvect_1
2019-08-25 00:54
85K
prvect_1__t17_prvect_1
2019-08-25 00:54
91K
prvect_1__t18_prvect_1
2019-08-25 00:54
102K
prvect_1__t19_prvect_1
2019-08-25 00:54
115K
prvect_1__t20_prvect_1
2019-08-25 00:55
208K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80