Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_isof_tls/urysohn3

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]urysohn3__l1_urysohn32017-01-13 00:26 88K 
[   ]urysohn3__t1_urysohn32017-01-13 00:26 90K 
[   ]urysohn3__t2_urysohn32017-01-13 00:26 93K 
[   ]urysohn3__t3_urysohn32017-01-13 00:26 64K 
[   ]urysohn3__t4_urysohn32017-01-13 00:26 208K 
[   ]urysohn3__t5_urysohn32017-01-13 00:26 125K 
[   ]urysohn3__t6_urysohn32017-01-13 00:26 46K 
[   ]urysohn3__t7_urysohn32017-01-13 00:26 64K 
[   ]urysohn3__t8_urysohn32017-01-13 00:26 85K 
[   ]urysohn3__t9_urysohn32017-01-13 00:26 115K 
[   ]urysohn3__t10_urysohn32017-01-13 00:26 92K 
[   ]urysohn3__t11_urysohn32017-01-13 00:26 122K 
[   ]urysohn3__t12_urysohn32017-01-13 00:26 114K 
[   ]urysohn3__t13_urysohn32017-01-13 00:26 70K 
[   ]urysohn3__t14_urysohn32017-01-13 00:26 74K 
[   ]urysohn3__t15_urysohn32017-01-13 00:26 103K 
[   ]urysohn3__t16_urysohn32017-01-13 00:26 129K 
[   ]urysohn3__t17_urysohn32017-01-13 00:26 93K 
[   ]urysohn3__t18_urysohn32017-01-13 00:26 191K 
[   ]urysohn3__t19_urysohn32017-01-13 00:26 80K 
[   ]urysohn3__t20_urysohn32017-01-13 00:26 90K 
[   ]urysohn3__t21_urysohn32017-01-13 00:26 80K 

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