Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_tl.bad_dt_f/menelaus

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]menelaus__l15_menelaus2016-03-08 13:07 210K 
[ ]menelaus__l18_menelaus2017-01-05 20:54 149K 
[ ]menelaus__l19_menelaus2017-01-05 20:54 149K 
[ ]menelaus__l20_menelaus2016-03-08 13:07 172K 
[ ]menelaus__l21_menelaus2016-03-08 13:07 102K 
[ ]menelaus__l23_menelaus2017-01-05 20:54 166K 
[ ]menelaus__l28_menelaus2016-03-08 13:07 825K 
[ ]menelaus__t1_menelaus2016-03-08 13:07 56K 
[ ]menelaus__t2_menelaus2016-03-08 13:07 54K 
[ ]menelaus__t3_menelaus2016-03-08 13:07 53K 
[ ]menelaus__t4_menelaus2016-03-08 13:07 72K 
[ ]menelaus__t5_menelaus2016-03-08 13:07 64K 
[ ]menelaus__t6_menelaus2016-03-08 13:07 65K 
[ ]menelaus__t7_menelaus2016-03-08 13:07 248K 
[ ]menelaus__t8_menelaus2016-03-08 13:07 59K 
[ ]menelaus__t9_menelaus2017-01-05 20:54 476K 
[ ]menelaus__t10_menelaus2016-03-08 13:07 137K 
[ ]menelaus__t11_menelaus2016-03-08 13:07 422K 
[ ]menelaus__t12_menelaus2017-01-05 20:54 67K 
[ ]menelaus__t13_menelaus2017-01-05 20:54 173K 
[ ]menelaus__t14_menelaus2017-01-05 20:54 111K 
[ ]menelaus__t15_menelaus2016-03-08 13:07 134K 
[ ]menelaus__t16_menelaus2017-01-05 20:54 147K 
[ ]menelaus__t17_menelaus2016-03-08 13:07 211K 
[ ]menelaus__t18_menelaus2016-03-08 13:07 147K 
[ ]menelaus__t19_menelaus2016-03-08 13:07 744K 
[ ]menelaus__t20_menelaus2016-03-08 13:07 1.3M 
[ ]menelaus__t21_menelaus2017-01-05 20:54 332K 
[ ]menelaus__t22_menelaus2017-01-05 20:54 151K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80