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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]menelaus__l15_menelaus2019-08-21 10:40 571K 
[ ]menelaus__l18_menelaus2019-08-21 10:41 379K 
[ ]menelaus__l19_menelaus2019-08-21 10:42 336K 
[ ]menelaus__l20_menelaus2019-08-21 10:42 477K 
[ ]menelaus__l21_menelaus2019-08-21 10:42 195K 
[ ]menelaus__l23_menelaus2019-08-21 10:43 595K 
[ ]menelaus__l28_menelaus2019-08-21 10:48 1.8M 
[ ]menelaus__t1_menelaus2019-08-21 10:35 82K 
[ ]menelaus__t2_menelaus2019-08-21 10:36 80K 
[ ]menelaus__t3_menelaus2019-08-21 10:36 75K 
[ ]menelaus__t4_menelaus2019-08-21 10:36 144K 
[ ]menelaus__t5_menelaus2019-08-21 10:36 116K 
[ ]menelaus__t6_menelaus2019-08-21 10:36 133K 
[ ]menelaus__t7_menelaus2019-08-21 10:37 475K 
[ ]menelaus__t8_menelaus2019-08-21 10:37 112K 
[ ]menelaus__t9_menelaus2019-08-21 10:38 1.0M 
[ ]menelaus__t10_menelaus2019-08-21 10:39 262K 
[ ]menelaus__t11_menelaus2019-08-21 10:39 800K 
[ ]menelaus__t12_menelaus2019-08-21 10:39 103K 
[ ]menelaus__t13_menelaus2019-08-21 10:40 312K 
[ ]menelaus__t14_menelaus2019-08-21 10:40 126K 
[ ]menelaus__t15_menelaus2019-08-21 10:41 401K 
[ ]menelaus__t16_menelaus2019-08-21 10:43 328K 
[ ]menelaus__t17_menelaus2019-08-21 10:44 675K 
[ ]menelaus__t18_menelaus2019-08-21 10:44 477K 
[ ]menelaus__t19_menelaus2019-08-21 10:47 3.2M 
[ ]menelaus__t20_menelaus2019-08-21 10:47 3.2M 
[ ]menelaus__t21_menelaus2019-08-21 10:50 646K 
[ ]menelaus__t22_menelaus2019-08-21 10:51 441K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80