Index of /~mptp/mml5.63.1382/MPTP2/problems_small/multop_1

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]multop_1__t6_multop_1.vout2021-07-25 17:01 7.6K 
[ ]multop_1__t6_multop_12021-07-17 23:23 8.8K 
[ ]multop_1__t5_multop_1.vout2021-07-25 20:10 7.6K 
[ ]multop_1__t5_multop_12021-07-17 23:23 7.4K 
[ ]multop_1__t4_multop_1.vout2021-07-25 17:59 31K 
[ ]multop_1__t4_multop_1.vmin1out2021-07-25 21:02 31K 
[ ]multop_1__t4_multop_1.vmin12021-07-25 20:57 1.8K 
[ ]multop_1__t4_multop_1.depvmin12021-07-25 21:03 85  
[ ]multop_1__t4_multop_1.depv12021-07-25 20:57 85  
[ ]multop_1__t4_multop_12021-07-17 23:23 6.7K 
[ ]multop_1__t3_multop_1.vout2021-07-25 18:14 7.6K 
[ ]multop_1__t3_multop_12021-07-17 23:23 8.2K 
[ ]multop_1__t2_multop_1.vout2021-07-25 20:50 61K 
[ ]multop_1__t2_multop_1.vmin1out2021-07-25 20:58 63K 
[ ]multop_1__t2_multop_1.vmin12021-07-25 20:57 2.8K 
[ ]multop_1__t2_multop_1.depvmin12021-07-25 21:03 159  
[ ]multop_1__t2_multop_1.depv12021-07-25 20:57 159  
[ ]multop_1__t2_multop_12021-07-17 23:22 7.1K 
[ ]multop_1__t1_multop_1.vout2021-07-25 15:20 28K 
[ ]multop_1__t1_multop_1.vmin1out2021-07-25 21:02 28K 
[ ]multop_1__t1_multop_1.vmin12021-07-25 20:57 1.7K 
[ ]multop_1__t1_multop_1.depvmin12021-07-25 21:03 85  
[ ]multop_1__t1_multop_1.depv12021-07-25 20:57 85  
[ ]multop_1__t1_multop_12021-07-17 23:22 6.5K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80