Index of /~mptp/7.13.01_4.181.1147/mptp/ilp0/borsuk_3
Name
Last modified
Size
Description
Parent Directory
-
borsuk_3__48_38.min1.thm1
2017-02-06 12:45
1.2K
borsuk_3__50_20.min1.thm1
2017-02-06 12:45
2.6K
borsuk_3__51_14.min1.thm1
2017-02-06 12:45
1.4K
borsuk_3__57_14.min1.thm1
2017-02-06 12:45
344
borsuk_3__57_14.min1.thm1.tptp
2017-02-06 16:48
263
borsuk_3__64_13.min1.thm1
2017-02-06 12:45
434
borsuk_3__64_13.min1.thm1.tptp
2017-02-06 16:48
357
borsuk_3__73_31.min1.thm1
2017-02-06 12:45
899
borsuk_3__74_30.min1.thm1
2017-02-06 12:45
1.1K
borsuk_3__75_17.min1.thm1
2017-02-06 12:45
1.3K
borsuk_3__81_16.min1.thm1
2017-02-06 12:45
241
borsuk_3__87_16.min1.thm1
2017-02-06 12:45
262
borsuk_3__88_13.min1.thm1
2017-02-06 12:45
419
borsuk_3__100_31.min1.thm1
2017-02-06 12:45
1.1K
borsuk_3__102_31.min1.thm1
2017-02-06 12:45
1.1K
borsuk_3__103_33.min1.thm1
2017-02-06 12:45
2.0K
borsuk_3__112_11.min1.thm1
2017-02-06 12:45
569
borsuk_3__117_11.min1.thm1
2017-02-06 12:45
518
borsuk_3__134_38.min1.thm1
2017-02-06 12:45
2.9K
borsuk_3__143_14.min1.thm1
2017-02-06 12:45
903
borsuk_3__144_12.min1.thm1
2017-02-06 12:45
906
borsuk_3__146_20.min1.thm1
2017-02-06 12:45
1.3K
borsuk_3__148_17.min1.thm1
2017-02-06 12:45
575
borsuk_3__165_38.min1.thm1
2017-02-06 12:45
2.9K
borsuk_3__174_14.min1.thm1
2017-02-06 12:45
903
borsuk_3__175_12.min1.thm1
2017-02-06 12:45
906
borsuk_3__177_20.min1.thm1
2017-02-06 12:45
1.3K
borsuk_3__179_17.min1.thm1
2017-02-06 12:45
575
borsuk_3__191_31.min1.thm1
2017-02-06 12:45
1.1K
borsuk_3__195_31.min1.thm1
2017-02-06 12:45
3.1K
borsuk_3__196_39.min1.thm1
2017-02-06 12:45
1.0K
borsuk_3__207_18.min1.thm1
2017-02-06 12:45
1.2K
borsuk_3__208_42.min1.thm1
2017-02-06 12:45
1.0K
borsuk_3__208_50.min1.thm1
2017-02-06 12:45
1.0K
borsuk_3__211_19.min1.thm1
2017-02-06 12:45
1.1K
borsuk_3__212_19.min1.thm1
2017-02-06 12:45
1.9K
borsuk_3__214_33.min1.thm1
2017-02-06 12:45
1.1K
borsuk_3__216_20.min1.thm1
2017-02-06 12:45
840
borsuk_3__221_40.min1.thm1
2017-02-06 12:45
824
borsuk_3__222_15.min1.thm1
2017-02-06 12:45
2.9K
borsuk_3__223_23.min1.thm1
2017-02-06 12:45
2.1K
borsuk_3__224_17.min1.thm1
2017-02-06 12:45
1.1K
borsuk_3__225_31.min1.thm1
2017-02-06 12:45
1.8K
borsuk_3__226_17.min1.thm1
2017-02-06 12:45
1.2K
borsuk_3__241_31.min1.thm1
2017-02-06 12:45
1.1K
borsuk_3__245_31.min1.thm1
2017-02-06 12:45
3.0K
borsuk_3__246_39.min1.thm1
2017-02-06 12:45
1.0K
borsuk_3__258_18.min1.thm1
2017-02-06 12:45
1.2K
borsuk_3__259_42.min1.thm1
2017-02-06 12:45
1.0K
borsuk_3__259_50.min1.thm1
2017-02-06 12:45
1.0K
borsuk_3__262_19.min1.thm1
2017-02-06 12:45
1.1K
borsuk_3__263_19.min1.thm1
2017-02-06 12:45
1.9K
borsuk_3__265_33.min1.thm1
2017-02-06 12:45
1.1K
borsuk_3__267_20.min1.thm1
2017-02-06 12:45
840
borsuk_3__272_40.min1.thm1
2017-02-06 12:45
1.0K
borsuk_3__273_15.min1.thm1
2017-02-06 12:45
3.0K
borsuk_3__274_23.min1.thm1
2017-02-06 12:45
2.1K
borsuk_3__275_17.min1.thm1
2017-02-06 12:45
1.1K
borsuk_3__276_31.min1.thm1
2017-02-06 12:45
1.8K
borsuk_3__277_17.min1.thm1
2017-02-06 12:45
1.2K
borsuk_3__294_22.min1.thm1
2017-02-06 12:45
3.1K
borsuk_3__295_25.min1.thm1
2017-02-06 12:45
2.1K
borsuk_3__296_29.min1.thm1
2017-02-06 12:45
964
borsuk_3__298_39.min1.thm1
2017-02-06 12:45
1.0K
borsuk_3__317_22.min1.thm1
2017-02-06 12:45
3.1K
borsuk_3__318_25.min1.thm1
2017-02-06 12:45
2.1K
borsuk_3__319_29.min1.thm1
2017-02-06 12:45
964
borsuk_3__321_39.min1.thm1
2017-02-06 12:45
1.0K
borsuk_3__347_61.min1.thm1
2017-02-06 12:45
797
borsuk_3__349_54.min1.thm1
2017-02-06 12:45
1.7K
borsuk_3__352_16.min1.thm1
2017-02-06 12:45
906
borsuk_3__354_47.min1.thm1
2017-02-06 12:45
801
borsuk_3__361_37.min1.thm1
2017-02-06 12:45
1.8K
borsuk_3__363_45.min1.thm1
2017-02-06 12:45
1.1K
borsuk_3__370_71.min1.thm1
2017-02-06 12:45
1.1K
borsuk_3__372_64.min1.thm1
2017-02-06 12:45
1.4K
borsuk_3__373_16.min1.thm1
2017-02-06 12:45
1.4K
borsuk_3__373_16.min1.thm1.tptp
2017-02-06 16:48
1.3K
borsuk_3__394_48.min1.thm1
2017-02-06 12:45
797
borsuk_3__396_14.min1.thm1
2017-02-06 12:45
1.2K
borsuk_3__404_31.min1.thm1
2017-02-06 12:45
1.4K
borsuk_3__406_16.min1.thm1
2017-02-06 12:45
471
borsuk_3__406_16.min1.thm1.tptp
2017-02-06 16:48
400
borsuk_3__407_17.min1.thm1
2017-02-06 12:45
865
borsuk_3__413_40.min1.thm1
2017-02-06 12:45
490
borsuk_3__414_15.min1.thm1
2017-02-06 12:45
1.0K
borsuk_3__416_31.min1.thm1
2017-02-06 12:45
873
borsuk_3__417_16.min1.thm1
2017-02-06 12:45
1.5K
borsuk_3__419_17.min1.thm1
2017-02-06 12:45
1.3K
borsuk_3__434_63.min1.thm1
2017-02-06 12:45
1.4K
borsuk_3__435_16.min1.thm1
2017-02-06 12:45
847
borsuk_3__437_34.min1.thm1
2017-02-06 12:45
471
borsuk_3__437_34.min1.thm1.tptp
2017-02-06 16:48
393
borsuk_3__447_19.min1.thm1
2017-02-06 12:45
576
borsuk_3__447_19.min1.thm1.tptp
2017-02-06 16:48
515
borsuk_3__449_42.min1.thm1
2017-02-06 12:45
455
borsuk_3__454_63.min1.thm1
2017-02-06 12:45
1.7K
borsuk_3__458_14.min1.thm1
2017-02-06 12:45
1.5K
borsuk_3__459_19.min1.thm1
2017-02-06 12:45
732
borsuk_3__462_19.min1.thm1
2017-02-06 12:45
716
borsuk_3__463_36.min1.thm1
2017-02-06 12:45
589
borsuk_3__464_45.min1.thm1
2017-02-06 12:45
705
borsuk_3__470_20.min1.thm1
2017-02-06 12:45
944
borsuk_3__471_19.min1.thm1
2017-02-06 12:45
719
borsuk_3__473_17.min1.thm1
2017-02-06 12:45
1.6K
borsuk_3__483_7.min1.thm1
2017-02-06 12:45
2.2K
borsuk_3__484_33.min1.thm1
2017-02-06 12:45
1.0K
borsuk_3__485_74.min1.thm1
2017-02-06 12:45
1.4K
borsuk_3__500_44.min1.thm1
2017-02-06 12:45
966
borsuk_3__502_31.min1.thm1
2017-02-06 12:45
2.6K
borsuk_3__505_17.min1.thm1
2017-02-06 12:45
2.7K
borsuk_3__517_31.min1.thm1
2017-02-06 12:45
1.1K
borsuk_3__518_36.min1.thm1
2017-02-06 12:45
1.3K
borsuk_3__519_17.min1.thm1
2017-02-06 12:45
1.3K
borsuk_3__528_73.min1.thm1
2017-02-06 12:45
1.2K
borsuk_3__531_38.min1.thm1
2017-02-06 12:45
1.2K
borsuk_3__537_36.min1.thm1
2017-02-06 12:45
367
borsuk_3__540_24.min1.thm1
2017-02-06 12:45
1.4K
borsuk_3__558_46.min1.thm1
2017-02-06 12:45
683
borsuk_3__559_41.min1.thm1
2017-02-06 12:45
401
borsuk_3__566_18.min1.thm1
2017-02-06 12:45
938
borsuk_3__567_39.min1.thm1
2017-02-06 12:45
602
borsuk_3__571_21.min1.thm1
2017-02-06 12:45
921
borsuk_3__572_35.min1.thm1
2017-02-06 12:45
840
borsuk_3__575_27.min1.thm1
2017-02-06 12:45
1.2K
borsuk_3__580_36.min1.thm1
2017-02-06 12:45
326
borsuk_3__582_19.min1.thm1
2017-02-06 12:45
1.4K
borsuk_3__585_21.min1.thm1
2017-02-06 12:45
745
borsuk_3__591_23.min1.thm1
2017-02-06 12:45
2.8K
borsuk_3__606_23.min1.thm1
2017-02-06 12:45
379
borsuk_3__606_23.min1.thm1.tptp
2017-02-06 16:48
314
borsuk_3__609_48.min1.thm1
2017-02-06 12:45
585
borsuk_3__616_28.min1.thm1
2017-02-06 12:45
682
borsuk_3__617_64.min1.thm1
2017-02-06 12:45
1.2K
borsuk_3__621_23.min1.thm1
2017-02-06 12:45
701
borsuk_3__624_30.min1.thm1
2017-02-06 12:45
1.2K
borsuk_3__628_38.min1.thm1
2017-02-06 12:45
1.6K
borsuk_3__634_29.min1.thm1
2017-02-06 12:45
2.1K
borsuk_3__637_19.min1.thm1
2017-02-06 12:45
791
borsuk_3__646_28.min1.thm1
2017-02-06 12:45
910
borsuk_3__652_34.min1.thm1
2017-02-06 12:45
1.3K
borsuk_3__654_23.min1.thm1
2017-02-06 12:45
1.1K
borsuk_3__656_34.min1.thm1
2017-02-06 12:45
1.0K
borsuk_3__658_73.min1.thm1
2017-02-06 12:45
1.3K
borsuk_3__663_36.min1.thm1
2017-02-06 12:45
367
borsuk_3__664_17.min1.thm1
2017-02-06 12:45
1.1K
borsuk_3__669_38.min1.thm1
2017-02-06 12:45
394
borsuk_3__670_51.min1.thm1
2017-02-06 12:45
1.3K
borsuk_3__671_42.min1.thm1
2017-02-06 12:45
1.6K
borsuk_3__672_39.min1.thm1
2017-02-06 12:45
394
borsuk_3__679_46.min1.thm1
2017-02-06 12:45
801
borsuk_3__686_19.min1.thm1
2017-02-06 12:45
896
borsuk_3__687_49.min1.thm1
2017-02-06 12:45
1.0K
borsuk_3__688_32.min1.thm1
2017-02-06 12:45
646
borsuk_3__689_38.min1.thm1
2017-02-06 12:45
1.3K
borsuk_3__691_19.min1.thm1
2017-02-06 12:45
829
borsuk_3__694_21.min1.thm1
2017-02-06 12:45
2.3K
borsuk_3__701_26.min1.thm1
2017-02-06 12:45
1.3K
borsuk_3__704_16.min1.thm1
2017-02-06 12:45
775
borsuk_3__707_22.min1.thm1
2017-02-06 12:45
946
borsuk_3__708_37.min1.thm1
2017-02-06 12:45
662
borsuk_3__710_21.min1.thm1
2017-02-06 12:45
1.1K
borsuk_3__713_37.min1.thm1
2017-02-06 12:45
2.8K
borsuk_3__714_24.min1.thm1
2017-02-06 12:45
3.1K
borsuk_3__716_19.min1.thm1
2017-02-06 12:45
1.4K
borsuk_3__727_56.min1.thm1
2017-02-06 12:45
928
borsuk_3__730_66.min1.thm1
2017-02-06 12:45
1.6K
borsuk_3__733_37.min1.thm1
2017-02-06 12:45
916
borsuk_3__746_45.min1.thm1
2017-02-06 12:45
1.0K
borsuk_3__749_30.min1.thm1
2017-02-06 12:45
1.8K
borsuk_3__763_17.min1.thm1
2017-02-06 12:45
2.1K
borsuk_3__781_19.min1.thm1
2017-02-06 12:45
592
borsuk_3__783_20.min1.thm1
2017-02-06 12:45
963
borsuk_3__788_40.min1.thm1
2017-02-06 12:45
676
borsuk_3__790_20.min1.thm1
2017-02-06 12:45
1.1K
borsuk_3__805_66.min1.thm1
2017-02-06 12:45
1.6K
borsuk_3__806_18.min1.thm1
2017-02-06 12:45
959
borsuk_3__808_36.min1.thm1
2017-02-06 12:45
481
borsuk_3__808_36.min1.thm1.tptp
2017-02-06 16:48
403
borsuk_3__809_19.min1.thm1
2017-02-06 12:45
710
borsuk_3__823_20.min1.thm1
2017-02-06 12:45
964
borsuk_3__827_60.min1.thm1
2017-02-06 12:45
1.1K
borsuk_3__832_21.min1.thm1
2017-02-06 12:45
700
borsuk_3__833_18.min1.thm1
2017-02-06 12:45
1.5K
borsuk_3__834_19.min1.thm1
2017-02-06 12:45
835
borsuk_3__836_17.min1.thm1
2017-02-06 12:45
660
borsuk_3__859_19.min1.thm1
2017-02-06 12:45
650
borsuk_3__861_20.min1.thm1
2017-02-06 12:45
963
borsuk_3__862_29.min1.thm1
2017-02-06 12:45
1.3K
borsuk_3__867_40.min1.thm1
2017-02-06 12:45
676
borsuk_3__880_66.min1.thm1
2017-02-06 12:45
1.6K
borsuk_3__881_18.min1.thm1
2017-02-06 12:45
959
borsuk_3__883_36.min1.thm1
2017-02-06 12:45
480
borsuk_3__883_36.min1.thm1.tptp
2017-02-06 16:48
402
borsuk_3__884_19.min1.thm1
2017-02-06 12:45
709
borsuk_3__902_22.min1.thm1
2017-02-06 12:45
1.0K
borsuk_3__906_21.min1.thm1
2017-02-06 12:45
774
borsuk_3__908_17.min1.thm1
2017-02-06 12:45
1.8K
borsuk_3__910_21.min1.thm1
2017-02-06 12:45
700
borsuk_3__912_19.min1.thm1
2017-02-06 12:45
835
borsuk_3__914_17.min1.thm1
2017-02-06 12:45
1.0K
borsuk_3__929_37.min1.thm1
2017-02-06 12:45
1.6K
borsuk_3__932_4.min1.thm1
2017-02-06 12:45
1.0K
borsuk_3__933_14.min1.thm1
2017-02-06 12:45
504
borsuk_3__950_66.min1.thm1
2017-02-06 12:45
1.8K
borsuk_3__951_16.min1.thm1
2017-02-06 12:45
918
borsuk_3__953_41.min1.thm1
2017-02-06 12:45
577
borsuk_3__954_36.min1.thm1
2017-02-06 12:45
327
borsuk_3__974_49.min1.thm1
2017-02-06 12:45
636
borsuk_3__975_44.min1.thm1
2017-02-06 12:45
386
borsuk_3__980_18.min1.thm1
2017-02-06 12:45
820
borsuk_3__995_17.min1.thm1
2017-02-06 12:45
445
borsuk_3__995_17.min1.thm1.tptp
2017-02-06 16:48
390
borsuk_3__997_30.min1.thm1
2017-02-06 12:45
604
borsuk_3__999_38.min1.thm1
2017-02-06 12:45
1.0K
borsuk_3__999_38.min1.thm1.tptp
2017-02-06 16:48
1.0K
borsuk_3__1000_19.min1.thm1
2017-02-06 12:45
1.1K
borsuk_3__1006_18.min1.thm1
2017-02-06 12:45
873
borsuk_3__1007_16.min1.thm1
2017-02-06 12:45
816
borsuk_3__1009_48.min1.thm1
2017-02-06 12:45
593
borsuk_3__1010_43.min1.thm1
2017-02-06 12:45
389
borsuk_3__1012_16.min1.thm1
2017-02-06 12:45
438
borsuk_3__1020_17.min1.thm1
2017-02-06 12:45
771
borsuk_3__1028_22.min1.thm1
2017-02-06 12:45
774
borsuk_3__1039_15.min1.thm1
2017-02-06 12:45
701
borsuk_3__1041_69.min1.thm1
2017-02-06 12:45
1.0K
borsuk_3__1045_26.min1.thm1
2017-02-06 12:45
1.8K
borsuk_3__1048_19.min1.thm1
2017-02-06 12:45
1.3K
borsuk_3__1051_33.min1.thm1
2017-02-06 12:45
1.2K
borsuk_3__1059_16.min1.thm1
2017-02-06 12:45
913
borsuk_3__1063_14.min1.thm1
2017-02-06 12:45
820
borsuk_3__1075_17.min1.thm1
2017-02-06 12:45
1.6K
borsuk_3__1076_19.min1.thm1
2017-02-06 12:45
1.1K
borsuk_3__1077_29.min1.thm1
2017-02-06 12:45
505
borsuk_3__1078_19.min1.thm1
2017-02-06 12:45
527
borsuk_3__1080_33.min1.thm1
2017-02-06 12:45
1.3K
borsuk_3__1087_17.min1.thm1
2017-02-06 12:45
604
borsuk_3__1089_41.min1.thm1
2017-02-06 12:45
1.0K
borsuk_3__1089_41.min1.thm1.tptp
2017-02-06 16:48
959
borsuk_3__1090_19.min1.thm1
2017-02-06 12:45
646
borsuk_3__1090_19.min1.thm1.tptp
2017-02-06 16:48
569
borsuk_3__1092_20.min1.thm1
2017-02-06 12:45
905
borsuk_3__1093_17.min1.thm1
2017-02-06 12:45
629
borsuk_3__1102_17.min1.thm1
2017-02-06 12:45
1.5K
borsuk_3__1110_13.min1.thm1
2017-02-06 12:45
402
borsuk_3__1113_21.min1.thm1
2017-02-06 12:45
776
borsuk_3__1117_18.min1.thm1
2017-02-06 12:45
1.1K
borsuk_3__1121_18.min1.thm1
2017-02-06 12:45
1.1K
borsuk_3__1125_18.min1.thm1
2017-02-06 12:45
1.1K
borsuk_3__1135_65.min1.thm1
2017-02-06 12:45
1.2K
borsuk_3__1138_38.min1.thm1
2017-02-06 12:45
1.2K
borsuk_3__1144_36.min1.thm1
2017-02-06 12:45
367
borsuk_3__1147_24.min1.thm1
2017-02-06 12:45
1.4K
borsuk_3__1165_46.min1.thm1
2017-02-06 12:45
683
borsuk_3__1166_41.min1.thm1
2017-02-06 12:45
401
borsuk_3__1173_18.min1.thm1
2017-02-06 12:45
938
borsuk_3__1174_39.min1.thm1
2017-02-06 12:45
602
borsuk_3__1178_21.min1.thm1
2017-02-06 12:45
921
borsuk_3__1179_35.min1.thm1
2017-02-06 12:45
840
borsuk_3__1182_27.min1.thm1
2017-02-06 12:45
1.2K
borsuk_3__1186_36.min1.thm1
2017-02-06 12:45
326
borsuk_3__1188_19.min1.thm1
2017-02-06 12:45
1.4K
borsuk_3__1191_21.min1.thm1
2017-02-06 12:45
745
borsuk_3__1197_23.min1.thm1
2017-02-06 12:45
2.8K
borsuk_3__1212_23.min1.thm1
2017-02-06 12:45
379
borsuk_3__1212_23.min1.thm1.tptp
2017-02-06 16:48
314
borsuk_3__1215_48.min1.thm1
2017-02-06 12:45
585
borsuk_3__1222_28.min1.thm1
2017-02-06 12:45
682
borsuk_3__1223_64.min1.thm1
2017-02-06 12:45
1.2K
borsuk_3__1227_23.min1.thm1
2017-02-06 12:45
701
borsuk_3__1230_30.min1.thm1
2017-02-06 12:45
1.2K
borsuk_3__1234_38.min1.thm1
2017-02-06 12:45
1.6K
borsuk_3__1240_29.min1.thm1
2017-02-06 12:45
2.1K
borsuk_3__1243_19.min1.thm1
2017-02-06 12:45
791
borsuk_3__1252_28.min1.thm1
2017-02-06 12:45
910
borsuk_3__1258_36.min1.thm1
2017-02-06 12:45
1.3K
borsuk_3__1260_23.min1.thm1
2017-02-06 12:45
1.1K
borsuk_3__1262_34.min1.thm1
2017-02-06 12:45
1.0K
borsuk_3__1264_73.min1.thm1
2017-02-06 12:45
1.3K
borsuk_3__1269_36.min1.thm1
2017-02-06 12:45
367
borsuk_3__1270_17.min1.thm1
2017-02-06 12:45
1.1K
borsuk_3__1275_38.min1.thm1
2017-02-06 12:45
394
borsuk_3__1276_51.min1.thm1
2017-02-06 12:45
1.3K
borsuk_3__1277_42.min1.thm1
2017-02-06 12:45
1.6K
borsuk_3__1278_39.min1.thm1
2017-02-06 12:45
394
borsuk_3__1285_46.min1.thm1
2017-02-06 12:45
801
borsuk_3__1292_19.min1.thm1
2017-02-06 12:45
896
borsuk_3__1293_51.min1.thm1
2017-02-06 12:45
1.0K
borsuk_3__1294_32.min1.thm1
2017-02-06 12:45
646
borsuk_3__1295_38.min1.thm1
2017-02-06 12:45
1.3K
borsuk_3__1297_19.min1.thm1
2017-02-06 12:45
829
borsuk_3__1300_21.min1.thm1
2017-02-06 12:45
2.3K
borsuk_3__1307_26.min1.thm1
2017-02-06 12:45
1.3K
borsuk_3__1310_16.min1.thm1
2017-02-06 12:45
775
borsuk_3__1313_22.min1.thm1
2017-02-06 12:45
946
borsuk_3__1314_37.min1.thm1
2017-02-06 12:45
662
borsuk_3__1316_21.min1.thm1
2017-02-06 12:45
1.1K
borsuk_3__1319_37.min1.thm1
2017-02-06 12:45
2.8K
borsuk_3__1320_24.min1.thm1
2017-02-06 12:45
3.1K
borsuk_3__1322_19.min1.thm1
2017-02-06 12:45
1.4K
borsuk_3__1334_4.min1.thm1
2017-02-06 12:45
1.3K
borsuk_3__1335_17.min1.thm1
2017-02-06 12:45
1.0K
borsuk_3__1345_60.min1.thm1
2017-02-06 12:45
1.1K
borsuk_3__1348_70.min1.thm1
2017-02-06 12:45
1.7K
borsuk_3__1350_37.min1.thm1
2017-02-06 12:45
687
borsuk_3__1352_37.min1.thm1
2017-02-06 12:45
916
borsuk_3__1364_15.min1.thm1
2017-02-06 12:45
422
borsuk_3__1373_13.min1.thm1
2017-02-06 12:45
195
borsuk_3__1376_21.min1.thm1
2017-02-06 12:45
841
borsuk_3__1380_18.min1.thm1
2017-02-06 12:45
1.3K
borsuk_3__1394_11.min1.thm1
2017-02-06 12:45
398
borsuk_3__1397_61.min1.thm1
2017-02-06 12:45
385
borsuk_3__1397_61.min1.thm1.tptp
2017-02-06 16:48
310
borsuk_3__1398_48.min1.thm1
2017-02-06 12:45
1.2K
borsuk_3__1399_54.min1.thm1
2017-02-06 12:45
651
borsuk_3__1400_54.min1.thm1
2017-02-06 12:45
651
borsuk_3__1408_44.min1.thm1
2017-02-06 12:45
436
borsuk_3__1408_44.min1.thm1.tptp
2017-02-06 16:48
347
borsuk_3__1410_16.min1.thm1
2017-02-06 12:45
1.7K
borsuk_3__1414_44.min1.thm1
2017-02-06 12:45
436
borsuk_3__1414_44.min1.thm1.tptp
2017-02-06 16:48
347
borsuk_3__1416_16.min1.thm1
2017-02-06 12:45
1.7K
borsuk_3__1420_44.min1.thm1
2017-02-06 12:45
433
borsuk_3__1420_44.min1.thm1.tptp
2017-02-06 16:48
345
borsuk_3__1422_16.min1.thm1
2017-02-06 12:45
1.7K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80