Index of /~mptp/1147/MPTP2/ilp0/matrix17
Name
Last modified
Size
Description
Parent Directory
-
matrix17__50_11.min1.thm1
2017-02-06 12:46
533
matrix17__51_18.min1.thm1
2017-02-06 12:46
951
matrix17__53_18.min1.thm1
2017-02-06 12:46
1.1K
matrix17__54_10.min1.thm1
2017-02-06 12:46
524
matrix17__55_19.min1.thm1
2017-02-06 12:46
1.1K
matrix17__57_18.min1.thm1
2017-02-06 12:46
1.1K
matrix17__67_33.min1.thm1
2017-02-06 12:46
526
matrix17__67_33.min1.thm1.tptp
2017-02-06 16:47
458
matrix17__68_17.min1.thm1
2017-02-06 12:46
834
matrix17__89_32.min1.thm1
2017-02-06 12:46
1.5K
matrix17__91_36.min1.thm1
2017-02-06 12:46
550
matrix17__91_36.min1.thm1.tptp
2017-02-06 16:47
482
matrix17__103_15.min1.thm1
2017-02-06 12:46
1.7K
matrix17__115_34.min1.thm1
2017-02-06 12:46
1.4K
matrix17__120_37.min1.thm1
2017-02-06 12:46
1.8K
matrix17__121_35.min1.thm1
2017-02-06 12:46
802
matrix17__123_33.min1.thm1
2017-02-06 12:46
1.0K
matrix17__125_34.min1.thm1
2017-02-06 12:46
550
matrix17__125_34.min1.thm1.tptp
2017-02-06 16:47
482
matrix17__129_21.min1.thm1
2017-02-06 12:46
746
matrix17__129_21.min1.thm1.tptp
2017-02-06 16:47
664
matrix17__145_35.min1.thm1
2017-02-06 12:46
1.5K
matrix17__148_31.min1.thm1
2017-02-06 12:46
852
matrix17__149_64.min1.thm1
2017-02-06 12:46
1.7K
matrix17__154_19.min1.thm1
2017-02-06 12:46
790
matrix17__154_19.min1.thm1.tptp
2017-02-06 16:47
708
matrix17__166_34.min1.thm1
2017-02-06 12:46
1.4K
matrix17__171_35.min1.thm1
2017-02-06 12:46
1.5K
matrix17__174_31.min1.thm1
2017-02-06 12:46
550
matrix17__174_31.min1.thm1.tptp
2017-02-06 16:47
482
matrix17__175_25.min1.thm1
2017-02-06 12:46
1.6K
matrix17__179_19.min1.thm1
2017-02-06 12:46
836
matrix17__179_19.min1.thm1.tptp
2017-02-06 16:47
754
matrix17__189_16.min1.thm1
2017-02-06 12:46
3.7K
matrix17__190_16.min1.thm1
2017-02-06 12:46
3.4K
matrix17__202_34.min1.thm1
2017-02-06 12:46
1.4K
matrix17__207_31.min1.thm1
2017-02-06 12:46
1.6K
matrix17__209_30.min1.thm1
2017-02-06 12:46
560
matrix17__209_30.min1.thm1.tptp
2017-02-06 16:47
492
matrix17__211_31.min1.thm1
2017-02-06 12:46
560
matrix17__211_31.min1.thm1.tptp
2017-02-06 16:47
492
matrix17__212_46.min1.thm1
2017-02-06 12:46
892
matrix17__215_43.min1.thm1
2017-02-06 12:46
1.0K
matrix17__215_43.min1.thm1.tptp
2017-02-06 16:47
915
matrix17__231_34.min1.thm1
2017-02-06 12:46
1.8K
matrix17__232_34.min1.thm1
2017-02-06 12:46
1.5K
matrix17__239_31.min1.thm1
2017-02-06 12:46
560
matrix17__239_31.min1.thm1.tptp
2017-02-06 16:47
492
matrix17__251_33.min1.thm1
2017-02-06 12:46
1.8K
matrix17__252_16.min1.thm1
2017-02-06 12:46
1.4K
matrix17__253_34.min1.thm1
2017-02-06 12:46
1.5K
matrix17__260_31.min1.thm1
2017-02-06 12:46
561
matrix17__260_31.min1.thm1.tptp
2017-02-06 16:47
493
matrix17__285_31.min1.thm1
2017-02-06 12:46
1.4K
matrix17__287_38.min1.thm1
2017-02-06 12:46
560
matrix17__287_38.min1.thm1.tptp
2017-02-06 16:47
492
matrix17__290_17.min1.thm1
2017-02-06 12:46
896
matrix17__323_34.min1.thm1
2017-02-06 12:46
1.4K
matrix17__328_37.min1.thm1
2017-02-06 12:46
1.9K
matrix17__329_35.min1.thm1
2017-02-06 12:46
822
matrix17__331_33.min1.thm1
2017-02-06 12:46
1.0K
matrix17__333_34.min1.thm1
2017-02-06 12:46
560
matrix17__333_34.min1.thm1.tptp
2017-02-06 16:47
492
matrix17__337_21.min1.thm1
2017-02-06 12:46
831
matrix17__337_21.min1.thm1.tptp
2017-02-06 16:47
749
matrix17__353_35.min1.thm1
2017-02-06 12:46
1.5K
matrix17__356_31.min1.thm1
2017-02-06 12:46
871
matrix17__357_64.min1.thm1
2017-02-06 12:46
1.7K
matrix17__363_19.min1.thm1
2017-02-06 12:46
878
matrix17__363_19.min1.thm1.tptp
2017-02-06 16:47
796
matrix17__375_34.min1.thm1
2017-02-06 12:46
1.4K
matrix17__380_35.min1.thm1
2017-02-06 12:46
1.5K
matrix17__383_31.min1.thm1
2017-02-06 12:46
560
matrix17__383_31.min1.thm1.tptp
2017-02-06 16:47
492
matrix17__384_25.min1.thm1
2017-02-06 12:46
1.6K
matrix17__389_19.min1.thm1
2017-02-06 12:46
927
matrix17__389_19.min1.thm1.tptp
2017-02-06 16:47
845
matrix17__399_16.min1.thm1
2017-02-06 12:46
3.7K
matrix17__400_16.min1.thm1
2017-02-06 12:46
3.4K
matrix17__412_34.min1.thm1
2017-02-06 12:46
1.4K
matrix17__417_31.min1.thm1
2017-02-06 12:46
1.6K
matrix17__419_30.min1.thm1
2017-02-06 12:46
560
matrix17__419_30.min1.thm1.tptp
2017-02-06 16:47
492
matrix17__421_31.min1.thm1
2017-02-06 12:46
560
matrix17__421_31.min1.thm1.tptp
2017-02-06 16:47
492
matrix17__422_46.min1.thm1
2017-02-06 12:46
892
matrix17__425_43.min1.thm1
2017-02-06 12:46
1.0K
matrix17__425_43.min1.thm1.tptp
2017-02-06 16:47
915
matrix17__454_32.min1.thm1
2017-02-06 12:46
1.5K
matrix17__456_36.min1.thm1
2017-02-06 12:46
560
matrix17__456_36.min1.thm1.tptp
2017-02-06 16:47
492
matrix17__468_15.min1.thm1
2017-02-06 12:46
1.7K
matrix17__480_34.min1.thm1
2017-02-06 12:46
1.4K
matrix17__485_37.min1.thm1
2017-02-06 12:46
1.9K
matrix17__486_35.min1.thm1
2017-02-06 12:46
822
matrix17__488_33.min1.thm1
2017-02-06 12:46
1.0K
matrix17__490_34.min1.thm1
2017-02-06 12:46
560
matrix17__490_34.min1.thm1.tptp
2017-02-06 16:47
492
matrix17__494_21.min1.thm1
2017-02-06 12:46
773
matrix17__494_21.min1.thm1.tptp
2017-02-06 16:47
691
matrix17__510_35.min1.thm1
2017-02-06 12:46
1.5K
matrix17__513_31.min1.thm1
2017-02-06 12:46
871
matrix17__514_64.min1.thm1
2017-02-06 12:46
1.7K
matrix17__519_19.min1.thm1
2017-02-06 12:46
820
matrix17__519_19.min1.thm1.tptp
2017-02-06 16:47
738
matrix17__531_34.min1.thm1
2017-02-06 12:46
1.4K
matrix17__536_35.min1.thm1
2017-02-06 12:46
1.5K
matrix17__539_31.min1.thm1
2017-02-06 12:46
560
matrix17__539_31.min1.thm1.tptp
2017-02-06 16:47
492
matrix17__540_25.min1.thm1
2017-02-06 12:46
1.6K
matrix17__544_19.min1.thm1
2017-02-06 12:46
869
matrix17__544_19.min1.thm1.tptp
2017-02-06 16:47
787
matrix17__554_16.min1.thm1
2017-02-06 12:46
3.7K
matrix17__555_16.min1.thm1
2017-02-06 12:46
3.4K
matrix17__567_34.min1.thm1
2017-02-06 12:46
1.4K
matrix17__572_31.min1.thm1
2017-02-06 12:46
1.6K
matrix17__574_30.min1.thm1
2017-02-06 12:46
560
matrix17__574_30.min1.thm1.tptp
2017-02-06 16:47
492
matrix17__576_31.min1.thm1
2017-02-06 12:46
560
matrix17__576_31.min1.thm1.tptp
2017-02-06 16:47
492
matrix17__577_46.min1.thm1
2017-02-06 12:46
892
matrix17__580_43.min1.thm1
2017-02-06 12:46
1.0K
matrix17__580_43.min1.thm1.tptp
2017-02-06 16:47
915
matrix17__596_34.min1.thm1
2017-02-06 12:46
1.5K
matrix17__603_57.min1.thm1
2017-02-06 12:46
695
matrix17__603_57.min1.thm1.tptp
2017-02-06 16:47
627
matrix17__606_20.min1.thm1
2017-02-06 12:46
1.5K
matrix17__618_19.min1.thm1
2017-02-06 12:46
1.3K
matrix17__621_25.min1.thm1
2017-02-06 12:46
697
matrix17__622_21.min1.thm1
2017-02-06 12:46
1.0K
matrix17__624_20.min1.thm1
2017-02-06 12:46
1.3K
matrix17__625_19.min1.thm1
2017-02-06 12:46
1.1K
matrix17__632_22.min1.thm1
2017-02-06 12:46
1.2K
matrix17__636_20.min1.thm1
2017-02-06 12:46
717
matrix17__637_23.min1.thm1
2017-02-06 12:46
841
matrix17__638_26.min1.thm1
2017-02-06 12:46
1.0K
matrix17__641_14.min1.thm1
2017-02-06 12:46
937
matrix17__643_18.min1.thm1
2017-02-06 12:46
1.5K
matrix17__647_46.min1.thm1
2017-02-06 12:46
1.4K
matrix17__660_28.min1.thm1
2017-02-06 12:46
536
matrix17__660_28.min1.thm1.tptp
2017-02-06 16:47
468
matrix17__661_17.min1.thm1
2017-02-06 12:46
1.0K
matrix17__679_25.min1.thm1
2017-02-06 12:46
570
matrix17__688_42.min1.thm1
2017-02-06 12:46
2.8K
matrix17__689_21.min1.thm1
2017-02-06 12:46
2.9K
matrix17__695_33.min1.thm1
2017-02-06 12:46
775
matrix17__697_22.min1.thm1
2017-02-06 12:46
693
matrix17__699_19.min1.thm1
2017-02-06 12:46
1.0K
matrix17__703_32.min1.thm1
2017-02-06 12:46
1.9K
matrix17__704_21.min1.thm1
2017-02-06 12:46
2.7K
matrix17__713_21.min1.thm1
2017-02-06 12:46
2.5K
matrix17__714_38.min1.thm1
2017-02-06 12:46
2.1K
matrix17__715_17.min1.thm1
2017-02-06 12:46
1.4K
matrix17__716_18.min1.thm1
2017-02-06 12:46
1.1K
matrix17__717_30.min1.thm1
2017-02-06 12:46
2.0K
matrix17__718_21.min1.thm1
2017-02-06 12:46
1.3K
matrix17__726_28.min1.thm1
2017-02-06 12:46
1.6K
matrix17__731_47.min1.thm1
2017-02-06 12:46
1.7K
matrix17__734_34.min1.thm1
2017-02-06 12:46
2.9K
matrix17__735_19.min1.thm1
2017-02-06 12:46
1.9K
matrix17__744_33.min1.thm1
2017-02-06 12:46
793
matrix17__745_21.min1.thm1
2017-02-06 12:46
713
matrix17__746_23.min1.thm1
2017-02-06 12:46
1.0K
matrix17__749_25.min1.thm1
2017-02-06 12:46
2.3K
matrix17__750_21.min1.thm1
2017-02-06 12:46
1.3K
matrix17__755_37.min1.thm1
2017-02-06 12:46
1.2K
matrix17__759_20.min1.thm1
2017-02-06 12:46
1.8K
matrix17__761_40.min1.thm1
2017-02-06 12:46
2.4K
matrix17__762_15.min1.thm1
2017-02-06 12:46
1.5K
matrix17__771_21.min1.thm1
2017-02-06 12:46
2.5K
matrix17__772_17.min1.thm1
2017-02-06 12:46
1.4K
matrix17__773_39.min1.thm1
2017-02-06 12:46
1.9K
matrix17__774_55.min1.thm1
2017-02-06 12:46
461
matrix17__774_55.min1.thm1.tptp
2017-02-06 16:47
383
matrix17__779_34.min1.thm1
2017-02-06 12:46
1.5K
matrix17__789_32.min1.thm1
2017-02-06 12:46
1.4K
matrix17__803_34.min1.thm1
2017-02-06 12:46
729
matrix17__805_21.min1.thm1
2017-02-06 12:46
713
matrix17__806_23.min1.thm1
2017-02-06 12:46
1.0K
matrix17__810_23.min1.thm1
2017-02-06 12:46
1.1K
matrix17__826_21.min1.thm1
2017-02-06 12:46
2.5K
matrix17__827_34.min1.thm1
2017-02-06 12:46
1.5K
matrix17__828_41.min1.thm1
2017-02-06 12:46
2.1K
matrix17__829_17.min1.thm1
2017-02-06 12:46
1.4K
matrix17__830_18.min1.thm1
2017-02-06 12:46
1.1K
matrix17__834_21.min1.thm1
2017-02-06 12:46
2.5K
matrix17__835_35.min1.thm1
2017-02-06 12:46
1.5K
matrix17__836_17.min1.thm1
2017-02-06 12:46
373
matrix17__837_18.min1.thm1
2017-02-06 12:46
1.4K
matrix17__838_21.min1.thm1
2017-02-06 12:46
1.1K
matrix17__843_23.min1.thm1
2017-02-06 12:46
2.0K
matrix17__844_31.min1.thm1
2017-02-06 12:46
1.8K
matrix17__860_16.min1.thm1
2017-02-06 12:46
916
matrix17__869_33.min1.thm1
2017-02-06 12:46
761
matrix17__871_21.min1.thm1
2017-02-06 12:46
713
matrix17__872_23.min1.thm1
2017-02-06 12:46
1.0K
matrix17__876_30.min1.thm1
2017-02-06 12:46
2.0K
matrix17__883_16.min1.thm1
2017-02-06 12:46
761
matrix17__908_14.min1.thm1
2017-02-06 12:46
687
matrix17__915_28.min1.thm1
2017-02-06 12:46
2.2K
matrix17__921_15.min1.thm1
2017-02-06 12:46
349
matrix17__933_20.min1.thm1
2017-02-06 12:46
2.5K
matrix17__944_45.min1.thm1
2017-02-06 12:46
1.3K
matrix17__955_15.min1.thm1
2017-02-06 12:46
1.7K
matrix17__972_20.min1.thm1
2017-02-06 12:46
1.8K
matrix17__973_24.min1.thm1
2017-02-06 12:46
681
matrix17__975_24.min1.thm1
2017-02-06 12:46
1.4K
matrix17__980_35.min1.thm1
2017-02-06 12:46
691
matrix17__984_25.min1.thm1
2017-02-06 12:46
1.0K
matrix17__985_35.min1.thm1
2017-02-06 12:46
641
matrix17__987_26.min1.thm1
2017-02-06 12:46
641
matrix17__995_36.min1.thm1
2017-02-06 12:46
691
matrix17__999_27.min1.thm1
2017-02-06 12:46
1.0K
matrix17__1000_37.min1.thm1
2017-02-06 12:46
641
matrix17__1002_26.min1.thm1
2017-02-06 12:46
641
matrix17__1017_39.min1.thm1
2017-02-06 12:46
1.7K
matrix17__1018_39.min1.thm1
2017-02-06 12:46
3.0K
matrix17__1022_6.min1.thm1
2017-02-06 12:46
2.9K
matrix17__1023_19.min1.thm1
2017-02-06 12:46
1.9K
matrix17__1037_39.min1.thm1
2017-02-06 12:46
1.7K
matrix17__1038_14.min1.thm1
2017-02-06 12:46
1.4K
matrix17__1039_18.min1.thm1
2017-02-06 12:46
1.1K
matrix17__1042_39.min1.thm1
2017-02-06 12:46
1.7K
matrix17__1043_17.min1.thm1
2017-02-06 12:46
377
matrix17__1044_14.min1.thm1
2017-02-06 12:46
1.4K
matrix17__1045_21.min1.thm1
2017-02-06 12:46
1.1K
matrix17__1049_23.min1.thm1
2017-02-06 12:46
2.1K
matrix17__1053_17.min1.thm1
2017-02-06 12:46
2.0K
matrix17__1067_39.min1.thm1
2017-02-06 12:46
1.7K
matrix17__1068_55.min1.thm1
2017-02-06 12:46
481
matrix17__1068_55.min1.thm1.tptp
2017-02-06 16:47
403
matrix17__1076_4.min1.thm1
2017-02-06 12:46
2.4K
matrix17__1077_17.min1.thm1
2017-02-06 12:46
1.9K
matrix17__1087_16.min1.thm1
2017-02-06 12:46
3.7K
matrix17__1088_16.min1.thm1
2017-02-06 12:46
3.5K
matrix17__1100_38.min1.thm1
2017-02-06 12:46
1.0K
matrix17__1101_24.min1.thm1
2017-02-06 12:46
681
matrix17__1102_26.min1.thm1
2017-02-06 12:46
1.4K
matrix17__1104_61.min1.thm1
2017-02-06 12:46
1.2K
matrix17__1106_16.min1.thm1
2017-02-06 12:46
579
matrix17__1115_39.min1.thm1
2017-02-06 12:46
1.5K
matrix17__1116_55.min1.thm1
2017-02-06 12:46
461
matrix17__1116_55.min1.thm1.tptp
2017-02-06 16:47
383
matrix17__1122_41.min1.thm1
2017-02-06 12:46
2.9K
matrix17__1124_16.min1.thm1
2017-02-06 12:46
361
matrix17__1131_49.min1.thm1
2017-02-06 12:46
2.9K
matrix17__1132_41.min1.thm1
2017-02-06 12:46
2.8K
matrix17__1133_55.min1.thm1
2017-02-06 12:46
461
matrix17__1133_55.min1.thm1.tptp
2017-02-06 16:47
383
matrix17__1139_43.min1.thm1
2017-02-06 12:46
1.2K
matrix17__1142_45.min1.thm1
2017-02-06 12:46
1.7K
matrix17__1150_15.min1.thm1
2017-02-06 12:46
331
matrix17__1155_32.min1.thm1
2017-02-06 12:46
1.2K
matrix17__1161_19.min1.thm1
2017-02-06 12:46
830
matrix17__1167_21.min1.thm1
2017-02-06 12:46
2.0K
matrix17__1168_23.min1.thm1
2017-02-06 12:46
1.0K
matrix17__1172_21.min1.thm1
2017-02-06 12:46
1.1K
matrix17__1178_19.min1.thm1
2017-02-06 12:46
831
matrix17__1181_16.min1.thm1
2017-02-06 12:46
818
matrix17__1197_39.min1.thm1
2017-02-06 12:46
1.6K
matrix17__1198_18.min1.thm1
2017-02-06 12:46
1.0K
matrix17__1199_16.min1.thm1
2017-02-06 12:46
1.1K
matrix17__1203_39.min1.thm1
2017-02-06 12:46
1.5K
matrix17__1209_16.min1.thm1
2017-02-06 12:46
394
matrix17__1222_4.min1.thm1
2017-02-06 12:46
3.4K
matrix17__1225_18.min1.thm1
2017-02-06 12:46
1.0K
matrix17__1226_45.min1.thm1
2017-02-06 12:46
1.7K
matrix17__1227_30.min1.thm1
2017-02-06 12:46
1.8K
matrix17__1228_41.min1.thm1
2017-02-06 12:46
2.8K
matrix17__1229_16.min1.thm1
2017-02-06 12:46
1.1K
matrix17__1240_15.min1.thm1
2017-02-06 12:46
419
matrix17__1251_21.min1.thm1
2017-02-06 12:46
1.1K
matrix17__1257_24.min1.thm1
2017-02-06 12:46
2.0K
matrix17__1258_23.min1.thm1
2017-02-06 12:46
1.0K
matrix17__1262_31.min1.thm1
2017-02-06 12:46
2.0K
matrix17__1269_21.min1.thm1
2017-02-06 12:46
1.1K
matrix17__1272_16.min1.thm1
2017-02-06 12:46
1.1K
matrix17__1274_52.min1.thm1
2017-02-06 12:46
2.9K
matrix17__1283_22.min1.thm1
2017-02-06 12:46
1.3K
matrix17__1286_39.min1.thm1
2017-02-06 12:46
1.5K
matrix17__1291_16.min1.thm1
2017-02-06 12:46
392
matrix17__1298_22.min1.thm1
2017-02-06 12:46
1.3K
matrix17__1301_44.min1.thm1
2017-02-06 12:46
1.3K
matrix17__1304_41.min1.thm1
2017-02-06 12:46
2.8K
matrix17__1305_45.min1.thm1
2017-02-06 12:46
1.7K
matrix17__1310_30.min1.thm1
2017-02-06 12:46
2.0K
matrix17__1314_15.min1.thm1
2017-02-06 12:46
331
matrix17__1318_23.min1.thm1
2017-02-06 12:46
1.0K
matrix17__1321_38.min1.thm1
2017-02-06 12:46
2.8K
matrix17__1324_49.min1.thm1
2017-02-06 12:46
1.6K
matrix17__1327_21.min1.thm1
2017-02-06 12:46
894
matrix17__1333_22.min1.thm1
2017-02-06 12:46
2.0K
matrix17__1334_24.min1.thm1
2017-02-06 12:46
1.0K
matrix17__1338_26.min1.thm1
2017-02-06 12:46
2.2K
matrix17__1339_23.min1.thm1
2017-02-06 12:46
1.1K
matrix17__1344_39.min1.thm1
2017-02-06 12:46
1.2K
matrix17__1347_21.min1.thm1
2017-02-06 12:46
896
matrix17__1350_18.min1.thm1
2017-02-06 12:46
882
matrix17__1352_52.min1.thm1
2017-02-06 12:46
2.9K
matrix17__1361_22.min1.thm1
2017-02-06 12:46
1.3K
matrix17__1362_57.min1.thm1
2017-02-06 12:46
461
matrix17__1362_57.min1.thm1.tptp
2017-02-06 16:47
383
matrix17__1367_4.min1.thm1
2017-02-06 12:46
1.5K
matrix17__1380_51.min1.thm1
2017-02-06 12:46
2.9K
matrix17__1381_47.min1.thm1
2017-02-06 12:46
3.1K
matrix17__1385_14.min1.thm1
2017-02-06 12:46
1.1K
matrix17__1398_9.min1.thm1
2017-02-06 12:46
1.7K
matrix17__1399_18.min1.thm1
2017-02-06 12:46
1.4K
matrix17__1400_54.min1.thm1
2017-02-06 12:46
1.9K
matrix17__1403_14.min1.thm1
2017-02-06 12:46
1.2K
matrix17__1411_39.min1.thm1
2017-02-06 12:46
1.7K
matrix17__1412_34.min1.thm1
2017-02-06 12:46
1.5K
matrix17__1413_27.min1.thm1
2017-02-06 12:46
1.5K
matrix17__1414_37.min1.thm1
2017-02-06 12:46
1.7K
matrix17__1421_14.min1.thm1
2017-02-06 12:46
329
matrix17__1424_31.min1.thm1
2017-02-06 12:46
643
matrix17__1426_30.min1.thm1
2017-02-06 12:46
556
matrix17__1426_30.min1.thm1.tptp
2017-02-06 16:47
488
matrix17__1434_31.min1.thm1
2017-02-06 12:46
643
matrix17__1436_32.min1.thm1
2017-02-06 12:46
556
matrix17__1436_32.min1.thm1.tptp
2017-02-06 16:47
488
matrix17__1452_17.min1.thm1
2017-02-06 12:46
1.3K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80