Index of /~mptp/mml5.63.1382/MPTP2/problems/menelaus

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]menelaus__l15_menelaus2023-06-28 19:32 203K 
[ ]menelaus__l18_menelaus2023-06-28 19:33 131K 
[ ]menelaus__l19_menelaus2023-06-28 19:33 130K 
[ ]menelaus__l20_menelaus2023-06-28 19:34 184K 
[ ]menelaus__l21_menelaus2023-06-28 19:34 103K 
[ ]menelaus__l23_menelaus2023-06-28 19:35 155K 
[ ]menelaus__l28_menelaus2023-06-28 19:35 1.0M 
[ ]menelaus__t1_menelaus2023-06-28 19:19 31K 
[ ]menelaus__t2_menelaus2023-06-28 19:20 31K 
[ ]menelaus__t3_menelaus2023-06-28 19:20 30K 
[ ]menelaus__t4_menelaus2023-06-28 19:21 50K 
[ ]menelaus__t5_menelaus2023-06-28 19:21 42K 
[ ]menelaus__t6_menelaus2023-06-28 19:22 42K 
[ ]menelaus__t7_menelaus2023-06-28 19:23 251K 
[ ]menelaus__t8_menelaus2023-06-28 19:23 193K 
[ ]menelaus__t9_menelaus2023-06-28 19:24 515K 
[ ]menelaus__t10_menelaus2023-06-28 19:24 118K 
[ ]menelaus__t11_menelaus2023-06-28 19:25 468K 
[ ]menelaus__t12_menelaus2023-06-28 19:25 44K 
[ ]menelaus__t13_menelaus2023-06-28 19:26 162K 
[ ]menelaus__t14_menelaus2023-06-28 19:27 91K 
[ ]menelaus__t15_menelaus2023-06-28 19:19 25K 
[ ]menelaus__t16_menelaus2023-06-28 19:27 130K 
[ ]menelaus__t17_menelaus2023-06-28 19:28 203K 
[ ]menelaus__t18_menelaus2023-06-28 19:28 128K 
[ ]menelaus__t19_menelaus2023-06-28 19:29 946K 
[ ]menelaus__t20_menelaus2023-06-28 19:30 1.9M 
[ ]menelaus__t21_menelaus2023-06-28 19:31 351K 
[ ]menelaus__t22_menelaus2023-06-28 19:31 134K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80