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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]taxonom2__l6_taxonom22017-01-12 22:11 6.0K 
[ ]taxonom2__l14_taxonom22017-01-12 22:11 2.5K 
[ ]taxonom2__l18_taxonom22017-01-12 22:11 11K 
[ ]taxonom2__l19_taxonom22017-01-12 22:11 8.8K 
[ ]taxonom2__l30_taxonom22017-01-12 22:11 5.1K 
[ ]taxonom2__t1_taxonom22017-01-12 22:11 15K 
[ ]taxonom2__t2_taxonom22017-01-12 22:11 8.9K 
[ ]taxonom2__t4_taxonom22017-01-12 22:11 7.3K 
[ ]taxonom2__t5_taxonom22017-01-12 22:11 27K 
[ ]taxonom2__t6_taxonom22017-01-12 22:11 4.9K 
[ ]taxonom2__t7_taxonom22017-01-12 22:11 5.3K 
[ ]taxonom2__t8_taxonom22017-01-12 22:11 2.2K 
[ ]taxonom2__t9_taxonom22017-01-12 22:11 2.7K 
[ ]taxonom2__t10_taxonom22017-01-12 22:11 2.7K 
[ ]taxonom2__t11_taxonom22017-01-12 22:11 5.2K 
[ ]taxonom2__t12_taxonom22017-01-12 22:11 9.3K 
[ ]taxonom2__t13_taxonom22017-01-12 22:11 10K 
[ ]taxonom2__t14_taxonom22017-01-12 22:11 9.4K 
[ ]taxonom2__t15_taxonom22017-01-12 22:11 16K 
[ ]taxonom2__t16_taxonom22017-01-12 22:11 16K 
[ ]taxonom2__t17_taxonom22017-01-12 22:11 12K 
[ ]taxonom2__t18_taxonom22017-01-12 22:11 13K 
[ ]taxonom2__t19_taxonom22017-01-12 22:11 11K 
[ ]taxonom2__t20_taxonom22017-01-12 22:11 20K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80