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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]urysohn3__l1_urysohn32017-01-13 19:26 58K 
[   ]urysohn3__t1_urysohn32017-01-13 19:26 60K 
[   ]urysohn3__t2_urysohn32017-01-13 19:26 61K 
[   ]urysohn3__t3_urysohn32017-01-13 19:26 42K 
[   ]urysohn3__t4_urysohn32017-01-13 19:26 177K 
[   ]urysohn3__t5_urysohn32017-01-13 19:26 105K 
[   ]urysohn3__t6_urysohn32017-01-13 19:26 30K 
[   ]urysohn3__t7_urysohn32017-01-13 19:26 44K 
[   ]urysohn3__t8_urysohn32017-01-13 19:26 56K 
[   ]urysohn3__t9_urysohn32017-01-13 19:26 84K 
[   ]urysohn3__t10_urysohn32017-01-13 19:26 61K 
[   ]urysohn3__t11_urysohn32017-01-13 19:26 82K 
[   ]urysohn3__t12_urysohn32017-01-13 19:26 76K 
[   ]urysohn3__t13_urysohn32017-01-13 19:26 46K 
[   ]urysohn3__t14_urysohn32017-01-13 19:26 49K 
[   ]urysohn3__t15_urysohn32017-01-13 19:26 69K 
[   ]urysohn3__t16_urysohn32017-01-13 19:26 86K 
[   ]urysohn3__t17_urysohn32017-01-13 19:26 61K 
[   ]urysohn3__t18_urysohn32017-01-13 19:26 134K 
[   ]urysohn3__t19_urysohn32017-01-13 19:26 52K 
[   ]urysohn3__t20_urysohn32017-01-13 19:26 59K 
[   ]urysohn3__t21_urysohn32017-01-13 19:26 51K 

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