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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]msualg_4__t1_msualg_42024-07-26 23:03 23K 
[   ]msualg_4__t1_msualg_4.depv12024-08-03 10:19 159  
[   ]msualg_4__t1_msualg_4.depvmin12024-08-03 10:24 159  
[   ]msualg_4__t1_msualg_4.vmin12024-08-03 10:19 3.1K 
[   ]msualg_4__t1_msualg_4.vmin1out2024-08-03 10:23 54K 
[   ]msualg_4__t1_msualg_4.vout2024-08-03 08:21 58K 
[   ]msualg_4__t2_msualg_42024-07-26 23:04 44K 
[   ]msualg_4__t2_msualg_4.vout2024-08-03 04:22 6.8K 
[   ]msualg_4__t3_msualg_42024-07-26 23:07 65K 
[   ]msualg_4__t3_msualg_4.vout2024-08-03 07:27 6.8K 
[   ]msualg_4__t4_msualg_42024-07-26 23:09 69K 
[   ]msualg_4__t4_msualg_4.vout2024-08-03 08:33 7.3K 
[   ]msualg_4__t5_msualg_42024-07-26 23:11 50K 
[   ]msualg_4__t5_msualg_4.vout2024-08-03 04:20 7.4K 
[   ]msualg_4__t6_msualg_42024-07-26 23:12 32K 
[   ]msualg_4__t6_msualg_4.vout2024-08-03 10:10 7.9K 

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