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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]aofa_a00__t1_aofa_a002025-09-08 13:42 37K 
[ ]aofa_a00__t1_aofa_a00.depv12025-09-15 19:47 47  
[ ]aofa_a00__t1_aofa_a00.depvmin12025-09-15 19:52 47  
[ ]aofa_a00__t1_aofa_a00.vmin12025-09-15 19:47 508  
[ ]aofa_a00__t1_aofa_a00.vmin1out2025-09-15 19:48 7.4K 
[ ]aofa_a00__t1_aofa_a00.vout2025-09-15 15:29 8.7K 
[ ]aofa_a00__t2_aofa_a002025-09-08 13:43 58K 
[ ]aofa_a00__t2_aofa_a00.vout2025-09-15 17:06 7.3K 
[ ]aofa_a00__t3_aofa_a002025-09-08 13:45 51K 
[ ]aofa_a00__t3_aofa_a00.vout2025-09-15 17:13 7.3K 
[ ]aofa_a00__t4_aofa_a002025-09-08 13:47 44K 
[ ]aofa_a00__t4_aofa_a00.vout2025-09-15 14:45 7.3K 
[ ]aofa_a00__t5_aofa_a002025-09-08 13:49 79K 
[ ]aofa_a00__t5_aofa_a00.vout2025-09-15 14:43 7.3K 
[ ]aofa_a00__t6_aofa_a002025-09-08 13:50 49K 
[ ]aofa_a00__t6_aofa_a00.vout2025-09-15 17:11 7.3K 
[ ]aofa_a00__t7_aofa_a002025-09-08 13:52 48K 
[ ]aofa_a00__t7_aofa_a00.depv12025-09-15 19:47 198  
[ ]aofa_a00__t7_aofa_a00.depvmin12025-09-15 19:52 185  
[ ]aofa_a00__t7_aofa_a00.vmin12025-09-15 19:47 2.3K 
[ ]aofa_a00__t7_aofa_a00.vmin1out2025-09-15 19:49 48K 
[ ]aofa_a00__t7_aofa_a00.vout2025-09-15 15:02 42K 
[ ]aofa_a00__t13_aofa_a002025-09-08 13:33 36K 
[ ]aofa_a00__t13_aofa_a00.depv12025-09-15 19:47 35  
[ ]aofa_a00__t13_aofa_a00.depvmin12025-09-15 19:52 35  
[ ]aofa_a00__t13_aofa_a00.vmin12025-09-15 19:47 698  
[ ]aofa_a00__t13_aofa_a00.vmin1out2025-09-15 19:51 15K 
[ ]aofa_a00__t13_aofa_a00.vout2025-09-15 17:35 15K 
[ ]aofa_a00__t14_aofa_a002025-09-08 13:34 36K 
[ ]aofa_a00__t14_aofa_a00.depv12025-09-15 19:47 35  
[ ]aofa_a00__t14_aofa_a00.depvmin12025-09-15 19:52 35  
[ ]aofa_a00__t14_aofa_a00.vmin12025-09-15 19:47 902  
[ ]aofa_a00__t14_aofa_a00.vmin1out2025-09-15 19:48 20K 
[ ]aofa_a00__t14_aofa_a00.vout2025-09-15 18:57 20K 
[ ]aofa_a00__t15_aofa_a002025-09-08 13:36 36K 
[ ]aofa_a00__t15_aofa_a00.depv12025-09-15 19:47 35  
[ ]aofa_a00__t15_aofa_a00.depvmin12025-09-15 19:52 35  
[ ]aofa_a00__t15_aofa_a00.vmin12025-09-15 19:47 970  
[ ]aofa_a00__t15_aofa_a00.vmin1out2025-09-15 19:50 22K 
[ ]aofa_a00__t15_aofa_a00.vout2025-09-15 14:51 22K 
[ ]aofa_a00__t16_aofa_a002025-09-08 13:54 76K 
[ ]aofa_a00__t16_aofa_a00.vout2025-09-15 15:43 5.3K 
[ ]aofa_a00__t17_aofa_a002025-09-08 13:56 76K 
[ ]aofa_a00__t17_aofa_a00.vout2025-09-15 18:26 5.3K 
[ ]aofa_a00__t18_aofa_a002025-09-08 13:58 77K 
[ ]aofa_a00__t18_aofa_a00.vout2025-09-15 16:33 5.3K 
[ ]aofa_a00__t19_aofa_a002025-09-08 14:00 50K 
[ ]aofa_a00__t19_aofa_a00.vout2025-09-15 14:13 8.4K 
[ ]aofa_a00__t20_aofa_a002025-09-08 14:02 90K 
[ ]aofa_a00__t20_aofa_a00.vout2025-09-15 14:42 7.3K 
[ ]aofa_a00__t21_aofa_a002025-09-08 14:05 83K 
[ ]aofa_a00__t21_aofa_a00.vout2025-09-15 19:08 10K 
[ ]aofa_a00__t22_aofa_a002025-09-08 14:07 96K 
[ ]aofa_a00__t22_aofa_a00.vout2025-09-15 16:04 7.3K 
[ ]aofa_a00__t23_aofa_a002025-09-08 14:09 88K 
[ ]aofa_a00__t23_aofa_a00.depv12025-09-15 19:47 131  
[ ]aofa_a00__t23_aofa_a00.depvmin12025-09-15 19:52 131  
[ ]aofa_a00__t23_aofa_a00.vmin12025-09-15 19:47 1.5K 
[ ]aofa_a00__t23_aofa_a00.vmin1out2025-09-15 19:48 9.7K 
[ ]aofa_a00__t23_aofa_a00.vout2025-09-15 18:53 13K 
[ ]aofa_a00__t24_aofa_a002025-09-08 14:11 97K 
[ ]aofa_a00__t24_aofa_a00.vout2025-09-15 18:47 7.3K 
[ ]aofa_a00__t25_aofa_a002025-09-08 14:14 89K 
[ ]aofa_a00__t25_aofa_a00.depv12025-09-15 19:47 181  
[ ]aofa_a00__t25_aofa_a00.depvmin12025-09-15 19:52 181  
[ ]aofa_a00__t25_aofa_a00.vmin12025-09-15 19:47 1.9K 
[ ]aofa_a00__t25_aofa_a00.vmin1out2025-09-15 19:50 14K 
[ ]aofa_a00__t25_aofa_a00.vout2025-09-15 15:15 14K 
[ ]aofa_a00__t26_aofa_a002025-09-08 14:17 89K 
[ ]aofa_a00__t26_aofa_a00.vout2025-09-15 17:40 8.5K 
[ ]aofa_a00__t27_aofa_a002025-09-08 14:19 84K 
[ ]aofa_a00__t27_aofa_a00.depv12025-09-15 19:47 171  
[ ]aofa_a00__t27_aofa_a00.depvmin12025-09-15 19:52 171  
[ ]aofa_a00__t27_aofa_a00.vmin12025-09-15 19:47 1.1K 
[ ]aofa_a00__t27_aofa_a00.vmin1out2025-09-15 19:49 6.2K 
[ ]aofa_a00__t27_aofa_a00.vout2025-09-15 18:19 11K 
[ ]aofa_a00__t28_aofa_a002025-09-08 14:22 86K 
[ ]aofa_a00__t28_aofa_a00.depv12025-09-15 19:47 173  
[ ]aofa_a00__t28_aofa_a00.depvmin12025-09-15 19:52 173  
[ ]aofa_a00__t28_aofa_a00.vmin12025-09-15 19:47 1.1K 
[ ]aofa_a00__t28_aofa_a00.vmin1out2025-09-15 19:47 6.3K 
[ ]aofa_a00__t28_aofa_a00.vout2025-09-15 16:27 11K 
[ ]aofa_a00__t29_aofa_a002025-09-08 14:24 100K 
[ ]aofa_a00__t29_aofa_a00.vout2025-09-15 19:16 8.4K 
[ ]aofa_a00__t30_aofa_a002025-09-08 14:27 104K 
[ ]aofa_a00__t30_aofa_a00.vout2025-09-15 13:31 8.4K 
[ ]aofa_a00__t31_aofa_a002025-09-08 14:29 73K 
[ ]aofa_a00__t31_aofa_a00.vout2025-09-15 13:32 4.7K 
[ ]aofa_a00__t32_aofa_a002025-09-08 14:32 114K 
[ ]aofa_a00__t32_aofa_a00.vout2025-09-15 15:43 3.7K 
[ ]aofa_a00__t33_aofa_a002025-09-08 14:35 118K 
[ ]aofa_a00__t33_aofa_a00.vout2025-09-15 15:32 3.7K 
[ ]aofa_a00__t34_aofa_a002025-09-08 14:38 118K 
[ ]aofa_a00__t34_aofa_a00.vout2025-09-15 16:45 3.7K 
[ ]aofa_a00__t35_aofa_a002025-09-08 13:37 49K 
[ ]aofa_a00__t35_aofa_a00.depv12025-09-15 19:47 97  
[ ]aofa_a00__t35_aofa_a00.depvmin12025-09-15 19:52 72  
[ ]aofa_a00__t35_aofa_a00.vmin12025-09-15 19:47 1.6K 
[ ]aofa_a00__t35_aofa_a00.vmin1out2025-09-15 19:48 17K 
[ ]aofa_a00__t35_aofa_a00.vout2025-09-15 14:39 19K 
[ ]aofa_a00__t36_aofa_a002025-09-08 14:41 60K 
[ ]aofa_a00__t36_aofa_a00.vout2025-09-15 19:09 4.7K 
[ ]aofa_a00__t37_aofa_a002025-09-08 14:43 60K 
[ ]aofa_a00__t37_aofa_a00.vout2025-09-15 18:39 4.7K 
[ ]aofa_a00__t38_aofa_a002025-09-08 14:45 61K 
[ ]aofa_a00__t38_aofa_a00.vout2025-09-15 18:41 4.7K 
[ ]aofa_a00__t39_aofa_a002025-09-08 14:49 148K 
[ ]aofa_a00__t39_aofa_a00.vout2025-09-15 16:01 3.7K 
[ ]aofa_a00__t40_aofa_a002025-09-08 14:52 133K 
[ ]aofa_a00__t40_aofa_a00.vout2025-09-15 16:08 3.7K 
[ ]aofa_a00__t41_aofa_a002025-09-08 14:55 127K 
[ ]aofa_a00__t41_aofa_a00.vout2025-09-15 16:27 3.7K 
[ ]aofa_a00__t42_aofa_a002025-09-08 13:40 108K 
[ ]aofa_a00__t42_aofa_a00.vout2025-09-15 19:34 7.4K 
[ ]aofa_a00__t43_aofa_a002025-09-08 14:59 112K 
[ ]aofa_a00__t43_aofa_a00.vout2025-09-15 18:32 3.7K 
[ ]aofa_a00__t44_aofa_a002025-09-08 15:01 58K 
[ ]aofa_a00__t44_aofa_a00.vout2025-09-15 18:57 2.0K 
[ ]aofa_a00__t45_aofa_a002025-09-08 15:03 48K 
[ ]aofa_a00__t45_aofa_a00.vout2025-09-15 16:08 4.7K 
[ ]aofa_a00__t46_aofa_a002025-09-08 15:05 46K 
[ ]aofa_a00__t46_aofa_a00.depv12025-09-15 19:47 156  
[ ]aofa_a00__t46_aofa_a00.depvmin12025-09-15 19:52 143  
[ ]aofa_a00__t46_aofa_a00.vmin12025-09-15 19:47 2.2K 
[ ]aofa_a00__t46_aofa_a00.vmin1out2025-09-15 19:50 41K 
[ ]aofa_a00__t46_aofa_a00.vout2025-09-15 16:37 46K 
[ ]aofa_a00__t47_aofa_a002025-09-08 15:07 57K 
[ ]aofa_a00__t47_aofa_a00.vout2025-09-15 17:11 5.8K 
[ ]aofa_a00__t48_aofa_a002025-09-08 15:09 49K 
[ ]aofa_a00__t48_aofa_a00.vout2025-09-15 17:56 2.0K 
[ ]aofa_a00__t49_aofa_a002025-09-08 15:11 54K 
[ ]aofa_a00__t49_aofa_a00.vout2025-09-15 13:35 7.3K 
[ ]aofa_a00__t50_aofa_a002025-09-08 15:13 68K 
[ ]aofa_a00__t50_aofa_a00.vout2025-09-15 14:58 2.0K 
[ ]aofa_a00__t51_aofa_a002025-09-08 15:17 204K 
[ ]aofa_a00__t51_aofa_a00.vout2025-09-15 17:13 3.7K 
[ ]aofa_a00__t52_aofa_a002025-09-08 15:20 701K 
[ ]aofa_a00__t52_aofa_a00.vout2025-09-15 14:09 7.4K 
[ ]aofa_a00__t53_aofa_a002025-09-08 15:23 119K 
[ ]aofa_a00__t53_aofa_a00.depv12025-09-15 19:47 414  
[ ]aofa_a00__t53_aofa_a00.depvmin12025-09-15 19:52 314  
[ ]aofa_a00__t53_aofa_a00.vmin12025-09-15 19:47 4.1K 
[ ]aofa_a00__t53_aofa_a00.vmin1out2025-09-15 19:49 109K 
[ ]aofa_a00__t53_aofa_a00.vout2025-09-15 15:00 89K 
[ ]aofa_a00__t54_aofa_a002025-09-08 15:27 399K 
[ ]aofa_a00__t54_aofa_a00.vout2025-09-15 15:02 3.7K 
[ ]aofa_a00__t55_aofa_a002025-09-08 15:31 191K 
[ ]aofa_a00__t55_aofa_a00.vout2025-09-15 14:34 7.4K 
[ ]aofa_a00__t56_aofa_a002025-09-08 15:33 91K 
[ ]aofa_a00__t56_aofa_a00.vout2025-09-15 17:53 7.9K 
[ ]aofa_a00__t57_aofa_a002025-09-08 15:36 110K 
[ ]aofa_a00__t57_aofa_a00.vout2025-09-15 17:38 3.7K 
[ ]aofa_a00__t58_aofa_a002025-09-08 15:39 170K 
[ ]aofa_a00__t58_aofa_a00.vout2025-09-15 18:16 6.8K 
[ ]aofa_a00__t59_aofa_a002025-09-08 15:42 151K 
[ ]aofa_a00__t59_aofa_a00.vout2025-09-15 14:31 6.8K 
[ ]aofa_a00__t60_aofa_a002025-09-08 15:45 168K 
[ ]aofa_a00__t60_aofa_a00.vout2025-09-15 18:14 7.3K 
[ ]aofa_a00__t61_aofa_a002025-09-08 15:50 172K 
[ ]aofa_a00__t61_aofa_a00.vout2025-09-15 18:13 3.7K 
[ ]aofa_a00__t62_aofa_a002025-09-08 15:53 144K 
[ ]aofa_a00__t62_aofa_a00.vout2025-09-15 17:45 3.7K 
[ ]aofa_a00__t63_aofa_a002025-09-08 15:57 162K 
[ ]aofa_a00__t63_aofa_a00.vout2025-09-15 13:43 7.3K 
[ ]aofa_a00__t64_aofa_a002025-09-08 16:00 144K 
[ ]aofa_a00__t64_aofa_a00.vout2025-09-15 13:37 7.3K 
[ ]aofa_a00__t65_aofa_a002025-09-08 16:03 96K 
[ ]aofa_a00__t65_aofa_a00.depv12025-09-15 19:47 405  
[ ]aofa_a00__t65_aofa_a00.depvmin12025-09-15 19:52 356  
[ ]aofa_a00__t65_aofa_a00.vmin12025-09-15 19:47 2.5K 
[ ]aofa_a00__t65_aofa_a00.vmin1out2025-09-15 19:49 41K 
[ ]aofa_a00__t65_aofa_a00.vout2025-09-15 17:59 50K 
[ ]aofa_a00__t66_aofa_a002025-09-08 16:05 111K 
[ ]aofa_a00__t66_aofa_a00.vout2025-09-15 19:15 6.8K 
[ ]aofa_a00__t67_aofa_a002025-09-08 16:08 104K 
[ ]aofa_a00__t67_aofa_a00.vout2025-09-15 17:53 6.8K 
[ ]aofa_a00__t68_aofa_a002025-09-08 16:12 378K 
[ ]aofa_a00__t68_aofa_a00.vout2025-09-15 14:25 4.2K 
[ ]aofa_a00__t69_aofa_a002025-09-08 16:15 231K 
[ ]aofa_a00__t69_aofa_a00.vout2025-09-15 18:17 3.7K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80