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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]jordan8__t1_jordan82016-03-08 13:07 37K 
[   ]jordan8__t2_jordan82016-03-08 13:07 40K 
[   ]jordan8__t3_jordan82016-03-08 13:07 77K 
[   ]jordan8__t4_jordan82016-03-08 13:07 143K 
[   ]jordan8__t5_jordan82016-03-08 13:07 77K 
[   ]jordan8__t6_jordan82016-03-08 13:07 104K 
[   ]jordan8__t7_jordan82017-01-05 20:54 65K 
[   ]jordan8__t8_jordan82016-03-08 13:07 42K 
[   ]jordan8__t9_jordan82016-03-08 13:07 42K 
[   ]jordan8__t10_jordan82016-03-08 13:07 416K 
[   ]jordan8__t11_jordan82016-03-08 13:07 248K 
[   ]jordan8__t12_jordan82016-03-08 13:07 421K 
[   ]jordan8__t13_jordan82016-03-08 13:07 248K 
[   ]jordan8__t14_jordan82016-03-08 13:07 421K 
[   ]jordan8__t15_jordan82017-01-05 20:54 358K 
[   ]jordan8__t16_jordan82017-01-05 20:54 358K 
[   ]jordan8__t17_jordan82017-01-05 20:54 264K 
[   ]jordan8__t18_jordan82017-01-05 20:54 264K 

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