Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_tls1/convex2

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]convex2__l1_convex22017-01-13 19:22 27K 
[   ]convex2__l7_convex22017-01-13 19:22 137K 
[   ]convex2__l8_convex22017-01-13 19:22 106K 
[   ]convex2__l11_convex22017-01-13 19:22 50K 
[   ]convex2__l12_convex22017-01-13 19:22 51K 
[   ]convex2__l14_convex22017-01-13 19:22 72K 
[   ]convex2__l15_convex22017-01-13 19:22 40K 
[   ]convex2__l16_convex22017-01-13 19:22 55K 
[   ]convex2__t1_convex22017-01-13 19:22 39K 
[   ]convex2__t2_convex22017-01-13 19:22 76K 
[   ]convex2__t3_convex22017-01-13 19:22 77K 
[   ]convex2__t4_convex22017-01-13 19:22 76K 
[   ]convex2__t5_convex22017-01-13 19:22 76K 
[   ]convex2__t6_convex22017-01-13 19:22 44K 
[   ]convex2__t7_convex22017-01-13 19:22 35K 
[   ]convex2__t8_convex22017-01-13 19:22 160K 
[   ]convex2__t9_convex22017-01-13 19:22 55K 
[   ]convex2__t10_convex22017-01-13 19:22 47K 
[   ]convex2__t11_convex22017-01-13 19:22 50K 
[   ]convex2__t12_convex22017-01-13 19:22 55K 
[   ]convex2__t13_convex22017-01-13 19:22 30K 
[   ]convex2__t14_convex22017-01-13 19:22 42K 

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