Index of /~mptp/mml5.63.1382/MPTP2/problems_small_thf.orig2021/menelaus

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]menelaus__l15_menelaus2021-07-18 21:43 196K 
[ ]menelaus__l18_menelaus2021-07-18 21:44 127K 
[ ]menelaus__l19_menelaus2021-07-18 21:44 127K 
[ ]menelaus__l20_menelaus2021-07-18 21:44 177K 
[ ]menelaus__l21_menelaus2021-07-18 21:45 100K 
[ ]menelaus__l23_menelaus2021-07-18 21:45 150K 
[ ]menelaus__l28_menelaus2021-07-18 21:46 1.0M 
[ ]menelaus__t1_menelaus2021-07-18 21:32 31K 
[ ]menelaus__t2_menelaus2021-07-18 21:33 31K 
[ ]menelaus__t3_menelaus2021-07-18 21:33 30K 
[ ]menelaus__t4_menelaus2021-07-18 21:34 50K 
[ ]menelaus__t5_menelaus2021-07-18 21:34 42K 
[ ]menelaus__t6_menelaus2021-07-18 21:35 42K 
[ ]menelaus__t7_menelaus2021-07-18 21:35 242K 
[ ]menelaus__t8_menelaus2021-07-18 21:36 188K 
[ ]menelaus__t9_menelaus2021-07-18 21:36 496K 
[ ]menelaus__t10_menelaus2021-07-18 21:37 115K 
[ ]menelaus__t11_menelaus2021-07-18 21:37 448K 
[ ]menelaus__t12_menelaus2021-07-18 21:38 44K 
[ ]menelaus__t13_menelaus2021-07-18 21:38 157K 
[ ]menelaus__t14_menelaus2021-07-18 21:39 90K 
[ ]menelaus__t15_menelaus2021-07-18 21:32 25K 
[ ]menelaus__t16_menelaus2021-07-18 21:39 127K 
[ ]menelaus__t17_menelaus2021-07-18 21:40 196K 
[ ]menelaus__t18_menelaus2021-07-18 21:40 125K 
[ ]menelaus__t19_menelaus2021-07-18 21:41 906K 
[ ]menelaus__t20_menelaus2021-07-18 21:42 1.8M 
[ ]menelaus__t21_menelaus2021-07-18 21:42 340K 
[ ]menelaus__t22_menelaus2021-07-18 21:43 131K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80