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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]fintopo4__t1_fintopo42016-03-08 13:05 43K 
[   ]fintopo4__t2_fintopo42016-03-08 13:05 43K 
[   ]fintopo4__t3_fintopo42016-03-08 13:05 43K 
[   ]fintopo4__t4_fintopo42016-03-08 13:05 43K 
[   ]fintopo4__t5_fintopo42016-03-08 13:05 20K 
[   ]fintopo4__t6_fintopo42017-01-05 20:54 26K 
[   ]fintopo4__t7_fintopo42017-01-05 20:54 27K 
[   ]fintopo4__t8_fintopo42017-01-05 20:54 28K 
[   ]fintopo4__t9_fintopo42017-01-05 20:54 25K 
[   ]fintopo4__t10_fintopo42017-01-05 20:54 26K 
[   ]fintopo4__t11_fintopo42017-01-05 20:54 26K 
[   ]fintopo4__t12_fintopo42017-01-05 20:54 34K 
[   ]fintopo4__t13_fintopo42017-01-05 20:54 33K 
[   ]fintopo4__t14_fintopo42016-03-08 13:05 32K 
[   ]fintopo4__t15_fintopo42016-03-08 13:05 34K 
[   ]fintopo4__t16_fintopo42017-01-05 20:54 38K 
[   ]fintopo4__t17_fintopo42017-01-05 20:54 44K 
[   ]fintopo4__t18_fintopo42017-01-05 20:54 40K 
[   ]fintopo4__t19_fintopo42017-01-05 20:54 68K 
[   ]fintopo4__t20_fintopo42017-01-05 20:54 40K 
[   ]fintopo4__t21_fintopo42017-01-05 20:54 115K 

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