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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]aofa_i00__l144_aofa_i002025-09-09 10:02 113K 
[ ]aofa_i00__l144_aofa_i00.vout2025-09-15 17:03 6.9K 
[ ]aofa_i00__l147_aofa_i002025-09-09 10:06 274K 
[ ]aofa_i00__l147_aofa_i00.vout2025-09-15 19:16 6.8K 
[ ]aofa_i00__t1_aofa_i002025-09-09 07:05 46K 
[ ]aofa_i00__t1_aofa_i00.vout2025-09-15 13:40 6.8K 
[ ]aofa_i00__t2_aofa_i002025-09-09 07:06 28K 
[ ]aofa_i00__t2_aofa_i00.depv12025-09-15 19:47 71  
[ ]aofa_i00__t2_aofa_i00.depvmin12025-09-15 19:52 71  
[ ]aofa_i00__t2_aofa_i00.vmin12025-09-15 19:47 691  
[ ]aofa_i00__t2_aofa_i00.vmin1out2025-09-15 19:49 12K 
[ ]aofa_i00__t2_aofa_i00.vout2025-09-15 16:56 15K 
[ ]aofa_i00__t3_aofa_i002025-09-09 07:08 40K 
[ ]aofa_i00__t3_aofa_i00.vout2025-09-15 14:04 7.3K 
[ ]aofa_i00__t4_aofa_i002025-09-09 07:09 57K 
[ ]aofa_i00__t4_aofa_i00.vout2025-09-15 16:30 6.8K 
[ ]aofa_i00__t5_aofa_i002025-09-09 07:11 64K 
[ ]aofa_i00__t5_aofa_i00.vout2025-09-15 14:41 7.3K 
[ ]aofa_i00__t6_aofa_i002025-09-09 07:12 41K 
[ ]aofa_i00__t6_aofa_i00.depv12025-09-15 19:47 245  
[ ]aofa_i00__t6_aofa_i00.depvmin12025-09-15 19:52 189  
[ ]aofa_i00__t6_aofa_i00.vmin12025-09-15 19:47 2.7K 
[ ]aofa_i00__t6_aofa_i00.vmin1out2025-09-15 19:49 30K 
[ ]aofa_i00__t6_aofa_i00.vout2025-09-15 19:22 37K 
[ ]aofa_i00__t7_aofa_i002025-09-09 07:14 41K 
[ ]aofa_i00__t7_aofa_i00.depv12025-09-15 19:47 200  
[ ]aofa_i00__t7_aofa_i00.depvmin12025-09-15 19:52 200  
[ ]aofa_i00__t7_aofa_i00.vmin12025-09-15 19:47 1.9K 
[ ]aofa_i00__t7_aofa_i00.vmin1out2025-09-15 19:47 30K 
[ ]aofa_i00__t7_aofa_i00.vout2025-09-15 15:21 32K 
[ ]aofa_i00__t8_aofa_i002025-09-09 07:16 50K 
[ ]aofa_i00__t8_aofa_i00.vout2025-09-15 19:06 6.8K 
[ ]aofa_i00__t9_aofa_i002025-09-09 07:17 45K 
[ ]aofa_i00__t9_aofa_i00.vout2025-09-15 14:27 7.8K 
[ ]aofa_i00__t10_aofa_i002025-09-09 07:02 39K 
[ ]aofa_i00__t10_aofa_i00.depv12025-09-15 19:47 186  
[ ]aofa_i00__t10_aofa_i00.depvmin12025-09-15 19:52 186  
[ ]aofa_i00__t10_aofa_i00.vmin12025-09-15 19:47 1.5K 
[ ]aofa_i00__t10_aofa_i00.vmin1out2025-09-15 19:50 12K 
[ ]aofa_i00__t10_aofa_i00.vout2025-09-15 17:56 24K 
[ ]aofa_i00__t11_aofa_i002025-09-09 07:19 39K 
[ ]aofa_i00__t11_aofa_i00.depv12025-09-15 19:47 203  
[ ]aofa_i00__t11_aofa_i00.depvmin12025-09-15 19:52 203  
[ ]aofa_i00__t11_aofa_i00.vmin12025-09-15 19:47 1.7K 
[ ]aofa_i00__t11_aofa_i00.vmin1out2025-09-15 19:51 14K 
[ ]aofa_i00__t11_aofa_i00.vout2025-09-15 14:18 18K 
[ ]aofa_i00__t12_aofa_i002025-09-09 07:20 30K 
[ ]aofa_i00__t12_aofa_i00.vout2025-09-15 13:47 4.7K 
[ ]aofa_i00__t13_aofa_i002025-09-09 07:03 24K 
[ ]aofa_i00__t13_aofa_i00.depv12025-09-15 19:47 79  
[ ]aofa_i00__t13_aofa_i00.depvmin12025-09-15 19:52 79  
[ ]aofa_i00__t13_aofa_i00.vmin12025-09-15 19:47 862  
[ ]aofa_i00__t13_aofa_i00.vmin1out2025-09-15 19:48 8.5K 
[ ]aofa_i00__t13_aofa_i00.vout2025-09-15 18:14 9.6K 
[ ]aofa_i00__t14_aofa_i002025-09-09 07:21 46K 
[ ]aofa_i00__t14_aofa_i00.vout2025-09-15 18:42 4.7K 
[ ]aofa_i00__t15_aofa_i002025-09-09 07:23 65K 
[ ]aofa_i00__t15_aofa_i00.vout2025-09-15 14:04 4.7K 
[ ]aofa_i00__t16_aofa_i002025-09-09 07:26 79K 
[ ]aofa_i00__t16_aofa_i00.vout2025-09-15 15:55 6.8K 
[ ]aofa_i00__t17_aofa_i002025-09-09 07:29 82K 
[ ]aofa_i00__t17_aofa_i00.vout2025-09-15 14:48 7.3K 
[ ]aofa_i00__t18_aofa_i002025-09-09 07:32 82K 
[ ]aofa_i00__t18_aofa_i00.vout2025-09-15 19:28 7.3K 
[ ]aofa_i00__t19_aofa_i002025-09-09 07:35 90K 
[ ]aofa_i00__t19_aofa_i00.vout2025-09-15 15:24 3.7K 
[ ]aofa_i00__t20_aofa_i002025-09-09 07:38 94K 
[ ]aofa_i00__t20_aofa_i00.vout2025-09-15 13:42 4.2K 
[ ]aofa_i00__t21_aofa_i002025-09-09 07:41 94K 
[ ]aofa_i00__t21_aofa_i00.vout2025-09-15 15:10 4.2K 
[ ]aofa_i00__t22_aofa_i002025-09-09 07:43 56K 
[ ]aofa_i00__t22_aofa_i00.vout2025-09-15 17:28 7.3K 
[ ]aofa_i00__t23_aofa_i002025-09-09 07:46 109K 
[ ]aofa_i00__t23_aofa_i00.vout2025-09-15 14:00 6.8K 
[ ]aofa_i00__t24_aofa_i002025-09-09 07:49 111K 
[ ]aofa_i00__t24_aofa_i00.vout2025-09-15 18:59 6.8K 
[ ]aofa_i00__t25_aofa_i002025-09-09 07:52 77K 
[ ]aofa_i00__t25_aofa_i00.vout2025-09-15 18:47 7.3K 
[ ]aofa_i00__t26_aofa_i002025-09-09 07:55 74K 
[ ]aofa_i00__t26_aofa_i00.vout2025-09-15 18:38 7.3K 
[ ]aofa_i00__t27_aofa_i002025-09-09 07:57 79K 
[ ]aofa_i00__t27_aofa_i00.vout2025-09-15 17:50 6.8K 
[ ]aofa_i00__t28_aofa_i002025-09-09 08:00 100K 
[ ]aofa_i00__t28_aofa_i00.vout2025-09-15 18:25 7.3K 
[ ]aofa_i00__t29_aofa_i002025-09-09 08:03 186K 
[ ]aofa_i00__t29_aofa_i00.vout2025-09-15 15:12 6.8K 
[ ]aofa_i00__t30_aofa_i002025-09-09 08:06 90K 
[ ]aofa_i00__t30_aofa_i00.vout2025-09-15 17:11 7.3K 
[ ]aofa_i00__t31_aofa_i002025-09-09 08:09 109K 
[ ]aofa_i00__t31_aofa_i00.vout2025-09-15 19:21 6.8K 
[ ]aofa_i00__t32_aofa_i002025-09-09 08:12 186K 
[ ]aofa_i00__t32_aofa_i00.vout2025-09-15 15:31 6.8K 
[ ]aofa_i00__t33_aofa_i002025-09-09 08:15 96K 
[ ]aofa_i00__t33_aofa_i00.vout2025-09-15 17:41 6.8K 
[ ]aofa_i00__t34_aofa_i002025-09-09 08:17 92K 
[ ]aofa_i00__t34_aofa_i00.vout2025-09-15 16:47 7.3K 
[ ]aofa_i00__t35_aofa_i002025-09-09 08:20 88K 
[ ]aofa_i00__t35_aofa_i00.vout2025-09-15 18:29 7.3K 
[ ]aofa_i00__t36_aofa_i002025-09-09 08:23 91K 
[ ]aofa_i00__t36_aofa_i00.vout2025-09-15 15:08 7.3K 
[ ]aofa_i00__t37_aofa_i002025-09-09 08:26 86K 
[ ]aofa_i00__t37_aofa_i00.vout2025-09-15 18:38 7.3K 
[ ]aofa_i00__t38_aofa_i002025-09-09 08:29 92K 
[ ]aofa_i00__t38_aofa_i00.vout2025-09-15 13:45 7.3K 
[ ]aofa_i00__t39_aofa_i002025-09-09 08:31 89K 
[ ]aofa_i00__t39_aofa_i00.vout2025-09-15 17:24 7.3K 
[ ]aofa_i00__t40_aofa_i002025-09-09 08:34 91K 
[ ]aofa_i00__t40_aofa_i00.vout2025-09-15 16:41 7.3K 
[ ]aofa_i00__t41_aofa_i002025-09-09 08:37 87K 
[ ]aofa_i00__t41_aofa_i00.vout2025-09-15 17:02 7.3K 
[ ]aofa_i00__t42_aofa_i002025-09-09 08:40 83K 
[ ]aofa_i00__t42_aofa_i00.vout2025-09-15 13:47 7.3K 
[ ]aofa_i00__t43_aofa_i002025-09-09 08:43 81K 
[ ]aofa_i00__t43_aofa_i00.vout2025-09-15 15:41 6.8K 
[ ]aofa_i00__t44_aofa_i002025-09-09 08:46 82K 
[ ]aofa_i00__t44_aofa_i00.vout2025-09-15 18:05 6.8K 
[ ]aofa_i00__t45_aofa_i002025-09-09 08:48 83K 
[ ]aofa_i00__t45_aofa_i00.vout2025-09-15 19:30 6.8K 
[ ]aofa_i00__t46_aofa_i002025-09-09 08:51 81K 
[ ]aofa_i00__t46_aofa_i00.vout2025-09-15 15:58 7.4K 
[ ]aofa_i00__t47_aofa_i002025-09-09 08:53 82K 
[ ]aofa_i00__t47_aofa_i00.vout2025-09-15 18:38 6.8K 
[ ]aofa_i00__t48_aofa_i002025-09-09 08:56 104K 
[ ]aofa_i00__t48_aofa_i00.vout2025-09-15 18:33 7.3K 
[ ]aofa_i00__t49_aofa_i002025-09-09 08:59 96K 
[ ]aofa_i00__t49_aofa_i00.vout2025-09-15 18:53 7.3K 
[ ]aofa_i00__t50_aofa_i002025-09-09 09:02 112K 
[ ]aofa_i00__t50_aofa_i00.vout2025-09-15 15:56 7.3K 
[ ]aofa_i00__t51_aofa_i002025-09-09 09:05 95K 
[ ]aofa_i00__t51_aofa_i00.vout2025-09-15 17:05 7.3K 
[ ]aofa_i00__t52_aofa_i002025-09-09 09:08 226K 
[ ]aofa_i00__t52_aofa_i00.vout2025-09-15 19:38 7.3K 
[ ]aofa_i00__t53_aofa_i002025-09-09 09:11 226K 
[ ]aofa_i00__t53_aofa_i00.vout2025-09-15 19:13 7.3K 
[ ]aofa_i00__t54_aofa_i002025-09-09 09:14 108K 
[ ]aofa_i00__t54_aofa_i00.vout2025-09-15 15:06 3.7K 
[ ]aofa_i00__t55_aofa_i002025-09-09 09:17 111K 
[ ]aofa_i00__t55_aofa_i00.vout2025-09-15 13:55 3.7K 
[ ]aofa_i00__t56_aofa_i002025-09-09 09:21 126K 
[ ]aofa_i00__t56_aofa_i00.vout2025-09-15 17:21 3.7K 
[ ]aofa_i00__t57_aofa_i002025-09-09 09:24 244K 
[ ]aofa_i00__t57_aofa_i00.vout2025-09-15 13:25 6.8K 
[ ]aofa_i00__t58_aofa_i002025-09-09 09:27 127K 
[ ]aofa_i00__t58_aofa_i00.vout2025-09-15 14:22 3.7K 
[ ]aofa_i00__t59_aofa_i002025-09-09 09:30 245K 
[ ]aofa_i00__t59_aofa_i00.vout2025-09-15 19:11 7.3K 
[ ]aofa_i00__t60_aofa_i002025-09-09 09:34 125K 
[ ]aofa_i00__t60_aofa_i00.vout2025-09-15 18:35 3.7K 
[ ]aofa_i00__t61_aofa_i002025-09-09 09:37 381K 
[ ]aofa_i00__t61_aofa_i00.vout2025-09-15 16:21 6.8K 
[ ]aofa_i00__t62_aofa_i002025-09-09 09:52 138K 
[ ]aofa_i00__t62_aofa_i00.vout2025-09-15 16:30 7.3K 
[ ]aofa_i00__t63_aofa_i002025-09-09 09:41 150K 
[ ]aofa_i00__t63_aofa_i00.vout2025-09-15 18:32 6.8K 
[ ]aofa_i00__t64_aofa_i002025-09-09 09:55 149K 
[ ]aofa_i00__t64_aofa_i00.vout2025-09-15 16:07 6.8K 
[ ]aofa_i00__t65_aofa_i002025-09-09 09:44 278K 
[ ]aofa_i00__t65_aofa_i00.vout2025-09-15 17:13 6.8K 
[ ]aofa_i00__t66_aofa_i002025-09-09 09:59 156K 
[ ]aofa_i00__t66_aofa_i00.vout2025-09-15 15:51 6.8K 
[ ]aofa_i00__t67_aofa_i002025-09-09 09:48 276K 
[ ]aofa_i00__t67_aofa_i00.vout2025-09-15 16:18 6.8K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80