Index of /~mptp/1147/MPTP2/ilp0/bcialg_3
Name
Last modified
Size
Description
Parent Directory
-
bcialg_3__40_18.min1.thm1
2017-02-06 12:45
1.1K
bcialg_3__49_15.min1.thm1
2017-02-06 12:45
206
bcialg_3__67_24.min1.thm1
2017-02-06 12:45
1.0K
bcialg_3__76_25.min1.thm1
2017-02-06 12:45
852
bcialg_3__79_25.min1.thm1
2017-02-06 12:45
852
bcialg_3__83_17.min1.thm1
2017-02-06 12:45
1.1K
bcialg_3__92_22.min1.thm1
2017-02-06 12:45
1.2K
bcialg_3__92_32.min1.thm1
2017-02-06 12:45
1.1K
bcialg_3__94_33.min1.thm1
2017-02-06 12:45
1.5K
bcialg_3__96_17.min1.thm1
2017-02-06 12:45
1.7K
bcialg_3__109_24.min1.thm1
2017-02-06 12:45
1.1K
bcialg_3__110_23.min1.thm1
2017-02-06 12:45
1.1K
bcialg_3__111_16.min1.thm1
2017-02-06 12:45
586
bcialg_3__119_19.min1.thm1
2017-02-06 12:45
1.2K
bcialg_3__134_32.min1.thm1
2017-02-06 12:45
1.3K
bcialg_3__135_19.min1.thm1
2017-02-06 12:45
1.5K
bcialg_3__142_19.min1.thm1
2017-02-06 12:45
1.1K
bcialg_3__145_32.min1.thm1
2017-02-06 12:45
948
bcialg_3__162_21.min1.thm1
2017-02-06 12:45
968
bcialg_3__163_27.min1.thm1
2017-02-06 12:45
1.1K
bcialg_3__164_12.min1.thm1
2017-02-06 12:45
783
bcialg_3__165_16.min1.thm1
2017-02-06 12:45
406
bcialg_3__172_32.min1.thm1
2017-02-06 12:45
1.5K
bcialg_3__173_18.min1.thm1
2017-02-06 12:45
1.4K
bcialg_3__174_15.min1.thm1
2017-02-06 12:45
1.1K
bcialg_3__175_26.min1.thm1
2017-02-06 12:45
1.4K
bcialg_3__178_32.min1.thm1
2017-02-06 12:45
1.5K
bcialg_3__179_15.min1.thm1
2017-02-06 12:45
1.2K
bcialg_3__180_26.min1.thm1
2017-02-06 12:45
1.4K
bcialg_3__181_38.min1.thm1
2017-02-06 12:45
1.5K
bcialg_3__199_32.min1.thm1
2017-02-06 12:45
1.1K
bcialg_3__201_32.min1.thm1
2017-02-06 12:45
2.0K
bcialg_3__202_23.min1.thm1
2017-02-06 12:45
1.7K
bcialg_3__203_14.min1.thm1
2017-02-06 12:45
605
bcialg_3__203_24.min1.thm1
2017-02-06 12:45
740
bcialg_3__204_19.min1.thm1
2017-02-06 12:45
1.6K
bcialg_3__212_34.min1.thm1
2017-02-06 12:45
1.2K
bcialg_3__214_19.min1.thm1
2017-02-06 12:45
1.1K
bcialg_3__215_16.min1.thm1
2017-02-06 12:45
586
bcialg_3__220_26.min1.thm1
2017-02-06 12:45
1.1K
bcialg_3__221_19.min1.thm1
2017-02-06 12:45
1.5K
bcialg_3__228_31.min1.thm1
2017-02-06 12:45
1.0K
bcialg_3__229_19.min1.thm1
2017-02-06 12:45
693
bcialg_3__230_24.min1.thm1
2017-02-06 12:45
761
bcialg_3__231_13.min1.thm1
2017-02-06 12:45
581
bcialg_3__234_23.min1.thm1
2017-02-06 12:45
783
bcialg_3__238_18.min1.thm1
2017-02-06 12:45
579
bcialg_3__240_23.min1.thm1
2017-02-06 12:45
1.0K
bcialg_3__241_15.min1.thm1
2017-02-06 12:45
1.2K
bcialg_3__242_16.min1.thm1
2017-02-06 12:45
338
bcialg_3__247_28.min1.thm1
2017-02-06 12:45
1.0K
bcialg_3__248_17.min1.thm1
2017-02-06 12:45
1.5K
bcialg_3__249_16.min1.thm1
2017-02-06 12:45
360
bcialg_3__255_37.min1.thm1
2017-02-06 12:45
1.5K
bcialg_3__257_27.min1.thm1
2017-02-06 12:45
1.3K
bcialg_3__258_15.min1.thm1
2017-02-06 12:45
1.1K
bcialg_3__259_16.min1.thm1
2017-02-06 12:45
698
bcialg_3__265_29.min1.thm1
2017-02-06 12:45
1.0K
bcialg_3__266_23.min1.thm1
2017-02-06 12:45
851
bcialg_3__267_16.min1.thm1
2017-02-06 12:45
518
bcialg_3__269_20.min1.thm1
2017-02-06 12:45
568
bcialg_3__270_42.min1.thm1
2017-02-06 12:45
673
bcialg_3__282_23.min1.thm1
2017-02-06 12:45
1.1K
bcialg_3__283_13.min1.thm1
2017-02-06 12:45
737
bcialg_3__284_21.min1.thm1
2017-02-06 12:45
1.2K
bcialg_3__285_11.min1.thm1
2017-02-06 12:45
789
bcialg_3__286_14.min1.thm1
2017-02-06 12:45
310
bcialg_3__298_16.min1.thm1
2017-02-06 12:45
971
bcialg_3__299_30.min1.thm1
2017-02-06 12:45
1.6K
bcialg_3__300_19.min1.thm1
2017-02-06 12:45
1.2K
bcialg_3__301_13.min1.thm1
2017-02-06 12:45
879
bcialg_3__302_14.min1.thm1
2017-02-06 12:45
580
bcialg_3__316_24.min1.thm1
2017-02-06 12:45
1.1K
bcialg_3__317_17.min1.thm1
2017-02-06 12:45
1.2K
bcialg_3__318_13.min1.thm1
2017-02-06 12:45
799
bcialg_3__319_16.min1.thm1
2017-02-06 12:45
326
bcialg_3__325_25.min1.thm1
2017-02-06 12:45
1.1K
bcialg_3__326_15.min1.thm1
2017-02-06 12:45
747
bcialg_3__327_16.min1.thm1
2017-02-06 12:45
442
bcialg_3__329_17.min1.thm1
2017-02-06 12:45
925
bcialg_3__329_17.min1.thm1.tptp
2017-02-06 16:48
903
bcialg_3__339_36.min1.thm1
2017-02-06 12:45
1.7K
bcialg_3__340_13.min1.thm1
2017-02-06 12:45
1.1K
bcialg_3__341_30.min1.thm1
2017-02-06 12:45
1.1K
bcialg_3__342_13.min1.thm1
2017-02-06 12:45
1.1K
bcialg_3__343_17.min1.thm1
2017-02-06 12:45
1.1K
bcialg_3__343_17.min1.thm1.tptp
2017-02-06 16:48
1.0K
bcialg_3__348_49.min1.thm1
2017-02-06 12:45
1.2K
bcialg_3__380_20.min1.thm1
2017-02-06 12:45
1.2K
bcialg_3__383_18.min1.thm1
2017-02-06 12:45
1.5K
bcialg_3__392_15.min1.thm1
2017-02-06 12:45
261
bcialg_3__406_14.min1.thm1
2017-02-06 12:45
1.0K
bcialg_3__407_24.min1.thm1
2017-02-06 12:45
1.3K
bcialg_3__408_15.min1.thm1
2017-02-06 12:45
1.3K
bcialg_3__409_16.min1.thm1
2017-02-06 12:45
312
bcialg_3__411_17.min1.thm1
2017-02-06 12:45
883
bcialg_3__424_38.min1.thm1
2017-02-06 12:45
1.0K
bcialg_3__425_27.min1.thm1
2017-02-06 12:45
1.6K
bcialg_3__427_21.min1.thm1
2017-02-06 12:45
1.0K
bcialg_3__428_15.min1.thm1
2017-02-06 12:45
1.2K
bcialg_3__429_19.min1.thm1
2017-02-06 12:45
1.5K
bcialg_3__431_60.min1.thm1
2017-02-06 12:45
949
bcialg_3__444_24.min1.thm1
2017-02-06 12:45
1.2K
bcialg_3__444_34.min1.thm1
2017-02-06 12:45
1.2K
bcialg_3__445_26.min1.thm1
2017-02-06 12:45
1.1K
bcialg_3__446_19.min1.thm1
2017-02-06 12:45
1.9K
bcialg_3__452_18.min1.thm1
2017-02-06 12:45
1.0K
bcialg_3__453_19.min1.thm1
2017-02-06 12:45
1.3K
bcialg_3__465_37.min1.thm1
2017-02-06 12:45
1.3K
bcialg_3__466_31.min1.thm1
2017-02-06 12:45
1.3K
bcialg_3__467_25.min1.thm1
2017-02-06 12:45
1.1K
bcialg_3__468_17.min1.thm1
2017-02-06 12:45
1.0K
bcialg_3__483_23.min1.thm1
2017-02-06 12:45
931
bcialg_3__484_19.min1.thm1
2017-02-06 12:45
957
bcialg_3__492_32.min1.thm1
2017-02-06 12:45
1.5K
bcialg_3__493_15.min1.thm1
2017-02-06 12:45
1.2K
bcialg_3__494_19.min1.thm1
2017-02-06 12:45
1.7K
bcialg_3__512_34.min1.thm1
2017-02-06 12:45
1.5K
bcialg_3__513_17.min1.thm1
2017-02-06 12:45
1.2K
bcialg_3__516_29.min1.thm1
2017-02-06 12:45
1.0K
bcialg_3__517_31.min1.thm1
2017-02-06 12:45
1.2K
bcialg_3__518_25.min1.thm1
2017-02-06 12:45
1.0K
bcialg_3__521_19.min1.thm1
2017-02-06 12:45
1.0K
bcialg_3__529_56.min1.thm1
2017-02-06 12:45
1.5K
bcialg_3__531_31.min1.thm1
2017-02-06 12:45
1.4K
bcialg_3__533_23.min1.thm1
2017-02-06 12:45
1.4K
bcialg_3__534_23.min1.thm1
2017-02-06 12:45
1.5K
bcialg_3__535_19.min1.thm1
2017-02-06 12:45
1.5K
bcialg_3__552_26.min1.thm1
2017-02-06 12:45
2.3K
bcialg_3__554_22.min1.thm1
2017-02-06 12:45
2.1K
bcialg_3__558_26.min1.thm1
2017-02-06 12:45
2.3K
bcialg_3__560_22.min1.thm1
2017-02-06 12:45
2.1K
bcialg_3__572_15.min1.thm1
2017-02-06 12:45
1.6K
bcialg_3__574_23.min1.thm1
2017-02-06 12:45
1.5K
bcialg_3__575_29.min1.thm1
2017-02-06 12:45
1.5K
bcialg_3__576_15.min1.thm1
2017-02-06 12:45
1.2K
bcialg_3__585_42.min1.thm1
2017-02-06 12:45
1.5K
bcialg_3__587_19.min1.thm1
2017-02-06 12:45
1.2K
bcialg_3__589_17.min1.thm1
2017-02-06 12:45
1.0K
bcialg_3__610_20.min1.thm1
2017-02-06 12:45
1.2K
bcialg_3__611_32.min1.thm1
2017-02-06 12:45
1.5K
bcialg_3__612_15.min1.thm1
2017-02-06 12:45
1.0K
bcialg_3__615_28.min1.thm1
2017-02-06 12:45
799
bcialg_3__635_34.min1.thm1
2017-02-06 12:45
1.3K
bcialg_3__636_17.min1.thm1
2017-02-06 12:45
1.2K
bcialg_3__640_18.min1.thm1
2017-02-06 12:45
1.0K
bcialg_3__644_34.min1.thm1
2017-02-06 12:45
1.5K
bcialg_3__645_17.min1.thm1
2017-02-06 12:45
1.2K
bcialg_3__648_19.min1.thm1
2017-02-06 12:45
1.0K
bcialg_3__661_18.min1.thm1
2017-02-06 12:45
1.0K
bcialg_3__663_20.min1.thm1
2017-02-06 12:45
1.2K
bcialg_3__664_26.min1.thm1
2017-02-06 12:45
1.5K
bcialg_3__665_23.min1.thm1
2017-02-06 12:45
1.8K
bcialg_3__666_21.min1.thm1
2017-02-06 12:45
1.0K
bcialg_3__668_16.min1.thm1
2017-02-06 12:45
832
bcialg_3__670_17.min1.thm1
2017-02-06 12:45
1.3K
bcialg_3__670_17.min1.thm1.tptp
2017-02-06 16:48
1.3K
bcialg_3__689_18.min1.thm1
2017-02-06 12:45
1.0K
bcialg_3__690_18.min1.thm1
2017-02-06 12:45
1.0K
bcialg_3__692_20.min1.thm1
2017-02-06 12:45
1.2K
bcialg_3__694_25.min1.thm1
2017-02-06 12:45
1.3K
bcialg_3__695_17.min1.thm1
2017-02-06 12:45
1.8K
bcialg_3__705_15.min1.thm1
2017-02-06 12:45
714
bcialg_3__707_11.min1.thm1
2017-02-06 12:45
862
bcialg_3__709_16.min1.thm1
2017-02-06 12:45
960
bcialg_3__713_32.min1.thm1
2017-02-06 12:45
1.5K
bcialg_3__714_15.min1.thm1
2017-02-06 12:45
1.2K
bcialg_3__717_17.min1.thm1
2017-02-06 12:45
1.0K
bcialg_3__737_49.min1.thm1
2017-02-06 12:45
1.2K
bcialg_3__738_21.min1.thm1
2017-02-06 12:45
1.3K
bcialg_3__740_16.min1.thm1
2017-02-06 12:45
214
bcialg_3__749_15.min1.thm1
2017-02-06 12:45
289
bcialg_3__749_15.min1.thm1.tptp
2017-02-06 16:48
201
bcialg_3__778_26.min1.thm1
2017-02-06 12:45
1.3K
bcialg_3__779_25.min1.thm1
2017-02-06 12:45
1.6K
bcialg_3__780_18.min1.thm1
2017-02-06 12:45
628
bcialg_3__782_16.min1.thm1
2017-02-06 12:45
704
bcialg_3__792_36.min1.thm1
2017-02-06 12:45
1.6K
bcialg_3__794_13.min1.thm1
2017-02-06 12:45
830
bcialg_3__795_22.min1.thm1
2017-02-06 12:45
1.4K
bcialg_3__797_14.min1.thm1
2017-02-06 12:45
456
bcialg_3__815_60.min1.thm1
2017-02-06 12:45
2.1K
bcialg_3__826_15.min1.thm1
2017-02-06 12:45
858
bcialg_3__827_11.min1.thm1
2017-02-06 12:45
820
bcialg_3__828_14.min1.thm1
2017-02-06 12:45
400
bcialg_3__847_25.min1.thm1
2017-02-06 12:45
1.5K
bcialg_3__848_25.min1.thm1
2017-02-06 12:45
1.6K
bcialg_3__849_19.min1.thm1
2017-02-06 12:45
1.5K
bcialg_3__858_22.min1.thm1
2017-02-06 12:45
1.2K
bcialg_3__859_22.min1.thm1
2017-02-06 12:45
1.4K
bcialg_3__860_22.min1.thm1
2017-02-06 12:45
1.6K
bcialg_3__863_30.min1.thm1
2017-02-06 12:45
1.5K
bcialg_3__864_13.min1.thm1
2017-02-06 12:45
1.2K
bcialg_3__865_17.min1.thm1
2017-02-06 12:45
1.6K
bcialg_3__891_57.min1.thm1
2017-02-06 12:45
1.2K
bcialg_3__892_21.min1.thm1
2017-02-06 12:45
1.4K
bcialg_3__894_16.min1.thm1
2017-02-06 12:45
214
bcialg_3__921_16.min1.thm1
2017-02-06 12:45
641
bcialg_3__921_16.min1.thm1.tptp
2017-02-06 16:48
562
bcialg_3__935_22.min1.thm1
2017-02-06 12:45
1.1K
bcialg_3__936_16.min1.thm1
2017-02-06 12:45
1.9K
bcialg_3__952_32.min1.thm1
2017-02-06 12:45
1.0K
bcialg_3__952_50.min1.thm1
2017-02-06 12:45
936
bcialg_3__953_17.min1.thm1
2017-02-06 12:45
958
bcialg_3__954_13.min1.thm1
2017-02-06 12:45
799
bcialg_3__955_22.min1.thm1
2017-02-06 12:45
1.0K
bcialg_3__956_19.min1.thm1
2017-02-06 12:45
2.2K
bcialg_3__958_14.min1.thm1
2017-02-06 12:45
1.3K
bcialg_3__959_17.min1.thm1
2017-02-06 12:45
1.7K
bcialg_3__968_23.min1.thm1
2017-02-06 12:45
1.3K
bcialg_3__998_20.min1.thm1
2017-02-06 12:45
1.5K
bcialg_3__1001_18.min1.thm1
2017-02-06 12:45
1.2K
bcialg_3__1011_15.min1.thm1
2017-02-06 12:45
511
bcialg_3__1025_28.min1.thm1
2017-02-06 12:45
1.3K
bcialg_3__1026_21.min1.thm1
2017-02-06 12:45
935
bcialg_3__1027_15.min1.thm1
2017-02-06 12:45
1.2K
bcialg_3__1028_16.min1.thm1
2017-02-06 12:45
514
bcialg_3__1035_24.min1.thm1
2017-02-06 12:45
1.1K
bcialg_3__1036_14.min1.thm1
2017-02-06 12:45
1.1K
bcialg_3__1037_15.min1.thm1
2017-02-06 12:45
726
bcialg_3__1038_20.min1.thm1
2017-02-06 12:45
1.3K
bcialg_3__1042_36.min1.thm1
2017-02-06 12:45
1.7K
bcialg_3__1043_60.min1.thm1
2017-02-06 12:45
1.2K
bcialg_3__1044_39.min1.thm1
2017-02-06 12:45
1.7K
bcialg_3__1045_15.min1.thm1
2017-02-06 12:45
1.6K
bcialg_3__1063_34.min1.thm1
2017-02-06 12:45
1.5K
bcialg_3__1064_17.min1.thm1
2017-02-06 12:45
1.2K
bcialg_3__1065_28.min1.thm1
2017-02-06 12:45
1.5K
bcialg_3__1068_66.min1.thm1
2017-02-06 12:45
1.9K
bcialg_3__1069_33.min1.thm1
2017-02-06 12:45
1.8K
bcialg_3__1071_48.min1.thm1
2017-02-06 12:45
2.5K
bcialg_3__1072_55.min1.thm1
2017-02-06 12:45
2.0K
bcialg_3__1074_49.min1.thm1
2017-02-06 12:45
2.2K
bcialg_3__1075_34.min1.thm1
2017-02-06 12:45
1.5K
bcialg_3__1076_17.min1.thm1
2017-02-06 12:45
1.2K
bcialg_3__1077_28.min1.thm1
2017-02-06 12:45
1.5K
bcialg_3__1078_40.min1.thm1
2017-02-06 12:45
1.8K
bcialg_3__1079_34.min1.thm1
2017-02-06 12:45
2.2K
bcialg_3__1092_58.min1.thm1
2017-02-06 12:45
2.2K
bcialg_3__1093_34.min1.thm1
2017-02-06 12:45
1.5K
bcialg_3__1094_20.min1.thm1
2017-02-06 12:45
1.4K
bcialg_3__1095_17.min1.thm1
2017-02-06 12:45
1.1K
bcialg_3__1096_28.min1.thm1
2017-02-06 12:45
1.5K
bcialg_3__1100_61.min1.thm1
2017-02-06 12:45
2.2K
bcialg_3__1101_53.min1.thm1
2017-02-06 12:45
2.9K
bcialg_3__1104_16.min1.thm1
2017-02-06 12:45
900
bcialg_3__1111_56.min1.thm1
2017-02-06 12:45
1.5K
bcialg_3__1112_21.min1.thm1
2017-02-06 12:45
1.4K
bcialg_3__1113_15.min1.thm1
2017-02-06 12:45
1.2K
bcialg_3__1114_62.min1.thm1
2017-02-06 12:45
1.6K
bcialg_3__1115_31.min1.thm1
2017-02-06 12:45
1.5K
bcialg_3__1116_32.min1.thm1
2017-02-06 12:45
1.2K
bcialg_3__1117_26.min1.thm1
2017-02-06 12:45
1.5K
bcialg_3__1119_18.min1.thm1
2017-02-06 12:45
1.2K
bcialg_3__1120_19.min1.thm1
2017-02-06 12:45
2.3K
bcialg_3__1122_17.min1.thm1
2017-02-06 12:45
1.3K
bcialg_3__1135_62.min1.thm1
2017-02-06 12:45
1.6K
bcialg_3__1136_31.min1.thm1
2017-02-06 12:45
1.5K
bcialg_3__1137_32.min1.thm1
2017-02-06 12:45
1.2K
bcialg_3__1138_26.min1.thm1
2017-02-06 12:45
1.5K
bcialg_3__1139_56.min1.thm1
2017-02-06 12:45
1.5K
bcialg_3__1140_21.min1.thm1
2017-02-06 12:45
1.4K
bcialg_3__1141_15.min1.thm1
2017-02-06 12:45
1.2K
bcialg_3__1142_19.min1.thm1
2017-02-06 12:45
2.9K
bcialg_3__1150_19.min1.thm1
2017-02-06 12:45
1.2K
bcialg_3__1151_19.min1.thm1
2017-02-06 12:45
1.1K
bcialg_3__1153_17.min1.thm1
2017-02-06 12:45
1.3K
bcialg_3__1166_60.min1.thm1
2017-02-06 12:45
1.7K
bcialg_3__1175_24.min1.thm1
2017-02-06 12:45
1.1K
bcialg_3__1176_14.min1.thm1
2017-02-06 12:45
1.1K
bcialg_3__1177_15.min1.thm1
2017-02-06 12:45
726
bcialg_3__1178_20.min1.thm1
2017-02-06 12:45
1.3K
bcialg_3__1179_26.min1.thm1
2017-02-06 12:45
1.7K
bcialg_3__1183_36.min1.thm1
2017-02-06 12:45
2.0K
bcialg_3__1201_44.min1.thm1
2017-02-06 12:45
1.5K
bcialg_3__1202_15.min1.thm1
2017-02-06 12:45
1.3K
bcialg_3__1203_19.min1.thm1
2017-02-06 12:45
1.5K
bcialg_3__1210_21.min1.thm1
2017-02-06 12:45
799
bcialg_3__1212_28.min1.thm1
2017-02-06 12:45
1.5K
bcialg_3__1213_40.min1.thm1
2017-02-06 12:45
1.6K
bcialg_3__1214_14.min1.thm1
2017-02-06 12:45
1.4K
bcialg_3__1215_15.min1.thm1
2017-02-06 12:45
726
bcialg_3__1216_19.min1.thm1
2017-02-06 12:45
1.8K
bcialg_3__1218_17.min1.thm1
2017-02-06 12:45
1.3K
bcialg_3__1232_15.min1.thm1
2017-02-06 12:45
2.0K
bcialg_3__1241_43.min1.thm1
2017-02-06 12:45
1.2K
bcialg_3__1244_46.min1.thm1
2017-02-06 12:45
1.4K
bcialg_3__1247_17.min1.thm1
2017-02-06 12:45
1.5K
bcialg_3__1262_34.min1.thm1
2017-02-06 12:45
1.5K
bcialg_3__1263_17.min1.thm1
2017-02-06 12:45
1.2K
bcialg_3__1264_28.min1.thm1
2017-02-06 12:45
1.5K
bcialg_3__1265_40.min1.thm1
2017-02-06 12:45
1.8K
bcialg_3__1267_21.min1.thm1
2017-02-06 12:45
1.6K
bcialg_3__1272_30.min1.thm1
2017-02-06 12:45
1.7K
bcialg_3__1273_21.min1.thm1
2017-02-06 12:45
1.4K
bcialg_3__1283_32.min1.thm1
2017-02-06 12:45
1.4K
bcialg_3__1285_36.min1.thm1
2017-02-06 12:45
2.1K
bcialg_3__1286_36.min1.thm1
2017-02-06 12:45
1.4K
bcialg_3__1287_15.min1.thm1
2017-02-06 12:45
1.2K
bcialg_3__1288_19.min1.thm1
2017-02-06 12:45
1.5K
bcialg_3__1290_17.min1.thm1
2017-02-06 12:45
1.1K
bcialg_3__1303_35.min1.thm1
2017-02-06 12:45
1.5K
bcialg_3__1304_45.min1.thm1
2017-02-06 12:45
1.2K
bcialg_3__1306_19.min1.thm1
2017-02-06 12:45
1.6K
bcialg_3__1313_48.min1.thm1
2017-02-06 12:45
1.4K
bcialg_3__1315_19.min1.thm1
2017-02-06 12:45
1.2K
bcialg_3__1316_24.min1.thm1
2017-02-06 12:45
1.1K
bcialg_3__1317_14.min1.thm1
2017-02-06 12:45
1.1K
bcialg_3__1318_15.min1.thm1
2017-02-06 12:45
726
bcialg_3__1319_50.min1.thm1
2017-02-06 12:45
1.7K
bcialg_3__1320_19.min1.thm1
2017-02-06 12:45
2.4K
bcialg_3__1323_48.min1.thm1
2017-02-06 12:45
1.3K
bcialg_3__1329_16.min1.thm1
2017-02-06 12:45
1.0K
bcialg_3__1330_37.min1.thm1
2017-02-06 12:45
1.0K
bcialg_3__1331_19.min1.thm1
2017-02-06 12:45
1.1K
bcialg_3__1332_19.min1.thm1
2017-02-06 12:45
1.0K
bcialg_3__1334_38.min1.thm1
2017-02-06 12:45
1.3K
bcialg_3__1335_17.min1.thm1
2017-02-06 12:45
1.8K
bcialg_3__1350_35.min1.thm1
2017-02-06 12:45
1.3K
bcialg_3__1352_20.min1.thm1
2017-02-06 12:45
711
bcialg_3__1352_32.min1.thm1
2017-02-06 12:45
851
bcialg_3__1353_13.min1.thm1
2017-02-06 12:45
830
bcialg_3__1355_31.min1.thm1
2017-02-06 12:45
1.9K
bcialg_3__1356_23.min1.thm1
2017-02-06 12:45
1.3K
bcialg_3__1357_23.min1.thm1
2017-02-06 12:45
1.7K
bcialg_3__1358_23.min1.thm1
2017-02-06 12:45
1.2K
bcialg_3__1359_23.min1.thm1
2017-02-06 12:45
1.7K
bcialg_3__1360_19.min1.thm1
2017-02-06 12:45
1.3K
bcialg_3__1360_19.min1.thm1.tptp
2017-02-06 16:48
1.2K
bcialg_3__1368_26.min1.thm1
2017-02-06 12:45
1.2K
bcialg_3__1369_19.min1.thm1
2017-02-06 12:45
1.6K
bcialg_3__1376_23.min1.thm1
2017-02-06 12:45
826
bcialg_3__1377_33.min1.thm1
2017-02-06 12:45
1.0K
bcialg_3__1378_19.min1.thm1
2017-02-06 12:45
710
bcialg_3__1379_24.min1.thm1
2017-02-06 12:45
781
bcialg_3__1380_13.min1.thm1
2017-02-06 12:45
594
bcialg_3__1385_30.min1.thm1
2017-02-06 12:45
782
bcialg_3__1387_19.min1.thm1
2017-02-06 12:45
1.2K
bcialg_3__1392_40.min1.thm1
2017-02-06 12:45
1.2K
bcialg_3__1393_25.min1.thm1
2017-02-06 12:45
898
bcialg_3__1394_15.min1.thm1
2017-02-06 12:45
1.4K
bcialg_3__1395_19.min1.thm1
2017-02-06 12:45
1.4K
bcialg_3__1400_30.min1.thm1
2017-02-06 12:45
1.5K
bcialg_3__1401_19.min1.thm1
2017-02-06 12:45
1.1K
bcialg_3__1406_30.min1.thm1
2017-02-06 12:45
782
bcialg_3__1408_35.min1.thm1
2017-02-06 12:45
1.0K
bcialg_3__1409_23.min1.thm1
2017-02-06 12:45
1.0K
bcialg_3__1410_19.min1.thm1
2017-02-06 12:45
1.3K
bcialg_3__1430_26.min1.thm1
2017-02-06 12:45
1.1K
bcialg_3__1431_19.min1.thm1
2017-02-06 12:45
1.2K
bcialg_3__1443_35.min1.thm1
2017-02-06 12:45
1.3K
bcialg_3__1448_22.min1.thm1
2017-02-06 12:45
1.0K
bcialg_3__1449_15.min1.thm1
2017-02-06 12:45
1.1K
bcialg_3__1450_17.min1.thm1
2017-02-06 12:45
1.0K
bcialg_3__1468_35.min1.thm1
2017-02-06 12:45
1.0K
bcialg_3__1469_19.min1.thm1
2017-02-06 12:45
1.7K
bcialg_3__1477_16.min1.thm1
2017-02-06 12:45
1.0K
bcialg_3__1478_16.min1.thm1
2017-02-06 12:45
1.0K
bcialg_3__1480_17.min1.thm1
2017-02-06 12:45
1.3K
bcialg_3__1481_32.min1.thm1
2017-02-06 12:45
1.4K
bcialg_3__1482_19.min1.thm1
2017-02-06 12:45
1.7K
bcialg_3__1483_13.min1.thm1
2017-02-06 12:45
1.2K
bcialg_3__1484_24.min1.thm1
2017-02-06 12:45
1.9K
bcialg_3__1487_32.min1.thm1
2017-02-06 12:45
1.5K
bcialg_3__1488_18.min1.thm1
2017-02-06 12:45
1.4K
bcialg_3__1489_15.min1.thm1
2017-02-06 12:45
1.2K
bcialg_3__1492_17.min1.thm1
2017-02-06 12:45
962
bcialg_3__1505_24.min1.thm1
2017-02-06 12:45
1.1K
bcialg_3__1506_19.min1.thm1
2017-02-06 12:45
1.1K
bcialg_3__1513_32.min1.thm1
2017-02-06 12:45
1.5K
bcialg_3__1514_18.min1.thm1
2017-02-06 12:45
1.4K
bcialg_3__1515_15.min1.thm1
2017-02-06 12:45
1.1K
bcialg_3__1516_24.min1.thm1
2017-02-06 12:45
778
bcialg_3__1519_17.min1.thm1
2017-02-06 12:45
1.1K
bcialg_3__1532_35.min1.thm1
2017-02-06 12:45
1.5K
bcialg_3__1533_45.min1.thm1
2017-02-06 12:45
1.2K
bcialg_3__1534_19.min1.thm1
2017-02-06 12:45
1.2K
bcialg_3__1535_19.min1.thm1
2017-02-06 12:45
1.8K
bcialg_3__1542_56.min1.thm1
2017-02-06 12:45
1.5K
bcialg_3__1543_21.min1.thm1
2017-02-06 12:45
1.4K
bcialg_3__1544_15.min1.thm1
2017-02-06 12:45
1.2K
bcialg_3__1545_48.min1.thm1
2017-02-06 12:45
1.4K
bcialg_3__1547_19.min1.thm1
2017-02-06 12:45
1.2K
bcialg_3__1548_19.min1.thm1
2017-02-06 12:45
2.3K
bcialg_3__1553_32.min1.thm1
2017-02-06 12:45
1.4K
bcialg_3__1554_19.min1.thm1
2017-02-06 12:45
1.4K
bcialg_3__1561_40.min1.thm1
2017-02-06 12:45
1.1K
bcialg_3__1562_27.min1.thm1
2017-02-06 12:45
1.2K
bcialg_3__1563_19.min1.thm1
2017-02-06 12:45
1.6K
bcialg_3__1578_35.min1.thm1
2017-02-06 12:45
1.5K
bcialg_3__1580_32.min1.thm1
2017-02-06 12:45
1.6K
bcialg_3__1581_23.min1.thm1
2017-02-06 12:45
1.2K
bcialg_3__1582_48.min1.thm1
2017-02-06 12:45
1.5K
bcialg_3__1591_41.min1.thm1
2017-02-06 12:45
1.4K
bcialg_3__1592_35.min1.thm1
2017-02-06 12:45
1.7K
bcialg_3__1593_19.min1.thm1
2017-02-06 12:45
1.2K
bcialg_3__1599_43.min1.thm1
2017-02-06 12:45
1.9K
bcialg_3__1602_37.min1.thm1
2017-02-06 12:45
1.2K
bcialg_3__1603_19.min1.thm1
2017-02-06 12:45
1.2K
bcialg_3__1605_65.min1.thm1
2017-02-06 12:45
768
bcialg_3__1619_48.min1.thm1
2017-02-06 12:45
1.5K
bcialg_3__1624_55.min1.thm1
2017-02-06 12:45
1.8K
bcialg_3__1625_35.min1.thm1
2017-02-06 12:45
1.7K
bcialg_3__1626_43.min1.thm1
2017-02-06 12:45
2.0K
bcialg_3__1627_29.min1.thm1
2017-02-06 12:45
1.4K
bcialg_3__1628_21.min1.thm1
2017-02-06 12:45
1.9K
bcialg_3__1638_43.min1.thm1
2017-02-06 12:45
1.4K
bcialg_3__1639_37.min1.thm1
2017-02-06 12:45
1.8K
bcialg_3__1641_24.min1.thm1
2017-02-06 12:45
1.5K
bcialg_3__1642_32.min1.thm1
2017-02-06 12:45
1.5K
bcialg_3__1643_18.min1.thm1
2017-02-06 12:45
1.4K
bcialg_3__1644_15.min1.thm1
2017-02-06 12:45
1.1K
bcialg_3__1647_17.min1.thm1
2017-02-06 12:45
1.1K
bcialg_3__1660_35.min1.thm1
2017-02-06 12:45
1.5K
bcialg_3__1664_34.min1.thm1
2017-02-06 12:45
1.4K
bcialg_3__1665_39.min1.thm1
2017-02-06 12:45
1.5K
bcialg_3__1666_21.min1.thm1
2017-02-06 12:45
1.5K
bcialg_3__1668_16.min1.thm1
2017-02-06 12:45
772
bcialg_3__1676_21.min1.thm1
2017-02-06 12:45
1.0K
bcialg_3__1677_35.min1.thm1
2017-02-06 12:45
1.0K
bcialg_3__1679_19.min1.thm1
2017-02-06 12:45
1.0K
bcialg_3__1682_35.min1.thm1
2017-02-06 12:45
1.3K
bcialg_3__1686_24.min1.thm1
2017-02-06 12:45
1.1K
bcialg_3__1687_14.min1.thm1
2017-02-06 12:45
1.1K
bcialg_3__1688_15.min1.thm1
2017-02-06 12:45
726
bcialg_3__1689_50.min1.thm1
2017-02-06 12:45
1.7K
bcialg_3__1690_43.min1.thm1
2017-02-06 12:45
2.1K
bcialg_3__1692_19.min1.thm1
2017-02-06 12:45
1.2K
bcialg_3__1693_19.min1.thm1
2017-02-06 12:45
1.3K
bcialg_3__1695_51.min1.thm1
2017-02-06 12:45
1.3K
bcialg_3__1696_17.min1.thm1
2017-02-06 12:45
1.8K
bcialg_3__1714_36.min1.thm1
2017-02-06 12:45
1.5K
bcialg_3__1715_15.min1.thm1
2017-02-06 12:45
1.2K
bcialg_3__1716_19.min1.thm1
2017-02-06 12:45
1.2K
bcialg_3__1723_28.min1.thm1
2017-02-06 12:45
727
bcialg_3__1723_28.min1.thm1.tptp
2017-02-06 16:48
650
bcialg_3__1725_24.min1.thm1
2017-02-06 12:45
1.6K
bcialg_3__1726_16.min1.thm1
2017-02-06 12:45
1.1K
bcialg_3__1727_16.min1.thm1
2017-02-06 12:45
1.0K
bcialg_3__1728_22.min1.thm1
2017-02-06 12:45
1.4K
bcialg_3__1730_25.min1.thm1
2017-02-06 12:45
1.8K
bcialg_3__1731_32.min1.thm1
2017-02-06 12:45
1.5K
bcialg_3__1732_18.min1.thm1
2017-02-06 12:45
1.5K
bcialg_3__1733_15.min1.thm1
2017-02-06 12:45
1.2K
bcialg_3__1737_32.min1.thm1
2017-02-06 12:45
1.6K
bcialg_3__1738_18.min1.thm1
2017-02-06 12:45
1.5K
bcialg_3__1739_15.min1.thm1
2017-02-06 12:45
1.2K
bcialg_3__1742_17.min1.thm1
2017-02-06 12:45
1.0K
bcialg_3__1761_30.min1.thm1
2017-02-06 12:45
1.4K
bcialg_3__1763_26.min1.thm1
2017-02-06 12:45
1.6K
bcialg_3__1764_34.min1.thm1
2017-02-06 12:45
1.6K
bcialg_3__1765_22.min1.thm1
2017-02-06 12:45
1.5K
bcialg_3__1766_17.min1.thm1
2017-02-06 12:45
1.2K
bcialg_3__1769_16.min1.thm1
2017-02-06 12:45
434
bcialg_3__1776_32.min1.thm1
2017-02-06 12:45
1.5K
bcialg_3__1777_18.min1.thm1
2017-02-06 12:45
1.5K
bcialg_3__1778_15.min1.thm1
2017-02-06 12:45
1.2K
bcialg_3__1779_16.min1.thm1
2017-02-06 12:45
1.1K
bcialg_3__1780_16.min1.thm1
2017-02-06 12:45
1.0K
bcialg_3__1781_22.min1.thm1
2017-02-06 12:45
1.4K
bcialg_3__1783_25.min1.thm1
2017-02-06 12:45
1.8K
bcialg_3__1784_24.min1.thm1
2017-02-06 12:45
617
bcialg_3__1784_24.min1.thm1.tptp
2017-02-06 16:48
540
bcialg_3__1785_15.min1.thm1
2017-02-06 12:45
809
bcialg_3__1789_32.min1.thm1
2017-02-06 12:45
1.6K
bcialg_3__1790_18.min1.thm1
2017-02-06 12:45
1.5K
bcialg_3__1791_15.min1.thm1
2017-02-06 12:45
1.2K
bcialg_3__1794_17.min1.thm1
2017-02-06 12:45
1.0K
bcialg_3__1812_40.min1.thm1
2017-02-06 12:45
1.6K
bcialg_3__1813_14.min1.thm1
2017-02-06 12:45
1.5K
bcialg_3__1814_15.min1.thm1
2017-02-06 12:45
788
bcialg_3__1815_28.min1.thm1
2017-02-06 12:45
1.4K
bcialg_3__1816_19.min1.thm1
2017-02-06 12:45
1.8K
bcialg_3__1821_34.min1.thm1
2017-02-06 12:45
781
bcialg_3__1821_34.min1.thm1.tptp
2017-02-06 16:48
704
bcialg_3__1822_13.min1.thm1
2017-02-06 12:45
1.2K
bcialg_3__1824_24.min1.thm1
2017-02-06 12:45
1.6K
bcialg_3__1825_14.min1.thm1
2017-02-06 12:45
1.1K
bcialg_3__1826_14.min1.thm1
2017-02-06 12:45
1.0K
bcialg_3__1827_20.min1.thm1
2017-02-06 12:45
1.4K
bcialg_3__1829_25.min1.thm1
2017-02-06 12:45
1.8K
bcialg_3__1830_30.min1.thm1
2017-02-06 12:45
1.5K
bcialg_3__1831_16.min1.thm1
2017-02-06 12:45
1.5K
bcialg_3__1832_13.min1.thm1
2017-02-06 12:45
1.2K
bcialg_3__1836_30.min1.thm1
2017-02-06 12:45
1.5K
bcialg_3__1837_16.min1.thm1
2017-02-06 12:45
1.5K
bcialg_3__1838_13.min1.thm1
2017-02-06 12:45
1.2K
bcialg_3__1857_22.min1.thm1
2017-02-06 12:45
1.0K
bcialg_3__1859_24.min1.thm1
2017-02-06 12:45
1.5K
bcialg_3__1860_36.min1.thm1
2017-02-06 12:45
1.6K
bcialg_3__1861_32.min1.thm1
2017-02-06 12:45
1.6K
bcialg_3__1862_20.min1.thm1
2017-02-06 12:45
1.6K
bcialg_3__1863_15.min1.thm1
2017-02-06 12:45
1.2K
bcialg_3__1864_24.min1.thm1
2017-02-06 12:45
1.8K
bcialg_3__1865_34.min1.thm1
2017-02-06 12:45
2.3K
bcialg_3__1868_48.min1.thm1
2017-02-06 12:45
1.3K
bcialg_3__1869_26.min1.thm1
2017-02-06 12:45
1.2K
bcialg_3__1878_28.min1.thm1
2017-02-06 12:45
823
bcialg_3__1878_28.min1.thm1.tptp
2017-02-06 16:48
753
bcialg_3__1879_19.min1.thm1
2017-02-06 12:45
1.2K
bcialg_3__1881_17.min1.thm1
2017-02-06 12:45
1.3K
bcialg_3__1899_24.min1.thm1
2017-02-06 12:45
1.1K
bcialg_3__1900_31.min1.thm1
2017-02-06 12:45
1.7K
bcialg_3__1901_27.min1.thm1
2017-02-06 12:45
1.7K
bcialg_3__1902_19.min1.thm1
2017-02-06 12:45
1.8K
bcialg_3__1909_36.min1.thm1
2017-02-06 12:45
1.6K
bcialg_3__1910_23.min1.thm1
2017-02-06 12:45
1.2K
bcialg_3__1911_21.min1.thm1
2017-02-06 12:45
1.3K
bcialg_3__1912_19.min1.thm1
2017-02-06 12:45
1.4K
bcialg_3__1932_48.min1.thm1
2017-02-06 12:45
1.3K
bcialg_3__1935_6.min1.thm1
2017-02-06 12:45
1.9K
bcialg_3__1937_40.min1.thm1
2017-02-06 12:45
1.7K
bcialg_3__1938_14.min1.thm1
2017-02-06 12:45
1.6K
bcialg_3__1939_15.min1.thm1
2017-02-06 12:45
788
bcialg_3__1942_64.min1.thm1
2017-02-06 12:45
2.0K
bcialg_3__1943_39.min1.thm1
2017-02-06 12:45
1.6K
bcialg_3__1953_38.min1.thm1
2017-02-06 12:45
1.4K
bcialg_3__1954_30.min1.thm1
2017-02-06 12:45
1.3K
bcialg_3__1955_28.min1.thm1
2017-02-06 12:45
1.2K
bcialg_3__1956_24.min1.thm1
2017-02-06 12:45
1.1K
bcialg_3__1958_19.min1.thm1
2017-02-06 12:45
1.6K
bcialg_3__1960_17.min1.thm1
2017-02-06 12:45
1.3K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80