Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_isof_tls1/projred1

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]projred1__l13_projred12017-01-13 17:48 14K 
[ ]projred1__l15_projred12017-01-13 17:48 24K 
[ ]projred1__t1_projred12017-01-13 17:48 9.0K 
[ ]projred1__t2_projred12017-01-13 17:48 9.5K 
[ ]projred1__t3_projred12017-01-13 17:48 8.9K 
[ ]projred1__t4_projred12017-01-13 17:48 9.3K 
[ ]projred1__t5_projred12017-01-13 17:48 10K 
[ ]projred1__t6_projred12017-01-13 17:48 11K 
[ ]projred1__t7_projred12017-01-13 17:48 7.7K 
[ ]projred1__t8_projred12017-01-13 17:48 8.0K 
[ ]projred1__t9_projred12017-01-13 17:48 10K 
[ ]projred1__t10_projred12017-01-13 17:48 8.7K 
[ ]projred1__t11_projred12017-01-13 17:48 11K 
[ ]projred1__t12_projred12017-01-13 17:48 22K 
[ ]projred1__t13_projred12017-01-13 17:48 11K 
[ ]projred1__t14_projred12017-01-13 17:48 18K 
[ ]projred1__t15_projred12017-01-13 17:48 17K 
[ ]projred1__t16_projred12017-01-13 17:48 16K 
[ ]projred1__t17_projred12017-01-13 17:48 11K 
[ ]projred1__t18_projred12017-01-13 17:48 17K 
[ ]projred1__t19_projred12017-01-13 17:48 17K 
[ ]projred1__t20_projred12017-01-13 17:48 18K 
[ ]projred1__t21_projred12017-01-13 17:48 20K 
[ ]projred1__t22_projred12017-01-13 17:48 23K 
[ ]projred1__t23_projred12017-01-13 17:48 19K 
[ ]projred1__t24_projred12017-01-13 17:48 17K 
[ ]projred1__t25_projred12017-01-13 17:48 39K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80