Index of /~mptp/1147/MPTP2/ilp0/bcialg_5
Name
Last modified
Size
Description
Parent Directory
-
bcialg_5__53_27.min1.thm1
2017-02-06 12:45
1.1K
bcialg_5__54_18.min1.thm1
2017-02-06 12:45
1.3K
bcialg_5__61_27.min1.thm1
2017-02-06 12:45
1.0K
bcialg_5__62_17.min1.thm1
2017-02-06 12:45
1.0K
bcialg_5__73_12.min1.thm1
2017-02-06 12:45
2.0K
bcialg_5__74_13.min1.thm1
2017-02-06 12:45
703
bcialg_5__77_22.min1.thm1
2017-02-06 12:45
1.1K
bcialg_5__78_12.min1.thm1
2017-02-06 12:45
1.0K
bcialg_5__79_13.min1.thm1
2017-02-06 12:45
703
bcialg_5__80_17.min1.thm1
2017-02-06 12:45
2.6K
bcialg_5__96_15.min1.thm1
2017-02-06 12:45
705
bcialg_5__97_34.min1.thm1
2017-02-06 12:45
422
bcialg_5__100_30.min1.thm1
2017-02-06 12:45
863
bcialg_5__101_11.min1.thm1
2017-02-06 12:45
1.0K
bcialg_5__103_14.min1.thm1
2017-02-06 12:45
1.3K
bcialg_5__113_33.min1.thm1
2017-02-06 12:45
1.5K
bcialg_5__115_9.min1.thm1
2017-02-06 12:45
320
bcialg_5__117_28.min1.thm1
2017-02-06 12:45
837
bcialg_5__118_13.min1.thm1
2017-02-06 12:45
967
bcialg_5__119_31.min1.thm1
2017-02-06 12:45
1.9K
bcialg_5__120_61.min1.thm1
2017-02-06 12:45
2.2K
bcialg_5__121_50.min1.thm1
2017-02-06 12:45
2.0K
bcialg_5__135_38.min1.thm1
2017-02-06 12:45
2.0K
bcialg_5__145_35.min1.thm1
2017-02-06 12:45
1.5K
bcialg_5__147_10.min1.thm1
2017-02-06 12:45
328
bcialg_5__160_51.min1.thm1
2017-02-06 12:45
1.8K
bcialg_5__163_67.min1.thm1
2017-02-06 12:45
3.0K
bcialg_5__167_32.min1.thm1
2017-02-06 12:45
1.2K
bcialg_5__168_13.min1.thm1
2017-02-06 12:45
1.9K
bcialg_5__170_18.min1.thm1
2017-02-06 12:45
1.5K
bcialg_5__172_52.min1.thm1
2017-02-06 12:45
1.9K
bcialg_5__175_14.min1.thm1
2017-02-06 12:45
584
bcialg_5__182_17.min1.thm1
2017-02-06 12:45
2.0K
bcialg_5__183_14.min1.thm1
2017-02-06 12:45
516
bcialg_5__189_72.min1.thm1
2017-02-06 12:45
1.2K
bcialg_5__198_74.min1.thm1
2017-02-06 12:45
3.4K
bcialg_5__202_14.min1.thm1
2017-02-06 12:45
1.9K
bcialg_5__224_23.min1.thm1
2017-02-06 12:45
1.9K
bcialg_5__225_17.min1.thm1
2017-02-06 12:45
1.7K
bcialg_5__227_29.min1.thm1
2017-02-06 12:45
925
bcialg_5__228_10.min1.thm1
2017-02-06 12:45
1.5K
bcialg_5__229_20.min1.thm1
2017-02-06 12:45
2.1K
bcialg_5__232_31.min1.thm1
2017-02-06 12:45
958
bcialg_5__233_12.min1.thm1
2017-02-06 12:45
773
bcialg_5__233_12.min1.thm1.tptp
2017-02-06 16:48
691
bcialg_5__235_16.min1.thm1
2017-02-06 12:45
1.3K
bcialg_5__236_17.min1.thm1
2017-02-06 12:45
4.0K
bcialg_5__242_22.min1.thm1
2017-02-06 12:45
1.1K
bcialg_5__244_24.min1.thm1
2017-02-06 12:45
1.4K
bcialg_5__260_22.min1.thm1
2017-02-06 12:45
1.1K
bcialg_5__262_24.min1.thm1
2017-02-06 12:45
1.4K
bcialg_5__288_16.min1.thm1
2017-02-06 12:45
925
bcialg_5__298_15.min1.thm1
2017-02-06 12:45
207
bcialg_5__311_16.min1.thm1
2017-02-06 12:45
1.3K
bcialg_5__323_6.min1.thm1
2017-02-06 12:45
1.5K
bcialg_5__324_19.min1.thm1
2017-02-06 12:45
1.5K
bcialg_5__328_4.min1.thm1
2017-02-06 12:45
1.5K
bcialg_5__329_17.min1.thm1
2017-02-06 12:45
1.5K
bcialg_5__343_39.min1.thm1
2017-02-06 12:45
4.0K
bcialg_5__344_57.min1.thm1
2017-02-06 12:45
3.3K
bcialg_5__346_19.min1.thm1
2017-02-06 12:45
3.0K
bcialg_5__361_40.min1.thm1
2017-02-06 12:45
4.0K
bcialg_5__362_59.min1.thm1
2017-02-06 12:45
3.3K
bcialg_5__365_19.min1.thm1
2017-02-06 12:45
3.0K
bcialg_5__375_15.min1.thm1
2017-02-06 12:45
207
bcialg_5__385_16.min1.thm1
2017-02-06 12:45
3.1K
bcialg_5__388_15.min1.thm1
2017-02-06 12:45
395
bcialg_5__388_15.min1.thm1.tptp
2017-02-06 16:48
309
bcialg_5__406_6.min1.thm1
2017-02-06 12:45
1.6K
bcialg_5__407_19.min1.thm1
2017-02-06 12:45
1.7K
bcialg_5__412_4.min1.thm1
2017-02-06 12:45
1.6K
bcialg_5__413_17.min1.thm1
2017-02-06 12:45
1.7K
bcialg_5__427_39.min1.thm1
2017-02-06 12:45
4.0K
bcialg_5__428_57.min1.thm1
2017-02-06 12:45
3.4K
bcialg_5__430_19.min1.thm1
2017-02-06 12:45
3.0K
bcialg_5__432_17.min1.thm1
2017-02-06 12:45
2.8K
bcialg_5__445_40.min1.thm1
2017-02-06 12:45
4.0K
bcialg_5__446_59.min1.thm1
2017-02-06 12:45
3.4K
bcialg_5__449_19.min1.thm1
2017-02-06 12:45
3.0K
bcialg_5__451_17.min1.thm1
2017-02-06 12:45
2.8K
bcialg_5__461_12.min1.thm1
2017-02-06 12:45
2.1K
bcialg_5__462_13.min1.thm1
2017-02-06 12:45
1.7K
bcialg_5__464_61.min1.thm1
2017-02-06 12:45
3.6K
bcialg_5__467_38.min1.thm1
2017-02-06 12:45
3.1K
bcialg_5__468_30.min1.thm1
2017-02-06 12:45
2.7K
bcialg_5__469_32.min1.thm1
2017-02-06 12:45
1.9K
bcialg_5__471_38.min1.thm1
2017-02-06 12:45
1.2K
bcialg_5__472_59.min1.thm1
2017-02-06 12:45
3.9K
bcialg_5__473_30.min1.thm1
2017-02-06 12:45
2.7K
bcialg_5__484_12.min1.thm1
2017-02-06 12:45
2.1K
bcialg_5__485_13.min1.thm1
2017-02-06 12:45
1.7K
bcialg_5__487_61.min1.thm1
2017-02-06 12:45
3.6K
bcialg_5__490_38.min1.thm1
2017-02-06 12:45
3.1K
bcialg_5__491_30.min1.thm1
2017-02-06 12:45
2.7K
bcialg_5__492_38.min1.thm1
2017-02-06 12:45
1.2K
bcialg_5__493_59.min1.thm1
2017-02-06 12:45
3.9K
bcialg_5__494_30.min1.thm1
2017-02-06 12:45
2.7K
bcialg_5__505_44.min1.thm1
2017-02-06 12:45
2.3K
bcialg_5__508_17.min1.thm1
2017-02-06 12:45
2.3K
bcialg_5__518_44.min1.thm1
2017-02-06 12:45
2.3K
bcialg_5__521_17.min1.thm1
2017-02-06 12:45
2.3K
bcialg_5__530_13.min1.thm1
2017-02-06 12:45
1.5K
bcialg_5__533_13.min1.thm1
2017-02-06 12:45
1.5K
bcialg_5__539_35.min1.thm1
2017-02-06 12:45
1.4K
bcialg_5__540_33.min1.thm1
2017-02-06 12:45
1.4K
bcialg_5__547_35.min1.thm1
2017-02-06 12:45
1.4K
bcialg_5__548_33.min1.thm1
2017-02-06 12:45
1.4K
bcialg_5__555_19.min1.thm1
2017-02-06 12:45
1.5K
bcialg_5__559_33.min1.thm1
2017-02-06 12:45
1.7K
bcialg_5__560_17.min1.thm1
2017-02-06 12:45
2.2K
bcialg_5__567_36.min1.thm1
2017-02-06 12:45
1.6K
bcialg_5__569_34.min1.thm1
2017-02-06 12:45
1.6K
bcialg_5__585_12.min1.thm1
2017-02-06 12:45
954
bcialg_5__588_27.min1.thm1
2017-02-06 12:45
3.7K
bcialg_5__589_12.min1.thm1
2017-02-06 12:45
954
bcialg_5__590_22.min1.thm1
2017-02-06 12:45
1.7K
bcialg_5__594_44.min1.thm1
2017-02-06 12:45
2.3K
bcialg_5__600_45.min1.thm1
2017-02-06 12:45
848
bcialg_5__602_46.min1.thm1
2017-02-06 12:45
2.6K
bcialg_5__603_45.min1.thm1
2017-02-06 12:45
848
bcialg_5__604_51.min1.thm1
2017-02-06 12:45
2.6K
bcialg_5__607_17.min1.thm1
2017-02-06 12:45
2.3K
bcialg_5__622_40.min1.thm1
2017-02-06 12:45
2.0K
bcialg_5__626_13.min1.thm1
2017-02-06 12:45
954
bcialg_5__628_17.min1.thm1
2017-02-06 12:45
1.7K
bcialg_5__629_40.min1.thm1
2017-02-06 12:45
2.0K
bcialg_5__634_16.min1.thm1
2017-02-06 12:45
1.7K
bcialg_5__635_58.min1.thm1
2017-02-06 12:45
2.6K
bcialg_5__642_44.min1.thm1
2017-02-06 12:45
3.5K
bcialg_5__660_4.min1.thm1
2017-02-06 12:45
2.0K
bcialg_5__662_34.min1.thm1
2017-02-06 12:45
2.3K
bcialg_5__663_21.min1.thm1
2017-02-06 12:45
1.8K
bcialg_5__664_17.min1.thm1
2017-02-06 12:45
1.2K
bcialg_5__677_40.min1.thm1
2017-02-06 12:45
2.0K
bcialg_5__682_16.min1.thm1
2017-02-06 12:45
1.7K
bcialg_5__696_45.min1.thm1
2017-02-06 12:45
472
bcialg_5__696_45.min1.thm1.tptp
2017-02-06 16:48
386
bcialg_5__700_44.min1.thm1
2017-02-06 12:45
2.2K
bcialg_5__714_28.min1.thm1
2017-02-06 12:45
1.5K
bcialg_5__716_9.min1.thm1
2017-02-06 12:45
326
bcialg_5__717_28.min1.thm1
2017-02-06 12:45
1.5K
bcialg_5__719_10.min1.thm1
2017-02-06 12:45
326
bcialg_5__720_32.min1.thm1
2017-02-06 12:45
1.0K
bcialg_5__721_37.min1.thm1
2017-02-06 12:45
1.1K
bcialg_5__722_43.min1.thm1
2017-02-06 12:45
1.2K
bcialg_5__734_22.min1.thm1
2017-02-06 12:45
965
bcialg_5__735_33.min1.thm1
2017-02-06 12:45
2.5K
bcialg_5__737_10.min1.thm1
2017-02-06 12:45
326
bcialg_5__738_22.min1.thm1
2017-02-06 12:45
965
bcialg_5__739_33.min1.thm1
2017-02-06 12:45
2.5K
bcialg_5__741_9.min1.thm1
2017-02-06 12:45
326
bcialg_5__742_32.min1.thm1
2017-02-06 12:45
1.0K
bcialg_5__743_37.min1.thm1
2017-02-06 12:45
1.1K
bcialg_5__744_43.min1.thm1
2017-02-06 12:45
1.2K
bcialg_5__760_17.min1.thm1
2017-02-06 12:45
1.7K
bcialg_5__771_45.min1.thm1
2017-02-06 12:45
848
bcialg_5__773_46.min1.thm1
2017-02-06 12:45
2.6K
bcialg_5__774_45.min1.thm1
2017-02-06 12:45
848
bcialg_5__775_51.min1.thm1
2017-02-06 12:45
2.6K
bcialg_5__778_17.min1.thm1
2017-02-06 12:45
2.3K
bcialg_5__791_40.min1.thm1
2017-02-06 12:45
2.0K
bcialg_5__796_16.min1.thm1
2017-02-06 12:45
1.7K
bcialg_5__800_71.min1.thm1
2017-02-06 12:45
3.3K
bcialg_5__817_39.min1.thm1
2017-02-06 12:45
2.2K
bcialg_5__818_59.min1.thm1
2017-02-06 12:45
2.3K
bcialg_5__819_59.min1.thm1
2017-02-06 12:45
1.2K
bcialg_5__820_59.min1.thm1
2017-02-06 12:45
2.7K
bcialg_5__822_10.min1.thm1
2017-02-06 12:45
2.6K
bcialg_5__823_61.min1.thm1
2017-02-06 12:45
2.2K
bcialg_5__824_61.min1.thm1
2017-02-06 12:45
2.8K
bcialg_5__825_72.min1.thm1
2017-02-06 12:45
2.2K
bcialg_5__828_8.min1.thm1
2017-02-06 12:45
2.3K
bcialg_5__831_52.min1.thm1
2017-02-06 12:45
2.5K
bcialg_5__834_41.min1.thm1
2017-02-06 12:45
3.1K
bcialg_5__837_36.min1.thm1
2017-02-06 12:45
1.7K
bcialg_5__840_33.min1.thm1
2017-02-06 12:45
3.2K
bcialg_5__842_25.min1.thm1
2017-02-06 12:45
2.7K
bcialg_5__844_6.min1.thm1
2017-02-06 12:45
2.5K
bcialg_5__845_57.min1.thm1
2017-02-06 12:45
2.2K
bcialg_5__846_57.min1.thm1
2017-02-06 12:45
2.8K
bcialg_5__849_32.min1.thm1
2017-02-06 12:45
5.1K
bcialg_5__853_59.min1.thm1
2017-02-06 12:45
2.9K
bcialg_5__855_31.min1.thm1
2017-02-06 12:45
2.0K
bcialg_5__857_72.min1.thm1
2017-02-06 12:45
2.6K
bcialg_5__861_19.min1.thm1
2017-02-06 12:45
1.3K
bcialg_5__863_44.min1.thm1
2017-02-06 12:45
808
bcialg_5__864_17.min1.thm1
2017-02-06 12:45
883
bcialg_5__876_40.min1.thm1
2017-02-06 12:45
1.0K
bcialg_5__877_39.min1.thm1
2017-02-06 12:45
1.5K
bcialg_5__879_6.min1.thm1
2017-02-06 12:45
1.4K
bcialg_5__880_19.min1.thm1
2017-02-06 12:45
1.6K
bcialg_5__882_13.min1.thm1
2017-02-06 12:45
303
bcialg_5__895_26.min1.thm1
2017-02-06 12:45
1.1K
bcialg_5__896_71.min1.thm1
2017-02-06 12:45
1.9K
bcialg_5__898_21.min1.thm1
2017-02-06 12:45
1.6K
bcialg_5__899_34.min1.thm1
2017-02-06 12:45
1.3K
bcialg_5__900_53.min1.thm1
2017-02-06 12:45
1.9K
bcialg_5__903_19.min1.thm1
2017-02-06 12:45
1.2K
bcialg_5__910_44.min1.thm1
2017-02-06 12:45
1.4K
bcialg_5__911_37.min1.thm1
2017-02-06 12:45
1.3K
bcialg_5__913_32.min1.thm1
2017-02-06 12:45
1.9K
bcialg_5__914_19.min1.thm1
2017-02-06 12:45
1.3K
bcialg_5__915_16.min1.thm1
2017-02-06 12:45
608
bcialg_5__917_17.min1.thm1
2017-02-06 12:45
1.5K
bcialg_5__941_13.min1.thm1
2017-02-06 12:45
814
bcialg_5__942_13.min1.thm1
2017-02-06 12:45
721
bcialg_5__944_49.min1.thm1
2017-02-06 12:45
1.4K
bcialg_5__945_35.min1.thm1
2017-02-06 12:45
926
bcialg_5__946_16.min1.thm1
2017-02-06 12:45
1.2K
bcialg_5__947_55.min1.thm1
2017-02-06 12:45
1.2K
bcialg_5__948_17.min1.thm1
2017-02-06 12:45
1.2K
bcialg_5__949_19.min1.thm1
2017-02-06 12:45
443
bcialg_5__951_53.min1.thm1
2017-02-06 12:45
1.5K
bcialg_5__952_23.min1.thm1
2017-02-06 12:45
1.0K
bcialg_5__953_57.min1.thm1
2017-02-06 12:45
514
bcialg_5__953_57.min1.thm1.tptp
2017-02-06 16:48
454
bcialg_5__954_17.min1.thm1
2017-02-06 12:45
535
bcialg_5__954_17.min1.thm1.tptp
2017-02-06 16:48
471
bcialg_5__974_57.min1.thm1
2017-02-06 12:45
1.4K
bcialg_5__975_37.min1.thm1
2017-02-06 12:45
934
bcialg_5__976_16.min1.thm1
2017-02-06 12:45
751
bcialg_5__976_26.min1.thm1
2017-02-06 12:45
733
bcialg_5__977_19.min1.thm1
2017-02-06 12:45
1.3K
bcialg_5__978_21.min1.thm1
2017-02-06 12:45
457
bcialg_5__980_15.min1.thm1
2017-02-06 12:45
1.3K
bcialg_5__981_54.min1.thm1
2017-02-06 12:45
402
bcialg_5__981_54.min1.thm1.tptp
2017-02-06 16:48
342
bcialg_5__982_19.min1.thm1
2017-02-06 12:45
423
bcialg_5__982_19.min1.thm1.tptp
2017-02-06 16:48
359
bcialg_5__989_15.min1.thm1
2017-02-06 12:45
363
bcialg_5__989_15.min1.thm1.tptp
2017-02-06 16:48
298
bcialg_5__990_22.min1.thm1
2017-02-06 12:45
1.7K
bcialg_5__991_19.min1.thm1
2017-02-06 12:45
550
bcialg_5__993_44.min1.thm1
2017-02-06 12:45
808
bcialg_5__994_17.min1.thm1
2017-02-06 12:45
883
bcialg_5__1014_51.min1.thm1
2017-02-06 12:45
1.4K
bcialg_5__1015_37.min1.thm1
2017-02-06 12:45
934
bcialg_5__1016_16.min1.thm1
2017-02-06 12:45
1.6K
bcialg_5__1017_22.min1.thm1
2017-02-06 12:45
1.5K
bcialg_5__1018_19.min1.thm1
2017-02-06 12:45
1.0K
bcialg_5__1019_21.min1.thm1
2017-02-06 12:45
457
bcialg_5__1024_40.min1.thm1
2017-02-06 12:45
798
bcialg_5__1025_12.min1.thm1
2017-02-06 12:45
443
bcialg_5__1026_18.min1.thm1
2017-02-06 12:45
948
bcialg_5__1027_20.min1.thm1
2017-02-06 12:45
1.2K
bcialg_5__1028_19.min1.thm1
2017-02-06 12:45
1.2K
bcialg_5__1038_15.min1.thm1
2017-02-06 12:45
1.5K
bcialg_5__1040_34.min1.thm1
2017-02-06 12:45
1.8K
bcialg_5__1042_28.min1.thm1
2017-02-06 12:45
760
bcialg_5__1043_40.min1.thm1
2017-02-06 12:45
1.5K
bcialg_5__1044_15.min1.thm1
2017-02-06 12:45
1.2K
bcialg_5__1045_19.min1.thm1
2017-02-06 12:45
1.6K
bcialg_5__1047_17.min1.thm1
2017-02-06 12:45
964
bcialg_5__1059_6.min1.thm1
2017-02-06 12:45
1.5K
bcialg_5__1060_32.min1.thm1
2017-02-06 12:45
1.2K
bcialg_5__1061_51.min1.thm1
2017-02-06 12:45
1.9K
bcialg_5__1064_17.min1.thm1
2017-02-06 12:45
1.4K
bcialg_5__1085_36.min1.thm1
2017-02-06 12:45
1.3K
bcialg_5__1088_30.min1.thm1
2017-02-06 12:45
853
bcialg_5__1089_34.min1.thm1
2017-02-06 12:45
1.0K
bcialg_5__1090_13.min1.thm1
2017-02-06 12:45
1.0K
bcialg_5__1092_8.min1.thm1
2017-02-06 12:45
413
bcialg_5__1094_16.min1.thm1
2017-02-06 12:45
1.3K
bcialg_5__1109_21.min1.thm1
2017-02-06 12:45
1.2K
bcialg_5__1110_38.min1.thm1
2017-02-06 12:45
1.3K
bcialg_5__1113_31.min1.thm1
2017-02-06 12:45
917
bcialg_5__1114_50.min1.thm1
2017-02-06 12:45
2.0K
bcialg_5__1115_27.min1.thm1
2017-02-06 12:45
1.2K
bcialg_5__1116_19.min1.thm1
2017-02-06 12:45
1.2K
bcialg_5__1117_13.min1.thm1
2017-02-06 12:45
1.0K
bcialg_5__1119_9.min1.thm1
2017-02-06 12:45
1.2K
bcialg_5__1121_16.min1.thm1
2017-02-06 12:45
1.4K
bcialg_5__1140_31.min1.thm1
2017-02-06 12:45
1.4K
bcialg_5__1141_30.min1.thm1
2017-02-06 12:45
1.9K
bcialg_5__1142_33.min1.thm1
2017-02-06 12:45
2.0K
bcialg_5__1144_9.min1.thm1
2017-02-06 12:45
707
bcialg_5__1146_16.min1.thm1
2017-02-06 12:45
1.6K
bcialg_5__1160_13.min1.thm1
2017-02-06 12:45
772
bcialg_5__1161_16.min1.thm1
2017-02-06 12:45
319
bcialg_5__1164_24.min1.thm1
2017-02-06 12:45
775
bcialg_5__1168_18.min1.thm1
2017-02-06 12:45
1.0K
bcialg_5__1170_32.min1.thm1
2017-02-06 12:45
1.3K
bcialg_5__1171_73.min1.thm1
2017-02-06 12:45
2.4K
bcialg_5__1173_27.min1.thm1
2017-02-06 12:45
1.4K
bcialg_5__1174_32.min1.thm1
2017-02-06 12:45
1.9K
bcialg_5__1175_51.min1.thm1
2017-02-06 12:45
1.9K
bcialg_5__1178_17.min1.thm1
2017-02-06 12:45
1.8K
bcialg_5__1190_46.min1.thm1
2017-02-06 12:45
1.6K
bcialg_5__1192_6.min1.thm1
2017-02-06 12:45
1.7K
bcialg_5__1193_27.min1.thm1
2017-02-06 12:45
1.5K
bcialg_5__1194_48.min1.thm1
2017-02-06 12:45
2.1K
bcialg_5__1195_51.min1.thm1
2017-02-06 12:45
1.6K
bcialg_5__1198_17.min1.thm1
2017-02-06 12:45
1.4K
bcialg_5__1209_46.min1.thm1
2017-02-06 12:45
1.9K
bcialg_5__1211_6.min1.thm1
2017-02-06 12:45
1.7K
bcialg_5__1212_27.min1.thm1
2017-02-06 12:45
1.5K
bcialg_5__1213_48.min1.thm1
2017-02-06 12:45
2.1K
bcialg_5__1214_51.min1.thm1
2017-02-06 12:45
1.6K
bcialg_5__1217_17.min1.thm1
2017-02-06 12:45
1.4K
bcialg_5__1228_30.min1.thm1
2017-02-06 12:45
1.2K
bcialg_5__1230_6.min1.thm1
2017-02-06 12:45
1.5K
bcialg_5__1231_27.min1.thm1
2017-02-06 12:45
1.5K
bcialg_5__1232_32.min1.thm1
2017-02-06 12:45
1.9K
bcialg_5__1233_51.min1.thm1
2017-02-06 12:45
1.9K
bcialg_5__1236_17.min1.thm1
2017-02-06 12:45
1.4K
bcialg_5__1247_30.min1.thm1
2017-02-06 12:45
1.2K
bcialg_5__1249_6.min1.thm1
2017-02-06 12:45
1.5K
bcialg_5__1250_27.min1.thm1
2017-02-06 12:45
1.5K
bcialg_5__1251_32.min1.thm1
2017-02-06 12:45
1.9K
bcialg_5__1252_51.min1.thm1
2017-02-06 12:45
1.9K
bcialg_5__1255_17.min1.thm1
2017-02-06 12:45
1.4K
bcialg_5__1269_26.min1.thm1
2017-02-06 12:45
1.2K
bcialg_5__1272_21.min1.thm1
2017-02-06 12:45
1.4K
bcialg_5__1273_34.min1.thm1
2017-02-06 12:45
1.9K
bcialg_5__1278_26.min1.thm1
2017-02-06 12:45
1.2K
bcialg_5__1280_26.min1.thm1
2017-02-06 12:45
1.4K
bcialg_5__1283_34.min1.thm1
2017-02-06 12:45
1.9K
bcialg_5__1289_12.min1.thm1
2017-02-06 12:45
1.7K
bcialg_5__1290_29.min1.thm1
2017-02-06 12:45
1.5K
bcialg_5__1291_42.min1.thm1
2017-02-06 12:45
2.2K
bcialg_5__1292_53.min1.thm1
2017-02-06 12:45
1.5K
bcialg_5__1295_19.min1.thm1
2017-02-06 12:45
1.7K
bcialg_5__1302_52.min1.thm1
2017-02-06 12:45
2.1K
bcialg_5__1303_24.min1.thm1
2017-02-06 12:45
1.1K
bcialg_5__1304_14.min1.thm1
2017-02-06 12:45
1.0K
bcialg_5__1305_15.min1.thm1
2017-02-06 12:45
822
bcialg_5__1307_52.min1.thm1
2017-02-06 12:45
1.7K
bcialg_5__1309_19.min1.thm1
2017-02-06 12:45
1.1K
bcialg_5__1310_49.min1.thm1
2017-02-06 12:45
1.3K
bcialg_5__1311_15.min1.thm1
2017-02-06 12:45
1.5K
bcialg_5__1317_19.min1.thm1
2017-02-06 12:45
1.8K
bcialg_5__1319_17.min1.thm1
2017-02-06 12:45
1.4K
bcialg_5__1332_34.min1.thm1
2017-02-06 12:45
1.4K
bcialg_5__1334_8.min1.thm1
2017-02-06 12:45
2.4K
bcialg_5__1335_29.min1.thm1
2017-02-06 12:45
1.4K
bcialg_5__1336_34.min1.thm1
2017-02-06 12:45
2.0K
bcialg_5__1337_53.min1.thm1
2017-02-06 12:45
1.9K
bcialg_5__1340_19.min1.thm1
2017-02-06 12:45
1.7K
bcialg_5__1347_44.min1.thm1
2017-02-06 12:45
1.8K
bcialg_5__1348_45.min1.thm1
2017-02-06 12:45
1.4K
bcialg_5__1349_55.min1.thm1
2017-02-06 12:45
2.4K
bcialg_5__1351_19.min1.thm1
2017-02-06 12:45
1.3K
bcialg_5__1352_16.min1.thm1
2017-02-06 12:45
796
bcialg_5__1354_17.min1.thm1
2017-02-06 12:45
1.5K
bcialg_5__1359_14.min1.thm1
2017-02-06 12:45
906
bcialg_5__1361_14.min1.thm1
2017-02-06 12:45
907
bcialg_5__1372_44.min1.thm1
2017-02-06 12:45
1.1K
bcialg_5__1373_19.min1.thm1
2017-02-06 12:45
1.9K
bcialg_5__1378_4.min1.thm1
2017-02-06 12:45
1.8K
bcialg_5__1379_42.min1.thm1
2017-02-06 12:45
1.7K
bcialg_5__1380_17.min1.thm1
2017-02-06 12:45
876
bcialg_5__1380_17.min1.thm1.tptp
2017-02-06 16:48
808
bcialg_5__1396_26.min1.thm1
2017-02-06 12:45
1.2K
bcialg_5__1397_16.min1.thm1
2017-02-06 12:45
1.1K
bcialg_5__1398_17.min1.thm1
2017-02-06 12:45
765
bcialg_5__1400_54.min1.thm1
2017-02-06 12:45
1.8K
bcialg_5__1402_21.min1.thm1
2017-02-06 12:45
1.2K
bcialg_5__1403_50.min1.thm1
2017-02-06 12:45
1.4K
bcialg_5__1404_17.min1.thm1
2017-02-06 12:45
1.6K
bcialg_5__1405_54.min1.thm1
2017-02-06 12:45
2.2K
bcialg_5__1411_21.min1.thm1
2017-02-06 12:45
1.9K
bcialg_5__1413_16.min1.thm1
2017-02-06 12:45
580
bcialg_5__1416_51.min1.thm1
2017-02-06 12:45
1.3K
bcialg_5__1417_17.min1.thm1
2017-02-06 12:45
1.1K
bcialg_5__1435_26.min1.thm1
2017-02-06 12:45
1.2K
bcialg_5__1436_16.min1.thm1
2017-02-06 12:45
1.1K
bcialg_5__1437_17.min1.thm1
2017-02-06 12:45
765
bcialg_5__1440_43.min1.thm1
2017-02-06 12:45
2.6K
bcialg_5__1441_34.min1.thm1
2017-02-06 12:45
2.4K
bcialg_5__1443_35.min1.thm1
2017-02-06 12:45
2.5K
bcialg_5__1445_38.min1.thm1
2017-02-06 12:45
2.4K
bcialg_5__1446_38.min1.thm1
2017-02-06 12:45
2.2K
bcialg_5__1447_58.min1.thm1
2017-02-06 12:45
2.8K
bcialg_5__1450_16.min1.thm1
2017-02-06 12:45
644
bcialg_5__1458_24.min1.thm1
2017-02-06 12:45
1.2K
bcialg_5__1460_24.min1.thm1
2017-02-06 12:45
1.5K
bcialg_5__1467_63.min1.thm1
2017-02-06 12:45
2.9K
bcialg_5__1468_24.min1.thm1
2017-02-06 12:45
1.2K
bcialg_5__1470_24.min1.thm1
2017-02-06 12:45
1.5K
bcialg_5__1477_63.min1.thm1
2017-02-06 12:45
2.9K
bcialg_5__1490_19.min1.thm1
2017-02-06 12:45
4.0K
bcialg_5__1503_44.min1.thm1
2017-02-06 12:45
1.5K
bcialg_5__1507_71.min1.thm1
2017-02-06 12:45
2.0K
bcialg_5__1510_47.min1.thm1
2017-02-06 12:45
2.3K
bcialg_5__1512_35.min1.thm1
2017-02-06 12:45
1.6K
bcialg_5__1513_31.min1.thm1
2017-02-06 12:45
1.1K
bcialg_5__1516_62.min1.thm1
2017-02-06 12:45
646
bcialg_5__1517_17.min1.thm1
2017-02-06 12:45
1.1K
bcialg_5__1534_67.min1.thm1
2017-02-06 12:45
2.1K
bcialg_5__1536_49.min1.thm1
2017-02-06 12:45
1.5K
bcialg_5__1540_38.min1.thm1
2017-02-06 12:45
1.5K
bcialg_5__1542_29.min1.thm1
2017-02-06 12:45
1.6K
bcialg_5__1543_31.min1.thm1
2017-02-06 12:45
1.0K
bcialg_5__1545_26.min1.thm1
2017-02-06 12:45
1.4K
bcialg_5__1552_65.min1.thm1
2017-02-06 12:45
3.0K
bcialg_5__1559_30.min1.thm1
2017-02-06 12:45
1.5K
bcialg_5__1560_60.min1.thm1
2017-02-06 12:45
2.4K
bcialg_5__1562_11.min1.thm1
2017-02-06 12:45
2.8K
bcialg_5__1564_16.min1.thm1
2017-02-06 12:45
1.7K
bcialg_5__1573_44.min1.thm1
2017-02-06 12:45
1.6K
bcialg_5__1578_8.min1.thm1
2017-02-06 12:45
2.3K
bcialg_5__1580_6.min1.thm1
2017-02-06 12:45
3.3K
bcialg_5__1581_59.min1.thm1
2017-02-06 12:45
3.0K
bcialg_5__1583_37.min1.thm1
2017-02-06 12:45
1.2K
bcialg_5__1585_20.min1.thm1
2017-02-06 12:45
1.6K
bcialg_5__1586_32.min1.thm1
2017-02-06 12:45
1.5K
bcialg_5__1587_29.min1.thm1
2017-02-06 12:45
1.5K
bcialg_5__1588_24.min1.thm1
2017-02-06 12:45
1.4K
bcialg_5__1589_19.min1.thm1
2017-02-06 12:45
1.6K
bcialg_5__1591_17.min1.thm1
2017-02-06 12:45
1.1K
bcialg_5__1605_44.min1.thm1
2017-02-06 12:45
2.3K
bcialg_5__1606_17.min1.thm1
2017-02-06 12:45
2.9K
bcialg_5__1607_70.min1.thm1
2017-02-06 12:45
3.9K
bcialg_5__1612_48.min1.thm1
2017-02-06 12:45
2.3K
bcialg_5__1616_44.min1.thm1
2017-02-06 12:45
2.2K
bcialg_5__1622_45.min1.thm1
2017-02-06 12:45
808
bcialg_5__1624_46.min1.thm1
2017-02-06 12:45
2.8K
bcialg_5__1625_45.min1.thm1
2017-02-06 12:45
808
bcialg_5__1626_51.min1.thm1
2017-02-06 12:45
2.8K
bcialg_5__1629_17.min1.thm1
2017-02-06 12:45
2.4K
bcialg_5__1637_47.min1.thm1
2017-02-06 12:45
1.3K
bcialg_5__1644_24.min1.thm1
2017-02-06 12:45
3.2K
bcialg_5__1646_44.min1.thm1
2017-02-06 12:45
4.2K
bcialg_5__1647_16.min1.thm1
2017-02-06 12:45
2.1K
bcialg_5__1649_51.min1.thm1
2017-02-06 12:45
5.1K
bcialg_5__1654_32.min1.thm1
2017-02-06 12:45
4.0K
bcialg_5__1660_17.min1.thm1
2017-02-06 12:45
2.5K
bcialg_5__1674_44.min1.thm1
2017-02-06 12:45
2.3K
bcialg_5__1675_17.min1.thm1
2017-02-06 12:45
2.9K
bcialg_5__1676_70.min1.thm1
2017-02-06 12:45
4.3K
bcialg_5__1681_48.min1.thm1
2017-02-06 12:45
2.3K
bcialg_5__1685_44.min1.thm1
2017-02-06 12:45
2.2K
bcialg_5__1691_45.min1.thm1
2017-02-06 12:45
808
bcialg_5__1693_46.min1.thm1
2017-02-06 12:45
2.8K
bcialg_5__1694_45.min1.thm1
2017-02-06 12:45
808
bcialg_5__1695_51.min1.thm1
2017-02-06 12:45
2.8K
bcialg_5__1698_17.min1.thm1
2017-02-06 12:45
2.4K
bcialg_5__1706_47.min1.thm1
2017-02-06 12:45
1.3K
bcialg_5__1713_24.min1.thm1
2017-02-06 12:45
3.2K
bcialg_5__1715_44.min1.thm1
2017-02-06 12:45
4.2K
bcialg_5__1716_16.min1.thm1
2017-02-06 12:45
2.6K
bcialg_5__1718_51.min1.thm1
2017-02-06 12:45
5.1K
bcialg_5__1723_32.min1.thm1
2017-02-06 12:45
4.0K
bcialg_5__1728_17.min1.thm1
2017-02-06 12:45
2.5K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80