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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]taxonom2__l6_taxonom22017-01-13 00:33 8.1K 
[ ]taxonom2__l14_taxonom22017-01-13 00:33 2.9K 
[ ]taxonom2__l18_taxonom22017-01-13 00:33 14K 
[ ]taxonom2__l19_taxonom22017-01-13 00:33 11K 
[ ]taxonom2__l30_taxonom22017-01-13 00:33 6.6K 
[ ]taxonom2__t1_taxonom22017-01-13 00:33 19K 
[ ]taxonom2__t2_taxonom22017-01-13 00:33 12K 
[ ]taxonom2__t4_taxonom22017-01-13 00:33 9.7K 
[ ]taxonom2__t5_taxonom22017-01-13 00:33 35K 
[ ]taxonom2__t6_taxonom22017-01-13 00:33 6.4K 
[ ]taxonom2__t7_taxonom22017-01-13 00:33 6.8K 
[ ]taxonom2__t8_taxonom22017-01-13 00:33 2.7K 
[ ]taxonom2__t9_taxonom22017-01-13 00:33 3.2K 
[ ]taxonom2__t10_taxonom22017-01-13 00:33 3.1K 
[ ]taxonom2__t11_taxonom22017-01-13 00:33 6.9K 
[ ]taxonom2__t12_taxonom22017-01-13 00:33 11K 
[ ]taxonom2__t13_taxonom22017-01-13 00:33 13K 
[ ]taxonom2__t14_taxonom22017-01-13 00:33 13K 
[ ]taxonom2__t15_taxonom22017-01-13 00:33 20K 
[ ]taxonom2__t16_taxonom22017-01-13 00:33 19K 
[ ]taxonom2__t17_taxonom22017-01-13 00:33 15K 
[ ]taxonom2__t18_taxonom22017-01-13 00:33 15K 
[ ]taxonom2__t19_taxonom22017-01-13 00:33 14K 
[ ]taxonom2__t20_taxonom22017-01-13 00:33 24K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80