Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_isof_tls1/menelaus

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]menelaus__l15_menelaus2017-01-13 17:47 259K 
[ ]menelaus__l18_menelaus2017-01-13 17:47 194K 
[ ]menelaus__l19_menelaus2017-01-13 17:47 193K 
[ ]menelaus__l20_menelaus2017-01-13 17:47 200K 
[ ]menelaus__l21_menelaus2017-01-13 17:47 123K 
[ ]menelaus__l23_menelaus2017-01-13 17:47 212K 
[ ]menelaus__l28_menelaus2017-01-13 17:47 927K 
[ ]menelaus__t1_menelaus2017-01-13 17:47 85K 
[ ]menelaus__t2_menelaus2017-01-13 17:47 82K 
[ ]menelaus__t3_menelaus2017-01-13 17:47 80K 
[ ]menelaus__t4_menelaus2017-01-13 17:47 107K 
[ ]menelaus__t5_menelaus2017-01-13 17:47 96K 
[ ]menelaus__t6_menelaus2017-01-13 17:47 97K 
[ ]menelaus__t7_menelaus2017-01-13 17:47 300K 
[ ]menelaus__t8_menelaus2017-01-13 17:47 88K 
[ ]menelaus__t9_menelaus2017-01-13 17:47 547K 
[ ]menelaus__t10_menelaus2017-01-13 17:47 177K 
[ ]menelaus__t11_menelaus2017-01-13 17:47 488K 
[ ]menelaus__t12_menelaus2017-01-13 17:47 101K 
[ ]menelaus__t13_menelaus2017-01-13 17:47 222K 
[ ]menelaus__t14_menelaus2017-01-13 17:47 148K 
[ ]menelaus__t15_menelaus2017-01-13 17:47 172K 
[ ]menelaus__t16_menelaus2017-01-13 17:47 190K 
[ ]menelaus__t17_menelaus2017-01-13 17:47 260K 
[ ]menelaus__t18_menelaus2017-01-13 17:47 191K 
[ ]menelaus__t19_menelaus2017-01-13 17:47 840K 
[ ]menelaus__t20_menelaus2017-01-13 17:47 1.5M 
[ ]menelaus__t21_menelaus2017-01-13 17:47 390K 
[ ]menelaus__t22_menelaus2017-01-13 17:47 195K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80