Index of /~mptp/8.1.15_5.94.1493/MPTP2/problems_small/prvect_3

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]prvect_3__l7_prvect_32025-09-09 17:27 25K 
[ ]prvect_3__l7_prvect_3.depv12025-09-15 19:47 85  
[ ]prvect_3__l7_prvect_3.depvmin12025-09-15 19:51 85  
[ ]prvect_3__l7_prvect_3.vmin12025-09-15 19:47 1.0K 
[ ]prvect_3__l7_prvect_3.vmin1out2025-09-15 19:50 15K 
[ ]prvect_3__l7_prvect_3.vout2025-09-15 15:11 14K 
[ ]prvect_3__l19_prvect_32025-09-09 18:22 27K 
[ ]prvect_3__l19_prvect_3.depv12025-09-15 19:47 113  
[ ]prvect_3__l19_prvect_3.depvmin12025-09-15 19:51 91  
[ ]prvect_3__l19_prvect_3.vmin12025-09-15 19:47 1.3K 
[ ]prvect_3__l19_prvect_3.vmin1out2025-09-15 19:47 19K 
[ ]prvect_3__l19_prvect_3.vout2025-09-15 14:21 23K 
[ ]prvect_3__l26_prvect_32025-09-09 17:28 29K 
[ ]prvect_3__l26_prvect_3.depv12025-09-15 19:47 120  
[ ]prvect_3__l26_prvect_3.depvmin12025-09-15 19:51 120  
[ ]prvect_3__l26_prvect_3.vmin12025-09-15 19:47 1.1K 
[ ]prvect_3__l26_prvect_3.vmin1out2025-09-15 19:50 10K 
[ ]prvect_3__l26_prvect_3.vout2025-09-15 19:03 9.4K 
[ ]prvect_3__t1_prvect_32025-09-09 17:30 35K 
[ ]prvect_3__t1_prvect_3.vout2025-09-15 17:34 7.9K 
[ ]prvect_3__t2_prvect_32025-09-09 17:31 42K 
[ ]prvect_3__t2_prvect_3.vout2025-09-15 17:20 7.3K 
[ ]prvect_3__t3_prvect_32025-09-09 17:33 43K 
[ ]prvect_3__t3_prvect_3.vout2025-09-15 15:14 7.3K 
[ ]prvect_3__t4_prvect_32025-09-09 17:35 39K 
[ ]prvect_3__t4_prvect_3.vout2025-09-15 15:00 7.9K 
[ ]prvect_3__t5_prvect_32025-09-09 17:36 35K 
[ ]prvect_3__t5_prvect_3.vout2025-09-15 16:24 7.9K 
[ ]prvect_3__t6_prvect_32025-09-09 17:38 75K 
[ ]prvect_3__t6_prvect_3.vout2025-09-15 15:11 6.8K 
[ ]prvect_3__t7_prvect_32025-09-09 17:24 37K 
[ ]prvect_3__t7_prvect_3.vout2025-09-15 19:31 4.2K 
[ ]prvect_3__t8_prvect_32025-09-09 17:40 39K 
[ ]prvect_3__t8_prvect_3.vout2025-09-15 17:23 4.1K 
[ ]prvect_3__t9_prvect_32025-09-09 17:25 39K 
[ ]prvect_3__t9_prvect_3.vout2025-09-15 17:40 4.1K 
[ ]prvect_3__t10_prvect_32025-09-09 17:42 40K 
[ ]prvect_3__t10_prvect_3.vout2025-09-15 17:13 4.1K 
[ ]prvect_3__t11_prvect_32025-09-09 17:44 68K 
[ ]prvect_3__t11_prvect_3.vout2025-09-15 19:04 4.7K 
[ ]prvect_3__t12_prvect_32025-09-09 17:47 74K 
[ ]prvect_3__t12_prvect_3.vout2025-09-15 18:15 4.1K 
[ ]prvect_3__t13_prvect_32025-09-09 17:50 92K 
[ ]prvect_3__t13_prvect_3.vout2025-09-15 19:43 4.1K 
[ ]prvect_3__t14_prvect_32025-09-09 17:53 65K 
[ ]prvect_3__t14_prvect_3.vout2025-09-15 16:12 4.1K 
[ ]prvect_3__t15_prvect_32025-09-09 17:56 80K 
[ ]prvect_3__t15_prvect_3.vout2025-09-15 19:36 4.1K 
[ ]prvect_3__t16_prvect_32025-09-09 17:59 71K 
[ ]prvect_3__t16_prvect_3.vout2025-09-15 14:45 4.7K 
[ ]prvect_3__t17_prvect_32025-09-09 18:02 109K 
[ ]prvect_3__t17_prvect_3.vout2025-09-15 18:04 4.7K 
[ ]prvect_3__t18_prvect_32025-09-09 18:05 59K 
[ ]prvect_3__t18_prvect_3.vout2025-09-15 17:52 4.1K 
[ ]prvect_3__t19_prvect_32025-09-09 18:08 69K 
[ ]prvect_3__t19_prvect_3.vout2025-09-15 17:47 4.1K 
[ ]prvect_3__t20_prvect_32025-09-09 18:10 80K 
[ ]prvect_3__t20_prvect_3.vout2025-09-15 17:56 4.1K 
[ ]prvect_3__t21_prvect_32025-09-09 18:13 69K 
[ ]prvect_3__t21_prvect_3.vout2025-09-15 13:46 7.3K 
[ ]prvect_3__t22_prvect_32025-09-09 18:16 84K 
[ ]prvect_3__t22_prvect_3.vout2025-09-15 19:44 4.7K 
[ ]prvect_3__t23_prvect_32025-09-09 18:18 73K 
[ ]prvect_3__t23_prvect_3.vout2025-09-15 18:22 7.3K 
[ ]prvect_3__t24_prvect_32025-09-09 18:21 83K 
[ ]prvect_3__t24_prvect_3.vout2025-09-15 16:04 4.7K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80