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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]projred1__l13_projred12017-01-13 19:25 9.9K 
[ ]projred1__l15_projred12017-01-13 19:25 18K 
[ ]projred1__t1_projred12017-01-13 19:25 6.2K 
[ ]projred1__t2_projred12017-01-13 19:25 6.6K 
[ ]projred1__t3_projred12017-01-13 19:25 6.2K 
[ ]projred1__t4_projred12017-01-13 19:25 6.4K 
[ ]projred1__t5_projred12017-01-13 19:25 7.0K 
[ ]projred1__t6_projred12017-01-13 19:25 7.5K 
[ ]projred1__t7_projred12017-01-13 19:25 5.3K 
[ ]projred1__t8_projred12017-01-13 19:25 5.5K 
[ ]projred1__t9_projred12017-01-13 19:25 6.8K 
[ ]projred1__t10_projred12017-01-13 19:25 6.1K 
[ ]projred1__t11_projred12017-01-13 19:25 8.0K 
[ ]projred1__t12_projred12017-01-13 19:25 16K 
[ ]projred1__t13_projred12017-01-13 19:25 7.9K 
[ ]projred1__t14_projred12017-01-13 19:25 13K 
[ ]projred1__t15_projred12017-01-13 19:25 12K 
[ ]projred1__t16_projred12017-01-13 19:25 12K 
[ ]projred1__t17_projred12017-01-13 19:25 7.3K 
[ ]projred1__t18_projred12017-01-13 19:25 12K 
[ ]projred1__t19_projred12017-01-13 19:25 12K 
[ ]projred1__t20_projred12017-01-13 19:25 13K 
[ ]projred1__t21_projred12017-01-13 19:25 14K 
[ ]projred1__t22_projred12017-01-13 19:25 16K 
[ ]projred1__t23_projred12017-01-13 19:25 13K 
[ ]projred1__t24_projred12017-01-13 19:25 12K 
[ ]projred1__t25_projred12017-01-13 19:25 28K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80