Index of /~mptp/mml5.63.1382/MPTP2/problems/roughs_4
Name
Last modified
Size
Description
Parent Directory
-
roughs_4__l37_roughs_4
2023-06-28 18:39
60K
roughs_4__t1_roughs_4
2023-06-28 18:27
30K
roughs_4__t2_roughs_4
2023-06-28 18:28
40K
roughs_4__t3_roughs_4
2023-06-28 18:28
37K
roughs_4__t4_roughs_4
2023-06-28 18:29
58K
roughs_4__t5_roughs_4
2023-06-28 18:29
47K
roughs_4__t6_roughs_4
2023-06-28 18:30
50K
roughs_4__t7_roughs_4
2023-06-28 18:30
53K
roughs_4__t8_roughs_4
2023-06-28 18:31
53K
roughs_4__t9_roughs_4
2023-06-28 18:31
64K
roughs_4__t10_roughs_4
2023-06-28 18:32
64K
roughs_4__t11_roughs_4
2023-06-28 18:33
64K
roughs_4__t12_roughs_4
2023-06-28 18:33
67K
roughs_4__t13_roughs_4
2023-06-28 18:27
66K
roughs_4__t14_roughs_4
2023-06-28 18:34
67K
roughs_4__t15_roughs_4
2023-06-28 18:34
68K
roughs_4__t16_roughs_4
2023-06-28 18:35
66K
roughs_4__t17_roughs_4
2023-06-28 18:36
68K
roughs_4__t18_roughs_4
2023-06-28 18:27
69K
roughs_4__t19_roughs_4
2023-06-28 18:36
69K
roughs_4__t20_roughs_4
2023-06-28 18:37
78K
roughs_4__t21_roughs_4
2023-06-28 18:37
75K
roughs_4__t22_roughs_4
2023-06-28 18:38
86K
roughs_4__t23_roughs_4
2023-06-28 18:39
84K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80