Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/twoscomp
Name
Last modified
Size
Description
Parent Directory
-
twoscomp__l4_twoscomp
2024-07-28 19:16
25K
twoscomp__l4_twoscomp.depv1
2024-08-03 10:19
221
twoscomp__l4_twoscomp.depvmin1
2024-08-03 10:24
221
twoscomp__l4_twoscomp.vmin1
2024-08-03 10:19
2.1K
twoscomp__l4_twoscomp.vmin1out
2024-08-03 10:20
20K
twoscomp__l4_twoscomp.vout
2024-08-03 09:28
23K
twoscomp__l6_twoscomp
2024-07-28 18:15
25K
twoscomp__l6_twoscomp.depv1
2024-08-03 10:19
237
twoscomp__l6_twoscomp.depvmin1
2024-08-03 10:24
211
twoscomp__l6_twoscomp.vmin1
2024-08-03 10:19
2.1K
twoscomp__l6_twoscomp.vmin1out
2024-08-03 10:21
21K
twoscomp__l6_twoscomp.vout
2024-08-03 10:00
29K
twoscomp__l9_twoscomp
2024-07-28 19:17
25K
twoscomp__l9_twoscomp.depv1
2024-08-03 10:19
248
twoscomp__l9_twoscomp.depvmin1
2024-08-03 10:24
248
twoscomp__l9_twoscomp.vmin1
2024-08-03 10:19
2.2K
twoscomp__l9_twoscomp.vmin1out
2024-08-03 10:20
33K
twoscomp__l9_twoscomp.vout
2024-08-03 08:51
24K
twoscomp__l10_twoscomp
2024-07-28 18:16
25K
twoscomp__l10_twoscomp.depv1
2024-08-03 10:19
238
twoscomp__l10_twoscomp.depvmin1
2024-08-03 10:24
212
twoscomp__l10_twoscomp.vmin1
2024-08-03 10:19
2.1K
twoscomp__l10_twoscomp.vmin1out
2024-08-03 10:23
25K
twoscomp__l10_twoscomp.vout
2024-08-03 07:59
30K
twoscomp__l30_twoscomp
2024-07-28 19:18
29K
twoscomp__l30_twoscomp.vout
2024-08-03 09:50
7.3K
twoscomp__l33_twoscomp
2024-07-28 18:18
29K
twoscomp__l33_twoscomp.vout
2024-08-03 04:36
7.3K
twoscomp__l37_twoscomp
2024-07-28 19:19
29K
twoscomp__l37_twoscomp.vout
2024-08-03 05:41
7.3K
twoscomp__l38_twoscomp
2024-07-28 18:19
29K
twoscomp__l38_twoscomp.vout
2024-08-03 06:43
7.3K
twoscomp__t1_twoscomp
2024-07-28 17:53
23K
twoscomp__t1_twoscomp.depv1
2024-08-03 10:19
78
twoscomp__t1_twoscomp.depvmin1
2024-08-03 10:24
78
twoscomp__t1_twoscomp.vmin1
2024-08-03 10:19
1.7K
twoscomp__t1_twoscomp.vmin1out
2024-08-03 10:22
21K
twoscomp__t1_twoscomp.vout
2024-08-03 04:32
21K
twoscomp__t2_twoscomp
2024-07-28 17:54
25K
twoscomp__t2_twoscomp.depv1
2024-08-03 10:19
78
twoscomp__t2_twoscomp.depvmin1
2024-08-03 10:24
78
twoscomp__t2_twoscomp.vmin1
2024-08-03 10:19
1.8K
twoscomp__t2_twoscomp.vmin1out
2024-08-03 10:20
22K
twoscomp__t2_twoscomp.vout
2024-08-03 07:44
22K
twoscomp__t3_twoscomp
2024-07-28 17:55
25K
twoscomp__t3_twoscomp.depv1
2024-08-03 10:19
78
twoscomp__t3_twoscomp.depvmin1
2024-08-03 10:24
78
twoscomp__t3_twoscomp.vmin1
2024-08-03 10:19
1.7K
twoscomp__t3_twoscomp.vmin1out
2024-08-03 10:23
21K
twoscomp__t3_twoscomp.vout
2024-08-03 09:58
21K
twoscomp__t4_twoscomp
2024-07-28 17:57
26K
twoscomp__t4_twoscomp.depv1
2024-08-03 10:19
79
twoscomp__t4_twoscomp.depvmin1
2024-08-03 10:24
79
twoscomp__t4_twoscomp.vmin1
2024-08-03 10:19
1.8K
twoscomp__t4_twoscomp.vmin1out
2024-08-03 10:22
22K
twoscomp__t4_twoscomp.vout
2024-08-03 04:57
22K
twoscomp__t5_twoscomp
2024-07-28 17:58
63K
twoscomp__t5_twoscomp.depv1
2024-08-03 10:19
93
twoscomp__t5_twoscomp.depvmin1
2024-08-03 10:24
93
twoscomp__t5_twoscomp.vmin1
2024-08-03 10:19
2.2K
twoscomp__t5_twoscomp.vmin1out
2024-08-03 10:23
26K
twoscomp__t5_twoscomp.vout
2024-08-03 05:22
27K
twoscomp__t6_twoscomp
2024-07-28 18:20
31K
twoscomp__t6_twoscomp.depv1
2024-08-03 10:19
329
twoscomp__t6_twoscomp.depvmin1
2024-08-03 10:24
317
twoscomp__t6_twoscomp.vmin1
2024-08-03 10:19
3.1K
twoscomp__t6_twoscomp.vmin1out
2024-08-03 10:22
35K
twoscomp__t6_twoscomp.vout
2024-08-03 04:10
39K
twoscomp__t7_twoscomp
2024-07-28 18:21
26K
twoscomp__t7_twoscomp.depv1
2024-08-03 10:19
302
twoscomp__t7_twoscomp.depvmin1
2024-08-03 10:24
290
twoscomp__t7_twoscomp.vmin1
2024-08-03 10:19
3.0K
twoscomp__t7_twoscomp.vmin1out
2024-08-03 10:21
32K
twoscomp__t7_twoscomp.vout
2024-08-03 09:23
37K
twoscomp__t8_twoscomp
2024-07-28 18:22
62K
twoscomp__t8_twoscomp.vout
2024-08-03 06:12
7.3K
twoscomp__t9_twoscomp
2024-07-28 18:23
26K
twoscomp__t9_twoscomp.vout
2024-08-03 04:28
8.4K
twoscomp__t10_twoscomp
2024-07-28 18:25
27K
twoscomp__t10_twoscomp.vout
2024-08-03 04:35
10K
twoscomp__t11_twoscomp
2024-07-28 18:26
27K
twoscomp__t11_twoscomp.vout
2024-08-03 07:01
8.4K
twoscomp__t12_twoscomp
2024-07-28 17:59
26K
twoscomp__t12_twoscomp.depv1
2024-08-03 10:19
112
twoscomp__t12_twoscomp.depvmin1
2024-08-03 10:24
112
twoscomp__t12_twoscomp.vmin1
2024-08-03 10:19
2.9K
twoscomp__t12_twoscomp.vmin1out
2024-08-03 10:23
38K
twoscomp__t12_twoscomp.vout
2024-08-03 07:48
38K
twoscomp__t13_twoscomp
2024-07-28 18:00
63K
twoscomp__t13_twoscomp.depv1
2024-08-03 10:19
113
twoscomp__t13_twoscomp.depvmin1
2024-08-03 10:24
113
twoscomp__t13_twoscomp.vmin1
2024-08-03 10:19
3.0K
twoscomp__t13_twoscomp.vmin1out
2024-08-03 10:21
39K
twoscomp__t13_twoscomp.vout
2024-08-03 05:06
39K
twoscomp__t14_twoscomp
2024-07-28 18:01
30K
twoscomp__t14_twoscomp.depv1
2024-08-03 10:19
111
twoscomp__t14_twoscomp.depvmin1
2024-08-03 10:24
111
twoscomp__t14_twoscomp.vmin1
2024-08-03 10:19
2.9K
twoscomp__t14_twoscomp.vmin1out
2024-08-03 10:20
38K
twoscomp__t14_twoscomp.vout
2024-08-03 04:31
38K
twoscomp__t15_twoscomp
2024-07-28 18:02
31K
twoscomp__t15_twoscomp.depv1
2024-08-03 10:19
113
twoscomp__t15_twoscomp.depvmin1
2024-08-03 10:24
113
twoscomp__t15_twoscomp.vmin1
2024-08-03 10:19
3.0K
twoscomp__t15_twoscomp.vmin1out
2024-08-03 10:23
39K
twoscomp__t15_twoscomp.vout
2024-08-03 04:30
39K
twoscomp__t16_twoscomp
2024-07-28 18:27
64K
twoscomp__t16_twoscomp.vout
2024-08-03 07:11
7.4K
twoscomp__t17_twoscomp
2024-07-28 18:28
31K
twoscomp__t17_twoscomp.vout
2024-08-03 04:54
7.4K
twoscomp__t18_twoscomp
2024-07-28 18:29
19K
twoscomp__t18_twoscomp.vout
2024-08-03 08:44
8.4K
twoscomp__t19_twoscomp
2024-07-28 18:30
24K
twoscomp__t19_twoscomp.vout
2024-08-03 09:02
8.4K
twoscomp__t20_twoscomp
2024-07-28 18:32
24K
twoscomp__t20_twoscomp.vout
2024-08-03 06:11
8.4K
twoscomp__t21_twoscomp
2024-07-28 18:33
29K
twoscomp__t21_twoscomp.vout
2024-08-03 09:16
2.0K
twoscomp__t22_twoscomp
2024-07-28 18:34
62K
twoscomp__t22_twoscomp.vout
2024-08-03 05:08
8.4K
twoscomp__t23_twoscomp
2024-07-28 18:35
30K
twoscomp__t23_twoscomp.vout
2024-08-03 06:01
8.4K
twoscomp__t24_twoscomp
2024-07-28 18:36
62K
twoscomp__t24_twoscomp.vout
2024-08-03 04:25
8.4K
twoscomp__t25_twoscomp
2024-07-28 18:37
62K
twoscomp__t25_twoscomp.vout
2024-08-03 07:59
2.0K
twoscomp__t26_twoscomp
2024-07-28 18:38
63K
twoscomp__t26_twoscomp.vout
2024-08-03 07:33
8.4K
twoscomp__t27_twoscomp
2024-07-28 18:40
24K
twoscomp__t27_twoscomp.depv1
2024-08-03 10:19
95
twoscomp__t27_twoscomp.depvmin1
2024-08-03 10:24
95
twoscomp__t27_twoscomp.vmin1
2024-08-03 10:19
1.4K
twoscomp__t27_twoscomp.vmin1out
2024-08-03 10:22
13K
twoscomp__t27_twoscomp.vout
2024-08-03 06:04
9.6K
twoscomp__t28_twoscomp
2024-07-28 18:41
22K
twoscomp__t28_twoscomp.depv1
2024-08-03 10:19
76
twoscomp__t28_twoscomp.depvmin1
2024-08-03 10:24
76
twoscomp__t28_twoscomp.vmin1
2024-08-03 10:19
834
twoscomp__t28_twoscomp.vmin1out
2024-08-03 10:23
7.6K
twoscomp__t28_twoscomp.vout
2024-08-03 08:39
7.9K
twoscomp__t29_twoscomp
2024-07-28 18:42
21K
twoscomp__t29_twoscomp.depv1
2024-08-03 10:19
72
twoscomp__t29_twoscomp.depvmin1
2024-08-03 10:24
72
twoscomp__t29_twoscomp.vmin1
2024-08-03 10:19
680
twoscomp__t29_twoscomp.vmin1out
2024-08-03 10:21
7.7K
twoscomp__t29_twoscomp.vout
2024-08-03 09:01
8.0K
twoscomp__t30_twoscomp
2024-07-28 18:43
21K
twoscomp__t30_twoscomp.depv1
2024-08-03 10:19
52
twoscomp__t30_twoscomp.depvmin1
2024-08-03 10:24
52
twoscomp__t30_twoscomp.vmin1
2024-08-03 10:19
537
twoscomp__t30_twoscomp.vmin1out
2024-08-03 10:22
4.2K
twoscomp__t30_twoscomp.vout
2024-08-03 08:59
5.4K
twoscomp__t31_twoscomp
2024-07-28 18:45
24K
twoscomp__t31_twoscomp.depv1
2024-08-03 10:19
95
twoscomp__t31_twoscomp.depvmin1
2024-08-03 10:24
95
twoscomp__t31_twoscomp.vmin1
2024-08-03 10:19
1.4K
twoscomp__t31_twoscomp.vmin1out
2024-08-03 10:22
13K
twoscomp__t31_twoscomp.vout
2024-08-03 06:16
9.6K
twoscomp__t32_twoscomp
2024-07-28 18:46
22K
twoscomp__t32_twoscomp.depv1
2024-08-03 10:19
76
twoscomp__t32_twoscomp.depvmin1
2024-08-03 10:24
76
twoscomp__t32_twoscomp.vmin1
2024-08-03 10:19
834
twoscomp__t32_twoscomp.vmin1out
2024-08-03 10:21
7.6K
twoscomp__t32_twoscomp.vout
2024-08-03 04:23
7.9K
twoscomp__t33_twoscomp
2024-07-28 18:47
21K
twoscomp__t33_twoscomp.depv1
2024-08-03 10:19
72
twoscomp__t33_twoscomp.depvmin1
2024-08-03 10:24
72
twoscomp__t33_twoscomp.vmin1
2024-08-03 10:19
680
twoscomp__t33_twoscomp.vmin1out
2024-08-03 10:23
7.7K
twoscomp__t33_twoscomp.vout
2024-08-03 10:08
8.0K
twoscomp__t34_twoscomp
2024-07-28 18:48
21K
twoscomp__t34_twoscomp.depv1
2024-08-03 10:19
52
twoscomp__t34_twoscomp.depvmin1
2024-08-03 10:24
52
twoscomp__t34_twoscomp.vmin1
2024-08-03 10:19
537
twoscomp__t34_twoscomp.vmin1out
2024-08-03 10:22
4.2K
twoscomp__t34_twoscomp.vout
2024-08-03 07:07
5.4K
twoscomp__t35_twoscomp
2024-07-28 18:50
23K
twoscomp__t35_twoscomp.depv1
2024-08-03 10:19
136
twoscomp__t35_twoscomp.depvmin1
2024-08-03 10:24
136
twoscomp__t35_twoscomp.vmin1
2024-08-03 10:19
1.8K
twoscomp__t35_twoscomp.vmin1out
2024-08-03 10:22
18K
twoscomp__t35_twoscomp.vout
2024-08-03 04:42
16K
twoscomp__t36_twoscomp
2024-07-28 18:51
23K
twoscomp__t36_twoscomp.depv1
2024-08-03 10:19
143
twoscomp__t36_twoscomp.depvmin1
2024-08-03 10:24
143
twoscomp__t36_twoscomp.vmin1
2024-08-03 10:19
2.1K
twoscomp__t36_twoscomp.vmin1out
2024-08-03 10:21
24K
twoscomp__t36_twoscomp.vout
2024-08-03 04:40
27K
twoscomp__t37_twoscomp
2024-07-28 18:52
26K
twoscomp__t37_twoscomp.vout
2024-08-03 07:40
4.7K
twoscomp__t38_twoscomp
2024-07-28 18:54
27K
twoscomp__t38_twoscomp.depv1
2024-08-03 10:19
149
twoscomp__t38_twoscomp.depvmin1
2024-08-03 10:24
149
twoscomp__t38_twoscomp.vmin1
2024-08-03 10:19
2.0K
twoscomp__t38_twoscomp.vmin1out
2024-08-03 10:23
17K
twoscomp__t38_twoscomp.vout
2024-08-03 05:31
20K
twoscomp__t39_twoscomp
2024-07-28 18:55
24K
twoscomp__t39_twoscomp.depv1
2024-08-03 10:19
75
twoscomp__t39_twoscomp.depvmin1
2024-08-03 10:24
36
twoscomp__t39_twoscomp.vmin1
2024-08-03 10:19
1.0K
twoscomp__t39_twoscomp.vmin1out
2024-08-03 10:23
7.5K
twoscomp__t39_twoscomp.vout
2024-08-03 08:32
12K
twoscomp__t40_twoscomp
2024-07-28 18:57
25K
twoscomp__t40_twoscomp.vout
2024-08-03 06:35
8.4K
twoscomp__t41_twoscomp
2024-07-28 18:58
23K
twoscomp__t41_twoscomp.depv1
2024-08-03 10:19
98
twoscomp__t41_twoscomp.depvmin1
2024-08-03 10:24
98
twoscomp__t41_twoscomp.vmin1
2024-08-03 10:19
945
twoscomp__t41_twoscomp.vmin1out
2024-08-03 10:22
11K
twoscomp__t41_twoscomp.vout
2024-08-03 05:33
10K
twoscomp__t42_twoscomp
2024-07-28 18:59
23K
twoscomp__t42_twoscomp.depv1
2024-08-03 10:19
78
twoscomp__t42_twoscomp.depvmin1
2024-08-03 10:24
39
twoscomp__t42_twoscomp.vmin1
2024-08-03 10:19
802
twoscomp__t42_twoscomp.vmin1out
2024-08-03 10:21
4.0K
twoscomp__t42_twoscomp.vout
2024-08-03 06:08
7.7K
twoscomp__t43_twoscomp
2024-07-28 19:01
37K
twoscomp__t43_twoscomp.vout
2024-08-03 05:49
5.8K
twoscomp__t44_twoscomp
2024-07-28 19:03
46K
twoscomp__t44_twoscomp.depv1
2024-08-03 10:19
275
twoscomp__t44_twoscomp.depvmin1
2024-08-03 10:24
79
twoscomp__t44_twoscomp.vmin1
2024-08-03 10:19
3.2K
twoscomp__t44_twoscomp.vmin1out
2024-08-03 10:21
30K
twoscomp__t44_twoscomp.vout
2024-08-03 04:18
36K
twoscomp__t45_twoscomp
2024-07-28 19:04
41K
twoscomp__t45_twoscomp.vout
2024-08-03 07:44
5.8K
twoscomp__t46_twoscomp
2024-07-28 19:06
50K
twoscomp__t46_twoscomp.depv1
2024-08-03 10:19
144
twoscomp__t46_twoscomp.depvmin1
2024-08-03 10:24
144
twoscomp__t46_twoscomp.vmin1
2024-08-03 10:19
2.6K
twoscomp__t46_twoscomp.vmin1out
2024-08-03 10:20
39K
twoscomp__t46_twoscomp.vout
2024-08-03 06:34
39K
twoscomp__t47_twoscomp
2024-07-28 19:08
37K
twoscomp__t47_twoscomp.vout
2024-08-03 08:40
5.8K
twoscomp__t48_twoscomp
2024-07-28 19:10
40K
twoscomp__t48_twoscomp.depv1
2024-08-03 10:19
120
twoscomp__t48_twoscomp.depvmin1
2024-08-03 10:24
120
twoscomp__t48_twoscomp.vmin1
2024-08-03 10:19
2.2K
twoscomp__t48_twoscomp.vmin1out
2024-08-03 10:22
32K
twoscomp__t48_twoscomp.vout
2024-08-03 04:51
28K
twoscomp__t49_twoscomp
2024-07-28 19:11
42K
twoscomp__t49_twoscomp.vout
2024-08-03 08:30
5.8K
twoscomp__t50_twoscomp
2024-07-28 19:13
45K
twoscomp__t50_twoscomp.depv1
2024-08-03 10:19
172
twoscomp__t50_twoscomp.depvmin1
2024-08-03 10:24
172
twoscomp__t50_twoscomp.vmin1
2024-08-03 10:19
2.7K
twoscomp__t50_twoscomp.vmin1out
2024-08-03 10:23
40K
twoscomp__t50_twoscomp.vout
2024-08-03 06:18
36K
twoscomp__t51_twoscomp
2024-07-28 18:04
35K
twoscomp__t51_twoscomp.depv1
2024-08-03 10:19
143
twoscomp__t51_twoscomp.depvmin1
2024-08-03 10:24
65
twoscomp__t51_twoscomp.vmin1
2024-08-03 10:19
2.7K
twoscomp__t51_twoscomp.vmin1out
2024-08-03 10:22
19K
twoscomp__t51_twoscomp.vout
2024-08-03 07:12
34K
twoscomp__t52_twoscomp
2024-07-28 18:06
52K
twoscomp__t52_twoscomp.depv1
2024-08-03 10:19
158
twoscomp__t52_twoscomp.depvmin1
2024-08-03 10:24
91
twoscomp__t52_twoscomp.vmin1
2024-08-03 10:19
2.9K
twoscomp__t52_twoscomp.vmin1out
2024-08-03 10:23
49K
twoscomp__t52_twoscomp.vout
2024-08-03 08:59
45K
twoscomp__t53_twoscomp
2024-07-28 19:15
40K
twoscomp__t53_twoscomp.vout
2024-08-03 06:42
5.8K
twoscomp__t54_twoscomp
2024-07-28 18:07
21K
twoscomp__t54_twoscomp.depv1
2024-08-03 10:19
25
twoscomp__t54_twoscomp.depvmin1
2024-08-03 10:24
25
twoscomp__t54_twoscomp.vmin1
2024-08-03 10:19
422
twoscomp__t54_twoscomp.vmin1out
2024-08-03 10:22
3.8K
twoscomp__t54_twoscomp.vout
2024-08-03 06:43
3.8K
twoscomp__t55_twoscomp
2024-07-28 18:08
24K
twoscomp__t55_twoscomp.depv1
2024-08-03 10:19
25
twoscomp__t55_twoscomp.depvmin1
2024-08-03 10:24
25
twoscomp__t55_twoscomp.vmin1
2024-08-03 10:19
448
twoscomp__t55_twoscomp.vmin1out
2024-08-03 10:20
3.9K
twoscomp__t55_twoscomp.vout
2024-08-03 04:37
4.0K
twoscomp__t56_twoscomp
2024-07-28 18:09
24K
twoscomp__t56_twoscomp.depv1
2024-08-03 10:19
26
twoscomp__t56_twoscomp.depvmin1
2024-08-03 10:24
26
twoscomp__t56_twoscomp.vmin1
2024-08-03 10:19
449
twoscomp__t56_twoscomp.vmin1out
2024-08-03 10:21
3.9K
twoscomp__t56_twoscomp.vout
2024-08-03 08:32
4.0K
twoscomp__t57_twoscomp
2024-07-28 18:10
24K
twoscomp__t57_twoscomp.depv1
2024-08-03 10:19
25
twoscomp__t57_twoscomp.depvmin1
2024-08-03 10:24
25
twoscomp__t57_twoscomp.vmin1
2024-08-03 10:19
422
twoscomp__t57_twoscomp.vmin1out
2024-08-03 10:20
3.8K
twoscomp__t57_twoscomp.vout
2024-08-03 06:04
3.8K
twoscomp__t58_twoscomp
2024-07-28 18:11
24K
twoscomp__t58_twoscomp.depv1
2024-08-03 10:19
26
twoscomp__t58_twoscomp.depvmin1
2024-08-03 10:24
26
twoscomp__t58_twoscomp.vmin1
2024-08-03 10:19
583
twoscomp__t58_twoscomp.vmin1out
2024-08-03 10:23
5.4K
twoscomp__t58_twoscomp.vout
2024-08-03 09:23
5.8K
twoscomp__t59_twoscomp
2024-07-28 18:12
28K
twoscomp__t59_twoscomp.depv1
2024-08-03 10:19
26
twoscomp__t59_twoscomp.depvmin1
2024-08-03 10:24
26
twoscomp__t59_twoscomp.vmin1
2024-08-03 10:19
607
twoscomp__t59_twoscomp.vmin1out
2024-08-03 10:20
5.6K
twoscomp__t59_twoscomp.vout
2024-08-03 10:05
5.7K
twoscomp__t60_twoscomp
2024-07-28 18:13
28K
twoscomp__t60_twoscomp.depv1
2024-08-03 10:19
143
twoscomp__t60_twoscomp.depvmin1
2024-08-03 10:24
143
twoscomp__t60_twoscomp.vmin1
2024-08-03 10:19
1.3K
twoscomp__t60_twoscomp.vmin1out
2024-08-03 10:21
11K
twoscomp__t60_twoscomp.vout
2024-08-03 06:21
12K
twoscomp__t61_twoscomp
2024-07-28 18:14
28K
twoscomp__t61_twoscomp.depv1
2024-08-03 10:19
143
twoscomp__t61_twoscomp.depvmin1
2024-08-03 10:24
143
twoscomp__t61_twoscomp.vmin1
2024-08-03 10:19
1.3K
twoscomp__t61_twoscomp.vmin1out
2024-08-03 10:20
12K
twoscomp__t61_twoscomp.vout
2024-08-03 06:51
12K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80