Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_tl.bad_dt_f/radix_5

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]radix_5__l12_radix_52016-03-08 13:08 54K 
[ ]radix_5__l13_radix_52016-03-08 13:08 26K 
[ ]radix_5__t1_radix_52017-01-05 20:54 38K 
[ ]radix_5__t2_radix_52016-03-08 13:08 28K 
[ ]radix_5__t3_radix_52016-03-08 13:08 48K 
[ ]radix_5__t4_radix_52016-03-08 13:08 33K 
[ ]radix_5__t5_radix_52016-03-08 13:08 25K 
[ ]radix_5__t6_radix_52016-03-08 13:08 25K 
[ ]radix_5__t7_radix_52016-03-08 13:08 27K 
[ ]radix_5__t8_radix_52016-03-08 13:08 43K 
[ ]radix_5__t9_radix_52016-03-08 13:08 27K 
[ ]radix_5__t10_radix_52016-03-08 13:08 20K 
[ ]radix_5__t11_radix_52016-03-08 13:08 37K 
[ ]radix_5__t12_radix_52016-03-08 13:08 70K 
[ ]radix_5__t13_radix_52016-03-08 13:08 49K 
[ ]radix_5__t14_radix_52016-03-08 13:08 76K 
[ ]radix_5__t15_radix_52016-03-08 13:08 25K 
[ ]radix_5__t16_radix_52016-03-08 13:08 40K 
[ ]radix_5__t17_radix_52016-03-08 13:08 67K 
[ ]radix_5__t18_radix_52016-03-08 13:08 142K 
[ ]radix_5__t19_radix_52016-03-08 13:08 139K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80