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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]yellow13__l16_yellow132017-01-12 22:06 25K 
[ ]yellow13__l17_yellow132017-01-12 22:06 22K 
[ ]yellow13__l18_yellow132017-01-12 22:06 26K 
[ ]yellow13__l26_yellow132017-01-12 22:06 19K 
[ ]yellow13__l27_yellow132017-01-12 22:06 19K 
[ ]yellow13__t1_yellow132017-01-12 22:06 34K 
[ ]yellow13__t2_yellow132017-01-12 22:06 32K 
[ ]yellow13__t3_yellow132017-01-12 22:06 37K 
[ ]yellow13__t4_yellow132017-01-12 22:06 36K 
[ ]yellow13__t5_yellow132017-01-12 22:06 31K 
[ ]yellow13__t6_yellow132017-01-12 22:06 25K 
[ ]yellow13__t7_yellow132017-01-12 22:06 45K 
[ ]yellow13__t8_yellow132017-01-12 22:06 46K 
[ ]yellow13__t9_yellow132017-01-12 22:06 45K 
[ ]yellow13__t10_yellow132017-01-12 22:06 62K 
[ ]yellow13__t11_yellow132017-01-12 22:06 47K 
[ ]yellow13__t12_yellow132017-01-12 22:06 37K 
[ ]yellow13__t13_yellow132017-01-12 22:06 38K 
[ ]yellow13__t14_yellow132017-01-12 22:06 35K 
[ ]yellow13__t15_yellow132017-01-12 22:06 36K 
[ ]yellow13__t16_yellow132017-01-12 22:06 24K 
[ ]yellow13__t17_yellow132017-01-12 22:06 24K 
[ ]yellow13__t18_yellow132017-01-12 22:06 19K 
[ ]yellow13__t19_yellow132017-01-12 22:06 36K 
[ ]yellow13__t20_yellow132017-01-12 22:06 20K 
[ ]yellow13__t21_yellow132017-01-12 22:06 41K 
[ ]yellow13__t22_yellow132017-01-12 22:06 37K 
[ ]yellow13__t23_yellow132017-01-12 22:06 37K 
[ ]yellow13__t24_yellow132017-01-12 22:06 18K 
[ ]yellow13__t25_yellow132017-01-12 22:06 33K 
[ ]yellow13__t26_yellow132017-01-12 22:06 41K 
[ ]yellow13__t27_yellow132017-01-12 22:06 27K 
[ ]yellow13__t28_yellow132017-01-12 22:06 71K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80