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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]ami_4__l1_ami_42024-07-27 17:17 25K 
[ ]ami_4__l1_ami_4.depv12024-08-03 10:19 128  
[ ]ami_4__l1_ami_4.depvmin12024-08-03 10:24 128  
[ ]ami_4__l1_ami_4.vmin12024-08-03 10:20 776  
[ ]ami_4__l1_ami_4.vmin1out2024-08-03 10:21 6.2K 
[ ]ami_4__l1_ami_4.vout2024-08-03 09:07 8.7K 
[ ]ami_4__l2_ami_42024-07-27 17:18 25K 
[ ]ami_4__l2_ami_4.depv12024-08-03 10:19 106  
[ ]ami_4__l2_ami_4.depvmin12024-08-03 10:24 106  
[ ]ami_4__l2_ami_4.vmin12024-08-03 10:20 661  
[ ]ami_4__l2_ami_4.vmin1out2024-08-03 10:21 4.7K 
[ ]ami_4__l2_ami_4.vout2024-08-03 04:38 6.3K 
[ ]ami_4__l5_ami_42024-07-27 17:38 41K 
[ ]ami_4__l5_ami_4.vout2024-08-03 05:01 7.2K 
[ ]ami_4__l11_ami_42024-07-27 17:40 60K 
[ ]ami_4__l11_ami_4.vout2024-08-03 08:20 6.7K 
[ ]ami_4__l12_ami_42024-07-27 17:41 55K 
[ ]ami_4__l12_ami_4.vout2024-08-03 05:53 6.7K 
[ ]ami_4__l13_ami_42024-07-27 17:43 72K 
[ ]ami_4__l13_ami_4.vout2024-08-03 04:20 7.2K 
[ ]ami_4__t1_ami_42024-07-27 17:20 38K 
[ ]ami_4__t1_ami_4.vout2024-08-03 09:46 9.8K 
[ ]ami_4__t2_ami_42024-07-27 17:21 47K 
[ ]ami_4__t2_ami_4.vout2024-08-03 09:51 6.7K 
[ ]ami_4__t3_ami_42024-07-27 17:23 47K 
[ ]ami_4__t3_ami_4.vout2024-08-03 09:19 6.7K 
[ ]ami_4__t4_ami_42024-07-27 17:25 46K 
[ ]ami_4__t4_ami_4.vout2024-08-03 08:11 6.7K 
[ ]ami_4__t5_ami_42024-07-27 17:27 49K 
[ ]ami_4__t5_ami_4.vout2024-08-03 07:37 6.7K 
[ ]ami_4__t6_ami_42024-07-27 17:28 47K 
[ ]ami_4__t6_ami_4.vout2024-08-03 06:13 7.2K 
[ ]ami_4__t7_ami_42024-07-27 17:30 72K 
[ ]ami_4__t7_ami_4.vout2024-08-03 08:01 7.3K 
[ ]ami_4__t8_ami_42024-07-27 17:32 43K 
[ ]ami_4__t8_ami_4.vout2024-08-03 06:07 3.6K 
[ ]ami_4__t9_ami_42024-07-27 17:34 41K 
[ ]ami_4__t9_ami_4.vout2024-08-03 06:41 7.8K 
[ ]ami_4__t10_ami_42024-07-27 17:36 274K 
[ ]ami_4__t10_ami_4.vout2024-08-03 07:31 5.8K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80