Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_isof_tls1/projdes1

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]projdes1__l6_projdes12017-01-13 17:48 5.3K 
[ ]projdes1__l9_projdes12017-01-13 17:48 5.5K 
[ ]projdes1__l10_projdes12017-01-13 17:48 6.6K 
[ ]projdes1__l12_projdes12017-01-13 17:48 11K 
[ ]projdes1__l14_projdes12017-01-13 17:48 11K 
[ ]projdes1__l16_projdes12017-01-13 17:48 5.4K 
[ ]projdes1__l29_projdes12017-01-13 17:48 29K 
[ ]projdes1__t1_projdes12017-01-13 17:48 3.9K 
[ ]projdes1__t2_projdes12017-01-13 17:48 4.3K 
[ ]projdes1__t3_projdes12017-01-13 17:48 5.2K 
[ ]projdes1__t4_projdes12017-01-13 17:48 5.9K 
[ ]projdes1__t5_projdes12017-01-13 17:48 5.5K 
[ ]projdes1__t6_projdes12017-01-13 17:48 6.4K 
[ ]projdes1__t7_projdes12017-01-13 17:48 6.5K 
[ ]projdes1__t8_projdes12017-01-13 17:48 12K 
[ ]projdes1__t9_projdes12017-01-13 17:48 12K 
[ ]projdes1__t10_projdes12017-01-13 17:48 14K 
[ ]projdes1__t11_projdes12017-01-13 17:48 6.6K 
[ ]projdes1__t12_projdes12017-01-13 17:48 5.5K 
[ ]projdes1__t13_projdes12017-01-13 17:48 5.8K 
[ ]projdes1__t14_projdes12017-01-13 17:48 5.2K 
[ ]projdes1__t15_projdes12017-01-13 17:48 7.1K 
[ ]projdes1__t16_projdes12017-01-13 17:48 6.9K 
[ ]projdes1__t17_projdes12017-01-13 17:48 9.8K 
[ ]projdes1__t18_projdes12017-01-13 17:48 7.0K 
[ ]projdes1__t19_projdes12017-01-13 17:48 9.7K 
[ ]projdes1__t20_projdes12017-01-13 17:48 16K 
[ ]projdes1__t21_projdes12017-01-13 17:48 11K 
[ ]projdes1__t22_projdes12017-01-13 17:48 7.3K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80