Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_tls/convex2

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]convex2__l1_convex22017-01-12 22:18 27K 
[   ]convex2__l7_convex22017-01-12 22:18 135K 
[   ]convex2__l8_convex22017-01-12 22:18 105K 
[   ]convex2__l11_convex22017-01-12 22:18 50K 
[   ]convex2__l12_convex22017-01-12 22:18 51K 
[   ]convex2__l14_convex22017-01-12 22:18 71K 
[   ]convex2__l15_convex22017-01-12 22:18 40K 
[   ]convex2__l16_convex22017-01-12 22:18 55K 
[   ]convex2__t1_convex22017-01-12 22:18 39K 
[   ]convex2__t2_convex22017-01-12 22:18 75K 
[   ]convex2__t3_convex22017-01-12 22:18 76K 
[   ]convex2__t4_convex22017-01-12 22:18 75K 
[   ]convex2__t5_convex22017-01-12 22:18 76K 
[   ]convex2__t6_convex22017-01-12 22:18 44K 
[   ]convex2__t7_convex22017-01-12 22:18 34K 
[   ]convex2__t8_convex22017-01-12 22:18 158K 
[   ]convex2__t9_convex22017-01-12 22:18 54K 
[   ]convex2__t10_convex22017-01-12 22:18 47K 
[   ]convex2__t11_convex22017-01-12 22:18 50K 
[   ]convex2__t12_convex22017-01-12 22:18 55K 
[   ]convex2__t13_convex22017-01-12 22:18 30K 
[   ]convex2__t14_convex22017-01-12 22:18 42K 

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