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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]borsuk_7__l1_borsuk_72024-07-28 12:48 27K 
[ ]borsuk_7__l1_borsuk_7.depv12024-08-03 10:19 49  
[ ]borsuk_7__l1_borsuk_7.depvmin12024-08-03 10:24 49  
[ ]borsuk_7__l1_borsuk_7.vmin12024-08-03 10:19 168  
[ ]borsuk_7__l1_borsuk_7.vmin1out2024-08-03 10:21 1.7K 
[ ]borsuk_7__l1_borsuk_7.vout2024-08-03 08:43 1.6K 
[ ]borsuk_7__l2_borsuk_72024-07-28 12:50 42K 
[ ]borsuk_7__l2_borsuk_7.depv12024-08-03 10:19 70  
[ ]borsuk_7__l2_borsuk_7.depvmin12024-08-03 10:24 70  
[ ]borsuk_7__l2_borsuk_7.vmin12024-08-03 10:19 389  
[ ]borsuk_7__l2_borsuk_7.vmin1out2024-08-03 10:21 2.7K 
[ ]borsuk_7__l2_borsuk_7.vout2024-08-03 05:37 3.1K 
[ ]borsuk_7__l3_borsuk_72024-07-28 12:52 50K 
[ ]borsuk_7__l3_borsuk_7.depv12024-08-03 10:19 68  
[ ]borsuk_7__l3_borsuk_7.depvmin12024-08-03 10:24 68  
[ ]borsuk_7__l3_borsuk_7.vmin12024-08-03 10:19 907  
[ ]borsuk_7__l3_borsuk_7.vmin1out2024-08-03 10:23 11K 
[ ]borsuk_7__l3_borsuk_7.vout2024-08-03 05:41 11K 
[ ]borsuk_7__l4_borsuk_72024-07-28 12:53 28K 
[ ]borsuk_7__l4_borsuk_7.depv12024-08-03 10:19 69  
[ ]borsuk_7__l4_borsuk_7.depvmin12024-08-03 10:24 69  
[ ]borsuk_7__l4_borsuk_7.vmin12024-08-03 10:19 340  
[ ]borsuk_7__l4_borsuk_7.vmin1out2024-08-03 10:23 3.7K 
[ ]borsuk_7__l4_borsuk_7.vout2024-08-03 08:06 4.3K 
[ ]borsuk_7__l5_borsuk_72024-07-28 15:21 55K 
[ ]borsuk_7__l5_borsuk_7.depv12024-08-03 10:19 221  
[ ]borsuk_7__l5_borsuk_7.depvmin12024-08-03 10:24 201  
[ ]borsuk_7__l5_borsuk_7.vmin12024-08-03 10:19 1.4K 
[ ]borsuk_7__l5_borsuk_7.vmin1out2024-08-03 10:20 11K 
[ ]borsuk_7__l5_borsuk_7.vout2024-08-03 06:04 16K 
[ ]borsuk_7__l6_borsuk_72024-07-28 15:22 59K 
[ ]borsuk_7__l6_borsuk_7.vout2024-08-03 09:27 7.3K 
[ ]borsuk_7__l15_borsuk_72024-07-28 15:24 85K 
[ ]borsuk_7__l15_borsuk_7.vout2024-08-03 08:18 7.3K 
[ ]borsuk_7__l28_borsuk_72024-07-28 12:54 27K 
[ ]borsuk_7__l28_borsuk_7.depv12024-08-03 10:19 33  
[ ]borsuk_7__l28_borsuk_7.depvmin12024-08-03 10:24 33  
[ ]borsuk_7__l28_borsuk_7.vmin12024-08-03 10:19 186  
[ ]borsuk_7__l28_borsuk_7.vmin1out2024-08-03 10:22 3.0K 
[ ]borsuk_7__l28_borsuk_7.vout2024-08-03 09:10 3.1K 
[ ]borsuk_7__l43_borsuk_72024-07-28 12:57 81K 
[ ]borsuk_7__l43_borsuk_7.depv12024-08-03 10:19 188  
[ ]borsuk_7__l43_borsuk_7.depvmin12024-08-03 10:24 176  
[ ]borsuk_7__l43_borsuk_7.vmin12024-08-03 10:19 1.4K 
[ ]borsuk_7__l43_borsuk_7.vmin1out2024-08-03 10:21 8.4K 
[ ]borsuk_7__l43_borsuk_7.vout2024-08-03 10:06 18K 
[ ]borsuk_7__l46_borsuk_72024-07-28 12:58 32K 
[ ]borsuk_7__l46_borsuk_7.depv12024-08-03 10:19 35  
[ ]borsuk_7__l46_borsuk_7.depvmin12024-08-03 10:24 35  
[ ]borsuk_7__l46_borsuk_7.vmin12024-08-03 10:19 244  
[ ]borsuk_7__l46_borsuk_7.vmin1out2024-08-03 10:20 2.1K 
[ ]borsuk_7__l46_borsuk_7.vout2024-08-03 09:47 2.7K 
[ ]borsuk_7__l47_borsuk_72024-07-28 13:00 45K 
[ ]borsuk_7__l47_borsuk_7.depv12024-08-03 10:19 125  
[ ]borsuk_7__l47_borsuk_7.depvmin12024-08-03 10:24 108  
[ ]borsuk_7__l47_borsuk_7.vmin12024-08-03 10:19 807  
[ ]borsuk_7__l47_borsuk_7.vmin1out2024-08-03 10:20 4.9K 
[ ]borsuk_7__l47_borsuk_7.vout2024-08-03 09:55 6.5K 
[ ]borsuk_7__l50_borsuk_72024-07-28 15:27 84K 
[ ]borsuk_7__l50_borsuk_7.vout2024-08-03 10:04 3.7K 
[ ]borsuk_7__l54_borsuk_72024-07-28 13:02 80K 
[ ]borsuk_7__l54_borsuk_7.depv12024-08-03 10:19 146  
[ ]borsuk_7__l54_borsuk_7.depvmin12024-08-03 10:24 116  
[ ]borsuk_7__l54_borsuk_7.vmin12024-08-03 10:19 891  
[ ]borsuk_7__l54_borsuk_7.vmin1out2024-08-03 10:20 5.0K 
[ ]borsuk_7__l54_borsuk_7.vout2024-08-03 04:23 7.8K 
[ ]borsuk_7__l55_borsuk_72024-07-28 13:05 81K 
[ ]borsuk_7__l55_borsuk_7.depv12024-08-03 10:19 124  
[ ]borsuk_7__l55_borsuk_7.depvmin12024-08-03 10:24 124  
[ ]borsuk_7__l55_borsuk_7.vmin12024-08-03 10:19 632  
[ ]borsuk_7__l55_borsuk_7.vmin1out2024-08-03 10:22 3.8K 
[ ]borsuk_7__l55_borsuk_7.vout2024-08-03 06:09 5.2K 
[ ]borsuk_7__l57_borsuk_72024-07-28 13:07 84K 
[ ]borsuk_7__l57_borsuk_7.depv12024-08-03 10:19 119  
[ ]borsuk_7__l57_borsuk_7.depvmin12024-08-03 10:24 119  
[ ]borsuk_7__l57_borsuk_7.vmin12024-08-03 10:19 717  
[ ]borsuk_7__l57_borsuk_7.vmin1out2024-08-03 10:23 4.9K 
[ ]borsuk_7__l57_borsuk_7.vout2024-08-03 05:11 6.7K 
[ ]borsuk_7__l83_borsuk_72024-07-28 15:29 70K 
[ ]borsuk_7__l83_borsuk_7.depv12024-08-03 10:19 239  
[ ]borsuk_7__l83_borsuk_7.depvmin12024-08-03 10:24 203  
[ ]borsuk_7__l83_borsuk_7.vmin12024-08-03 10:19 3.8K 
[ ]borsuk_7__l83_borsuk_7.vmin1out2024-08-03 10:22 32K 
[ ]borsuk_7__l83_borsuk_7.vout2024-08-03 05:28 38K 
[ ]borsuk_7__l84_borsuk_72024-07-28 15:31 70K 
[ ]borsuk_7__l84_borsuk_7.depv12024-08-03 10:19 266  
[ ]borsuk_7__l84_borsuk_7.depvmin12024-08-03 10:24 191  
[ ]borsuk_7__l84_borsuk_7.vmin12024-08-03 10:19 4.1K 
[ ]borsuk_7__l84_borsuk_7.vmin1out2024-08-03 10:23 28K 
[ ]borsuk_7__l84_borsuk_7.vout2024-08-03 08:00 39K 
[ ]borsuk_7__l85_borsuk_72024-07-28 15:34 99K 
[ ]borsuk_7__l85_borsuk_7.vout2024-08-03 07:21 4.7K 
[ ]borsuk_7__l100_borsuk_72024-07-28 15:37 155K 
[ ]borsuk_7__l100_borsuk_7.vout2024-08-03 08:06 6.9K 
[ ]borsuk_7__l101_borsuk_72024-07-28 15:40 183K 
[ ]borsuk_7__l101_borsuk_7.vout2024-08-03 05:42 4.7K 
[ ]borsuk_7__l102_borsuk_72024-07-28 15:43 191K 
[ ]borsuk_7__l102_borsuk_7.vout2024-08-03 09:12 4.7K 
[ ]borsuk_7__l103_borsuk_72024-07-28 15:46 105K 
[ ]borsuk_7__l103_borsuk_7.vout2024-08-03 04:08 4.7K 
[ ]borsuk_7__l104_borsuk_72024-07-28 15:49 361K 
[ ]borsuk_7__l104_borsuk_7.vout2024-08-03 09:11 4.7K 
[ ]borsuk_7__l105_borsuk_72024-07-28 15:53 349K 
[ ]borsuk_7__l105_borsuk_7.vout2024-08-03 04:51 6.8K 
[ ]borsuk_7__l106_borsuk_72024-07-28 15:56 122K 
[ ]borsuk_7__l106_borsuk_7.vout2024-08-03 09:23 4.7K 
[ ]borsuk_7__l107_borsuk_72024-07-28 16:00 389K 
[ ]borsuk_7__l107_borsuk_7.vout2024-08-03 06:11 4.7K 
[ ]borsuk_7__l108_borsuk_72024-07-28 16:03 104K 
[ ]borsuk_7__l108_borsuk_7.depv12024-08-03 10:19 66  
[ ]borsuk_7__l108_borsuk_7.depvmin12024-08-03 10:24 42  
[ ]borsuk_7__l108_borsuk_7.vmin12024-08-03 10:19 3.2K 
[ ]borsuk_7__l108_borsuk_7.vmin1out2024-08-03 10:20 20K 
[ ]borsuk_7__l108_borsuk_7.vout2024-08-03 07:31 30K 
[ ]borsuk_7__t1_borsuk_72024-07-28 13:09 60K 
[ ]borsuk_7__t1_borsuk_7.vout2024-08-03 07:27 6.8K 
[ ]borsuk_7__t2_borsuk_72024-07-28 13:10 103K 
[ ]borsuk_7__t2_borsuk_7.vout2024-08-03 04:47 7.3K 
[ ]borsuk_7__t3_borsuk_72024-07-28 13:12 61K 
[ ]borsuk_7__t3_borsuk_7.vout2024-08-03 04:29 7.3K 
[ ]borsuk_7__t4_borsuk_72024-07-28 13:14 60K 
[ ]borsuk_7__t4_borsuk_7.depv12024-08-03 10:19 169  
[ ]borsuk_7__t4_borsuk_7.depvmin12024-08-03 10:24 169  
[ ]borsuk_7__t4_borsuk_7.vmin12024-08-03 10:19 1.5K 
[ ]borsuk_7__t4_borsuk_7.vmin1out2024-08-03 10:20 17K 
[ ]borsuk_7__t4_borsuk_7.vout2024-08-03 06:06 17K 
[ ]borsuk_7__t5_borsuk_72024-07-28 13:15 157K 
[ ]borsuk_7__t5_borsuk_7.vout2024-08-03 09:53 2.0K 
[ ]borsuk_7__t6_borsuk_72024-07-28 13:17 226K 
[ ]borsuk_7__t6_borsuk_7.vout2024-08-03 05:20 2.0K 
[ ]borsuk_7__t7_borsuk_72024-07-28 13:18 54K 
[ ]borsuk_7__t7_borsuk_7.vout2024-08-03 06:39 6.8K 
[ ]borsuk_7__t8_borsuk_72024-07-28 13:20 117K 
[ ]borsuk_7__t8_borsuk_7.vout2024-08-03 04:21 6.8K 
[ ]borsuk_7__t9_borsuk_72024-07-28 13:21 85K 
[ ]borsuk_7__t9_borsuk_7.vout2024-08-03 04:09 6.8K 
[ ]borsuk_7__t10_borsuk_72024-07-28 13:23 127K 
[ ]borsuk_7__t10_borsuk_7.vout2024-08-03 09:19 6.8K 
[ ]borsuk_7__t11_borsuk_72024-07-28 13:25 158K 
[ ]borsuk_7__t11_borsuk_7.vout2024-08-03 09:55 6.8K 
[ ]borsuk_7__t12_borsuk_72024-07-28 13:26 99K 
[ ]borsuk_7__t12_borsuk_7.vout2024-08-03 07:06 7.3K 
[ ]borsuk_7__t14_borsuk_72024-07-28 13:28 59K 
[ ]borsuk_7__t14_borsuk_7.vout2024-08-03 07:21 5.8K 
[ ]borsuk_7__t15_borsuk_72024-07-28 13:30 50K 
[ ]borsuk_7__t15_borsuk_7.depv12024-08-03 10:19 128  
[ ]borsuk_7__t15_borsuk_7.depvmin12024-08-03 10:24 128  
[ ]borsuk_7__t15_borsuk_7.vmin12024-08-03 10:19 942  
[ ]borsuk_7__t15_borsuk_7.vmin1out2024-08-03 10:23 12K 
[ ]borsuk_7__t15_borsuk_7.vout2024-08-03 09:15 12K 
[ ]borsuk_7__t16_borsuk_72024-07-28 13:32 92K 
[ ]borsuk_7__t16_borsuk_7.vout2024-08-03 07:47 2.0K 
[ ]borsuk_7__t17_borsuk_72024-07-28 13:34 92K 
[ ]borsuk_7__t17_borsuk_7.vout2024-08-03 08:56 2.0K 
[ ]borsuk_7__t18_borsuk_72024-07-28 13:35 56K 
[ ]borsuk_7__t18_borsuk_7.vout2024-08-03 08:11 7.3K 
[ ]borsuk_7__t19_borsuk_72024-07-28 13:37 53K 
[ ]borsuk_7__t19_borsuk_7.vout2024-08-03 09:59 1.1K 
[ ]borsuk_7__t20_borsuk_72024-07-28 13:39 74K 
[ ]borsuk_7__t20_borsuk_7.vout2024-08-03 08:05 2.0K 
[ ]borsuk_7__t30_borsuk_72024-07-28 13:41 66K 
[ ]borsuk_7__t30_borsuk_7.vout2024-08-03 08:59 10K 
[ ]borsuk_7__t31_borsuk_72024-07-28 13:42 41K 
[ ]borsuk_7__t31_borsuk_7.vout2024-08-03 07:59 5.8K 
[ ]borsuk_7__t32_borsuk_72024-07-28 13:44 45K 
[ ]borsuk_7__t32_borsuk_7.depv12024-08-03 10:19 161  
[ ]borsuk_7__t32_borsuk_7.depvmin12024-08-03 10:24 136  
[ ]borsuk_7__t32_borsuk_7.vmin12024-08-03 10:19 2.4K 
[ ]borsuk_7__t32_borsuk_7.vmin1out2024-08-03 10:23 47K 
[ ]borsuk_7__t32_borsuk_7.vout2024-08-03 05:04 33K 
[ ]borsuk_7__t33_borsuk_72024-07-28 13:45 40K 
[ ]borsuk_7__t33_borsuk_7.depv12024-08-03 10:19 75  
[ ]borsuk_7__t33_borsuk_7.depvmin12024-08-03 10:24 75  
[ ]borsuk_7__t33_borsuk_7.vmin12024-08-03 10:19 1.0K 
[ ]borsuk_7__t33_borsuk_7.vmin1out2024-08-03 10:20 8.8K 
[ ]borsuk_7__t33_borsuk_7.vout2024-08-03 07:36 11K 
[ ]borsuk_7__t34_borsuk_72024-07-28 13:48 140K 
[ ]borsuk_7__t34_borsuk_7.depv12024-08-03 10:19 370  
[ ]borsuk_7__t34_borsuk_7.depvmin12024-08-03 10:24 370  
[ ]borsuk_7__t34_borsuk_7.vmin12024-08-03 10:19 2.9K 
[ ]borsuk_7__t34_borsuk_7.vmin1out2024-08-03 10:21 24K 
[ ]borsuk_7__t34_borsuk_7.vout2024-08-03 06:50 29K 
[ ]borsuk_7__t35_borsuk_72024-07-28 13:50 142K 
[ ]borsuk_7__t35_borsuk_7.vout2024-08-03 07:01 7.3K 
[ ]borsuk_7__t36_borsuk_72024-07-28 13:53 51K 
[ ]borsuk_7__t36_borsuk_7.vout2024-08-03 08:14 7.3K 
[ ]borsuk_7__t37_borsuk_72024-07-28 13:55 51K 
[ ]borsuk_7__t37_borsuk_7.vout2024-08-03 05:15 6.8K 
[ ]borsuk_7__t38_borsuk_72024-07-28 13:57 72K 
[ ]borsuk_7__t38_borsuk_7.vout2024-08-03 09:26 4.7K 
[ ]borsuk_7__t39_borsuk_72024-07-28 14:00 102K 
[ ]borsuk_7__t39_borsuk_7.vout2024-08-03 08:26 6.8K 
[ ]borsuk_7__t40_borsuk_72024-07-28 14:02 106K 
[ ]borsuk_7__t40_borsuk_7.depv12024-08-03 10:19 545  
[ ]borsuk_7__t40_borsuk_7.depvmin12024-08-03 10:24 521  
[ ]borsuk_7__t40_borsuk_7.vmin12024-08-03 10:19 3.3K 
[ ]borsuk_7__t40_borsuk_7.vmin1out2024-08-03 10:23 28K 
[ ]borsuk_7__t40_borsuk_7.vout2024-08-03 04:40 31K 
[ ]borsuk_7__t41_borsuk_72024-07-28 12:47 92K 
[ ]borsuk_7__t41_borsuk_7.depv12024-08-03 10:19 262  
[ ]borsuk_7__t41_borsuk_7.depvmin12024-08-03 10:24 252  
[ ]borsuk_7__t41_borsuk_7.vmin12024-08-03 10:19 1.5K 
[ ]borsuk_7__t41_borsuk_7.vmin1out2024-08-03 10:23 11K 
[ ]borsuk_7__t41_borsuk_7.vout2024-08-03 04:21 14K 
[ ]borsuk_7__t42_borsuk_72024-07-28 14:05 128K 
[ ]borsuk_7__t42_borsuk_7.vout2024-08-03 06:11 8.9K 
[ ]borsuk_7__t43_borsuk_72024-07-28 14:08 205K 
[ ]borsuk_7__t43_borsuk_7.vout2024-08-03 09:52 7.4K 
[ ]borsuk_7__t44_borsuk_72024-07-28 14:11 212K 
[ ]borsuk_7__t44_borsuk_7.depv12024-08-03 10:19 91  
[ ]borsuk_7__t44_borsuk_7.depvmin12024-08-03 10:24 91  
[ ]borsuk_7__t44_borsuk_7.vmin12024-08-03 10:19 1.1K 
[ ]borsuk_7__t44_borsuk_7.vmin1out2024-08-03 10:23 7.2K 
[ ]borsuk_7__t44_borsuk_7.vout2024-08-03 06:53 8.5K 
[ ]borsuk_7__t45_borsuk_72024-07-28 14:14 140K 
[ ]borsuk_7__t45_borsuk_7.vout2024-08-03 05:27 4.7K 
[ ]borsuk_7__t46_borsuk_72024-07-28 14:17 234K 
[ ]borsuk_7__t46_borsuk_7.vout2024-08-03 05:57 4.7K 
[ ]borsuk_7__t47_borsuk_72024-07-28 14:20 163K 
[ ]borsuk_7__t47_borsuk_7.vout2024-08-03 06:52 4.7K 
[ ]borsuk_7__t48_borsuk_72024-07-28 14:23 208K 
[ ]borsuk_7__t48_borsuk_7.vout2024-08-03 06:51 3.7K 
[ ]borsuk_7__t49_borsuk_72024-07-28 14:25 165K 
[ ]borsuk_7__t49_borsuk_7.vout2024-08-03 09:38 2.0K 
[ ]borsuk_7__t50_borsuk_72024-07-28 14:28 193K 
[ ]borsuk_7__t50_borsuk_7.vout2024-08-03 10:03 4.7K 
[ ]borsuk_7__t51_borsuk_72024-07-28 14:31 220K 
[ ]borsuk_7__t51_borsuk_7.vout2024-08-03 06:20 4.7K 
[ ]borsuk_7__t52_borsuk_72024-07-28 14:34 127K 
[ ]borsuk_7__t52_borsuk_7.vout2024-08-03 05:37 4.7K 
[ ]borsuk_7__t53_borsuk_72024-07-28 14:36 120K 
[ ]borsuk_7__t53_borsuk_7.vout2024-08-03 06:15 4.7K 
[ ]borsuk_7__t54_borsuk_72024-07-28 14:39 193K 
[ ]borsuk_7__t54_borsuk_7.vout2024-08-03 06:26 4.7K 
[ ]borsuk_7__t55_borsuk_72024-07-28 14:42 83K 
[ ]borsuk_7__t55_borsuk_7.depv12024-08-03 10:19 79  
[ ]borsuk_7__t55_borsuk_7.depvmin12024-08-03 10:24 79  
[ ]borsuk_7__t55_borsuk_7.vmin12024-08-03 10:19 971  
[ ]borsuk_7__t55_borsuk_7.vmin1out2024-08-03 10:20 10K 
[ ]borsuk_7__t55_borsuk_7.vout2024-08-03 04:32 11K 
[ ]borsuk_7__t56_borsuk_72024-07-28 14:44 205K 
[ ]borsuk_7__t56_borsuk_7.vout2024-08-03 08:52 6.8K 
[ ]borsuk_7__t57_borsuk_72024-07-28 14:47 73K 
[ ]borsuk_7__t57_borsuk_7.vout2024-08-03 08:52 6.2K 
[ ]borsuk_7__t58_borsuk_72024-07-28 14:49 114K 
[ ]borsuk_7__t58_borsuk_7.vout2024-08-03 04:31 4.7K 
[ ]borsuk_7__t59_borsuk_72024-07-28 14:52 65K 
[ ]borsuk_7__t59_borsuk_7.vout2024-08-03 07:36 7.9K 
[ ]borsuk_7__t60_borsuk_72024-07-28 14:55 258K 
[ ]borsuk_7__t60_borsuk_7.vout2024-08-03 09:30 4.7K 
[ ]borsuk_7__t61_borsuk_72024-07-28 14:58 91K 
[ ]borsuk_7__t61_borsuk_7.vout2024-08-03 08:10 6.3K 
[ ]borsuk_7__t62_borsuk_72024-07-28 15:01 117K 
[ ]borsuk_7__t62_borsuk_7.vout2024-08-03 06:22 4.7K 
[ ]borsuk_7__t63_borsuk_72024-07-28 15:03 101K 
[ ]borsuk_7__t63_borsuk_7.vout2024-08-03 06:56 4.7K 
[ ]borsuk_7__t64_borsuk_72024-07-28 15:06 129K 
[ ]borsuk_7__t64_borsuk_7.vout2024-08-03 04:56 7.4K 
[ ]borsuk_7__t65_borsuk_72024-07-28 15:09 128K 
[ ]borsuk_7__t65_borsuk_7.vout2024-08-03 07:34 7.3K 
[ ]borsuk_7__t66_borsuk_72024-07-28 15:12 119K 
[ ]borsuk_7__t66_borsuk_7.vout2024-08-03 04:12 7.3K 
[ ]borsuk_7__t67_borsuk_72024-07-28 15:15 140K 
[ ]borsuk_7__t67_borsuk_7.vout2024-08-03 05:35 4.7K 
[ ]borsuk_7__t68_borsuk_72024-07-28 15:19 162K 
[ ]borsuk_7__t68_borsuk_7.vout2024-08-03 05:17 3.7K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80