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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]projred2__l23_projred22017-01-13 17:49 29K 
[ ]projred2__l24_projred22017-01-13 17:49 29K 
[ ]projred2__l28_projred22017-01-13 17:49 28K 
[ ]projred2__l29_projred22017-01-13 17:49 29K 
[ ]projred2__t1_projred22017-01-13 17:48 9.3K 
[ ]projred2__t2_projred22017-01-13 17:48 8.5K 
[ ]projred2__t3_projred22017-01-13 17:48 18K 
[ ]projred2__t4_projred22017-01-13 17:48 18K 
[ ]projred2__t5_projred22017-01-13 17:48 21K 
[ ]projred2__t6_projred22017-01-13 17:48 10K 
[ ]projred2__t7_projred22017-01-13 17:48 20K 
[ ]projred2__t8_projred22017-01-13 17:48 27K 
[ ]projred2__t9_projred22017-01-13 17:48 17K 
[ ]projred2__t10_projred22017-01-13 17:48 20K 
[ ]projred2__t11_projred22017-01-13 17:48 19K 
[ ]projred2__t12_projred22017-01-13 17:48 26K 
[ ]projred2__t13_projred22017-01-13 17:48 17K 
[ ]projred2__t14_projred22017-01-13 17:48 36K 
[ ]projred2__t15_projred22017-01-13 17:49 39K 
[ ]projred2__t16_projred22017-01-13 17:49 18K 
[ ]projred2__t17_projred22017-01-13 17:49 18K 
[ ]projred2__t18_projred22017-01-13 17:49 18K 
[ ]projred2__t19_projred22017-01-13 17:49 18K 
[ ]projred2__t20_projred22017-01-13 17:49 19K 
[ ]projred2__t21_projred22017-01-13 17:49 22K 
[ ]projred2__t22_projred22017-01-13 17:49 39K 
[ ]projred2__t23_projred22017-01-13 17:49 22K 
[ ]projred2__t24_projred22017-01-13 17:49 22K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80