Index of /~mptp/1147/MPTP2/problems_thf_tls1/jordan20

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]jordan20__l21_jordan202017-01-13 19:13 32K 
[ ]jordan20__t1_jordan202017-01-13 19:13 45K 
[ ]jordan20__t2_jordan202017-01-13 19:13 79K 
[ ]jordan20__t3_jordan202017-01-13 19:13 79K 
[ ]jordan20__t4_jordan202017-01-13 19:13 81K 
[ ]jordan20__t5_jordan202017-01-13 19:13 81K 
[ ]jordan20__t6_jordan202017-01-13 19:13 108K 
[ ]jordan20__t7_jordan202017-01-13 19:13 108K 
[ ]jordan20__t8_jordan202017-01-13 19:13 50K 
[ ]jordan20__t9_jordan202017-01-13 19:13 229K 
[ ]jordan20__t10_jordan202017-01-13 19:13 231K 
[ ]jordan20__t11_jordan202017-01-13 19:13 52K 
[ ]jordan20__t12_jordan202017-01-13 19:13 50K 
[ ]jordan20__t13_jordan202017-01-13 19:13 60K 
[ ]jordan20__t14_jordan202017-01-13 19:13 60K 
[ ]jordan20__t15_jordan202017-01-13 19:13 71K 
[ ]jordan20__t16_jordan202017-01-13 19:13 70K 
[ ]jordan20__t17_jordan202017-01-13 19:13 57K 
[ ]jordan20__t18_jordan202017-01-13 19:13 81K 
[ ]jordan20__t19_jordan202017-01-13 19:13 42K 
[ ]jordan20__t20_jordan202017-01-13 19:13 41K 
[ ]jordan20__t21_jordan202017-01-13 19:13 43K 
[ ]jordan20__t22_jordan202017-01-13 19:13 60K 
[ ]jordan20__t23_jordan202017-01-13 19:13 61K 
[ ]jordan20__t24_jordan202017-01-13 19:13 48K 
[ ]jordan20__t25_jordan202017-01-13 19:13 93K 
[ ]jordan20__t26_jordan202017-01-13 19:13 75K 
[ ]jordan20__t27_jordan202017-01-13 19:13 73K 
[ ]jordan20__t28_jordan202017-01-13 19:13 75K 
[ ]jordan20__t29_jordan202017-01-13 19:13 73K 
[ ]jordan20__t30_jordan202017-01-13 19:13 219K 
[ ]jordan20__t31_jordan202017-01-13 19:13 190K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80