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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]jordan20__l21_jordan202016-03-08 13:07 32K 
[ ]jordan20__t1_jordan202017-01-05 20:54 45K 
[ ]jordan20__t2_jordan202017-01-05 20:54 78K 
[ ]jordan20__t3_jordan202017-01-05 20:54 78K 
[ ]jordan20__t4_jordan202017-01-05 20:54 80K 
[ ]jordan20__t5_jordan202017-01-05 20:54 80K 
[ ]jordan20__t6_jordan202017-01-05 20:54 106K 
[ ]jordan20__t7_jordan202017-01-05 20:54 106K 
[ ]jordan20__t8_jordan202017-01-05 20:54 49K 
[ ]jordan20__t9_jordan202017-01-05 20:54 222K 
[ ]jordan20__t10_jordan202017-01-05 20:54 223K 
[ ]jordan20__t11_jordan202016-03-08 13:07 51K 
[ ]jordan20__t12_jordan202016-03-08 13:07 50K 
[ ]jordan20__t13_jordan202017-01-05 20:54 60K 
[ ]jordan20__t14_jordan202017-01-05 20:54 60K 
[ ]jordan20__t15_jordan202017-01-05 20:54 70K 
[ ]jordan20__t16_jordan202017-01-05 20:54 70K 
[ ]jordan20__t17_jordan202016-03-08 13:07 57K 
[ ]jordan20__t18_jordan202017-01-05 20:54 81K 
[ ]jordan20__t19_jordan202016-03-08 13:07 42K 
[ ]jordan20__t20_jordan202016-03-08 13:07 41K 
[ ]jordan20__t21_jordan202016-03-08 13:07 42K 
[ ]jordan20__t22_jordan202017-01-05 20:54 60K 
[ ]jordan20__t23_jordan202017-01-05 20:54 61K 
[ ]jordan20__t24_jordan202016-03-08 13:07 48K 
[ ]jordan20__t25_jordan202017-01-05 20:54 92K 
[ ]jordan20__t26_jordan202017-01-05 20:54 75K 
[ ]jordan20__t27_jordan202017-01-05 20:54 73K 
[ ]jordan20__t28_jordan202017-01-05 20:54 75K 
[ ]jordan20__t29_jordan202017-01-05 20:54 73K 
[ ]jordan20__t30_jordan202017-01-05 20:54 210K 
[ ]jordan20__t31_jordan202017-01-05 20:54 184K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80