Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_tl.bad_dt_f/yellow13

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]yellow13__l16_yellow132016-03-08 13:10 25K 
[ ]yellow13__l17_yellow132016-03-08 13:10 22K 
[ ]yellow13__l18_yellow132016-03-08 13:10 26K 
[ ]yellow13__l26_yellow132017-01-05 20:54 19K 
[ ]yellow13__l27_yellow132017-01-05 20:54 19K 
[ ]yellow13__t1_yellow132016-03-08 13:10 34K 
[ ]yellow13__t2_yellow132016-03-08 13:10 32K 
[ ]yellow13__t3_yellow132016-03-08 13:10 37K 
[ ]yellow13__t4_yellow132016-03-08 13:10 36K 
[ ]yellow13__t5_yellow132016-03-08 13:10 31K 
[ ]yellow13__t6_yellow132016-03-08 13:10 25K 
[ ]yellow13__t7_yellow132016-03-08 13:10 45K 
[ ]yellow13__t8_yellow132017-01-05 20:54 46K 
[ ]yellow13__t9_yellow132017-01-05 20:54 45K 
[ ]yellow13__t10_yellow132017-01-05 20:54 62K 
[ ]yellow13__t11_yellow132017-01-05 20:54 47K 
[ ]yellow13__t12_yellow132016-03-08 13:10 37K 
[ ]yellow13__t13_yellow132016-03-08 13:10 38K 
[ ]yellow13__t14_yellow132016-03-08 13:10 35K 
[ ]yellow13__t15_yellow132017-01-05 20:54 36K 
[ ]yellow13__t16_yellow132016-03-08 13:10 24K 
[ ]yellow13__t17_yellow132016-03-08 13:10 24K 
[ ]yellow13__t18_yellow132016-03-08 13:10 19K 
[ ]yellow13__t19_yellow132016-03-08 13:10 36K 
[ ]yellow13__t20_yellow132017-01-05 20:54 20K 
[ ]yellow13__t21_yellow132016-03-08 13:10 41K 
[ ]yellow13__t22_yellow132016-03-08 13:10 37K 
[ ]yellow13__t23_yellow132016-03-08 13:10 37K 
[ ]yellow13__t24_yellow132016-03-08 13:10 18K 
[ ]yellow13__t25_yellow132016-03-08 13:10 33K 
[ ]yellow13__t26_yellow132016-03-08 13:10 41K 
[ ]yellow13__t27_yellow132016-03-08 13:10 27K 
[ ]yellow13__t28_yellow132017-01-05 20:54 71K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80