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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]msualg_4__t1_msualg_42021-07-18 09:32 22K 
[   ]msualg_4__t1_msualg_4.depv12021-07-25 20:57 159  
[   ]msualg_4__t1_msualg_4.depvmin12021-07-25 21:03 159  
[   ]msualg_4__t1_msualg_4.vmin12021-07-25 20:57 3.1K 
[   ]msualg_4__t1_msualg_4.vmin1out2021-07-25 21:02 54K 
[   ]msualg_4__t1_msualg_4.vout2021-07-25 18:34 58K 
[   ]msualg_4__t2_msualg_42021-07-18 09:32 43K 
[   ]msualg_4__t2_msualg_4.vout2021-07-25 17:59 6.8K 
[   ]msualg_4__t3_msualg_42021-07-18 09:33 63K 
[   ]msualg_4__t3_msualg_4.vout2021-07-25 15:29 6.8K 
[   ]msualg_4__t4_msualg_42021-07-18 09:34 67K 
[   ]msualg_4__t4_msualg_4.vout2021-07-25 15:02 7.3K 
[   ]msualg_4__t5_msualg_42021-07-18 09:34 49K 
[   ]msualg_4__t5_msualg_4.vout2021-07-25 20:48 7.4K 
[   ]msualg_4__t6_msualg_42021-07-18 09:34 31K 
[   ]msualg_4__t6_msualg_4.vout2021-07-25 16:33 7.4K 

Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80