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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]borsuk_7__l1_borsuk_72021-07-17 23:42 22K 
[ ]borsuk_7__l1_borsuk_7.depv12021-07-25 20:57 49  
[ ]borsuk_7__l1_borsuk_7.depvmin12021-07-25 21:03 49  
[ ]borsuk_7__l1_borsuk_7.vmin12021-07-25 20:57 168  
[ ]borsuk_7__l1_borsuk_7.vmin1out2021-07-25 20:58 1.7K 
[ ]borsuk_7__l1_borsuk_7.vout2021-07-25 16:41 1.6K 
[ ]borsuk_7__l2_borsuk_72021-07-17 23:42 36K 
[ ]borsuk_7__l2_borsuk_7.depv12021-07-25 20:57 70  
[ ]borsuk_7__l2_borsuk_7.depvmin12021-07-25 21:03 70  
[ ]borsuk_7__l2_borsuk_7.vmin12021-07-25 20:57 389  
[ ]borsuk_7__l2_borsuk_7.vmin1out2021-07-25 20:59 2.7K 
[ ]borsuk_7__l2_borsuk_7.vout2021-07-25 14:32 2.7K 
[ ]borsuk_7__l3_borsuk_72021-07-17 23:43 43K 
[ ]borsuk_7__l3_borsuk_7.depv12021-07-25 20:57 68  
[ ]borsuk_7__l3_borsuk_7.depvmin12021-07-25 21:03 68  
[ ]borsuk_7__l3_borsuk_7.vmin12021-07-25 20:57 907  
[ ]borsuk_7__l3_borsuk_7.vmin1out2021-07-25 20:58 11K 
[ ]borsuk_7__l3_borsuk_7.vout2021-07-25 14:32 11K 
[ ]borsuk_7__l4_borsuk_72021-07-17 23:43 23K 
[ ]borsuk_7__l4_borsuk_7.depv12021-07-25 20:57 69  
[ ]borsuk_7__l4_borsuk_7.depvmin12021-07-25 21:03 69  
[ ]borsuk_7__l4_borsuk_7.vmin12021-07-25 20:57 340  
[ ]borsuk_7__l4_borsuk_7.vmin1out2021-07-25 21:01 3.7K 
[ ]borsuk_7__l4_borsuk_7.vout2021-07-25 14:22 4.3K 
[ ]borsuk_7__l5_borsuk_72021-07-18 00:36 49K 
[ ]borsuk_7__l5_borsuk_7.depv12021-07-25 20:57 221  
[ ]borsuk_7__l5_borsuk_7.depvmin12021-07-25 21:03 201  
[ ]borsuk_7__l5_borsuk_7.vmin12021-07-25 20:57 1.4K 
[ ]borsuk_7__l5_borsuk_7.vmin1out2021-07-25 21:02 11K 
[ ]borsuk_7__l5_borsuk_7.vout2021-07-25 20:33 16K 
[ ]borsuk_7__l6_borsuk_72021-07-18 00:36 54K 
[ ]borsuk_7__l6_borsuk_7.vout2021-07-25 14:54 7.9K 
[ ]borsuk_7__l15_borsuk_72021-07-18 00:37 80K 
[ ]borsuk_7__l15_borsuk_7.vout2021-07-25 15:37 7.3K 
[ ]borsuk_7__l28_borsuk_72021-07-17 23:44 23K 
[ ]borsuk_7__l28_borsuk_7.depv12021-07-25 20:57 33  
[ ]borsuk_7__l28_borsuk_7.depvmin12021-07-25 21:03 33  
[ ]borsuk_7__l28_borsuk_7.vmin12021-07-25 20:57 186  
[ ]borsuk_7__l28_borsuk_7.vmin1out2021-07-25 21:01 3.0K 
[ ]borsuk_7__l28_borsuk_7.vout2021-07-25 18:38 3.1K 
[ ]borsuk_7__l43_borsuk_72021-07-17 23:45 73K 
[ ]borsuk_7__l43_borsuk_7.depv12021-07-25 20:57 188  
[ ]borsuk_7__l43_borsuk_7.depvmin12021-07-25 21:03 176  
[ ]borsuk_7__l43_borsuk_7.vmin12021-07-25 20:57 1.4K 
[ ]borsuk_7__l43_borsuk_7.vmin1out2021-07-25 21:00 8.4K 
[ ]borsuk_7__l43_borsuk_7.vout2021-07-25 15:22 18K 
[ ]borsuk_7__l46_borsuk_72021-07-17 23:45 27K 
[ ]borsuk_7__l46_borsuk_7.depv12021-07-25 20:57 35  
[ ]borsuk_7__l46_borsuk_7.depvmin12021-07-25 21:03 35  
[ ]borsuk_7__l46_borsuk_7.vmin12021-07-25 20:57 244  
[ ]borsuk_7__l46_borsuk_7.vmin1out2021-07-25 20:58 2.1K 
[ ]borsuk_7__l46_borsuk_7.vout2021-07-25 15:04 2.7K 
[ ]borsuk_7__l47_borsuk_72021-07-17 23:46 41K 
[ ]borsuk_7__l47_borsuk_7.depv12021-07-25 20:57 125  
[ ]borsuk_7__l47_borsuk_7.depvmin12021-07-25 21:03 108  
[ ]borsuk_7__l47_borsuk_7.vmin12021-07-25 20:57 807  
[ ]borsuk_7__l47_borsuk_7.vmin1out2021-07-25 20:58 4.9K 
[ ]borsuk_7__l47_borsuk_7.vout2021-07-25 19:34 6.5K 
[ ]borsuk_7__l50_borsuk_72021-07-18 00:38 80K 
[ ]borsuk_7__l50_borsuk_7.vout2021-07-25 15:14 3.7K 
[ ]borsuk_7__l54_borsuk_72021-07-17 23:47 73K 
[ ]borsuk_7__l54_borsuk_7.depv12021-07-25 20:57 146  
[ ]borsuk_7__l54_borsuk_7.depvmin12021-07-25 21:03 116  
[ ]borsuk_7__l54_borsuk_7.vmin12021-07-25 20:57 891  
[ ]borsuk_7__l54_borsuk_7.vmin1out2021-07-25 20:58 5.0K 
[ ]borsuk_7__l54_borsuk_7.vout2021-07-25 20:31 7.8K 
[ ]borsuk_7__l55_borsuk_72021-07-17 23:48 74K 
[ ]borsuk_7__l55_borsuk_7.depv12021-07-25 20:57 124  
[ ]borsuk_7__l55_borsuk_7.depvmin12021-07-25 21:03 124  
[ ]borsuk_7__l55_borsuk_7.vmin12021-07-25 20:57 632  
[ ]borsuk_7__l55_borsuk_7.vmin1out2021-07-25 21:00 3.8K 
[ ]borsuk_7__l55_borsuk_7.vout2021-07-25 18:17 5.2K 
[ ]borsuk_7__l57_borsuk_72021-07-17 23:48 77K 
[ ]borsuk_7__l57_borsuk_7.depv12021-07-25 20:57 119  
[ ]borsuk_7__l57_borsuk_7.depvmin12021-07-25 21:03 119  
[ ]borsuk_7__l57_borsuk_7.vmin12021-07-25 20:57 717  
[ ]borsuk_7__l57_borsuk_7.vmin1out2021-07-25 21:01 4.9K 
[ ]borsuk_7__l57_borsuk_7.vout2021-07-25 18:11 6.7K 
[ ]borsuk_7__l83_borsuk_72021-07-18 00:38 66K 
[ ]borsuk_7__l83_borsuk_7.depv12021-07-25 20:57 239  
[ ]borsuk_7__l83_borsuk_7.depvmin12021-07-25 21:03 203  
[ ]borsuk_7__l83_borsuk_7.vmin12021-07-25 20:57 3.8K 
[ ]borsuk_7__l83_borsuk_7.vmin1out2021-07-25 20:59 32K 
[ ]borsuk_7__l83_borsuk_7.vout2021-07-25 15:08 38K 
[ ]borsuk_7__l84_borsuk_72021-07-18 00:39 66K 
[ ]borsuk_7__l84_borsuk_7.depv12021-07-25 20:57 267  
[ ]borsuk_7__l84_borsuk_7.depvmin12021-07-25 21:03 191  
[ ]borsuk_7__l84_borsuk_7.vmin12021-07-25 20:57 4.1K 
[ ]borsuk_7__l84_borsuk_7.vmin1out2021-07-25 21:00 28K 
[ ]borsuk_7__l84_borsuk_7.vout2021-07-25 16:53 39K 
[ ]borsuk_7__l85_borsuk_72021-07-18 00:40 92K 
[ ]borsuk_7__l85_borsuk_7.vout2021-07-25 17:00 4.7K 
[ ]borsuk_7__l100_borsuk_72021-07-18 00:41 151K 
[ ]borsuk_7__l100_borsuk_7.vout2021-07-25 17:57 6.9K 
[ ]borsuk_7__l101_borsuk_72021-07-18 00:42 174K 
[ ]borsuk_7__l101_borsuk_7.vout2021-07-25 18:21 4.7K 
[ ]borsuk_7__l102_borsuk_72021-07-18 00:43 181K 
[ ]borsuk_7__l102_borsuk_7.vout2021-07-25 20:26 4.7K 
[ ]borsuk_7__l103_borsuk_72021-07-18 00:44 97K 
[ ]borsuk_7__l103_borsuk_7.vout2021-07-25 20:24 4.7K 
[ ]borsuk_7__l104_borsuk_72021-07-18 00:45 326K 
[ ]borsuk_7__l104_borsuk_7.vout2021-07-25 16:43 4.8K 
[ ]borsuk_7__l105_borsuk_72021-07-18 00:46 330K 
[ ]borsuk_7__l105_borsuk_7.vout2021-07-25 17:23 7.3K 
[ ]borsuk_7__l106_borsuk_72021-07-18 00:47 115K 
[ ]borsuk_7__l106_borsuk_7.vout2021-07-25 14:54 4.7K 
[ ]borsuk_7__l107_borsuk_72021-07-18 00:49 370K 
[ ]borsuk_7__l107_borsuk_7.vout2021-07-25 16:12 4.7K 
[ ]borsuk_7__l108_borsuk_72021-07-18 00:50 97K 
[ ]borsuk_7__l108_borsuk_7.depv12021-07-25 20:57 66  
[ ]borsuk_7__l108_borsuk_7.depvmin12021-07-25 21:03 42  
[ ]borsuk_7__l108_borsuk_7.vmin12021-07-25 20:57 3.2K 
[ ]borsuk_7__l108_borsuk_7.vmin1out2021-07-25 21:00 20K 
[ ]borsuk_7__l108_borsuk_7.vout2021-07-25 15:30 30K 
[ ]borsuk_7__t1_borsuk_72021-07-17 23:49 55K 
[ ]borsuk_7__t1_borsuk_7.vout2021-07-25 20:51 6.8K 
[ ]borsuk_7__t2_borsuk_72021-07-17 23:50 97K 
[ ]borsuk_7__t2_borsuk_7.vout2021-07-25 20:01 7.3K 
[ ]borsuk_7__t3_borsuk_72021-07-17 23:50 56K 
[ ]borsuk_7__t3_borsuk_7.vout2021-07-25 19:05 7.3K 
[ ]borsuk_7__t4_borsuk_72021-07-17 23:51 56K 
[ ]borsuk_7__t4_borsuk_7.depv12021-07-25 20:57 183  
[ ]borsuk_7__t4_borsuk_7.depvmin12021-07-25 21:03 183  
[ ]borsuk_7__t4_borsuk_7.vmin12021-07-25 20:57 1.5K 
[ ]borsuk_7__t4_borsuk_7.vmin1out2021-07-25 21:02 16K 
[ ]borsuk_7__t4_borsuk_7.vout2021-07-25 15:19 16K 
[ ]borsuk_7__t5_borsuk_72021-07-17 23:51 149K 
[ ]borsuk_7__t5_borsuk_7.vout2021-07-25 19:58 2.0K 
[ ]borsuk_7__t6_borsuk_72021-07-17 23:52 211K 
[ ]borsuk_7__t6_borsuk_7.vout2021-07-25 17:03 2.0K 
[ ]borsuk_7__t7_borsuk_72021-07-17 23:52 50K 
[ ]borsuk_7__t7_borsuk_7.vout2021-07-25 17:30 6.8K 
[ ]borsuk_7__t8_borsuk_72021-07-17 23:53 110K 
[ ]borsuk_7__t8_borsuk_7.vout2021-07-25 19:50 6.8K 
[ ]borsuk_7__t9_borsuk_72021-07-17 23:53 80K 
[ ]borsuk_7__t9_borsuk_7.vout2021-07-25 19:57 6.8K 
[ ]borsuk_7__t10_borsuk_72021-07-17 23:54 121K 
[ ]borsuk_7__t10_borsuk_7.vout2021-07-25 16:14 6.8K 
[ ]borsuk_7__t11_borsuk_72021-07-17 23:54 149K 
[ ]borsuk_7__t11_borsuk_7.vout2021-07-25 16:22 6.8K 
[ ]borsuk_7__t12_borsuk_72021-07-17 23:55 98K 
[ ]borsuk_7__t12_borsuk_7.vout2021-07-25 16:19 7.3K 
[ ]borsuk_7__t14_borsuk_72021-07-17 23:56 54K 
[ ]borsuk_7__t14_borsuk_7.vout2021-07-25 15:19 5.8K 
[ ]borsuk_7__t15_borsuk_72021-07-17 23:56 45K 
[ ]borsuk_7__t15_borsuk_7.depv12021-07-25 20:57 128  
[ ]borsuk_7__t15_borsuk_7.depvmin12021-07-25 21:03 128  
[ ]borsuk_7__t15_borsuk_7.vmin12021-07-25 20:57 942  
[ ]borsuk_7__t15_borsuk_7.vmin1out2021-07-25 21:00 12K 
[ ]borsuk_7__t15_borsuk_7.vout2021-07-25 15:41 12K 
[ ]borsuk_7__t16_borsuk_72021-07-17 23:57 84K 
[ ]borsuk_7__t16_borsuk_7.vout2021-07-25 16:28 2.0K 
[ ]borsuk_7__t17_borsuk_72021-07-17 23:58 84K 
[ ]borsuk_7__t17_borsuk_7.vout2021-07-25 19:40 2.0K 
[ ]borsuk_7__t18_borsuk_72021-07-17 23:58 47K 
[ ]borsuk_7__t18_borsuk_7.vout2021-07-25 20:12 7.3K 
[ ]borsuk_7__t19_borsuk_72021-07-17 23:59 45K 
[ ]borsuk_7__t19_borsuk_7.vout2021-07-25 15:03 1.1K 
[ ]borsuk_7__t20_borsuk_72021-07-17 23:59 78K 
[ ]borsuk_7__t20_borsuk_7.vout2021-07-25 15:15 2.0K 
[ ]borsuk_7__t30_borsuk_72021-07-18 00:00 71K 
[ ]borsuk_7__t30_borsuk_7.vout2021-07-25 16:10 9.0K 
[ ]borsuk_7__t31_borsuk_72021-07-18 00:00 52K 
[ ]borsuk_7__t31_borsuk_7.vout2021-07-25 17:56 5.8K 
[ ]borsuk_7__t32_borsuk_72021-07-18 00:01 53K 
[ ]borsuk_7__t32_borsuk_7.depv12021-07-25 20:57 110  
[ ]borsuk_7__t32_borsuk_7.depvmin12021-07-25 21:03 110  
[ ]borsuk_7__t32_borsuk_7.vmin12021-07-25 20:57 1.8K 
[ ]borsuk_7__t32_borsuk_7.vmin1out2021-07-25 21:00 44K 
[ ]borsuk_7__t32_borsuk_7.vout2021-07-25 18:49 37K 
[ ]borsuk_7__t33_borsuk_72021-07-18 00:02 45K 
[ ]borsuk_7__t33_borsuk_7.depv12021-07-25 20:57 75  
[ ]borsuk_7__t33_borsuk_7.depvmin12021-07-25 21:03 75  
[ ]borsuk_7__t33_borsuk_7.vmin12021-07-25 20:57 1.0K 
[ ]borsuk_7__t33_borsuk_7.vmin1out2021-07-25 21:00 8.8K 
[ ]borsuk_7__t33_borsuk_7.vout2021-07-25 14:36 11K 
[ ]borsuk_7__t34_borsuk_72021-07-18 00:02 132K 
[ ]borsuk_7__t34_borsuk_7.depv12021-07-25 20:57 370  
[ ]borsuk_7__t34_borsuk_7.depvmin12021-07-25 21:03 370  
[ ]borsuk_7__t34_borsuk_7.vmin12021-07-25 20:57 2.9K 
[ ]borsuk_7__t34_borsuk_7.vmin1out2021-07-25 21:01 24K 
[ ]borsuk_7__t34_borsuk_7.vout2021-07-25 16:11 29K 
[ ]borsuk_7__t35_borsuk_72021-07-18 00:03 134K 
[ ]borsuk_7__t35_borsuk_7.vout2021-07-25 20:28 7.3K 
[ ]borsuk_7__t36_borsuk_72021-07-18 00:04 47K 
[ ]borsuk_7__t36_borsuk_7.vout2021-07-25 20:51 6.8K 
[ ]borsuk_7__t37_borsuk_72021-07-18 00:05 47K 
[ ]borsuk_7__t37_borsuk_7.vout2021-07-25 19:18 6.8K 
[ ]borsuk_7__t38_borsuk_72021-07-18 00:06 68K 
[ ]borsuk_7__t38_borsuk_7.vout2021-07-25 20:12 4.7K 
[ ]borsuk_7__t39_borsuk_72021-07-18 00:06 96K 
[ ]borsuk_7__t39_borsuk_7.vout2021-07-25 15:02 6.8K 
[ ]borsuk_7__t40_borsuk_72021-07-18 00:07 98K 
[ ]borsuk_7__t40_borsuk_7.depv12021-07-25 20:57 545  
[ ]borsuk_7__t40_borsuk_7.depvmin12021-07-25 21:03 521  
[ ]borsuk_7__t40_borsuk_7.vmin12021-07-25 20:57 3.3K 
[ ]borsuk_7__t40_borsuk_7.vmin1out2021-07-25 20:58 28K 
[ ]borsuk_7__t40_borsuk_7.vout2021-07-25 17:48 31K 
[ ]borsuk_7__t41_borsuk_72021-07-17 23:41 85K 
[ ]borsuk_7__t41_borsuk_7.depv12021-07-25 20:57 262  
[ ]borsuk_7__t41_borsuk_7.depvmin12021-07-25 21:03 252  
[ ]borsuk_7__t41_borsuk_7.vmin12021-07-25 20:57 1.5K 
[ ]borsuk_7__t41_borsuk_7.vmin1out2021-07-25 21:00 11K 
[ ]borsuk_7__t41_borsuk_7.vout2021-07-25 15:53 14K 
[ ]borsuk_7__t42_borsuk_72021-07-18 00:08 121K 
[ ]borsuk_7__t42_borsuk_7.vout2021-07-25 17:23 8.9K 
[ ]borsuk_7__t43_borsuk_72021-07-18 00:09 198K 
[ ]borsuk_7__t43_borsuk_7.vout2021-07-25 19:42 7.3K 
[ ]borsuk_7__t44_borsuk_72021-07-18 00:10 203K 
[ ]borsuk_7__t44_borsuk_7.depv12021-07-25 20:57 91  
[ ]borsuk_7__t44_borsuk_7.depvmin12021-07-25 21:03 91  
[ ]borsuk_7__t44_borsuk_7.vmin12021-07-25 20:57 1.1K 
[ ]borsuk_7__t44_borsuk_7.vmin1out2021-07-25 20:59 7.2K 
[ ]borsuk_7__t44_borsuk_7.vout2021-07-25 18:30 8.5K 
[ ]borsuk_7__t45_borsuk_72021-07-18 00:11 141K 
[ ]borsuk_7__t45_borsuk_7.vout2021-07-25 20:37 4.7K 
[ ]borsuk_7__t46_borsuk_72021-07-18 00:12 224K 
[ ]borsuk_7__t46_borsuk_7.vout2021-07-25 15:52 4.7K 
[ ]borsuk_7__t47_borsuk_72021-07-18 00:13 157K 
[ ]borsuk_7__t47_borsuk_7.vout2021-07-25 15:28 4.7K 
[ ]borsuk_7__t48_borsuk_72021-07-18 00:14 201K 
[ ]borsuk_7__t48_borsuk_7.vout2021-07-25 20:26 3.7K 
[ ]borsuk_7__t49_borsuk_72021-07-18 00:15 155K 
[ ]borsuk_7__t49_borsuk_7.vout2021-07-25 20:02 2.0K 
[ ]borsuk_7__t50_borsuk_72021-07-18 00:16 181K 
[ ]borsuk_7__t50_borsuk_7.vout2021-07-25 18:41 4.7K 
[ ]borsuk_7__t51_borsuk_72021-07-18 00:17 211K 
[ ]borsuk_7__t51_borsuk_7.vout2021-07-25 16:34 4.7K 
[ ]borsuk_7__t52_borsuk_72021-07-18 00:18 124K 
[ ]borsuk_7__t52_borsuk_7.vout2021-07-25 17:40 4.7K 
[ ]borsuk_7__t53_borsuk_72021-07-18 00:19 120K 
[ ]borsuk_7__t53_borsuk_7.vout2021-07-25 16:24 4.7K 
[ ]borsuk_7__t54_borsuk_72021-07-18 00:20 181K 
[ ]borsuk_7__t54_borsuk_7.vout2021-07-25 19:12 4.7K 
[ ]borsuk_7__t55_borsuk_72021-07-18 00:20 78K 
[ ]borsuk_7__t55_borsuk_7.depv12021-07-25 20:57 79  
[ ]borsuk_7__t55_borsuk_7.depvmin12021-07-25 21:03 79  
[ ]borsuk_7__t55_borsuk_7.vmin12021-07-25 20:57 971  
[ ]borsuk_7__t55_borsuk_7.vmin1out2021-07-25 20:58 10K 
[ ]borsuk_7__t55_borsuk_7.vout2021-07-25 20:06 11K 
[ ]borsuk_7__t56_borsuk_72021-07-18 00:21 199K 
[ ]borsuk_7__t56_borsuk_7.vout2021-07-25 19:11 6.8K 
[ ]borsuk_7__t57_borsuk_72021-07-18 00:22 69K 
[ ]borsuk_7__t57_borsuk_7.vout2021-07-25 15:37 6.2K 
[ ]borsuk_7__t58_borsuk_72021-07-18 00:23 110K 
[ ]borsuk_7__t58_borsuk_7.vout2021-07-25 16:35 4.7K 
[ ]borsuk_7__t59_borsuk_72021-07-18 00:24 61K 
[ ]borsuk_7__t59_borsuk_7.vout2021-07-25 15:01 7.9K 
[ ]borsuk_7__t60_borsuk_72021-07-18 00:25 246K 
[ ]borsuk_7__t60_borsuk_7.vout2021-07-25 20:06 4.7K 
[ ]borsuk_7__t61_borsuk_72021-07-18 00:26 84K 
[ ]borsuk_7__t61_borsuk_7.vout2021-07-25 15:42 6.2K 
[ ]borsuk_7__t62_borsuk_72021-07-18 00:28 109K 
[ ]borsuk_7__t62_borsuk_7.vout2021-07-25 14:56 4.7K 
[ ]borsuk_7__t63_borsuk_72021-07-18 00:29 96K 
[ ]borsuk_7__t63_borsuk_7.vout2021-07-25 18:12 4.7K 
[ ]borsuk_7__t64_borsuk_72021-07-18 00:30 137K 
[ ]borsuk_7__t64_borsuk_7.vout2021-07-25 14:24 7.3K 
[ ]borsuk_7__t65_borsuk_72021-07-18 00:31 138K 
[ ]borsuk_7__t65_borsuk_7.vout2021-07-25 16:04 7.3K 
[ ]borsuk_7__t66_borsuk_72021-07-18 00:33 128K 
[ ]borsuk_7__t66_borsuk_7.vout2021-07-25 20:55 6.8K 
[ ]borsuk_7__t67_borsuk_72021-07-18 00:34 136K 
[ ]borsuk_7__t67_borsuk_7.vout2021-07-25 16:09 4.7K 
[ ]borsuk_7__t68_borsuk_72021-07-18 00:35 158K 
[ ]borsuk_7__t68_borsuk_7.vout2021-07-25 19:57 4.2K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80