Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/topreal6

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]topreal6__l57_topreal62024-07-27 07:55 43K 
[ ]topreal6__l57_topreal6.vout2024-08-03 06:13 6.8K 
[ ]topreal6__t2_topreal62024-07-27 04:56 16K 
[ ]topreal6__t2_topreal6.depv12024-08-03 10:19 122  
[ ]topreal6__t2_topreal6.depvmin12024-08-03 10:24 122  
[ ]topreal6__t2_topreal6.vmin12024-08-03 10:20 1.1K 
[ ]topreal6__t2_topreal6.vmin1out2024-08-03 10:20 11K 
[ ]topreal6__t2_topreal6.vout2024-08-03 09:41 10K 
[ ]topreal6__t3_topreal62024-07-27 04:57 24K 
[ ]topreal6__t3_topreal6.depv12024-08-03 10:19 236  
[ ]topreal6__t3_topreal6.depvmin12024-08-03 10:24 182  
[ ]topreal6__t3_topreal6.vmin12024-08-03 10:20 2.5K 
[ ]topreal6__t3_topreal6.vmin1out2024-08-03 10:23 23K 
[ ]topreal6__t3_topreal6.vout2024-08-03 07:08 30K 
[ ]topreal6__t4_topreal62024-07-27 04:49 40K 
[ ]topreal6__t4_topreal6.depv12024-08-03 10:19 200  
[ ]topreal6__t4_topreal6.depvmin12024-08-03 10:24 200  
[ ]topreal6__t4_topreal6.vmin12024-08-03 10:20 1.4K 
[ ]topreal6__t4_topreal6.vmin1out2024-08-03 10:22 9.9K 
[ ]topreal6__t4_topreal6.vout2024-08-03 08:40 9.2K 
[ ]topreal6__t5_topreal62024-07-27 04:58 39K 
[ ]topreal6__t5_topreal6.depv12024-08-03 10:19 74  
[ ]topreal6__t5_topreal6.depvmin12024-08-03 10:24 49  
[ ]topreal6__t5_topreal6.vmin12024-08-03 10:20 414  
[ ]topreal6__t5_topreal6.vmin1out2024-08-03 10:20 3.1K 
[ ]topreal6__t5_topreal6.vout2024-08-03 05:06 3.6K 
[ ]topreal6__t6_topreal62024-07-27 05:00 40K 
[ ]topreal6__t6_topreal6.depv12024-08-03 10:19 49  
[ ]topreal6__t6_topreal6.depvmin12024-08-03 10:24 49  
[ ]topreal6__t6_topreal6.vmin12024-08-03 10:20 407  
[ ]topreal6__t6_topreal6.vmin1out2024-08-03 10:22 3.5K 
[ ]topreal6__t6_topreal6.vout2024-08-03 06:43 3.5K 
[ ]topreal6__t7_topreal62024-07-27 05:01 42K 
[ ]topreal6__t7_topreal6.depv12024-08-03 10:19 86  
[ ]topreal6__t7_topreal6.depvmin12024-08-03 10:24 86  
[ ]topreal6__t7_topreal6.vmin12024-08-03 10:20 838  
[ ]topreal6__t7_topreal6.vmin1out2024-08-03 10:23 6.5K 
[ ]topreal6__t7_topreal6.vout2024-08-03 08:33 6.8K 
[ ]topreal6__t8_topreal62024-07-27 05:03 51K 
[ ]topreal6__t8_topreal6.vout2024-08-03 06:44 7.4K 
[ ]topreal6__t9_topreal62024-07-27 05:04 55K 
[ ]topreal6__t9_topreal6.vout2024-08-03 04:49 7.3K 
[ ]topreal6__t10_topreal62024-07-27 05:06 42K 
[ ]topreal6__t10_topreal6.depv12024-08-03 10:19 96  
[ ]topreal6__t10_topreal6.depvmin12024-08-03 10:24 96  
[ ]topreal6__t10_topreal6.vmin12024-08-03 10:20 1.0K 
[ ]topreal6__t10_topreal6.vmin1out2024-08-03 10:23 15K 
[ ]topreal6__t10_topreal6.vout2024-08-03 05:17 16K 
[ ]topreal6__t11_topreal62024-07-27 05:07 64K 
[ ]topreal6__t11_topreal6.vout2024-08-03 09:39 7.9K 
[ ]topreal6__t12_topreal62024-07-27 05:09 45K 
[ ]topreal6__t12_topreal6.depv12024-08-03 10:19 239  
[ ]topreal6__t12_topreal6.depvmin12024-08-03 10:24 201  
[ ]topreal6__t12_topreal6.vmin12024-08-03 10:20 2.5K 
[ ]topreal6__t12_topreal6.vmin1out2024-08-03 10:22 27K 
[ ]topreal6__t12_topreal6.vout2024-08-03 08:42 29K 
[ ]topreal6__t13_topreal62024-07-27 05:11 53K 
[ ]topreal6__t13_topreal6.vout2024-08-03 06:29 7.9K 
[ ]topreal6__t14_topreal62024-07-27 05:12 25K 
[ ]topreal6__t14_topreal6.vout2024-08-03 10:14 2.0K 
[ ]topreal6__t15_topreal62024-07-27 05:13 27K 
[ ]topreal6__t15_topreal6.vout2024-08-03 05:13 2.0K 
[ ]topreal6__t16_topreal62024-07-27 05:14 84K 
[ ]topreal6__t16_topreal6.vout2024-08-03 08:50 7.3K 
[ ]topreal6__t17_topreal62024-07-27 05:15 45K 
[ ]topreal6__t17_topreal6.vout2024-08-03 04:10 7.4K 
[ ]topreal6__t19_topreal62024-07-27 05:17 42K 
[ ]topreal6__t19_topreal6.vout2024-08-03 08:05 1.1K 
[ ]topreal6__t20_topreal62024-07-27 05:18 25K 
[ ]topreal6__t20_topreal6.vout2024-08-03 08:08 7.3K 
[ ]topreal6__t21_topreal62024-07-27 05:19 35K 
[ ]topreal6__t21_topreal6.depv12024-08-03 10:19 80  
[ ]topreal6__t21_topreal6.depvmin12024-08-03 10:24 70  
[ ]topreal6__t21_topreal6.vmin12024-08-03 10:20 1.2K 
[ ]topreal6__t21_topreal6.vmin1out2024-08-03 10:23 22K 
[ ]topreal6__t21_topreal6.vout2024-08-03 07:29 27K 
[ ]topreal6__t22_topreal62024-07-27 05:22 63K 
[ ]topreal6__t22_topreal6.vout2024-08-03 08:53 7.3K 
[ ]topreal6__t23_topreal62024-07-27 05:24 73K 
[ ]topreal6__t23_topreal6.vout2024-08-03 08:51 7.3K 
[ ]topreal6__t24_topreal62024-07-27 05:27 69K 
[ ]topreal6__t24_topreal6.depv12024-08-03 10:19 324  
[ ]topreal6__t24_topreal6.depvmin12024-08-03 10:24 299  
[ ]topreal6__t24_topreal6.vmin12024-08-03 10:20 2.2K 
[ ]topreal6__t24_topreal6.vmin1out2024-08-03 10:20 20K 
[ ]topreal6__t24_topreal6.vout2024-08-03 08:29 24K 
[ ]topreal6__t25_topreal62024-07-27 05:30 91K 
[ ]topreal6__t25_topreal6.vout2024-08-03 06:15 7.3K 
[ ]topreal6__t26_topreal62024-07-27 05:32 58K 
[ ]topreal6__t26_topreal6.depv12024-08-03 10:19 63  
[ ]topreal6__t26_topreal6.depvmin12024-08-03 10:24 63  
[ ]topreal6__t26_topreal6.vmin12024-08-03 10:20 816  
[ ]topreal6__t26_topreal6.vmin1out2024-08-03 10:20 6.2K 
[ ]topreal6__t26_topreal6.vout2024-08-03 04:44 8.3K 
[ ]topreal6__t27_topreal62024-07-27 05:34 69K 
[ ]topreal6__t27_topreal6.vout2024-08-03 04:49 4.7K 
[ ]topreal6__t28_topreal62024-07-27 05:36 69K 
[ ]topreal6__t28_topreal6.vout2024-08-03 06:15 4.7K 
[ ]topreal6__t29_topreal62024-07-27 05:38 87K 
[ ]topreal6__t29_topreal6.vout2024-08-03 08:30 7.3K 
[ ]topreal6__t30_topreal62024-07-27 05:41 87K 
[ ]topreal6__t30_topreal6.vout2024-08-03 05:49 7.3K 
[ ]topreal6__t31_topreal62024-07-27 05:43 61K 
[ ]topreal6__t31_topreal6.vout2024-08-03 05:54 7.4K 
[ ]topreal6__t32_topreal62024-07-27 05:45 65K 
[ ]topreal6__t32_topreal6.vout2024-08-03 04:43 7.3K 
[ ]topreal6__t33_topreal62024-07-27 05:47 65K 
[ ]topreal6__t33_topreal6.vout2024-08-03 05:23 7.3K 
[ ]topreal6__t34_topreal62024-07-27 05:49 61K 
[ ]topreal6__t34_topreal6.vout2024-08-03 06:34 7.4K 
[ ]topreal6__t35_topreal62024-07-27 05:52 72K 
[ ]topreal6__t35_topreal6.vout2024-08-03 04:42 3.7K 
[ ]topreal6__t36_topreal62024-07-27 05:54 73K 
[ ]topreal6__t36_topreal6.vout2024-08-03 08:36 3.7K 
[ ]topreal6__t37_topreal62024-07-27 05:57 73K 
[ ]topreal6__t37_topreal6.vout2024-08-03 08:36 3.6K 
[ ]topreal6__t38_topreal62024-07-27 07:53 102K 
[ ]topreal6__t38_topreal6.vout2024-08-03 04:37 3.7K 
[ ]topreal6__t39_topreal62024-07-27 05:59 90K 
[ ]topreal6__t39_topreal6.vout2024-08-03 04:48 6.8K 
[ ]topreal6__t40_topreal62024-07-27 06:02 90K 
[ ]topreal6__t40_topreal6.vout2024-08-03 05:51 6.8K 
[ ]topreal6__t41_topreal62024-07-27 06:05 103K 
[ ]topreal6__t41_topreal6.vout2024-08-03 09:57 3.7K 
[ ]topreal6__t42_topreal62024-07-27 06:08 82K 
[ ]topreal6__t42_topreal6.vout2024-08-03 09:04 3.7K 
[ ]topreal6__t43_topreal62024-07-27 06:11 114K 
[ ]topreal6__t43_topreal6.vout2024-08-03 06:35 4.2K 
[ ]topreal6__t44_topreal62024-07-27 06:14 114K 
[ ]topreal6__t44_topreal6.vout2024-08-03 08:41 3.7K 
[ ]topreal6__t45_topreal62024-07-27 06:17 81K 
[ ]topreal6__t45_topreal6.vout2024-08-03 08:22 7.3K 
[ ]topreal6__t46_topreal62024-07-27 06:19 81K 
[ ]topreal6__t46_topreal6.vout2024-08-03 04:53 7.3K 
[ ]topreal6__t47_topreal62024-07-27 06:22 81K 
[ ]topreal6__t47_topreal6.vout2024-08-03 05:46 7.3K 
[ ]topreal6__t48_topreal62024-07-27 06:25 81K 
[ ]topreal6__t48_topreal6.vout2024-08-03 04:18 7.3K 
[ ]topreal6__t49_topreal62024-07-27 06:28 188K 
[ ]topreal6__t49_topreal6.vout2024-08-03 06:27 6.8K 
[ ]topreal6__t50_topreal62024-07-27 06:30 188K 
[ ]topreal6__t50_topreal6.vout2024-08-03 06:21 6.8K 
[ ]topreal6__t51_topreal62024-07-27 06:33 187K 
[ ]topreal6__t51_topreal6.vout2024-08-03 05:53 7.3K 
[ ]topreal6__t52_topreal62024-07-27 06:36 93K 
[ ]topreal6__t52_topreal6.vout2024-08-03 06:48 3.7K 
[ ]topreal6__t53_topreal62024-07-27 06:37 24K 
[ ]topreal6__t53_topreal6.depv12024-08-03 10:19 167  
[ ]topreal6__t53_topreal6.depvmin12024-08-03 10:24 167  
[ ]topreal6__t53_topreal6.vmin12024-08-03 10:20 2.0K 
[ ]topreal6__t53_topreal6.vmin1out2024-08-03 10:23 20K 
[ ]topreal6__t53_topreal6.vout2024-08-03 05:55 20K 
[ ]topreal6__t54_topreal62024-07-27 06:38 22K 
[ ]topreal6__t54_topreal6.vout2024-08-03 05:18 8.4K 
[ ]topreal6__t55_topreal62024-07-27 06:39 26K 
[ ]topreal6__t55_topreal6.depv12024-08-03 10:19 177  
[ ]topreal6__t55_topreal6.depvmin12024-08-03 10:24 177  
[ ]topreal6__t55_topreal6.vmin12024-08-03 10:20 1.9K 
[ ]topreal6__t55_topreal6.vmin1out2024-08-03 10:23 19K 
[ ]topreal6__t55_topreal6.vout2024-08-03 10:07 19K 
[ ]topreal6__t56_topreal62024-07-27 06:41 26K 
[ ]topreal6__t56_topreal6.vout2024-08-03 09:00 7.9K 
[ ]topreal6__t57_topreal62024-07-27 06:42 31K 
[ ]topreal6__t57_topreal6.depv12024-08-03 10:19 51  
[ ]topreal6__t57_topreal6.depvmin12024-08-03 10:24 51  
[ ]topreal6__t57_topreal6.vmin12024-08-03 10:20 1.1K 
[ ]topreal6__t57_topreal6.vmin1out2024-08-03 10:20 17K 
[ ]topreal6__t57_topreal6.vout2024-08-03 04:30 12K 
[ ]topreal6__t58_topreal62024-07-27 06:45 65K 
[ ]topreal6__t58_topreal6.vout2024-08-03 04:59 7.9K 
[ ]topreal6__t59_topreal62024-07-27 06:46 27K 
[ ]topreal6__t59_topreal6.vout2024-08-03 04:54 7.3K 
[ ]topreal6__t60_topreal62024-07-27 06:47 39K 
[ ]topreal6__t60_topreal6.vout2024-08-03 09:00 7.3K 
[ ]topreal6__t61_topreal62024-07-27 06:50 65K 
[ ]topreal6__t61_topreal6.vout2024-08-03 05:23 7.4K 
[ ]topreal6__t62_topreal62024-07-27 06:51 22K 
[ ]topreal6__t62_topreal6.depv12024-08-03 10:19 81  
[ ]topreal6__t62_topreal6.depvmin12024-08-03 10:24 81  
[ ]topreal6__t62_topreal6.vmin12024-08-03 10:20 1.4K 
[ ]topreal6__t62_topreal6.vmin1out2024-08-03 10:23 14K 
[ ]topreal6__t62_topreal6.vout2024-08-03 07:55 17K 
[ ]topreal6__t63_topreal62024-07-27 04:51 53K 
[ ]topreal6__t63_topreal6.depv12024-08-03 10:19 76  
[ ]topreal6__t63_topreal6.depvmin12024-08-03 10:24 76  
[ ]topreal6__t63_topreal6.vmin12024-08-03 10:20 1.4K 
[ ]topreal6__t63_topreal6.vmin1out2024-08-03 10:21 16K 
[ ]topreal6__t63_topreal6.vout2024-08-03 08:58 19K 
[ ]topreal6__t64_topreal62024-07-27 06:52 21K 
[ ]topreal6__t64_topreal6.depv12024-08-03 10:19 98  
[ ]topreal6__t64_topreal6.depvmin12024-08-03 10:24 98  
[ ]topreal6__t64_topreal6.vmin12024-08-03 10:20 1.1K 
[ ]topreal6__t64_topreal6.vmin1out2024-08-03 10:21 13K 
[ ]topreal6__t64_topreal6.vout2024-08-03 04:55 16K 
[ ]topreal6__t65_topreal62024-07-27 06:53 24K 
[ ]topreal6__t65_topreal6.depv12024-08-03 10:19 62  
[ ]topreal6__t65_topreal6.depvmin12024-08-03 10:24 62  
[ ]topreal6__t65_topreal6.vmin12024-08-03 10:20 1.1K 
[ ]topreal6__t65_topreal6.vmin1out2024-08-03 10:22 11K 
[ ]topreal6__t65_topreal6.vout2024-08-03 06:41 11K 
[ ]topreal6__t66_topreal62024-07-27 06:56 68K 
[ ]topreal6__t66_topreal6.depv12024-08-03 10:19 212  
[ ]topreal6__t66_topreal6.depvmin12024-08-03 10:24 186  
[ ]topreal6__t66_topreal6.vmin12024-08-03 10:20 2.7K 
[ ]topreal6__t66_topreal6.vmin1out2024-08-03 10:22 28K 
[ ]topreal6__t66_topreal6.vout2024-08-03 04:07 34K 
[ ]topreal6__t67_topreal62024-07-27 06:58 64K 
[ ]topreal6__t67_topreal6.depv12024-08-03 10:19 154  
[ ]topreal6__t67_topreal6.depvmin12024-08-03 10:24 128  
[ ]topreal6__t67_topreal6.vmin12024-08-03 10:20 2.1K 
[ ]topreal6__t67_topreal6.vmin1out2024-08-03 10:22 21K 
[ ]topreal6__t67_topreal6.vout2024-08-03 08:44 24K 
[ ]topreal6__t68_topreal62024-07-27 07:00 45K 
[ ]topreal6__t68_topreal6.vout2024-08-03 05:29 7.3K 
[ ]topreal6__t69_topreal62024-07-27 07:01 44K 
[ ]topreal6__t69_topreal6.vout2024-08-03 04:30 7.3K 
[ ]topreal6__t75_topreal62024-07-27 07:04 75K 
[ ]topreal6__t75_topreal6.vout2024-08-03 08:12 6.8K 
[ ]topreal6__t76_topreal62024-07-27 07:08 119K 
[ ]topreal6__t76_topreal6.vout2024-08-03 05:16 3.7K 
[ ]topreal6__t77_topreal62024-07-27 07:11 67K 
[ ]topreal6__t77_topreal6.vout2024-08-03 07:08 8.4K 
[ ]topreal6__t78_topreal62024-07-27 07:14 74K 
[ ]topreal6__t78_topreal6.vout2024-08-03 08:10 7.3K 
[ ]topreal6__t79_topreal62024-07-27 07:16 80K 
[ ]topreal6__t79_topreal6.vout2024-08-03 09:28 5.3K 
[ ]topreal6__t80_topreal62024-07-27 07:19 65K 
[ ]topreal6__t80_topreal6.vout2024-08-03 07:44 7.9K 
[ ]topreal6__t81_topreal62024-07-27 07:22 103K 
[ ]topreal6__t81_topreal6.vout2024-08-03 08:52 5.3K 
[ ]topreal6__t82_topreal62024-07-27 07:25 103K 
[ ]topreal6__t82_topreal6.vout2024-08-03 08:14 5.3K 
[ ]topreal6__t83_topreal62024-07-27 04:53 60K 
[ ]topreal6__t83_topreal6.vout2024-08-03 08:41 8.4K 
[ ]topreal6__t84_topreal62024-07-27 04:55 60K 
[ ]topreal6__t84_topreal6.vout2024-08-03 05:14 8.4K 
[ ]topreal6__t85_topreal62024-07-27 07:27 60K 
[ ]topreal6__t85_topreal6.depv12024-08-03 10:19 458  
[ ]topreal6__t85_topreal6.depvmin12024-08-03 10:24 431  
[ ]topreal6__t85_topreal6.vmin12024-08-03 10:20 5.9K 
[ ]topreal6__t85_topreal6.vmin1out2024-08-03 10:20 55K 
[ ]topreal6__t85_topreal6.vout2024-08-03 04:25 71K 
[ ]topreal6__t86_topreal62024-07-27 07:29 60K 
[ ]topreal6__t86_topreal6.vout2024-08-03 06:26 8.4K 
[ ]topreal6__t87_topreal62024-07-27 07:31 60K 
[ ]topreal6__t87_topreal6.vout2024-08-03 04:53 8.4K 
[ ]topreal6__t88_topreal62024-07-27 07:33 60K 
[ ]topreal6__t88_topreal6.depv12024-08-03 10:19 458  
[ ]topreal6__t88_topreal6.depvmin12024-08-03 10:24 431  
[ ]topreal6__t88_topreal6.vmin12024-08-03 10:20 5.9K 
[ ]topreal6__t88_topreal6.vmin1out2024-08-03 10:20 55K 
[ ]topreal6__t88_topreal6.vout2024-08-03 04:11 71K 
[ ]topreal6__t89_topreal62024-07-27 07:35 56K 
[ ]topreal6__t89_topreal6.depv12024-08-03 10:19 180  
[ ]topreal6__t89_topreal6.depvmin12024-08-03 10:24 154  
[ ]topreal6__t89_topreal6.vmin12024-08-03 10:20 2.2K 
[ ]topreal6__t89_topreal6.vmin1out2024-08-03 10:20 24K 
[ ]topreal6__t89_topreal6.vout2024-08-03 06:17 30K 
[ ]topreal6__t90_topreal62024-07-27 07:37 62K 
[ ]topreal6__t90_topreal6.vout2024-08-03 04:19 7.3K 
[ ]topreal6__t91_topreal62024-07-27 07:40 82K 
[ ]topreal6__t91_topreal6.vout2024-08-03 05:10 6.8K 
[ ]topreal6__t92_topreal62024-07-27 07:43 82K 
[ ]topreal6__t92_topreal6.depv12024-08-03 10:19 119  
[ ]topreal6__t92_topreal6.depvmin12024-08-03 10:24 119  
[ ]topreal6__t92_topreal6.vmin12024-08-03 10:20 1.9K 
[ ]topreal6__t92_topreal6.vmin1out2024-08-03 10:22 26K 
[ ]topreal6__t92_topreal6.vout2024-08-03 07:24 30K 
[ ]topreal6__t93_topreal62024-07-27 07:45 61K 
[ ]topreal6__t93_topreal6.depv12024-08-03 10:19 217  
[ ]topreal6__t93_topreal6.depvmin12024-08-03 10:24 91  
[ ]topreal6__t93_topreal6.vmin12024-08-03 10:20 2.5K 
[ ]topreal6__t93_topreal6.vmin1out2024-08-03 10:21 16K 
[ ]topreal6__t93_topreal6.vout2024-08-03 07:03 31K 
[ ]topreal6__t94_topreal62024-07-27 07:48 65K 
[ ]topreal6__t94_topreal6.vout2024-08-03 06:08 7.3K 
[ ]topreal6__t95_topreal62024-07-27 07:50 70K 
[ ]topreal6__t95_topreal6.vout2024-08-03 10:11 6.8K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80