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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]prvect_4__l9_prvect_42024-07-27 16:45 16K 
[ ]prvect_4__l9_prvect_4.depv12024-08-03 10:19 81  
[ ]prvect_4__l9_prvect_4.depvmin12024-08-03 10:24 81  
[ ]prvect_4__l9_prvect_4.vmin12024-08-03 10:19 1.0K 
[ ]prvect_4__l9_prvect_4.vmin1out2024-08-03 10:21 16K 
[ ]prvect_4__l9_prvect_4.vout2024-08-03 05:10 16K 
[ ]prvect_4__t1_prvect_42024-07-27 16:21 38K 
[ ]prvect_4__t1_prvect_4.vout2024-08-03 04:07 6.8K 
[ ]prvect_4__t2_prvect_42024-07-27 16:23 30K 
[ ]prvect_4__t2_prvect_4.vout2024-08-03 05:44 7.9K 
[ ]prvect_4__t3_prvect_42024-07-27 16:25 34K 
[ ]prvect_4__t3_prvect_4.vout2024-08-03 04:35 4.7K 
[ ]prvect_4__t4_prvect_42024-07-27 16:26 33K 
[ ]prvect_4__t4_prvect_4.vout2024-08-03 08:53 4.7K 
[ ]prvect_4__t5_prvect_42024-07-27 16:28 37K 
[ ]prvect_4__t5_prvect_4.vout2024-08-03 06:29 4.7K 
[ ]prvect_4__t6_prvect_42024-07-27 16:29 35K 
[ ]prvect_4__t6_prvect_4.vout2024-08-03 10:00 4.7K 
[ ]prvect_4__t7_prvect_42024-07-27 16:32 72K 
[ ]prvect_4__t7_prvect_4.vout2024-08-03 05:09 4.7K 
[ ]prvect_4__t8_prvect_42024-07-27 16:35 65K 
[ ]prvect_4__t8_prvect_4.vout2024-08-03 08:21 4.7K 
[ ]prvect_4__t9_prvect_42024-07-27 16:38 63K 
[ ]prvect_4__t9_prvect_4.vout2024-08-03 09:14 4.7K 
[ ]prvect_4__t10_prvect_42024-07-27 16:41 90K 
[ ]prvect_4__t10_prvect_4.vout2024-08-03 05:22 4.7K 
[ ]prvect_4__t11_prvect_42024-07-27 16:44 79K 
[ ]prvect_4__t11_prvect_4.vout2024-08-03 06:57 4.7K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80