Index of /~mptp/8.1.15_5.94.1493/MPTP2/problems_small_thf/prvect_4

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]prvect_4__l9_prvect_42025-09-12 11:56 27K 
[   ]prvect_4__s1_prvect_42025-09-12 11:29 39K 
[   ]prvect_4__t1_prvect_42025-09-12 11:31 63K 
[   ]prvect_4__t2_prvect_42025-09-12 11:32 49K 
[   ]prvect_4__t3_prvect_42025-09-12 11:34 55K 
[   ]prvect_4__t4_prvect_42025-09-12 11:36 54K 
[   ]prvect_4__t5_prvect_42025-09-12 11:38 60K 
[   ]prvect_4__t6_prvect_42025-09-12 11:39 57K 
[   ]prvect_4__t7_prvect_42025-09-12 11:42 115K 
[   ]prvect_4__t8_prvect_42025-09-12 11:45 103K 
[   ]prvect_4__t9_prvect_42025-09-12 11:48 102K 
[   ]prvect_4__t10_prvect_42025-09-12 11:52 143K 
[   ]prvect_4__t11_prvect_42025-09-12 11:55 125K 

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