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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]sfmastr2__t1_sfmastr22016-03-08 13:09 128K 
[ ]sfmastr2__t2_sfmastr22016-03-08 13:09 129K 
[ ]sfmastr2__t3_sfmastr22016-03-08 13:09 105K 
[ ]sfmastr2__t4_sfmastr22016-03-08 13:09 104K 
[ ]sfmastr2__t5_sfmastr22016-03-08 13:09 104K 
[ ]sfmastr2__t8_sfmastr22016-03-08 13:09 149K 
[ ]sfmastr2__t9_sfmastr22016-03-08 13:09 148K 
[ ]sfmastr2__t10_sfmastr22016-03-08 13:09 175K 
[ ]sfmastr2__t11_sfmastr22016-03-08 13:09 176K 
[ ]sfmastr2__t12_sfmastr22016-03-08 13:09 217K 
[ ]sfmastr2__t13_sfmastr22016-03-08 13:09 177K 
[ ]sfmastr2__t14_sfmastr22016-03-08 13:09 176K 
[ ]sfmastr2__t15_sfmastr22016-03-08 13:09 163K 
[ ]sfmastr2__t16_sfmastr22016-03-08 13:09 191K 
[ ]sfmastr2__t17_sfmastr22016-03-08 13:09 345K 
[ ]sfmastr2__t18_sfmastr22016-03-08 13:09 256K 
[ ]sfmastr2__t19_sfmastr22016-03-08 13:09 190K 
[ ]sfmastr2__t20_sfmastr22016-03-08 13:09 202K 
[ ]sfmastr2__t21_sfmastr22016-03-08 13:09 259K 
[ ]sfmastr2__t22_sfmastr22016-03-08 13:09 194K 
[ ]sfmastr2__t23_sfmastr22016-03-08 13:09 364K 
[ ]sfmastr2__t24_sfmastr22016-03-08 13:09 356K 
[ ]sfmastr2__t25_sfmastr22016-03-08 13:09 192K 
[ ]sfmastr2__t26_sfmastr22016-03-08 13:09 365K 
[ ]sfmastr2__t27_sfmastr22016-03-08 13:09 269K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80