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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]mssubfam__l61_mssubfam2016-03-08 13:07 49K 
[ ]mssubfam__t1_mssubfam2016-03-08 13:07 15K 
[ ]mssubfam__t2_mssubfam2016-03-08 13:07 14K 
[ ]mssubfam__t3_mssubfam2016-03-08 13:07 14K 
[ ]mssubfam__t4_mssubfam2016-03-08 13:07 14K 
[ ]mssubfam__t5_mssubfam2016-03-08 13:07 14K 
[ ]mssubfam__t6_mssubfam2016-03-08 13:07 14K 
[ ]mssubfam__t7_mssubfam2016-03-08 13:07 14K 
[ ]mssubfam__t8_mssubfam2016-03-08 13:07 20K 
[ ]mssubfam__t9_mssubfam2016-03-08 13:07 15K 
[ ]mssubfam__t10_mssubfam2016-03-08 13:07 17K 
[ ]mssubfam__t11_mssubfam2016-03-08 13:07 16K 
[ ]mssubfam__t12_mssubfam2016-03-08 13:07 16K 
[ ]mssubfam__t13_mssubfam2016-03-08 13:07 24K 
[ ]mssubfam__t14_mssubfam2016-03-08 13:07 24K 
[ ]mssubfam__t15_mssubfam2016-03-08 13:07 25K 
[ ]mssubfam__t16_mssubfam2016-03-08 13:07 33K 
[ ]mssubfam__t17_mssubfam2016-03-08 13:07 38K 
[ ]mssubfam__t18_mssubfam2016-03-08 13:07 19K 
[ ]mssubfam__t19_mssubfam2016-03-08 13:07 17K 
[ ]mssubfam__t20_mssubfam2016-03-08 13:07 17K 
[ ]mssubfam__t21_mssubfam2016-03-08 13:07 20K 
[ ]mssubfam__t22_mssubfam2016-03-08 13:07 40K 
[ ]mssubfam__t23_mssubfam2016-03-08 13:07 17K 
[ ]mssubfam__t24_mssubfam2016-03-08 13:07 21K 
[ ]mssubfam__t25_mssubfam2016-03-08 13:07 23K 
[ ]mssubfam__t26_mssubfam2016-03-08 13:07 30K 
[ ]mssubfam__t27_mssubfam2016-03-08 13:07 30K 
[ ]mssubfam__t28_mssubfam2016-03-08 13:07 41K 
[ ]mssubfam__t29_mssubfam2016-03-08 13:07 41K 
[ ]mssubfam__t30_mssubfam2016-03-08 13:07 30K 
[ ]mssubfam__t31_mssubfam2016-03-08 13:07 34K 
[ ]mssubfam__t32_mssubfam2016-03-08 13:07 25K 
[ ]mssubfam__t33_mssubfam2016-03-08 13:07 6.9K 
[ ]mssubfam__t34_mssubfam2016-03-08 13:07 7.8K 
[ ]mssubfam__t35_mssubfam2016-03-08 13:07 8.0K 
[ ]mssubfam__t36_mssubfam2016-03-08 13:07 8.0K 
[ ]mssubfam__t37_mssubfam2016-03-08 13:07 8.8K 
[ ]mssubfam__t38_mssubfam2016-03-08 13:07 9.3K 
[ ]mssubfam__t39_mssubfam2016-03-08 13:07 14K 
[ ]mssubfam__t40_mssubfam2016-03-08 13:07 25K 
[ ]mssubfam__t41_mssubfam2016-03-08 13:07 39K 
[ ]mssubfam__t42_mssubfam2016-03-08 13:07 28K 
[ ]mssubfam__t43_mssubfam2016-03-08 13:07 27K 
[ ]mssubfam__t44_mssubfam2016-03-08 13:07 40K 
[ ]mssubfam__t45_mssubfam2016-03-08 13:07 47K 
[ ]mssubfam__t46_mssubfam2016-03-08 13:07 26K 
[ ]mssubfam__t47_mssubfam2016-03-08 13:07 27K 
[ ]mssubfam__t48_mssubfam2016-03-08 13:07 46K 
[ ]mssubfam__t49_mssubfam2016-03-08 13:07 38K 
[ ]mssubfam__t50_mssubfam2016-03-08 13:07 29K 
[ ]mssubfam__t51_mssubfam2016-03-08 13:07 35K 
[ ]mssubfam__t52_mssubfam2016-03-08 13:07 26K 
[ ]mssubfam__t53_mssubfam2016-03-08 13:07 45K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80