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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]midsp_1__t1_midsp_12021-07-18 04:55 8.5K 
[ ]midsp_1__t1_midsp_1.depv12021-07-25 20:57 115  
[ ]midsp_1__t1_midsp_1.depvmin12021-07-25 21:03 115  
[ ]midsp_1__t1_midsp_1.vmin12021-07-25 20:57 1.0K 
[ ]midsp_1__t1_midsp_1.vmin1out2021-07-25 21:00 7.0K 
[ ]midsp_1__t1_midsp_1.vout2021-07-25 19:44 7.1K 
[ ]midsp_1__t2_midsp_12021-07-18 04:56 9.8K 
[ ]midsp_1__t2_midsp_1.depv12021-07-25 20:57 151  
[ ]midsp_1__t2_midsp_1.depvmin12021-07-25 21:03 138  
[ ]midsp_1__t2_midsp_1.vmin12021-07-25 20:57 1.6K 
[ ]midsp_1__t2_midsp_1.vmin1out2021-07-25 21:00 14K 
[ ]midsp_1__t2_midsp_1.vout2021-07-25 15:43 15K 
[ ]midsp_1__t3_midsp_12021-07-18 04:56 9.7K 
[ ]midsp_1__t3_midsp_1.depv12021-07-25 20:57 151  
[ ]midsp_1__t3_midsp_1.depvmin12021-07-25 21:03 151  
[ ]midsp_1__t3_midsp_1.vmin12021-07-25 20:57 1.9K 
[ ]midsp_1__t3_midsp_1.vmin1out2021-07-25 20:59 20K 
[ ]midsp_1__t3_midsp_1.vout2021-07-25 20:15 14K 
[ ]midsp_1__t4_midsp_12021-07-18 05:01 10K 
[ ]midsp_1__t4_midsp_1.depv12021-07-25 20:57 255  
[ ]midsp_1__t4_midsp_1.depvmin12021-07-25 21:03 233  
[ ]midsp_1__t4_midsp_1.vmin12021-07-25 20:57 2.5K 
[ ]midsp_1__t4_midsp_1.vmin1out2021-07-25 21:00 27K 
[ ]midsp_1__t4_midsp_1.vout2021-07-25 19:03 36K 
[ ]midsp_1__t5_midsp_12021-07-18 05:02 9.7K 
[ ]midsp_1__t5_midsp_1.depv12021-07-25 20:57 85  
[ ]midsp_1__t5_midsp_1.depvmin12021-07-25 21:03 85  
[ ]midsp_1__t5_midsp_1.vmin12021-07-25 20:57 1.6K 
[ ]midsp_1__t5_midsp_1.vmin1out2021-07-25 21:01 76K 
[ ]midsp_1__t5_midsp_1.vout2021-07-25 17:27 41K 
[ ]midsp_1__t6_midsp_12021-07-18 05:02 9.7K 
[ ]midsp_1__t6_midsp_1.depv12021-07-25 20:57 85  
[ ]midsp_1__t6_midsp_1.depvmin12021-07-25 21:03 85  
[ ]midsp_1__t6_midsp_1.vmin12021-07-25 20:57 1.6K 
[ ]midsp_1__t6_midsp_1.vmin1out2021-07-25 21:02 68K 
[ ]midsp_1__t6_midsp_1.vout2021-07-25 18:34 37K 
[ ]midsp_1__t7_midsp_12021-07-18 05:02 9.9K 
[ ]midsp_1__t7_midsp_1.depv12021-07-25 20:57 71  
[ ]midsp_1__t7_midsp_1.depvmin12021-07-25 21:03 71  
[ ]midsp_1__t7_midsp_1.vmin12021-07-25 20:57 1.3K 
[ ]midsp_1__t7_midsp_1.vmin1out2021-07-25 21:02 40K 
[ ]midsp_1__t7_midsp_1.vout2021-07-25 15:38 31K 
[ ]midsp_1__t8_midsp_12021-07-18 05:02 10K 
[ ]midsp_1__t8_midsp_1.vout2021-07-25 16:33 4.7K 
[ ]midsp_1__t9_midsp_12021-07-18 04:56 9.4K 
[ ]midsp_1__t9_midsp_1.depv12021-07-25 20:57 47  
[ ]midsp_1__t9_midsp_1.depvmin12021-07-25 21:03 47  
[ ]midsp_1__t9_midsp_1.vmin12021-07-25 20:57 856  
[ ]midsp_1__t9_midsp_1.vmin1out2021-07-25 21:02 8.1K 
[ ]midsp_1__t9_midsp_1.vout2021-07-25 18:12 7.7K 
[ ]midsp_1__t10_midsp_12021-07-18 04:56 9.4K 
[ ]midsp_1__t10_midsp_1.depv12021-07-25 20:57 23  
[ ]midsp_1__t10_midsp_1.depvmin12021-07-25 21:03 23  
[ ]midsp_1__t10_midsp_1.vmin12021-07-25 20:57 616  
[ ]midsp_1__t10_midsp_1.vmin1out2021-07-25 21:02 6.7K 
[ ]midsp_1__t10_midsp_1.vout2021-07-25 20:48 6.5K 
[ ]midsp_1__t11_midsp_12021-07-18 04:57 9.5K 
[ ]midsp_1__t11_midsp_1.depv12021-07-25 20:57 48  
[ ]midsp_1__t11_midsp_1.depvmin12021-07-25 21:03 48  
[ ]midsp_1__t11_midsp_1.vmin12021-07-25 20:57 1.0K 
[ ]midsp_1__t11_midsp_1.vmin1out2021-07-25 21:01 14K 
[ ]midsp_1__t11_midsp_1.vout2021-07-25 19:06 16K 
[ ]midsp_1__t12_midsp_12021-07-18 04:57 9.8K 
[ ]midsp_1__t12_midsp_1.depv12021-07-25 20:57 83  
[ ]midsp_1__t12_midsp_1.depvmin12021-07-25 21:03 59  
[ ]midsp_1__t12_midsp_1.vmin12021-07-25 20:57 1.4K 
[ ]midsp_1__t12_midsp_1.vmin1out2021-07-25 20:58 10K 
[ ]midsp_1__t12_midsp_1.vout2021-07-25 14:43 12K 
[ ]midsp_1__t13_midsp_12021-07-18 04:57 10K 
[ ]midsp_1__t13_midsp_1.depv12021-07-25 20:57 36  
[ ]midsp_1__t13_midsp_1.depvmin12021-07-25 21:03 36  
[ ]midsp_1__t13_midsp_1.vmin12021-07-25 20:57 956  
[ ]midsp_1__t13_midsp_1.vmin1out2021-07-25 21:02 7.9K 
[ ]midsp_1__t13_midsp_1.vout2021-07-25 18:18 7.4K 
[ ]midsp_1__t14_midsp_12021-07-18 04:57 9.4K 
[ ]midsp_1__t14_midsp_1.depv12021-07-25 20:57 48  
[ ]midsp_1__t14_midsp_1.depvmin12021-07-25 21:03 48  
[ ]midsp_1__t14_midsp_1.vmin12021-07-25 20:57 855  
[ ]midsp_1__t14_midsp_1.vmin1out2021-07-25 20:58 9.3K 
[ ]midsp_1__t14_midsp_1.vout2021-07-25 17:22 8.4K 
[ ]midsp_1__t15_midsp_12021-07-18 05:03 10K 
[ ]midsp_1__t15_midsp_1.depv12021-07-25 20:57 72  
[ ]midsp_1__t15_midsp_1.depvmin12021-07-25 21:03 72  
[ ]midsp_1__t15_midsp_1.vmin12021-07-25 20:57 1.7K 
[ ]midsp_1__t15_midsp_1.vmin1out2021-07-25 20:59 26K 
[ ]midsp_1__t15_midsp_1.vout2021-07-25 19:41 33K 
[ ]midsp_1__t16_midsp_12021-07-18 04:58 9.9K 
[ ]midsp_1__t16_midsp_1.depv12021-07-25 20:57 83  
[ ]midsp_1__t16_midsp_1.depvmin12021-07-25 21:03 59  
[ ]midsp_1__t16_midsp_1.vmin12021-07-25 20:57 1.6K 
[ ]midsp_1__t16_midsp_1.vmin1out2021-07-25 20:59 13K 
[ ]midsp_1__t16_midsp_1.vout2021-07-25 18:54 15K 
[ ]midsp_1__t17_midsp_12021-07-18 05:03 11K 
[ ]midsp_1__t17_midsp_1.vout2021-07-25 16:55 4.7K 
[ ]midsp_1__t18_midsp_12021-07-18 05:03 11K 
[ ]midsp_1__t18_midsp_1.vout2021-07-25 20:13 4.7K 
[ ]midsp_1__t19_midsp_12021-07-18 04:58 12K 
[ ]midsp_1__t19_midsp_1.depv12021-07-25 20:57 166  
[ ]midsp_1__t19_midsp_1.depvmin12021-07-25 21:03 166  
[ ]midsp_1__t19_midsp_1.vmin12021-07-25 20:57 2.0K 
[ ]midsp_1__t19_midsp_1.vmin1out2021-07-25 20:59 27K 
[ ]midsp_1__t19_midsp_1.vout2021-07-25 15:57 26K 
[ ]midsp_1__t20_midsp_12021-07-18 04:58 12K 
[ ]midsp_1__t20_midsp_1.depv12021-07-25 20:57 222  
[ ]midsp_1__t20_midsp_1.depvmin12021-07-25 21:03 166  
[ ]midsp_1__t20_midsp_1.vmin12021-07-25 20:57 2.9K 
[ ]midsp_1__t20_midsp_1.vmin1out2021-07-25 20:59 27K 
[ ]midsp_1__t20_midsp_1.vout2021-07-25 20:12 41K 
[ ]midsp_1__t21_midsp_12021-07-18 04:58 12K 
[ ]midsp_1__t21_midsp_1.vout2021-07-25 14:41 2.0K 
[ ]midsp_1__t22_midsp_12021-07-18 04:59 6.8K 
[ ]midsp_1__t22_midsp_1.depv12021-07-25 20:57 44  
[ ]midsp_1__t22_midsp_1.depvmin12021-07-25 21:03 44  
[ ]midsp_1__t22_midsp_1.vmin12021-07-25 20:57 1.1K 
[ ]midsp_1__t22_midsp_1.vmin1out2021-07-25 20:59 13K 
[ ]midsp_1__t22_midsp_1.vout2021-07-25 15:30 12K 
[ ]midsp_1__t23_midsp_12021-07-18 04:59 6.8K 
[ ]midsp_1__t23_midsp_1.depv12021-07-25 20:57 44  
[ ]midsp_1__t23_midsp_1.depvmin12021-07-25 21:03 44  
[ ]midsp_1__t23_midsp_1.vmin12021-07-25 20:57 1.1K 
[ ]midsp_1__t23_midsp_1.vmin1out2021-07-25 21:01 12K 
[ ]midsp_1__t23_midsp_1.vout2021-07-25 17:05 12K 
[ ]midsp_1__t24_midsp_12021-07-18 04:59 6.8K 
[ ]midsp_1__t24_midsp_1.depv12021-07-25 20:57 44  
[ ]midsp_1__t24_midsp_1.depvmin12021-07-25 21:03 44  
[ ]midsp_1__t24_midsp_1.vmin12021-07-25 20:57 1.1K 
[ ]midsp_1__t24_midsp_1.vmin1out2021-07-25 21:01 17K 
[ ]midsp_1__t24_midsp_1.vout2021-07-25 15:58 17K 
[ ]midsp_1__t25_midsp_12021-07-18 05:09 9.5K 
[ ]midsp_1__t25_midsp_1.depv12021-07-25 20:57 161  
[ ]midsp_1__t25_midsp_1.depvmin12021-07-25 21:03 161  
[ ]midsp_1__t25_midsp_1.vmin12021-07-25 20:57 1.7K 
[ ]midsp_1__t25_midsp_1.vmin1out2021-07-25 20:58 29K 
[ ]midsp_1__t25_midsp_1.vout2021-07-25 18:54 26K 
[ ]midsp_1__t26_midsp_12021-07-18 05:03 10K 
[ ]midsp_1__t26_midsp_1.depv12021-07-25 20:57 69  
[ ]midsp_1__t26_midsp_1.depvmin12021-07-25 21:03 69  
[ ]midsp_1__t26_midsp_1.vmin12021-07-25 20:57 1.0K 
[ ]midsp_1__t26_midsp_1.vmin1out2021-07-25 21:00 20K 
[ ]midsp_1__t26_midsp_1.vout2021-07-25 19:20 21K 
[ ]midsp_1__t27_midsp_12021-07-18 05:03 11K 
[ ]midsp_1__t27_midsp_1.depv12021-07-25 20:57 123  
[ ]midsp_1__t27_midsp_1.depvmin12021-07-25 21:03 123  
[ ]midsp_1__t27_midsp_1.vmin12021-07-25 20:57 2.1K 
[ ]midsp_1__t27_midsp_1.vmin1out2021-07-25 21:00 36K 
[ ]midsp_1__t27_midsp_1.vout2021-07-25 16:04 48K 
[ ]midsp_1__t28_midsp_12021-07-18 05:04 10K 
[ ]midsp_1__t28_midsp_1.depv12021-07-25 20:57 69  
[ ]midsp_1__t28_midsp_1.depvmin12021-07-25 21:03 69  
[ ]midsp_1__t28_midsp_1.vmin12021-07-25 20:57 1.0K 
[ ]midsp_1__t28_midsp_1.vmin1out2021-07-25 21:00 13K 
[ ]midsp_1__t28_midsp_1.vout2021-07-25 14:49 15K 
[ ]midsp_1__t29_midsp_12021-07-18 05:04 14K 
[ ]midsp_1__t29_midsp_1.depv12021-07-25 20:57 89  
[ ]midsp_1__t29_midsp_1.depvmin12021-07-25 21:03 89  
[ ]midsp_1__t29_midsp_1.vmin12021-07-25 20:57 2.0K 
[ ]midsp_1__t29_midsp_1.vmin1out2021-07-25 21:02 29K 
[ ]midsp_1__t29_midsp_1.vout2021-07-25 16:24 27K 
[ ]midsp_1__t30_midsp_12021-07-18 04:59 8.7K 
[ ]midsp_1__t30_midsp_1.depv12021-07-25 20:57 114  
[ ]midsp_1__t30_midsp_1.depvmin12021-07-25 21:03 92  
[ ]midsp_1__t30_midsp_1.vmin12021-07-25 20:57 1.2K 
[ ]midsp_1__t30_midsp_1.vmin1out2021-07-25 20:58 16K 
[ ]midsp_1__t30_midsp_1.vout2021-07-25 14:50 16K 
[ ]midsp_1__t31_midsp_12021-07-18 05:04 15K 
[ ]midsp_1__t31_midsp_1.vout2021-07-25 16:52 7.4K 
[ ]midsp_1__t32_midsp_12021-07-18 05:04 16K 
[ ]midsp_1__t32_midsp_1.vout2021-07-25 14:53 7.3K 
[ ]midsp_1__t33_midsp_12021-07-18 05:05 16K 
[ ]midsp_1__t33_midsp_1.vout2021-07-25 17:09 6.8K 
[ ]midsp_1__t34_midsp_12021-07-18 05:05 15K 
[ ]midsp_1__t34_midsp_1.vout2021-07-25 14:25 7.3K 
[ ]midsp_1__t35_midsp_12021-07-18 05:05 11K 
[ ]midsp_1__t35_midsp_1.depv12021-07-25 20:57 36  
[ ]midsp_1__t35_midsp_1.depvmin12021-07-25 21:03 36  
[ ]midsp_1__t35_midsp_1.vmin12021-07-25 20:57 867  
[ ]midsp_1__t35_midsp_1.vmin1out2021-07-25 21:01 14K 
[ ]midsp_1__t35_midsp_1.vout2021-07-25 19:24 13K 
[ ]midsp_1__t36_midsp_12021-07-18 05:00 13K 
[ ]midsp_1__t36_midsp_1.depv12021-07-25 20:57 147  
[ ]midsp_1__t36_midsp_1.depvmin12021-07-25 21:03 127  
[ ]midsp_1__t36_midsp_1.vmin12021-07-25 20:57 2.2K 
[ ]midsp_1__t36_midsp_1.vmin1out2021-07-25 20:58 24K 
[ ]midsp_1__t36_midsp_1.vout2021-07-25 16:47 38K 
[ ]midsp_1__t37_midsp_12021-07-18 05:00 13K 
[ ]midsp_1__t37_midsp_1.vout2021-07-25 15:08 7.3K 
[ ]midsp_1__t38_midsp_12021-07-18 05:00 12K 
[ ]midsp_1__t38_midsp_1.depv12021-07-25 20:57 36  
[ ]midsp_1__t38_midsp_1.depvmin12021-07-25 21:03 36  
[ ]midsp_1__t38_midsp_1.vmin12021-07-25 20:57 721  
[ ]midsp_1__t38_midsp_1.vmin1out2021-07-25 21:02 7.0K 
[ ]midsp_1__t38_midsp_1.vout2021-07-25 17:36 9.4K 
[ ]midsp_1__t39_midsp_12021-07-18 05:05 16K 
[ ]midsp_1__t39_midsp_1.depv12021-07-25 20:57 162  
[ ]midsp_1__t39_midsp_1.depvmin12021-07-25 21:03 151  
[ ]midsp_1__t39_midsp_1.vmin12021-07-25 20:57 2.9K 
[ ]midsp_1__t39_midsp_1.vmin1out2021-07-25 20:59 36K 
[ ]midsp_1__t39_midsp_1.vout2021-07-25 19:00 50K 
[ ]midsp_1__t40_midsp_12021-07-18 05:06 13K 
[ ]midsp_1__t40_midsp_1.vout2021-07-25 20:16 7.3K 
[ ]midsp_1__t41_midsp_12021-07-18 05:06 13K 
[ ]midsp_1__t41_midsp_1.depv12021-07-25 20:57 226  
[ ]midsp_1__t41_midsp_1.vmin12021-07-25 20:57 3.3K 
[ ]midsp_1__t41_midsp_1.vmin1out2021-07-25 20:58 6.8K 
[ ]midsp_1__t41_midsp_1.vout2021-07-25 15:36 52K 
[ ]midsp_1__t42_midsp_12021-07-18 05:06 15K 
[ ]midsp_1__t42_midsp_1.depv12021-07-25 20:57 228  
[ ]midsp_1__t42_midsp_1.depvmin12021-07-25 21:03 190  
[ ]midsp_1__t42_midsp_1.vmin12021-07-25 20:57 3.3K 
[ ]midsp_1__t42_midsp_1.vmin1out2021-07-25 21:01 35K 
[ ]midsp_1__t42_midsp_1.vout2021-07-25 17:55 51K 
[ ]midsp_1__t43_midsp_12021-07-18 05:06 12K 
[ ]midsp_1__t43_midsp_1.vout2021-07-25 16:15 7.3K 
[ ]midsp_1__t44_midsp_12021-07-18 05:07 13K 
[ ]midsp_1__t44_midsp_1.depv12021-07-25 20:57 134  
[ ]midsp_1__t44_midsp_1.depvmin12021-07-25 21:03 82  
[ ]midsp_1__t44_midsp_1.vmin12021-07-25 20:57 1.7K 
[ ]midsp_1__t44_midsp_1.vmin1out2021-07-25 20:58 22K 
[ ]midsp_1__t44_midsp_1.vout2021-07-25 17:50 22K 
[ ]midsp_1__t45_midsp_12021-07-18 05:07 13K 
[ ]midsp_1__t45_midsp_1.depv12021-07-25 20:57 96  
[ ]midsp_1__t45_midsp_1.depvmin12021-07-25 21:03 96  
[ ]midsp_1__t45_midsp_1.vmin12021-07-25 20:57 1.6K 
[ ]midsp_1__t45_midsp_1.vmin1out2021-07-25 21:02 18K 
[ ]midsp_1__t45_midsp_1.vout2021-07-25 20:23 20K 
[ ]midsp_1__t46_midsp_12021-07-18 05:07 14K 
[ ]midsp_1__t46_midsp_1.vout2021-07-25 15:54 7.3K 
[ ]midsp_1__t47_midsp_12021-07-18 05:07 10K 
[ ]midsp_1__t47_midsp_1.depv12021-07-25 20:57 74  
[ ]midsp_1__t47_midsp_1.depvmin12021-07-25 21:03 74  
[ ]midsp_1__t47_midsp_1.vmin12021-07-25 20:57 1.3K 
[ ]midsp_1__t47_midsp_1.vmin1out2021-07-25 21:00 27K 
[ ]midsp_1__t47_midsp_1.vout2021-07-25 16:33 30K 
[ ]midsp_1__t48_midsp_12021-07-18 05:08 7.9K 
[ ]midsp_1__t48_midsp_1.depv12021-07-25 20:57 84  
[ ]midsp_1__t48_midsp_1.depvmin12021-07-25 21:03 84  
[ ]midsp_1__t48_midsp_1.vmin12021-07-25 20:57 928  
[ ]midsp_1__t48_midsp_1.vmin1out2021-07-25 20:59 13K 
[ ]midsp_1__t48_midsp_1.vout2021-07-25 20:26 16K 
[ ]midsp_1__t49_midsp_12021-07-18 05:08 9.3K 
[ ]midsp_1__t49_midsp_1.depv12021-07-25 20:57 85  
[ ]midsp_1__t49_midsp_1.depvmin12021-07-25 21:03 85  
[ ]midsp_1__t49_midsp_1.vmin12021-07-25 20:57 1.5K 
[ ]midsp_1__t49_midsp_1.vmin1out2021-07-25 20:58 17K 
[ ]midsp_1__t49_midsp_1.vout2021-07-25 19:02 30K 
[ ]midsp_1__t50_midsp_12021-07-18 05:08 9.5K 
[ ]midsp_1__t50_midsp_1.vout2021-07-25 19:14 7.3K 
[ ]midsp_1__t51_midsp_12021-07-18 05:08 11K 
[ ]midsp_1__t51_midsp_1.depv12021-07-25 20:57 95  
[ ]midsp_1__t51_midsp_1.depvmin12021-07-25 21:03 95  
[ ]midsp_1__t51_midsp_1.vmin12021-07-25 20:57 1.6K 
[ ]midsp_1__t51_midsp_1.vmin1out2021-07-25 20:58 17K 
[ ]midsp_1__t51_midsp_1.vout2021-07-25 14:57 28K 
[ ]midsp_1__t52_midsp_12021-07-18 05:08 11K 
[ ]midsp_1__t52_midsp_1.depv12021-07-25 20:57 85  
[ ]midsp_1__t52_midsp_1.depvmin12021-07-25 21:03 85  
[ ]midsp_1__t52_midsp_1.vmin12021-07-25 20:57 1.6K 
[ ]midsp_1__t52_midsp_1.vmin1out2021-07-25 21:00 22K 
[ ]midsp_1__t52_midsp_1.vout2021-07-25 17:04 29K 
[ ]midsp_1__t53_midsp_12021-07-18 05:01 12K 
[ ]midsp_1__t53_midsp_1.depv12021-07-25 20:57 146  
[ ]midsp_1__t53_midsp_1.depvmin12021-07-25 21:03 123  
[ ]midsp_1__t53_midsp_1.vmin12021-07-25 20:57 1.8K 
[ ]midsp_1__t53_midsp_1.vmin1out2021-07-25 21:01 12K 
[ ]midsp_1__t53_midsp_1.vout2021-07-25 14:48 23K 
[ ]midsp_1__t54_midsp_12021-07-18 05:01 13K 
[ ]midsp_1__t54_midsp_1.depv12021-07-25 20:57 259  
[ ]midsp_1__t54_midsp_1.depvmin12021-07-25 21:03 158  
[ ]midsp_1__t54_midsp_1.vmin12021-07-25 20:57 3.4K 
[ ]midsp_1__t54_midsp_1.vmin1out2021-07-25 20:58 29K 
[ ]midsp_1__t54_midsp_1.vout2021-07-25 16:19 48K 
[ ]midsp_1__t55_midsp_12021-07-18 05:01 13K 
[ ]midsp_1__t55_midsp_1.depv12021-07-25 20:57 162  
[ ]midsp_1__t55_midsp_1.depvmin12021-07-25 21:03 150  
[ ]midsp_1__t55_midsp_1.vmin12021-07-25 20:57 1.9K 
[ ]midsp_1__t55_midsp_1.vmin1out2021-07-25 20:59 13K 
[ ]midsp_1__t55_midsp_1.vout2021-07-25 18:56 24K 
[ ]midsp_1__t56_midsp_12021-07-18 05:09 18K 
[ ]midsp_1__t56_midsp_1.vout2021-07-25 15:48 7.3K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80