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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]mssubfam__l61_mssubfam2017-01-13 00:43 79K 
[ ]mssubfam__s1_mssubfam2017-01-13 00:43 48K 
[ ]mssubfam__t1_mssubfam2017-01-13 00:43 22K 
[ ]mssubfam__t2_mssubfam2017-01-13 00:43 21K 
[ ]mssubfam__t3_mssubfam2017-01-13 00:43 21K 
[ ]mssubfam__t4_mssubfam2017-01-13 00:43 21K 
[ ]mssubfam__t5_mssubfam2017-01-13 00:43 21K 
[ ]mssubfam__t6_mssubfam2017-01-13 00:43 21K 
[ ]mssubfam__t7_mssubfam2017-01-13 00:43 21K 
[ ]mssubfam__t8_mssubfam2017-01-13 00:43 28K 
[ ]mssubfam__t9_mssubfam2017-01-13 00:43 22K 
[ ]mssubfam__t10_mssubfam2017-01-13 00:43 25K 
[ ]mssubfam__t11_mssubfam2017-01-13 00:43 26K 
[ ]mssubfam__t12_mssubfam2017-01-13 00:43 26K 
[ ]mssubfam__t13_mssubfam2017-01-13 00:43 38K 
[ ]mssubfam__t14_mssubfam2017-01-13 00:43 38K 
[ ]mssubfam__t15_mssubfam2017-01-13 00:43 40K 
[ ]mssubfam__t16_mssubfam2017-01-13 00:43 53K 
[ ]mssubfam__t17_mssubfam2017-01-13 00:43 62K 
[ ]mssubfam__t18_mssubfam2017-01-13 00:43 31K 
[ ]mssubfam__t19_mssubfam2017-01-13 00:43 29K 
[ ]mssubfam__t20_mssubfam2017-01-13 00:43 29K 
[ ]mssubfam__t21_mssubfam2017-01-13 00:43 32K 
[ ]mssubfam__t22_mssubfam2017-01-13 00:43 62K 
[ ]mssubfam__t23_mssubfam2017-01-13 00:43 28K 
[ ]mssubfam__t24_mssubfam2017-01-13 00:43 34K 
[ ]mssubfam__t25_mssubfam2017-01-13 00:43 38K 
[ ]mssubfam__t26_mssubfam2017-01-13 00:43 49K 
[ ]mssubfam__t27_mssubfam2017-01-13 00:43 48K 
[ ]mssubfam__t28_mssubfam2017-01-13 00:43 64K 
[ ]mssubfam__t29_mssubfam2017-01-13 00:43 64K 
[ ]mssubfam__t30_mssubfam2017-01-13 00:43 50K 
[ ]mssubfam__t31_mssubfam2017-01-13 00:43 55K 
[ ]mssubfam__t32_mssubfam2017-01-13 00:43 41K 
[ ]mssubfam__t33_mssubfam2017-01-13 00:43 12K 
[ ]mssubfam__t34_mssubfam2017-01-13 00:43 13K 
[ ]mssubfam__t35_mssubfam2017-01-13 00:43 13K 
[ ]mssubfam__t36_mssubfam2017-01-13 00:43 14K 
[ ]mssubfam__t37_mssubfam2017-01-13 00:43 15K 
[ ]mssubfam__t38_mssubfam2017-01-13 00:43 16K 
[ ]mssubfam__t39_mssubfam2017-01-13 00:43 23K 
[ ]mssubfam__t40_mssubfam2017-01-13 00:43 41K 
[ ]mssubfam__t41_mssubfam2017-01-13 00:43 63K 
[ ]mssubfam__t42_mssubfam2017-01-13 00:43 46K 
[ ]mssubfam__t43_mssubfam2017-01-13 00:43 44K 
[ ]mssubfam__t44_mssubfam2017-01-13 00:43 64K 
[ ]mssubfam__t45_mssubfam2017-01-13 00:43 74K 
[ ]mssubfam__t46_mssubfam2017-01-13 00:43 42K 
[ ]mssubfam__t47_mssubfam2017-01-13 00:43 44K 
[ ]mssubfam__t48_mssubfam2017-01-13 00:43 73K 
[ ]mssubfam__t49_mssubfam2017-01-13 00:43 61K 
[ ]mssubfam__t50_mssubfam2017-01-13 00:43 48K 
[ ]mssubfam__t51_mssubfam2017-01-13 00:43 57K 
[ ]mssubfam__t52_mssubfam2017-01-13 00:43 42K 
[ ]mssubfam__t53_mssubfam2017-01-13 00:43 72K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80