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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]borsuk_4__l27_borsuk_42025-09-10 02:16 28K 
[ ]borsuk_4__l27_borsuk_4.depv12025-09-15 19:47 236  
[ ]borsuk_4__l27_borsuk_4.depvmin12025-09-15 19:51 222  
[ ]borsuk_4__l27_borsuk_4.vmin12025-09-15 19:47 1.5K 
[ ]borsuk_4__l27_borsuk_4.vmin1out2025-09-15 19:48 11K 
[ ]borsuk_4__l27_borsuk_4.vout2025-09-15 14:34 12K 
[ ]borsuk_4__t4_borsuk_42025-09-10 02:17 17K 
[ ]borsuk_4__t4_borsuk_4.vout2025-09-15 16:30 6.8K 
[ ]borsuk_4__t5_borsuk_42025-09-10 02:18 19K 
[ ]borsuk_4__t5_borsuk_4.vout2025-09-15 18:42 6.8K 
[ ]borsuk_4__t6_borsuk_42025-09-10 02:20 34K 
[ ]borsuk_4__t6_borsuk_4.depv12025-09-15 19:47 201  
[ ]borsuk_4__t6_borsuk_4.depvmin12025-09-15 19:51 201  
[ ]borsuk_4__t6_borsuk_4.vmin12025-09-15 19:47 2.0K 
[ ]borsuk_4__t6_borsuk_4.vmin1out2025-09-15 19:49 19K 
[ ]borsuk_4__t6_borsuk_4.vout2025-09-15 15:06 19K 
[ ]borsuk_4__t7_borsuk_42025-09-10 02:21 19K 
[ ]borsuk_4__t7_borsuk_4.vout2025-09-15 14:24 7.8K 
[ ]borsuk_4__t8_borsuk_42025-09-10 02:22 31K 
[ ]borsuk_4__t8_borsuk_4.vout2025-09-15 17:00 7.3K 
[ ]borsuk_4__t9_borsuk_42025-09-10 02:23 31K 
[ ]borsuk_4__t9_borsuk_4.depv12025-09-15 19:47 283  
[ ]borsuk_4__t9_borsuk_4.depvmin12025-09-15 19:51 270  
[ ]borsuk_4__t9_borsuk_4.vmin12025-09-15 19:47 2.2K 
[ ]borsuk_4__t9_borsuk_4.vmin1out2025-09-15 19:50 25K 
[ ]borsuk_4__t9_borsuk_4.vout2025-09-15 15:12 35K 
[ ]borsuk_4__t10_borsuk_42025-09-10 02:25 31K 
[ ]borsuk_4__t10_borsuk_4.depv12025-09-15 19:47 284  
[ ]borsuk_4__t10_borsuk_4.depvmin12025-09-15 19:51 271  
[ ]borsuk_4__t10_borsuk_4.vmin12025-09-15 19:47 2.2K 
[ ]borsuk_4__t10_borsuk_4.vmin1out2025-09-15 19:48 25K 
[ ]borsuk_4__t10_borsuk_4.vout2025-09-15 14:40 35K 
[ ]borsuk_4__t11_borsuk_42025-09-10 02:26 17K 
[ ]borsuk_4__t11_borsuk_4.depv12025-09-15 19:47 256  
[ ]borsuk_4__t11_borsuk_4.depvmin12025-09-15 19:51 256  
[ ]borsuk_4__t11_borsuk_4.vmin12025-09-15 19:47 2.2K 
[ ]borsuk_4__t11_borsuk_4.vmin1out2025-09-15 19:48 16K 
[ ]borsuk_4__t11_borsuk_4.vout2025-09-15 13:42 23K 
[ ]borsuk_4__t12_borsuk_42025-09-10 02:27 17K 
[ ]borsuk_4__t12_borsuk_4.depv12025-09-15 19:47 256  
[ ]borsuk_4__t12_borsuk_4.depvmin12025-09-15 19:51 256  
[ ]borsuk_4__t12_borsuk_4.vmin12025-09-15 19:47 2.0K 
[ ]borsuk_4__t12_borsuk_4.vmin1out2025-09-15 19:48 15K 
[ ]borsuk_4__t12_borsuk_4.vout2025-09-15 19:20 30K 
[ ]borsuk_4__t13_borsuk_42025-09-10 02:28 36K 
[ ]borsuk_4__t13_borsuk_4.depv12025-09-15 19:47 404  
[ ]borsuk_4__t13_borsuk_4.depvmin12025-09-15 19:51 302  
[ ]borsuk_4__t13_borsuk_4.vmin12025-09-15 19:47 3.2K 
[ ]borsuk_4__t13_borsuk_4.vmin1out2025-09-15 19:49 28K 
[ ]borsuk_4__t13_borsuk_4.vout2025-09-15 16:33 42K 
[ ]borsuk_4__t14_borsuk_42025-09-10 02:30 35K 
[ ]borsuk_4__t14_borsuk_4.depv12025-09-15 19:47 367  
[ ]borsuk_4__t14_borsuk_4.depvmin12025-09-15 19:51 302  
[ ]borsuk_4__t14_borsuk_4.vmin12025-09-15 19:47 3.0K 
[ ]borsuk_4__t14_borsuk_4.vmin1out2025-09-15 19:51 28K 
[ ]borsuk_4__t14_borsuk_4.vout2025-09-15 13:40 41K 
[ ]borsuk_4__t15_borsuk_42025-09-10 02:31 35K 
[ ]borsuk_4__t15_borsuk_4.depv12025-09-15 19:47 405  
[ ]borsuk_4__t15_borsuk_4.depvmin12025-09-15 19:51 303  
[ ]borsuk_4__t15_borsuk_4.vmin12025-09-15 19:47 3.2K 
[ ]borsuk_4__t15_borsuk_4.vmin1out2025-09-15 19:51 28K 
[ ]borsuk_4__t15_borsuk_4.vout2025-09-15 13:47 41K 
[ ]borsuk_4__t16_borsuk_42025-09-10 02:33 29K 
[ ]borsuk_4__t16_borsuk_4.depv12025-09-15 19:47 234  
[ ]borsuk_4__t16_borsuk_4.depvmin12025-09-15 19:51 175  
[ ]borsuk_4__t16_borsuk_4.vmin12025-09-15 19:47 1.8K 
[ ]borsuk_4__t16_borsuk_4.vmin1out2025-09-15 19:49 20K 
[ ]borsuk_4__t16_borsuk_4.vout2025-09-15 16:52 26K 
[ ]borsuk_4__t17_borsuk_42025-09-10 02:34 32K 
[ ]borsuk_4__t17_borsuk_4.depv12025-09-15 19:47 227  
[ ]borsuk_4__t17_borsuk_4.depvmin12025-09-15 19:51 227  
[ ]borsuk_4__t17_borsuk_4.vmin12025-09-15 19:47 2.4K 
[ ]borsuk_4__t17_borsuk_4.vmin1out2025-09-15 19:50 33K 
[ ]borsuk_4__t17_borsuk_4.vout2025-09-15 19:35 28K 
[ ]borsuk_4__t18_borsuk_42025-09-10 02:10 28K 
[ ]borsuk_4__t18_borsuk_4.vout2025-09-15 18:28 8.4K 
[ ]borsuk_4__t19_borsuk_42025-09-10 02:36 29K 
[ ]borsuk_4__t19_borsuk_4.depv12025-09-15 19:47 401  
[ ]borsuk_4__t19_borsuk_4.depvmin12025-09-15 19:51 389  
[ ]borsuk_4__t19_borsuk_4.vmin12025-09-15 19:47 2.7K 
[ ]borsuk_4__t19_borsuk_4.vmin1out2025-09-15 19:51 27K 
[ ]borsuk_4__t19_borsuk_4.vout2025-09-15 17:57 27K 
[ ]borsuk_4__t20_borsuk_42025-09-10 02:36 17K 
[ ]borsuk_4__t20_borsuk_4.depv12025-09-15 19:47 160  
[ ]borsuk_4__t20_borsuk_4.depvmin12025-09-15 19:51 160  
[ ]borsuk_4__t20_borsuk_4.vmin12025-09-15 19:47 1.2K 
[ ]borsuk_4__t20_borsuk_4.vmin1out2025-09-15 19:50 13K 
[ ]borsuk_4__t20_borsuk_4.vout2025-09-15 14:10 14K 
[ ]borsuk_4__t21_borsuk_42025-09-10 02:38 38K 
[ ]borsuk_4__t21_borsuk_4.vout2025-09-15 14:01 7.3K 
[ ]borsuk_4__t22_borsuk_42025-09-10 02:40 31K 
[ ]borsuk_4__t22_borsuk_4.vout2025-09-15 17:11 4.2K 
[ ]borsuk_4__t23_borsuk_42025-09-10 02:41 31K 
[ ]borsuk_4__t23_borsuk_4.depv12025-09-15 19:47 531  
[ ]borsuk_4__t23_borsuk_4.depvmin12025-09-15 19:51 345  
[ ]borsuk_4__t23_borsuk_4.vmin12025-09-15 19:47 4.8K 
[ ]borsuk_4__t23_borsuk_4.vmin1out2025-09-15 19:50 37K 
[ ]borsuk_4__t23_borsuk_4.vout2025-09-15 17:47 68K 
[ ]borsuk_4__t24_borsuk_42025-09-10 02:42 32K 
[ ]borsuk_4__t24_borsuk_4.depv12025-09-15 19:47 592  
[ ]borsuk_4__t24_borsuk_4.depvmin12025-09-15 19:51 545  
[ ]borsuk_4__t24_borsuk_4.vmin12025-09-15 19:47 4.8K 
[ ]borsuk_4__t24_borsuk_4.vmin1out2025-09-15 19:50 56K 
[ ]borsuk_4__t24_borsuk_4.vout2025-09-15 14:23 53K 
[ ]borsuk_4__t25_borsuk_42025-09-10 02:44 30K 
[ ]borsuk_4__t25_borsuk_4.depv12025-09-15 19:47 442  
[ ]borsuk_4__t25_borsuk_4.depvmin12025-09-15 19:51 402  
[ ]borsuk_4__t25_borsuk_4.vmin12025-09-15 19:47 3.5K 
[ ]borsuk_4__t25_borsuk_4.vmin1out2025-09-15 19:48 35K 
[ ]borsuk_4__t25_borsuk_4.vout2025-09-15 18:10 44K 
[ ]borsuk_4__t26_borsuk_42025-09-10 02:45 32K 
[ ]borsuk_4__t26_borsuk_4.depv12025-09-15 19:47 151  
[ ]borsuk_4__t26_borsuk_4.depvmin12025-09-15 19:51 151  
[ ]borsuk_4__t26_borsuk_4.vmin12025-09-15 19:47 1.9K 
[ ]borsuk_4__t26_borsuk_4.vmin1out2025-09-15 19:48 28K 
[ ]borsuk_4__t26_borsuk_4.vout2025-09-15 14:22 26K 
[ ]borsuk_4__t27_borsuk_42025-09-10 02:47 32K 
[ ]borsuk_4__t27_borsuk_4.vout2025-09-15 14:21 7.4K 
[ ]borsuk_4__t28_borsuk_42025-09-10 02:47 16K 
[ ]borsuk_4__t28_borsuk_4.depv12025-09-15 19:47 164  
[ ]borsuk_4__t28_borsuk_4.depvmin12025-09-15 19:51 164  
[ ]borsuk_4__t28_borsuk_4.vmin12025-09-15 19:47 1.5K 
[ ]borsuk_4__t28_borsuk_4.vmin1out2025-09-15 19:49 16K 
[ ]borsuk_4__t28_borsuk_4.vout2025-09-15 17:36 28K 
[ ]borsuk_4__t29_borsuk_42025-09-10 02:49 30K 
[ ]borsuk_4__t29_borsuk_4.depv12025-09-15 19:47 218  
[ ]borsuk_4__t29_borsuk_4.depvmin12025-09-15 19:51 218  
[ ]borsuk_4__t29_borsuk_4.vmin12025-09-15 19:47 1.9K 
[ ]borsuk_4__t29_borsuk_4.vmin1out2025-09-15 19:48 28K 
[ ]borsuk_4__t29_borsuk_4.vout2025-09-15 13:58 25K 
[ ]borsuk_4__t30_borsuk_42025-09-10 02:50 31K 
[ ]borsuk_4__t30_borsuk_4.depv12025-09-15 19:47 487  
[ ]borsuk_4__t30_borsuk_4.depvmin12025-09-15 19:51 487  
[ ]borsuk_4__t30_borsuk_4.vmin12025-09-15 19:47 4.6K 
[ ]borsuk_4__t30_borsuk_4.vmin1out2025-09-15 19:49 44K 
[ ]borsuk_4__t30_borsuk_4.vout2025-09-15 19:29 52K 
[ ]borsuk_4__t31_borsuk_42025-09-10 02:52 30K 
[ ]borsuk_4__t31_borsuk_4.vout2025-09-15 16:26 6.2K 
[ ]borsuk_4__t32_borsuk_42025-09-10 02:12 27K 
[ ]borsuk_4__t32_borsuk_4.depv12025-09-15 19:47 145  
[ ]borsuk_4__t32_borsuk_4.depvmin12025-09-15 19:51 145  
[ ]borsuk_4__t32_borsuk_4.vmin12025-09-15 19:47 1.2K 
[ ]borsuk_4__t32_borsuk_4.vmin1out2025-09-15 19:51 13K 
[ ]borsuk_4__t32_borsuk_4.vout2025-09-15 16:08 16K 
[ ]borsuk_4__t33_borsuk_42025-09-10 02:53 35K 
[ ]borsuk_4__t33_borsuk_4.vout2025-09-15 17:23 8.9K 
[ ]borsuk_4__t34_borsuk_42025-09-10 02:13 26K 
[ ]borsuk_4__t34_borsuk_4.depv12025-09-15 19:47 50  
[ ]borsuk_4__t34_borsuk_4.depvmin12025-09-15 19:51 50  
[ ]borsuk_4__t34_borsuk_4.vmin12025-09-15 19:47 222  
[ ]borsuk_4__t34_borsuk_4.vmin1out2025-09-15 19:47 2.0K 
[ ]borsuk_4__t34_borsuk_4.vout2025-09-15 18:26 1.9K 
[ ]borsuk_4__t35_borsuk_42025-09-10 02:55 30K 
[ ]borsuk_4__t35_borsuk_4.depv12025-09-15 19:47 267  
[ ]borsuk_4__t35_borsuk_4.depvmin12025-09-15 19:51 254  
[ ]borsuk_4__t35_borsuk_4.vmin12025-09-15 19:47 1.7K 
[ ]borsuk_4__t35_borsuk_4.vmin1out2025-09-15 19:48 21K 
[ ]borsuk_4__t35_borsuk_4.vout2025-09-15 18:06 22K 
[ ]borsuk_4__t36_borsuk_42025-09-10 02:56 31K 
[ ]borsuk_4__t36_borsuk_4.vout2025-09-15 18:12 5.9K 
[ ]borsuk_4__t37_borsuk_42025-09-10 02:58 31K 
[ ]borsuk_4__t37_borsuk_4.vout2025-09-15 18:35 5.9K 
[ ]borsuk_4__t38_borsuk_42025-09-10 02:59 36K 
[ ]borsuk_4__t38_borsuk_4.depv12025-09-15 19:47 305  
[ ]borsuk_4__t38_borsuk_4.depvmin12025-09-15 19:51 270  
[ ]borsuk_4__t38_borsuk_4.vmin12025-09-15 19:47 3.2K 
[ ]borsuk_4__t38_borsuk_4.vmin1out2025-09-15 19:49 32K 
[ ]borsuk_4__t38_borsuk_4.vout2025-09-15 15:21 36K 
[ ]borsuk_4__t39_borsuk_42025-09-10 03:02 53K 
[ ]borsuk_4__t39_borsuk_4.vout2025-09-15 14:18 7.4K 
[ ]borsuk_4__t40_borsuk_42025-09-10 03:04 36K 
[ ]borsuk_4__t40_borsuk_4.depv12025-09-15 19:47 173  
[ ]borsuk_4__t40_borsuk_4.depvmin12025-09-15 19:51 173  
[ ]borsuk_4__t40_borsuk_4.vmin12025-09-15 19:47 2.5K 
[ ]borsuk_4__t40_borsuk_4.vmin1out2025-09-15 19:48 37K 
[ ]borsuk_4__t40_borsuk_4.vout2025-09-15 14:02 34K 
[ ]borsuk_4__t41_borsuk_42025-09-10 02:15 36K 
[ ]borsuk_4__t41_borsuk_4.depv12025-09-15 19:47 117  
[ ]borsuk_4__t41_borsuk_4.depvmin12025-09-15 19:51 117  
[ ]borsuk_4__t41_borsuk_4.vmin12025-09-15 19:47 2.1K 
[ ]borsuk_4__t41_borsuk_4.vmin1out2025-09-15 19:47 25K 
[ ]borsuk_4__t41_borsuk_4.vout2025-09-15 18:25 22K 
[ ]borsuk_4__t42_borsuk_42025-09-10 03:05 39K 
[ ]borsuk_4__t42_borsuk_4.vout2025-09-15 13:56 4.7K 
[ ]borsuk_4__t43_borsuk_42025-09-10 03:08 48K 
[ ]borsuk_4__t43_borsuk_4.vout2025-09-15 19:28 4.7K 
[ ]borsuk_4__t44_borsuk_42025-09-10 03:09 32K 
[ ]borsuk_4__t44_borsuk_4.depv12025-09-15 19:47 205  
[ ]borsuk_4__t44_borsuk_4.depvmin12025-09-15 19:51 205  
[ ]borsuk_4__t44_borsuk_4.vmin12025-09-15 19:47 3.7K 
[ ]borsuk_4__t44_borsuk_4.vmin1out2025-09-15 19:47 56K 
[ ]borsuk_4__t44_borsuk_4.vout2025-09-15 16:50 44K 
[ ]borsuk_4__t45_borsuk_42025-09-10 03:11 35K 
[ ]borsuk_4__t45_borsuk_4.vout2025-09-15 16:18 7.9K 
[ ]borsuk_4__t46_borsuk_42025-09-10 03:12 28K 
[ ]borsuk_4__t46_borsuk_4.depv12025-09-15 19:47 131  
[ ]borsuk_4__t46_borsuk_4.depvmin12025-09-15 19:51 131  
[ ]borsuk_4__t46_borsuk_4.vmin12025-09-15 19:47 1.5K 
[ ]borsuk_4__t46_borsuk_4.vmin1out2025-09-15 19:50 16K 
[ ]borsuk_4__t46_borsuk_4.vout2025-09-15 19:18 14K 
[ ]borsuk_4__t47_borsuk_42025-09-10 03:13 34K 
[ ]borsuk_4__t47_borsuk_4.vout2025-09-15 15:48 4.7K 
[ ]borsuk_4__t48_borsuk_42025-09-10 03:15 34K 
[ ]borsuk_4__t48_borsuk_4.vout2025-09-15 16:35 4.7K 
[ ]borsuk_4__t49_borsuk_42025-09-10 03:17 54K 
[ ]borsuk_4__t49_borsuk_4.vout2025-09-15 14:10 7.3K 
[ ]borsuk_4__t50_borsuk_42025-09-10 03:20 55K 
[ ]borsuk_4__t50_borsuk_4.vout2025-09-15 14:21 6.8K 
[ ]borsuk_4__t51_borsuk_42025-09-10 03:23 76K 
[ ]borsuk_4__t51_borsuk_4.vout2025-09-15 15:23 6.8K 
[ ]borsuk_4__t52_borsuk_42025-09-10 03:25 50K 
[ ]borsuk_4__t52_borsuk_4.vout2025-09-15 17:20 4.7K 
[ ]borsuk_4__t53_borsuk_42025-09-10 03:27 41K 
[ ]borsuk_4__t53_borsuk_4.vout2025-09-15 16:52 4.7K 
[ ]borsuk_4__t54_borsuk_42025-09-10 03:29 41K 
[ ]borsuk_4__t54_borsuk_4.vout2025-09-15 15:02 8.4K 
[ ]borsuk_4__t55_borsuk_42025-09-10 03:31 52K 
[ ]borsuk_4__t55_borsuk_4.vout2025-09-15 19:20 6.8K 
[ ]borsuk_4__t56_borsuk_42025-09-10 03:34 54K 
[ ]borsuk_4__t56_borsuk_4.vout2025-09-15 14:58 7.3K 
[ ]borsuk_4__t57_borsuk_42025-09-10 03:35 34K 
[ ]borsuk_4__t57_borsuk_4.vout2025-09-15 16:05 7.9K 
[ ]borsuk_4__t58_borsuk_42025-09-10 03:36 32K 
[ ]borsuk_4__t58_borsuk_4.depv12025-09-15 19:47 362  
[ ]borsuk_4__t58_borsuk_4.depvmin12025-09-15 19:51 317  
[ ]borsuk_4__t58_borsuk_4.vmin12025-09-15 19:47 3.1K 
[ ]borsuk_4__t58_borsuk_4.vmin1out2025-09-15 19:48 42K 
[ ]borsuk_4__t58_borsuk_4.vout2025-09-15 19:35 55K 
[ ]borsuk_4__t59_borsuk_42025-09-10 03:39 64K 
[ ]borsuk_4__t59_borsuk_4.vout2025-09-15 15:29 6.8K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80