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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]algseq_1__t17_algseq_1.vout2021-07-25 19:56 76K 
[ ]algseq_1__t17_algseq_1.vmin1out2021-07-25 21:02 63K 
[ ]algseq_1__t17_algseq_1.vmin12021-07-25 20:57 3.7K 
[ ]algseq_1__t17_algseq_1.depvmin12021-07-25 21:03 306  
[ ]algseq_1__t17_algseq_1.depv12021-07-25 20:57 306  
[ ]algseq_1__t17_algseq_12021-07-17 19:22 29K 
[ ]algseq_1__t16_algseq_1.vout2021-07-25 19:29 54K 
[ ]algseq_1__t16_algseq_1.vmin1out2021-07-25 20:59 30K 
[ ]algseq_1__t16_algseq_1.vmin12021-07-25 20:57 3.9K 
[ ]algseq_1__t16_algseq_1.depvmin12021-07-25 21:03 188  
[ ]algseq_1__t16_algseq_1.depv12021-07-25 20:57 385  
[ ]algseq_1__t16_algseq_12021-07-17 19:22 25K 
[ ]algseq_1__t14_algseq_1.vout2021-07-25 19:32 39K 
[ ]algseq_1__t14_algseq_1.vmin1out2021-07-25 21:02 39K 
[ ]algseq_1__t14_algseq_1.vmin12021-07-25 20:57 2.3K 
[ ]algseq_1__t14_algseq_1.depvmin12021-07-25 21:03 102  
[ ]algseq_1__t14_algseq_1.depv12021-07-25 20:57 126  
[ ]algseq_1__t14_algseq_12021-07-17 19:21 24K 
[ ]algseq_1__t13_algseq_1.vout2021-07-25 18:31 4.7K 
[ ]algseq_1__t13_algseq_12021-07-17 19:21 24K 
[ ]algseq_1__t12_algseq_1.vout2021-07-25 19:34 46K 
[ ]algseq_1__t12_algseq_1.vmin1out2021-07-25 21:01 42K 
[ ]algseq_1__t12_algseq_1.vmin12021-07-25 20:57 2.8K 
[ ]algseq_1__t12_algseq_1.depvmin12021-07-25 21:03 240  
[ ]algseq_1__t12_algseq_1.depv12021-07-25 20:57 240  
[ ]algseq_1__t12_algseq_12021-07-17 19:20 25K 
[ ]algseq_1__t10_algseq_1.vout2021-07-25 16:45 44K 
[ ]algseq_1__t10_algseq_1.vmin1out2021-07-25 21:01 47K 
[ ]algseq_1__t10_algseq_1.vmin12021-07-25 20:57 2.3K 
[ ]algseq_1__t10_algseq_1.depvmin12021-07-25 21:03 122  
[ ]algseq_1__t10_algseq_1.depv12021-07-25 20:57 134  
[ ]algseq_1__t10_algseq_12021-07-17 19:20 32K 
[ ]algseq_1__t9_algseq_1.vout2021-07-25 15:00 14K 
[ ]algseq_1__t9_algseq_1.vmin1out2021-07-25 21:01 16K 
[ ]algseq_1__t9_algseq_1.vmin12021-07-25 20:57 1.4K 
[ ]algseq_1__t9_algseq_1.depvmin12021-07-25 21:03 100  
[ ]algseq_1__t9_algseq_1.depv12021-07-25 20:57 100  
[ ]algseq_1__t9_algseq_12021-07-17 19:19 22K 
[ ]algseq_1__t8_algseq_1.vout2021-07-25 19:48 24K 
[ ]algseq_1__t8_algseq_1.vmin1out2021-07-25 21:02 24K 
[ ]algseq_1__t8_algseq_1.vmin12021-07-25 20:57 1.6K 
[ ]algseq_1__t8_algseq_1.depvmin12021-07-25 21:03 64  
[ ]algseq_1__t8_algseq_1.depv12021-07-25 20:57 64  
[ ]algseq_1__t8_algseq_12021-07-17 19:19 23K 
[ ]algseq_1__l20_algseq_1.vout2021-07-25 19:46 4.7K 
[ ]algseq_1__l20_algseq_12021-07-17 19:23 26K 
[ ]algseq_1__l3_algseq_1.vout2021-07-25 16:24 19K 
[ ]algseq_1__l3_algseq_1.vmin1out2021-07-25 21:00 22K 
[ ]algseq_1__l3_algseq_1.vmin12021-07-25 20:57 1.1K 
[ ]algseq_1__l3_algseq_1.depvmin12021-07-25 21:03 36  
[ ]algseq_1__l3_algseq_1.depv12021-07-25 20:57 36  
[ ]algseq_1__l3_algseq_12021-07-17 19:22 22K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80