Index of /~mptp/mml5.63.1382/MPTP2/problems_small/borsuk_4

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]borsuk_4__l27_borsuk_42021-07-18 04:04 29K 
[ ]borsuk_4__l27_borsuk_4.depv12021-07-25 20:57 236  
[ ]borsuk_4__l27_borsuk_4.depvmin12021-07-25 21:03 222  
[ ]borsuk_4__l27_borsuk_4.vmin12021-07-25 20:57 1.5K 
[ ]borsuk_4__l27_borsuk_4.vmin1out2021-07-25 20:58 11K 
[ ]borsuk_4__l27_borsuk_4.vout2021-07-25 19:51 12K 
[ ]borsuk_4__t4_borsuk_42021-07-18 04:04 17K 
[ ]borsuk_4__t4_borsuk_4.vout2021-07-25 15:40 6.8K 
[ ]borsuk_4__t5_borsuk_42021-07-18 04:05 19K 
[ ]borsuk_4__t5_borsuk_4.vout2021-07-25 14:57 6.8K 
[ ]borsuk_4__t6_borsuk_42021-07-18 04:05 34K 
[ ]borsuk_4__t6_borsuk_4.depv12021-07-25 20:57 201  
[ ]borsuk_4__t6_borsuk_4.depvmin12021-07-25 21:03 201  
[ ]borsuk_4__t6_borsuk_4.vmin12021-07-25 20:57 2.0K 
[ ]borsuk_4__t6_borsuk_4.vmin1out2021-07-25 21:01 19K 
[ ]borsuk_4__t6_borsuk_4.vout2021-07-25 16:46 19K 
[ ]borsuk_4__t7_borsuk_42021-07-18 04:06 19K 
[ ]borsuk_4__t7_borsuk_4.vout2021-07-25 20:52 7.8K 
[ ]borsuk_4__t8_borsuk_42021-07-18 04:06 31K 
[ ]borsuk_4__t8_borsuk_4.vout2021-07-25 18:11 7.3K 
[ ]borsuk_4__t9_borsuk_42021-07-18 04:07 32K 
[ ]borsuk_4__t9_borsuk_4.depv12021-07-25 20:57 283  
[ ]borsuk_4__t9_borsuk_4.depvmin12021-07-25 21:03 270  
[ ]borsuk_4__t9_borsuk_4.vmin12021-07-25 20:57 2.2K 
[ ]borsuk_4__t9_borsuk_4.vmin1out2021-07-25 20:58 25K 
[ ]borsuk_4__t9_borsuk_4.vout2021-07-25 15:20 35K 
[ ]borsuk_4__t10_borsuk_42021-07-18 04:07 32K 
[ ]borsuk_4__t10_borsuk_4.depv12021-07-25 20:57 284  
[ ]borsuk_4__t10_borsuk_4.depvmin12021-07-25 21:03 271  
[ ]borsuk_4__t10_borsuk_4.vmin12021-07-25 20:57 2.2K 
[ ]borsuk_4__t10_borsuk_4.vmin1out2021-07-25 21:00 25K 
[ ]borsuk_4__t10_borsuk_4.vout2021-07-25 16:37 35K 
[ ]borsuk_4__t11_borsuk_42021-07-18 04:08 17K 
[ ]borsuk_4__t11_borsuk_4.depv12021-07-25 20:57 256  
[ ]borsuk_4__t11_borsuk_4.depvmin12021-07-25 21:03 256  
[ ]borsuk_4__t11_borsuk_4.vmin12021-07-25 20:57 2.2K 
[ ]borsuk_4__t11_borsuk_4.vmin1out2021-07-25 20:59 16K 
[ ]borsuk_4__t11_borsuk_4.vout2021-07-25 20:38 24K 
[ ]borsuk_4__t12_borsuk_42021-07-18 04:08 17K 
[ ]borsuk_4__t12_borsuk_4.depv12021-07-25 20:57 256  
[ ]borsuk_4__t12_borsuk_4.depvmin12021-07-25 21:03 256  
[ ]borsuk_4__t12_borsuk_4.vmin12021-07-25 20:57 2.2K 
[ ]borsuk_4__t12_borsuk_4.vmin1out2021-07-25 21:01 16K 
[ ]borsuk_4__t12_borsuk_4.vout2021-07-25 14:39 28K 
[ ]borsuk_4__t13_borsuk_42021-07-18 04:09 36K 
[ ]borsuk_4__t13_borsuk_4.depv12021-07-25 20:57 404  
[ ]borsuk_4__t13_borsuk_4.depvmin12021-07-25 21:03 302  
[ ]borsuk_4__t13_borsuk_4.vmin12021-07-25 20:57 3.2K 
[ ]borsuk_4__t13_borsuk_4.vmin1out2021-07-25 21:00 28K 
[ ]borsuk_4__t13_borsuk_4.vout2021-07-25 17:35 42K 
[ ]borsuk_4__t14_borsuk_42021-07-18 04:09 35K 
[ ]borsuk_4__t14_borsuk_4.depv12021-07-25 20:57 367  
[ ]borsuk_4__t14_borsuk_4.depvmin12021-07-25 21:03 302  
[ ]borsuk_4__t14_borsuk_4.vmin12021-07-25 20:57 3.0K 
[ ]borsuk_4__t14_borsuk_4.vmin1out2021-07-25 20:58 28K 
[ ]borsuk_4__t14_borsuk_4.vout2021-07-25 19:02 41K 
[ ]borsuk_4__t15_borsuk_42021-07-18 04:10 35K 
[ ]borsuk_4__t15_borsuk_4.depv12021-07-25 20:57 405  
[ ]borsuk_4__t15_borsuk_4.depvmin12021-07-25 21:03 303  
[ ]borsuk_4__t15_borsuk_4.vmin12021-07-25 20:57 3.2K 
[ ]borsuk_4__t15_borsuk_4.vmin1out2021-07-25 21:00 28K 
[ ]borsuk_4__t15_borsuk_4.vout2021-07-25 17:45 41K 
[ ]borsuk_4__t16_borsuk_42021-07-18 04:10 30K 
[ ]borsuk_4__t16_borsuk_4.depv12021-07-25 20:57 234  
[ ]borsuk_4__t16_borsuk_4.depvmin12021-07-25 21:03 175  
[ ]borsuk_4__t16_borsuk_4.vmin12021-07-25 20:57 1.8K 
[ ]borsuk_4__t16_borsuk_4.vmin1out2021-07-25 21:01 20K 
[ ]borsuk_4__t16_borsuk_4.vout2021-07-25 14:52 26K 
[ ]borsuk_4__t17_borsuk_42021-07-18 04:11 32K 
[ ]borsuk_4__t17_borsuk_4.depv12021-07-25 20:57 227  
[ ]borsuk_4__t17_borsuk_4.depvmin12021-07-25 21:03 227  
[ ]borsuk_4__t17_borsuk_4.vmin12021-07-25 20:57 2.4K 
[ ]borsuk_4__t17_borsuk_4.vmin1out2021-07-25 21:01 33K 
[ ]borsuk_4__t17_borsuk_4.vout2021-07-25 17:34 28K 
[ ]borsuk_4__t18_borsuk_42021-07-18 04:02 28K 
[ ]borsuk_4__t18_borsuk_4.vout2021-07-25 16:08 8.4K 
[ ]borsuk_4__t19_borsuk_42021-07-18 04:11 29K 
[ ]borsuk_4__t19_borsuk_4.depv12021-07-25 20:57 401  
[ ]borsuk_4__t19_borsuk_4.depvmin12021-07-25 21:03 389  
[ ]borsuk_4__t19_borsuk_4.vmin12021-07-25 20:57 2.7K 
[ ]borsuk_4__t19_borsuk_4.vmin1out2021-07-25 20:58 27K 
[ ]borsuk_4__t19_borsuk_4.vout2021-07-25 15:12 27K 
[ ]borsuk_4__t20_borsuk_42021-07-18 04:12 17K 
[ ]borsuk_4__t20_borsuk_4.depv12021-07-25 20:57 160  
[ ]borsuk_4__t20_borsuk_4.depvmin12021-07-25 21:03 160  
[ ]borsuk_4__t20_borsuk_4.vmin12021-07-25 20:57 1.2K 
[ ]borsuk_4__t20_borsuk_4.vmin1out2021-07-25 20:58 13K 
[ ]borsuk_4__t20_borsuk_4.vout2021-07-25 18:47 14K 
[ ]borsuk_4__t21_borsuk_42021-07-18 04:12 38K 
[ ]borsuk_4__t21_borsuk_4.vout2021-07-25 18:46 7.3K 
[ ]borsuk_4__t22_borsuk_42021-07-18 04:13 31K 
[ ]borsuk_4__t22_borsuk_4.vout2021-07-25 17:01 4.2K 
[ ]borsuk_4__t23_borsuk_42021-07-18 04:13 31K 
[ ]borsuk_4__t23_borsuk_4.vout2021-07-25 15:09 7.4K 
[ ]borsuk_4__t24_borsuk_42021-07-18 04:14 32K 
[ ]borsuk_4__t24_borsuk_4.depv12021-07-25 20:57 592  
[ ]borsuk_4__t24_borsuk_4.depvmin12021-07-25 21:03 545  
[ ]borsuk_4__t24_borsuk_4.vmin12021-07-25 20:57 4.8K 
[ ]borsuk_4__t24_borsuk_4.vmin1out2021-07-25 21:02 56K 
[ ]borsuk_4__t24_borsuk_4.vout2021-07-25 19:37 53K 
[ ]borsuk_4__t25_borsuk_42021-07-18 04:14 30K 
[ ]borsuk_4__t25_borsuk_4.depv12021-07-25 20:57 442  
[ ]borsuk_4__t25_borsuk_4.depvmin12021-07-25 21:03 402  
[ ]borsuk_4__t25_borsuk_4.vmin12021-07-25 20:57 3.5K 
[ ]borsuk_4__t25_borsuk_4.vmin1out2021-07-25 21:00 35K 
[ ]borsuk_4__t25_borsuk_4.vout2021-07-25 14:59 44K 
[ ]borsuk_4__t26_borsuk_42021-07-18 04:15 32K 
[ ]borsuk_4__t26_borsuk_4.depv12021-07-25 20:57 151  
[ ]borsuk_4__t26_borsuk_4.depvmin12021-07-25 21:03 151  
[ ]borsuk_4__t26_borsuk_4.vmin12021-07-25 20:57 1.9K 
[ ]borsuk_4__t26_borsuk_4.vmin1out2021-07-25 21:01 28K 
[ ]borsuk_4__t26_borsuk_4.vout2021-07-25 17:11 26K 
[ ]borsuk_4__t27_borsuk_42021-07-18 04:15 32K 
[ ]borsuk_4__t27_borsuk_4.vout2021-07-25 18:44 7.3K 
[ ]borsuk_4__t28_borsuk_42021-07-18 04:16 16K 
[ ]borsuk_4__t28_borsuk_4.depv12021-07-25 20:57 164  
[ ]borsuk_4__t28_borsuk_4.depvmin12021-07-25 21:03 164  
[ ]borsuk_4__t28_borsuk_4.vmin12021-07-25 20:57 1.5K 
[ ]borsuk_4__t28_borsuk_4.vmin1out2021-07-25 21:01 16K 
[ ]borsuk_4__t28_borsuk_4.vout2021-07-25 15:20 28K 
[ ]borsuk_4__t29_borsuk_42021-07-18 04:16 30K 
[ ]borsuk_4__t29_borsuk_4.depv12021-07-25 20:57 218  
[ ]borsuk_4__t29_borsuk_4.depvmin12021-07-25 21:03 218  
[ ]borsuk_4__t29_borsuk_4.vmin12021-07-25 20:57 1.9K 
[ ]borsuk_4__t29_borsuk_4.vmin1out2021-07-25 20:59 28K 
[ ]borsuk_4__t29_borsuk_4.vout2021-07-25 15:26 25K 
[ ]borsuk_4__t30_borsuk_42021-07-18 04:17 31K 
[ ]borsuk_4__t30_borsuk_4.depv12021-07-25 20:57 487  
[ ]borsuk_4__t30_borsuk_4.depvmin12021-07-25 21:03 487  
[ ]borsuk_4__t30_borsuk_4.vmin12021-07-25 20:57 4.6K 
[ ]borsuk_4__t30_borsuk_4.vmin1out2021-07-25 21:01 44K 
[ ]borsuk_4__t30_borsuk_4.vout2021-07-25 16:38 52K 
[ ]borsuk_4__t31_borsuk_42021-07-18 04:17 30K 
[ ]borsuk_4__t31_borsuk_4.depv12021-07-25 20:57 229  
[ ]borsuk_4__t31_borsuk_4.depvmin12021-07-25 21:03 209  
[ ]borsuk_4__t31_borsuk_4.vmin12021-07-25 20:57 2.3K 
[ ]borsuk_4__t31_borsuk_4.vmin1out2021-07-25 21:00 30K 
[ ]borsuk_4__t31_borsuk_4.vout2021-07-25 19:14 31K 
[ ]borsuk_4__t32_borsuk_42021-07-18 04:02 27K 
[ ]borsuk_4__t32_borsuk_4.depv12021-07-25 20:57 145  
[ ]borsuk_4__t32_borsuk_4.depvmin12021-07-25 21:03 145  
[ ]borsuk_4__t32_borsuk_4.vmin12021-07-25 20:57 1.2K 
[ ]borsuk_4__t32_borsuk_4.vmin1out2021-07-25 21:00 13K 
[ ]borsuk_4__t32_borsuk_4.vout2021-07-25 17:15 16K 
[ ]borsuk_4__t33_borsuk_42021-07-18 04:18 35K 
[ ]borsuk_4__t33_borsuk_4.vout2021-07-25 20:18 8.9K 
[ ]borsuk_4__t34_borsuk_42021-07-18 04:03 26K 
[ ]borsuk_4__t34_borsuk_4.depv12021-07-25 20:57 50  
[ ]borsuk_4__t34_borsuk_4.depvmin12021-07-25 21:03 50  
[ ]borsuk_4__t34_borsuk_4.vmin12021-07-25 20:57 222  
[ ]borsuk_4__t34_borsuk_4.vmin1out2021-07-25 20:58 2.0K 
[ ]borsuk_4__t34_borsuk_4.vout2021-07-25 15:02 1.9K 
[ ]borsuk_4__t35_borsuk_42021-07-18 04:18 30K 
[ ]borsuk_4__t35_borsuk_4.depv12021-07-25 20:57 267  
[ ]borsuk_4__t35_borsuk_4.depvmin12021-07-25 21:03 254  
[ ]borsuk_4__t35_borsuk_4.vmin12021-07-25 20:57 1.7K 
[ ]borsuk_4__t35_borsuk_4.vmin1out2021-07-25 20:58 21K 
[ ]borsuk_4__t35_borsuk_4.vout2021-07-25 15:48 22K 
[ ]borsuk_4__t36_borsuk_42021-07-18 04:19 31K 
[ ]borsuk_4__t36_borsuk_4.vout2021-07-25 19:00 5.9K 
[ ]borsuk_4__t37_borsuk_42021-07-18 04:19 31K 
[ ]borsuk_4__t37_borsuk_4.vout2021-07-25 19:16 5.9K 
[ ]borsuk_4__t38_borsuk_42021-07-18 04:20 36K 
[ ]borsuk_4__t38_borsuk_4.depv12021-07-25 20:57 305  
[ ]borsuk_4__t38_borsuk_4.depvmin12021-07-25 21:03 270  
[ ]borsuk_4__t38_borsuk_4.vmin12021-07-25 20:57 3.2K 
[ ]borsuk_4__t38_borsuk_4.vmin1out2021-07-25 21:01 32K 
[ ]borsuk_4__t38_borsuk_4.vout2021-07-25 18:15 35K 
[ ]borsuk_4__t39_borsuk_42021-07-18 04:21 53K 
[ ]borsuk_4__t39_borsuk_4.vout2021-07-25 18:20 7.3K 
[ ]borsuk_4__t40_borsuk_42021-07-18 04:22 36K 
[ ]borsuk_4__t40_borsuk_4.depv12021-07-25 20:57 173  
[ ]borsuk_4__t40_borsuk_4.depvmin12021-07-25 21:03 173  
[ ]borsuk_4__t40_borsuk_4.vmin12021-07-25 20:57 2.5K 
[ ]borsuk_4__t40_borsuk_4.vmin1out2021-07-25 21:00 37K 
[ ]borsuk_4__t40_borsuk_4.vout2021-07-25 19:32 34K 
[ ]borsuk_4__t41_borsuk_42021-07-18 04:04 37K 
[ ]borsuk_4__t41_borsuk_4.depv12021-07-25 20:57 117  
[ ]borsuk_4__t41_borsuk_4.depvmin12021-07-25 21:03 117  
[ ]borsuk_4__t41_borsuk_4.vmin12021-07-25 20:57 2.1K 
[ ]borsuk_4__t41_borsuk_4.vmin1out2021-07-25 20:59 25K 
[ ]borsuk_4__t41_borsuk_4.vout2021-07-25 14:37 22K 
[ ]borsuk_4__t42_borsuk_42021-07-18 04:22 39K 
[ ]borsuk_4__t42_borsuk_4.vout2021-07-25 16:26 4.7K 
[ ]borsuk_4__t43_borsuk_42021-07-18 04:23 48K 
[ ]borsuk_4__t43_borsuk_4.vout2021-07-25 15:27 4.7K 
[ ]borsuk_4__t44_borsuk_42021-07-18 04:24 32K 
[ ]borsuk_4__t44_borsuk_4.depv12021-07-25 20:57 205  
[ ]borsuk_4__t44_borsuk_4.depvmin12021-07-25 21:03 205  
[ ]borsuk_4__t44_borsuk_4.vmin12021-07-25 20:57 3.7K 
[ ]borsuk_4__t44_borsuk_4.vmin1out2021-07-25 21:01 56K 
[ ]borsuk_4__t44_borsuk_4.vout2021-07-25 19:53 44K 
[ ]borsuk_4__t45_borsuk_42021-07-18 04:24 35K 
[ ]borsuk_4__t45_borsuk_4.vout2021-07-25 17:37 7.9K 
[ ]borsuk_4__t46_borsuk_42021-07-18 04:25 29K 
[ ]borsuk_4__t46_borsuk_4.depv12021-07-25 20:57 131  
[ ]borsuk_4__t46_borsuk_4.depvmin12021-07-25 21:03 131  
[ ]borsuk_4__t46_borsuk_4.vmin12021-07-25 20:57 1.5K 
[ ]borsuk_4__t46_borsuk_4.vmin1out2021-07-25 21:00 16K 
[ ]borsuk_4__t46_borsuk_4.vout2021-07-25 19:46 14K 
[ ]borsuk_4__t47_borsuk_42021-07-18 04:25 34K 
[ ]borsuk_4__t47_borsuk_4.vout2021-07-25 16:06 4.7K 
[ ]borsuk_4__t48_borsuk_42021-07-18 04:26 34K 
[ ]borsuk_4__t48_borsuk_4.vout2021-07-25 16:29 4.7K 
[ ]borsuk_4__t49_borsuk_42021-07-18 04:27 54K 
[ ]borsuk_4__t49_borsuk_4.vout2021-07-25 16:22 7.3K 
[ ]borsuk_4__t50_borsuk_42021-07-18 04:28 55K 
[ ]borsuk_4__t50_borsuk_4.vout2021-07-25 20:10 6.8K 
[ ]borsuk_4__t51_borsuk_42021-07-18 04:29 76K 
[ ]borsuk_4__t51_borsuk_4.vout2021-07-25 19:30 6.8K 
[ ]borsuk_4__t52_borsuk_42021-07-18 04:29 50K 
[ ]borsuk_4__t52_borsuk_4.vout2021-07-25 15:00 4.7K 
[ ]borsuk_4__t53_borsuk_42021-07-18 04:30 41K 
[ ]borsuk_4__t53_borsuk_4.vout2021-07-25 17:54 4.7K 
[ ]borsuk_4__t54_borsuk_42021-07-18 04:31 41K 
[ ]borsuk_4__t54_borsuk_4.vout2021-07-25 17:31 8.4K 
[ ]borsuk_4__t55_borsuk_42021-07-18 04:32 52K 
[ ]borsuk_4__t55_borsuk_4.vout2021-07-25 18:36 6.8K 
[ ]borsuk_4__t56_borsuk_42021-07-18 04:33 54K 
[ ]borsuk_4__t56_borsuk_4.vout2021-07-25 16:36 7.3K 
[ ]borsuk_4__t57_borsuk_42021-07-18 04:33 34K 
[ ]borsuk_4__t57_borsuk_4.vout2021-07-25 18:27 7.9K 
[ ]borsuk_4__t58_borsuk_42021-07-18 04:34 32K 
[ ]borsuk_4__t58_borsuk_4.depv12021-07-25 20:57 362  
[ ]borsuk_4__t58_borsuk_4.depvmin12021-07-25 21:03 317  
[ ]borsuk_4__t58_borsuk_4.vmin12021-07-25 20:57 3.1K 
[ ]borsuk_4__t58_borsuk_4.vmin1out2021-07-25 20:59 42K 
[ ]borsuk_4__t58_borsuk_4.vout2021-07-25 18:47 55K 
[ ]borsuk_4__t59_borsuk_42021-07-18 04:35 64K 
[ ]borsuk_4__t59_borsuk_4.vout2021-07-25 20:10 6.8K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80