Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_isof_tls/yellow15

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]yellow15__s1_yellow152017-01-13 00:34 64K 
[ ]yellow15__t4_yellow152017-01-13 00:34 63K 
[ ]yellow15__t5_yellow152017-01-13 00:34 67K 
[ ]yellow15__t6_yellow152017-01-13 00:34 62K 
[ ]yellow15__t7_yellow152017-01-13 00:34 61K 
[ ]yellow15__t8_yellow152017-01-13 00:34 61K 
[ ]yellow15__t9_yellow152017-01-13 00:34 67K 
[ ]yellow15__t10_yellow152017-01-13 00:35 71K 
[ ]yellow15__t11_yellow152017-01-13 00:35 64K 
[ ]yellow15__t12_yellow152017-01-13 00:35 69K 
[ ]yellow15__t13_yellow152017-01-13 00:35 65K 
[ ]yellow15__t14_yellow152017-01-13 00:35 70K 
[ ]yellow15__t15_yellow152017-01-13 00:35 56K 
[ ]yellow15__t16_yellow152017-01-13 00:35 65K 
[ ]yellow15__t17_yellow152017-01-13 00:35 91K 
[ ]yellow15__t18_yellow152017-01-13 00:35 75K 
[ ]yellow15__t19_yellow152017-01-13 00:35 77K 
[ ]yellow15__t20_yellow152017-01-13 00:35 87K 
[ ]yellow15__t21_yellow152017-01-13 00:35 39K 
[ ]yellow15__t22_yellow152017-01-13 00:35 41K 
[ ]yellow15__t23_yellow152017-01-13 00:35 51K 
[ ]yellow15__t24_yellow152017-01-13 00:35 51K 
[ ]yellow15__t25_yellow152017-01-13 00:35 68K 
[ ]yellow15__t26_yellow152017-01-13 00:35 60K 
[ ]yellow15__t27_yellow152017-01-13 00:35 86K 
[ ]yellow15__t28_yellow152017-01-13 00:35 87K 
[ ]yellow15__t29_yellow152017-01-13 00:35 81K 
[ ]yellow15__t30_yellow152017-01-13 00:35 61K 
[ ]yellow15__t31_yellow152017-01-13 00:35 64K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80