Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_tl.bad_dt_f/projred1

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]projred1__l13_projred12016-03-08 13:08 9.9K 
[ ]projred1__l15_projred12016-03-08 13:08 18K 
[ ]projred1__t1_projred12016-03-08 13:08 6.2K 
[ ]projred1__t2_projred12016-03-08 13:08 6.6K 
[ ]projred1__t3_projred12016-03-08 13:08 6.2K 
[ ]projred1__t4_projred12016-03-08 13:08 6.4K 
[ ]projred1__t5_projred12016-03-08 13:08 7.0K 
[ ]projred1__t6_projred12016-03-08 13:08 7.5K 
[ ]projred1__t7_projred12016-03-08 13:08 5.3K 
[ ]projred1__t8_projred12016-03-08 13:08 5.5K 
[ ]projred1__t9_projred12016-03-08 13:08 6.8K 
[ ]projred1__t10_projred12016-03-08 13:08 6.1K 
[ ]projred1__t11_projred12016-03-08 13:08 8.0K 
[ ]projred1__t12_projred12016-03-08 13:08 16K 
[ ]projred1__t13_projred12016-03-08 13:08 7.9K 
[ ]projred1__t14_projred12016-03-08 13:08 13K 
[ ]projred1__t15_projred12016-03-08 13:08 12K 
[ ]projred1__t16_projred12016-03-08 13:08 12K 
[ ]projred1__t17_projred12016-03-08 13:08 7.3K 
[ ]projred1__t18_projred12016-03-08 13:08 12K 
[ ]projred1__t19_projred12016-03-08 13:08 12K 
[ ]projred1__t20_projred12016-03-08 13:08 13K 
[ ]projred1__t21_projred12016-03-08 13:08 14K 
[ ]projred1__t22_projred12016-03-08 13:08 16K 
[ ]projred1__t23_projred12016-03-08 13:08 13K 
[ ]projred1__t24_projred12016-03-08 13:08 12K 
[ ]projred1__t25_projred12016-03-08 13:08 28K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80