Index of /~mptp/1147/MPTP2/problems/prvect_1
Name
Last modified
Size
Description
Parent Directory
-
prvect_1__l3_prvect_1
2023-06-28 00:29
41K
prvect_1__l5_prvect_1
2023-06-28 00:29
37K
prvect_1__l6_prvect_1
2023-06-28 00:29
36K
prvect_1__l7_prvect_1
2023-06-28 00:29
42K
prvect_1__l10_prvect_1
2023-06-28 00:29
44K
prvect_1__s1_prvect_1
2023-06-28 00:29
25K
prvect_1__t1_prvect_1
2023-06-28 00:29
38K
prvect_1__t2_prvect_1
2023-06-28 00:29
41K
prvect_1__t3_prvect_1
2023-06-28 00:29
43K
prvect_1__t4_prvect_1
2023-06-28 00:29
43K
prvect_1__t5_prvect_1
2023-06-28 00:29
43K
prvect_1__t6_prvect_1
2023-06-28 00:29
39K
prvect_1__t7_prvect_1
2023-06-28 00:29
39K
prvect_1__t8_prvect_1
2023-06-28 00:29
42K
prvect_1__t9_prvect_1
2023-06-28 00:29
53K
prvect_1__t10_prvect_1
2023-06-28 00:29
59K
prvect_1__t11_prvect_1
2023-06-28 00:29
31K
prvect_1__t12_prvect_1
2023-06-28 00:29
31K
prvect_1__t13_prvect_1
2023-06-28 00:29
36K
prvect_1__t14_prvect_1
2023-06-28 00:29
42K
prvect_1__t15_prvect_1
2023-06-28 00:29
40K
prvect_1__t16_prvect_1
2023-06-28 00:29
39K
prvect_1__t17_prvect_1
2023-06-28 00:29
41K
prvect_1__t18_prvect_1
2023-06-28 00:29
41K
prvect_1__t19_prvect_1
2023-06-28 00:29
41K
prvect_1__t20_prvect_1
2023-06-28 00:29
47K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80