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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]convex2__l1_convex22017-01-13 00:34 43K 
[   ]convex2__l7_convex22017-01-13 00:34 190K 
[   ]convex2__l8_convex22017-01-13 00:34 153K 
[   ]convex2__l11_convex22017-01-13 00:34 79K 
[   ]convex2__l12_convex22017-01-13 00:34 81K 
[   ]convex2__l14_convex22017-01-13 00:34 108K 
[   ]convex2__l15_convex22017-01-13 00:34 64K 
[   ]convex2__l16_convex22017-01-13 00:34 83K 
[   ]convex2__t1_convex22017-01-13 00:34 61K 
[   ]convex2__t2_convex22017-01-13 00:34 108K 
[   ]convex2__t3_convex22017-01-13 00:34 109K 
[   ]convex2__t4_convex22017-01-13 00:34 109K 
[   ]convex2__t5_convex22017-01-13 00:34 109K 
[   ]convex2__t6_convex22017-01-13 00:34 69K 
[   ]convex2__t7_convex22017-01-13 00:34 55K 
[   ]convex2__t8_convex22017-01-13 00:34 228K 
[   ]convex2__t9_convex22017-01-13 00:34 84K 
[   ]convex2__t10_convex22017-01-13 00:34 74K 
[   ]convex2__t11_convex22017-01-13 00:34 79K 
[   ]convex2__t12_convex22017-01-13 00:34 86K 
[   ]convex2__t13_convex22017-01-13 00:34 48K 
[   ]convex2__t14_convex22017-01-13 00:34 66K 

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