Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/prvect_3

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]prvect_3__l7_prvect_32024-07-27 11:45 25K 
[ ]prvect_3__l7_prvect_3.depv12024-08-03 10:19 85  
[ ]prvect_3__l7_prvect_3.depvmin12024-08-03 10:24 85  
[ ]prvect_3__l7_prvect_3.vmin12024-08-03 10:19 1.0K 
[ ]prvect_3__l7_prvect_3.vmin1out2024-08-03 10:22 15K 
[ ]prvect_3__l7_prvect_3.vout2024-08-03 07:20 14K 
[ ]prvect_3__l19_prvect_32024-07-27 12:41 27K 
[ ]prvect_3__l19_prvect_3.depv12024-08-03 10:19 113  
[ ]prvect_3__l19_prvect_3.depvmin12024-08-03 10:24 91  
[ ]prvect_3__l19_prvect_3.vmin12024-08-03 10:19 1.3K 
[ ]prvect_3__l19_prvect_3.vmin1out2024-08-03 10:22 19K 
[ ]prvect_3__l19_prvect_3.vout2024-08-03 07:32 23K 
[ ]prvect_3__l26_prvect_32024-07-27 11:46 29K 
[ ]prvect_3__l26_prvect_3.depv12024-08-03 10:19 120  
[ ]prvect_3__l26_prvect_3.depvmin12024-08-03 10:24 120  
[ ]prvect_3__l26_prvect_3.vmin12024-08-03 10:19 1.1K 
[ ]prvect_3__l26_prvect_3.vmin1out2024-08-03 10:23 10K 
[ ]prvect_3__l26_prvect_3.vout2024-08-03 04:09 9.4K 
[ ]prvect_3__t1_prvect_32024-07-27 11:48 35K 
[ ]prvect_3__t1_prvect_3.vout2024-08-03 08:23 7.9K 
[ ]prvect_3__t2_prvect_32024-07-27 11:49 42K 
[ ]prvect_3__t2_prvect_3.vout2024-08-03 08:04 6.8K 
[ ]prvect_3__t3_prvect_32024-07-27 11:51 43K 
[ ]prvect_3__t3_prvect_3.vout2024-08-03 07:57 7.3K 
[ ]prvect_3__t4_prvect_32024-07-27 11:52 39K 
[ ]prvect_3__t4_prvect_3.vout2024-08-03 05:00 7.9K 
[ ]prvect_3__t5_prvect_32024-07-27 11:54 35K 
[ ]prvect_3__t5_prvect_3.vout2024-08-03 08:50 7.3K 
[ ]prvect_3__t6_prvect_32024-07-27 11:56 75K 
[ ]prvect_3__t6_prvect_3.vout2024-08-03 09:05 7.3K 
[ ]prvect_3__t7_prvect_32024-07-27 11:42 37K 
[ ]prvect_3__t7_prvect_3.vout2024-08-03 05:10 4.1K 
[ ]prvect_3__t8_prvect_32024-07-27 11:58 39K 
[ ]prvect_3__t8_prvect_3.vout2024-08-03 05:44 4.1K 
[ ]prvect_3__t9_prvect_32024-07-27 11:43 39K 
[ ]prvect_3__t9_prvect_3.vout2024-08-03 09:00 4.1K 
[ ]prvect_3__t10_prvect_32024-07-27 11:59 40K 
[ ]prvect_3__t10_prvect_3.vout2024-08-03 05:52 4.1K 
[ ]prvect_3__t11_prvect_32024-07-27 12:02 68K 
[ ]prvect_3__t11_prvect_3.vout2024-08-03 05:07 4.7K 
[ ]prvect_3__t12_prvect_32024-07-27 12:05 73K 
[ ]prvect_3__t12_prvect_3.vout2024-08-03 06:25 4.1K 
[ ]prvect_3__t13_prvect_32024-07-27 12:08 92K 
[ ]prvect_3__t13_prvect_3.vout2024-08-03 07:18 4.1K 
[ ]prvect_3__t14_prvect_32024-07-27 12:11 65K 
[ ]prvect_3__t14_prvect_3.vout2024-08-03 04:58 4.2K 
[ ]prvect_3__t15_prvect_32024-07-27 12:14 80K 
[ ]prvect_3__t15_prvect_3.vout2024-08-03 07:43 4.1K 
[ ]prvect_3__t16_prvect_32024-07-27 12:17 71K 
[ ]prvect_3__t16_prvect_3.vout2024-08-03 07:55 4.7K 
[ ]prvect_3__t17_prvect_32024-07-27 12:20 109K 
[ ]prvect_3__t17_prvect_3.vout2024-08-03 04:58 4.7K 
[ ]prvect_3__t18_prvect_32024-07-27 12:23 59K 
[ ]prvect_3__t18_prvect_3.vout2024-08-03 10:13 4.1K 
[ ]prvect_3__t19_prvect_32024-07-27 12:26 69K 
[ ]prvect_3__t19_prvect_3.vout2024-08-03 07:17 4.1K 
[ ]prvect_3__t20_prvect_32024-07-27 12:28 80K 
[ ]prvect_3__t20_prvect_3.vout2024-08-03 08:34 4.1K 
[ ]prvect_3__t21_prvect_32024-07-27 12:31 69K 
[ ]prvect_3__t21_prvect_3.vout2024-08-03 04:18 7.3K 
[ ]prvect_3__t22_prvect_32024-07-27 12:34 84K 
[ ]prvect_3__t22_prvect_3.vout2024-08-03 05:34 4.7K 
[ ]prvect_3__t23_prvect_32024-07-27 12:37 72K 
[ ]prvect_3__t23_prvect_3.vout2024-08-03 04:19 7.3K 
[ ]prvect_3__t24_prvect_32024-07-27 12:39 83K 
[ ]prvect_3__t24_prvect_3.vout2024-08-03 09:35 4.7K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80