Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_tls/mssubfam

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]mssubfam__l61_mssubfam2017-01-12 22:14 49K 
[ ]mssubfam__s1_mssubfam2017-01-12 22:14 30K 
[ ]mssubfam__t1_mssubfam2017-01-12 22:14 15K 
[ ]mssubfam__t2_mssubfam2017-01-12 22:14 14K 
[ ]mssubfam__t3_mssubfam2017-01-12 22:14 14K 
[ ]mssubfam__t4_mssubfam2017-01-12 22:14 14K 
[ ]mssubfam__t5_mssubfam2017-01-12 22:14 14K 
[ ]mssubfam__t6_mssubfam2017-01-12 22:14 14K 
[ ]mssubfam__t7_mssubfam2017-01-12 22:14 14K 
[ ]mssubfam__t8_mssubfam2017-01-12 22:14 20K 
[ ]mssubfam__t9_mssubfam2017-01-12 22:14 15K 
[ ]mssubfam__t10_mssubfam2017-01-12 22:14 17K 
[ ]mssubfam__t11_mssubfam2017-01-12 22:14 16K 
[ ]mssubfam__t12_mssubfam2017-01-12 22:14 16K 
[ ]mssubfam__t13_mssubfam2017-01-12 22:14 24K 
[ ]mssubfam__t14_mssubfam2017-01-12 22:14 24K 
[ ]mssubfam__t15_mssubfam2017-01-12 22:14 25K 
[ ]mssubfam__t16_mssubfam2017-01-12 22:14 33K 
[ ]mssubfam__t17_mssubfam2017-01-12 22:14 38K 
[ ]mssubfam__t18_mssubfam2017-01-12 22:14 19K 
[ ]mssubfam__t19_mssubfam2017-01-12 22:14 17K 
[ ]mssubfam__t20_mssubfam2017-01-12 22:14 17K 
[ ]mssubfam__t21_mssubfam2017-01-12 22:14 20K 
[ ]mssubfam__t22_mssubfam2017-01-12 22:14 40K 
[ ]mssubfam__t23_mssubfam2017-01-12 22:14 17K 
[ ]mssubfam__t24_mssubfam2017-01-12 22:14 21K 
[ ]mssubfam__t25_mssubfam2017-01-12 22:14 23K 
[ ]mssubfam__t26_mssubfam2017-01-12 22:14 30K 
[ ]mssubfam__t27_mssubfam2017-01-12 22:14 30K 
[ ]mssubfam__t28_mssubfam2017-01-12 22:14 41K 
[ ]mssubfam__t29_mssubfam2017-01-12 22:14 41K 
[ ]mssubfam__t30_mssubfam2017-01-12 22:14 30K 
[ ]mssubfam__t31_mssubfam2017-01-12 22:14 34K 
[ ]mssubfam__t32_mssubfam2017-01-12 22:14 25K 
[ ]mssubfam__t33_mssubfam2017-01-12 22:14 6.9K 
[ ]mssubfam__t34_mssubfam2017-01-12 22:14 7.8K 
[ ]mssubfam__t35_mssubfam2017-01-12 22:14 7.9K 
[ ]mssubfam__t36_mssubfam2017-01-12 22:14 8.0K 
[ ]mssubfam__t37_mssubfam2017-01-12 22:14 8.8K 
[ ]mssubfam__t38_mssubfam2017-01-12 22:14 9.2K 
[ ]mssubfam__t39_mssubfam2017-01-12 22:14 14K 
[ ]mssubfam__t40_mssubfam2017-01-12 22:14 25K 
[ ]mssubfam__t41_mssubfam2017-01-12 22:14 39K 
[ ]mssubfam__t42_mssubfam2017-01-12 22:14 28K 
[ ]mssubfam__t43_mssubfam2017-01-12 22:14 27K 
[ ]mssubfam__t44_mssubfam2017-01-12 22:14 40K 
[ ]mssubfam__t45_mssubfam2017-01-12 22:14 47K 
[ ]mssubfam__t46_mssubfam2017-01-12 22:14 26K 
[ ]mssubfam__t47_mssubfam2017-01-12 22:14 27K 
[ ]mssubfam__t48_mssubfam2017-01-12 22:14 46K 
[ ]mssubfam__t49_mssubfam2017-01-12 22:14 38K 
[ ]mssubfam__t50_mssubfam2017-01-12 22:14 29K 
[ ]mssubfam__t51_mssubfam2017-01-12 22:14 35K 
[ ]mssubfam__t52_mssubfam2017-01-12 22:14 26K 
[ ]mssubfam__t53_mssubfam2017-01-12 22:14 45K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80