Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_from/euclid_7
Name
Last modified
Size
Description
Parent Directory
-
euclid_7__e2_57_1_1
2017-01-12 23:27
56K
euclid_7__e4_53
2017-01-12 23:27
48K
euclid_7__e4_90_1_1_2
2017-01-12 23:27
52K
euclid_7__e6_11
2017-01-12 23:27
44K
euclid_7__e6_74_1_1_1
2017-01-12 23:27
72K
euclid_7__e6_92_1_1_1
2017-01-12 23:27
73K
euclid_7__e6_101_1_2_1_2
2017-01-12 23:27
56K
euclid_7__e7_8_1_1_2
2017-01-12 23:27
46K
euclid_7__e8_9
2017-01-12 23:27
46K
euclid_7__e8_46_1_1_1_1_5_1_3
2017-01-12 23:27
70K
euclid_7__e9_44_1_2
2017-01-12 23:27
53K
euclid_7__e9_47_2_1
2017-01-12 23:27
58K
euclid_7__e10_46_1_1_1_1_5_1_4
2017-01-12 23:27
64K
euclid_7__e10_94
2017-01-12 23:27
67K
euclid_7__e11_58_1_1_1
2017-01-12 23:27
57K
euclid_7__e11_93
2017-01-12 23:27
67K
euclid_7__e12_44_1_1_1_1
2017-01-12 23:27
58K
euclid_7__e12_46_1_1_1_1_5_1_2
2017-01-12 23:27
62K
euclid_7__e13_94
2017-01-12 23:27
69K
euclid_7__e14_93
2017-01-12 23:27
69K
euclid_7__e16_48_2_1_4_1
2017-01-12 23:27
55K
euclid_7__e17_101_1_2_1
2017-01-12 23:27
65K
euclid_7__e20_46_1_1
2017-01-12 23:27
64K
euclid_7__e21_86
2017-01-12 23:27
68K
euclid_7__e23_101_1_2_1_1_1_1_1_1
2017-01-12 23:27
71K
euclid_7__e24_73
2017-01-12 23:27
68K
euclid_7__e25_86
2017-01-12 23:27
80K
euclid_7__e28_73
2017-01-12 23:27
79K
euclid_7__e39_48_2_1
2017-01-12 23:27
53K
euclid_7__e43_48_2_1
2017-01-12 23:27
55K
euclid_7__e48_48_2_1
2017-01-12 23:27
55K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80