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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]recdef_2__t2_recdef_22021-07-18 05:49 6.7K 
[ ]recdef_2__t2_recdef_2.depv12021-07-25 20:57 156  
[ ]recdef_2__t2_recdef_2.depvmin12021-07-25 21:03 156  
[ ]recdef_2__t2_recdef_2.vmin12021-07-25 20:57 1.4K 
[ ]recdef_2__t2_recdef_2.vmin1out2021-07-25 20:58 23K 
[ ]recdef_2__t2_recdef_2.vout2021-07-25 16:57 24K 
[ ]recdef_2__t3_recdef_22021-07-18 05:50 6.6K 
[ ]recdef_2__t3_recdef_2.depv12021-07-25 20:57 133  
[ ]recdef_2__t3_recdef_2.depvmin12021-07-25 21:03 133  
[ ]recdef_2__t3_recdef_2.vmin12021-07-25 20:57 1.2K 
[ ]recdef_2__t3_recdef_2.vmin1out2021-07-25 21:00 17K 
[ ]recdef_2__t3_recdef_2.vout2021-07-25 17:43 17K 
[ ]recdef_2__t5_recdef_22021-07-18 05:50 7.2K 
[ ]recdef_2__t5_recdef_2.depv12021-07-25 20:57 172  
[ ]recdef_2__t5_recdef_2.depvmin12021-07-25 21:03 172  
[ ]recdef_2__t5_recdef_2.vmin12021-07-25 20:57 1.7K 
[ ]recdef_2__t5_recdef_2.vmin1out2021-07-25 21:00 30K 
[ ]recdef_2__t5_recdef_2.vout2021-07-25 16:20 30K 
[ ]recdef_2__t6_recdef_22021-07-18 05:50 7.1K 
[ ]recdef_2__t6_recdef_2.depv12021-07-25 20:57 135  
[ ]recdef_2__t6_recdef_2.depvmin12021-07-25 21:03 135  
[ ]recdef_2__t6_recdef_2.vmin12021-07-25 20:57 1.4K 
[ ]recdef_2__t6_recdef_2.vmin1out2021-07-25 21:00 20K 
[ ]recdef_2__t6_recdef_2.vout2021-07-25 20:14 20K 
[ ]recdef_2__t10_recdef_22021-07-18 05:50 6.4K 
[ ]recdef_2__t10_recdef_2.depv12021-07-25 20:57 48  
[ ]recdef_2__t10_recdef_2.depvmin12021-07-25 21:03 48  
[ ]recdef_2__t10_recdef_2.vmin12021-07-25 20:57 557  
[ ]recdef_2__t10_recdef_2.vmin1out2021-07-25 20:59 9.2K 
[ ]recdef_2__t10_recdef_2.vout2021-07-25 16:27 9.3K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80