Index of /~mptp/1147/mptp/problems/prvect_2

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]prvect_2__l15_prvect_22023-06-28 00:36 49K 
[   ]prvect_2__l16_prvect_22023-06-28 00:36 49K 
[   ]prvect_2__l17_prvect_22023-06-28 00:36 69K 
[   ]prvect_2__l18_prvect_22023-06-28 00:36 67K 
[   ]prvect_2__l19_prvect_22023-06-28 00:36 86K 
[   ]prvect_2__l21_prvect_22023-06-28 00:36 42K 
[   ]prvect_2__l29_prvect_22023-06-28 00:36 134K 
[   ]prvect_2__l31_prvect_22023-06-28 00:36 76K 
[   ]prvect_2__t1_prvect_22023-06-28 00:35 52K 
[   ]prvect_2__t2_prvect_22023-06-28 00:35 64K 
[   ]prvect_2__t3_prvect_22023-06-28 00:35 60K 
[   ]prvect_2__t4_prvect_22023-06-28 00:35 47K 
[   ]prvect_2__t5_prvect_22023-06-28 00:35 53K 
[   ]prvect_2__t6_prvect_22023-06-28 00:35 66K 
[   ]prvect_2__t7_prvect_22023-06-28 00:35 75K 
[   ]prvect_2__t8_prvect_22023-06-28 00:35 114K 
[   ]prvect_2__t9_prvect_22023-06-28 00:35 73K 
[   ]prvect_2__t10_prvect_22023-06-28 00:35 94K 
[   ]prvect_2__t11_prvect_22023-06-28 00:35 89K 
[   ]prvect_2__t12_prvect_22023-06-28 00:35 85K 
[   ]prvect_2__t13_prvect_22023-06-28 00:36 134K 
[   ]prvect_2__t14_prvect_22023-06-28 00:36 87K 

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