Index of /~mptp/1147/MPTP2/problems/menelaus

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]menelaus__l15_menelaus2023-06-28 00:32 217K 
[ ]menelaus__l18_menelaus2023-06-28 00:32 152K 
[ ]menelaus__l19_menelaus2023-06-28 00:32 152K 
[ ]menelaus__l20_menelaus2023-06-28 00:32 178K 
[ ]menelaus__l21_menelaus2023-06-28 00:32 105K 
[ ]menelaus__l23_menelaus2023-06-28 00:32 170K 
[ ]menelaus__l28_menelaus2023-06-28 00:32 859K 
[ ]menelaus__t1_menelaus2023-06-28 00:32 56K 
[ ]menelaus__t2_menelaus2023-06-28 00:32 54K 
[ ]menelaus__t3_menelaus2023-06-28 00:32 53K 
[ ]menelaus__t4_menelaus2023-06-28 00:32 72K 
[ ]menelaus__t5_menelaus2023-06-28 00:32 64K 
[ ]menelaus__t6_menelaus2023-06-28 00:32 65K 
[ ]menelaus__t7_menelaus2023-06-28 00:32 256K 
[ ]menelaus__t8_menelaus2023-06-28 00:32 59K 
[ ]menelaus__t9_menelaus2023-06-28 00:32 492K 
[ ]menelaus__t10_menelaus2023-06-28 00:32 140K 
[ ]menelaus__t11_menelaus2023-06-28 00:32 438K 
[ ]menelaus__t12_menelaus2023-06-28 00:32 67K 
[ ]menelaus__t13_menelaus2023-06-28 00:32 177K 
[ ]menelaus__t14_menelaus2023-06-28 00:32 111K 
[ ]menelaus__t15_menelaus2023-06-28 00:32 137K 
[ ]menelaus__t16_menelaus2023-06-28 00:32 150K 
[ ]menelaus__t17_menelaus2023-06-28 00:32 217K 
[ ]menelaus__t18_menelaus2023-06-28 00:32 150K 
[ ]menelaus__t19_menelaus2023-06-28 00:32 774K 
[ ]menelaus__t20_menelaus2023-06-28 00:32 1.4M 
[ ]menelaus__t21_menelaus2023-06-28 00:32 341K 
[ ]menelaus__t22_menelaus2023-06-28 00:32 154K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80