Index of /~mptp/mml5.63.1382/MPTP2/problems_small/topreal6

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]topreal6__t95_topreal6.vout2021-07-25 17:44 6.8K 
[ ]topreal6__t95_topreal62021-07-18 06:58 66K 
[ ]topreal6__t94_topreal6.vout2021-07-25 16:16 7.3K 
[ ]topreal6__t94_topreal62021-07-18 06:57 60K 
[ ]topreal6__t93_topreal6.vout2021-07-25 16:21 24K 
[ ]topreal6__t93_topreal6.vmin1out2021-07-25 21:00 16K 
[ ]topreal6__t93_topreal6.vmin12021-07-25 20:57 2.0K 
[ ]topreal6__t93_topreal6.depvmin12021-07-25 21:03 91  
[ ]topreal6__t93_topreal6.depv12021-07-25 20:57 143  
[ ]topreal6__t93_topreal62021-07-18 06:56 56K 
[ ]topreal6__t92_topreal6.vout2021-07-25 16:27 30K 
[ ]topreal6__t92_topreal6.vmin1out2021-07-25 21:01 26K 
[ ]topreal6__t92_topreal6.vmin12021-07-25 20:57 1.9K 
[ ]topreal6__t92_topreal6.depvmin12021-07-25 21:03 119  
[ ]topreal6__t92_topreal6.depv12021-07-25 20:57 119  
[ ]topreal6__t92_topreal62021-07-18 06:56 78K 
[ ]topreal6__t91_topreal6.vout2021-07-25 19:04 6.8K 
[ ]topreal6__t91_topreal62021-07-18 06:55 78K 
[ ]topreal6__t90_topreal6.vout2021-07-25 16:44 7.3K 
[ ]topreal6__t90_topreal62021-07-18 06:54 58K 
[ ]topreal6__t89_topreal6.vout2021-07-25 17:16 32K 
[ ]topreal6__t89_topreal6.vmin1out2021-07-25 21:00 24K 
[ ]topreal6__t89_topreal6.vmin12021-07-25 20:57 2.1K 
[ ]topreal6__t89_topreal6.depvmin12021-07-25 21:03 154  
[ ]topreal6__t89_topreal6.depv12021-07-25 20:57 154  
[ ]topreal6__t89_topreal62021-07-18 06:54 52K 
[ ]topreal6__t88_topreal6.vout2021-07-25 17:06 8.4K 
[ ]topreal6__t88_topreal62021-07-18 06:53 56K 
[ ]topreal6__t87_topreal6.vout2021-07-25 17:46 8.4K 
[ ]topreal6__t87_topreal62021-07-18 06:52 56K 
[ ]topreal6__t86_topreal6.vout2021-07-25 18:00 72K 
[ ]topreal6__t86_topreal6.vmin1out2021-07-25 20:58 56K 
[ ]topreal6__t86_topreal6.vmin12021-07-25 20:57 6.0K 
[ ]topreal6__t86_topreal6.depvmin12021-07-25 21:03 471  
[ ]topreal6__t86_topreal6.depv12021-07-25 20:57 471  
[ ]topreal6__t86_topreal62021-07-18 06:52 56K 
[ ]topreal6__t85_topreal6.vout2021-07-25 16:27 71K 
[ ]topreal6__t85_topreal6.vmin1out2021-07-25 21:00 56K 
[ ]topreal6__t85_topreal6.vmin12021-07-25 20:57 6.0K 
[ ]topreal6__t85_topreal6.depvmin12021-07-25 21:03 458  
[ ]topreal6__t85_topreal6.depv12021-07-25 20:57 483  
[ ]topreal6__t85_topreal62021-07-18 06:51 56K 
[ ]topreal6__t84_topreal6.vout2021-07-25 14:53 8.4K 
[ ]topreal6__t84_topreal62021-07-18 06:08 56K 
[ ]topreal6__t83_topreal6.vout2021-07-25 16:18 8.4K 
[ ]topreal6__t83_topreal62021-07-18 06:07 56K 
[ ]topreal6__t82_topreal6.vout2021-07-25 17:32 5.3K 
[ ]topreal6__t82_topreal62021-07-18 06:51 99K 
[ ]topreal6__t81_topreal6.vout2021-07-25 15:25 5.3K 
[ ]topreal6__t81_topreal62021-07-18 06:50 99K 
[ ]topreal6__t80_topreal6.vout2021-07-25 20:27 7.9K 
[ ]topreal6__t80_topreal62021-07-18 06:49 61K 
[ ]topreal6__t79_topreal6.vout2021-07-25 18:32 5.3K 
[ ]topreal6__t79_topreal62021-07-18 06:48 75K 
[ ]topreal6__t78_topreal6.vout2021-07-25 15:07 7.3K 
[ ]topreal6__t78_topreal62021-07-18 06:47 72K 
[ ]topreal6__t77_topreal6.vout2021-07-25 20:19 8.4K 
[ ]topreal6__t77_topreal62021-07-18 06:47 66K 
[ ]topreal6__t76_topreal6.vout2021-07-25 16:04 3.7K 
[ ]topreal6__t76_topreal62021-07-18 06:46 116K 
[ ]topreal6__t75_topreal6.vout2021-07-25 18:40 6.8K 
[ ]topreal6__t75_topreal62021-07-18 06:45 71K 
[ ]topreal6__t69_topreal6.vout2021-07-25 18:48 7.3K 
[ ]topreal6__t69_topreal62021-07-18 06:44 40K 
[ ]topreal6__t68_topreal6.vout2021-07-25 20:24 7.3K 
[ ]topreal6__t68_topreal62021-07-18 06:44 40K 
[ ]topreal6__t67_topreal6.vout2021-07-25 18:12 24K 
[ ]topreal6__t67_topreal6.vmin1out2021-07-25 21:00 21K 
[ ]topreal6__t67_topreal6.vmin12021-07-25 20:57 2.1K 
[ ]topreal6__t67_topreal6.depvmin12021-07-25 21:03 128  
[ ]topreal6__t67_topreal6.depv12021-07-25 20:57 154  
[ ]topreal6__t67_topreal62021-07-18 06:43 59K 
[ ]topreal6__t66_topreal6.vout2021-07-25 19:14 35K 
[ ]topreal6__t66_topreal6.vmin1out2021-07-25 20:59 29K 
[ ]topreal6__t66_topreal6.vmin12021-07-25 20:57 2.9K 
[ ]topreal6__t66_topreal6.depvmin12021-07-25 21:03 216  
[ ]topreal6__t66_topreal6.depv12021-07-25 20:57 242  
[ ]topreal6__t66_topreal62021-07-18 06:43 63K 
[ ]topreal6__t65_topreal6.vout2021-07-25 18:36 11K 
[ ]topreal6__t65_topreal6.vmin1out2021-07-25 21:02 11K 
[ ]topreal6__t65_topreal6.vmin12021-07-25 20:57 1.1K 
[ ]topreal6__t65_topreal6.depvmin12021-07-25 21:03 62  
[ ]topreal6__t65_topreal6.depv12021-07-25 20:57 62  
[ ]topreal6__t65_topreal62021-07-18 06:42 23K 
[ ]topreal6__t64_topreal6.vout2021-07-25 20:39 16K 
[ ]topreal6__t64_topreal6.vmin1out2021-07-25 21:00 13K 
[ ]topreal6__t64_topreal6.vmin12021-07-25 20:57 1.1K 
[ ]topreal6__t64_topreal6.depvmin12021-07-25 21:03 98  
[ ]topreal6__t64_topreal6.depv12021-07-25 20:57 98  
[ ]topreal6__t64_topreal62021-07-18 06:42 21K 
[ ]topreal6__t63_topreal6.vout2021-07-25 14:46 19K 
[ ]topreal6__t63_topreal6.vmin1out2021-07-25 21:00 16K 
[ ]topreal6__t63_topreal6.vmin12021-07-25 20:57 1.4K 
[ ]topreal6__t63_topreal6.depvmin12021-07-25 21:03 76  
[ ]topreal6__t63_topreal6.depv12021-07-25 20:57 76  
[ ]topreal6__t63_topreal62021-07-18 06:07 49K 
[ ]topreal6__t62_topreal6.vout2021-07-25 19:48 17K 
[ ]topreal6__t62_topreal6.vmin1out2021-07-25 21:00 14K 
[ ]topreal6__t62_topreal6.vmin12021-07-25 20:57 1.4K 
[ ]topreal6__t62_topreal6.depvmin12021-07-25 21:03 81  
[ ]topreal6__t62_topreal6.depv12021-07-25 20:57 81  
[ ]topreal6__t62_topreal62021-07-18 06:41 22K 
[ ]topreal6__t61_topreal6.vout2021-07-25 20:46 7.4K 
[ ]topreal6__t61_topreal62021-07-18 06:41 60K 
[ ]topreal6__t60_topreal6.vout2021-07-25 15:43 7.3K 
[ ]topreal6__t60_topreal62021-07-18 06:40 39K 
[ ]topreal6__t59_topreal6.vout2021-07-25 20:09 7.3K 
[ ]topreal6__t59_topreal62021-07-18 06:40 27K 
[ ]topreal6__t58_topreal6.vout2021-07-25 18:55 7.4K 
[ ]topreal6__t58_topreal62021-07-18 06:39 60K 
[ ]topreal6__t57_topreal6.vout2021-07-25 17:32 12K 
[ ]topreal6__t57_topreal6.vmin1out2021-07-25 20:58 17K 
[ ]topreal6__t57_topreal6.vmin12021-07-25 20:57 1.1K 
[ ]topreal6__t57_topreal6.depvmin12021-07-25 21:03 51  
[ ]topreal6__t57_topreal6.depv12021-07-25 20:57 51  
[ ]topreal6__t57_topreal62021-07-18 06:39 31K 
[ ]topreal6__t56_topreal6.vout2021-07-25 16:45 7.9K 
[ ]topreal6__t56_topreal62021-07-18 06:38 26K 
[ ]topreal6__t55_topreal6.vout2021-07-25 16:42 19K 
[ ]topreal6__t55_topreal6.vmin1out2021-07-25 20:59 19K 
[ ]topreal6__t55_topreal6.vmin12021-07-25 20:57 1.9K 
[ ]topreal6__t55_topreal6.depvmin12021-07-25 21:03 177  
[ ]topreal6__t55_topreal6.depv12021-07-25 20:57 177  
[ ]topreal6__t55_topreal62021-07-18 06:38 26K 
[ ]topreal6__t54_topreal6.vout2021-07-25 18:26 8.4K 
[ ]topreal6__t54_topreal62021-07-18 06:38 22K 
[ ]topreal6__t53_topreal6.vout2021-07-25 16:48 20K 
[ ]topreal6__t53_topreal6.vmin1out2021-07-25 21:01 20K 
[ ]topreal6__t53_topreal6.vmin12021-07-25 20:57 2.0K 
[ ]topreal6__t53_topreal6.depvmin12021-07-25 21:03 167  
[ ]topreal6__t53_topreal6.depv12021-07-25 20:57 167  
[ ]topreal6__t53_topreal62021-07-18 06:37 24K 
[ ]topreal6__t52_topreal6.vout2021-07-25 18:28 4.3K 
[ ]topreal6__t52_topreal62021-07-18 06:37 88K 
[ ]topreal6__t51_topreal6.vout2021-07-25 14:35 7.3K 
[ ]topreal6__t51_topreal62021-07-18 06:36 179K 
[ ]topreal6__t50_topreal6.vout2021-07-25 19:12 6.8K 
[ ]topreal6__t50_topreal62021-07-18 06:35 179K 
[ ]topreal6__t49_topreal6.vout2021-07-25 16:20 6.8K 
[ ]topreal6__t49_topreal62021-07-18 06:34 179K 
[ ]topreal6__t48_topreal6.vout2021-07-25 16:47 7.3K 
[ ]topreal6__t48_topreal62021-07-18 06:34 76K 
[ ]topreal6__t47_topreal6.vout2021-07-25 14:26 7.3K 
[ ]topreal6__t47_topreal62021-07-18 06:33 76K 
[ ]topreal6__t46_topreal6.vout2021-07-25 16:17 7.4K 
[ ]topreal6__t46_topreal62021-07-18 06:32 76K 
[ ]topreal6__t45_topreal6.vout2021-07-25 14:38 7.3K 
[ ]topreal6__t45_topreal62021-07-18 06:31 76K 
[ ]topreal6__t44_topreal6.vout2021-07-25 19:23 3.7K 
[ ]topreal6__t44_topreal62021-07-18 06:30 109K 
[ ]topreal6__t43_topreal6.vout2021-07-25 16:59 3.7K 
[ ]topreal6__t43_topreal62021-07-18 06:30 109K 
[ ]topreal6__t42_topreal6.vout2021-07-25 14:41 3.7K 
[ ]topreal6__t42_topreal62021-07-18 06:29 77K 
[ ]topreal6__t41_topreal6.vout2021-07-25 18:35 3.7K 
[ ]topreal6__t41_topreal62021-07-18 06:28 98K 
[ ]topreal6__t40_topreal6.vout2021-07-25 18:39 6.8K 
[ ]topreal6__t40_topreal62021-07-18 06:27 85K 
[ ]topreal6__t39_topreal6.vout2021-07-25 14:44 7.3K 
[ ]topreal6__t39_topreal62021-07-18 06:26 85K 
[ ]topreal6__t38_topreal6.vout2021-07-25 19:38 3.7K 
[ ]topreal6__t38_topreal62021-07-18 06:58 97K 
[ ]topreal6__t37_topreal6.vout2021-07-25 17:00 3.7K 
[ ]topreal6__t37_topreal62021-07-18 06:25 68K 
[ ]topreal6__t36_topreal6.vout2021-07-25 15:20 3.7K 
[ ]topreal6__t36_topreal62021-07-18 06:25 68K 
[ ]topreal6__t35_topreal6.vout2021-07-25 17:37 3.7K 
[ ]topreal6__t35_topreal62021-07-18 06:24 68K 
[ ]topreal6__t34_topreal6.vout2021-07-25 19:09 7.4K 
[ ]topreal6__t34_topreal62021-07-18 06:23 57K 
[ ]topreal6__t33_topreal6.vout2021-07-25 19:10 7.4K 
[ ]topreal6__t33_topreal62021-07-18 06:23 61K 
[ ]topreal6__t32_topreal6.vout2021-07-25 15:00 7.4K 
[ ]topreal6__t32_topreal62021-07-18 06:22 61K 
[ ]topreal6__t31_topreal6.vout2021-07-25 17:27 7.4K 
[ ]topreal6__t31_topreal62021-07-18 06:21 57K 
[ ]topreal6__t30_topreal6.vout2021-07-25 15:23 7.3K 
[ ]topreal6__t30_topreal62021-07-18 06:21 82K 
[ ]topreal6__t29_topreal6.vout2021-07-25 17:22 7.3K 
[ ]topreal6__t29_topreal62021-07-18 06:20 82K 
[ ]topreal6__t28_topreal6.vout2021-07-25 14:45 4.7K 
[ ]topreal6__t28_topreal62021-07-18 06:20 64K 
[ ]topreal6__t27_topreal6.vout2021-07-25 20:43 4.7K 
[ ]topreal6__t27_topreal62021-07-18 06:19 64K 
[ ]topreal6__t26_topreal6.vout2021-07-25 18:52 8.2K 
[ ]topreal6__t26_topreal6.vmin1out2021-07-25 20:59 6.2K 
[ ]topreal6__t26_topreal6.vmin12021-07-25 20:57 816  
[ ]topreal6__t26_topreal6.depvmin12021-07-25 21:03 63  
[ ]topreal6__t26_topreal6.depv12021-07-25 20:57 63  
[ ]topreal6__t26_topreal62021-07-18 06:18 54K 
[ ]topreal6__t25_topreal6.vout2021-07-25 17:20 7.4K 
[ ]topreal6__t25_topreal62021-07-18 06:18 85K 
[ ]topreal6__t24_topreal6.vout2021-07-25 14:32 25K 
[ ]topreal6__t24_topreal6.vmin1out2021-07-25 21:01 20K 
[ ]topreal6__t24_topreal6.vmin12021-07-25 20:57 2.2K 
[ ]topreal6__t24_topreal6.depvmin12021-07-25 21:03 299  
[ ]topreal6__t24_topreal6.depv12021-07-25 20:57 324  
[ ]topreal6__t24_topreal62021-07-18 06:17 64K 
[ ]topreal6__t23_topreal6.vout2021-07-25 20:50 7.3K 
[ ]topreal6__t23_topreal62021-07-18 06:16 69K 
[ ]topreal6__t22_topreal6.vout2021-07-25 20:41 7.3K 
[ ]topreal6__t22_topreal62021-07-18 06:15 59K 
[ ]topreal6__t21_topreal6.vout2021-07-25 18:48 27K 
[ ]topreal6__t21_topreal6.vmin1out2021-07-25 21:00 22K 
[ ]topreal6__t21_topreal6.vmin12021-07-25 20:57 1.2K 
[ ]topreal6__t21_topreal6.depvmin12021-07-25 21:03 70  
[ ]topreal6__t21_topreal6.depv12021-07-25 20:57 80  
[ ]topreal6__t21_topreal62021-07-18 06:15 29K 
[ ]topreal6__t20_topreal6.vout2021-07-25 16:25 7.3K 
[ ]topreal6__t20_topreal62021-07-18 06:14 25K 
[ ]topreal6__t19_topreal6.vout2021-07-25 19:22 1.1K 
[ ]topreal6__t19_topreal62021-07-18 06:14 38K 
[ ]topreal6__t17_topreal6.vout2021-07-25 18:51 7.3K 
[ ]topreal6__t17_topreal62021-07-18 06:14 44K 
[ ]topreal6__t16_topreal6.vout2021-07-25 20:37 7.4K 
[ ]topreal6__t16_topreal62021-07-18 06:13 83K 
[ ]topreal6__t15_topreal6.vout2021-07-25 20:34 2.0K 
[ ]topreal6__t15_topreal62021-07-18 06:13 27K 
[ ]topreal6__t14_topreal6.vout2021-07-25 18:32 2.0K 
[ ]topreal6__t14_topreal62021-07-18 06:13 25K 
[ ]topreal6__t13_topreal6.vout2021-07-25 15:56 7.9K 
[ ]topreal6__t13_topreal62021-07-18 06:12 48K 
[ ]topreal6__t12_topreal6.vout2021-07-25 20:23 33K 
[ ]topreal6__t12_topreal6.vmin1out2021-07-25 21:02 34K 
[ ]topreal6__t12_topreal6.vmin12021-07-25 20:57 2.8K 
[ ]topreal6__t12_topreal6.depvmin12021-07-25 21:03 280  
[ ]topreal6__t12_topreal6.depv12021-07-25 20:57 280  
[ ]topreal6__t12_topreal62021-07-18 06:12 40K 
[ ]topreal6__t11_topreal6.vout2021-07-25 19:01 7.9K 
[ ]topreal6__t11_topreal62021-07-18 06:11 59K 
[ ]topreal6__t10_topreal6.vout2021-07-25 15:10 17K 
[ ]topreal6__t10_topreal6.vmin1out2021-07-25 20:59 14K 
[ ]topreal6__t10_topreal6.vmin12021-07-25 20:57 970  
[ ]topreal6__t10_topreal6.depvmin12021-07-25 21:03 72  
[ ]topreal6__t10_topreal6.depv12021-07-25 20:57 72  
[ ]topreal6__t10_topreal62021-07-18 06:11 36K 
[ ]topreal6__t9_topreal6.vout2021-07-25 20:17 7.3K 
[ ]topreal6__t9_topreal62021-07-18 06:11 50K 
[ ]topreal6__t8_topreal6.vout2021-07-25 19:27 7.3K 
[ ]topreal6__t8_topreal62021-07-18 06:10 45K 
[ ]topreal6__t7_topreal6.vout2021-07-25 16:38 6.8K 
[ ]topreal6__t7_topreal6.vmin1out2021-07-25 20:59 6.5K 
[ ]topreal6__t7_topreal6.vmin12021-07-25 20:57 838  
[ ]topreal6__t7_topreal6.depvmin12021-07-25 21:03 86  
[ ]topreal6__t7_topreal6.depv12021-07-25 20:57 86  
[ ]topreal6__t7_topreal62021-07-18 06:10 36K 
[ ]topreal6__t6_topreal6.vout2021-07-25 15:26 3.5K 
[ ]topreal6__t6_topreal6.vmin1out2021-07-25 20:58 3.5K 
[ ]topreal6__t6_topreal6.vmin12021-07-25 20:57 407  
[ ]topreal6__t6_topreal6.depvmin12021-07-25 21:03 49  
[ ]topreal6__t6_topreal6.depv12021-07-25 20:57 49  
[ ]topreal6__t6_topreal62021-07-18 06:09 34K 
[ ]topreal6__t5_topreal6.vout2021-07-25 18:01 3.6K 
[ ]topreal6__t5_topreal6.vmin1out2021-07-25 20:58 3.1K 
[ ]topreal6__t5_topreal6.vmin12021-07-25 20:57 414  
[ ]topreal6__t5_topreal6.depvmin12021-07-25 21:03 49  
[ ]topreal6__t5_topreal6.depv12021-07-25 20:57 74  
[ ]topreal6__t5_topreal62021-07-18 06:09 33K 
[ ]topreal6__t4_topreal6.vout2021-07-25 20:26 9.2K 
[ ]topreal6__t4_topreal6.vmin1out2021-07-25 20:59 9.9K 
[ ]topreal6__t4_topreal6.vmin12021-07-25 20:57 1.4K 
[ ]topreal6__t4_topreal6.depvmin12021-07-25 21:03 200  
[ ]topreal6__t4_topreal6.depv12021-07-25 20:57 200  
[ ]topreal6__t4_topreal62021-07-18 06:06 35K 
[ ]topreal6__t3_topreal6.vout2021-07-25 17:08 31K 
[ ]topreal6__t3_topreal6.vmin1out2021-07-25 21:00 25K 
[ ]topreal6__t3_topreal6.vmin12021-07-25 20:57 2.5K 
[ ]topreal6__t3_topreal6.depvmin12021-07-25 21:03 224  
[ ]topreal6__t3_topreal6.depv12021-07-25 20:57 250  
[ ]topreal6__t3_topreal62021-07-18 06:09 23K 
[ ]topreal6__t2_topreal6.vout2021-07-25 17:44 10K 
[ ]topreal6__t2_topreal6.vmin1out2021-07-25 20:59 11K 
[ ]topreal6__t2_topreal6.vmin12021-07-25 20:57 1.2K 
[ ]topreal6__t2_topreal6.depvmin12021-07-25 21:03 136  
[ ]topreal6__t2_topreal6.depv12021-07-25 20:57 136  
[ ]topreal6__t2_topreal62021-07-18 06:08 15K 
[ ]topreal6__l57_topreal6.vout2021-07-25 18:48 6.8K 
[ ]topreal6__l57_topreal62021-07-18 06:59 43K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80