Index of /~mptp/mml5.63.1382/8.1.10_5.63.1382/mptp/problems_small_thf.orig2021/prvect_3

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]prvect_3__l7_prvect_32021-07-19 01:50 36K 
[ ]prvect_3__l19_prvect_32021-07-19 02:10 38K 
[ ]prvect_3__l26_prvect_32021-07-19 01:51 38K 
[ ]prvect_3__t1_prvect_32021-07-19 01:51 48K 
[ ]prvect_3__t2_prvect_32021-07-19 01:52 60K 
[ ]prvect_3__t3_prvect_32021-07-19 01:52 62K 
[ ]prvect_3__t4_prvect_32021-07-19 01:53 55K 
[ ]prvect_3__t5_prvect_32021-07-19 01:54 52K 
[ ]prvect_3__t6_prvect_32021-07-19 01:54 103K 
[ ]prvect_3__t7_prvect_32021-07-19 01:49 55K 
[ ]prvect_3__t8_prvect_32021-07-19 01:55 57K 
[ ]prvect_3__t9_prvect_32021-07-19 01:50 59K 
[ ]prvect_3__t10_prvect_32021-07-19 01:55 59K 
[ ]prvect_3__t11_prvect_32021-07-19 01:56 103K 
[ ]prvect_3__t12_prvect_32021-07-19 01:57 112K 
[ ]prvect_3__t13_prvect_32021-07-19 01:59 138K 
[ ]prvect_3__t14_prvect_32021-07-19 01:59 97K 
[ ]prvect_3__t15_prvect_32021-07-19 02:01 120K 
[ ]prvect_3__t16_prvect_32021-07-19 02:02 107K 
[ ]prvect_3__t17_prvect_32021-07-19 02:03 165K 
[ ]prvect_3__t18_prvect_32021-07-19 02:04 89K 
[ ]prvect_3__t19_prvect_32021-07-19 02:05 102K 
[ ]prvect_3__t20_prvect_32021-07-19 02:06 126K 
[ ]prvect_3__t21_prvect_32021-07-19 02:07 100K 
[ ]prvect_3__t22_prvect_32021-07-19 02:08 121K 
[ ]prvect_3__t23_prvect_32021-07-19 02:09 106K 
[ ]prvect_3__t24_prvect_32021-07-19 02:10 119K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80