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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]yellow15__s1_yellow152017-01-13 19:14 41K 
[ ]yellow15__t4_yellow152017-01-13 19:14 41K 
[ ]yellow15__t5_yellow152017-01-13 19:14 44K 
[ ]yellow15__t6_yellow152017-01-13 19:14 41K 
[ ]yellow15__t7_yellow152017-01-13 19:14 40K 
[ ]yellow15__t8_yellow152017-01-13 19:14 40K 
[ ]yellow15__t9_yellow152017-01-13 19:14 44K 
[ ]yellow15__t10_yellow152017-01-13 19:14 47K 
[ ]yellow15__t11_yellow152017-01-13 19:14 42K 
[ ]yellow15__t12_yellow152017-01-13 19:14 46K 
[ ]yellow15__t13_yellow152017-01-13 19:14 43K 
[ ]yellow15__t14_yellow152017-01-13 19:14 47K 
[ ]yellow15__t15_yellow152017-01-13 19:14 37K 
[ ]yellow15__t16_yellow152017-01-13 19:14 43K 
[ ]yellow15__t17_yellow152017-01-13 19:14 61K 
[ ]yellow15__t18_yellow152017-01-13 19:14 50K 
[ ]yellow15__t19_yellow152017-01-13 19:14 52K 
[ ]yellow15__t20_yellow152017-01-13 19:14 58K 
[ ]yellow15__t21_yellow152017-01-13 19:14 25K 
[ ]yellow15__t22_yellow152017-01-13 19:14 27K 
[ ]yellow15__t23_yellow152017-01-13 19:14 33K 
[ ]yellow15__t24_yellow152017-01-13 19:14 33K 
[ ]yellow15__t25_yellow152017-01-13 19:14 43K 
[ ]yellow15__t26_yellow152017-01-13 19:14 38K 
[ ]yellow15__t27_yellow152017-01-13 19:14 56K 
[ ]yellow15__t28_yellow152017-01-13 19:14 56K 
[ ]yellow15__t29_yellow152017-01-13 19:14 55K 
[ ]yellow15__t30_yellow152017-01-13 19:14 40K 
[ ]yellow15__t31_yellow152017-01-13 19:14 42K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80