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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]amistd_3__t1_amistd_32024-07-27 15:49 40K 
[ ]amistd_3__t1_amistd_3.vout2024-08-03 10:17 6.8K 
[ ]amistd_3__t2_amistd_32024-07-27 15:52 79K 
[ ]amistd_3__t2_amistd_3.vout2024-08-03 08:53 5.9K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80