Index of /~mptp/7.13.01_4.181.1147/mptp/ilp0/bcialg_6
Name
Last modified
Size
Description
Parent Directory
-
bcialg_6__50_37.min1.thm1
2017-02-06 12:45
452
bcialg_6__51_23.min1.thm1
2017-02-06 12:45
884
bcialg_6__52_16.min1.thm1
2017-02-06 12:45
1.0K
bcialg_6__72_43.min1.thm1
2017-02-06 12:45
366
bcialg_6__72_43.min1.thm1.tptp
2017-02-06 16:48
288
bcialg_6__77_30.min1.thm1
2017-02-06 12:45
134
bcialg_6__81_41.min1.thm1
2017-02-06 12:45
875
bcialg_6__83_20.min1.thm1
2017-02-06 12:45
1.0K
bcialg_6__101_20.min1.thm1
2017-02-06 12:45
480
bcialg_6__112_11.min1.thm1
2017-02-06 12:45
1.3K
bcialg_6__113_26.min1.thm1
2017-02-06 12:45
1.3K
bcialg_6__113_26.min1.thm1.tptp
2017-02-06 16:48
1.3K
bcialg_6__120_19.min1.thm1
2017-02-06 12:45
2.1K
bcialg_6__137_25.min1.thm1
2017-02-06 12:45
2.0K
bcialg_6__138_33.min1.thm1
2017-02-06 12:45
2.9K
bcialg_6__140_24.min1.thm1
2017-02-06 12:45
2.9K
bcialg_6__141_20.min1.thm1
2017-02-06 12:45
688
bcialg_6__141_20.min1.thm1.tptp
2017-02-06 16:48
612
bcialg_6__143_23.min1.thm1
2017-02-06 12:45
2.0K
bcialg_6__143_33.min1.thm1
2017-02-06 12:45
944
bcialg_6__143_33.min1.thm1.tptp
2017-02-06 16:48
880
bcialg_6__144_21.min1.thm1
2017-02-06 12:45
944
bcialg_6__144_21.min1.thm1.tptp
2017-02-06 16:48
880
bcialg_6__145_18.min1.thm1
2017-02-06 12:45
2.0K
bcialg_6__147_10.min1.thm1
2017-02-06 12:45
560
bcialg_6__147_10.min1.thm1.tptp
2017-02-06 16:48
484
bcialg_6__149_29.min1.thm1
2017-02-06 12:45
2.6K
bcialg_6__176_16.min1.thm1
2017-02-06 12:45
1.5K
bcialg_6__177_19.min1.thm1
2017-02-06 12:45
935
bcialg_6__184_17.min1.thm1
2017-02-06 12:45
1.3K
bcialg_6__186_49.min1.thm1
2017-02-06 12:45
1.3K
bcialg_6__195_23.min1.thm1
2017-02-06 12:45
2.2K
bcialg_6__203_35.min1.thm1
2017-02-06 12:45
448
bcialg_6__205_14.min1.thm1
2017-02-06 12:45
631
bcialg_6__205_14.min1.thm1.tptp
2017-02-06 16:48
549
bcialg_6__214_19.min1.thm1
2017-02-06 12:45
1.0K
bcialg_6__216_14.min1.thm1
2017-02-06 12:45
1.0K
bcialg_6__217_17.min1.thm1
2017-02-06 12:45
871
bcialg_6__225_24.min1.thm1
2017-02-06 12:45
1.6K
bcialg_6__226_17.min1.thm1
2017-02-06 12:45
1.1K
bcialg_6__232_19.min1.thm1
2017-02-06 12:45
725
bcialg_6__233_17.min1.thm1
2017-02-06 12:45
1.0K
bcialg_6__244_17.min1.thm1
2017-02-06 12:45
1.0K
bcialg_6__245_15.min1.thm1
2017-02-06 12:45
1.0K
bcialg_6__246_16.min1.thm1
2017-02-06 12:45
408
bcialg_6__250_14.min1.thm1
2017-02-06 12:45
439
bcialg_6__250_14.min1.thm1.tptp
2017-02-06 16:48
362
bcialg_6__258_31.min1.thm1
2017-02-06 12:45
1.6K
bcialg_6__259_13.min1.thm1
2017-02-06 12:45
1.7K
bcialg_6__260_17.min1.thm1
2017-02-06 12:45
1.9K
bcialg_6__271_15.min1.thm1
2017-02-06 12:45
1.9K
bcialg_6__273_7.min1.thm1
2017-02-06 12:45
2.2K
bcialg_6__277_16.min1.thm1
2017-02-06 12:45
656
bcialg_6__282_8.min1.thm1
2017-02-06 12:45
1.0K
bcialg_6__284_14.min1.thm1
2017-02-06 12:45
632
bcialg_6__284_14.min1.thm1.tptp
2017-02-06 16:48
555
bcialg_6__290_11.min1.thm1
2017-02-06 12:45
1.1K
bcialg_6__294_18.min1.thm1
2017-02-06 12:45
2.0K
bcialg_6__299_14.min1.thm1
2017-02-06 12:45
504
bcialg_6__301_7.min1.thm1
2017-02-06 12:45
1.6K
bcialg_6__315_46.min1.thm1
2017-02-06 12:45
1.1K
bcialg_6__320_28.min1.thm1
2017-02-06 12:45
1.1K
bcialg_6__321_16.min1.thm1
2017-02-06 12:45
1.3K
bcialg_6__322_13.min1.thm1
2017-02-06 12:45
760
bcialg_6__323_16.min1.thm1
2017-02-06 12:45
356
bcialg_6__325_11.min1.thm1
2017-02-06 12:45
723
bcialg_6__327_17.min1.thm1
2017-02-06 12:45
480
bcialg_6__336_43.min1.thm1
2017-02-06 12:45
1.1K
bcialg_6__341_15.min1.thm1
2017-02-06 12:45
1.9K
bcialg_6__343_12.min1.thm1
2017-02-06 12:45
2.2K
bcialg_6__344_13.min1.thm1
2017-02-06 12:45
1.5K
bcialg_6__347_30.min1.thm1
2017-02-06 12:45
2.0K
bcialg_6__348_16.min1.thm1
2017-02-06 12:45
1.2K
bcialg_6__349_18.min1.thm1
2017-02-06 12:45
416
bcialg_6__355_38.min1.thm1
2017-02-06 12:45
2.1K
bcialg_6__356_15.min1.thm1
2017-02-06 12:45
822
bcialg_6__357_33.min1.thm1
2017-02-06 12:45
1.7K
bcialg_6__358_30.min1.thm1
2017-02-06 12:45
1.4K
bcialg_6__359_37.min1.thm1
2017-02-06 12:45
1.9K
bcialg_6__362_18.min1.thm1
2017-02-06 12:45
416
bcialg_6__367_14.min1.thm1
2017-02-06 12:45
439
bcialg_6__367_14.min1.thm1.tptp
2017-02-06 16:48
362
bcialg_6__376_19.min1.thm1
2017-02-06 12:45
1.2K
bcialg_6__379_11.min1.thm1
2017-02-06 12:45
734
bcialg_6__386_47.min1.thm1
2017-02-06 12:45
515
bcialg_6__393_38.min1.thm1
2017-02-06 12:45
1.8K
bcialg_6__395_21.min1.thm1
2017-02-06 12:45
3.1K
bcialg_6__398_19.min1.thm1
2017-02-06 12:45
544
bcialg_6__409_18.min1.thm1
2017-02-06 12:45
1.6K
bcialg_6__413_32.min1.thm1
2017-02-06 12:45
1.8K
bcialg_6__414_23.min1.thm1
2017-02-06 12:45
2.7K
bcialg_6__419_44.min1.thm1
2017-02-06 12:45
1.8K
bcialg_6__424_40.min1.thm1
2017-02-06 12:45
1.7K
bcialg_6__427_43.min1.thm1
2017-02-06 12:45
1.8K
bcialg_6__429_43.min1.thm1
2017-02-06 12:45
1.7K
bcialg_6__434_23.min1.thm1
2017-02-06 12:45
2.7K
bcialg_6__438_19.min1.thm1
2017-02-06 12:45
544
bcialg_6__445_25.min1.thm1
2017-02-06 12:45
1.0K
bcialg_6__448_21.min1.thm1
2017-02-06 12:45
1.4K
bcialg_6__456_49.min1.thm1
2017-02-06 12:45
1.7K
bcialg_6__460_55.min1.thm1
2017-02-06 12:45
2.6K
bcialg_6__467_27.min1.thm1
2017-02-06 12:45
1.3K
bcialg_6__469_25.min1.thm1
2017-02-06 12:45
671
bcialg_6__469_25.min1.thm1.tptp
2017-02-06 16:48
589
bcialg_6__470_16.min1.thm1
2017-02-06 12:45
784
bcialg_6__473_10.min1.thm1
2017-02-06 12:45
1.8K
bcialg_6__475_8.min1.thm1
2017-02-06 12:45
1.3K
bcialg_6__477_14.min1.thm1
2017-02-06 12:45
760
bcialg_6__477_14.min1.thm1.tptp
2017-02-06 16:48
683
bcialg_6__489_16.min1.thm1
2017-02-06 12:45
636
bcialg_6__495_14.min1.thm1
2017-02-06 12:45
612
bcialg_6__495_14.min1.thm1.tptp
2017-02-06 16:48
535
bcialg_6__504_28.min1.thm1
2017-02-06 12:45
1.9K
bcialg_6__505_29.min1.thm1
2017-02-06 12:45
1.6K
bcialg_6__512_35.min1.thm1
2017-02-06 12:45
1.4K
bcialg_6__513_35.min1.thm1
2017-02-06 12:45
1.4K
bcialg_6__516_16.min1.thm1
2017-02-06 12:45
800
bcialg_6__519_15.min1.thm1
2017-02-06 12:45
972
bcialg_6__524_14.min1.thm1
2017-02-06 12:45
721
bcialg_6__524_14.min1.thm1.tptp
2017-02-06 16:48
644
bcialg_6__532_40.min1.thm1
2017-02-06 12:45
1.4K
bcialg_6__545_21.min1.thm1
2017-02-06 12:45
1.2K
bcialg_6__548_16.min1.thm1
2017-02-06 12:45
604
bcialg_6__551_15.min1.thm1
2017-02-06 12:45
972
bcialg_6__555_14.min1.thm1
2017-02-06 12:45
580
bcialg_6__555_14.min1.thm1.tptp
2017-02-06 16:48
503
bcialg_6__565_37.min1.thm1
2017-02-06 12:45
1.5K
bcialg_6__566_25.min1.thm1
2017-02-06 12:45
1.6K
bcialg_6__567_23.min1.thm1
2017-02-06 12:45
1.1K
bcialg_6__568_16.min1.thm1
2017-02-06 12:45
604
bcialg_6__571_15.min1.thm1
2017-02-06 12:45
972
bcialg_6__575_14.min1.thm1
2017-02-06 12:45
580
bcialg_6__575_14.min1.thm1.tptp
2017-02-06 16:48
503
bcialg_6__581_46.min1.thm1
2017-02-06 12:45
1.7K
bcialg_6__582_20.min1.thm1
2017-02-06 12:45
1.0K
bcialg_6__583_17.min1.thm1
2017-02-06 12:45
1.0K
bcialg_6__584_20.min1.thm1
2017-02-06 12:45
1.1K
bcialg_6__585_14.min1.thm1
2017-02-06 12:45
636
bcialg_6__585_14.min1.thm1.tptp
2017-02-06 16:48
554
bcialg_6__600_26.min1.thm1
2017-02-06 12:45
959
bcialg_6__605_32.min1.thm1
2017-02-06 12:45
1.3K
bcialg_6__606_63.min1.thm1
2017-02-06 12:45
1.9K
bcialg_6__607_47.min1.thm1
2017-02-06 12:45
2.4K
bcialg_6__610_36.min1.thm1
2017-02-06 12:45
2.3K
bcialg_6__611_57.min1.thm1
2017-02-06 12:45
2.6K
bcialg_6__613_16.min1.thm1
2017-02-06 12:45
1.0K
bcialg_6__616_26.min1.thm1
2017-02-06 12:45
1.0K
bcialg_6__617_21.min1.thm1
2017-02-06 12:45
1.6K
bcialg_6__620_8.min1.thm1
2017-02-06 12:45
2.0K
bcialg_6__622_14.min1.thm1
2017-02-06 12:45
910
bcialg_6__629_22.min1.thm1
2017-02-06 12:45
955
bcialg_6__640_14.min1.thm1
2017-02-06 12:45
642
bcialg_6__643_29.min1.thm1
2017-02-06 12:45
1.9K
bcialg_6__650_10.min1.thm1
2017-02-06 12:45
742
bcialg_6__651_44.min1.thm1
2017-02-06 12:45
1.8K
bcialg_6__655_25.min1.thm1
2017-02-06 12:45
1.1K
bcialg_6__656_25.min1.thm1
2017-02-06 12:45
1.3K
bcialg_6__662_10.min1.thm1
2017-02-06 12:45
742
bcialg_6__663_44.min1.thm1
2017-02-06 12:45
1.8K
bcialg_6__664_21.min1.thm1
2017-02-06 12:45
1.3K
bcialg_6__667_29.min1.thm1
2017-02-06 12:45
1.5K
bcialg_6__668_31.min1.thm1
2017-02-06 12:45
1.5K
bcialg_6__676_11.min1.thm1
2017-02-06 12:45
1.6K
bcialg_6__679_13.min1.thm1
2017-02-06 12:45
1.6K
bcialg_6__688_21.min1.thm1
2017-02-06 12:45
712
bcialg_6__688_21.min1.thm1.tptp
2017-02-06 16:48
630
bcialg_6__693_41.min1.thm1
2017-02-06 12:45
2.7K
bcialg_6__696_21.min1.thm1
2017-02-06 12:45
1.2K
bcialg_6__698_18.min1.thm1
2017-02-06 12:45
1.9K
bcialg_6__703_13.min1.thm1
2017-02-06 12:45
217
bcialg_6__706_44.min1.thm1
2017-02-06 12:45
495
bcialg_6__708_19.min1.thm1
2017-02-06 12:45
1.2K
bcialg_6__709_19.min1.thm1
2017-02-06 12:45
1.2K
bcialg_6__715_39.min1.thm1
2017-02-06 12:45
1.7K
bcialg_6__718_21.min1.thm1
2017-02-06 12:45
1.2K
bcialg_6__720_21.min1.thm1
2017-02-06 12:45
2.1K
bcialg_6__725_45.min1.thm1
2017-02-06 12:45
1.7K
bcialg_6__726_11.min1.thm1
2017-02-06 12:45
690
bcialg_6__727_13.min1.thm1
2017-02-06 12:45
217
bcialg_6__731_41.min1.thm1
2017-02-06 12:45
2.5K
bcialg_6__732_49.min1.thm1
2017-02-06 12:45
1.7K
bcialg_6__733_25.min1.thm1
2017-02-06 12:45
1.4K
bcialg_6__734_17.min1.thm1
2017-02-06 12:45
1.9K
bcialg_6__741_21.min1.thm1
2017-02-06 12:45
1.2K
bcialg_6__745_49.min1.thm1
2017-02-06 12:45
1.7K
bcialg_6__746_13.min1.thm1
2017-02-06 12:45
698
bcialg_6__747_42.min1.thm1
2017-02-06 12:45
1.7K
bcialg_6__754_15.min1.thm1
2017-02-06 12:45
255
bcialg_6__757_50.min1.thm1
2017-02-06 12:45
1.7K
bcialg_6__758_30.min1.thm1
2017-02-06 12:45
1.8K
bcialg_6__763_21.min1.thm1
2017-02-06 12:45
1.0K
bcialg_6__764_50.min1.thm1
2017-02-06 12:45
1.9K
bcialg_6__765_16.min1.thm1
2017-02-06 12:45
1.1K
bcialg_6__769_20.min1.thm1
2017-02-06 12:45
2.0K
bcialg_6__780_11.min1.thm1
2017-02-06 12:45
213
bcialg_6__783_13.min1.thm1
2017-02-06 12:45
217
bcialg_6__786_46.min1.thm1
2017-02-06 12:45
676
bcialg_6__787_29.min1.thm1
2017-02-06 12:45
1.3K
bcialg_6__788_18.min1.thm1
2017-02-06 12:45
1.4K
bcialg_6__792_47.min1.thm1
2017-02-06 12:45
1.7K
bcialg_6__793_39.min1.thm1
2017-02-06 12:45
491
bcialg_6__794_18.min1.thm1
2017-02-06 12:45
2.0K
bcialg_6__797_51.min1.thm1
2017-02-06 12:45
2.2K
bcialg_6__798_51.min1.thm1
2017-02-06 12:45
1.7K
bcialg_6__799_55.min1.thm1
2017-02-06 12:45
1.8K
bcialg_6__804_25.min1.thm1
2017-02-06 12:45
1.4K
bcialg_6__805_22.min1.thm1
2017-02-06 12:45
1.4K
bcialg_6__806_26.min1.thm1
2017-02-06 12:45
613
bcialg_6__806_26.min1.thm1.tptp
2017-02-06 16:48
531
bcialg_6__807_20.min1.thm1
2017-02-06 12:45
858
bcialg_6__815_22.min1.thm1
2017-02-06 12:45
1.3K
bcialg_6__816_21.min1.thm1
2017-02-06 12:45
1.1K
bcialg_6__817_18.min1.thm1
2017-02-06 12:45
1.0K
bcialg_6__818_23.min1.thm1
2017-02-06 12:45
1.8K
bcialg_6__819_23.min1.thm1
2017-02-06 12:45
1.6K
bcialg_6__825_45.min1.thm1
2017-02-06 12:45
1.7K
bcialg_6__826_13.min1.thm1
2017-02-06 12:45
1.6K
bcialg_6__829_44.min1.thm1
2017-02-06 12:45
963
bcialg_6__830_51.min1.thm1
2017-02-06 12:45
1.7K
bcialg_6__831_44.min1.thm1
2017-02-06 12:45
3.3K
bcialg_6__832_16.min1.thm1
2017-02-06 12:45
1.6K
bcialg_6__837_25.min1.thm1
2017-02-06 12:45
1.4K
bcialg_6__838_18.min1.thm1
2017-02-06 12:45
930
bcialg_6__842_53.min1.thm1
2017-02-06 12:45
1.7K
bcialg_6__843_25.min1.thm1
2017-02-06 12:45
500
bcialg_6__843_25.min1.thm1.tptp
2017-02-06 16:48
418
bcialg_6__846_21.min1.thm1
2017-02-06 12:45
627
bcialg_6__846_21.min1.thm1.tptp
2017-02-06 16:48
545
bcialg_6__849_47.min1.thm1
2017-02-06 12:45
1.7K
bcialg_6__855_18.min1.thm1
2017-02-06 12:45
1.5K
bcialg_6__866_11.min1.thm1
2017-02-06 12:45
1.6K
bcialg_6__869_42.min1.thm1
2017-02-06 12:45
955
bcialg_6__870_32.min1.thm1
2017-02-06 12:45
1.3K
bcialg_6__871_25.min1.thm1
2017-02-06 12:45
1.3K
bcialg_6__879_23.min1.thm1
2017-02-06 12:45
2.2K
bcialg_6__880_16.min1.thm1
2017-02-06 12:45
704
bcialg_6__884_45.min1.thm1
2017-02-06 12:45
1.7K
bcialg_6__885_47.min1.thm1
2017-02-06 12:45
1.7K
bcialg_6__886_33.min1.thm1
2017-02-06 12:45
675
bcialg_6__886_33.min1.thm1.tptp
2017-02-06 16:48
598
bcialg_6__886_52.min1.thm1
2017-02-06 12:45
1.6K
bcialg_6__887_23.min1.thm1
2017-02-06 12:45
1.5K
bcialg_6__890_16.min1.thm1
2017-02-06 12:45
2.0K
bcialg_6__908_26.min1.thm1
2017-02-06 12:45
1.0K
bcialg_6__909_51.min1.thm1
2017-02-06 12:45
1.1K
bcialg_6__910_23.min1.thm1
2017-02-06 12:45
1.2K
bcialg_6__911_23.min1.thm1
2017-02-06 12:45
1.3K
bcialg_6__913_26.min1.thm1
2017-02-06 12:45
2.0K
bcialg_6__914_17.min1.thm1
2017-02-06 12:45
1.4K
bcialg_6__927_62.min1.thm1
2017-02-06 12:45
1.0K
bcialg_6__929_26.min1.thm1
2017-02-06 12:45
584
bcialg_6__933_37.min1.thm1
2017-02-06 12:45
468
bcialg_6__935_38.min1.thm1
2017-02-06 12:45
526
bcialg_6__935_38.min1.thm1.tptp
2017-02-06 16:48
440
bcialg_6__938_19.min1.thm1
2017-02-06 12:45
877
bcialg_6__946_28.min1.thm1
2017-02-06 12:45
1.1K
bcialg_6__947_19.min1.thm1
2017-02-06 12:45
893
bcialg_6__955_29.min1.thm1
2017-02-06 12:45
2.1K
bcialg_6__956_51.min1.thm1
2017-02-06 12:45
1.1K
bcialg_6__958_21.min1.thm1
2017-02-06 12:45
1.1K
bcialg_6__959_23.min1.thm1
2017-02-06 12:45
1.0K
bcialg_6__960_54.min1.thm1
2017-02-06 12:45
1.4K
bcialg_6__961_17.min1.thm1
2017-02-06 12:45
1.3K
bcialg_6__978_15.min1.thm1
2017-02-06 12:45
2.1K
bcialg_6__979_18.min1.thm1
2017-02-06 12:45
1.0K
bcialg_6__981_13.min1.thm1
2017-02-06 12:45
723
bcialg_6__982_18.min1.thm1
2017-02-06 12:45
1.2K
bcialg_6__983_25.min1.thm1
2017-02-06 12:45
1.1K
bcialg_6__985_26.min1.thm1
2017-02-06 12:45
848
bcialg_6__986_30.min1.thm1
2017-02-06 12:45
1.3K
bcialg_6__994_37.min1.thm1
2017-02-06 12:45
484
bcialg_6__994_37.min1.thm1.tptp
2017-02-06 16:48
411
bcialg_6__995_31.min1.thm1
2017-02-06 12:45
1.3K
bcialg_6__996_28.min1.thm1
2017-02-06 12:45
848
bcialg_6__998_46.min1.thm1
2017-02-06 12:45
1.1K
bcialg_6__999_24.min1.thm1
2017-02-06 12:45
1.1K
bcialg_6__1000_24.min1.thm1
2017-02-06 12:45
1.3K
bcialg_6__1001_19.min1.thm1
2017-02-06 12:45
1.5K
bcialg_6__1003_22.min1.thm1
2017-02-06 12:45
846
bcialg_6__1004_17.min1.thm1
2017-02-06 12:45
921
bcialg_6__1018_12.min1.thm1
2017-02-06 12:45
1.7K
bcialg_6__1019_14.min1.thm1
2017-02-06 12:45
2.1K
bcialg_6__1024_55.min1.thm1
2017-02-06 12:45
1.0K
bcialg_6__1026_15.min1.thm1
2017-02-06 12:45
1.2K
bcialg_6__1027_19.min1.thm1
2017-02-06 12:45
1.3K
bcialg_6__1028_56.min1.thm1
2017-02-06 12:45
1.3K
bcialg_6__1029_19.min1.thm1
2017-02-06 12:45
1.3K
bcialg_6__1033_8.min1.thm1
2017-02-06 12:45
534
bcialg_6__1038_21.min1.thm1
2017-02-06 12:45
1.3K
bcialg_6__1047_58.min1.thm1
2017-02-06 12:45
1.1K
bcialg_6__1048_27.min1.thm1
2017-02-06 12:45
1.3K
bcialg_6__1049_25.min1.thm1
2017-02-06 12:45
1.4K
bcialg_6__1050_27.min1.thm1
2017-02-06 12:45
1.3K
bcialg_6__1052_30.min1.thm1
2017-02-06 12:45
2.4K
bcialg_6__1056_59.min1.thm1
2017-02-06 12:45
1.2K
bcialg_6__1057_26.min1.thm1
2017-02-06 12:45
1.3K
bcialg_6__1074_25.min1.thm1
2017-02-06 12:45
951
bcialg_6__1085_15.min1.thm1
2017-02-06 12:45
199
bcialg_6__1088_23.min1.thm1
2017-02-06 12:45
507
bcialg_6__1092_44.min1.thm1
2017-02-06 12:45
472
bcialg_6__1093_31.min1.thm1
2017-02-06 12:45
470
bcialg_6__1093_31.min1.thm1.tptp
2017-02-06 16:48
384
bcialg_6__1096_20.min1.thm1
2017-02-06 12:45
715
bcialg_6__1098_29.min1.thm1
2017-02-06 12:45
1.0K
bcialg_6__1100_20.min1.thm1
2017-02-06 12:45
1.2K
bcialg_6__1101_28.min1.thm1
2017-02-06 12:45
1.3K
bcialg_6__1103_35.min1.thm1
2017-02-06 12:45
1.7K
bcialg_6__1104_59.min1.thm1
2017-02-06 12:45
1.1K
bcialg_6__1106_24.min1.thm1
2017-02-06 12:45
1.3K
bcialg_6__1107_60.min1.thm1
2017-02-06 12:45
1.1K
bcialg_6__1108_29.min1.thm1
2017-02-06 12:45
1.3K
bcialg_6__1109_32.min1.thm1
2017-02-06 12:45
1.4K
bcialg_6__1113_29.min1.thm1
2017-02-06 12:45
1.3K
bcialg_6__1114_27.min1.thm1
2017-02-06 12:45
1.7K
bcialg_6__1116_27.min1.thm1
2017-02-06 12:45
1.6K
bcialg_6__1117_15.min1.thm1
2017-02-06 12:45
1.3K
bcialg_6__1118_27.min1.thm1
2017-02-06 12:45
1.4K
bcialg_6__1120_20.min1.thm1
2017-02-06 12:45
845
bcialg_6__1121_25.min1.thm1
2017-02-06 12:45
2.2K
bcialg_6__1122_23.min1.thm1
2017-02-06 12:45
1.5K
bcialg_6__1126_16.min1.thm1
2017-02-06 12:45
516
bcialg_6__1126_16.min1.thm1.tptp
2017-02-06 16:48
439
bcialg_6__1130_17.min1.thm1
2017-02-06 12:45
795
bcialg_6__1132_14.min1.thm1
2017-02-06 12:45
1.1K
bcialg_6__1133_22.min1.thm1
2017-02-06 12:45
1.3K
bcialg_6__1135_29.min1.thm1
2017-02-06 12:45
1.7K
bcialg_6__1136_53.min1.thm1
2017-02-06 12:45
1.1K
bcialg_6__1138_21.min1.thm1
2017-02-06 12:45
1.2K
bcialg_6__1140_27.min1.thm1
2017-02-06 12:45
1.5K
bcialg_6__1141_22.min1.thm1
2017-02-06 12:45
952
bcialg_6__1142_22.min1.thm1
2017-02-06 12:45
1.2K
bcialg_6__1143_21.min1.thm1
2017-02-06 12:45
1.6K
bcialg_6__1144_14.min1.thm1
2017-02-06 12:45
1.5K
bcialg_6__1157_25.min1.thm1
2017-02-06 12:45
951
bcialg_6__1159_14.min1.thm1
2017-02-06 12:45
1.1K
bcialg_6__1160_22.min1.thm1
2017-02-06 12:45
1.3K
bcialg_6__1163_29.min1.thm1
2017-02-06 12:45
1.7K
bcialg_6__1165_50.min1.thm1
2017-02-06 12:45
1.1K
bcialg_6__1166_44.min1.thm1
2017-02-06 12:45
438
bcialg_6__1167_24.min1.thm1
2017-02-06 12:45
728
bcialg_6__1169_19.min1.thm1
2017-02-06 12:45
1.0K
bcialg_6__1170_36.min1.thm1
2017-02-06 12:45
453
bcialg_6__1171_22.min1.thm1
2017-02-06 12:45
607
bcialg_6__1173_18.min1.thm1
2017-02-06 12:45
1.0K
bcialg_6__1174_35.min1.thm1
2017-02-06 12:45
453
bcialg_6__1175_24.min1.thm1
2017-02-06 12:45
1.0K
bcialg_6__1178_27.min1.thm1
2017-02-06 12:45
1.1K
bcialg_6__1180_25.min1.thm1
2017-02-06 12:45
1.2K
bcialg_6__1181_36.min1.thm1
2017-02-06 12:45
1.8K
bcialg_6__1183_40.min1.thm1
2017-02-06 12:45
1.6K
bcialg_6__1184_28.min1.thm1
2017-02-06 12:45
1.1K
bcialg_6__1186_26.min1.thm1
2017-02-06 12:45
1.2K
bcialg_6__1187_36.min1.thm1
2017-02-06 12:45
1.9K
bcialg_6__1188_44.min1.thm1
2017-02-06 12:45
1.6K
bcialg_6__1191_42.min1.thm1
2017-02-06 12:45
2.3K
bcialg_6__1192_19.min1.thm1
2017-02-06 12:45
1.0K
bcialg_6__1195_19.min1.thm1
2017-02-06 12:45
932
bcialg_6__1204_59.min1.thm1
2017-02-06 12:45
1.2K
bcialg_6__1205_31.min1.thm1
2017-02-06 12:45
1.3K
bcialg_6__1206_29.min1.thm1
2017-02-06 12:45
1.7K
bcialg_6__1207_29.min1.thm1
2017-02-06 12:45
1.3K
bcialg_6__1211_33.min1.thm1
2017-02-06 12:45
2.3K
bcialg_6__1215_15.min1.thm1
2017-02-06 12:45
1.2K
bcialg_6__1216_30.min1.thm1
2017-02-06 12:45
1.6K
bcialg_6__1218_27.min1.thm1
2017-02-06 12:45
1.0K
bcialg_6__1219_25.min1.thm1
2017-02-06 12:45
1.3K
bcialg_6__1221_18.min1.thm1
2017-02-06 12:45
1.0K
bcialg_6__1222_12.min1.thm1
2017-02-06 12:45
885
bcialg_6__1223_19.min1.thm1
2017-02-06 12:45
943
bcialg_6__1225_34.min1.thm1
2017-02-06 12:45
1.5K
bcialg_6__1226_21.min1.thm1
2017-02-06 12:45
1.2K
bcialg_6__1229_20.min1.thm1
2017-02-06 12:45
2.2K
bcialg_6__1232_17.min1.thm1
2017-02-06 12:45
1.3K
bcialg_6__1233_13.min1.thm1
2017-02-06 12:45
810
bcialg_6__1234_28.min1.thm1
2017-02-06 12:45
1.8K
bcialg_6__1236_31.min1.thm1
2017-02-06 12:45
1.7K
bcialg_6__1237_16.min1.thm1
2017-02-06 12:45
673
bcialg_6__1240_12.min1.thm1
2017-02-06 12:45
2.1K
bcialg_6__1251_27.min1.thm1
2017-02-06 12:45
1.6K
bcialg_6__1252_59.min1.thm1
2017-02-06 12:45
1.3K
bcialg_6__1253_26.min1.thm1
2017-02-06 12:45
1.4K
bcialg_6__1254_24.min1.thm1
2017-02-06 12:45
1.7K
bcialg_6__1255_27.min1.thm1
2017-02-06 12:45
1.3K
bcialg_6__1256_23.min1.thm1
2017-02-06 12:45
1.7K
bcialg_6__1257_21.min1.thm1
2017-02-06 12:45
2.0K
bcialg_6__1259_23.min1.thm1
2017-02-06 12:45
2.1K
bcialg_6__1261_9.min1.thm1
2017-02-06 12:45
1.5K
bcialg_6__1264_24.min1.thm1
2017-02-06 12:45
1.3K
bcialg_6__1265_56.min1.thm1
2017-02-06 12:45
1.2K
bcialg_6__1266_23.min1.thm1
2017-02-06 12:45
1.3K
bcialg_6__1267_23.min1.thm1
2017-02-06 12:45
1.4K
bcialg_6__1268_26.min1.thm1
2017-02-06 12:45
1.2K
bcialg_6__1269_24.min1.thm1
2017-02-06 12:45
2.0K
bcialg_6__1272_9.min1.thm1
2017-02-06 12:45
1.2K
bcialg_6__1274_17.min1.thm1
2017-02-06 12:45
2.0K
bcialg_6__1284_9.min1.thm1
2017-02-06 12:45
574
bcialg_6__1286_33.min1.thm1
2017-02-06 12:45
1.2K
bcialg_6__1303_36.min1.thm1
2017-02-06 12:45
1.7K
bcialg_6__1305_35.min1.thm1
2017-02-06 12:45
1.8K
bcialg_6__1306_41.min1.thm1
2017-02-06 12:45
1.4K
bcialg_6__1307_52.min1.thm1
2017-02-06 12:45
1.1K
bcialg_6__1308_36.min1.thm1
2017-02-06 12:45
1.7K
bcialg_6__1310_35.min1.thm1
2017-02-06 12:45
1.8K
bcialg_6__1315_34.min1.thm1
2017-02-06 12:45
1.7K
bcialg_6__1318_22.min1.thm1
2017-02-06 12:45
1.3K
bcialg_6__1319_15.min1.thm1
2017-02-06 12:45
797
bcialg_6__1320_12.min1.thm1
2017-02-06 12:45
1.0K
bcialg_6__1349_55.min1.thm1
2017-02-06 12:45
1.6K
bcialg_6__1353_14.min1.thm1
2017-02-06 12:45
400
bcialg_6__1369_67.min1.thm1
2017-02-06 12:45
1.4K
bcialg_6__1375_21.min1.thm1
2017-02-06 12:45
1.0K
bcialg_6__1376_24.min1.thm1
2017-02-06 12:45
2.4K
bcialg_6__1407_11.min1.thm1
2017-02-06 12:45
131
bcialg_6__1415_17.min1.thm1
2017-02-06 12:45
2.2K
bcialg_6__1423_21.min1.thm1
2017-02-06 12:45
1.5K
bcialg_6__1424_21.min1.thm1
2017-02-06 12:45
2.4K
bcialg_6__1425_16.min1.thm1
2017-02-06 12:45
418
bcialg_6__1425_16.min1.thm1.tptp
2017-02-06 16:48
338
bcialg_6__1435_16.min1.thm1
2017-02-06 12:45
1.1K
bcialg_6__1436_14.min1.thm1
2017-02-06 12:45
1.5K
bcialg_6__1437_17.min1.thm1
2017-02-06 12:45
2.3K
bcialg_6__1452_49.min1.thm1
2017-02-06 12:45
2.3K
bcialg_6__1453_39.min1.thm1
2017-02-06 12:45
422
bcialg_6__1454_22.min1.thm1
2017-02-06 12:45
1.9K
bcialg_6__1456_21.min1.thm1
2017-02-06 12:45
457
bcialg_6__1461_40.min1.thm1
2017-02-06 12:45
798
bcialg_6__1462_14.min1.thm1
2017-02-06 12:45
443
bcialg_6__1463_22.min1.thm1
2017-02-06 12:45
1.6K
bcialg_6__1464_16.min1.thm1
2017-02-06 12:45
2.4K
bcialg_6__1475_21.min1.thm1
2017-02-06 12:45
2.8K
bcialg_6__1477_16.min1.thm1
2017-02-06 12:45
618
bcialg_6__1480_21.min1.thm1
2017-02-06 12:45
2.8K
bcialg_6__1481_20.min1.thm1
2017-02-06 12:45
619
bcialg_6__1484_39.min1.thm1
2017-02-06 12:45
751
bcialg_6__1493_29.min1.thm1
2017-02-06 12:45
1.3K
bcialg_6__1494_34.min1.thm1
2017-02-06 12:45
2.0K
bcialg_6__1496_16.min1.thm1
2017-02-06 12:45
1.0K
bcialg_6__1497_20.min1.thm1
2017-02-06 12:45
1.0K
bcialg_6__1498_17.min1.thm1
2017-02-06 12:45
881
bcialg_6__1507_37.min1.thm1
2017-02-06 12:45
4.0K
bcialg_6__1510_27.min1.thm1
2017-02-06 12:45
4.0K
bcialg_6__1511_21.min1.thm1
2017-02-06 12:45
3.8K
bcialg_6__1513_17.min1.thm1
2017-02-06 12:45
2.9K
bcialg_6__1521_31.min1.thm1
2017-02-06 12:45
1.3K
bcialg_6__1523_46.min1.thm1
2017-02-06 12:45
2.4K
bcialg_6__1538_55.min1.thm1
2017-02-06 12:45
2.3K
bcialg_6__1539_31.min1.thm1
2017-02-06 12:45
1.0K
bcialg_6__1542_37.min1.thm1
2017-02-06 12:45
1.9K
bcialg_6__1550_22.min1.thm1
2017-02-06 12:45
2.0K
bcialg_6__1551_20.min1.thm1
2017-02-06 12:45
2.3K
bcialg_6__1553_19.min1.thm1
2017-02-06 12:45
1.5K
bcialg_6__1554_19.min1.thm1
2017-02-06 12:45
2.4K
bcialg_6__1559_11.min1.thm1
2017-02-06 12:45
1.3K
bcialg_6__1561_48.min1.thm1
2017-02-06 12:45
2.8K
bcialg_6__1563_26.min1.thm1
2017-02-06 12:45
3.2K
bcialg_6__1565_16.min1.thm1
2017-02-06 12:45
3.4K
bcialg_6__1567_14.min1.thm1
2017-02-06 12:45
579
bcialg_6__1573_14.min1.thm1
2017-02-06 12:45
1.5K
bcialg_6__1587_16.min1.thm1
2017-02-06 12:45
1.4K
bcialg_6__1588_37.min1.thm1
2017-02-06 12:45
1.1K
bcialg_6__1590_20.min1.thm1
2017-02-06 12:45
1.6K
bcialg_6__1594_31.min1.thm1
2017-02-06 12:45
1.3K
bcialg_6__1595_19.min1.thm1
2017-02-06 12:45
2.4K
bcialg_6__1598_35.min1.thm1
2017-02-06 12:45
1.0K
bcialg_6__1599_17.min1.thm1
2017-02-06 12:45
944
bcialg_6__1609_20.min1.thm1
2017-02-06 12:45
1.0K
bcialg_6__1614_17.min1.thm1
2017-02-06 12:45
2.1K
bcialg_6__1628_14.min1.thm1
2017-02-06 12:45
1.5K
bcialg_6__1629_47.min1.thm1
2017-02-06 12:45
2.3K
bcialg_6__1630_33.min1.thm1
2017-02-06 12:45
1.7K
bcialg_6__1633_22.min1.thm1
2017-02-06 12:45
2.0K
bcialg_6__1653_16.min1.thm1
2017-02-06 12:45
1.9K
bcialg_6__1655_22.min1.thm1
2017-02-06 12:45
2.2K
bcialg_6__1657_15.min1.thm1
2017-02-06 12:45
1.1K
bcialg_6__1658_21.min1.thm1
2017-02-06 12:45
1.6K
bcialg_6__1659_21.min1.thm1
2017-02-06 12:45
2.4K
bcialg_6__1668_42.min1.thm1
2017-02-06 12:45
2.0K
bcialg_6__1672_16.min1.thm1
2017-02-06 12:45
2.8K
bcialg_6__1673_32.min1.thm1
2017-02-06 12:45
1.3K
bcialg_6__1674_19.min1.thm1
2017-02-06 12:45
1.6K
bcialg_6__1675_27.min1.thm1
2017-02-06 12:45
2.9K
bcialg_6__1679_17.min1.thm1
2017-02-06 12:45
1.3K
bcialg_6__1685_25.min1.thm1
2017-02-06 12:45
885
bcialg_6__1687_19.min1.thm1
2017-02-06 12:45
1.8K
bcialg_6__1688_28.min1.thm1
2017-02-06 12:45
2.3K
bcialg_6__1690_25.min1.thm1
2017-02-06 12:45
885
bcialg_6__1692_19.min1.thm1
2017-02-06 12:45
1.8K
bcialg_6__1704_15.min1.thm1
2017-02-06 12:45
1.6K
bcialg_6__1706_14.min1.thm1
2017-02-06 12:45
1.8K
bcialg_6__1711_38.min1.thm1
2017-02-06 12:45
1.3K
bcialg_6__1714_26.min1.thm1
2017-02-06 12:45
1.8K
bcialg_6__1715_25.min1.thm1
2017-02-06 12:45
1.7K
bcialg_6__1719_25.min1.thm1
2017-02-06 12:45
1.4K
bcialg_6__1720_22.min1.thm1
2017-02-06 12:45
2.0K
bcialg_6__1721_24.min1.thm1
2017-02-06 12:45
3.0K
bcialg_6__1723_38.min1.thm1
2017-02-06 12:45
2.8K
bcialg_6__1724_40.min1.thm1
2017-02-06 12:45
3.0K
bcialg_6__1725_35.min1.thm1
2017-02-06 12:45
3.7K
bcialg_6__1727_19.min1.thm1
2017-02-06 12:45
1.3K
bcialg_6__1729_28.min1.thm1
2017-02-06 12:45
2.3K
bcialg_6__1738_46.min1.thm1
2017-02-06 12:45
1.8K
bcialg_6__1744_15.min1.thm1
2017-02-06 12:45
2.7K
bcialg_6__1745_36.min1.thm1
2017-02-06 12:45
1.4K
bcialg_6__1746_26.min1.thm1
2017-02-06 12:45
1.6K
bcialg_6__1747_23.min1.thm1
2017-02-06 12:45
1.8K
bcialg_6__1748_39.min1.thm1
2017-02-06 12:45
3.4K
bcialg_6__1753_17.min1.thm1
2017-02-06 12:45
1.3K
bcialg_6__1767_11.min1.thm1
2017-02-06 12:45
1.4K
bcialg_6__1784_17.min1.thm1
2017-02-06 12:45
431
bcialg_6__1790_46.min1.thm1
2017-02-06 12:45
1.1K
bcialg_6__1792_30.min1.thm1
2017-02-06 12:45
2.2K
bcialg_6__1796_18.min1.thm1
2017-02-06 12:45
774
bcialg_6__1796_18.min1.thm1.tptp
2017-02-06 16:48
706
bcialg_6__1806_26.min1.thm1
2017-02-06 12:45
786
bcialg_6__1806_26.min1.thm1.tptp
2017-02-06 16:48
709
bcialg_6__1807_24.min1.thm1
2017-02-06 12:45
1.1K
bcialg_6__1829_29.min1.thm1
2017-02-06 12:45
2.1K
bcialg_6__1830_41.min1.thm1
2017-02-06 12:45
1.8K
bcialg_6__1837_37.min1.thm1
2017-02-06 12:45
356
bcialg_6__1837_37.min1.thm1.tptp
2017-02-06 16:48
278
bcialg_6__1842_18.min1.thm1
2017-02-06 12:45
2.5K
bcialg_6__1845_17.min1.thm1
2017-02-06 12:45
1.3K
bcialg_6__1855_42.min1.thm1
2017-02-06 12:45
2.5K
bcialg_6__1864_22.min1.thm1
2017-02-06 12:45
2.3K
bcialg_6__1865_35.min1.thm1
2017-02-06 12:45
356
bcialg_6__1865_35.min1.thm1.tptp
2017-02-06 16:48
278
bcialg_6__1866_37.min1.thm1
2017-02-06 12:45
1.4K
bcialg_6__1870_28.min1.thm1
2017-02-06 12:45
2.4K
bcialg_6__1872_18.min1.thm1
2017-02-06 12:45
1.9K
bcialg_6__1880_19.min1.thm1
2017-02-06 12:45
2.7K
bcialg_6__1889_24.min1.thm1
2017-02-06 12:45
2.3K
bcialg_6__1893_24.min1.thm1
2017-02-06 12:45
2.3K
bcialg_6__1894_39.min1.thm1
2017-02-06 12:45
511
bcialg_6__1896_18.min1.thm1
2017-02-06 12:45
1.3K
bcialg_6__1897_17.min1.thm1
2017-02-06 12:45
1.3K
bcialg_6__1899_28.min1.thm1
2017-02-06 12:45
3.4K
bcialg_6__1908_43.min1.thm1
2017-02-06 12:45
1.4K
bcialg_6__1912_24.min1.thm1
2017-02-06 12:45
2.3K
bcialg_6__1916_24.min1.thm1
2017-02-06 12:45
2.3K
bcialg_6__1917_39.min1.thm1
2017-02-06 12:45
513
bcialg_6__1918_18.min1.thm1
2017-02-06 12:45
1.3K
bcialg_6__1919_18.min1.thm1
2017-02-06 12:45
1.3K
bcialg_6__1923_19.min1.thm1
2017-02-06 12:45
2.8K
bcialg_6__1926_23.min1.thm1
2017-02-06 12:45
2.8K
bcialg_6__1928_30.min1.thm1
2017-02-06 12:45
1.8K
bcialg_6__1931_32.min1.thm1
2017-02-06 12:45
1.3K
bcialg_6__1938_34.min1.thm1
2017-02-06 12:45
1.9K
bcialg_6__1939_38.min1.thm1
2017-02-06 12:45
1.4K
bcialg_6__1940_41.min1.thm1
2017-02-06 12:45
3.2K
bcialg_6__1952_41.min1.thm1
2017-02-06 12:45
1.1K
bcialg_6__1953_35.min1.thm1
2017-02-06 12:45
2.2K
bcialg_6__1976_30.min1.thm1
2017-02-06 12:45
2.2K
bcialg_6__1977_25.min1.thm1
2017-02-06 12:45
1.9K
bcialg_6__1979_19.min1.thm1
2017-02-06 12:45
926
bcialg_6__1984_37.min1.thm1
2017-02-06 12:45
971
bcialg_6__1985_25.min1.thm1
2017-02-06 12:45
2.0K
bcialg_6__1987_28.min1.thm1
2017-02-06 12:45
1.9K
bcialg_6__1988_35.min1.thm1
2017-02-06 12:45
2.3K
bcialg_6__1995_29.min1.thm1
2017-02-06 12:45
1.3K
bcialg_6__1997_44.min1.thm1
2017-02-06 12:45
2.4K
bcialg_6__2023_22.min1.thm1
2017-02-06 12:45
2.3K
bcialg_6__2024_35.min1.thm1
2017-02-06 12:45
356
bcialg_6__2024_35.min1.thm1.tptp
2017-02-06 16:48
278
bcialg_6__2025_31.min1.thm1
2017-02-06 12:45
1.3K
bcialg_6__2026_45.min1.thm1
2017-02-06 12:45
2.5K
bcialg_6__2030_28.min1.thm1
2017-02-06 12:45
2.4K
bcialg_6__2032_18.min1.thm1
2017-02-06 12:45
1.9K
bcialg_6__2040_19.min1.thm1
2017-02-06 12:45
2.7K
bcialg_6__2050_24.min1.thm1
2017-02-06 12:45
2.3K
bcialg_6__2054_24.min1.thm1
2017-02-06 12:45
2.3K
bcialg_6__2055_39.min1.thm1
2017-02-06 12:45
512
bcialg_6__2069_39.min1.thm1
2017-02-06 12:45
1.4K
bcialg_6__2073_25.min1.thm1
2017-02-06 12:45
2.3K
bcialg_6__2077_25.min1.thm1
2017-02-06 12:45
2.3K
bcialg_6__2078_39.min1.thm1
2017-02-06 12:45
513
bcialg_6__2079_19.min1.thm1
2017-02-06 12:45
1.3K
bcialg_6__2080_19.min1.thm1
2017-02-06 12:45
1.3K
bcialg_6__2084_19.min1.thm1
2017-02-06 12:45
2.8K
bcialg_6__2087_23.min1.thm1
2017-02-06 12:45
2.8K
bcialg_6__2089_30.min1.thm1
2017-02-06 12:45
1.8K
bcialg_6__2095_32.min1.thm1
2017-02-06 12:45
1.8K
bcialg_6__2099_13.min1.thm1
2017-02-06 12:45
1.5K
bcialg_6__2101_16.min1.thm1
2017-02-06 12:45
2.5K
bcialg_6__2104_35.min1.thm1
2017-02-06 12:45
1.3K
bcialg_6__2105_19.min1.thm1
2017-02-06 12:45
1.1K
bcialg_6__2123_22.min1.thm1
2017-02-06 12:45
1.1K
bcialg_6__2126_12.min1.thm1
2017-02-06 12:45
1.4K
bcialg_6__2128_42.min1.thm1
2017-02-06 12:45
2.5K
bcialg_6__2129_44.min1.thm1
2017-02-06 12:45
3.2K
bcialg_6__2133_19.min1.thm1
2017-02-06 12:45
1.1K
bcialg_6__2155_16.min1.thm1
2017-02-06 12:45
559
bcialg_6__2155_16.min1.thm1.tptp
2017-02-06 16:48
504
bcialg_6__2158_36.min1.thm1
2017-02-06 12:45
2.1K
bcialg_6__2160_16.min1.thm1
2017-02-06 12:45
1.2K
bcialg_6__2163_22.min1.thm1
2017-02-06 12:45
2.2K
bcialg_6__2164_32.min1.thm1
2017-02-06 12:45
1.9K
bcialg_6__2184_16.min1.thm1
2017-02-06 12:45
479
bcialg_6__2184_16.min1.thm1.tptp
2017-02-06 16:48
393
bcialg_6__2202_26.min1.thm1
2017-02-06 12:45
1.4K
bcialg_6__2203_21.min1.thm1
2017-02-06 12:45
1.8K
bcialg_6__2205_26.min1.thm1
2017-02-06 12:45
1.4K
bcialg_6__2206_45.min1.thm1
2017-02-06 12:45
1.2K
bcialg_6__2207_50.min1.thm1
2017-02-06 12:45
1.7K
bcialg_6__2213_21.min1.thm1
2017-02-06 12:45
1.8K
bcialg_6__2220_17.min1.thm1
2017-02-06 12:45
659
bcialg_6__2249_16.min1.thm1
2017-02-06 12:45
1.2K
bcialg_6__2281_48.min1.thm1
2017-02-06 12:45
1.6K
bcialg_6__2289_19.min1.thm1
2017-02-06 12:45
1.3K
bcialg_6__2340_43.min1.thm1
2017-02-06 12:45
1.4K
bcialg_6__2368_21.min1.thm1
2017-02-06 12:45
1.5K
bcialg_6__2370_19.min1.thm1
2017-02-06 12:45
1.5K
bcialg_6__2377_21.min1.thm1
2017-02-06 12:45
2.5K
bcialg_6__2379_25.min1.thm1
2017-02-06 12:45
2.8K
bcialg_6__2397_43.min1.thm1
2017-02-06 12:45
1.2K
bcialg_6__2398_48.min1.thm1
2017-02-06 12:45
1.7K
bcialg_6__2399_15.min1.thm1
2017-02-06 12:45
1.3K
bcialg_6__2401_17.min1.thm1
2017-02-06 12:45
1.6K
bcialg_6__2402_14.min1.thm1
2017-02-06 12:45
1.3K
bcialg_6__2404_19.min1.thm1
2017-02-06 12:45
2.1K
bcialg_6__2406_16.min1.thm1
2017-02-06 12:45
1.2K
bcialg_6__2408_15.min1.thm1
2017-02-06 12:45
1.3K
bcialg_6__2410_16.min1.thm1
2017-02-06 12:45
2.1K
bcialg_6__2411_59.min1.thm1
2017-02-06 12:45
1.2K
bcialg_6__2412_37.min1.thm1
2017-02-06 12:45
2.5K
bcialg_6__2417_13.min1.thm1
2017-02-06 12:45
2.2K
bcialg_6__2418_39.min1.thm1
2017-02-06 12:45
2.2K
bcialg_6__2419_14.min1.thm1
2017-02-06 12:45
1.6K
bcialg_6__2421_19.min1.thm1
2017-02-06 12:45
2.5K
bcialg_6__2423_17.min1.thm1
2017-02-06 12:45
1.6K
bcialg_6__2441_40.min1.thm1
2017-02-06 12:45
356
bcialg_6__2441_40.min1.thm1.tptp
2017-02-06 16:48
278
bcialg_6__2442_43.min1.thm1
2017-02-06 12:45
1.2K
bcialg_6__2444_28.min1.thm1
2017-02-06 12:45
1.5K
bcialg_6__2449_18.min1.thm1
2017-02-06 12:45
2.5K
bcialg_6__2450_28.min1.thm1
2017-02-06 12:45
1.8K
bcialg_6__2457_25.min1.thm1
2017-02-06 12:45
1.2K
bcialg_6__2460_15.min1.thm1
2017-02-06 12:45
655
bcialg_6__2466_43.min1.thm1
2017-02-06 12:45
1.2K
bcialg_6__2467_48.min1.thm1
2017-02-06 12:45
1.7K
bcialg_6__2468_49.min1.thm1
2017-02-06 12:45
1.4K
bcialg_6__2471_49.min1.thm1
2017-02-06 12:45
1.4K
bcialg_6__2472_55.min1.thm1
2017-02-06 12:45
898
bcialg_6__2473_22.min1.thm1
2017-02-06 12:45
1.8K
bcialg_6__2476_34.min1.thm1
2017-02-06 12:45
1.0K
bcialg_6__2479_28.min1.thm1
2017-02-06 12:45
3.2K
bcialg_6__2492_69.min1.thm1
2017-02-06 12:45
1.7K
bcialg_6__2494_39.min1.thm1
2017-02-06 12:45
567
bcialg_6__2496_32.min1.thm1
2017-02-06 12:45
2.5K
bcialg_6__2497_27.min1.thm1
2017-02-06 12:45
1.9K
bcialg_6__2501_21.min1.thm1
2017-02-06 12:45
2.3K
bcialg_6__2506_42.min1.thm1
2017-02-06 12:45
1.2K
bcialg_6__2507_13.min1.thm1
2017-02-06 12:45
1.3K
bcialg_6__2508_32.min1.thm1
2017-02-06 12:45
2.1K
bcialg_6__2510_30.min1.thm1
2017-02-06 12:45
1.9K
bcialg_6__2525_69.min1.thm1
2017-02-06 12:45
1.7K
bcialg_6__2529_14.min1.thm1
2017-02-06 12:45
1.3K
bcialg_6__2533_59.min1.thm1
2017-02-06 12:45
2.2K
bcialg_6__2536_19.min1.thm1
2017-02-06 12:45
1.5K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80