Index of /~mptp/1147/MPTP2/problems_thf_tls/ff_siec

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]ff_siec__l16_ff_siec2017-01-12 22:12 5.2K 
[   ]ff_siec__t1_ff_siec2017-01-12 22:12 9.4K 
[   ]ff_siec__t2_ff_siec2017-01-12 22:12 9.8K 
[   ]ff_siec__t3_ff_siec2017-01-12 22:12 9.8K 
[   ]ff_siec__t4_ff_siec2017-01-12 22:12 9.9K 
[   ]ff_siec__t5_ff_siec2017-01-12 22:12 9.9K 
[   ]ff_siec__t6_ff_siec2017-01-12 22:12 9.7K 
[   ]ff_siec__t7_ff_siec2017-01-12 22:12 9.8K 
[   ]ff_siec__t8_ff_siec2017-01-12 22:12 6.2K 
[   ]ff_siec__t9_ff_siec2017-01-12 22:12 15K 
[   ]ff_siec__t10_ff_siec2017-01-12 22:12 14K 
[   ]ff_siec__t11_ff_siec2017-01-12 22:12 20K 
[   ]ff_siec__t12_ff_siec2017-01-12 22:12 23K 
[   ]ff_siec__t13_ff_siec2017-01-12 22:12 15K 
[   ]ff_siec__t14_ff_siec2017-01-12 22:12 15K 
[   ]ff_siec__t15_ff_siec2017-01-12 22:12 11K 
[   ]ff_siec__t16_ff_siec2017-01-12 22:12 6.5K 
[   ]ff_siec__t17_ff_siec2017-01-12 22:12 9.4K 
[   ]ff_siec__t18_ff_siec2017-01-12 22:12 17K 
[   ]ff_siec__t19_ff_siec2017-01-12 22:12 19K 
[   ]ff_siec__t20_ff_siec2017-01-12 22:12 22K 
[   ]ff_siec__t21_ff_siec2017-01-12 22:12 25K 
[   ]ff_siec__t22_ff_siec2017-01-12 22:12 12K 
[   ]ff_siec__t23_ff_siec2017-01-12 22:12 9.6K 
[   ]ff_siec__t24_ff_siec2017-01-12 22:12 9.4K 
[   ]ff_siec__t25_ff_siec2017-01-12 22:12 17K 
[   ]ff_siec__t26_ff_siec2017-01-12 22:12 19K 
[   ]ff_siec__t27_ff_siec2017-01-12 22:12 22K 
[   ]ff_siec__t28_ff_siec2017-01-12 22:12 25K 

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