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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]multop_1__t1_multop_12024-07-28 10:59 6.5K 
[ ]multop_1__t1_multop_1.depv12024-08-03 10:19 85  
[ ]multop_1__t1_multop_1.depvmin12024-08-03 10:24 85  
[ ]multop_1__t1_multop_1.vmin12024-08-03 10:20 1.7K 
[ ]multop_1__t1_multop_1.vmin1out2024-08-03 10:22 28K 
[ ]multop_1__t1_multop_1.vout2024-08-03 06:14 28K 
[ ]multop_1__t2_multop_12024-07-28 10:59 7.1K 
[ ]multop_1__t2_multop_1.depv12024-08-03 10:19 159  
[ ]multop_1__t2_multop_1.depvmin12024-08-03 10:24 159  
[ ]multop_1__t2_multop_1.vmin12024-08-03 10:20 2.8K 
[ ]multop_1__t2_multop_1.vmin1out2024-08-03 10:21 63K 
[ ]multop_1__t2_multop_1.vout2024-08-03 10:08 61K 
[ ]multop_1__t3_multop_12024-07-28 11:00 8.2K 
[ ]multop_1__t3_multop_1.vout2024-08-03 06:17 7.7K 
[ ]multop_1__t4_multop_12024-07-28 11:00 6.7K 
[ ]multop_1__t4_multop_1.depv12024-08-03 10:19 85  
[ ]multop_1__t4_multop_1.depvmin12024-08-03 10:24 85  
[ ]multop_1__t4_multop_1.vmin12024-08-03 10:20 1.8K 
[ ]multop_1__t4_multop_1.vmin1out2024-08-03 10:23 31K 
[ ]multop_1__t4_multop_1.vout2024-08-03 05:35 31K 
[ ]multop_1__t5_multop_12024-07-28 11:01 7.4K 
[ ]multop_1__t5_multop_1.vout2024-08-03 08:33 7.6K 
[ ]multop_1__t6_multop_12024-07-28 11:02 8.8K 
[ ]multop_1__t6_multop_1.vout2024-08-03 04:14 7.7K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80