Index of /~mptp/1147/mptp/problems/convex2

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]convex2__l1_convex22023-06-28 00:34 27K 
[   ]convex2__l7_convex22023-06-28 00:34 135K 
[   ]convex2__l8_convex22023-06-28 00:34 105K 
[   ]convex2__l11_convex22023-06-28 00:34 50K 
[   ]convex2__l12_convex22023-06-28 00:34 51K 
[   ]convex2__l14_convex22023-06-28 00:34 71K 
[   ]convex2__l15_convex22023-06-28 00:34 40K 
[   ]convex2__l16_convex22023-06-28 00:34 55K 
[   ]convex2__t1_convex22023-06-28 00:34 38K 
[   ]convex2__t2_convex22023-06-28 00:34 75K 
[   ]convex2__t3_convex22023-06-28 00:34 76K 
[   ]convex2__t4_convex22023-06-28 00:34 76K 
[   ]convex2__t5_convex22023-06-28 00:34 76K 
[   ]convex2__t6_convex22023-06-28 00:34 44K 
[   ]convex2__t7_convex22023-06-28 00:34 34K 
[   ]convex2__t8_convex22023-06-28 00:34 158K 
[   ]convex2__t9_convex22023-06-28 00:34 54K 
[   ]convex2__t10_convex22023-06-28 00:34 47K 
[   ]convex2__t11_convex22023-06-28 00:34 50K 
[   ]convex2__t12_convex22023-06-28 00:34 55K 
[   ]convex2__t13_convex22023-06-28 00:34 30K 
[   ]convex2__t14_convex22023-06-28 00:34 42K 

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