Index of /~mptp/7.13.01_4.181.1147/mptp/ilp0/bcialg_1
Name
Last modified
Size
Description
Parent Directory
-
bcialg_1__41_50.min1.thm1
2017-02-06 12:45
1.3K
bcialg_1__42_15.min1.thm1
2017-02-06 12:45
678
bcialg_1__42_15.min1.thm1.tptp
2017-02-06 16:48
608
bcialg_1__51_11.min1.thm1
2017-02-06 12:45
1.0K
bcialg_1__65_54.min1.thm1
2017-02-06 12:45
1.5K
bcialg_1__66_15.min1.thm1
2017-02-06 12:45
804
bcialg_1__74_11.min1.thm1
2017-02-06 12:45
804
bcialg_1__102_11.min1.thm1
2017-02-06 12:45
698
bcialg_1__107_14.min1.thm1
2017-02-06 12:45
1.7K
bcialg_1__117_20.min1.thm1
2017-02-06 12:45
1.6K
bcialg_1__122_20.min1.thm1
2017-02-06 12:45
1.6K
bcialg_1__127_20.min1.thm1
2017-02-06 12:45
1.2K
bcialg_1__132_20.min1.thm1
2017-02-06 12:45
1.1K
bcialg_1__134_66.min1.thm1
2017-02-06 12:45
1.1K
bcialg_1__136_19.min1.thm1
2017-02-06 12:45
892
bcialg_1__146_15.min1.thm1
2017-02-06 12:45
539
bcialg_1__146_15.min1.thm1.tptp
2017-02-06 16:48
451
bcialg_1__170_19.min1.thm1
2017-02-06 12:45
1.5K
bcialg_1__189_32.min1.thm1
2017-02-06 12:45
1.3K
bcialg_1__193_60.min1.thm1
2017-02-06 12:45
1.6K
bcialg_1__213_32.min1.thm1
2017-02-06 12:45
1.1K
bcialg_1__214_15.min1.thm1
2017-02-06 12:45
1.0K
bcialg_1__215_19.min1.thm1
2017-02-06 12:45
1.3K
bcialg_1__222_23.min1.thm1
2017-02-06 12:45
1.3K
bcialg_1__223_24.min1.thm1
2017-02-06 12:45
1.0K
bcialg_1__224_21.min1.thm1
2017-02-06 12:45
842
bcialg_1__225_19.min1.thm1
2017-02-06 12:45
1.5K
bcialg_1__235_19.min1.thm1
2017-02-06 12:45
1.3K
bcialg_1__284_30.min1.thm1
2017-02-06 12:45
1.1K
bcialg_1__285_13.min1.thm1
2017-02-06 12:45
1.1K
bcialg_1__286_17.min1.thm1
2017-02-06 12:45
1.3K
bcialg_1__292_26.min1.thm1
2017-02-06 12:45
1.3K
bcialg_1__294_22.min1.thm1
2017-02-06 12:45
1.4K
bcialg_1__295_22.min1.thm1
2017-02-06 12:45
1.1K
bcialg_1__296_19.min1.thm1
2017-02-06 12:45
886
bcialg_1__297_17.min1.thm1
2017-02-06 12:45
1.5K
bcialg_1__306_28.min1.thm1
2017-02-06 12:45
1.4K
bcialg_1__308_17.min1.thm1
2017-02-06 12:45
1.4K
bcialg_1__316_54.min1.thm1
2017-02-06 12:45
1.7K
bcialg_1__324_19.min1.thm1
2017-02-06 12:45
940
bcialg_1__325_43.min1.thm1
2017-02-06 12:45
1.5K
bcialg_1__326_17.min1.thm1
2017-02-06 12:45
1.8K
bcialg_1__333_27.min1.thm1
2017-02-06 12:45
1.3K
bcialg_1__334_17.min1.thm1
2017-02-06 12:45
1.5K
bcialg_1__340_22.min1.thm1
2017-02-06 12:45
1.2K
bcialg_1__343_22.min1.thm1
2017-02-06 12:45
1.2K
bcialg_1__358_39.min1.thm1
2017-02-06 12:45
1.8K
bcialg_1__361_30.min1.thm1
2017-02-06 12:45
1.6K
bcialg_1__368_34.min1.thm1
2017-02-06 12:45
1.5K
bcialg_1__370_32.min1.thm1
2017-02-06 12:45
1.4K
bcialg_1__371_25.min1.thm1
2017-02-06 12:45
1.3K
bcialg_1__373_17.min1.thm1
2017-02-06 12:45
1.7K
bcialg_1__380_4.min1.thm1
2017-02-06 12:45
2.0K
bcialg_1__381_44.min1.thm1
2017-02-06 12:45
2.0K
bcialg_1__382_36.min1.thm1
2017-02-06 12:45
1.8K
bcialg_1__383_44.min1.thm1
2017-02-06 12:45
1.6K
bcialg_1__394_50.min1.thm1
2017-02-06 12:45
1.8K
bcialg_1__404_22.min1.thm1
2017-02-06 12:45
1.3K
bcialg_1__405_33.min1.thm1
2017-02-06 12:45
1.2K
bcialg_1__406_39.min1.thm1
2017-02-06 12:45
1.3K
bcialg_1__407_42.min1.thm1
2017-02-06 12:45
1.9K
bcialg_1__408_21.min1.thm1
2017-02-06 12:45
1.6K
bcialg_1__413_35.min1.thm1
2017-02-06 12:45
1.3K
bcialg_1__429_26.min1.thm1
2017-02-06 12:45
1.5K
bcialg_1__430_23.min1.thm1
2017-02-06 12:45
1.0K
bcialg_1__431_24.min1.thm1
2017-02-06 12:45
1.1K
bcialg_1__432_19.min1.thm1
2017-02-06 12:45
1.8K
bcialg_1__434_17.min1.thm1
2017-02-06 12:45
883
bcialg_1__446_25.min1.thm1
2017-02-06 12:45
1.4K
bcialg_1__447_28.min1.thm1
2017-02-06 12:45
1.3K
bcialg_1__448_19.min1.thm1
2017-02-06 12:45
1.6K
bcialg_1__450_17.min1.thm1
2017-02-06 12:45
883
bcialg_1__462_24.min1.thm1
2017-02-06 12:45
1.4K
bcialg_1__463_19.min1.thm1
2017-02-06 12:45
917
bcialg_1__465_17.min1.thm1
2017-02-06 12:45
883
bcialg_1__478_26.min1.thm1
2017-02-06 12:45
1.5K
bcialg_1__479_27.min1.thm1
2017-02-06 12:45
1.1K
bcialg_1__480_30.min1.thm1
2017-02-06 12:45
1.3K
bcialg_1__481_28.min1.thm1
2017-02-06 12:45
1.3K
bcialg_1__482_19.min1.thm1
2017-02-06 12:45
1.6K
bcialg_1__484_17.min1.thm1
2017-02-06 12:45
883
bcialg_1__496_27.min1.thm1
2017-02-06 12:45
1.3K
bcialg_1__497_30.min1.thm1
2017-02-06 12:45
1.2K
bcialg_1__498_28.min1.thm1
2017-02-06 12:45
1.3K
bcialg_1__499_19.min1.thm1
2017-02-06 12:45
1.6K
bcialg_1__501_17.min1.thm1
2017-02-06 12:45
883
bcialg_1__514_26.min1.thm1
2017-02-06 12:45
1.4K
bcialg_1__515_28.min1.thm1
2017-02-06 12:45
1.4K
bcialg_1__516_19.min1.thm1
2017-02-06 12:45
1.7K
bcialg_1__518_17.min1.thm1
2017-02-06 12:45
883
bcialg_1__531_21.min1.thm1
2017-02-06 12:45
1.2K
bcialg_1__532_23.min1.thm1
2017-02-06 12:45
1.1K
bcialg_1__534_19.min1.thm1
2017-02-06 12:45
887
bcialg_1__539_13.min1.thm1
2017-02-06 12:45
713
bcialg_1__540_29.min1.thm1
2017-02-06 12:45
1.6K
bcialg_1__541_17.min1.thm1
2017-02-06 12:45
1.0K
bcialg_1__555_50.min1.thm1
2017-02-06 12:45
882
bcialg_1__556_33.min1.thm1
2017-02-06 12:45
962
bcialg_1__558_17.min1.thm1
2017-02-06 12:45
1.0K
bcialg_1__559_22.min1.thm1
2017-02-06 12:45
1.1K
bcialg_1__560_17.min1.thm1
2017-02-06 12:45
1.0K
bcialg_1__561_19.min1.thm1
2017-02-06 12:45
779
bcialg_1__568_15.min1.thm1
2017-02-06 12:45
970
bcialg_1__569_20.min1.thm1
2017-02-06 12:45
1.1K
bcialg_1__570_14.min1.thm1
2017-02-06 12:45
1.2K
bcialg_1__577_44.min1.thm1
2017-02-06 12:45
1.5K
bcialg_1__579_47.min1.thm1
2017-02-06 12:45
858
bcialg_1__580_44.min1.thm1
2017-02-06 12:45
1.5K
bcialg_1__582_46.min1.thm1
2017-02-06 12:45
858
bcialg_1__583_17.min1.thm1
2017-02-06 12:45
1.8K
bcialg_1__584_22.min1.thm1
2017-02-06 12:45
2.5K
bcialg_1__585_23.min1.thm1
2017-02-06 12:45
1.4K
bcialg_1__586_20.min1.thm1
2017-02-06 12:45
1.2K
bcialg_1__588_14.min1.thm1
2017-02-06 12:45
2.1K
bcialg_1__595_44.min1.thm1
2017-02-06 12:45
1.5K
bcialg_1__596_49.min1.thm1
2017-02-06 12:45
858
bcialg_1__597_16.min1.thm1
2017-02-06 12:45
1.1K
bcialg_1__598_21.min1.thm1
2017-02-06 12:45
1.8K
bcialg_1__599_21.min1.thm1
2017-02-06 12:45
1.9K
bcialg_1__600_17.min1.thm1
2017-02-06 12:45
1.9K
bcialg_1__610_9.min1.thm1
2017-02-06 12:45
1.4K
bcialg_1__611_17.min1.thm1
2017-02-06 12:45
1.1K
bcialg_1__627_27.min1.thm1
2017-02-06 12:45
562
bcialg_1__627_27.min1.thm1.tptp
2017-02-06 16:48
483
bcialg_1__628_19.min1.thm1
2017-02-06 12:45
735
bcialg_1__650_53.min1.thm1
2017-02-06 12:45
839
bcialg_1__651_33.min1.thm1
2017-02-06 12:45
934
bcialg_1__653_56.min1.thm1
2017-02-06 12:45
755
bcialg_1__653_56.min1.thm1.tptp
2017-02-06 16:48
700
bcialg_1__654_23.min1.thm1
2017-02-06 12:45
1.1K
bcialg_1__655_17.min1.thm1
2017-02-06 12:45
1.0K
bcialg_1__656_19.min1.thm1
2017-02-06 12:45
779
bcialg_1__663_54.min1.thm1
2017-02-06 12:45
751
bcialg_1__663_54.min1.thm1.tptp
2017-02-06 16:48
696
bcialg_1__664_21.min1.thm1
2017-02-06 12:45
1.1K
bcialg_1__665_14.min1.thm1
2017-02-06 12:45
1.1K
bcialg_1__677_49.min1.thm1
2017-02-06 12:45
1.1K
bcialg_1__679_22.min1.thm1
2017-02-06 12:45
1.2K
bcialg_1__687_19.min1.thm1
2017-02-06 12:45
625
bcialg_1__688_16.min1.thm1
2017-02-06 12:45
833
bcialg_1__690_19.min1.thm1
2017-02-06 12:45
1.0K
bcialg_1__691_14.min1.thm1
2017-02-06 12:45
1.0K
bcialg_1__704_49.min1.thm1
2017-02-06 12:45
1.1K
bcialg_1__706_22.min1.thm1
2017-02-06 12:45
1.2K
bcialg_1__708_19.min1.thm1
2017-02-06 12:45
1.6K
bcialg_1__715_29.min1.thm1
2017-02-06 12:45
1.2K
bcialg_1__716_25.min1.thm1
2017-02-06 12:45
1.0K
bcialg_1__717_19.min1.thm1
2017-02-06 12:45
949
bcialg_1__718_16.min1.thm1
2017-02-06 12:45
833
bcialg_1__720_19.min1.thm1
2017-02-06 12:45
1.0K
bcialg_1__721_14.min1.thm1
2017-02-06 12:45
1.0K
bcialg_1__734_49.min1.thm1
2017-02-06 12:45
1.1K
bcialg_1__736_22.min1.thm1
2017-02-06 12:45
1.2K
bcialg_1__740_73.min1.thm1
2017-02-06 12:45
2.5K
bcialg_1__750_28.min1.thm1
2017-02-06 12:45
1.6K
bcialg_1__752_33.min1.thm1
2017-02-06 12:45
1.5K
bcialg_1__753_27.min1.thm1
2017-02-06 12:45
1.4K
bcialg_1__754_21.min1.thm1
2017-02-06 12:45
949
bcialg_1__755_16.min1.thm1
2017-02-06 12:45
1.1K
bcialg_1__757_19.min1.thm1
2017-02-06 12:45
1.0K
bcialg_1__758_14.min1.thm1
2017-02-06 12:45
1.0K
bcialg_1__771_49.min1.thm1
2017-02-06 12:45
1.1K
bcialg_1__773_22.min1.thm1
2017-02-06 12:45
1.2K
bcialg_1__777_74.min1.thm1
2017-02-06 12:45
2.8K
bcialg_1__782_25.min1.thm1
2017-02-06 12:45
3.0K
bcialg_1__794_41.min1.thm1
2017-02-06 12:45
1.8K
bcialg_1__795_38.min1.thm1
2017-02-06 12:45
1.7K
bcialg_1__796_31.min1.thm1
2017-02-06 12:45
1.5K
bcialg_1__797_25.min1.thm1
2017-02-06 12:45
1.0K
bcialg_1__798_21.min1.thm1
2017-02-06 12:45
945
bcialg_1__799_16.min1.thm1
2017-02-06 12:45
1.1K
bcialg_1__801_19.min1.thm1
2017-02-06 12:45
1.0K
bcialg_1__802_14.min1.thm1
2017-02-06 12:45
1.0K
bcialg_1__814_49.min1.thm1
2017-02-06 12:45
1.1K
bcialg_1__816_22.min1.thm1
2017-02-06 12:45
1.2K
bcialg_1__817_23.min1.thm1
2017-02-06 12:45
1.6K
bcialg_1__818_27.min1.thm1
2017-02-06 12:45
1.5K
bcialg_1__819_22.min1.thm1
2017-02-06 12:45
1.5K
bcialg_1__820_19.min1.thm1
2017-02-06 12:45
1.2K
bcialg_1__828_22.min1.thm1
2017-02-06 12:45
1.1K
bcialg_1__829_21.min1.thm1
2017-02-06 12:45
1.1K
bcialg_1__830_21.min1.thm1
2017-02-06 12:45
741
bcialg_1__831_16.min1.thm1
2017-02-06 12:45
1.1K
bcialg_1__833_19.min1.thm1
2017-02-06 12:45
1.0K
bcialg_1__834_14.min1.thm1
2017-02-06 12:45
1.0K
bcialg_1__844_30.min1.thm1
2017-02-06 12:45
1.2K
bcialg_1__845_25.min1.thm1
2017-02-06 12:45
1.0K
bcialg_1__846_19.min1.thm1
2017-02-06 12:45
1.5K
bcialg_1__854_36.min1.thm1
2017-02-06 12:45
1.6K
bcialg_1__856_16.min1.thm1
2017-02-06 12:45
1.1K
bcialg_1__858_19.min1.thm1
2017-02-06 12:45
1.0K
bcialg_1__859_14.min1.thm1
2017-02-06 12:45
1.0K
bcialg_1__873_16.min1.thm1
2017-02-06 12:45
650
bcialg_1__873_16.min1.thm1.tptp
2017-02-06 16:48
573
bcialg_1__874_19.min1.thm1
2017-02-06 12:45
1.2K
bcialg_1__882_17.min1.thm1
2017-02-06 12:45
592
bcialg_1__882_17.min1.thm1.tptp
2017-02-06 16:48
515
bcialg_1__883_19.min1.thm1
2017-02-06 12:45
1.2K
bcialg_1__898_22.min1.thm1
2017-02-06 12:45
1.2K
bcialg_1__899_52.min1.thm1
2017-02-06 12:45
1.1K
bcialg_1__902_34.min1.thm1
2017-02-06 12:45
1.8K
bcialg_1__904_19.min1.thm1
2017-02-06 12:45
1.4K
bcialg_1__907_24.min1.thm1
2017-02-06 12:45
1.0K
bcialg_1__908_21.min1.thm1
2017-02-06 12:45
1.0K
bcialg_1__909_17.min1.thm1
2017-02-06 12:45
937
bcialg_1__910_17.min1.thm1
2017-02-06 12:45
880
bcialg_1__924_21.min1.thm1
2017-02-06 12:45
1.1K
bcialg_1__925_26.min1.thm1
2017-02-06 12:45
1.5K
bcialg_1__930_31.min1.thm1
2017-02-06 12:45
1.7K
bcialg_1__935_17.min1.thm1
2017-02-06 12:45
1.1K
bcialg_1__944_17.min1.thm1
2017-02-06 12:45
2.0K
bcialg_1__950_14.min1.thm1
2017-02-06 12:45
1.9K
bcialg_1__957_22.min1.thm1
2017-02-06 12:45
606
bcialg_1__957_22.min1.thm1.tptp
2017-02-06 16:48
527
bcialg_1__958_17.min1.thm1
2017-02-06 12:45
1.8K
bcialg_1__966_12.min1.thm1
2017-02-06 12:45
1.7K
bcialg_1__967_17.min1.thm1
2017-02-06 12:45
2.3K
bcialg_1__988_48.min1.thm1
2017-02-06 12:45
1.0K
bcialg_1__989_33.min1.thm1
2017-02-06 12:45
949
bcialg_1__991_14.min1.thm1
2017-02-06 12:45
1.8K
bcialg_1__992_18.min1.thm1
2017-02-06 12:45
2.0K
bcialg_1__993_15.min1.thm1
2017-02-06 12:45
1.6K
bcialg_1__994_19.min1.thm1
2017-02-06 12:45
830
bcialg_1__1003_4.min1.thm1
2017-02-06 12:45
784
bcialg_1__1003_4.min1.thm1.tptp
2017-02-06 16:48
733
bcialg_1__1004_17.min1.thm1
2017-02-06 12:45
868
bcialg_1__1012_49.min1.thm1
2017-02-06 12:45
1.9K
bcialg_1__1014_51.min1.thm1
2017-02-06 12:45
905
bcialg_1__1015_42.min1.thm1
2017-02-06 12:45
2.0K
bcialg_1__1017_45.min1.thm1
2017-02-06 12:45
2.3K
bcialg_1__1020_25.min1.thm1
2017-02-06 12:45
1.9K
bcialg_1__1021_17.min1.thm1
2017-02-06 12:45
2.8K
bcialg_1__1028_54.min1.thm1
2017-02-06 12:45
1.2K
bcialg_1__1030_53.min1.thm1
2017-02-06 12:45
931
bcialg_1__1032_31.min1.thm1
2017-02-06 12:45
2.4K
bcialg_1__1034_23.min1.thm1
2017-02-06 12:45
2.8K
bcialg_1__1035_44.min1.thm1
2017-02-06 12:45
1.5K
bcialg_1__1036_49.min1.thm1
2017-02-06 12:45
858
bcialg_1__1037_27.min1.thm1
2017-02-06 12:45
1.5K
bcialg_1__1038_19.min1.thm1
2017-02-06 12:45
2.5K
bcialg_1__1039_17.min1.thm1
2017-02-06 12:45
1.6K
bcialg_1__1046_42.min1.thm1
2017-02-06 12:45
2.0K
bcialg_1__1047_47.min1.thm1
2017-02-06 12:45
2.3K
bcialg_1__1048_17.min1.thm1
2017-02-06 12:45
1.6K
bcialg_1__1057_34.min1.thm1
2017-02-06 12:45
2.4K
bcialg_1__1059_34.min1.thm1
2017-02-06 12:45
3.1K
bcialg_1__1060_40.min1.thm1
2017-02-06 12:45
3.7K
bcialg_1__1062_36.min1.thm1
2017-02-06 12:45
2.8K
bcialg_1__1063_36.min1.thm1
2017-02-06 12:45
3.1K
bcialg_1__1064_27.min1.thm1
2017-02-06 12:45
2.6K
bcialg_1__1065_28.min1.thm1
2017-02-06 12:45
2.6K
bcialg_1__1066_28.min1.thm1
2017-02-06 12:45
1.4K
bcialg_1__1067_25.min1.thm1
2017-02-06 12:45
1.3K
bcialg_1__1068_20.min1.thm1
2017-02-06 12:45
3.0K
bcialg_1__1078_30.min1.thm1
2017-02-06 12:45
2.7K
bcialg_1__1079_14.min1.thm1
2017-02-06 12:45
3.7K
bcialg_1__1090_24.min1.thm1
2017-02-06 12:45
1.5K
bcialg_1__1092_26.min1.thm1
2017-02-06 12:45
2.5K
bcialg_1__1093_26.min1.thm1
2017-02-06 12:45
3.2K
bcialg_1__1110_36.min1.thm1
2017-02-06 12:45
602
bcialg_1__1111_47.min1.thm1
2017-02-06 12:45
2.1K
bcialg_1__1112_47.min1.thm1
2017-02-06 12:45
2.2K
bcialg_1__1113_28.min1.thm1
2017-02-06 12:45
1.6K
bcialg_1__1116_25.min1.thm1
2017-02-06 12:45
2.5K
bcialg_1__1118_16.min1.thm1
2017-02-06 12:45
2.4K
bcialg_1__1119_47.min1.thm1
2017-02-06 12:45
1.5K
bcialg_1__1120_52.min1.thm1
2017-02-06 12:45
817
bcialg_1__1139_33.min1.thm1
2017-02-06 12:45
675
bcialg_1__1140_19.min1.thm1
2017-02-06 12:45
929
bcialg_1__1141_21.min1.thm1
2017-02-06 12:45
465
bcialg_1__1146_20.min1.thm1
2017-02-06 12:45
465
bcialg_1__1147_34.min1.thm1
2017-02-06 12:45
1.0K
bcialg_1__1149_19.min1.thm1
2017-02-06 12:45
1.4K
bcialg_1__1166_18.min1.thm1
2017-02-06 12:45
369
bcialg_1__1166_18.min1.thm1.tptp
2017-02-06 16:48
304
bcialg_1__1167_32.min1.thm1
2017-02-06 12:45
958
bcialg_1__1170_24.min1.thm1
2017-02-06 12:45
552
bcialg_1__1176_31.min1.thm1
2017-02-06 12:45
583
bcialg_1__1176_31.min1.thm1.tptp
2017-02-06 16:48
520
bcialg_1__1177_17.min1.thm1
2017-02-06 12:45
897
bcialg_1__1178_19.min1.thm1
2017-02-06 12:45
369
bcialg_1__1178_19.min1.thm1.tptp
2017-02-06 16:48
304
bcialg_1__1180_17.min1.thm1
2017-02-06 12:45
296
bcialg_1__1181_17.min1.thm1
2017-02-06 12:45
1.6K
bcialg_1__1191_10.min1.thm1
2017-02-06 12:45
1.7K
bcialg_1__1192_16.min1.thm1
2017-02-06 12:45
1.0K
bcialg_1__1193_17.min1.thm1
2017-02-06 12:45
419
bcialg_1__1193_17.min1.thm1.tptp
2017-02-06 16:48
354
bcialg_1__1202_34.min1.thm1
2017-02-06 12:45
610
bcialg_1__1202_34.min1.thm1.tptp
2017-02-06 16:48
531
bcialg_1__1204_47.min1.thm1
2017-02-06 12:45
1.0K
bcialg_1__1205_19.min1.thm1
2017-02-06 12:45
940
bcialg_1__1213_32.min1.thm1
2017-02-06 12:45
606
bcialg_1__1213_32.min1.thm1.tptp
2017-02-06 16:48
527
bcialg_1__1214_45.min1.thm1
2017-02-06 12:45
958
bcialg_1__1215_17.min1.thm1
2017-02-06 12:45
1.1K
bcialg_1__1223_29.min1.thm1
2017-02-06 12:45
1.3K
bcialg_1__1224_72.min1.thm1
2017-02-06 12:45
1.2K
bcialg_1__1226_17.min1.thm1
2017-02-06 12:45
2.5K
bcialg_1__1238_52.min1.thm1
2017-02-06 12:45
1.1K
bcialg_1__1239_22.min1.thm1
2017-02-06 12:45
1.2K
bcialg_1__1241_16.min1.thm1
2017-02-06 12:45
1.1K
bcialg_1__1242_50.min1.thm1
2017-02-06 12:45
1.1K
bcialg_1__1243_24.min1.thm1
2017-02-06 12:45
1.5K
bcialg_1__1244_18.min1.thm1
2017-02-06 12:45
1.1K
bcialg_1__1245_19.min1.thm1
2017-02-06 12:45
1.2K
bcialg_1__1246_16.min1.thm1
2017-02-06 12:45
1.1K
bcialg_1__1248_23.min1.thm1
2017-02-06 12:45
606
bcialg_1__1248_23.min1.thm1.tptp
2017-02-06 16:48
527
bcialg_1__1249_37.min1.thm1
2017-02-06 12:45
1.6K
bcialg_1__1252_11.min1.thm1
2017-02-06 12:45
1.3K
bcialg_1__1253_52.min1.thm1
2017-02-06 12:45
1.1K
bcialg_1__1254_20.min1.thm1
2017-02-06 12:45
1.2K
bcialg_1__1255_21.min1.thm1
2017-02-06 12:45
1.1K
bcialg_1__1256_20.min1.thm1
2017-02-06 12:45
2.6K
bcialg_1__1257_18.min1.thm1
2017-02-06 12:45
2.2K
bcialg_1__1259_17.min1.thm1
2017-02-06 12:45
1.0K
bcialg_1__1268_16.min1.thm1
2017-02-06 12:45
1.1K
bcialg_1__1274_46.min1.thm1
2017-02-06 12:45
1.4K
bcialg_1__1275_38.min1.thm1
2017-02-06 12:45
389
bcialg_1__1276_21.min1.thm1
2017-02-06 12:45
2.3K
bcialg_1__1277_22.min1.thm1
2017-02-06 12:45
2.7K
bcialg_1__1278_19.min1.thm1
2017-02-06 12:45
2.4K
bcialg_1__1280_17.min1.thm1
2017-02-06 12:45
499
bcialg_1__1280_17.min1.thm1.tptp
2017-02-06 16:48
435
bcialg_1__1293_15.min1.thm1
2017-02-06 12:45
879
bcialg_1__1295_47.min1.thm1
2017-02-06 12:45
1.1K
bcialg_1__1296_25.min1.thm1
2017-02-06 12:45
1.8K
bcialg_1__1298_17.min1.thm1
2017-02-06 12:45
829
bcialg_1__1339_20.min1.thm1
2017-02-06 12:45
1.5K
bcialg_1__1344_19.min1.thm1
2017-02-06 12:45
2.0K
bcialg_1__1345_21.min1.thm1
2017-02-06 12:45
1.8K
bcialg_1__1350_28.min1.thm1
2017-02-06 12:45
2.5K
bcialg_1__1351_21.min1.thm1
2017-02-06 12:45
2.0K
bcialg_1__1356_19.min1.thm1
2017-02-06 12:45
2.1K
bcialg_1__1357_21.min1.thm1
2017-02-06 12:45
2.3K
bcialg_1__1362_20.min1.thm1
2017-02-06 12:45
1.5K
bcialg_1__1367_20.min1.thm1
2017-02-06 12:45
1.4K
bcialg_1__1369_19.min1.thm1
2017-02-06 12:45
671
bcialg_1__1379_15.min1.thm1
2017-02-06 12:45
489
bcialg_1__1388_22.min1.thm1
2017-02-06 12:45
1.3K
bcialg_1__1389_16.min1.thm1
2017-02-06 12:45
1.2K
bcialg_1__1390_17.min1.thm1
2017-02-06 12:45
1.0K
bcialg_1__1398_31.min1.thm1
2017-02-06 12:45
672
bcialg_1__1398_31.min1.thm1.tptp
2017-02-06 16:48
595
bcialg_1__1399_22.min1.thm1
2017-02-06 12:45
730
bcialg_1__1399_22.min1.thm1.tptp
2017-02-06 16:48
653
bcialg_1__1401_29.min1.thm1
2017-02-06 12:45
672
bcialg_1__1401_29.min1.thm1.tptp
2017-02-06 16:48
595
bcialg_1__1402_22.min1.thm1
2017-02-06 12:45
730
bcialg_1__1402_22.min1.thm1.tptp
2017-02-06 16:48
653
bcialg_1__1404_17.min1.thm1
2017-02-06 12:45
1.6K
bcialg_1__1415_21.min1.thm1
2017-02-06 12:45
1.4K
bcialg_1__1416_14.min1.thm1
2017-02-06 12:45
862
bcialg_1__1417_14.min1.thm1
2017-02-06 12:45
716
bcialg_1__1418_18.min1.thm1
2017-02-06 12:45
1.7K
bcialg_1__1419_17.min1.thm1
2017-02-06 12:45
774
bcialg_1__1420_14.min1.thm1
2017-02-06 12:45
1.0K
bcialg_1__1421_19.min1.thm1
2017-02-06 12:45
1.2K
bcialg_1__1424_31.min1.thm1
2017-02-06 12:45
1.0K
bcialg_1__1425_17.min1.thm1
2017-02-06 12:45
881
bcialg_1__1431_77.min1.thm1
2017-02-06 12:45
851
bcialg_1__1431_77.min1.thm1.tptp
2017-02-06 16:48
808
bcialg_1__1434_45.min1.thm1
2017-02-06 12:45
730
bcialg_1__1435_17.min1.thm1
2017-02-06 12:45
1.0K
bcialg_1__1451_53.min1.thm1
2017-02-06 12:45
1.9K
bcialg_1__1453_32.min1.thm1
2017-02-06 12:45
2.0K
bcialg_1__1454_46.min1.thm1
2017-02-06 12:45
1.3K
bcialg_1__1455_35.min1.thm1
2017-02-06 12:45
1.8K
bcialg_1__1467_27.min1.thm1
2017-02-06 12:45
1.2K
bcialg_1__1468_21.min1.thm1
2017-02-06 12:45
1.0K
bcialg_1__1473_21.min1.thm1
2017-02-06 12:45
1.3K
bcialg_1__1474_31.min1.thm1
2017-02-06 12:45
1.3K
bcialg_1__1475_36.min1.thm1
2017-02-06 12:45
1.4K
bcialg_1__1476_24.min1.thm1
2017-02-06 12:45
1.1K
bcialg_1__1477_21.min1.thm1
2017-02-06 12:45
1.3K
bcialg_1__1483_48.min1.thm1
2017-02-06 12:45
1.1K
bcialg_1__1484_32.min1.thm1
2017-02-06 12:45
1.1K
bcialg_1__1486_38.min1.thm1
2017-02-06 12:45
1.6K
bcialg_1__1487_23.min1.thm1
2017-02-06 12:45
1.4K
bcialg_1__1488_33.min1.thm1
2017-02-06 12:45
1.4K
bcialg_1__1489_33.min1.thm1
2017-02-06 12:45
1.1K
bcialg_1__1490_27.min1.thm1
2017-02-06 12:45
1.2K
bcialg_1__1491_29.min1.thm1
2017-02-06 12:45
1.1K
bcialg_1__1492_32.min1.thm1
2017-02-06 12:45
851
bcialg_1__1500_23.min1.thm1
2017-02-06 12:45
1.4K
bcialg_1__1501_33.min1.thm1
2017-02-06 12:45
1.4K
bcialg_1__1502_33.min1.thm1
2017-02-06 12:45
1.1K
bcialg_1__1503_27.min1.thm1
2017-02-06 12:45
1.2K
bcialg_1__1504_23.min1.thm1
2017-02-06 12:45
1.0K
bcialg_1__1505_14.min1.thm1
2017-02-06 12:45
971
bcialg_1__1506_18.min1.thm1
2017-02-06 12:45
244
bcialg_1__1509_23.min1.thm1
2017-02-06 12:45
799
bcialg_1__1510_19.min1.thm1
2017-02-06 12:45
580
bcialg_1__1512_23.min1.thm1
2017-02-06 12:45
1.0K
bcialg_1__1513_16.min1.thm1
2017-02-06 12:45
820
bcialg_1__1528_22.min1.thm1
2017-02-06 12:45
1.8K
bcialg_1__1530_22.min1.thm1
2017-02-06 12:45
1.3K
bcialg_1__1531_14.min1.thm1
2017-02-06 12:45
1.1K
bcialg_1__1532_19.min1.thm1
2017-02-06 12:45
2.0K
bcialg_1__1542_22.min1.thm1
2017-02-06 12:45
1.0K
bcialg_1__1543_21.min1.thm1
2017-02-06 12:45
1.0K
bcialg_1__1546_11.min1.thm1
2017-02-06 12:45
724
bcialg_1__1547_22.min1.thm1
2017-02-06 12:45
1.0K
bcialg_1__1548_27.min1.thm1
2017-02-06 12:45
1.0K
bcialg_1__1549_19.min1.thm1
2017-02-06 12:45
1.6K
bcialg_1__1565_22.min1.thm1
2017-02-06 12:45
1.8K
bcialg_1__1566_27.min1.thm1
2017-02-06 12:45
1.3K
bcialg_1__1567_27.min1.thm1
2017-02-06 12:45
1.3K
bcialg_1__1568_19.min1.thm1
2017-02-06 12:45
2.0K
bcialg_1__1578_31.min1.thm1
2017-02-06 12:45
1.3K
bcialg_1__1579_30.min1.thm1
2017-02-06 12:45
1.1K
bcialg_1__1580_24.min1.thm1
2017-02-06 12:45
1.0K
bcialg_1__1582_16.min1.thm1
2017-02-06 12:45
1.3K
bcialg_1__1584_21.min1.thm1
2017-02-06 12:45
2.1K
bcialg_1__1587_19.min1.thm1
2017-02-06 12:45
1.8K
bcialg_1__1605_23.min1.thm1
2017-02-06 12:45
1.1K
bcialg_1__1606_18.min1.thm1
2017-02-06 12:45
849
bcialg_1__1608_19.min1.thm1
2017-02-06 12:45
1.0K
bcialg_1__1615_34.min1.thm1
2017-02-06 12:45
1.4K
bcialg_1__1618_17.min1.thm1
2017-02-06 12:45
882
bcialg_1__1632_46.min1.thm1
2017-02-06 12:45
1.0K
bcialg_1__1633_35.min1.thm1
2017-02-06 12:45
969
bcialg_1__1634_14.min1.thm1
2017-02-06 12:45
1.5K
bcialg_1__1635_20.min1.thm1
2017-02-06 12:45
1.4K
bcialg_1__1636_17.min1.thm1
2017-02-06 12:45
1.0K
bcialg_1__1637_19.min1.thm1
2017-02-06 12:45
443
bcialg_1__1644_40.min1.thm1
2017-02-06 12:45
798
bcialg_1__1645_12.min1.thm1
2017-02-06 12:45
443
bcialg_1__1646_18.min1.thm1
2017-02-06 12:45
948
bcialg_1__1647_20.min1.thm1
2017-02-06 12:45
1.2K
bcialg_1__1648_16.min1.thm1
2017-02-06 12:45
1.1K
bcialg_1__1659_22.min1.thm1
2017-02-06 12:45
1.2K
bcialg_1__1662_37.min1.thm1
2017-02-06 12:45
1.9K
bcialg_1__1663_55.min1.thm1
2017-02-06 12:45
2.0K
bcialg_1__1664_19.min1.thm1
2017-02-06 12:45
2.2K
bcialg_1__1665_14.min1.thm1
2017-02-06 12:45
833
bcialg_1__1666_19.min1.thm1
2017-02-06 12:45
1.6K
bcialg_1__1668_13.min1.thm1
2017-02-06 12:45
1.1K
bcialg_1__1678_31.min1.thm1
2017-02-06 12:45
1.6K
bcialg_1__1679_19.min1.thm1
2017-02-06 12:45
1.1K
bcialg_1__1685_25.min1.thm1
2017-02-06 12:45
1.2K
bcialg_1__1686_17.min1.thm1
2017-02-06 12:45
1.0K
bcialg_1__1698_24.min1.thm1
2017-02-06 12:45
1.3K
bcialg_1__1701_47.min1.thm1
2017-02-06 12:45
2.0K
bcialg_1__1702_57.min1.thm1
2017-02-06 12:45
1.9K
bcialg_1__1703_21.min1.thm1
2017-02-06 12:45
2.2K
bcialg_1__1704_16.min1.thm1
2017-02-06 12:45
835
bcialg_1__1707_19.min1.thm1
2017-02-06 12:45
886
bcialg_1__1715_65.min1.thm1
2017-02-06 12:45
746
bcialg_1__1715_65.min1.thm1.tptp
2017-02-06 16:48
689
bcialg_1__1722_52.min1.thm1
2017-02-06 12:45
853
bcialg_1__1722_52.min1.thm1.tptp
2017-02-06 16:48
810
bcialg_1__1734_31.min1.thm1
2017-02-06 12:45
1.2K
bcialg_1__1737_30.min1.thm1
2017-02-06 12:45
1.2K
bcialg_1__1746_21.min1.thm1
2017-02-06 12:45
1.5K
bcialg_1__1747_16.min1.thm1
2017-02-06 12:45
1.0K
bcialg_1__1748_19.min1.thm1
2017-02-06 12:45
953
bcialg_1__1750_17.min1.thm1
2017-02-06 12:45
775
bcialg_1__1759_30.min1.thm1
2017-02-06 12:45
1.6K
bcialg_1__1760_20.min1.thm1
2017-02-06 12:45
1.3K
bcialg_1__1761_28.min1.thm1
2017-02-06 12:45
1.7K
bcialg_1__1762_20.min1.thm1
2017-02-06 12:45
1.3K
bcialg_1__1763_20.min1.thm1
2017-02-06 12:45
1.7K
bcialg_1__1764_17.min1.thm1
2017-02-06 12:45
2.6K
bcialg_1__1773_18.min1.thm1
2017-02-06 12:45
1.0K
bcialg_1__1774_17.min1.thm1
2017-02-06 12:45
1.5K
bcialg_1__1782_28.min1.thm1
2017-02-06 12:45
1.5K
bcialg_1__1783_18.min1.thm1
2017-02-06 12:45
886
bcialg_1__1784_17.min1.thm1
2017-02-06 12:45
1.5K
bcialg_1__1795_31.min1.thm1
2017-02-06 12:45
1.2K
bcialg_1__1796_25.min1.thm1
2017-02-06 12:45
1.5K
bcialg_1__1798_14.min1.thm1
2017-02-06 12:45
1.5K
bcialg_1__1800_31.min1.thm1
2017-02-06 12:45
1.2K
bcialg_1__1801_25.min1.thm1
2017-02-06 12:45
1.5K
bcialg_1__1802_17.min1.thm1
2017-02-06 12:45
1.5K
bcialg_1__1803_17.min1.thm1
2017-02-06 12:45
1.1K
bcialg_1__1811_20.min1.thm1
2017-02-06 12:45
1.3K
bcialg_1__1812_22.min1.thm1
2017-02-06 12:45
961
bcialg_1__1823_22.min1.thm1
2017-02-06 12:45
1.3K
bcialg_1__1824_12.min1.thm1
2017-02-06 12:45
1.3K
bcialg_1__1825_20.min1.thm1
2017-02-06 12:45
1.3K
bcialg_1__1826_12.min1.thm1
2017-02-06 12:45
1.3K
bcialg_1__1827_17.min1.thm1
2017-02-06 12:45
1.1K
bcialg_1__1834_4.min1.thm1
2017-02-06 12:45
1.4K
bcialg_1__1834_4.min1.thm1.tptp
2017-02-06 16:48
1.3K
bcialg_1__1843_36.min1.thm1
2017-02-06 12:45
1.4K
bcialg_1__1844_21.min1.thm1
2017-02-06 12:45
1.2K
bcialg_1__1853_61.min1.thm1
2017-02-06 12:45
1.1K
bcialg_1__1859_24.min1.thm1
2017-02-06 12:45
1.1K
bcialg_1__1860_25.min1.thm1
2017-02-06 12:45
1.6K
bcialg_1__1861_19.min1.thm1
2017-02-06 12:45
1.0K
bcialg_1__1863_17.min1.thm1
2017-02-06 12:45
788
bcialg_1__1874_23.min1.thm1
2017-02-06 12:45
1.1K
bcialg_1__1875_17.min1.thm1
2017-02-06 12:45
1.2K
bcialg_1__1876_16.min1.thm1
2017-02-06 12:45
1.1K
bcialg_1__1877_19.min1.thm1
2017-02-06 12:45
1.4K
bcialg_1__1883_22.min1.thm1
2017-02-06 12:45
1.1K
bcialg_1__1884_23.min1.thm1
2017-02-06 12:45
1.1K
bcialg_1__1885_18.min1.thm1
2017-02-06 12:45
1.0K
bcialg_1__1887_17.min1.thm1
2017-02-06 12:45
788
bcialg_1__1898_30.min1.thm1
2017-02-06 12:45
1.7K
bcialg_1__1899_23.min1.thm1
2017-02-06 12:45
1.2K
bcialg_1__1907_27.min1.thm1
2017-02-06 12:45
1.1K
bcialg_1__1908_20.min1.thm1
2017-02-06 12:45
1.0K
bcialg_1__1910_17.min1.thm1
2017-02-06 12:45
788
bcialg_1__1922_21.min1.thm1
2017-02-06 12:45
1.2K
bcialg_1__1923_19.min1.thm1
2017-02-06 12:45
1.3K
bcialg_1__1930_23.min1.thm1
2017-02-06 12:45
1.3K
bcialg_1__1931_16.min1.thm1
2017-02-06 12:45
1.7K
bcialg_1__1932_14.min1.thm1
2017-02-06 12:45
957
bcialg_1__1934_20.min1.thm1
2017-02-06 12:45
1.4K
bcialg_1__1935_20.min1.thm1
2017-02-06 12:45
1.6K
bcialg_1__1936_19.min1.thm1
2017-02-06 12:45
1.3K
bcialg_1__1938_17.min1.thm1
2017-02-06 12:45
788
bcialg_1__1944_59.min1.thm1
2017-02-06 12:45
1.3K
bcialg_1__1949_21.min1.thm1
2017-02-06 12:45
1.4K
bcialg_1__1950_23.min1.thm1
2017-02-06 12:45
1.3K
bcialg_1__1951_18.min1.thm1
2017-02-06 12:45
1.0K
bcialg_1__1953_17.min1.thm1
2017-02-06 12:45
788
bcialg_1__1959_77.min1.thm1
2017-02-06 12:45
1.4K
bcialg_1__1959_77.min1.thm1.tptp
2017-02-06 16:48
1.3K
bcialg_1__1966_25.min1.thm1
2017-02-06 12:45
1.4K
bcialg_1__1968_28.min1.thm1
2017-02-06 12:45
1.1K
bcialg_1__1969_22.min1.thm1
2017-02-06 12:45
1.5K
bcialg_1__1970_19.min1.thm1
2017-02-06 12:45
1.2K
bcialg_1__1978_67.min1.thm1
2017-02-06 12:45
1.0K
bcialg_1__1978_67.min1.thm1.tptp
2017-02-06 16:48
1.0K
bcialg_1__1984_24.min1.thm1
2017-02-06 12:45
1.4K
bcialg_1__1986_19.min1.thm1
2017-02-06 12:45
1.2K
bcialg_1__1994_68.min1.thm1
2017-02-06 12:45
1.1K
bcialg_1__1994_68.min1.thm1.tptp
2017-02-06 16:48
1.1K
bcialg_1__2000_22.min1.thm1
2017-02-06 12:45
1.5K
bcialg_1__2001_19.min1.thm1
2017-02-06 12:45
1.1K
bcialg_1__2003_17.min1.thm1
2017-02-06 12:45
1.0K
bcialg_1__2009_66.min1.thm1
2017-02-06 12:45
1.0K
bcialg_1__2009_66.min1.thm1.tptp
2017-02-06 16:48
961
bcialg_1__2015_24.min1.thm1
2017-02-06 12:45
1.3K
bcialg_1__2016_29.min1.thm1
2017-02-06 12:45
1.1K
bcialg_1__2017_19.min1.thm1
2017-02-06 12:45
1.5K
bcialg_1__2019_17.min1.thm1
2017-02-06 12:45
896
bcialg_1__2025_66.min1.thm1
2017-02-06 12:45
1.0K
bcialg_1__2025_66.min1.thm1.tptp
2017-02-06 16:48
961
bcialg_1__2032_21.min1.thm1
2017-02-06 12:45
1.2K
bcialg_1__2033_19.min1.thm1
2017-02-06 12:45
1.3K
bcialg_1__2035_17.min1.thm1
2017-02-06 12:45
840
bcialg_1__2044_36.min1.thm1
2017-02-06 12:45
1.3K
bcialg_1__2044_36.min1.thm1.tptp
2017-02-06 16:48
1.3K
bcialg_1__2050_28.min1.thm1
2017-02-06 12:45
1.5K
bcialg_1__2051_34.min1.thm1
2017-02-06 12:45
1.7K
bcialg_1__2052_17.min1.thm1
2017-02-06 12:45
1.7K
bcialg_1__2053_36.min1.thm1
2017-02-06 12:45
1.7K
bcialg_1__2054_36.min1.thm1
2017-02-06 12:45
1.1K
bcialg_1__2056_26.min1.thm1
2017-02-06 12:45
1.0K
bcialg_1__2057_17.min1.thm1
2017-02-06 12:45
1.3K
bcialg_1__2058_30.min1.thm1
2017-02-06 12:45
1.5K
bcialg_1__2062_30.min1.thm1
2017-02-06 12:45
1.0K
bcialg_1__2064_21.min1.thm1
2017-02-06 12:45
1.1K
bcialg_1__2072_14.min1.thm1
2017-02-06 12:45
802
bcialg_1__2073_24.min1.thm1
2017-02-06 12:45
1.1K
bcialg_1__2075_16.min1.thm1
2017-02-06 12:45
874
bcialg_1__2078_23.min1.thm1
2017-02-06 12:45
807
bcialg_1__2081_20.min1.thm1
2017-02-06 12:45
900
bcialg_1__2082_26.min1.thm1
2017-02-06 12:45
1.0K
bcialg_1__2083_17.min1.thm1
2017-02-06 12:45
1.3K
bcialg_1__2084_20.min1.thm1
2017-02-06 12:45
1.3K
bcialg_1__2086_22.min1.thm1
2017-02-06 12:45
585
bcialg_1__2087_17.min1.thm1
2017-02-06 12:45
2.7K
bcialg_1__2097_50.min1.thm1
2017-02-06 12:45
1.3K
bcialg_1__2097_50.min1.thm1.tptp
2017-02-06 16:48
1.3K
bcialg_1__2103_19.min1.thm1
2017-02-06 12:45
665
bcialg_1__2106_28.min1.thm1
2017-02-06 12:45
1.0K
bcialg_1__2107_22.min1.thm1
2017-02-06 12:45
1.1K
bcialg_1__2108_36.min1.thm1
2017-02-06 12:45
1.7K
bcialg_1__2110_20.min1.thm1
2017-02-06 12:45
863
bcialg_1__2111_14.min1.thm1
2017-02-06 12:45
900
bcialg_1__2112_30.min1.thm1
2017-02-06 12:45
1.0K
bcialg_1__2117_28.min1.thm1
2017-02-06 12:45
1.0K
bcialg_1__2118_21.min1.thm1
2017-02-06 12:45
1.1K
bcialg_1__2126_14.min1.thm1
2017-02-06 12:45
802
bcialg_1__2128_17.min1.thm1
2017-02-06 12:45
765
bcialg_1__2129_16.min1.thm1
2017-02-06 12:45
874
bcialg_1__2131_26.min1.thm1
2017-02-06 12:45
807
bcialg_1__2132_17.min1.thm1
2017-02-06 12:45
2.7K
bcialg_1__2144_18.min1.thm1
2017-02-06 12:45
1.2K
bcialg_1__2145_19.min1.thm1
2017-02-06 12:45
1.4K
bcialg_1__2147_17.min1.thm1
2017-02-06 12:45
1.7K
bcialg_1__2148_16.min1.thm1
2017-02-06 12:45
1.1K
bcialg_1__2149_25.min1.thm1
2017-02-06 12:45
1.6K
bcialg_1__2153_20.min1.thm1
2017-02-06 12:45
1.2K
bcialg_1__2154_19.min1.thm1
2017-02-06 12:45
1.4K
bcialg_1__2156_17.min1.thm1
2017-02-06 12:45
1.7K
bcialg_1__2157_16.min1.thm1
2017-02-06 12:45
1.1K
bcialg_1__2158_25.min1.thm1
2017-02-06 12:45
1.6K
bcialg_1__2169_22.min1.thm1
2017-02-06 12:45
1.1K
bcialg_1__2170_14.min1.thm1
2017-02-06 12:45
1.7K
bcialg_1__2171_19.min1.thm1
2017-02-06 12:45
1.3K
bcialg_1__2172_13.min1.thm1
2017-02-06 12:45
927
bcialg_1__2173_13.min1.thm1
2017-02-06 12:45
1.5K
bcialg_1__2183_22.min1.thm1
2017-02-06 12:45
1.2K
bcialg_1__2184_22.min1.thm1
2017-02-06 12:45
1.9K
bcialg_1__2185_22.min1.thm1
2017-02-06 12:45
1.4K
bcialg_1__2186_24.min1.thm1
2017-02-06 12:45
1.0K
bcialg_1__2200_22.min1.thm1
2017-02-06 12:45
939
bcialg_1__2201_56.min1.thm1
2017-02-06 12:45
1.8K
bcialg_1__2202_54.min1.thm1
2017-02-06 12:45
1.0K
bcialg_1__2203_23.min1.thm1
2017-02-06 12:45
1.3K
bcialg_1__2205_19.min1.thm1
2017-02-06 12:45
1.3K
bcialg_1__2206_22.min1.thm1
2017-02-06 12:45
939
bcialg_1__2207_57.min1.thm1
2017-02-06 12:45
1.8K
bcialg_1__2208_54.min1.thm1
2017-02-06 12:45
1.0K
bcialg_1__2209_23.min1.thm1
2017-02-06 12:45
1.3K
bcialg_1__2210_24.min1.thm1
2017-02-06 12:45
1.3K
bcialg_1__2211_19.min1.thm1
2017-02-06 12:45
1.4K
bcialg_1__2213_17.min1.thm1
2017-02-06 12:45
834
bcialg_1__2225_31.min1.thm1
2017-02-06 12:45
1.7K
bcialg_1__2232_45.min1.thm1
2017-02-06 12:45
1.9K
bcialg_1__2233_12.min1.thm1
2017-02-06 12:45
482
bcialg_1__2233_12.min1.thm1.tptp
2017-02-06 16:48
401
bcialg_1__2234_20.min1.thm1
2017-02-06 12:45
1.1K
bcialg_1__2235_40.min1.thm1
2017-02-06 12:45
1.9K
bcialg_1__2243_18.min1.thm1
2017-02-06 12:45
1.4K
bcialg_1__2244_24.min1.thm1
2017-02-06 12:45
1.2K
bcialg_1__2246_18.min1.thm1
2017-02-06 12:45
1.6K
bcialg_1__2247_17.min1.thm1
2017-02-06 12:45
1.1K
bcialg_1__2258_18.min1.thm1
2017-02-06 12:45
1.6K
bcialg_1__2259_20.min1.thm1
2017-02-06 12:45
1.1K
bcialg_1__2260_19.min1.thm1
2017-02-06 12:45
1.1K
bcialg_1__2276_48.min1.thm1
2017-02-06 12:45
792
bcialg_1__2292_58.min1.thm1
2017-02-06 12:45
1.0K
bcialg_1__2308_56.min1.thm1
2017-02-06 12:45
1.0K
bcialg_1__2322_48.min1.thm1
2017-02-06 12:45
792
bcialg_1__2327_17.min1.thm1
2017-02-06 12:45
788
bcialg_1__2337_27.min1.thm1
2017-02-06 12:45
1.1K
bcialg_1__2338_25.min1.thm1
2017-02-06 12:45
1.0K
bcialg_1__2339_20.min1.thm1
2017-02-06 12:45
1.1K
bcialg_1__2340_17.min1.thm1
2017-02-06 12:45
899
bcialg_1__2341_22.min1.thm1
2017-02-06 12:45
1.1K
bcialg_1__2342_25.min1.thm1
2017-02-06 12:45
1.0K
bcialg_1__2343_20.min1.thm1
2017-02-06 12:45
1.1K
bcialg_1__2345_13.min1.thm1
2017-02-06 12:45
899
bcialg_1__2346_22.min1.thm1
2017-02-06 12:45
1.2K
bcialg_1__2347_22.min1.thm1
2017-02-06 12:45
1.3K
bcialg_1__2348_20.min1.thm1
2017-02-06 12:45
1.2K
bcialg_1__2349_23.min1.thm1
2017-02-06 12:45
1.0K
bcialg_1__2350_17.min1.thm1
2017-02-06 12:45
1.0K
bcialg_1__2359_20.min1.thm1
2017-02-06 12:45
1.4K
bcialg_1__2360_25.min1.thm1
2017-02-06 12:45
1.5K
bcialg_1__2361_20.min1.thm1
2017-02-06 12:45
1.3K
bcialg_1__2362_15.min1.thm1
2017-02-06 12:45
1.2K
bcialg_1__2363_14.min1.thm1
2017-02-06 12:45
1.1K
bcialg_1__2364_17.min1.thm1
2017-02-06 12:45
1.0K
bcialg_1__2373_20.min1.thm1
2017-02-06 12:45
1.4K
bcialg_1__2374_25.min1.thm1
2017-02-06 12:45
1.5K
bcialg_1__2375_23.min1.thm1
2017-02-06 12:45
1.0K
bcialg_1__2376_21.min1.thm1
2017-02-06 12:45
1.0K
bcialg_1__2377_17.min1.thm1
2017-02-06 12:45
959
bcialg_1__2378_17.min1.thm1
2017-02-06 12:45
839
bcialg_1__2387_14.min1.thm1
2017-02-06 12:45
933
bcialg_1__2388_19.min1.thm1
2017-02-06 12:45
1.3K
bcialg_1__2389_14.min1.thm1
2017-02-06 12:45
1.1K
bcialg_1__2390_17.min1.thm1
2017-02-06 12:45
1.0K
bcialg_1__2399_21.min1.thm1
2017-02-06 12:45
1.9K
bcialg_1__2400_24.min1.thm1
2017-02-06 12:45
1.0K
bcialg_1__2401_18.min1.thm1
2017-02-06 12:45
1.3K
bcialg_1__2402_23.min1.thm1
2017-02-06 12:45
1.2K
bcialg_1__2403_23.min1.thm1
2017-02-06 12:45
1.4K
bcialg_1__2404_18.min1.thm1
2017-02-06 12:45
1.2K
bcialg_1__2405_15.min1.thm1
2017-02-06 12:45
1.1K
bcialg_1__2406_17.min1.thm1
2017-02-06 12:45
1.2K
bcialg_1__2418_40.min1.thm1
2017-02-06 12:45
1.9K
bcialg_1__2420_61.min1.thm1
2017-02-06 12:45
2.4K
bcialg_1__2421_62.min1.thm1
2017-02-06 12:45
2.1K
bcialg_1__2422_63.min1.thm1
2017-02-06 12:45
2.2K
bcialg_1__2427_53.min1.thm1
2017-02-06 12:45
2.5K
bcialg_1__2428_48.min1.thm1
2017-02-06 12:45
2.3K
bcialg_1__2429_45.min1.thm1
2017-02-06 12:45
2.2K
bcialg_1__2430_45.min1.thm1
2017-02-06 12:45
1.8K
bcialg_1__2431_38.min1.thm1
2017-02-06 12:45
1.7K
bcialg_1__2433_32.min1.thm1
2017-02-06 12:45
1.9K
bcialg_1__2434_56.min1.thm1
2017-02-06 12:45
1.6K
bcialg_1__2439_19.min1.thm1
2017-02-06 12:45
1.1K
bcialg_1__2443_73.min1.thm1
2017-02-06 12:45
1.2K
bcialg_1__2445_17.min1.thm1
2017-02-06 12:45
1.2K
bcialg_1__2451_65.min1.thm1
2017-02-06 12:45
1.1K
bcialg_1__2457_14.min1.thm1
2017-02-06 12:45
468
bcialg_1__2459_14.min1.thm1
2017-02-06 12:45
468
bcialg_1__2461_14.min1.thm1
2017-02-06 12:45
467
bcialg_1__2469_19.min1.thm1
2017-02-06 12:45
1.1K
bcialg_1__2470_17.min1.thm1
2017-02-06 12:45
1.3K
bcialg_1__2477_33.min1.thm1
2017-02-06 12:45
1.3K
bcialg_1__2478_14.min1.thm1
2017-02-06 12:45
815
bcialg_1__2479_11.min1.thm1
2017-02-06 12:45
773
bcialg_1__2480_14.min1.thm1
2017-02-06 12:45
602
bcialg_1__2495_22.min1.thm1
2017-02-06 12:45
1.3K
bcialg_1__2496_33.min1.thm1
2017-02-06 12:45
1.2K
bcialg_1__2497_35.min1.thm1
2017-02-06 12:45
1.3K
bcialg_1__2498_19.min1.thm1
2017-02-06 12:45
1.7K
bcialg_1__2511_30.min1.thm1
2017-02-06 12:45
1.9K
bcialg_1__2512_24.min1.thm1
2017-02-06 12:45
1.0K
bcialg_1__2513_24.min1.thm1
2017-02-06 12:45
1.8K
bcialg_1__2514_19.min1.thm1
2017-02-06 12:45
1.4K
bcialg_1__2521_14.min1.thm1
2017-02-06 12:45
467
bcialg_1__2523_14.min1.thm1
2017-02-06 12:45
689
bcialg_1__2533_64.min1.thm1
2017-02-06 12:45
2.1K
bcialg_1__2543_38.min1.thm1
2017-02-06 12:45
1.4K
bcialg_1__2544_36.min1.thm1
2017-02-06 12:45
1.5K
bcialg_1__2545_32.min1.thm1
2017-02-06 12:45
1.5K
bcialg_1__2552_16.min1.thm1
2017-02-06 12:45
1.1K
bcialg_1__2554_18.min1.thm1
2017-02-06 12:45
1.5K
bcialg_1__2555_18.min1.thm1
2017-02-06 12:45
1.1K
bcialg_1__2558_23.min1.thm1
2017-02-06 12:45
811
bcialg_1__2561_22.min1.thm1
2017-02-06 12:45
1.2K
bcialg_1__2562_28.min1.thm1
2017-02-06 12:45
1.3K
bcialg_1__2563_34.min1.thm1
2017-02-06 12:45
1.8K
bcialg_1__2564_37.min1.thm1
2017-02-06 12:45
1.8K
bcialg_1__2565_22.min1.thm1
2017-02-06 12:45
1.8K
bcialg_1__2567_24.min1.thm1
2017-02-06 12:45
589
bcialg_1__2568_19.min1.thm1
2017-02-06 12:45
2.7K
bcialg_1__2583_19.min1.thm1
2017-02-06 12:45
1.3K
bcialg_1__2590_30.min1.thm1
2017-02-06 12:45
1.3K
bcialg_1__2594_46.min1.thm1
2017-02-06 12:45
1.9K
bcialg_1__2595_61.min1.thm1
2017-02-06 12:45
2.7K
bcialg_1__2596_70.min1.thm1
2017-02-06 12:45
2.9K
bcialg_1__2597_75.min1.thm1
2017-02-06 12:45
2.2K
bcialg_1__2600_53.min1.thm1
2017-02-06 12:45
2.6K
bcialg_1__2601_63.min1.thm1
2017-02-06 12:45
1.7K
bcialg_1__2602_47.min1.thm1
2017-02-06 12:45
1.5K
bcialg_1__2604_45.min1.thm1
2017-02-06 12:45
2.4K
bcialg_1__2605_43.min1.thm1
2017-02-06 12:45
3.0K
bcialg_1__2620_4.min1.thm1
2017-02-06 12:45
2.9K
bcialg_1__2621_60.min1.thm1
2017-02-06 12:45
2.6K
bcialg_1__2623_70.min1.thm1
2017-02-06 12:45
2.8K
bcialg_1__2627_6.min1.thm1
2017-02-06 12:45
2.8K
bcialg_1__2628_64.min1.thm1
2017-02-06 12:45
2.5K
bcialg_1__2629_58.min1.thm1
2017-02-06 12:45
2.2K
bcialg_1__2648_64.min1.thm1
2017-02-06 12:45
2.0K
bcialg_1__2649_61.min1.thm1
2017-02-06 12:45
2.3K
bcialg_1__2650_51.min1.thm1
2017-02-06 12:45
2.2K
bcialg_1__2651_45.min1.thm1
2017-02-06 12:45
2.0K
bcialg_1__2652_45.min1.thm1
2017-02-06 12:45
1.8K
bcialg_1__2655_37.min1.thm1
2017-02-06 12:45
1.7K
bcialg_1__2656_21.min1.thm1
2017-02-06 12:45
1.5K
bcialg_1__2666_22.min1.thm1
2017-02-06 12:45
2.0K
bcialg_1__2667_24.min1.thm1
2017-02-06 12:45
1.3K
bcialg_1__2670_65.min1.thm1
2017-02-06 12:45
2.1K
bcialg_1__2671_59.min1.thm1
2017-02-06 12:45
2.4K
bcialg_1__2675_41.min1.thm1
2017-02-06 12:45
3.1K
bcialg_1__2678_41.min1.thm1
2017-02-06 12:45
3.7K
bcialg_1__2680_66.min1.thm1
2017-02-06 12:45
2.8K
bcialg_1__2681_14.min1.thm1
2017-02-06 12:45
2.4K
bcialg_1__2684_29.min1.thm1
2017-02-06 12:45
3.3K
bcialg_1__2690_20.min1.thm1
2017-02-06 12:45
3.3K
bcialg_1__2692_51.min1.thm1
2017-02-06 12:45
2.2K
bcialg_1__2693_64.min1.thm1
2017-02-06 12:45
3.3K
bcialg_1__2695_46.min1.thm1
2017-02-06 12:45
3.2K
bcialg_1__2696_46.min1.thm1
2017-02-06 12:45
1.4K
bcialg_1__2699_17.min1.thm1
2017-02-06 12:45
1.2K
bcialg_1__2704_14.min1.thm1
2017-02-06 12:45
468
bcialg_1__2706_11.min1.thm1
2017-02-06 12:45
837
bcialg_1__2706_11.min1.thm1.tptp
2017-02-06 16:48
797
bcialg_1__2711_63.min1.thm1
2017-02-06 12:45
1.1K
bcialg_1__2721_31.min1.thm1
2017-02-06 12:45
3.4K
bcialg_1__2728_37.min1.thm1
2017-02-06 12:45
2.2K
bcialg_1__2729_31.min1.thm1
2017-02-06 12:45
1.8K
bcialg_1__2730_25.min1.thm1
2017-02-06 12:45
1.6K
bcialg_1__2731_20.min1.thm1
2017-02-06 12:45
1.9K
bcialg_1__2734_19.min1.thm1
2017-02-06 12:45
585
bcialg_1__2739_37.min1.thm1
2017-02-06 12:45
1.9K
bcialg_1__2740_31.min1.thm1
2017-02-06 12:45
1.8K
bcialg_1__2741_25.min1.thm1
2017-02-06 12:45
1.6K
bcialg_1__2742_19.min1.thm1
2017-02-06 12:45
1.5K
bcialg_1__2743_16.min1.thm1
2017-02-06 12:45
1.4K
bcialg_1__2746_23.min1.thm1
2017-02-06 12:45
807
bcialg_1__2751_33.min1.thm1
2017-02-06 12:45
1.8K
bcialg_1__2752_30.min1.thm1
2017-02-06 12:45
1.7K
bcialg_1__2754_54.min1.thm1
2017-02-06 12:45
3.0K
bcialg_1__2755_17.min1.thm1
2017-02-06 12:45
797
bcialg_1__2755_17.min1.thm1.tptp
2017-02-06 16:48
721
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80