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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]projred2__l23_projred22016-03-08 13:08 20K 
[ ]projred2__l24_projred22016-03-08 13:08 21K 
[ ]projred2__l28_projred22016-03-08 13:08 20K 
[ ]projred2__l29_projred22016-03-08 13:08 21K 
[ ]projred2__t1_projred22016-03-08 13:08 6.2K 
[ ]projred2__t2_projred22016-03-08 13:08 5.9K 
[ ]projred2__t3_projred22016-03-08 13:08 13K 
[ ]projred2__t4_projred22017-01-05 20:54 13K 
[ ]projred2__t5_projred22017-01-05 20:54 15K 
[ ]projred2__t6_projred22017-01-05 20:54 7.1K 
[ ]projred2__t7_projred22017-01-05 20:54 14K 
[ ]projred2__t8_projred22017-01-05 20:54 18K 
[ ]projred2__t9_projred22016-03-08 13:08 11K 
[ ]projred2__t10_projred22017-01-05 20:54 14K 
[ ]projred2__t11_projred22017-01-05 20:54 13K 
[ ]projred2__t12_projred22017-01-05 20:54 18K 
[ ]projred2__t13_projred22016-03-08 13:08 12K 
[ ]projred2__t14_projred22017-01-05 20:54 25K 
[ ]projred2__t15_projred22017-01-05 20:54 27K 
[ ]projred2__t16_projred22016-03-08 13:08 13K 
[ ]projred2__t17_projred22016-03-08 13:08 13K 
[ ]projred2__t18_projred22016-03-08 13:08 13K 
[ ]projred2__t19_projred22016-03-08 13:08 13K 
[ ]projred2__t20_projred22016-03-08 13:08 14K 
[ ]projred2__t21_projred22016-03-08 13:08 15K 
[ ]projred2__t22_projred22017-01-05 20:54 27K 
[ ]projred2__t23_projred22016-03-08 13:08 15K 
[ ]projred2__t24_projred22016-03-08 13:08 15K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80