Index of /~mptp/1147/MPTP2/problems_thf_tls1/fintopo5

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]fintopo5__t1_fintopo52017-01-13 19:26 20K 
[   ]fintopo5__t2_fintopo52017-01-13 19:26 18K 
[   ]fintopo5__t3_fintopo52017-01-13 19:26 34K 
[   ]fintopo5__t4_fintopo52017-01-13 19:26 39K 
[   ]fintopo5__t5_fintopo52017-01-13 19:26 34K 
[   ]fintopo5__t6_fintopo52017-01-13 19:26 80K 
[   ]fintopo5__t7_fintopo52017-01-13 19:26 28K 
[   ]fintopo5__t8_fintopo52017-01-13 19:26 24K 
[   ]fintopo5__t9_fintopo52017-01-13 19:26 159K 
[   ]fintopo5__t10_fintopo52017-01-13 19:26 263K 
[   ]fintopo5__t11_fintopo52017-01-13 19:26 34K 
[   ]fintopo5__t12_fintopo52017-01-13 19:26 34K 
[   ]fintopo5__t13_fintopo52017-01-13 19:26 57K 
[   ]fintopo5__t14_fintopo52017-01-13 19:26 36K 
[   ]fintopo5__t15_fintopo52017-01-13 19:26 36K 
[   ]fintopo5__t16_fintopo52017-01-13 19:26 60K 

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