Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_tls/yellow15

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