Index of /~mptp/1147/mptp/problems_thf_tls/jordan20

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]jordan20__l21_jordan202017-01-12 22:06 32K 
[ ]jordan20__t1_jordan202017-01-12 22:06 45K 
[ ]jordan20__t2_jordan202017-01-12 22:06 78K 
[ ]jordan20__t3_jordan202017-01-12 22:06 78K 
[ ]jordan20__t4_jordan202017-01-12 22:06 80K 
[ ]jordan20__t5_jordan202017-01-12 22:06 80K 
[ ]jordan20__t6_jordan202017-01-12 22:06 106K 
[ ]jordan20__t7_jordan202017-01-12 22:06 106K 
[ ]jordan20__t8_jordan202017-01-12 22:06 49K 
[ ]jordan20__t9_jordan202017-01-12 22:06 222K 
[ ]jordan20__t10_jordan202017-01-12 22:06 223K 
[ ]jordan20__t11_jordan202017-01-12 22:06 51K 
[ ]jordan20__t12_jordan202017-01-12 22:06 50K 
[ ]jordan20__t13_jordan202017-01-12 22:06 60K 
[ ]jordan20__t14_jordan202017-01-12 22:06 60K 
[ ]jordan20__t15_jordan202017-01-12 22:06 70K 
[ ]jordan20__t16_jordan202017-01-12 22:06 70K 
[ ]jordan20__t17_jordan202017-01-12 22:06 57K 
[ ]jordan20__t18_jordan202017-01-12 22:06 81K 
[ ]jordan20__t19_jordan202017-01-12 22:06 42K 
[ ]jordan20__t20_jordan202017-01-12 22:06 41K 
[ ]jordan20__t21_jordan202017-01-12 22:06 42K 
[ ]jordan20__t22_jordan202017-01-12 22:06 60K 
[ ]jordan20__t23_jordan202017-01-12 22:06 61K 
[ ]jordan20__t24_jordan202017-01-12 22:06 48K 
[ ]jordan20__t25_jordan202017-01-12 22:06 92K 
[ ]jordan20__t26_jordan202017-01-12 22:06 75K 
[ ]jordan20__t27_jordan202017-01-12 22:06 73K 
[ ]jordan20__t28_jordan202017-01-12 22:06 75K 
[ ]jordan20__t29_jordan202017-01-12 22:06 73K 
[ ]jordan20__t30_jordan202017-01-12 22:06 210K 
[ ]jordan20__t31_jordan202017-01-12 22:06 184K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80