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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]borsuk_6__l83_borsuk_62025-09-08 20:02 29K 
[ ]borsuk_6__l83_borsuk_6.depv12025-09-15 19:46 147  
[ ]borsuk_6__l83_borsuk_6.depvmin12025-09-15 19:51 147  
[ ]borsuk_6__l83_borsuk_6.vmin12025-09-15 19:47 1.6K 
[ ]borsuk_6__l83_borsuk_6.vmin1out2025-09-15 19:49 13K 
[ ]borsuk_6__l83_borsuk_6.vout2025-09-15 18:57 16K 
[ ]borsuk_6__t1_borsuk_62025-09-08 19:50 30K 
[ ]borsuk_6__t1_borsuk_6.depv12025-09-15 19:46 219  
[ ]borsuk_6__t1_borsuk_6.depvmin12025-09-15 19:51 219  
[ ]borsuk_6__t1_borsuk_6.vmin12025-09-15 19:47 1.7K 
[ ]borsuk_6__t1_borsuk_6.vmin1out2025-09-15 19:49 16K 
[ ]borsuk_6__t1_borsuk_6.vout2025-09-15 17:15 15K 
[ ]borsuk_6__t2_borsuk_62025-09-08 20:03 43K 
[ ]borsuk_6__t2_borsuk_6.vout2025-09-15 17:33 7.3K 
[ ]borsuk_6__t3_borsuk_62025-09-08 20:04 31K 
[ ]borsuk_6__t3_borsuk_6.vout2025-09-15 14:26 8.4K 
[ ]borsuk_6__t4_borsuk_62025-09-08 20:06 46K 
[ ]borsuk_6__t4_borsuk_6.vout2025-09-15 13:56 8.4K 
[ ]borsuk_6__t5_borsuk_62025-09-08 20:07 27K 
[ ]borsuk_6__t5_borsuk_6.depv12025-09-15 19:46 449  
[ ]borsuk_6__t5_borsuk_6.depvmin12025-09-15 19:51 449  
[ ]borsuk_6__t5_borsuk_6.vmin12025-09-15 19:47 3.6K 
[ ]borsuk_6__t5_borsuk_6.vmin1out2025-09-15 19:49 45K 
[ ]borsuk_6__t5_borsuk_6.vout2025-09-15 14:14 48K 
[ ]borsuk_6__t6_borsuk_62025-09-08 20:08 31K 
[ ]borsuk_6__t6_borsuk_6.vout2025-09-15 14:49 8.4K 
[ ]borsuk_6__t7_borsuk_62025-09-08 20:10 102K 
[ ]borsuk_6__t7_borsuk_6.vout2025-09-15 18:51 8.4K 
[ ]borsuk_6__t8_borsuk_62025-09-08 20:11 31K 
[ ]borsuk_6__t8_borsuk_6.depv12025-09-15 19:46 354  
[ ]borsuk_6__t8_borsuk_6.depvmin12025-09-15 19:51 311  
[ ]borsuk_6__t8_borsuk_6.vmin12025-09-15 19:47 2.7K 
[ ]borsuk_6__t8_borsuk_6.vmin1out2025-09-15 19:48 31K 
[ ]borsuk_6__t8_borsuk_6.vout2025-09-15 19:07 28K 
[ ]borsuk_6__t9_borsuk_62025-09-08 20:12 35K 
[ ]borsuk_6__t9_borsuk_6.vout2025-09-15 17:52 4.2K 
[ ]borsuk_6__t10_borsuk_62025-09-08 21:39 145K 
[ ]borsuk_6__t10_borsuk_6.vout2025-09-15 17:02 3.7K 
[ ]borsuk_6__t11_borsuk_62025-09-08 21:42 145K 
[ ]borsuk_6__t11_borsuk_6.vout2025-09-15 16:45 3.7K 
[ ]borsuk_6__t12_borsuk_62025-09-08 21:44 231K 
[ ]borsuk_6__t12_borsuk_6.vout2025-09-15 15:05 3.7K 
[ ]borsuk_6__t13_borsuk_62025-09-08 21:46 231K 
[ ]borsuk_6__t13_borsuk_6.vout2025-09-15 14:07 3.7K 
[ ]borsuk_6__t14_borsuk_62025-09-08 20:13 11K 
[ ]borsuk_6__t14_borsuk_6.depv12025-09-15 19:46 82  
[ ]borsuk_6__t14_borsuk_6.depvmin12025-09-15 19:51 82  
[ ]borsuk_6__t14_borsuk_6.vmin12025-09-15 19:47 691  
[ ]borsuk_6__t14_borsuk_6.vmin1out2025-09-15 19:47 9.8K 
[ ]borsuk_6__t14_borsuk_6.vout2025-09-15 18:12 11K 
[ ]borsuk_6__t15_borsuk_62025-09-08 21:48 44K 
[ ]borsuk_6__t15_borsuk_6.vout2025-09-15 19:16 9.0K 
[ ]borsuk_6__t16_borsuk_62025-09-08 21:49 44K 
[ ]borsuk_6__t16_borsuk_6.vout2025-09-15 14:58 9.0K 
[ ]borsuk_6__t17_borsuk_62025-09-08 21:51 52K 
[ ]borsuk_6__t17_borsuk_6.vout2025-09-15 19:10 9.0K 
[ ]borsuk_6__t18_borsuk_62025-09-08 21:53 52K 
[ ]borsuk_6__t18_borsuk_6.vout2025-09-15 17:39 9.0K 
[ ]borsuk_6__t19_borsuk_62025-09-08 21:55 37K 
[ ]borsuk_6__t19_borsuk_6.depv12025-09-15 19:46 213  
[ ]borsuk_6__t19_borsuk_6.depvmin12025-09-15 19:51 213  
[ ]borsuk_6__t19_borsuk_6.vmin12025-09-15 19:47 1.9K 
[ ]borsuk_6__t19_borsuk_6.vmin1out2025-09-15 19:51 14K 
[ ]borsuk_6__t19_borsuk_6.vout2025-09-15 17:02 13K 
[ ]borsuk_6__t20_borsuk_62025-09-08 20:15 41K 
[ ]borsuk_6__t20_borsuk_6.vout2025-09-15 15:47 7.9K 
[ ]borsuk_6__t21_borsuk_62025-09-08 21:57 56K 
[ ]borsuk_6__t21_borsuk_6.vout2025-09-15 17:03 7.3K 
[ ]borsuk_6__t22_borsuk_62025-09-08 22:00 56K 
[ ]borsuk_6__t22_borsuk_6.vout2025-09-15 18:13 7.3K 
[ ]borsuk_6__t23_borsuk_62025-09-08 22:03 57K 
[ ]borsuk_6__t23_borsuk_6.vout2025-09-15 16:36 7.3K 
[ ]borsuk_6__t24_borsuk_62025-09-08 22:04 53K 
[ ]borsuk_6__t24_borsuk_6.vout2025-09-15 18:07 7.3K 
[ ]borsuk_6__t25_borsuk_62025-09-08 22:06 53K 
[ ]borsuk_6__t25_borsuk_6.vout2025-09-15 18:22 7.3K 
[ ]borsuk_6__t26_borsuk_62025-09-08 22:08 53K 
[ ]borsuk_6__t26_borsuk_6.vout2025-09-15 15:52 7.3K 
[ ]borsuk_6__t27_borsuk_62025-09-08 20:17 28K 
[ ]borsuk_6__t27_borsuk_6.vout2025-09-15 16:41 7.3K 
[ ]borsuk_6__t28_borsuk_62025-09-08 20:18 44K 
[ ]borsuk_6__t28_borsuk_6.vout2025-09-15 14:16 7.3K 
[ ]borsuk_6__t29_borsuk_62025-09-08 20:20 43K 
[ ]borsuk_6__t29_borsuk_6.vout2025-09-15 16:02 4.7K 
[ ]borsuk_6__t30_borsuk_62025-09-08 20:21 12K 
[ ]borsuk_6__t30_borsuk_6.depv12025-09-15 19:46 48  
[ ]borsuk_6__t30_borsuk_6.depvmin12025-09-15 19:51 48  
[ ]borsuk_6__t30_borsuk_6.vmin12025-09-15 19:47 470  
[ ]borsuk_6__t30_borsuk_6.vmin1out2025-09-15 19:51 5.7K 
[ ]borsuk_6__t30_borsuk_6.vout2025-09-15 18:09 7.2K 
[ ]borsuk_6__t31_borsuk_62025-09-08 20:22 14K 
[ ]borsuk_6__t31_borsuk_6.depv12025-09-15 19:46 110  
[ ]borsuk_6__t31_borsuk_6.depvmin12025-09-15 19:51 110  
[ ]borsuk_6__t31_borsuk_6.vmin12025-09-15 19:47 1.0K 
[ ]borsuk_6__t31_borsuk_6.vmin1out2025-09-15 19:51 12K 
[ ]borsuk_6__t31_borsuk_6.vout2025-09-15 15:28 13K 
[ ]borsuk_6__t32_borsuk_62025-09-08 20:23 32K 
[ ]borsuk_6__t32_borsuk_6.depv12025-09-15 19:46 332  
[ ]borsuk_6__t32_borsuk_6.depvmin12025-09-15 19:51 319  
[ ]borsuk_6__t32_borsuk_6.vmin12025-09-15 19:47 3.9K 
[ ]borsuk_6__t32_borsuk_6.vmin1out2025-09-15 19:51 68K 
[ ]borsuk_6__t32_borsuk_6.vout2025-09-15 15:09 43K 
[ ]borsuk_6__t33_borsuk_62025-09-08 20:24 38K 
[ ]borsuk_6__t33_borsuk_6.vout2025-09-15 15:08 6.8K 
[ ]borsuk_6__t34_borsuk_62025-09-08 20:26 36K 
[ ]borsuk_6__t34_borsuk_6.vout2025-09-15 14:12 7.3K 
[ ]borsuk_6__t35_borsuk_62025-09-08 20:28 48K 
[ ]borsuk_6__t35_borsuk_6.vout2025-09-15 18:39 4.7K 
[ ]borsuk_6__t36_borsuk_62025-09-08 20:29 48K 
[ ]borsuk_6__t36_borsuk_6.vout2025-09-15 13:42 7.3K 
[ ]borsuk_6__t37_borsuk_62025-09-08 20:31 50K 
[ ]borsuk_6__t37_borsuk_6.vout2025-09-15 14:01 7.3K 
[ ]borsuk_6__t38_borsuk_62025-09-08 20:33 50K 
[ ]borsuk_6__t38_borsuk_6.vout2025-09-15 17:14 7.3K 
[ ]borsuk_6__t39_borsuk_62025-09-08 20:34 37K 
[ ]borsuk_6__t39_borsuk_6.depv12025-09-15 19:46 373  
[ ]borsuk_6__t39_borsuk_6.depvmin12025-09-15 19:51 349  
[ ]borsuk_6__t39_borsuk_6.vmin12025-09-15 19:47 5.7K 
[ ]borsuk_6__t39_borsuk_6.vmin1out2025-09-15 19:51 124K 
[ ]borsuk_6__t39_borsuk_6.vout2025-09-15 18:47 72K 
[ ]borsuk_6__t40_borsuk_62025-09-08 20:36 39K 
[ ]borsuk_6__t40_borsuk_6.vout2025-09-15 16:22 4.7K 
[ ]borsuk_6__t41_borsuk_62025-09-08 20:37 38K 
[ ]borsuk_6__t41_borsuk_6.vout2025-09-15 17:07 4.7K 
[ ]borsuk_6__t42_borsuk_62025-09-08 20:39 32K 
[ ]borsuk_6__t42_borsuk_6.vout2025-09-15 17:27 4.7K 
[ ]borsuk_6__t43_borsuk_62025-09-08 20:40 50K 
[ ]borsuk_6__t43_borsuk_6.vout2025-09-15 14:49 4.7K 
[ ]borsuk_6__t44_borsuk_62025-09-08 19:52 32K 
[ ]borsuk_6__t44_borsuk_6.depv12025-09-15 19:46 63  
[ ]borsuk_6__t44_borsuk_6.depvmin12025-09-15 19:51 63  
[ ]borsuk_6__t44_borsuk_6.vmin12025-09-15 19:47 1.2K 
[ ]borsuk_6__t44_borsuk_6.vmin1out2025-09-15 19:49 13K 
[ ]borsuk_6__t44_borsuk_6.vout2025-09-15 15:24 14K 
[ ]borsuk_6__t45_borsuk_62025-09-08 20:43 80K 
[ ]borsuk_6__t45_borsuk_6.vout2025-09-15 18:59 6.8K 
[ ]borsuk_6__t46_borsuk_62025-09-08 19:53 39K 
[ ]borsuk_6__t46_borsuk_6.depv12025-09-15 19:46 103  
[ ]borsuk_6__t46_borsuk_6.depvmin12025-09-15 19:51 103  
[ ]borsuk_6__t46_borsuk_6.vmin12025-09-15 19:47 2.5K 
[ ]borsuk_6__t46_borsuk_6.vmin1out2025-09-15 19:50 30K 
[ ]borsuk_6__t46_borsuk_6.vout2025-09-15 16:42 33K 
[ ]borsuk_6__t47_borsuk_62025-09-08 20:44 36K 
[ ]borsuk_6__t47_borsuk_6.depv12025-09-15 19:46 659  
[ ]borsuk_6__t47_borsuk_6.depvmin12025-09-15 19:51 572  
[ ]borsuk_6__t47_borsuk_6.vmin12025-09-15 19:47 4.4K 
[ ]borsuk_6__t47_borsuk_6.vmin1out2025-09-15 19:48 43K 
[ ]borsuk_6__t47_borsuk_6.vout2025-09-15 14:11 56K 
[ ]borsuk_6__t48_borsuk_62025-09-08 20:46 52K 
[ ]borsuk_6__t48_borsuk_6.vout2025-09-15 18:59 8.9K 
[ ]borsuk_6__t49_borsuk_62025-09-08 20:47 150K 
[ ]borsuk_6__t49_borsuk_6.vout2025-09-15 14:19 7.8K 
[ ]borsuk_6__t50_borsuk_62025-09-08 20:49 61K 
[ ]borsuk_6__t50_borsuk_6.vout2025-09-15 13:48 4.7K 
[ ]borsuk_6__t51_borsuk_62025-09-08 20:51 61K 
[ ]borsuk_6__t51_borsuk_6.vout2025-09-15 18:54 4.7K 
[ ]borsuk_6__t52_borsuk_62025-09-08 20:53 588K 
[ ]borsuk_6__t52_borsuk_6.vout2025-09-15 15:13 4.7K 
[ ]borsuk_6__t53_borsuk_62025-09-08 22:09 43K 
[ ]borsuk_6__t53_borsuk_6.vout2025-09-15 19:35 9.0K 
[ ]borsuk_6__t54_borsuk_62025-09-08 22:11 43K 
[ ]borsuk_6__t54_borsuk_6.vout2025-09-15 16:56 9.0K 
[ ]borsuk_6__t55_borsuk_62025-09-08 22:13 43K 
[ ]borsuk_6__t55_borsuk_6.vout2025-09-15 19:39 9.0K 
[ ]borsuk_6__t56_borsuk_62025-09-08 20:54 47K 
[ ]borsuk_6__t56_borsuk_6.vout2025-09-15 18:05 8.4K 
[ ]borsuk_6__t57_borsuk_62025-09-08 22:14 161K 
[ ]borsuk_6__t57_borsuk_6.vout2025-09-15 18:58 5.9K 
[ ]borsuk_6__t58_borsuk_62025-09-08 22:16 161K 
[ ]borsuk_6__t58_borsuk_6.vout2025-09-15 17:44 5.9K 
[ ]borsuk_6__t59_borsuk_62025-09-08 20:56 53K 
[ ]borsuk_6__t59_borsuk_6.vout2025-09-15 14:58 5.3K 
[ ]borsuk_6__t60_borsuk_62025-09-08 20:57 53K 
[ ]borsuk_6__t60_borsuk_6.vout2025-09-15 19:33 4.7K 
[ ]borsuk_6__t61_borsuk_62025-09-08 20:59 43K 
[ ]borsuk_6__t61_borsuk_6.vout2025-09-15 14:25 5.8K 
[ ]borsuk_6__t62_borsuk_62025-09-08 21:00 43K 
[ ]borsuk_6__t62_borsuk_6.vout2025-09-15 19:28 4.7K 
[ ]borsuk_6__t63_borsuk_62025-09-08 21:01 53K 
[ ]borsuk_6__t63_borsuk_6.vout2025-09-15 18:13 4.7K 
[ ]borsuk_6__t64_borsuk_62025-09-08 21:03 43K 
[ ]borsuk_6__t64_borsuk_6.vout2025-09-15 17:06 6.8K 
[ ]borsuk_6__t65_borsuk_62025-09-08 21:04 44K 
[ ]borsuk_6__t65_borsuk_6.vout2025-09-15 15:32 5.8K 
[ ]borsuk_6__t66_borsuk_62025-09-08 21:06 52K 
[ ]borsuk_6__t66_borsuk_6.vout2025-09-15 18:55 6.8K 
[ ]borsuk_6__t67_borsuk_62025-09-08 21:07 52K 
[ ]borsuk_6__t67_borsuk_6.vout2025-09-15 14:37 6.8K 
[ ]borsuk_6__t68_borsuk_62025-09-08 21:08 43K 
[ ]borsuk_6__t68_borsuk_6.vout2025-09-15 15:11 5.8K 
[ ]borsuk_6__t69_borsuk_62025-09-08 21:10 53K 
[ ]borsuk_6__t69_borsuk_6.vout2025-09-15 15:41 5.8K 
[ ]borsuk_6__t70_borsuk_62025-09-08 21:11 53K 
[ ]borsuk_6__t70_borsuk_6.vout2025-09-15 17:09 5.8K 
[ ]borsuk_6__t71_borsuk_62025-09-08 21:13 54K 
[ ]borsuk_6__t71_borsuk_6.vout2025-09-15 19:32 5.8K 
[ ]borsuk_6__t72_borsuk_62025-09-08 21:14 62K 
[ ]borsuk_6__t72_borsuk_6.vout2025-09-15 15:56 5.9K 
[ ]borsuk_6__t73_borsuk_62025-09-08 21:16 40K 
[ ]borsuk_6__t73_borsuk_6.vout2025-09-15 18:25 4.7K 
[ ]borsuk_6__t74_borsuk_62025-09-08 21:18 39K 
[ ]borsuk_6__t74_borsuk_6.depv12025-09-15 19:46 103  
[ ]borsuk_6__t74_borsuk_6.depvmin12025-09-15 19:51 103  
[ ]borsuk_6__t74_borsuk_6.vmin12025-09-15 19:47 2.4K 
[ ]borsuk_6__t74_borsuk_6.vmin1out2025-09-15 19:51 38K 
[ ]borsuk_6__t74_borsuk_6.vout2025-09-15 18:19 45K 
[ ]borsuk_6__t75_borsuk_62025-09-08 21:20 133K 
[ ]borsuk_6__t75_borsuk_6.vout2025-09-15 16:19 7.3K 
[ ]borsuk_6__t76_borsuk_62025-09-08 21:22 39K 
[ ]borsuk_6__t76_borsuk_6.depv12025-09-15 19:46 103  
[ ]borsuk_6__t76_borsuk_6.depvmin12025-09-15 19:51 103  
[ ]borsuk_6__t76_borsuk_6.vmin12025-09-15 19:47 2.3K 
[ ]borsuk_6__t76_borsuk_6.vmin1out2025-09-15 19:48 39K 
[ ]borsuk_6__t76_borsuk_6.vout2025-09-15 16:56 40K 
[ ]borsuk_6__t77_borsuk_62025-09-08 21:24 63K 
[ ]borsuk_6__t77_borsuk_6.vout2025-09-15 17:39 4.7K 
[ ]borsuk_6__t78_borsuk_62025-09-08 19:55 39K 
[ ]borsuk_6__t78_borsuk_6.depv12025-09-15 19:46 103  
[ ]borsuk_6__t78_borsuk_6.depvmin12025-09-15 19:51 103  
[ ]borsuk_6__t78_borsuk_6.vmin12025-09-15 19:47 1.9K 
[ ]borsuk_6__t78_borsuk_6.vmin1out2025-09-15 19:50 26K 
[ ]borsuk_6__t78_borsuk_6.vout2025-09-15 18:31 26K 
[ ]borsuk_6__t79_borsuk_62025-09-08 21:27 264K 
[ ]borsuk_6__t79_borsuk_6.vout2025-09-15 14:19 3.7K 
[ ]borsuk_6__t80_borsuk_62025-09-08 21:28 40K 
[ ]borsuk_6__t80_borsuk_6.vout2025-09-15 14:36 4.7K 
[ ]borsuk_6__t81_borsuk_62025-09-08 19:56 39K 
[ ]borsuk_6__t81_borsuk_6.depv12025-09-15 19:46 103  
[ ]borsuk_6__t81_borsuk_6.depvmin12025-09-15 19:51 103  
[ ]borsuk_6__t81_borsuk_6.vmin12025-09-15 19:47 1.9K 
[ ]borsuk_6__t81_borsuk_6.vmin1out2025-09-15 19:47 22K 
[ ]borsuk_6__t81_borsuk_6.vout2025-09-15 14:48 25K 
[ ]borsuk_6__t82_borsuk_62025-09-08 21:30 40K 
[ ]borsuk_6__t82_borsuk_6.vout2025-09-15 16:07 4.7K 
[ ]borsuk_6__t83_borsuk_62025-09-08 19:58 39K 
[ ]borsuk_6__t83_borsuk_6.depv12025-09-15 19:46 103  
[ ]borsuk_6__t83_borsuk_6.depvmin12025-09-15 19:51 103  
[ ]borsuk_6__t83_borsuk_6.vmin12025-09-15 19:47 1.9K 
[ ]borsuk_6__t83_borsuk_6.vmin1out2025-09-15 19:50 22K 
[ ]borsuk_6__t83_borsuk_6.vout2025-09-15 17:57 25K 
[ ]borsuk_6__t84_borsuk_62025-09-08 21:33 195K 
[ ]borsuk_6__t84_borsuk_6.vout2025-09-15 15:56 3.7K 
[ ]borsuk_6__t85_borsuk_62025-09-08 19:59 40K 
[ ]borsuk_6__t85_borsuk_6.depv12025-09-15 19:46 118  
[ ]borsuk_6__t85_borsuk_6.depvmin12025-09-15 19:51 118  
[ ]borsuk_6__t85_borsuk_6.vmin12025-09-15 19:47 2.2K 
[ ]borsuk_6__t85_borsuk_6.vmin1out2025-09-15 19:48 25K 
[ ]borsuk_6__t85_borsuk_6.vout2025-09-15 18:43 26K 
[ ]borsuk_6__t86_borsuk_62025-09-08 21:36 195K 
[ ]borsuk_6__t86_borsuk_6.vout2025-09-15 18:53 3.7K 
[ ]borsuk_6__t87_borsuk_62025-09-08 20:01 40K 
[ ]borsuk_6__t87_borsuk_6.depv12025-09-15 19:46 118  
[ ]borsuk_6__t87_borsuk_6.depvmin12025-09-15 19:51 118  
[ ]borsuk_6__t87_borsuk_6.vmin12025-09-15 19:47 2.2K 
[ ]borsuk_6__t87_borsuk_6.vmin1out2025-09-15 19:50 25K 
[ ]borsuk_6__t87_borsuk_6.vout2025-09-15 15:17 26K 
[ ]borsuk_6__t88_borsuk_62025-09-08 21:37 39K 
[ ]borsuk_6__t88_borsuk_6.vout2025-09-15 15:07 4.7K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80