Index of /~mptp/7.13.01_4.181.1147/mptp/problems_gdfthf/prvect_2

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]prvect_2__l15_prvect_22019-08-19 18:53 79K 
[ ]prvect_2__l16_prvect_22019-08-19 18:53 71K 
[ ]prvect_2__l17_prvect_22019-08-19 18:53 122K 
[ ]prvect_2__l18_prvect_22019-08-19 18:53 122K 
[ ]prvect_2__l19_prvect_22019-08-19 18:53 469K 
[ ]prvect_2__l21_prvect_22019-08-19 18:53 60K 
[ ]prvect_2__l29_prvect_22019-08-19 18:53 592K 
[ ]prvect_2__l31_prvect_22019-08-19 18:53 186K 
[ ]prvect_2__t1_prvect_22019-08-19 18:53 171K 
[ ]prvect_2__t2_prvect_22019-08-19 18:53 131K 
[ ]prvect_2__t3_prvect_22019-08-19 18:53 113K 
[ ]prvect_2__t4_prvect_22019-08-19 18:53 78K 
[ ]prvect_2__t5_prvect_22019-08-19 18:53 116K 
[ ]prvect_2__t6_prvect_22019-08-19 18:53 92K 
[ ]prvect_2__t7_prvect_22019-08-19 18:53 109K 
[ ]prvect_2__t8_prvect_22019-08-19 18:53 241K 
[ ]prvect_2__t9_prvect_22019-08-19 18:53 140K 
[ ]prvect_2__t10_prvect_22019-08-19 18:53 205K 
[ ]prvect_2__t11_prvect_22019-08-19 18:53 228K 
[ ]prvect_2__t12_prvect_22019-08-19 18:53 300K 
[ ]prvect_2__t13_prvect_22019-08-19 18:53 940K 
[ ]prvect_2__t14_prvect_22019-08-19 18:53 505K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80