Index of /~mptp/1147/MPTP2/problems_thf_tls/menelaus
Name
Last modified
Size
Description
Parent Directory
-
menelaus__l15_menelaus
2017-01-12 22:00
210K
menelaus__l18_menelaus
2017-01-12 22:00
149K
menelaus__l19_menelaus
2017-01-12 22:00
149K
menelaus__l20_menelaus
2017-01-12 22:00
172K
menelaus__l21_menelaus
2017-01-12 22:00
102K
menelaus__l23_menelaus
2017-01-12 22:00
166K
menelaus__l28_menelaus
2017-01-12 22:00
825K
menelaus__t1_menelaus
2017-01-12 22:00
56K
menelaus__t2_menelaus
2017-01-12 22:00
54K
menelaus__t3_menelaus
2017-01-12 22:00
53K
menelaus__t4_menelaus
2017-01-12 22:00
72K
menelaus__t5_menelaus
2017-01-12 22:00
64K
menelaus__t6_menelaus
2017-01-12 22:00
65K
menelaus__t7_menelaus
2017-01-12 22:00
248K
menelaus__t8_menelaus
2017-01-12 22:00
59K
menelaus__t9_menelaus
2017-01-12 22:00
476K
menelaus__t10_menelaus
2017-01-12 22:00
137K
menelaus__t11_menelaus
2017-01-12 22:00
422K
menelaus__t12_menelaus
2017-01-12 22:00
67K
menelaus__t13_menelaus
2017-01-12 22:00
173K
menelaus__t14_menelaus
2017-01-12 22:00
111K
menelaus__t15_menelaus
2017-01-12 22:00
134K
menelaus__t16_menelaus
2017-01-12 22:00
147K
menelaus__t17_menelaus
2017-01-12 22:00
211K
menelaus__t18_menelaus
2017-01-12 22:00
147K
menelaus__t19_menelaus
2017-01-12 22:00
744K
menelaus__t20_menelaus
2017-01-12 22:00
1.3M
menelaus__t21_menelaus
2017-01-12 22:00
332K
menelaus__t22_menelaus
2017-01-12 22:00
151K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80