Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_tl.bad_dt_f/yellow15

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]yellow15__t4_yellow152016-03-08 13:10 41K 
[   ]yellow15__t5_yellow152016-03-08 13:10 44K 
[   ]yellow15__t6_yellow152016-03-08 13:10 41K 
[   ]yellow15__t7_yellow152016-03-08 13:10 40K 
[   ]yellow15__t8_yellow152016-03-08 13:10 40K 
[   ]yellow15__t9_yellow152016-03-08 13:10 44K 
[   ]yellow15__t10_yellow152016-03-08 13:10 47K 
[   ]yellow15__t11_yellow152016-03-08 13:10 42K 
[   ]yellow15__t12_yellow152016-03-08 13:10 46K 
[   ]yellow15__t13_yellow152016-03-08 13:10 42K 
[   ]yellow15__t14_yellow152016-03-08 13:10 47K 
[   ]yellow15__t15_yellow152017-01-05 20:54 37K 
[   ]yellow15__t16_yellow152017-01-05 20:54 43K 
[   ]yellow15__t17_yellow152017-01-05 20:54 61K 
[   ]yellow15__t18_yellow152017-01-05 20:54 50K 
[   ]yellow15__t19_yellow152017-01-05 20:54 52K 
[   ]yellow15__t20_yellow152017-01-05 20:54 58K 
[   ]yellow15__t21_yellow152016-03-08 13:10 25K 
[   ]yellow15__t22_yellow152016-03-08 13:10 27K 
[   ]yellow15__t23_yellow152016-03-08 13:10 33K 
[   ]yellow15__t24_yellow152016-03-08 13:10 32K 
[   ]yellow15__t25_yellow152016-03-08 13:10 43K 
[   ]yellow15__t26_yellow152016-03-08 13:10 38K 
[   ]yellow15__t27_yellow152017-01-05 20:54 56K 
[   ]yellow15__t28_yellow152016-03-08 13:10 56K 
[   ]yellow15__t29_yellow152017-01-05 20:54 55K 
[   ]yellow15__t30_yellow152016-03-08 13:10 40K 
[   ]yellow15__t31_yellow152017-01-05 20:54 42K 

Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80