Index of /~mptp/8.1.15_5.94.1493/MPTP2/problems_small/msualg_4

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]msualg_4__t1_msualg_42025-09-09 01:32 23K 
[   ]msualg_4__t1_msualg_4.depv12025-09-15 19:47 182  
[   ]msualg_4__t1_msualg_4.depvmin12025-09-15 19:52 182  
[   ]msualg_4__t1_msualg_4.vmin12025-09-15 19:47 3.2K 
[   ]msualg_4__t1_msualg_4.vmin1out2025-09-15 19:50 55K 
[   ]msualg_4__t1_msualg_4.vout2025-09-15 16:41 57K 
[   ]msualg_4__t2_msualg_42025-09-09 01:34 44K 
[   ]msualg_4__t2_msualg_4.vout2025-09-15 17:18 6.8K 
[   ]msualg_4__t3_msualg_42025-09-09 01:36 65K 
[   ]msualg_4__t3_msualg_4.vout2025-09-15 15:08 6.8K 
[   ]msualg_4__t4_msualg_42025-09-09 01:38 69K 
[   ]msualg_4__t4_msualg_4.vout2025-09-15 16:15 7.3K 
[   ]msualg_4__t5_msualg_42025-09-09 01:40 50K 
[   ]msualg_4__t5_msualg_4.vout2025-09-15 16:21 7.9K 
[   ]msualg_4__t6_msualg_42025-09-09 01:41 32K 
[   ]msualg_4__t6_msualg_4.vout2025-09-15 16:49 7.3K 

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