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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]borsuk_4__l27_borsuk_42024-07-27 20:53 28K 
[ ]borsuk_4__l27_borsuk_4.depv12024-08-03 10:19 236  
[ ]borsuk_4__l27_borsuk_4.depvmin12024-08-03 10:24 222  
[ ]borsuk_4__l27_borsuk_4.vmin12024-08-03 10:19 1.5K 
[ ]borsuk_4__l27_borsuk_4.vmin1out2024-08-03 10:23 11K 
[ ]borsuk_4__l27_borsuk_4.vout2024-08-03 08:30 12K 
[ ]borsuk_4__t4_borsuk_42024-07-27 20:53 17K 
[ ]borsuk_4__t4_borsuk_4.vout2024-08-03 06:48 6.8K 
[ ]borsuk_4__t5_borsuk_42024-07-27 20:54 19K 
[ ]borsuk_4__t5_borsuk_4.vout2024-08-03 06:19 6.8K 
[ ]borsuk_4__t6_borsuk_42024-07-27 20:56 34K 
[ ]borsuk_4__t6_borsuk_4.depv12024-08-03 10:19 201  
[ ]borsuk_4__t6_borsuk_4.depvmin12024-08-03 10:24 201  
[ ]borsuk_4__t6_borsuk_4.vmin12024-08-03 10:19 2.0K 
[ ]borsuk_4__t6_borsuk_4.vmin1out2024-08-03 10:20 19K 
[ ]borsuk_4__t6_borsuk_4.vout2024-08-03 07:55 19K 
[ ]borsuk_4__t7_borsuk_42024-07-27 20:57 19K 
[ ]borsuk_4__t7_borsuk_4.vout2024-08-03 09:33 7.8K 
[ ]borsuk_4__t8_borsuk_42024-07-27 20:58 31K 
[ ]borsuk_4__t8_borsuk_4.vout2024-08-03 07:51 7.3K 
[ ]borsuk_4__t9_borsuk_42024-07-27 21:00 31K 
[ ]borsuk_4__t9_borsuk_4.depv12024-08-03 10:19 283  
[ ]borsuk_4__t9_borsuk_4.depvmin12024-08-03 10:24 270  
[ ]borsuk_4__t9_borsuk_4.vmin12024-08-03 10:19 2.2K 
[ ]borsuk_4__t9_borsuk_4.vmin1out2024-08-03 10:23 25K 
[ ]borsuk_4__t9_borsuk_4.vout2024-08-03 09:37 35K 
[ ]borsuk_4__t10_borsuk_42024-07-27 21:01 31K 
[ ]borsuk_4__t10_borsuk_4.depv12024-08-03 10:19 284  
[ ]borsuk_4__t10_borsuk_4.depvmin12024-08-03 10:24 271  
[ ]borsuk_4__t10_borsuk_4.vmin12024-08-03 10:19 2.2K 
[ ]borsuk_4__t10_borsuk_4.vmin1out2024-08-03 10:20 25K 
[ ]borsuk_4__t10_borsuk_4.vout2024-08-03 08:28 35K 
[ ]borsuk_4__t11_borsuk_42024-07-27 21:02 17K 
[ ]borsuk_4__t11_borsuk_4.depv12024-08-03 10:19 256  
[ ]borsuk_4__t11_borsuk_4.depvmin12024-08-03 10:24 256  
[ ]borsuk_4__t11_borsuk_4.vmin12024-08-03 10:19 2.2K 
[ ]borsuk_4__t11_borsuk_4.vmin1out2024-08-03 10:23 16K 
[ ]borsuk_4__t11_borsuk_4.vout2024-08-03 06:45 23K 
[ ]borsuk_4__t12_borsuk_42024-07-27 21:03 17K 
[ ]borsuk_4__t12_borsuk_4.depv12024-08-03 10:19 256  
[ ]borsuk_4__t12_borsuk_4.depvmin12024-08-03 10:24 256  
[ ]borsuk_4__t12_borsuk_4.vmin12024-08-03 10:19 2.0K 
[ ]borsuk_4__t12_borsuk_4.vmin1out2024-08-03 10:22 15K 
[ ]borsuk_4__t12_borsuk_4.vout2024-08-03 07:18 30K 
[ ]borsuk_4__t13_borsuk_42024-07-27 21:04 36K 
[ ]borsuk_4__t13_borsuk_4.depv12024-08-03 10:19 404  
[ ]borsuk_4__t13_borsuk_4.depvmin12024-08-03 10:24 302  
[ ]borsuk_4__t13_borsuk_4.vmin12024-08-03 10:19 3.2K 
[ ]borsuk_4__t13_borsuk_4.vmin1out2024-08-03 10:23 28K 
[ ]borsuk_4__t13_borsuk_4.vout2024-08-03 09:31 42K 
[ ]borsuk_4__t14_borsuk_42024-07-27 21:06 35K 
[ ]borsuk_4__t14_borsuk_4.depv12024-08-03 10:19 367  
[ ]borsuk_4__t14_borsuk_4.depvmin12024-08-03 10:24 302  
[ ]borsuk_4__t14_borsuk_4.vmin12024-08-03 10:19 3.0K 
[ ]borsuk_4__t14_borsuk_4.vmin1out2024-08-03 10:23 28K 
[ ]borsuk_4__t14_borsuk_4.vout2024-08-03 04:18 41K 
[ ]borsuk_4__t15_borsuk_42024-07-27 21:07 35K 
[ ]borsuk_4__t15_borsuk_4.depv12024-08-03 10:19 405  
[ ]borsuk_4__t15_borsuk_4.depvmin12024-08-03 10:24 303  
[ ]borsuk_4__t15_borsuk_4.vmin12024-08-03 10:19 3.2K 
[ ]borsuk_4__t15_borsuk_4.vmin1out2024-08-03 10:20 28K 
[ ]borsuk_4__t15_borsuk_4.vout2024-08-03 08:25 41K 
[ ]borsuk_4__t16_borsuk_42024-07-27 21:09 29K 
[ ]borsuk_4__t16_borsuk_4.depv12024-08-03 10:19 234  
[ ]borsuk_4__t16_borsuk_4.depvmin12024-08-03 10:24 175  
[ ]borsuk_4__t16_borsuk_4.vmin12024-08-03 10:19 1.8K 
[ ]borsuk_4__t16_borsuk_4.vmin1out2024-08-03 10:22 20K 
[ ]borsuk_4__t16_borsuk_4.vout2024-08-03 09:00 26K 
[ ]borsuk_4__t17_borsuk_42024-07-27 21:10 32K 
[ ]borsuk_4__t17_borsuk_4.depv12024-08-03 10:19 227  
[ ]borsuk_4__t17_borsuk_4.depvmin12024-08-03 10:24 227  
[ ]borsuk_4__t17_borsuk_4.vmin12024-08-03 10:19 2.4K 
[ ]borsuk_4__t17_borsuk_4.vmin1out2024-08-03 10:23 33K 
[ ]borsuk_4__t17_borsuk_4.vout2024-08-03 09:42 28K 
[ ]borsuk_4__t18_borsuk_42024-07-27 20:47 28K 
[ ]borsuk_4__t18_borsuk_4.vout2024-08-03 04:25 8.4K 
[ ]borsuk_4__t19_borsuk_42024-07-27 21:12 29K 
[ ]borsuk_4__t19_borsuk_4.depv12024-08-03 10:19 401  
[ ]borsuk_4__t19_borsuk_4.depvmin12024-08-03 10:24 389  
[ ]borsuk_4__t19_borsuk_4.vmin12024-08-03 10:19 2.7K 
[ ]borsuk_4__t19_borsuk_4.vmin1out2024-08-03 10:21 27K 
[ ]borsuk_4__t19_borsuk_4.vout2024-08-03 07:16 27K 
[ ]borsuk_4__t20_borsuk_42024-07-27 21:12 17K 
[ ]borsuk_4__t20_borsuk_4.depv12024-08-03 10:19 160  
[ ]borsuk_4__t20_borsuk_4.depvmin12024-08-03 10:24 160  
[ ]borsuk_4__t20_borsuk_4.vmin12024-08-03 10:19 1.2K 
[ ]borsuk_4__t20_borsuk_4.vmin1out2024-08-03 10:21 13K 
[ ]borsuk_4__t20_borsuk_4.vout2024-08-03 09:02 14K 
[ ]borsuk_4__t21_borsuk_42024-07-27 21:14 38K 
[ ]borsuk_4__t21_borsuk_4.vout2024-08-03 05:32 7.3K 
[ ]borsuk_4__t22_borsuk_42024-07-27 21:16 31K 
[ ]borsuk_4__t22_borsuk_4.vout2024-08-03 04:48 4.2K 
[ ]borsuk_4__t23_borsuk_42024-07-27 21:17 31K 
[ ]borsuk_4__t23_borsuk_4.depv12024-08-03 10:19 531  
[ ]borsuk_4__t23_borsuk_4.depvmin12024-08-03 10:24 345  
[ ]borsuk_4__t23_borsuk_4.vmin12024-08-03 10:19 4.8K 
[ ]borsuk_4__t23_borsuk_4.vmin1out2024-08-03 10:22 37K 
[ ]borsuk_4__t23_borsuk_4.vout2024-08-03 08:21 68K 
[ ]borsuk_4__t24_borsuk_42024-07-27 21:18 32K 
[ ]borsuk_4__t24_borsuk_4.depv12024-08-03 10:19 592  
[ ]borsuk_4__t24_borsuk_4.depvmin12024-08-03 10:24 545  
[ ]borsuk_4__t24_borsuk_4.vmin12024-08-03 10:19 4.8K 
[ ]borsuk_4__t24_borsuk_4.vmin1out2024-08-03 10:23 56K 
[ ]borsuk_4__t24_borsuk_4.vout2024-08-03 04:12 53K 
[ ]borsuk_4__t25_borsuk_42024-07-27 21:20 30K 
[ ]borsuk_4__t25_borsuk_4.depv12024-08-03 10:19 442  
[ ]borsuk_4__t25_borsuk_4.depvmin12024-08-03 10:24 402  
[ ]borsuk_4__t25_borsuk_4.vmin12024-08-03 10:19 3.5K 
[ ]borsuk_4__t25_borsuk_4.vmin1out2024-08-03 10:20 35K 
[ ]borsuk_4__t25_borsuk_4.vout2024-08-03 05:29 44K 
[ ]borsuk_4__t26_borsuk_42024-07-27 21:21 32K 
[ ]borsuk_4__t26_borsuk_4.depv12024-08-03 10:19 151  
[ ]borsuk_4__t26_borsuk_4.depvmin12024-08-03 10:24 151  
[ ]borsuk_4__t26_borsuk_4.vmin12024-08-03 10:19 1.9K 
[ ]borsuk_4__t26_borsuk_4.vmin1out2024-08-03 10:21 28K 
[ ]borsuk_4__t26_borsuk_4.vout2024-08-03 05:40 26K 
[ ]borsuk_4__t27_borsuk_42024-07-27 21:23 32K 
[ ]borsuk_4__t27_borsuk_4.vout2024-08-03 05:21 7.4K 
[ ]borsuk_4__t28_borsuk_42024-07-27 21:23 16K 
[ ]borsuk_4__t28_borsuk_4.depv12024-08-03 10:19 164  
[ ]borsuk_4__t28_borsuk_4.depvmin12024-08-03 10:24 164  
[ ]borsuk_4__t28_borsuk_4.vmin12024-08-03 10:19 1.5K 
[ ]borsuk_4__t28_borsuk_4.vmin1out2024-08-03 10:22 16K 
[ ]borsuk_4__t28_borsuk_4.vout2024-08-03 09:45 28K 
[ ]borsuk_4__t29_borsuk_42024-07-27 21:25 30K 
[ ]borsuk_4__t29_borsuk_4.depv12024-08-03 10:19 218  
[ ]borsuk_4__t29_borsuk_4.depvmin12024-08-03 10:24 218  
[ ]borsuk_4__t29_borsuk_4.vmin12024-08-03 10:19 1.9K 
[ ]borsuk_4__t29_borsuk_4.vmin1out2024-08-03 10:22 28K 
[ ]borsuk_4__t29_borsuk_4.vout2024-08-03 06:55 25K 
[ ]borsuk_4__t30_borsuk_42024-07-27 21:26 31K 
[ ]borsuk_4__t30_borsuk_4.depv12024-08-03 10:19 487  
[ ]borsuk_4__t30_borsuk_4.depvmin12024-08-03 10:24 487  
[ ]borsuk_4__t30_borsuk_4.vmin12024-08-03 10:19 4.6K 
[ ]borsuk_4__t30_borsuk_4.vmin1out2024-08-03 10:20 44K 
[ ]borsuk_4__t30_borsuk_4.vout2024-08-03 09:02 52K 
[ ]borsuk_4__t31_borsuk_42024-07-27 21:27 30K 
[ ]borsuk_4__t31_borsuk_4.vout2024-08-03 06:44 6.2K 
[ ]borsuk_4__t32_borsuk_42024-07-27 20:48 27K 
[ ]borsuk_4__t32_borsuk_4.depv12024-08-03 10:19 145  
[ ]borsuk_4__t32_borsuk_4.depvmin12024-08-03 10:24 145  
[ ]borsuk_4__t32_borsuk_4.vmin12024-08-03 10:19 1.2K 
[ ]borsuk_4__t32_borsuk_4.vmin1out2024-08-03 10:23 13K 
[ ]borsuk_4__t32_borsuk_4.vout2024-08-03 06:08 16K 
[ ]borsuk_4__t33_borsuk_42024-07-27 21:29 35K 
[ ]borsuk_4__t33_borsuk_4.vout2024-08-03 05:23 8.9K 
[ ]borsuk_4__t34_borsuk_42024-07-27 20:49 26K 
[ ]borsuk_4__t34_borsuk_4.depv12024-08-03 10:19 50  
[ ]borsuk_4__t34_borsuk_4.depvmin12024-08-03 10:24 50  
[ ]borsuk_4__t34_borsuk_4.vmin12024-08-03 10:19 222  
[ ]borsuk_4__t34_borsuk_4.vmin1out2024-08-03 10:22 2.0K 
[ ]borsuk_4__t34_borsuk_4.vout2024-08-03 09:17 1.9K 
[ ]borsuk_4__t35_borsuk_42024-07-27 21:30 30K 
[ ]borsuk_4__t35_borsuk_4.depv12024-08-03 10:19 267  
[ ]borsuk_4__t35_borsuk_4.depvmin12024-08-03 10:24 254  
[ ]borsuk_4__t35_borsuk_4.vmin12024-08-03 10:19 1.7K 
[ ]borsuk_4__t35_borsuk_4.vmin1out2024-08-03 10:21 21K 
[ ]borsuk_4__t35_borsuk_4.vout2024-08-03 06:12 22K 
[ ]borsuk_4__t36_borsuk_42024-07-27 21:32 31K 
[ ]borsuk_4__t36_borsuk_4.vout2024-08-03 09:34 5.9K 
[ ]borsuk_4__t37_borsuk_42024-07-27 21:33 31K 
[ ]borsuk_4__t37_borsuk_4.vout2024-08-03 05:21 5.9K 
[ ]borsuk_4__t38_borsuk_42024-07-27 21:35 36K 
[ ]borsuk_4__t38_borsuk_4.depv12024-08-03 10:19 305  
[ ]borsuk_4__t38_borsuk_4.depvmin12024-08-03 10:24 270  
[ ]borsuk_4__t38_borsuk_4.vmin12024-08-03 10:19 3.2K 
[ ]borsuk_4__t38_borsuk_4.vmin1out2024-08-03 10:20 32K 
[ ]borsuk_4__t38_borsuk_4.vout2024-08-03 07:01 36K 
[ ]borsuk_4__t39_borsuk_42024-07-27 21:37 53K 
[ ]borsuk_4__t39_borsuk_4.vout2024-08-03 07:17 7.3K 
[ ]borsuk_4__t40_borsuk_42024-07-27 21:39 36K 
[ ]borsuk_4__t40_borsuk_4.depv12024-08-03 10:19 173  
[ ]borsuk_4__t40_borsuk_4.depvmin12024-08-03 10:24 173  
[ ]borsuk_4__t40_borsuk_4.vmin12024-08-03 10:19 2.5K 
[ ]borsuk_4__t40_borsuk_4.vmin1out2024-08-03 10:20 37K 
[ ]borsuk_4__t40_borsuk_4.vout2024-08-03 06:37 34K 
[ ]borsuk_4__t41_borsuk_42024-07-27 20:51 36K 
[ ]borsuk_4__t41_borsuk_4.depv12024-08-03 10:19 117  
[ ]borsuk_4__t41_borsuk_4.depvmin12024-08-03 10:24 117  
[ ]borsuk_4__t41_borsuk_4.vmin12024-08-03 10:19 2.1K 
[ ]borsuk_4__t41_borsuk_4.vmin1out2024-08-03 10:20 25K 
[ ]borsuk_4__t41_borsuk_4.vout2024-08-03 05:32 22K 
[ ]borsuk_4__t42_borsuk_42024-07-27 21:41 39K 
[ ]borsuk_4__t42_borsuk_4.vout2024-08-03 06:03 4.7K 
[ ]borsuk_4__t43_borsuk_42024-07-27 21:43 48K 
[ ]borsuk_4__t43_borsuk_4.vout2024-08-03 05:34 4.7K 
[ ]borsuk_4__t44_borsuk_42024-07-27 21:44 32K 
[ ]borsuk_4__t44_borsuk_4.depv12024-08-03 10:19 205  
[ ]borsuk_4__t44_borsuk_4.depvmin12024-08-03 10:24 205  
[ ]borsuk_4__t44_borsuk_4.vmin12024-08-03 10:19 3.7K 
[ ]borsuk_4__t44_borsuk_4.vmin1out2024-08-03 10:22 56K 
[ ]borsuk_4__t44_borsuk_4.vout2024-08-03 05:16 44K 
[ ]borsuk_4__t45_borsuk_42024-07-27 21:46 35K 
[ ]borsuk_4__t45_borsuk_4.vout2024-08-03 05:39 7.9K 
[ ]borsuk_4__t46_borsuk_42024-07-27 21:47 28K 
[ ]borsuk_4__t46_borsuk_4.depv12024-08-03 10:19 131  
[ ]borsuk_4__t46_borsuk_4.depvmin12024-08-03 10:24 131  
[ ]borsuk_4__t46_borsuk_4.vmin12024-08-03 10:19 1.5K 
[ ]borsuk_4__t46_borsuk_4.vmin1out2024-08-03 10:22 16K 
[ ]borsuk_4__t46_borsuk_4.vout2024-08-03 09:16 14K 
[ ]borsuk_4__t47_borsuk_42024-07-27 21:49 34K 
[ ]borsuk_4__t47_borsuk_4.vout2024-08-03 04:31 4.7K 
[ ]borsuk_4__t48_borsuk_42024-07-27 21:50 34K 
[ ]borsuk_4__t48_borsuk_4.vout2024-08-03 04:50 4.7K 
[ ]borsuk_4__t49_borsuk_42024-07-27 21:52 54K 
[ ]borsuk_4__t49_borsuk_4.vout2024-08-03 10:18 7.3K 
[ ]borsuk_4__t50_borsuk_42024-07-27 21:55 55K 
[ ]borsuk_4__t50_borsuk_4.vout2024-08-03 06:55 6.8K 
[ ]borsuk_4__t51_borsuk_42024-07-27 21:58 76K 
[ ]borsuk_4__t51_borsuk_4.vout2024-08-03 06:07 7.3K 
[ ]borsuk_4__t52_borsuk_42024-07-27 22:00 50K 
[ ]borsuk_4__t52_borsuk_4.vout2024-08-03 06:13 4.7K 
[ ]borsuk_4__t53_borsuk_42024-07-27 22:02 41K 
[ ]borsuk_4__t53_borsuk_4.vout2024-08-03 05:05 4.7K 
[ ]borsuk_4__t54_borsuk_42024-07-27 22:04 41K 
[ ]borsuk_4__t54_borsuk_4.vout2024-08-03 04:36 8.4K 
[ ]borsuk_4__t55_borsuk_42024-07-27 22:06 52K 
[ ]borsuk_4__t55_borsuk_4.vout2024-08-03 06:09 7.3K 
[ ]borsuk_4__t56_borsuk_42024-07-27 22:09 54K 
[ ]borsuk_4__t56_borsuk_4.vout2024-08-03 08:45 7.3K 
[ ]borsuk_4__t57_borsuk_42024-07-27 22:10 34K 
[ ]borsuk_4__t57_borsuk_4.vout2024-08-03 08:39 7.9K 
[ ]borsuk_4__t58_borsuk_42024-07-27 22:12 32K 
[ ]borsuk_4__t58_borsuk_4.depv12024-08-03 10:19 362  
[ ]borsuk_4__t58_borsuk_4.depvmin12024-08-03 10:24 317  
[ ]borsuk_4__t58_borsuk_4.vmin12024-08-03 10:19 3.1K 
[ ]borsuk_4__t58_borsuk_4.vmin1out2024-08-03 10:21 42K 
[ ]borsuk_4__t58_borsuk_4.vout2024-08-03 06:54 55K 
[ ]borsuk_4__t59_borsuk_42024-07-27 22:15 64K 
[ ]borsuk_4__t59_borsuk_4.vout2024-08-03 05:01 6.8K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80