Index of /~mptp/1147/MPTP2/problems/topreal8
Name
Last modified
Size
Description
Parent Directory
-
topreal8__l13_topreal8
2023-06-28 00:35
43K
topreal8__l34_topreal8
2023-06-28 00:35
65K
topreal8__l35_topreal8
2023-06-28 00:35
171K
topreal8__t1_topreal8
2023-06-28 00:35
25K
topreal8__t2_topreal8
2023-06-28 00:35
37K
topreal8__t3_topreal8
2023-06-28 00:35
50K
topreal8__t4_topreal8
2023-06-28 00:35
36K
topreal8__t5_topreal8
2023-06-28 00:35
42K
topreal8__t6_topreal8
2023-06-28 00:35
38K
topreal8__t7_topreal8
2023-06-28 00:35
50K
topreal8__t8_topreal8
2023-06-28 00:35
36K
topreal8__t9_topreal8
2023-06-28 00:35
61K
topreal8__t10_topreal8
2023-06-28 00:35
34K
topreal8__t11_topreal8
2023-06-28 00:35
34K
topreal8__t12_topreal8
2023-06-28 00:35
86K
topreal8__t13_topreal8
2023-06-28 00:35
76K
topreal8__t14_topreal8
2023-06-28 00:35
53K
topreal8__t15_topreal8
2023-06-28 00:35
82K
topreal8__t16_topreal8
2023-06-28 00:35
57K
topreal8__t17_topreal8
2023-06-28 00:35
80K
topreal8__t18_topreal8
2023-06-28 00:35
58K
topreal8__t19_topreal8
2023-06-28 00:35
61K
topreal8__t20_topreal8
2023-06-28 00:35
61K
topreal8__t21_topreal8
2023-06-28 00:35
83K
topreal8__t22_topreal8
2023-06-28 00:35
55K
topreal8__t23_topreal8
2023-06-28 00:35
50K
topreal8__t24_topreal8
2023-06-28 00:35
83K
topreal8__t25_topreal8
2023-06-28 00:35
93K
topreal8__t26_topreal8
2023-06-28 00:35
96K
topreal8__t27_topreal8
2023-06-28 00:35
371K
topreal8__t28_topreal8
2023-06-28 00:35
57K
topreal8__t29_topreal8
2023-06-28 00:35
58K
topreal8__t30_topreal8
2023-06-28 00:35
62K
topreal8__t31_topreal8
2023-06-28 00:35
55K
topreal8__t32_topreal8
2023-06-28 00:35
172K
topreal8__t33_topreal8
2023-06-28 00:35
190K
topreal8__t34_topreal8
2023-06-28 00:35
187K
topreal8__t35_topreal8
2023-06-28 00:35
100K
topreal8__t36_topreal8
2023-06-28 00:35
395K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80