Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_gdfthf/sheffer1
Name
Last modified
Size
Description
Parent Directory
-
sheffer1__t1_sheffer1
2019-08-20 18:13
31K
sheffer1__t2_sheffer1
2019-08-20 18:13
26K
sheffer1__t3_sheffer1
2019-08-20 18:13
26K
sheffer1__t4_sheffer1
2019-08-20 18:13
35K
sheffer1__t5_sheffer1
2019-08-20 18:13
35K
sheffer1__t6_sheffer1
2019-08-20 18:13
40K
sheffer1__t7_sheffer1
2019-08-20 18:13
40K
sheffer1__t8_sheffer1
2019-08-20 18:14
36K
sheffer1__t9_sheffer1
2019-08-20 18:14
35K
sheffer1__t10_sheffer1
2019-08-20 18:14
34K
sheffer1__t11_sheffer1
2019-08-20 18:14
35K
sheffer1__t12_sheffer1
2019-08-20 18:14
26K
sheffer1__t13_sheffer1
2019-08-20 18:14
36K
sheffer1__t14_sheffer1
2019-08-20 18:14
26K
sheffer1__t15_sheffer1
2019-08-20 18:15
36K
sheffer1__t16_sheffer1
2019-08-20 18:15
68K
sheffer1__t17_sheffer1
2019-08-20 18:16
68K
sheffer1__t18_sheffer1
2019-08-20 18:16
23K
sheffer1__t19_sheffer1
2019-08-20 18:16
23K
sheffer1__t20_sheffer1
2019-08-20 18:16
29K
sheffer1__t21_sheffer1
2019-08-20 18:16
29K
sheffer1__t22_sheffer1
2019-08-20 18:16
44K
sheffer1__t23_sheffer1
2019-08-20 18:17
38K
sheffer1__t24_sheffer1
2019-08-20 18:17
48K
sheffer1__t25_sheffer1
2019-08-20 18:17
68K
sheffer1__t26_sheffer1
2019-08-20 18:17
45K
sheffer1__t27_sheffer1
2019-08-20 18:18
67K
sheffer1__t28_sheffer1
2019-08-20 18:19
95K
sheffer1__t29_sheffer1
2019-08-20 18:19
27K
sheffer1__t30_sheffer1
2019-08-20 18:19
27K
sheffer1__t31_sheffer1
2019-08-20 18:19
45K
sheffer1__t32_sheffer1
2019-08-20 18:19
47K
sheffer1__t33_sheffer1
2019-08-20 18:19
47K
sheffer1__t34_sheffer1
2019-08-20 18:20
48K
sheffer1__t35_sheffer1
2019-08-20 18:20
82K
sheffer1__t36_sheffer1
2019-08-20 18:21
78K
sheffer1__t37_sheffer1
2019-08-20 18:23
202K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80