Index of /~mptp/mml5.63.1382/MPTP2/problems/sheffer1
Name
Last modified
Size
Description
Parent Directory
-
sheffer1__t1_sheffer1
2023-06-28 17:34
20K
sheffer1__t2_sheffer1
2023-06-28 17:35
14K
sheffer1__t3_sheffer1
2023-06-28 17:35
14K
sheffer1__t4_sheffer1
2023-06-28 17:35
15K
sheffer1__t5_sheffer1
2023-06-28 17:35
15K
sheffer1__t6_sheffer1
2023-06-28 17:36
15K
sheffer1__t7_sheffer1
2023-06-28 17:36
15K
sheffer1__t8_sheffer1
2023-06-28 17:36
16K
sheffer1__t9_sheffer1
2023-06-28 17:37
16K
sheffer1__t10_sheffer1
2023-06-28 17:37
15K
sheffer1__t11_sheffer1
2023-06-28 17:37
15K
sheffer1__t12_sheffer1
2023-06-28 17:37
12K
sheffer1__t13_sheffer1
2023-06-28 17:38
16K
sheffer1__t14_sheffer1
2023-06-28 17:38
12K
sheffer1__t15_sheffer1
2023-06-28 17:38
16K
sheffer1__t16_sheffer1
2023-06-28 17:39
16K
sheffer1__t17_sheffer1
2023-06-28 17:39
16K
sheffer1__t18_sheffer1
2023-06-28 17:39
13K
sheffer1__t19_sheffer1
2023-06-28 17:39
13K
sheffer1__t20_sheffer1
2023-06-28 17:40
17K
sheffer1__t21_sheffer1
2023-06-28 17:40
17K
sheffer1__t22_sheffer1
2023-06-28 17:33
14K
sheffer1__t23_sheffer1
2023-06-28 17:40
16K
sheffer1__t24_sheffer1
2023-06-28 17:41
22K
sheffer1__t25_sheffer1
2023-06-28 17:41
25K
sheffer1__t26_sheffer1
2023-06-28 17:42
32K
sheffer1__t27_sheffer1
2023-06-28 17:42
37K
sheffer1__t28_sheffer1
2023-06-28 17:43
36K
sheffer1__t29_sheffer1
2023-06-28 17:33
26K
sheffer1__t30_sheffer1
2023-06-28 17:34
25K
sheffer1__t31_sheffer1
2023-06-28 17:43
26K
sheffer1__t32_sheffer1
2023-06-28 17:44
27K
sheffer1__t33_sheffer1
2023-06-28 17:44
30K
sheffer1__t34_sheffer1
2023-06-28 17:45
30K
sheffer1__t35_sheffer1
2023-06-28 17:45
31K
sheffer1__t36_sheffer1
2023-06-28 17:46
31K
sheffer1__t37_sheffer1
2023-06-28 17:46
34K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80