Index of /~mptp/7.13.01_4.181.1147/mptp/ilp0/bor_cant
Name
Last modified
Size
Description
Parent Directory
-
bor_cant__55_14.min1.thm1
2017-02-06 12:45
704
bor_cant__74_19.min1.thm1
2017-02-06 12:45
1.0K
bor_cant__76_18.min1.thm1
2017-02-06 12:45
1.5K
bor_cant__84_29.min1.thm1
2017-02-06 12:45
1.4K
bor_cant__88_20.min1.thm1
2017-02-06 12:45
606
bor_cant__106_17.min1.thm1
2017-02-06 12:45
1.5K
bor_cant__114_28.min1.thm1
2017-02-06 12:45
2.8K
bor_cant__129_36.min1.thm1
2017-02-06 12:45
2.6K
bor_cant__144_26.min1.thm1
2017-02-06 12:45
1.9K
bor_cant__145_13.min1.thm1
2017-02-06 12:45
2.0K
bor_cant__157_64.min1.thm1
2017-02-06 12:45
1.4K
bor_cant__158_40.min1.thm1
2017-02-06 12:45
700
bor_cant__174_10.min1.thm1
2017-02-06 12:45
1.5K
bor_cant__189_16.min1.thm1
2017-02-06 12:45
1.2K
bor_cant__191_24.min1.thm1
2017-02-06 12:45
1.3K
bor_cant__219_46.min1.thm1
2017-02-06 12:45
887
bor_cant__223_27.min1.thm1
2017-02-06 12:45
405
bor_cant__223_27.min1.thm1.tptp
2017-02-06 16:48
330
bor_cant__224_46.min1.thm1
2017-02-06 12:45
900
bor_cant__231_18.min1.thm1
2017-02-06 12:45
1.9K
bor_cant__234_18.min1.thm1
2017-02-06 12:45
2.2K
bor_cant__240_15.min1.thm1
2017-02-06 12:45
228
bor_cant__268_19.min1.thm1
2017-02-06 12:45
230
bor_cant__271_15.min1.thm1
2017-02-06 12:45
1.1K
bor_cant__279_22.min1.thm1
2017-02-06 12:45
1.6K
bor_cant__281_28.min1.thm1
2017-02-06 12:45
1.6K
bor_cant__285_46.min1.thm1
2017-02-06 12:45
1.3K
bor_cant__286_36.min1.thm1
2017-02-06 12:45
1.8K
bor_cant__291_29.min1.thm1
2017-02-06 12:45
1.1K
bor_cant__293_46.min1.thm1
2017-02-06 12:45
2.7K
bor_cant__294_49.min1.thm1
2017-02-06 12:45
2.6K
bor_cant__295_28.min1.thm1
2017-02-06 12:45
4.2K
bor_cant__364_31.min1.thm1
2017-02-06 12:45
957
bor_cant__371_20.min1.thm1
2017-02-06 12:45
884
bor_cant__371_20.min1.thm1.tptp
2017-02-06 16:48
803
bor_cant__377_55.min1.thm1
2017-02-06 12:45
882
bor_cant__377_55.min1.thm1.tptp
2017-02-06 16:48
801
bor_cant__381_37.min1.thm1
2017-02-06 12:45
564
bor_cant__392_22.min1.thm1
2017-02-06 12:45
1.9K
bor_cant__395_23.min1.thm1
2017-02-06 12:45
3.0K
bor_cant__413_15.min1.thm1
2017-02-06 12:45
384
bor_cant__423_32.min1.thm1
2017-02-06 12:45
2.2K
bor_cant__455_13.min1.thm1
2017-02-06 12:45
934
bor_cant__455_13.min1.thm1.tptp
2017-02-06 16:48
857
bor_cant__521_33.min1.thm1
2017-02-06 12:45
1.6K
bor_cant__537_7.min1.thm1
2017-02-06 12:45
2.6K
bor_cant__552_13.min1.thm1
2017-02-06 12:45
900
bor_cant__552_13.min1.thm1.tptp
2017-02-06 16:48
819
bor_cant__573_54.min1.thm1
2017-02-06 12:45
1.0K
bor_cant__574_16.min1.thm1
2017-02-06 12:45
1.9K
bor_cant__588_18.min1.thm1
2017-02-06 12:45
511
bor_cant__597_25.min1.thm1
2017-02-06 12:45
787
bor_cant__598_15.min1.thm1
2017-02-06 12:45
1.7K
bor_cant__610_16.min1.thm1
2017-02-06 12:45
710
bor_cant__619_47.min1.thm1
2017-02-06 12:45
911
bor_cant__620_17.min1.thm1
2017-02-06 12:45
1.8K
bor_cant__642_58.min1.thm1
2017-02-06 12:45
1.1K
bor_cant__643_16.min1.thm1
2017-02-06 12:45
1.9K
bor_cant__660_12.min1.thm1
2017-02-06 12:45
562
bor_cant__663_7.min1.thm1
2017-02-06 12:45
2.2K
bor_cant__667_37.min1.thm1
2017-02-06 12:45
2.0K
bor_cant__669_38.min1.thm1
2017-02-06 12:45
1.9K
bor_cant__675_25.min1.thm1
2017-02-06 12:45
2.6K
bor_cant__689_25.min1.thm1
2017-02-06 12:45
2.6K
bor_cant__696_7.min1.thm1
2017-02-06 12:45
2.2K
bor_cant__710_12.min1.thm1
2017-02-06 12:45
690
bor_cant__715_6.min1.thm1
2017-02-06 12:45
3.2K
bor_cant__752_7.min1.thm1
2017-02-06 12:45
3.3K
bor_cant__768_36.min1.thm1
2017-02-06 12:45
1.7K
bor_cant__769_36.min1.thm1
2017-02-06 12:45
1.7K
bor_cant__835_16.min1.thm1
2017-02-06 12:45
241
bor_cant__839_22.min1.thm1
2017-02-06 12:45
1.8K
bor_cant__847_23.min1.thm1
2017-02-06 12:45
1.8K
bor_cant__860_22.min1.thm1
2017-02-06 12:45
1.9K
bor_cant__886_37.min1.thm1
2017-02-06 12:45
2.0K
bor_cant__889_12.min1.thm1
2017-02-06 12:45
740
bor_cant__899_55.min1.thm1
2017-02-06 12:45
1.6K
bor_cant__901_15.min1.thm1
2017-02-06 12:45
1.9K
bor_cant__928_15.min1.thm1
2017-02-06 12:45
3.0K
bor_cant__929_18.min1.thm1
2017-02-06 12:45
2.3K
bor_cant__949_13.min1.thm1
2017-02-06 12:45
1.7K
bor_cant__950_15.min1.thm1
2017-02-06 12:45
2.3K
bor_cant__952_30.min1.thm1
2017-02-06 12:45
1.7K
bor_cant__955_55.min1.thm1
2017-02-06 12:45
366
bor_cant__975_39.min1.thm1
2017-02-06 12:45
741
bor_cant__975_39.min1.thm1.tptp
2017-02-06 16:48
658
bor_cant__989_46.min1.thm1
2017-02-06 12:45
969
bor_cant__996_29.min1.thm1
2017-02-06 12:45
932
bor_cant__999_46.min1.thm1
2017-02-06 12:45
450
bor_cant__1008_46.min1.thm1
2017-02-06 12:45
961
bor_cant__1017_46.min1.thm1
2017-02-06 12:45
446
bor_cant__1025_7.min1.thm1
2017-02-06 12:45
1.8K
bor_cant__1034_32.min1.thm1
2017-02-06 12:45
1.9K
bor_cant__1035_20.min1.thm1
2017-02-06 12:45
3.3K
bor_cant__1049_41.min1.thm1
2017-02-06 12:45
2.3K
bor_cant__1053_29.min1.thm1
2017-02-06 12:45
2.5K
bor_cant__1056_35.min1.thm1
2017-02-06 12:45
1.0K
bor_cant__1059_41.min1.thm1
2017-02-06 12:45
947
bor_cant__1065_16.min1.thm1
2017-02-06 12:45
335
bor_cant__1067_15.min1.thm1
2017-02-06 12:45
488
bor_cant__1077_30.min1.thm1
2017-02-06 12:45
1.9K
bor_cant__1078_20.min1.thm1
2017-02-06 12:45
3.3K
bor_cant__1091_37.min1.thm1
2017-02-06 12:45
1.9K
bor_cant__1107_29.min1.thm1
2017-02-06 12:45
3.3K
bor_cant__1108_22.min1.thm1
2017-02-06 12:45
3.1K
bor_cant__1119_15.min1.thm1
2017-02-06 12:45
676
bor_cant__1225_13.min1.thm1
2017-02-06 12:45
958
bor_cant__1225_13.min1.thm1.tptp
2017-02-06 16:48
881
bor_cant__1314_15.min1.thm1
2017-02-06 12:45
2.8K
bor_cant__1367_53.min1.thm1
2017-02-06 12:45
264
bor_cant__1368_56.min1.thm1
2017-02-06 12:45
1.8K
bor_cant__1369_54.min1.thm1
2017-02-06 12:45
292
bor_cant__1375_31.min1.thm1
2017-02-06 12:45
3.7K
bor_cant__1376_17.min1.thm1
2017-02-06 12:45
3.5K
bor_cant__1444_38.min1.thm1
2017-02-06 12:45
969
bor_cant__1459_42.min1.thm1
2017-02-06 12:45
961
bor_cant__1574_45.min1.thm1
2017-02-06 12:45
1.0K
bor_cant__1585_31.min1.thm1
2017-02-06 12:45
885
bor_cant__1614_25.min1.thm1
2017-02-06 12:45
2.8K
bor_cant__1615_44.min1.thm1
2017-02-06 12:45
969
bor_cant__1637_67.min1.thm1
2017-02-06 12:45
891
bor_cant__1638_26.min1.thm1
2017-02-06 12:45
1.0K
bor_cant__1647_68.min1.thm1
2017-02-06 12:45
877
bor_cant__1648_27.min1.thm1
2017-02-06 12:45
1.0K
bor_cant__1678_44.min1.thm1
2017-02-06 12:45
969
bor_cant__1683_45.min1.thm1
2017-02-06 12:45
3.3K
bor_cant__1707_40.min1.thm1
2017-02-06 12:45
1.2K
bor_cant__1708_26.min1.thm1
2017-02-06 12:45
1.3K
bor_cant__1719_40.min1.thm1
2017-02-06 12:45
1.2K
bor_cant__1720_27.min1.thm1
2017-02-06 12:45
1.3K
bor_cant__1789_19.min1.thm1
2017-02-06 12:45
1.4K
bor_cant__1789_19.min1.thm1.tptp
2017-02-06 16:48
1.3K
bor_cant__1805_14.min1.thm1
2017-02-06 12:45
2.2K
bor_cant__1877_19.min1.thm1
2017-02-06 12:45
2.3K
bor_cant__1891_15.min1.thm1
2017-02-06 12:45
1.6K
bor_cant__1891_15.min1.thm1.tptp
2017-02-06 16:48
1.5K
bor_cant__1902_32.min1.thm1
2017-02-06 12:45
3.5K
bor_cant__1925_17.min1.thm1
2017-02-06 12:45
2.9K
bor_cant__1926_18.min1.thm1
2017-02-06 12:45
849
bor_cant__1934_45.min1.thm1
2017-02-06 12:45
1.8K
bor_cant__1952_14.min1.thm1
2017-02-06 12:45
1.4K
bor_cant__1959_23.min1.thm1
2017-02-06 12:45
2.9K
bor_cant__2005_17.min1.thm1
2017-02-06 12:45
1.5K
bor_cant__2013_33.min1.thm1
2017-02-06 12:45
877
bor_cant__2026_13.min1.thm1
2017-02-06 12:45
1.7K
bor_cant__2027_20.min1.thm1
2017-02-06 12:45
2.3K
bor_cant__2029_35.min1.thm1
2017-02-06 12:45
1.7K
bor_cant__2049_40.min1.thm1
2017-02-06 12:45
945
bor_cant__2062_51.min1.thm1
2017-02-06 12:45
732
bor_cant__2068_30.min1.thm1
2017-02-06 12:45
628
bor_cant__2069_40.min1.thm1
2017-02-06 12:45
937
bor_cant__2115_18.min1.thm1
2017-02-06 12:45
816
bor_cant__2115_18.min1.thm1.tptp
2017-02-06 16:48
772
bor_cant__2122_31.min1.thm1
2017-02-06 12:45
586
bor_cant__2124_24.min1.thm1
2017-02-06 12:45
1.4K
bor_cant__2125_17.min1.thm1
2017-02-06 12:45
2.8K
bor_cant__2141_21.min1.thm1
2017-02-06 12:45
451
bor_cant__2141_21.min1.thm1.tptp
2017-02-06 16:48
390
bor_cant__2143_27.min1.thm1
2017-02-06 12:45
1.0K
bor_cant__2143_27.min1.thm1.tptp
2017-02-06 16:48
1.0K
bor_cant__2147_21.min1.thm1
2017-02-06 12:45
314
bor_cant__2148_45.min1.thm1
2017-02-06 12:45
969
bor_cant__2149_39.min1.thm1
2017-02-06 12:45
1.0K
bor_cant__2149_39.min1.thm1.tptp
2017-02-06 16:48
958
bor_cant__2166_25.min1.thm1
2017-02-06 12:45
676
bor_cant__2166_25.min1.thm1.tptp
2017-02-06 16:48
599
bor_cant__2167_20.min1.thm1
2017-02-06 12:45
903
bor_cant__2170_51.min1.thm1
2017-02-06 12:45
1.8K
bor_cant__2232_25.min1.thm1
2017-02-06 12:45
816
bor_cant__2232_25.min1.thm1.tptp
2017-02-06 16:48
772
bor_cant__2239_42.min1.thm1
2017-02-06 12:45
586
bor_cant__2241_28.min1.thm1
2017-02-06 12:45
1.4K
bor_cant__2259_21.min1.thm1
2017-02-06 12:45
451
bor_cant__2259_21.min1.thm1.tptp
2017-02-06 16:48
390
bor_cant__2261_27.min1.thm1
2017-02-06 12:45
1.0K
bor_cant__2261_27.min1.thm1.tptp
2017-02-06 16:48
1.0K
bor_cant__2265_21.min1.thm1
2017-02-06 12:45
314
bor_cant__2266_45.min1.thm1
2017-02-06 12:45
969
bor_cant__2267_46.min1.thm1
2017-02-06 12:45
1.0K
bor_cant__2267_46.min1.thm1.tptp
2017-02-06 16:48
958
bor_cant__2285_32.min1.thm1
2017-02-06 12:45
676
bor_cant__2285_32.min1.thm1.tptp
2017-02-06 16:48
599
bor_cant__2286_20.min1.thm1
2017-02-06 12:45
903
bor_cant__2288_51.min1.thm1
2017-02-06 12:45
1.8K
bor_cant__2350_36.min1.thm1
2017-02-06 12:45
750
bor_cant__2435_56.min1.thm1
2017-02-06 12:45
1.2K
bor_cant__2436_56.min1.thm1
2017-02-06 12:45
291
bor_cant__2437_13.min1.thm1
2017-02-06 12:45
2.0K
bor_cant__2443_7.min1.thm1
2017-02-06 12:45
3.6K
bor_cant__2490_13.min1.thm1
2017-02-06 12:45
962
bor_cant__2490_13.min1.thm1.tptp
2017-02-06 16:48
885
bor_cant__2508_10.min1.thm1
2017-02-06 12:45
1.8K
bor_cant__2518_21.min1.thm1
2017-02-06 12:45
1.8K
bor_cant__2531_23.min1.thm1
2017-02-06 12:45
2.1K
bor_cant__2568_18.min1.thm1
2017-02-06 12:45
729
bor_cant__2578_30.min1.thm1
2017-02-06 12:45
720
bor_cant__2578_30.min1.thm1.tptp
2017-02-06 16:48
643
bor_cant__2579_19.min1.thm1
2017-02-06 12:45
2.1K
bor_cant__2720_34.min1.thm1
2017-02-06 12:45
604
bor_cant__2720_34.min1.thm1.tptp
2017-02-06 16:48
523
bor_cant__2729_52.min1.thm1
2017-02-06 12:45
953
bor_cant__2729_52.min1.thm1.tptp
2017-02-06 16:48
872
bor_cant__2738_29.min1.thm1
2017-02-06 12:45
1.2K
bor_cant__2748_38.min1.thm1
2017-02-06 12:45
851
bor_cant__2748_38.min1.thm1.tptp
2017-02-06 16:48
770
bor_cant__2783_63.min1.thm1
2017-02-06 12:45
1.0K
bor_cant__2783_63.min1.thm1.tptp
2017-02-06 16:48
917
bor_cant__2785_58.min1.thm1
2017-02-06 12:45
890
bor_cant__2785_58.min1.thm1.tptp
2017-02-06 16:48
809
bor_cant__2790_18.min1.thm1
2017-02-06 12:45
646
bor_cant__2822_65.min1.thm1
2017-02-06 12:45
1.4K
bor_cant__2822_65.min1.thm1.tptp
2017-02-06 16:48
1.3K
bor_cant__2825_42.min1.thm1
2017-02-06 12:45
1.6K
bor_cant__2861_54.min1.thm1
2017-02-06 12:45
1.8K
bor_cant__2862_17.min1.thm1
2017-02-06 12:45
1.9K
bor_cant__2891_16.min1.thm1
2017-02-06 12:45
2.2K
bor_cant__2891_16.min1.thm1.tptp
2017-02-06 16:48
2.1K
bor_cant__2916_16.min1.thm1
2017-02-06 12:45
1.8K
bor_cant__2955_58.min1.thm1
2017-02-06 12:45
910
bor_cant__2955_58.min1.thm1.tptp
2017-02-06 16:48
833
bor_cant__2968_19.min1.thm1
2017-02-06 12:45
724
bor_cant__2980_43.min1.thm1
2017-02-06 12:45
1.3K
bor_cant__3023_26.min1.thm1
2017-02-06 12:45
588
bor_cant__3025_69.min1.thm1
2017-02-06 12:45
586
bor_cant__3025_69.min1.thm1.tptp
2017-02-06 16:48
505
bor_cant__3028_60.min1.thm1
2017-02-06 12:45
619
bor_cant__3028_60.min1.thm1.tptp
2017-02-06 16:48
538
bor_cant__3031_69.min1.thm1
2017-02-06 12:45
532
bor_cant__3032_57.min1.thm1
2017-02-06 12:45
1.5K
bor_cant__3033_44.min1.thm1
2017-02-06 12:45
929
bor_cant__3035_23.min1.thm1
2017-02-06 12:45
971
bor_cant__3056_12.min1.thm1
2017-02-06 12:45
1.7K
bor_cant__3058_23.min1.thm1
2017-02-06 12:45
532
bor_cant__3065_24.min1.thm1
2017-02-06 12:45
1.0K
bor_cant__3068_61.min1.thm1
2017-02-06 12:45
600
bor_cant__3078_76.min1.thm1
2017-02-06 12:45
540
bor_cant__3087_56.min1.thm1
2017-02-06 12:45
663
bor_cant__3087_56.min1.thm1.tptp
2017-02-06 16:48
596
bor_cant__3123_16.min1.thm1
2017-02-06 12:45
1.4K
bor_cant__3124_49.min1.thm1
2017-02-06 12:45
945
bor_cant__3130_63.min1.thm1
2017-02-06 12:45
668
bor_cant__3130_63.min1.thm1.tptp
2017-02-06 16:48
609
bor_cant__3135_63.min1.thm1
2017-02-06 12:45
598
bor_cant__3166_16.min1.thm1
2017-02-06 12:45
1.4K
bor_cant__3167_49.min1.thm1
2017-02-06 12:45
945
bor_cant__3173_28.min1.thm1
2017-02-06 12:45
655
bor_cant__3176_67.min1.thm1
2017-02-06 12:45
650
bor_cant__3176_67.min1.thm1.tptp
2017-02-06 16:48
589
bor_cant__3182_66.min1.thm1
2017-02-06 12:45
580
bor_cant__3189_29.min1.thm1
2017-02-06 12:45
637
bor_cant__3190_28.min1.thm1
2017-02-06 12:45
896
bor_cant__3226_69.min1.thm1
2017-02-06 12:45
570
bor_cant__3228_71.min1.thm1
2017-02-06 12:45
578
bor_cant__3228_71.min1.thm1.tptp
2017-02-06 16:48
497
bor_cant__3230_13.min1.thm1
2017-02-06 12:45
1.8K
bor_cant__3231_62.min1.thm1
2017-02-06 12:45
613
bor_cant__3231_62.min1.thm1.tptp
2017-02-06 16:48
532
bor_cant__3235_69.min1.thm1
2017-02-06 12:45
518
bor_cant__3236_57.min1.thm1
2017-02-06 12:45
1.5K
bor_cant__3237_44.min1.thm1
2017-02-06 12:45
937
bor_cant__3239_21.min1.thm1
2017-02-06 12:45
947
bor_cant__3254_49.min1.thm1
2017-02-06 12:45
661
bor_cant__3254_49.min1.thm1.tptp
2017-02-06 16:48
594
bor_cant__3257_14.min1.thm1
2017-02-06 12:45
596
bor_cant__3257_14.min1.thm1.tptp
2017-02-06 16:48
515
bor_cant__3266_64.min1.thm1
2017-02-06 12:45
635
bor_cant__3266_64.min1.thm1.tptp
2017-02-06 16:48
568
bor_cant__3268_17.min1.thm1
2017-02-06 12:45
1.4K
bor_cant__3318_55.min1.thm1
2017-02-06 12:45
588
bor_cant__3319_49.min1.thm1
2017-02-06 12:45
1.6K
bor_cant__3321_17.min1.thm1
2017-02-06 12:45
642
bor_cant__3321_17.min1.thm1.tptp
2017-02-06 16:48
575
bor_cant__3326_52.min1.thm1
2017-02-06 12:45
566
bor_cant__3331_57.min1.thm1
2017-02-06 12:45
1.4K
bor_cant__3332_38.min1.thm1
2017-02-06 12:45
945
bor_cant__3333_22.min1.thm1
2017-02-06 12:45
581
bor_cant__3333_22.min1.thm1.tptp
2017-02-06 16:48
500
bor_cant__3334_17.min1.thm1
2017-02-06 12:45
625
bor_cant__3336_13.min1.thm1
2017-02-06 12:45
650
bor_cant__3336_13.min1.thm1.tptp
2017-02-06 16:48
591
bor_cant__3365_29.min1.thm1
2017-02-06 12:45
482
bor_cant__3365_29.min1.thm1.tptp
2017-02-06 16:48
396
bor_cant__3369_39.min1.thm1
2017-02-06 12:45
664
bor_cant__3378_19.min1.thm1
2017-02-06 12:45
478
bor_cant__3378_19.min1.thm1.tptp
2017-02-06 16:48
392
bor_cant__3415_46.min1.thm1
2017-02-06 12:45
2.3K
bor_cant__3418_21.min1.thm1
2017-02-06 12:45
1.6K
bor_cant__3426_21.min1.thm1
2017-02-06 12:45
1.9K
bor_cant__3511_48.min1.thm1
2017-02-06 12:45
909
bor_cant__3531_23.min1.thm1
2017-02-06 12:45
1.5K
bor_cant__3538_26.min1.thm1
2017-02-06 12:45
1.5K
bor_cant__3540_51.min1.thm1
2017-02-06 12:45
2.2K
bor_cant__3575_25.min1.thm1
2017-02-06 12:45
945
bor_cant__3580_39.min1.thm1
2017-02-06 12:45
1.6K
bor_cant__3586_24.min1.thm1
2017-02-06 12:45
701
bor_cant__3586_24.min1.thm1.tptp
2017-02-06 16:48
620
bor_cant__3593_23.min1.thm1
2017-02-06 12:45
261
bor_cant__3595_37.min1.thm1
2017-02-06 12:45
3.6K
bor_cant__3602_25.min1.thm1
2017-02-06 12:45
1.9K
bor_cant__3603_29.min1.thm1
2017-02-06 12:45
2.8K
bor_cant__3641_12.min1.thm1
2017-02-06 12:45
207
bor_cant__3645_39.min1.thm1
2017-02-06 12:45
2.9K
bor_cant__3646_60.min1.thm1
2017-02-06 12:45
342
bor_cant__3667_60.min1.thm1
2017-02-06 12:45
1.4K
bor_cant__3668_46.min1.thm1
2017-02-06 12:45
1.0K
bor_cant__3739_50.min1.thm1
2017-02-06 12:45
1.7K
bor_cant__3739_50.min1.thm1.tptp
2017-02-06 16:48
1.6K
bor_cant__3740_25.min1.thm1
2017-02-06 12:45
1.8K
bor_cant__3755_37.min1.thm1
2017-02-06 12:45
1.6K
bor_cant__3757_22.min1.thm1
2017-02-06 12:45
2.5K
bor_cant__3758_26.min1.thm1
2017-02-06 12:45
2.3K
bor_cant__3760_22.min1.thm1
2017-02-06 12:45
1.5K
bor_cant__3760_22.min1.thm1.tptp
2017-02-06 16:48
1.5K
bor_cant__3768_55.min1.thm1
2017-02-06 12:45
1.4K
bor_cant__3774_47.min1.thm1
2017-02-06 12:45
3.5K
bor_cant__3777_21.min1.thm1
2017-02-06 12:45
898
bor_cant__3812_45.min1.thm1
2017-02-06 12:45
871
bor_cant__3819_20.min1.thm1
2017-02-06 12:45
794
bor_cant__3861_44.min1.thm1
2017-02-06 12:45
885
bor_cant__3894_25.min1.thm1
2017-02-06 12:45
802
bor_cant__3897_26.min1.thm1
2017-02-06 12:45
836
bor_cant__3906_21.min1.thm1
2017-02-06 12:45
2.0K
bor_cant__3908_16.min1.thm1
2017-02-06 12:45
2.5K
bor_cant__3930_16.min1.thm1
2017-02-06 12:45
2.0K
bor_cant__3940_10.min1.thm1
2017-02-06 12:45
335
bor_cant__3942_18.min1.thm1
2017-02-06 12:45
2.1K
bor_cant__3945_18.min1.thm1
2017-02-06 12:45
2.0K
bor_cant__4010_6.min1.thm1
2017-02-06 12:45
1.3K
bor_cant__4010_6.min1.thm1.tptp
2017-02-06 16:48
1.3K
bor_cant__4044_12.min1.thm1
2017-02-06 12:45
1.4K
bor_cant__4051_13.min1.thm1
2017-02-06 12:45
1.2K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80