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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]prvect_2__l15_prvect_22025-09-11 22:20 51K 
[   ]prvect_2__l16_prvect_22025-09-11 22:22 50K 
[   ]prvect_2__l17_prvect_22025-09-11 22:57 77K 
[   ]prvect_2__l18_prvect_22025-09-11 22:59 75K 
[   ]prvect_2__l19_prvect_22025-09-11 22:23 32K 
[   ]prvect_2__l20_prvect_22025-09-11 23:02 94K 
[   ]prvect_2__l29_prvect_22025-09-11 23:05 142K 
[   ]prvect_2__l31_prvect_22025-09-11 23:07 77K 
[   ]prvect_2__t1_prvect_22025-09-11 22:24 56K 
[   ]prvect_2__t2_prvect_22025-09-11 22:26 68K 
[   ]prvect_2__t3_prvect_22025-09-11 22:28 65K 
[   ]prvect_2__t4_prvect_22025-09-11 22:29 51K 
[   ]prvect_2__t5_prvect_22025-09-11 22:31 59K 
[   ]prvect_2__t6_prvect_22025-09-11 22:33 74K 
[   ]prvect_2__t7_prvect_22025-09-11 22:35 83K 
[   ]prvect_2__t8_prvect_22025-09-11 22:38 119K 
[   ]prvect_2__t9_prvect_22025-09-11 22:40 82K 
[   ]prvect_2__t10_prvect_22025-09-11 22:43 102K 
[   ]prvect_2__t11_prvect_22025-09-11 22:46 97K 
[   ]prvect_2__t12_prvect_22025-09-11 22:48 92K 
[   ]prvect_2__t13_prvect_22025-09-11 22:52 145K 
[   ]prvect_2__t14_prvect_22025-09-11 22:55 95K 

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