Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_gdfthf/menelaus
Name
Last modified
Size
Description
Parent Directory
-
menelaus__l15_menelaus
2019-08-21 10:40
571K
menelaus__l18_menelaus
2019-08-21 10:41
379K
menelaus__l19_menelaus
2019-08-21 10:42
336K
menelaus__l20_menelaus
2019-08-21 10:42
477K
menelaus__l21_menelaus
2019-08-21 10:42
195K
menelaus__l23_menelaus
2019-08-21 10:43
595K
menelaus__l28_menelaus
2019-08-21 10:48
1.8M
menelaus__t1_menelaus
2019-08-21 10:35
82K
menelaus__t2_menelaus
2019-08-21 10:36
80K
menelaus__t3_menelaus
2019-08-21 10:36
75K
menelaus__t4_menelaus
2019-08-21 10:36
144K
menelaus__t5_menelaus
2019-08-21 10:36
116K
menelaus__t6_menelaus
2019-08-21 10:36
133K
menelaus__t7_menelaus
2019-08-21 10:37
475K
menelaus__t8_menelaus
2019-08-21 10:37
112K
menelaus__t9_menelaus
2019-08-21 10:38
1.0M
menelaus__t10_menelaus
2019-08-21 10:39
262K
menelaus__t11_menelaus
2019-08-21 10:39
800K
menelaus__t12_menelaus
2019-08-21 10:39
103K
menelaus__t13_menelaus
2019-08-21 10:40
312K
menelaus__t14_menelaus
2019-08-21 10:40
126K
menelaus__t15_menelaus
2019-08-21 10:41
401K
menelaus__t16_menelaus
2019-08-21 10:43
328K
menelaus__t17_menelaus
2019-08-21 10:44
675K
menelaus__t18_menelaus
2019-08-21 10:44
477K
menelaus__t19_menelaus
2019-08-21 10:47
3.2M
menelaus__t20_menelaus
2019-08-21 10:47
3.2M
menelaus__t21_menelaus
2019-08-21 10:50
646K
menelaus__t22_menelaus
2019-08-21 10:51
441K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80