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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]ami_4__l1_ami_42025-09-08 10:00 25K 
[ ]ami_4__l1_ami_4.depv12025-09-15 19:47 128  
[ ]ami_4__l1_ami_4.depvmin12025-09-15 19:52 128  
[ ]ami_4__l1_ami_4.vmin12025-09-15 19:47 776  
[ ]ami_4__l1_ami_4.vmin1out2025-09-15 19:50 6.2K 
[ ]ami_4__l1_ami_4.vout2025-09-15 14:43 8.7K 
[ ]ami_4__l2_ami_42025-09-08 10:02 25K 
[ ]ami_4__l2_ami_4.depv12025-09-15 19:47 106  
[ ]ami_4__l2_ami_4.depvmin12025-09-15 19:52 106  
[ ]ami_4__l2_ami_4.vmin12025-09-15 19:47 661  
[ ]ami_4__l2_ami_4.vmin1out2025-09-15 19:50 4.7K 
[ ]ami_4__l2_ami_4.vout2025-09-15 17:49 6.3K 
[ ]ami_4__l5_ami_42025-09-08 10:22 41K 
[ ]ami_4__l5_ami_4.vout2025-09-15 17:05 7.2K 
[ ]ami_4__l11_ami_42025-09-08 10:24 60K 
[ ]ami_4__l11_ami_4.vout2025-09-15 18:40 6.7K 
[ ]ami_4__l12_ami_42025-09-08 10:26 55K 
[ ]ami_4__l12_ami_4.vout2025-09-15 16:03 6.8K 
[ ]ami_4__l13_ami_42025-09-08 10:29 72K 
[ ]ami_4__l13_ami_4.vout2025-09-15 15:46 6.7K 
[ ]ami_4__t1_ami_42025-09-08 10:03 38K 
[ ]ami_4__t1_ami_4.vout2025-09-15 18:48 9.8K 
[ ]ami_4__t2_ami_42025-09-08 10:05 47K 
[ ]ami_4__t2_ami_4.vout2025-09-15 19:26 6.7K 
[ ]ami_4__t3_ami_42025-09-08 10:07 47K 
[ ]ami_4__t3_ami_4.vout2025-09-15 13:40 6.7K 
[ ]ami_4__t4_ami_42025-09-08 10:09 46K 
[ ]ami_4__t4_ami_4.vout2025-09-15 15:54 7.2K 
[ ]ami_4__t5_ami_42025-09-08 10:11 49K 
[ ]ami_4__t5_ami_4.vout2025-09-15 15:15 7.2K 
[ ]ami_4__t6_ami_42025-09-08 10:12 47K 
[ ]ami_4__t6_ami_4.vout2025-09-15 17:00 7.3K 
[ ]ami_4__t7_ami_42025-09-08 10:14 72K 
[ ]ami_4__t7_ami_4.vout2025-09-15 13:30 6.7K 
[ ]ami_4__t8_ami_42025-09-08 10:16 43K 
[ ]ami_4__t8_ami_4.vout2025-09-15 18:46 3.6K 
[ ]ami_4__t9_ami_42025-09-08 10:18 41K 
[ ]ami_4__t9_ami_4.vout2025-09-15 17:09 7.8K 
[ ]ami_4__t10_ami_42025-09-08 10:21 281K 
[ ]ami_4__t10_ami_4.vout2025-09-15 14:25 5.8K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80