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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]topreal6__l57_topreal62025-09-08 16:15 43K 
[ ]topreal6__l57_topreal6.vout2025-09-15 14:52 6.8K 
[ ]topreal6__t2_topreal62025-09-08 13:09 16K 
[ ]topreal6__t2_topreal6.depv12025-09-15 19:47 122  
[ ]topreal6__t2_topreal6.depvmin12025-09-15 19:52 122  
[ ]topreal6__t2_topreal6.vmin12025-09-15 19:47 1.1K 
[ ]topreal6__t2_topreal6.vmin1out2025-09-15 19:49 11K 
[ ]topreal6__t2_topreal6.vout2025-09-15 15:01 10K 
[ ]topreal6__t3_topreal62025-09-08 13:10 24K 
[ ]topreal6__t3_topreal6.depv12025-09-15 19:47 236  
[ ]topreal6__t3_topreal6.depvmin12025-09-15 19:52 182  
[ ]topreal6__t3_topreal6.vmin12025-09-15 19:47 2.5K 
[ ]topreal6__t3_topreal6.vmin1out2025-09-15 19:50 23K 
[ ]topreal6__t3_topreal6.vout2025-09-15 17:06 30K 
[ ]topreal6__t4_topreal62025-09-08 13:02 40K 
[ ]topreal6__t4_topreal6.depv12025-09-15 19:47 200  
[ ]topreal6__t4_topreal6.depvmin12025-09-15 19:52 200  
[ ]topreal6__t4_topreal6.vmin12025-09-15 19:47 1.4K 
[ ]topreal6__t4_topreal6.vmin1out2025-09-15 19:50 9.9K 
[ ]topreal6__t4_topreal6.vout2025-09-15 17:07 9.2K 
[ ]topreal6__t5_topreal62025-09-08 13:12 39K 
[ ]topreal6__t5_topreal6.depv12025-09-15 19:47 74  
[ ]topreal6__t5_topreal6.depvmin12025-09-15 19:52 49  
[ ]topreal6__t5_topreal6.vmin12025-09-15 19:47 414  
[ ]topreal6__t5_topreal6.vmin1out2025-09-15 19:50 3.1K 
[ ]topreal6__t5_topreal6.vout2025-09-15 15:53 3.6K 
[ ]topreal6__t6_topreal62025-09-08 13:13 40K 
[ ]topreal6__t6_topreal6.depv12025-09-15 19:47 49  
[ ]topreal6__t6_topreal6.depvmin12025-09-15 19:52 49  
[ ]topreal6__t6_topreal6.vmin12025-09-15 19:47 407  
[ ]topreal6__t6_topreal6.vmin1out2025-09-15 19:48 3.5K 
[ ]topreal6__t6_topreal6.vout2025-09-15 14:53 3.5K 
[ ]topreal6__t7_topreal62025-09-08 13:15 42K 
[ ]topreal6__t7_topreal6.depv12025-09-15 19:47 86  
[ ]topreal6__t7_topreal6.depvmin12025-09-15 19:52 86  
[ ]topreal6__t7_topreal6.vmin12025-09-15 19:47 838  
[ ]topreal6__t7_topreal6.vmin1out2025-09-15 19:50 6.5K 
[ ]topreal6__t7_topreal6.vout2025-09-15 17:23 6.8K 
[ ]topreal6__t8_topreal62025-09-08 13:16 51K 
[ ]topreal6__t8_topreal6.vout2025-09-15 16:35 7.4K 
[ ]topreal6__t9_topreal62025-09-08 13:18 55K 
[ ]topreal6__t9_topreal6.vout2025-09-15 17:23 7.3K 
[ ]topreal6__t10_topreal62025-09-08 13:19 42K 
[ ]topreal6__t10_topreal6.depv12025-09-15 19:47 96  
[ ]topreal6__t10_topreal6.depvmin12025-09-15 19:52 96  
[ ]topreal6__t10_topreal6.vmin12025-09-15 19:47 1.0K 
[ ]topreal6__t10_topreal6.vmin1out2025-09-15 19:49 15K 
[ ]topreal6__t10_topreal6.vout2025-09-15 14:55 16K 
[ ]topreal6__t11_topreal62025-09-08 13:21 63K 
[ ]topreal6__t11_topreal6.vout2025-09-15 17:31 7.9K 
[ ]topreal6__t12_topreal62025-09-08 13:22 45K 
[ ]topreal6__t12_topreal6.depv12025-09-15 19:47 239  
[ ]topreal6__t12_topreal6.depvmin12025-09-15 19:52 201  
[ ]topreal6__t12_topreal6.vmin12025-09-15 19:47 2.5K 
[ ]topreal6__t12_topreal6.vmin1out2025-09-15 19:47 27K 
[ ]topreal6__t12_topreal6.vout2025-09-15 19:03 29K 
[ ]topreal6__t13_topreal62025-09-08 13:24 52K 
[ ]topreal6__t13_topreal6.vout2025-09-15 15:47 7.9K 
[ ]topreal6__t14_topreal62025-09-08 13:25 25K 
[ ]topreal6__t14_topreal6.vout2025-09-15 19:30 2.0K 
[ ]topreal6__t15_topreal62025-09-08 13:26 27K 
[ ]topreal6__t15_topreal6.vout2025-09-15 16:55 2.0K 
[ ]topreal6__t16_topreal62025-09-08 13:27 84K 
[ ]topreal6__t16_topreal6.vout2025-09-15 18:04 7.4K 
[ ]topreal6__t17_topreal62025-09-08 13:29 45K 
[ ]topreal6__t17_topreal6.vout2025-09-15 14:02 7.3K 
[ ]topreal6__t19_topreal62025-09-08 13:30 42K 
[ ]topreal6__t19_topreal6.vout2025-09-15 18:57 1.1K 
[ ]topreal6__t20_topreal62025-09-08 13:31 25K 
[ ]topreal6__t20_topreal6.vout2025-09-15 14:38 7.3K 
[ ]topreal6__t21_topreal62025-09-08 13:33 35K 
[ ]topreal6__t21_topreal6.depv12025-09-15 19:47 80  
[ ]topreal6__t21_topreal6.depvmin12025-09-15 19:52 70  
[ ]topreal6__t21_topreal6.vmin12025-09-15 19:47 1.2K 
[ ]topreal6__t21_topreal6.vmin1out2025-09-15 19:50 22K 
[ ]topreal6__t21_topreal6.vout2025-09-15 14:36 27K 
[ ]topreal6__t22_topreal62025-09-08 13:35 62K 
[ ]topreal6__t22_topreal6.vout2025-09-15 19:34 7.3K 
[ ]topreal6__t23_topreal62025-09-08 13:37 73K 
[ ]topreal6__t23_topreal6.vout2025-09-15 17:19 7.3K 
[ ]topreal6__t24_topreal62025-09-08 13:40 69K 
[ ]topreal6__t24_topreal6.depv12025-09-15 19:47 324  
[ ]topreal6__t24_topreal6.depvmin12025-09-15 19:52 311  
[ ]topreal6__t24_topreal6.vmin12025-09-15 19:47 2.3K 
[ ]topreal6__t24_topreal6.vmin1out2025-09-15 19:50 19K 
[ ]topreal6__t24_topreal6.vout2025-09-15 19:02 24K 
[ ]topreal6__t25_topreal62025-09-08 13:43 91K 
[ ]topreal6__t25_topreal6.vout2025-09-15 17:20 7.3K 
[ ]topreal6__t26_topreal62025-09-08 13:45 58K 
[ ]topreal6__t26_topreal6.depv12025-09-15 19:47 63  
[ ]topreal6__t26_topreal6.depvmin12025-09-15 19:52 63  
[ ]topreal6__t26_topreal6.vmin12025-09-15 19:47 816  
[ ]topreal6__t26_topreal6.vmin1out2025-09-15 19:48 6.2K 
[ ]topreal6__t26_topreal6.vout2025-09-15 15:19 8.3K 
[ ]topreal6__t27_topreal62025-09-08 13:47 69K 
[ ]topreal6__t27_topreal6.vout2025-09-15 19:41 4.7K 
[ ]topreal6__t28_topreal62025-09-08 13:50 69K 
[ ]topreal6__t28_topreal6.vout2025-09-15 14:30 5.3K 
[ ]topreal6__t29_topreal62025-09-08 13:52 87K 
[ ]topreal6__t29_topreal6.vout2025-09-15 18:25 7.3K 
[ ]topreal6__t30_topreal62025-09-08 13:55 87K 
[ ]topreal6__t30_topreal6.vout2025-09-15 15:58 7.3K 
[ ]topreal6__t31_topreal62025-09-08 13:57 90K 
[ ]topreal6__t31_topreal6.vout2025-09-15 18:17 7.3K 
[ ]topreal6__t32_topreal62025-09-08 13:59 70K 
[ ]topreal6__t32_topreal6.vout2025-09-15 16:26 7.4K 
[ ]topreal6__t33_topreal62025-09-08 14:01 70K 
[ ]topreal6__t33_topreal6.vout2025-09-15 14:05 7.4K 
[ ]topreal6__t34_topreal62025-09-08 14:04 90K 
[ ]topreal6__t34_topreal6.vout2025-09-15 15:38 7.3K 
[ ]topreal6__t35_topreal62025-09-08 14:06 72K 
[ ]topreal6__t35_topreal6.vout2025-09-15 18:17 3.7K 
[ ]topreal6__t36_topreal62025-09-08 14:09 73K 
[ ]topreal6__t36_topreal6.vout2025-09-15 14:18 3.7K 
[ ]topreal6__t37_topreal62025-09-08 14:11 73K 
[ ]topreal6__t37_topreal6.vout2025-09-15 14:08 3.7K 
[ ]topreal6__t38_topreal62025-09-08 16:14 102K 
[ ]topreal6__t38_topreal6.vout2025-09-15 17:31 3.7K 
[ ]topreal6__t39_topreal62025-09-08 14:14 90K 
[ ]topreal6__t39_topreal6.vout2025-09-15 16:16 6.8K 
[ ]topreal6__t40_topreal62025-09-08 14:17 90K 
[ ]topreal6__t40_topreal6.vout2025-09-15 17:25 6.8K 
[ ]topreal6__t41_topreal62025-09-08 14:21 103K 
[ ]topreal6__t41_topreal6.vout2025-09-15 19:18 3.7K 
[ ]topreal6__t42_topreal62025-09-08 14:24 82K 
[ ]topreal6__t42_topreal6.vout2025-09-15 17:08 3.7K 
[ ]topreal6__t43_topreal62025-09-08 14:27 97K 
[ ]topreal6__t43_topreal6.vout2025-09-15 17:49 3.7K 
[ ]topreal6__t44_topreal62025-09-08 14:30 97K 
[ ]topreal6__t44_topreal6.vout2025-09-15 15:03 3.7K 
[ ]topreal6__t45_topreal62025-09-08 14:33 81K 
[ ]topreal6__t45_topreal6.vout2025-09-15 15:27 7.3K 
[ ]topreal6__t46_topreal62025-09-08 14:36 81K 
[ ]topreal6__t46_topreal6.vout2025-09-15 17:34 7.3K 
[ ]topreal6__t47_topreal62025-09-08 14:39 81K 
[ ]topreal6__t47_topreal6.vout2025-09-15 14:55 7.3K 
[ ]topreal6__t48_topreal62025-09-08 14:42 81K 
[ ]topreal6__t48_topreal6.vout2025-09-15 14:11 7.3K 
[ ]topreal6__t49_topreal62025-09-08 14:45 188K 
[ ]topreal6__t49_topreal6.vout2025-09-15 18:08 7.3K 
[ ]topreal6__t50_topreal62025-09-08 14:48 188K 
[ ]topreal6__t50_topreal6.vout2025-09-15 14:41 7.3K 
[ ]topreal6__t51_topreal62025-09-08 14:51 188K 
[ ]topreal6__t51_topreal6.vout2025-09-15 16:31 7.3K 
[ ]topreal6__t52_topreal62025-09-08 14:54 93K 
[ ]topreal6__t52_topreal6.vout2025-09-15 15:17 3.7K 
[ ]topreal6__t53_topreal62025-09-08 14:55 24K 
[ ]topreal6__t53_topreal6.depv12025-09-15 19:47 167  
[ ]topreal6__t53_topreal6.depvmin12025-09-15 19:52 167  
[ ]topreal6__t53_topreal6.vmin12025-09-15 19:47 2.0K 
[ ]topreal6__t53_topreal6.vmin1out2025-09-15 19:47 20K 
[ ]topreal6__t53_topreal6.vout2025-09-15 19:12 20K 
[ ]topreal6__t54_topreal62025-09-08 14:57 22K 
[ ]topreal6__t54_topreal6.vout2025-09-15 16:25 8.4K 
[ ]topreal6__t55_topreal62025-09-08 14:58 26K 
[ ]topreal6__t55_topreal6.depv12025-09-15 19:47 177  
[ ]topreal6__t55_topreal6.depvmin12025-09-15 19:52 177  
[ ]topreal6__t55_topreal6.vmin12025-09-15 19:47 1.9K 
[ ]topreal6__t55_topreal6.vmin1out2025-09-15 19:49 19K 
[ ]topreal6__t55_topreal6.vout2025-09-15 14:10 19K 
[ ]topreal6__t56_topreal62025-09-08 14:59 26K 
[ ]topreal6__t56_topreal6.vout2025-09-15 15:14 7.9K 
[ ]topreal6__t57_topreal62025-09-08 15:01 31K 
[ ]topreal6__t57_topreal6.depv12025-09-15 19:47 51  
[ ]topreal6__t57_topreal6.depvmin12025-09-15 19:52 51  
[ ]topreal6__t57_topreal6.vmin12025-09-15 19:47 1.1K 
[ ]topreal6__t57_topreal6.vmin1out2025-09-15 19:48 17K 
[ ]topreal6__t57_topreal6.vout2025-09-15 14:10 12K 
[ ]topreal6__t58_topreal62025-09-08 15:03 65K 
[ ]topreal6__t58_topreal6.vout2025-09-15 16:59 7.4K 
[ ]topreal6__t59_topreal62025-09-08 15:05 27K 
[ ]topreal6__t59_topreal6.vout2025-09-15 15:34 7.3K 
[ ]topreal6__t60_topreal62025-09-08 15:07 39K 
[ ]topreal6__t60_topreal6.vout2025-09-15 17:08 7.3K 
[ ]topreal6__t61_topreal62025-09-08 15:09 65K 
[ ]topreal6__t61_topreal6.vout2025-09-15 17:55 7.9K 
[ ]topreal6__t62_topreal62025-09-08 15:10 22K 
[ ]topreal6__t62_topreal6.depv12025-09-15 19:47 81  
[ ]topreal6__t62_topreal6.depvmin12025-09-15 19:52 81  
[ ]topreal6__t62_topreal6.vmin12025-09-15 19:47 1.4K 
[ ]topreal6__t62_topreal6.vmin1out2025-09-15 19:49 14K 
[ ]topreal6__t62_topreal6.vout2025-09-15 14:05 17K 
[ ]topreal6__t63_topreal62025-09-08 13:04 53K 
[ ]topreal6__t63_topreal6.depv12025-09-15 19:47 76  
[ ]topreal6__t63_topreal6.depvmin12025-09-15 19:52 76  
[ ]topreal6__t63_topreal6.vmin12025-09-15 19:47 1.4K 
[ ]topreal6__t63_topreal6.vmin1out2025-09-15 19:48 16K 
[ ]topreal6__t63_topreal6.vout2025-09-15 15:14 19K 
[ ]topreal6__t64_topreal62025-09-08 15:12 21K 
[ ]topreal6__t64_topreal6.depv12025-09-15 19:47 98  
[ ]topreal6__t64_topreal6.depvmin12025-09-15 19:52 98  
[ ]topreal6__t64_topreal6.vmin12025-09-15 19:47 1.1K 
[ ]topreal6__t64_topreal6.vmin1out2025-09-15 19:47 13K 
[ ]topreal6__t64_topreal6.vout2025-09-15 19:26 16K 
[ ]topreal6__t65_topreal62025-09-08 15:13 24K 
[ ]topreal6__t65_topreal6.depv12025-09-15 19:47 62  
[ ]topreal6__t65_topreal6.depvmin12025-09-15 19:52 62  
[ ]topreal6__t65_topreal6.vmin12025-09-15 19:47 1.1K 
[ ]topreal6__t65_topreal6.vmin1out2025-09-15 19:49 11K 
[ ]topreal6__t65_topreal6.vout2025-09-15 14:55 11K 
[ ]topreal6__t66_topreal62025-09-08 15:15 68K 
[ ]topreal6__t66_topreal6.depv12025-09-15 19:47 212  
[ ]topreal6__t66_topreal6.depvmin12025-09-15 19:52 186  
[ ]topreal6__t66_topreal6.vmin12025-09-15 19:47 2.7K 
[ ]topreal6__t66_topreal6.vmin1out2025-09-15 19:49 28K 
[ ]topreal6__t66_topreal6.vout2025-09-15 15:57 34K 
[ ]topreal6__t67_topreal62025-09-08 15:18 64K 
[ ]topreal6__t67_topreal6.depv12025-09-15 19:47 154  
[ ]topreal6__t67_topreal6.depvmin12025-09-15 19:52 128  
[ ]topreal6__t67_topreal6.vmin12025-09-15 19:47 2.1K 
[ ]topreal6__t67_topreal6.vmin1out2025-09-15 19:49 21K 
[ ]topreal6__t67_topreal6.vout2025-09-15 14:51 24K 
[ ]topreal6__t68_topreal62025-09-08 15:20 45K 
[ ]topreal6__t68_topreal6.vout2025-09-15 18:17 7.3K 
[ ]topreal6__t69_topreal62025-09-08 15:21 44K 
[ ]topreal6__t69_topreal6.vout2025-09-15 18:50 7.3K 
[ ]topreal6__t75_topreal62025-09-08 15:24 73K 
[ ]topreal6__t75_topreal6.vout2025-09-15 14:52 6.8K 
[ ]topreal6__t76_topreal62025-09-08 15:28 118K 
[ ]topreal6__t76_topreal6.vout2025-09-15 14:15 3.7K 
[ ]topreal6__t77_topreal62025-09-08 15:31 68K 
[ ]topreal6__t77_topreal6.vout2025-09-15 18:05 8.4K 
[ ]topreal6__t78_topreal62025-09-08 15:34 74K 
[ ]topreal6__t78_topreal6.vout2025-09-15 15:41 7.3K 
[ ]topreal6__t79_topreal62025-09-08 15:37 80K 
[ ]topreal6__t79_topreal6.vout2025-09-15 17:41 5.3K 
[ ]topreal6__t80_topreal62025-09-08 15:39 65K 
[ ]topreal6__t80_topreal6.vout2025-09-15 16:27 7.9K 
[ ]topreal6__t81_topreal62025-09-08 15:42 103K 
[ ]topreal6__t81_topreal6.vout2025-09-15 13:32 5.3K 
[ ]topreal6__t82_topreal62025-09-08 15:45 103K 
[ ]topreal6__t82_topreal6.vout2025-09-15 18:35 5.3K 
[ ]topreal6__t83_topreal62025-09-08 13:06 60K 
[ ]topreal6__t83_topreal6.vout2025-09-15 18:21 8.4K 
[ ]topreal6__t84_topreal62025-09-08 13:08 60K 
[ ]topreal6__t84_topreal6.vout2025-09-15 19:29 8.4K 
[ ]topreal6__t85_topreal62025-09-08 15:47 60K 
[ ]topreal6__t85_topreal6.depv12025-09-15 19:47 458  
[ ]topreal6__t85_topreal6.depvmin12025-09-15 19:52 431  
[ ]topreal6__t85_topreal6.vmin12025-09-15 19:47 5.9K 
[ ]topreal6__t85_topreal6.vmin1out2025-09-15 19:51 55K 
[ ]topreal6__t85_topreal6.vout2025-09-15 16:03 71K 
[ ]topreal6__t86_topreal62025-09-08 15:49 60K 
[ ]topreal6__t86_topreal6.vout2025-09-15 13:55 8.4K 
[ ]topreal6__t87_topreal62025-09-08 15:52 60K 
[ ]topreal6__t87_topreal6.vout2025-09-15 14:47 8.4K 
[ ]topreal6__t88_topreal62025-09-08 15:54 60K 
[ ]topreal6__t88_topreal6.depv12025-09-15 19:47 458  
[ ]topreal6__t88_topreal6.depvmin12025-09-15 19:52 431  
[ ]topreal6__t88_topreal6.vmin12025-09-15 19:47 5.9K 
[ ]topreal6__t88_topreal6.vmin1out2025-09-15 19:49 55K 
[ ]topreal6__t88_topreal6.vout2025-09-15 18:29 71K 
[ ]topreal6__t89_topreal62025-09-08 15:56 56K 
[ ]topreal6__t89_topreal6.depv12025-09-15 19:47 154  
[ ]topreal6__t89_topreal6.depvmin12025-09-15 19:52 154  
[ ]topreal6__t89_topreal6.vmin12025-09-15 19:47 2.1K 
[ ]topreal6__t89_topreal6.vmin1out2025-09-15 19:49 24K 
[ ]topreal6__t89_topreal6.vout2025-09-15 19:14 32K 
[ ]topreal6__t90_topreal62025-09-08 15:58 62K 
[ ]topreal6__t90_topreal6.vout2025-09-15 17:36 7.3K 
[ ]topreal6__t91_topreal62025-09-08 16:01 82K 
[ ]topreal6__t91_topreal6.vout2025-09-15 14:46 7.3K 
[ ]topreal6__t92_topreal62025-09-08 16:04 83K 
[ ]topreal6__t92_topreal6.depv12025-09-15 19:47 119  
[ ]topreal6__t92_topreal6.depvmin12025-09-15 19:52 119  
[ ]topreal6__t92_topreal6.vmin12025-09-15 19:47 1.9K 
[ ]topreal6__t92_topreal6.vmin1out2025-09-15 19:51 26K 
[ ]topreal6__t92_topreal6.vout2025-09-15 19:17 30K 
[ ]topreal6__t93_topreal62025-09-08 16:06 61K 
[ ]topreal6__t93_topreal6.depv12025-09-15 19:47 217  
[ ]topreal6__t93_topreal6.depvmin12025-09-15 19:52 91  
[ ]topreal6__t93_topreal6.vmin12025-09-15 19:47 2.5K 
[ ]topreal6__t93_topreal6.vmin1out2025-09-15 19:49 16K 
[ ]topreal6__t93_topreal6.vout2025-09-15 13:57 31K 
[ ]topreal6__t94_topreal62025-09-08 16:09 65K 
[ ]topreal6__t94_topreal6.vout2025-09-15 15:25 7.3K 
[ ]topreal6__t95_topreal62025-09-08 16:11 70K 
[ ]topreal6__t95_topreal6.vout2025-09-15 15:41 6.8K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80