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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]aofa_000__l6_aofa_0002025-09-08 13:14 46K 
[ ]aofa_000__l6_aofa_000.vout2025-09-15 15:20 2.0K 
[ ]aofa_000__l46_aofa_0002025-09-08 18:14 91K 
[ ]aofa_000__l46_aofa_000.vout2025-09-15 17:44 4.7K 
[ ]aofa_000__l143_aofa_0002025-09-08 18:17 118K 
[ ]aofa_000__l143_aofa_000.vout2025-09-15 14:36 3.7K 
[ ]aofa_000__t1_aofa_0002025-09-08 13:16 49K 
[ ]aofa_000__t1_aofa_000.vout2025-09-15 15:44 7.3K 
[ ]aofa_000__t2_aofa_0002025-09-08 13:18 52K 
[ ]aofa_000__t2_aofa_000.vout2025-09-15 15:49 7.3K 
[ ]aofa_000__t3_aofa_0002025-09-08 13:20 85K 
[ ]aofa_000__t3_aofa_000.vout2025-09-15 18:51 7.9K 
[ ]aofa_000__t4_aofa_0002025-09-08 13:21 55K 
[ ]aofa_000__t4_aofa_000.vout2025-09-15 16:40 7.3K 
[ ]aofa_000__t5_aofa_0002025-09-08 13:23 48K 
[ ]aofa_000__t5_aofa_000.depv12025-09-15 19:47 86  
[ ]aofa_000__t5_aofa_000.depvmin12025-09-15 19:52 86  
[ ]aofa_000__t5_aofa_000.vmin12025-09-15 19:47 1.2K 
[ ]aofa_000__t5_aofa_000.vmin1out2025-09-15 19:48 16K 
[ ]aofa_000__t5_aofa_000.vout2025-09-15 19:18 16K 
[ ]aofa_000__t6_aofa_0002025-09-08 13:25 57K 
[ ]aofa_000__t6_aofa_000.vout2025-09-15 18:05 7.3K 
[ ]aofa_000__t7_aofa_0002025-09-08 13:27 56K 
[ ]aofa_000__t7_aofa_000.vout2025-09-15 15:17 7.3K 
[ ]aofa_000__t8_aofa_0002025-09-08 13:28 36K 
[ ]aofa_000__t8_aofa_000.depv12025-09-15 19:47 97  
[ ]aofa_000__t8_aofa_000.depvmin12025-09-15 19:52 97  
[ ]aofa_000__t8_aofa_000.vmin12025-09-15 19:47 826  
[ ]aofa_000__t8_aofa_000.vmin1out2025-09-15 19:50 12K 
[ ]aofa_000__t8_aofa_000.vout2025-09-15 16:25 13K 
[ ]aofa_000__t9_aofa_0002025-09-08 13:30 50K 
[ ]aofa_000__t9_aofa_000.vout2025-09-15 16:48 7.3K 
[ ]aofa_000__t10_aofa_0002025-09-08 13:31 48K 
[ ]aofa_000__t10_aofa_000.vout2025-09-15 14:58 6.8K 
[ ]aofa_000__t11_aofa_0002025-09-08 13:33 75K 
[ ]aofa_000__t11_aofa_000.vout2025-09-15 14:35 3.7K 
[ ]aofa_000__t12_aofa_0002025-09-08 13:35 59K 
[ ]aofa_000__t12_aofa_000.vout2025-09-15 15:23 4.2K 
[ ]aofa_000__t13_aofa_0002025-09-08 13:38 73K 
[ ]aofa_000__t13_aofa_000.vout2025-09-15 16:36 5.3K 
[ ]aofa_000__t14_aofa_0002025-09-08 13:41 76K 
[ ]aofa_000__t14_aofa_000.vout2025-09-15 14:27 3.7K 
[ ]aofa_000__t15_aofa_0002025-09-08 13:43 76K 
[ ]aofa_000__t15_aofa_000.vout2025-09-15 16:51 6.8K 
[ ]aofa_000__t16_aofa_0002025-09-08 13:45 63K 
[ ]aofa_000__t16_aofa_000.vout2025-09-15 13:59 6.8K 
[ ]aofa_000__t17_aofa_0002025-09-08 13:48 77K 
[ ]aofa_000__t17_aofa_000.vout2025-09-15 16:58 5.3K 
[ ]aofa_000__t18_aofa_0002025-09-08 13:50 71K 
[ ]aofa_000__t18_aofa_000.depv12025-09-15 19:47 102  
[ ]aofa_000__t18_aofa_000.depvmin12025-09-15 19:52 102  
[ ]aofa_000__t18_aofa_000.vmin12025-09-15 19:47 1.4K 
[ ]aofa_000__t18_aofa_000.vmin1out2025-09-15 19:50 20K 
[ ]aofa_000__t18_aofa_000.vout2025-09-15 19:24 20K 
[ ]aofa_000__t19_aofa_0002025-09-08 18:05 74K 
[ ]aofa_000__t19_aofa_000.vout2025-09-15 18:14 7.3K 
[ ]aofa_000__t20_aofa_0002025-09-08 13:52 66K 
[ ]aofa_000__t20_aofa_000.vout2025-09-15 19:14 3.7K 
[ ]aofa_000__t21_aofa_0002025-09-08 13:54 84K 
[ ]aofa_000__t21_aofa_000.vout2025-09-15 18:05 4.2K 
[ ]aofa_000__t22_aofa_0002025-09-08 13:56 63K 
[ ]aofa_000__t22_aofa_000.vout2025-09-15 19:05 6.8K 
[ ]aofa_000__t23_aofa_0002025-09-08 13:58 68K 
[ ]aofa_000__t23_aofa_000.vout2025-09-15 18:23 7.3K 
[ ]aofa_000__t24_aofa_0002025-09-08 18:08 77K 
[ ]aofa_000__t24_aofa_000.vout2025-09-15 17:23 3.7K 
[ ]aofa_000__t25_aofa_0002025-09-08 18:11 73K 
[ ]aofa_000__t25_aofa_000.vout2025-09-15 17:47 3.7K 
[ ]aofa_000__t26_aofa_0002025-09-08 14:01 57K 
[ ]aofa_000__t26_aofa_000.vout2025-09-15 15:40 7.3K 
[ ]aofa_000__t27_aofa_0002025-09-08 14:03 62K 
[ ]aofa_000__t27_aofa_000.vout2025-09-15 15:00 4.2K 
[ ]aofa_000__t28_aofa_0002025-09-08 14:05 64K 
[ ]aofa_000__t28_aofa_000.vout2025-09-15 17:59 7.4K 
[ ]aofa_000__t29_aofa_0002025-09-08 14:07 56K 
[ ]aofa_000__t29_aofa_000.depv12025-09-15 19:47 148  
[ ]aofa_000__t29_aofa_000.depvmin12025-09-15 19:52 135  
[ ]aofa_000__t29_aofa_000.vmin12025-09-15 19:47 1.5K 
[ ]aofa_000__t29_aofa_000.vmin1out2025-09-15 19:50 20K 
[ ]aofa_000__t29_aofa_000.vout2025-09-15 16:09 13K 
[ ]aofa_000__t30_aofa_0002025-09-08 14:09 45K 
[ ]aofa_000__t30_aofa_000.vout2025-09-15 16:13 3.7K 
[ ]aofa_000__t31_aofa_0002025-09-08 14:11 43K 
[ ]aofa_000__t31_aofa_000.vout2025-09-15 14:06 7.3K 
[ ]aofa_000__t32_aofa_0002025-09-08 14:13 70K 
[ ]aofa_000__t32_aofa_000.vout2025-09-15 17:31 5.3K 
[ ]aofa_000__t33_aofa_0002025-09-08 14:15 58K 
[ ]aofa_000__t33_aofa_000.vout2025-09-15 13:43 3.7K 
[ ]aofa_000__t34_aofa_0002025-09-08 14:18 95K 
[ ]aofa_000__t34_aofa_000.vout2025-09-15 18:08 3.7K 
[ ]aofa_000__t35_aofa_0002025-09-08 14:20 89K 
[ ]aofa_000__t35_aofa_000.vout2025-09-15 16:17 6.8K 
[ ]aofa_000__t36_aofa_0002025-09-08 14:24 117K 
[ ]aofa_000__t36_aofa_000.vout2025-09-15 17:55 3.7K 
[ ]aofa_000__t37_aofa_0002025-09-08 14:26 62K 
[ ]aofa_000__t37_aofa_000.vout2025-09-15 16:34 4.7K 
[ ]aofa_000__t38_aofa_0002025-09-08 14:29 79K 
[ ]aofa_000__t38_aofa_000.vout2025-09-15 15:10 4.7K 
[ ]aofa_000__t39_aofa_0002025-09-08 14:32 76K 
[ ]aofa_000__t39_aofa_000.vout2025-09-15 14:05 7.3K 
[ ]aofa_000__t40_aofa_0002025-09-08 14:35 69K 
[ ]aofa_000__t40_aofa_000.vout2025-09-15 18:53 3.7K 
[ ]aofa_000__t41_aofa_0002025-09-08 14:38 216K 
[ ]aofa_000__t41_aofa_000.vout2025-09-15 13:48 3.7K 
[ ]aofa_000__t42_aofa_0002025-09-08 14:41 63K 
[ ]aofa_000__t42_aofa_000.vout2025-09-15 17:42 5.3K 
[ ]aofa_000__t43_aofa_0002025-09-08 14:43 66K 
[ ]aofa_000__t43_aofa_000.vout2025-09-15 14:02 4.7K 
[ ]aofa_000__t44_aofa_0002025-09-08 14:45 62K 
[ ]aofa_000__t44_aofa_000.vout2025-09-15 15:02 5.8K 
[ ]aofa_000__t45_aofa_0002025-09-08 14:48 79K 
[ ]aofa_000__t45_aofa_000.vout2025-09-15 15:37 4.7K 
[ ]aofa_000__t46_aofa_0002025-09-08 14:51 78K 
[ ]aofa_000__t46_aofa_000.vout2025-09-15 16:01 7.3K 
[ ]aofa_000__t47_aofa_0002025-09-08 14:53 62K 
[ ]aofa_000__t47_aofa_000.vout2025-09-15 16:03 4.7K 
[ ]aofa_000__t48_aofa_0002025-09-08 14:55 62K 
[ ]aofa_000__t48_aofa_000.vout2025-09-15 13:33 5.8K 
[ ]aofa_000__t49_aofa_0002025-09-08 14:58 78K 
[ ]aofa_000__t49_aofa_000.vout2025-09-15 15:31 7.3K 
[ ]aofa_000__t50_aofa_0002025-09-08 15:01 80K 
[ ]aofa_000__t50_aofa_000.vout2025-09-15 19:20 7.3K 
[ ]aofa_000__t51_aofa_0002025-09-08 15:04 86K 
[ ]aofa_000__t51_aofa_000.vout2025-09-15 17:39 7.3K 
[ ]aofa_000__t52_aofa_0002025-09-08 15:07 85K 
[ ]aofa_000__t52_aofa_000.vout2025-09-15 18:41 7.3K 
[ ]aofa_000__t53_aofa_0002025-09-08 15:10 88K 
[ ]aofa_000__t53_aofa_000.vout2025-09-15 18:19 7.3K 
[ ]aofa_000__t54_aofa_0002025-09-08 15:12 74K 
[ ]aofa_000__t54_aofa_000.vout2025-09-15 19:09 8.4K 
[ ]aofa_000__t55_aofa_0002025-09-08 15:15 78K 
[ ]aofa_000__t55_aofa_000.vout2025-09-15 17:38 7.9K 
[ ]aofa_000__t56_aofa_0002025-09-08 15:18 98K 
[ ]aofa_000__t56_aofa_000.vout2025-09-15 17:29 3.7K 
[ ]aofa_000__t57_aofa_0002025-09-08 15:21 101K 
[ ]aofa_000__t57_aofa_000.vout2025-09-15 16:04 7.9K 
[ ]aofa_000__t58_aofa_0002025-09-08 15:24 93K 
[ ]aofa_000__t58_aofa_000.vout2025-09-15 17:36 7.4K 
[ ]aofa_000__t59_aofa_0002025-09-08 15:28 213K 
[ ]aofa_000__t59_aofa_000.vout2025-09-15 18:41 7.4K 
[ ]aofa_000__t60_aofa_0002025-09-08 15:31 98K 
[ ]aofa_000__t60_aofa_000.vout2025-09-15 15:19 3.7K 
[ ]aofa_000__t61_aofa_0002025-09-08 15:34 91K 
[ ]aofa_000__t61_aofa_000.vout2025-09-15 13:34 7.4K 
[ ]aofa_000__t62_aofa_0002025-09-08 15:37 89K 
[ ]aofa_000__t62_aofa_000.vout2025-09-15 14:45 4.7K 
[ ]aofa_000__t63_aofa_0002025-09-08 15:41 214K 
[ ]aofa_000__t63_aofa_000.vout2025-09-15 15:19 7.4K 
[ ]aofa_000__t64_aofa_0002025-09-08 15:44 100K 
[ ]aofa_000__t64_aofa_000.vout2025-09-15 18:17 7.4K 
[ ]aofa_000__t65_aofa_0002025-09-08 15:47 90K 
[ ]aofa_000__t65_aofa_000.vout2025-09-15 14:31 4.8K 
[ ]aofa_000__t66_aofa_0002025-09-08 15:50 213K 
[ ]aofa_000__t66_aofa_000.vout2025-09-15 18:34 7.4K 
[ ]aofa_000__t67_aofa_0002025-09-08 15:54 98K 
[ ]aofa_000__t67_aofa_000.vout2025-09-15 17:17 3.7K 
[ ]aofa_000__t68_aofa_0002025-09-08 15:57 111K 
[ ]aofa_000__t68_aofa_000.vout2025-09-15 15:54 7.3K 
[ ]aofa_000__t69_aofa_0002025-09-08 16:00 93K 
[ ]aofa_000__t69_aofa_000.vout2025-09-15 14:30 7.4K 
[ ]aofa_000__t70_aofa_0002025-09-08 16:04 109K 
[ ]aofa_000__t70_aofa_000.vout2025-09-15 13:38 5.3K 
[ ]aofa_000__t71_aofa_0002025-09-08 16:07 89K 
[ ]aofa_000__t71_aofa_000.vout2025-09-15 19:20 5.3K 
[ ]aofa_000__t72_aofa_0002025-09-08 16:10 82K 
[ ]aofa_000__t72_aofa_000.vout2025-09-15 13:53 4.7K 
[ ]aofa_000__t73_aofa_0002025-09-08 16:12 87K 
[ ]aofa_000__t73_aofa_000.vout2025-09-15 17:03 4.7K 
[ ]aofa_000__t74_aofa_0002025-09-08 16:15 85K 
[ ]aofa_000__t74_aofa_000.vout2025-09-15 17:34 5.3K 
[ ]aofa_000__t75_aofa_0002025-09-08 16:18 80K 
[ ]aofa_000__t75_aofa_000.vout2025-09-15 16:38 4.7K 
[ ]aofa_000__t76_aofa_0002025-09-08 16:21 92K 
[ ]aofa_000__t76_aofa_000.vout2025-09-15 13:37 3.7K 
[ ]aofa_000__t77_aofa_0002025-09-08 16:24 102K 
[ ]aofa_000__t77_aofa_000.vout2025-09-15 14:25 3.7K 
[ ]aofa_000__t78_aofa_0002025-09-08 16:26 72K 
[ ]aofa_000__t78_aofa_000.vout2025-09-15 14:08 3.7K 
[ ]aofa_000__t79_aofa_0002025-09-08 12:58 79K 
[ ]aofa_000__t79_aofa_000.vout2025-09-15 17:42 7.4K 
[ ]aofa_000__t80_aofa_0002025-09-08 16:29 80K 
[ ]aofa_000__t80_aofa_000.vout2025-09-15 13:34 2.0K 
[ ]aofa_000__t81_aofa_0002025-09-08 16:32 86K 
[ ]aofa_000__t81_aofa_000.vout2025-09-15 16:55 6.8K 
[ ]aofa_000__t82_aofa_0002025-09-08 16:34 70K 
[ ]aofa_000__t82_aofa_000.vout2025-09-15 15:37 6.8K 
[ ]aofa_000__t83_aofa_0002025-09-08 16:36 70K 
[ ]aofa_000__t83_aofa_000.vout2025-09-15 14:12 7.3K 
[ ]aofa_000__t84_aofa_0002025-09-08 16:39 142K 
[ ]aofa_000__t84_aofa_000.vout2025-09-15 16:55 6.8K 
[ ]aofa_000__t85_aofa_0002025-09-08 16:42 77K 
[ ]aofa_000__t85_aofa_000.vout2025-09-15 16:40 6.8K 
[ ]aofa_000__t86_aofa_0002025-09-08 16:45 282K 
[ ]aofa_000__t86_aofa_000.vout2025-09-15 19:11 2.0K 
[ ]aofa_000__t87_aofa_0002025-09-08 16:48 112K 
[ ]aofa_000__t87_aofa_000.vout2025-09-15 17:59 3.7K 
[ ]aofa_000__t88_aofa_0002025-09-08 16:51 113K 
[ ]aofa_000__t88_aofa_000.vout2025-09-15 13:56 3.7K 
[ ]aofa_000__t89_aofa_0002025-09-08 16:54 104K 
[ ]aofa_000__t89_aofa_000.vout2025-09-15 14:48 3.7K 
[ ]aofa_000__t90_aofa_0002025-09-08 16:57 103K 
[ ]aofa_000__t90_aofa_000.vout2025-09-15 19:31 3.7K 
[ ]aofa_000__t91_aofa_0002025-09-08 17:01 136K 
[ ]aofa_000__t91_aofa_000.vout2025-09-15 18:32 3.7K 
[ ]aofa_000__t92_aofa_0002025-09-08 17:05 135K 
[ ]aofa_000__t92_aofa_000.vout2025-09-15 16:55 3.7K 
[ ]aofa_000__t93_aofa_0002025-09-08 17:09 109K 
[ ]aofa_000__t93_aofa_000.vout2025-09-15 13:33 6.8K 
[ ]aofa_000__t94_aofa_0002025-09-08 17:11 95K 
[ ]aofa_000__t94_aofa_000.vout2025-09-15 15:32 3.7K 
[ ]aofa_000__t95_aofa_0002025-09-08 13:00 83K 
[ ]aofa_000__t95_aofa_000.vout2025-09-15 15:41 7.9K 
[ ]aofa_000__t96_aofa_0002025-09-08 17:14 95K 
[ ]aofa_000__t96_aofa_000.vout2025-09-15 14:48 3.7K 
[ ]aofa_000__t97_aofa_0002025-09-08 17:18 100K 
[ ]aofa_000__t97_aofa_000.vout2025-09-15 17:53 3.7K 
[ ]aofa_000__t98_aofa_0002025-09-08 17:21 102K 
[ ]aofa_000__t98_aofa_000.vout2025-09-15 14:21 3.7K 
[ ]aofa_000__t99_aofa_0002025-09-08 17:25 103K 
[ ]aofa_000__t99_aofa_000.vout2025-09-15 19:44 3.7K 
[ ]aofa_000__t100_aofa_0002025-09-08 17:28 89K 
[ ]aofa_000__t100_aofa_000.vout2025-09-15 17:11 7.3K 
[ ]aofa_000__t101_aofa_0002025-09-08 17:30 100K 
[ ]aofa_000__t101_aofa_000.vout2025-09-15 18:41 3.7K 
[ ]aofa_000__t102_aofa_0002025-09-08 17:34 92K 
[ ]aofa_000__t102_aofa_000.vout2025-09-15 18:47 3.7K 
[ ]aofa_000__t103_aofa_0002025-09-08 13:03 91K 
[ ]aofa_000__t103_aofa_000.depv12025-09-15 19:47 28  
[ ]aofa_000__t103_aofa_000.depvmin12025-09-15 19:52 28  
[ ]aofa_000__t103_aofa_000.vmin12025-09-15 19:47 1.8K 
[ ]aofa_000__t103_aofa_000.vmin1out2025-09-15 19:50 29K 
[ ]aofa_000__t103_aofa_000.vout2025-09-15 17:26 40K 
[ ]aofa_000__t104_aofa_0002025-09-08 13:05 51K 
[ ]aofa_000__t104_aofa_000.vout2025-09-15 13:56 1.1K 
[ ]aofa_000__t105_aofa_0002025-09-08 13:07 51K 
[ ]aofa_000__t105_aofa_000.vout2025-09-15 18:13 1.1K 
[ ]aofa_000__t106_aofa_0002025-09-08 13:09 51K 
[ ]aofa_000__t106_aofa_000.vout2025-09-15 18:04 1.1K 
[ ]aofa_000__t107_aofa_0002025-09-08 13:11 52K 
[ ]aofa_000__t107_aofa_000.vout2025-09-15 17:28 1.1K 
[ ]aofa_000__t108_aofa_0002025-09-08 13:12 52K 
[ ]aofa_000__t108_aofa_000.vout2025-09-15 18:32 1.1K 
[ ]aofa_000__t109_aofa_0002025-09-08 17:36 81K 
[ ]aofa_000__t109_aofa_000.vout2025-09-15 19:33 2.0K 
[ ]aofa_000__t110_aofa_0002025-09-08 17:39 99K 
[ ]aofa_000__t110_aofa_000.vout2025-09-15 17:04 3.7K 
[ ]aofa_000__t111_aofa_0002025-09-08 17:42 99K 
[ ]aofa_000__t111_aofa_000.vout2025-09-15 19:13 3.7K 
[ ]aofa_000__t112_aofa_0002025-09-08 17:45 99K 
[ ]aofa_000__t112_aofa_000.vout2025-09-15 15:15 4.2K 
[ ]aofa_000__t113_aofa_0002025-09-08 17:48 99K 
[ ]aofa_000__t113_aofa_000.vout2025-09-15 16:59 3.7K 
[ ]aofa_000__t114_aofa_0002025-09-08 17:51 100K 
[ ]aofa_000__t114_aofa_000.vout2025-09-15 15:36 3.7K 
[ ]aofa_000__t115_aofa_0002025-09-08 17:54 123K 
[ ]aofa_000__t115_aofa_000.vout2025-09-15 18:33 3.7K 
[ ]aofa_000__t116_aofa_0002025-09-08 17:57 123K 
[ ]aofa_000__t116_aofa_000.vout2025-09-15 13:45 4.2K 
[ ]aofa_000__t117_aofa_0002025-09-08 18:00 87K 
[ ]aofa_000__t117_aofa_000.depv12025-09-15 19:47 114  
[ ]aofa_000__t117_aofa_000.depvmin12025-09-15 19:52 114  
[ ]aofa_000__t117_aofa_000.vmin12025-09-15 19:47 3.2K 
[ ]aofa_000__t117_aofa_000.vmin1out2025-09-15 19:47 57K 
[ ]aofa_000__t117_aofa_000.vout2025-09-15 17:42 67K 
[ ]aofa_000__t118_aofa_0002025-09-08 18:03 89K 
[ ]aofa_000__t118_aofa_000.depv12025-09-15 19:47 70  
[ ]aofa_000__t118_aofa_000.depvmin12025-09-15 19:52 70  
[ ]aofa_000__t118_aofa_000.vmin12025-09-15 19:47 3.4K 
[ ]aofa_000__t118_aofa_000.vmin1out2025-09-15 19:51 113K 
[ ]aofa_000__t118_aofa_000.vout2025-09-15 18:24 179K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80