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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]ami_5__l5_ami_52025-09-09 18:54 35K 
[ ]ami_5__l5_ami_5.depv12025-09-15 19:47 140  
[ ]ami_5__l5_ami_5.depvmin12025-09-15 19:52 140  
[ ]ami_5__l5_ami_5.vmin12025-09-15 19:47 1.1K 
[ ]ami_5__l5_ami_5.vmin1out2025-09-15 19:51 10K 
[ ]ami_5__l5_ami_5.vout2025-09-15 13:30 11K 
[ ]ami_5__t1_ami_52025-09-09 18:05 36K 
[ ]ami_5__t1_ami_5.vout2025-09-15 14:08 7.3K 
[ ]ami_5__t2_ami_52025-09-09 18:03 35K 
[ ]ami_5__t2_ami_5.depv12025-09-15 19:47 28  
[ ]ami_5__t2_ami_5.depvmin12025-09-15 19:52 28  
[ ]ami_5__t2_ami_5.vmin12025-09-15 19:47 414  
[ ]ami_5__t2_ami_5.vmin1out2025-09-15 19:48 5.5K 
[ ]ami_5__t2_ami_5.vout2025-09-15 19:04 5.7K 
[ ]ami_5__t3_ami_52025-09-09 18:07 35K 
[ ]ami_5__t3_ami_5.depv12025-09-15 19:47 54  
[ ]ami_5__t3_ami_5.depvmin12025-09-15 19:52 54  
[ ]ami_5__t3_ami_5.vmin12025-09-15 19:47 554  
[ ]ami_5__t3_ami_5.vmin1out2025-09-15 19:48 5.4K 
[ ]ami_5__t3_ami_5.vout2025-09-15 15:54 7.5K 
[ ]ami_5__t4_ami_52025-09-09 18:09 38K 
[ ]ami_5__t4_ami_5.depv12025-09-15 19:47 291  
[ ]ami_5__t4_ami_5.depvmin12025-09-15 19:52 259  
[ ]ami_5__t4_ami_5.vmin12025-09-15 19:47 3.8K 
[ ]ami_5__t4_ami_5.vmin1out2025-09-15 19:48 29K 
[ ]ami_5__t4_ami_5.vout2025-09-15 18:16 52K 
[ ]ami_5__t5_ami_52025-09-09 18:10 45K 
[ ]ami_5__t5_ami_5.vout2025-09-15 15:07 7.8K 
[ ]ami_5__t7_ami_52025-09-09 18:12 38K 
[ ]ami_5__t7_ami_5.vout2025-09-15 17:14 7.8K 
[ ]ami_5__t8_ami_52025-09-09 18:14 39K 
[ ]ami_5__t8_ami_5.vout2025-09-15 15:57 7.8K 
[ ]ami_5__t9_ami_52025-09-09 18:17 39K 
[ ]ami_5__t9_ami_5.vout2025-09-15 14:21 7.8K 
[ ]ami_5__t10_ami_52025-09-09 18:19 39K 
[ ]ami_5__t10_ami_5.vout2025-09-15 17:20 7.8K 
[ ]ami_5__t11_ami_52025-09-09 18:21 39K 
[ ]ami_5__t11_ami_5.vout2025-09-15 16:04 7.8K 
[ ]ami_5__t12_ami_52025-09-09 18:23 39K 
[ ]ami_5__t12_ami_5.vout2025-09-15 13:45 7.8K 
[ ]ami_5__t13_ami_52025-09-09 18:25 39K 
[ ]ami_5__t13_ami_5.vout2025-09-15 18:29 7.3K 
[ ]ami_5__t14_ami_52025-09-09 18:27 39K 
[ ]ami_5__t14_ami_5.vout2025-09-15 18:56 7.8K 
[ ]ami_5__t15_ami_52025-09-09 18:29 39K 
[ ]ami_5__t15_ami_5.vout2025-09-15 15:23 7.8K 
[ ]ami_5__t16_ami_52025-09-09 18:31 53K 
[ ]ami_5__t16_ami_5.vout2025-09-15 16:46 7.2K 
[ ]ami_5__t17_ami_52025-09-09 18:33 62K 
[ ]ami_5__t17_ami_5.vout2025-09-15 13:25 7.2K 
[ ]ami_5__t18_ami_52025-09-09 18:36 109K 
[ ]ami_5__t18_ami_5.vout2025-09-15 15:07 6.8K 
[ ]ami_5__t19_ami_52025-09-09 18:38 109K 
[ ]ami_5__t19_ami_5.vout2025-09-15 17:30 6.7K 
[ ]ami_5__t20_ami_52025-09-09 18:41 117K 
[ ]ami_5__t20_ami_5.vout2025-09-15 18:44 6.7K 
[ ]ami_5__t21_ami_52025-09-09 18:43 62K 
[ ]ami_5__t21_ami_5.vout2025-09-15 16:33 6.7K 
[ ]ami_5__t22_ami_52025-09-09 18:46 62K 
[ ]ami_5__t22_ami_5.vout2025-09-15 16:18 7.2K 
[ ]ami_5__t23_ami_52025-09-09 18:48 111K 
[ ]ami_5__t23_ami_5.vout2025-09-15 17:40 6.7K 
[ ]ami_5__t24_ami_52025-09-09 18:50 70K 
[ ]ami_5__t24_ami_5.vout2025-09-15 14:57 6.8K 
[ ]ami_5__t25_ami_52025-09-09 18:53 61K 
[ ]ami_5__t25_ami_5.vout2025-09-15 18:36 6.7K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80