Index of /~mptp/1147/MPTP2/ilp0/projred2
Name
Last modified
Size
Description
Parent Directory
-
projred2__50_31.min1.thm1
2017-02-06 12:44
966
projred2__51_34.min1.thm1
2017-02-06 12:44
736
projred2__53_19.min1.thm1
2017-02-06 12:44
566
projred2__72_32.min1.thm1
2017-02-06 12:44
1.1K
projred2__74_18.min1.thm1
2017-02-06 12:44
1.3K
projred2__81_58.min1.thm1
2017-02-06 12:44
1.2K
projred2__83_17.min1.thm1
2017-02-06 12:44
1.5K
projred2__92_42.min1.thm1
2017-02-06 12:44
1.3K
projred2__93_17.min1.thm1
2017-02-06 12:44
1.6K
projred2__101_22.min1.thm1
2017-02-06 12:44
944
projred2__104_13.min1.thm1
2017-02-06 12:44
1.0K
projred2__107_17.min1.thm1
2017-02-06 12:44
649
projred2__119_42.min1.thm1
2017-02-06 12:44
1.8K
projred2__121_23.min1.thm1
2017-02-06 12:44
1.3K
projred2__126_29.min1.thm1
2017-02-06 12:44
1.5K
projred2__129_17.min1.thm1
2017-02-06 12:44
820
projred2__141_58.min1.thm1
2017-02-06 12:44
1.0K
projred2__142_27.min1.thm1
2017-02-06 12:44
1.5K
projred2__145_28.min1.thm1
2017-02-06 12:44
1.8K
projred2__146_20.min1.thm1
2017-02-06 12:44
1.2K
projred2__147_36.min1.thm1
2017-02-06 12:44
1.4K
projred2__148_36.min1.thm1
2017-02-06 12:44
2.1K
projred2__153_46.min1.thm1
2017-02-06 12:44
1.5K
projred2__154_45.min1.thm1
2017-02-06 12:44
699
projred2__155_14.min1.thm1
2017-02-06 12:44
1.6K
projred2__156_23.min1.thm1
2017-02-06 12:44
1.3K
projred2__158_17.min1.thm1
2017-02-06 12:44
742
projred2__162_62.min1.thm1
2017-02-06 12:44
1.3K
projred2__176_21.min1.thm1
2017-02-06 12:44
1.4K
projred2__179_10.min1.thm1
2017-02-06 12:44
1.5K
projred2__180_21.min1.thm1
2017-02-06 12:44
1.4K
projred2__183_10.min1.thm1
2017-02-06 12:44
1.5K
projred2__184_49.min1.thm1
2017-02-06 12:44
1.9K
projred2__185_10.min1.thm1
2017-02-06 12:44
846
projred2__186_20.min1.thm1
2017-02-06 12:44
2.4K
projred2__198_23.min1.thm1
2017-02-06 12:44
1.3K
projred2__199_23.min1.thm1
2017-02-06 12:44
1.4K
projred2__207_25.min1.thm1
2017-02-06 12:44
1.5K
projred2__208_40.min1.thm1
2017-02-06 12:44
1.7K
projred2__209_16.min1.thm1
2017-02-06 12:44
2.0K
projred2__211_19.min1.thm1
2017-02-06 12:44
1.3K
projred2__220_25.min1.thm1
2017-02-06 12:44
1.4K
projred2__221_40.min1.thm1
2017-02-06 12:44
1.7K
projred2__222_16.min1.thm1
2017-02-06 12:44
2.0K
projred2__226_54.min1.thm1
2017-02-06 12:44
2.2K
projred2__226_54.min1.thm1.tptp
2017-02-06 16:47
2.2K
projred2__228_23.min1.thm1
2017-02-06 12:44
1.3K
projred2__229_21.min1.thm1
2017-02-06 12:44
1.4K
projred2__230_15.min1.thm1
2017-02-06 12:44
1.4K
projred2__240_25.min1.thm1
2017-02-06 12:44
1.5K
projred2__241_25.min1.thm1
2017-02-06 12:44
1.4K
projred2__242_17.min1.thm1
2017-02-06 12:44
1.9K
projred2__255_69.min1.thm1
2017-02-06 12:44
1.6K
projred2__256_19.min1.thm1
2017-02-06 12:44
1.4K
projred2__258_21.min1.thm1
2017-02-06 12:44
1.2K
projred2__259_17.min1.thm1
2017-02-06 12:44
2.1K
projred2__266_17.min1.thm1
2017-02-06 12:44
835
projred2__267_35.min1.thm1
2017-02-06 12:44
1.1K
projred2__268_17.min1.thm1
2017-02-06 12:44
1.8K
projred2__280_22.min1.thm1
2017-02-06 12:44
1.4K
projred2__282_23.min1.thm1
2017-02-06 12:44
1.4K
projred2__289_14.min1.thm1
2017-02-06 12:44
1.0K
projred2__291_26.min1.thm1
2017-02-06 12:44
1.0K
projred2__294_24.min1.thm1
2017-02-06 12:44
1.0K
projred2__296_17.min1.thm1
2017-02-06 12:44
1.5K
projred2__299_16.min1.thm1
2017-02-06 12:44
768
projred2__304_29.min1.thm1
2017-02-06 12:44
1.6K
projred2__305_26.min1.thm1
2017-02-06 12:44
1.0K
projred2__305_26.min1.thm1.tptp
2017-02-06 16:47
930
projred2__307_18.min1.thm1
2017-02-06 12:44
2.2K
projred2__320_40.min1.thm1
2017-02-06 12:44
1.3K
projred2__362_23.min1.thm1
2017-02-06 12:44
1.4K
projred2__364_25.min1.thm1
2017-02-06 12:44
1.4K
projred2__366_23.min1.thm1
2017-02-06 12:44
2.4K
projred2__370_18.min1.thm1
2017-02-06 12:44
1.8K
projred2__373_10.min1.thm1
2017-02-06 12:44
1.6K
projred2__374_14.min1.thm1
2017-02-06 12:44
1.8K
projred2__376_14.min1.thm1
2017-02-06 12:44
1.6K
projred2__383_25.min1.thm1
2017-02-06 12:44
1.0K
projred2__385_25.min1.thm1
2017-02-06 12:44
1.0K
projred2__388_14.min1.thm1
2017-02-06 12:44
1.0K
projred2__391_15.min1.thm1
2017-02-06 12:44
1.0K
projred2__393_39.min1.thm1
2017-02-06 12:44
2.2K
projred2__394_42.min1.thm1
2017-02-06 12:44
2.1K
projred2__395_37.min1.thm1
2017-02-06 12:44
2.2K
projred2__396_37.min1.thm1
2017-02-06 12:44
2.2K
projred2__399_56.min1.thm1
2017-02-06 12:44
2.1K
projred2__403_15.min1.thm1
2017-02-06 12:44
1.3K
projred2__405_28.min1.thm1
2017-02-06 12:44
1.0K
projred2__406_16.min1.thm1
2017-02-06 12:44
1.3K
projred2__409_20.min1.thm1
2017-02-06 12:44
1.5K
projred2__410_15.min1.thm1
2017-02-06 12:44
1.3K
projred2__413_19.min1.thm1
2017-02-06 12:44
1.5K
projred2__417_23.min1.thm1
2017-02-06 12:44
2.4K
projred2__418_18.min1.thm1
2017-02-06 12:44
962
projred2__425_20.min1.thm1
2017-02-06 12:44
1.5K
projred2__426_19.min1.thm1
2017-02-06 12:44
1.5K
projred2__429_23.min1.thm1
2017-02-06 12:44
2.4K
projred2__430_18.min1.thm1
2017-02-06 12:44
960
projred2__432_19.min1.thm1
2017-02-06 12:44
1.4K
projred2__432_19.min1.thm1.tptp
2017-02-06 16:47
1.4K
projred2__437_29.min1.thm1
2017-02-06 12:44
1.6K
projred2__438_32.min1.thm1
2017-02-06 12:44
1.2K
projred2__438_32.min1.thm1.tptp
2017-02-06 16:47
1.1K
projred2__440_18.min1.thm1
2017-02-06 12:44
2.4K
projred2__441_17.min1.thm1
2017-02-06 12:44
3.3K
projred2__470_14.min1.thm1
2017-02-06 12:44
1.1K
projred2__471_23.min1.thm1
2017-02-06 12:44
1.5K
projred2__472_15.min1.thm1
2017-02-06 12:44
1.3K
projred2__473_17.min1.thm1
2017-02-06 12:44
1.3K
projred2__474_14.min1.thm1
2017-02-06 12:44
1.3K
projred2__475_15.min1.thm1
2017-02-06 12:44
1.3K
projred2__476_27.min1.thm1
2017-02-06 12:44
1.4K
projred2__479_14.min1.thm1
2017-02-06 12:44
1.3K
projred2__480_23.min1.thm1
2017-02-06 12:44
1.4K
projred2__481_16.min1.thm1
2017-02-06 12:44
1.3K
projred2__482_15.min1.thm1
2017-02-06 12:44
1.3K
projred2__483_15.min1.thm1
2017-02-06 12:44
1.3K
projred2__484_14.min1.thm1
2017-02-06 12:44
1.3K
projred2__485_14.min1.thm1
2017-02-06 12:44
1.3K
projred2__487_12.min1.thm1
2017-02-06 12:44
1.6K
projred2__488_14.min1.thm1
2017-02-06 12:44
1.3K
projred2__489_27.min1.thm1
2017-02-06 12:44
1.4K
projred2__490_16.min1.thm1
2017-02-06 12:44
1.3K
projred2__491_14.min1.thm1
2017-02-06 12:44
1.1K
projred2__492_15.min1.thm1
2017-02-06 12:44
1.3K
projred2__493_14.min1.thm1
2017-02-06 12:44
1.3K
projred2__495_12.min1.thm1
2017-02-06 12:44
1.8K
projred2__496_14.min1.thm1
2017-02-06 12:44
1.3K
projred2__497_16.min1.thm1
2017-02-06 12:44
1.1K
projred2__498_15.min1.thm1
2017-02-06 12:44
1.3K
projred2__499_14.min1.thm1
2017-02-06 12:44
1.1K
projred2__501_12.min1.thm1
2017-02-06 12:44
1.6K
projred2__503_13.min1.thm1
2017-02-06 12:44
1.8K
projred2__505_15.min1.thm1
2017-02-06 12:44
1.8K
projred2__509_20.min1.thm1
2017-02-06 12:44
1.7K
projred2__512_14.min1.thm1
2017-02-06 12:44
1.3K
projred2__516_16.min1.thm1
2017-02-06 12:44
1.8K
projred2__519_15.min1.thm1
2017-02-06 12:44
1.8K
projred2__521_14.min1.thm1
2017-02-06 12:44
1.6K
projred2__525_18.min1.thm1
2017-02-06 12:44
1.7K
projred2__529_25.min1.thm1
2017-02-06 12:44
1.4K
projred2__531_23.min1.thm1
2017-02-06 12:44
2.4K
projred2__532_23.min1.thm1
2017-02-06 12:44
1.8K
projred2__536_18.min1.thm1
2017-02-06 12:44
1.8K
projred2__537_15.min1.thm1
2017-02-06 12:44
1.5K
projred2__540_25.min1.thm1
2017-02-06 12:44
1.2K
projred2__544_41.min1.thm1
2017-02-06 12:44
2.2K
projred2__545_38.min1.thm1
2017-02-06 12:44
2.2K
projred2__546_38.min1.thm1
2017-02-06 12:44
748
projred2__549_20.min1.thm1
2017-02-06 12:44
1.5K
projred2__550_19.min1.thm1
2017-02-06 12:44
1.5K
projred2__551_18.min1.thm1
2017-02-06 12:44
1.5K
projred2__553_25.min1.thm1
2017-02-06 12:44
1.0K
projred2__556_15.min1.thm1
2017-02-06 12:44
1.0K
projred2__557_22.min1.thm1
2017-02-06 12:44
1.5K
projred2__558_22.min1.thm1
2017-02-06 12:44
1.5K
projred2__561_15.min1.thm1
2017-02-06 12:44
1.0K
projred2__564_15.min1.thm1
2017-02-06 12:44
1.0K
projred2__565_22.min1.thm1
2017-02-06 12:44
1.5K
projred2__566_21.min1.thm1
2017-02-06 12:44
1.5K
projred2__570_14.min1.thm1
2017-02-06 12:44
1.3K
projred2__571_22.min1.thm1
2017-02-06 12:44
1.4K
projred2__575_28.min1.thm1
2017-02-06 12:44
1.0K
projred2__580_21.min1.thm1
2017-02-06 12:44
2.4K
projred2__581_16.min1.thm1
2017-02-06 12:44
962
projred2__586_29.min1.thm1
2017-02-06 12:44
1.6K
projred2__587_32.min1.thm1
2017-02-06 12:44
1.2K
projred2__587_32.min1.thm1.tptp
2017-02-06 16:47
1.1K
projred2__589_18.min1.thm1
2017-02-06 12:44
2.4K
projred2__590_17.min1.thm1
2017-02-06 12:44
3.3K
projred2__617_14.min1.thm1
2017-02-06 12:44
1.1K
projred2__618_14.min1.thm1
2017-02-06 12:44
1.1K
projred2__619_14.min1.thm1
2017-02-06 12:44
1.1K
projred2__621_13.min1.thm1
2017-02-06 12:44
1.6K
projred2__622_15.min1.thm1
2017-02-06 12:44
1.3K
projred2__623_16.min1.thm1
2017-02-06 12:44
1.1K
projred2__624_17.min1.thm1
2017-02-06 12:44
1.3K
projred2__625_17.min1.thm1
2017-02-06 12:44
1.3K
projred2__626_15.min1.thm1
2017-02-06 12:44
1.3K
projred2__627_15.min1.thm1
2017-02-06 12:44
1.3K
projred2__628_15.min1.thm1
2017-02-06 12:44
1.3K
projred2__629_14.min1.thm1
2017-02-06 12:44
1.3K
projred2__630_14.min1.thm1
2017-02-06 12:44
1.3K
projred2__634_16.min1.thm1
2017-02-06 12:44
1.8K
projred2__637_27.min1.thm1
2017-02-06 12:44
1.4K
projred2__638_26.min1.thm1
2017-02-06 12:44
2.0K
projred2__639_14.min1.thm1
2017-02-06 12:44
1.1K
projred2__640_14.min1.thm1
2017-02-06 12:44
1.1K
projred2__642_14.min1.thm1
2017-02-06 12:44
1.6K
projred2__647_15.min1.thm1
2017-02-06 12:44
1.8K
projred2__648_22.min1.thm1
2017-02-06 12:44
1.4K
projred2__649_18.min1.thm1
2017-02-06 12:44
1.7K
projred2__652_15.min1.thm1
2017-02-06 12:44
1.3K
projred2__654_12.min1.thm1
2017-02-06 12:44
1.8K
projred2__658_18.min1.thm1
2017-02-06 12:44
1.6K
projred2__661_14.min1.thm1
2017-02-06 12:44
1.3K
projred2__665_16.min1.thm1
2017-02-06 12:44
1.8K
projred2__668_15.min1.thm1
2017-02-06 12:44
1.3K
projred2__669_11.min1.thm1
2017-02-06 12:44
1.8K
projred2__671_13.min1.thm1
2017-02-06 12:44
1.6K
projred2__672_15.min1.thm1
2017-02-06 12:44
1.3K
projred2__673_12.min1.thm1
2017-02-06 12:44
1.6K
projred2__677_17.min1.thm1
2017-02-06 12:44
1.8K
projred2__680_17.min1.thm1
2017-02-06 12:44
2.2K
projred2__707_14.min1.thm1
2017-02-06 12:44
1.3K
projred2__708_23.min1.thm1
2017-02-06 12:44
1.5K
projred2__709_14.min1.thm1
2017-02-06 12:44
1.1K
projred2__710_17.min1.thm1
2017-02-06 12:44
1.3K
projred2__711_27.min1.thm1
2017-02-06 12:44
1.4K
projred2__712_16.min1.thm1
2017-02-06 12:44
1.1K
projred2__713_15.min1.thm1
2017-02-06 12:44
1.3K
projred2__714_15.min1.thm1
2017-02-06 12:44
1.3K
projred2__715_14.min1.thm1
2017-02-06 12:44
1.1K
projred2__716_14.min1.thm1
2017-02-06 12:44
1.3K
projred2__718_12.min1.thm1
2017-02-06 12:44
1.6K
projred2__719_14.min1.thm1
2017-02-06 12:44
1.3K
projred2__720_14.min1.thm1
2017-02-06 12:44
1.3K
projred2__721_16.min1.thm1
2017-02-06 12:44
1.1K
projred2__722_16.min1.thm1
2017-02-06 12:44
1.3K
projred2__723_15.min1.thm1
2017-02-06 12:44
1.3K
projred2__724_15.min1.thm1
2017-02-06 12:44
1.3K
projred2__725_14.min1.thm1
2017-02-06 12:44
1.3K
projred2__726_14.min1.thm1
2017-02-06 12:44
1.3K
projred2__730_18.min1.thm1
2017-02-06 12:44
1.8K
projred2__733_27.min1.thm1
2017-02-06 12:44
1.4K
projred2__734_15.min1.thm1
2017-02-06 12:44
1.3K
projred2__736_13.min1.thm1
2017-02-06 12:44
1.6K
projred2__741_15.min1.thm1
2017-02-06 12:44
1.8K
projred2__742_16.min1.thm1
2017-02-06 12:44
1.3K
projred2__743_25.min1.thm1
2017-02-06 12:44
1.4K
projred2__746_14.min1.thm1
2017-02-06 12:44
1.1K
projred2__747_14.min1.thm1
2017-02-06 12:44
1.3K
projred2__749_12.min1.thm1
2017-02-06 12:44
1.6K
projred2__750_16.min1.thm1
2017-02-06 12:44
1.3K
projred2__751_15.min1.thm1
2017-02-06 12:44
1.8K
projred2__753_15.min1.thm1
2017-02-06 12:44
1.8K
projred2__757_16.min1.thm1
2017-02-06 12:44
1.8K
projred2__760_15.min1.thm1
2017-02-06 12:44
1.8K
projred2__762_14.min1.thm1
2017-02-06 12:44
1.8K
projred2__763_14.min1.thm1
2017-02-06 12:44
1.1K
projred2__767_18.min1.thm1
2017-02-06 12:44
1.7K
projred2__770_12.min1.thm1
2017-02-06 12:44
1.8K
projred2__774_20.min1.thm1
2017-02-06 12:44
1.7K
projred2__777_17.min1.thm1
2017-02-06 12:44
562
projred2__804_14.min1.thm1
2017-02-06 12:44
1.1K
projred2__805_14.min1.thm1
2017-02-06 12:44
1.1K
projred2__806_14.min1.thm1
2017-02-06 12:44
1.1K
projred2__808_13.min1.thm1
2017-02-06 12:44
1.6K
projred2__809_17.min1.thm1
2017-02-06 12:44
1.3K
projred2__810_15.min1.thm1
2017-02-06 12:44
1.3K
projred2__811_16.min1.thm1
2017-02-06 12:44
1.1K
projred2__812_14.min1.thm1
2017-02-06 12:44
1.3K
projred2__813_14.min1.thm1
2017-02-06 12:44
1.3K
projred2__814_15.min1.thm1
2017-02-06 12:44
1.3K
projred2__815_15.min1.thm1
2017-02-06 12:44
1.3K
projred2__817_13.min1.thm1
2017-02-06 12:44
1.6K
projred2__818_15.min1.thm1
2017-02-06 12:44
1.3K
projred2__819_15.min1.thm1
2017-02-06 12:44
1.3K
projred2__820_15.min1.thm1
2017-02-06 12:44
1.3K
projred2__821_17.min1.thm1
2017-02-06 12:44
1.3K
projred2__822_15.min1.thm1
2017-02-06 12:44
1.3K
projred2__823_14.min1.thm1
2017-02-06 12:44
1.1K
projred2__825_12.min1.thm1
2017-02-06 12:44
1.6K
projred2__830_15.min1.thm1
2017-02-06 12:44
1.8K
projred2__831_22.min1.thm1
2017-02-06 12:44
1.4K
projred2__834_15.min1.thm1
2017-02-06 12:44
1.3K
projred2__835_14.min1.thm1
2017-02-06 12:44
1.3K
projred2__839_17.min1.thm1
2017-02-06 12:44
1.6K
projred2__842_14.min1.thm1
2017-02-06 12:44
1.1K
projred2__844_13.min1.thm1
2017-02-06 12:44
1.8K
projred2__849_15.min1.thm1
2017-02-06 12:44
1.7K
projred2__850_14.min1.thm1
2017-02-06 12:44
1.3K
projred2__851_23.min1.thm1
2017-02-06 12:44
1.8K
projred2__852_18.min1.thm1
2017-02-06 12:44
1.7K
projred2__855_9.min1.thm1
2017-02-06 12:44
1.8K
projred2__857_13.min1.thm1
2017-02-06 12:44
1.8K
projred2__858_13.min1.thm1
2017-02-06 12:44
1.6K
projred2__862_17.min1.thm1
2017-02-06 12:44
1.6K
projred2__865_17.min1.thm1
2017-02-06 12:44
2.7K
projred2__893_14.min1.thm1
2017-02-06 12:44
1.1K
projred2__894_23.min1.thm1
2017-02-06 12:44
1.8K
projred2__895_14.min1.thm1
2017-02-06 12:44
1.3K
projred2__896_14.min1.thm1
2017-02-06 12:44
1.3K
projred2__897_14.min1.thm1
2017-02-06 12:44
1.3K
projred2__899_12.min1.thm1
2017-02-06 12:44
1.6K
projred2__900_15.min1.thm1
2017-02-06 12:44
1.3K
projred2__905_15.min1.thm1
2017-02-06 12:44
1.4K
projred2__906_23.min1.thm1
2017-02-06 12:44
1.9K
projred2__907_18.min1.thm1
2017-02-06 12:44
1.7K
projred2__908_15.min1.thm1
2017-02-06 12:44
1.5K
projred2__911_17.min1.thm1
2017-02-06 12:44
1.3K
projred2__912_13.min1.thm1
2017-02-06 12:44
1.4K
projred2__913_16.min1.thm1
2017-02-06 12:44
1.3K
projred2__914_17.min1.thm1
2017-02-06 12:44
1.3K
projred2__915_16.min1.thm1
2017-02-06 12:44
1.1K
projred2__916_24.min1.thm1
2017-02-06 12:44
2.0K
projred2__917_14.min1.thm1
2017-02-06 12:44
1.1K
projred2__918_15.min1.thm1
2017-02-06 12:44
1.3K
projred2__919_14.min1.thm1
2017-02-06 12:44
1.3K
projred2__920_15.min1.thm1
2017-02-06 12:44
1.3K
projred2__921_11.min1.thm1
2017-02-06 12:44
1.3K
projred2__923_12.min1.thm1
2017-02-06 12:44
1.6K
projred2__925_13.min1.thm1
2017-02-06 12:44
1.8K
projred2__930_15.min1.thm1
2017-02-06 12:44
1.7K
projred2__931_16.min1.thm1
2017-02-06 12:44
1.3K
projred2__932_23.min1.thm1
2017-02-06 12:44
1.4K
projred2__935_14.min1.thm1
2017-02-06 12:44
1.1K
projred2__936_15.min1.thm1
2017-02-06 12:44
1.3K
projred2__937_14.min1.thm1
2017-02-06 12:44
1.3K
projred2__938_15.min1.thm1
2017-02-06 12:44
1.3K
projred2__942_18.min1.thm1
2017-02-06 12:44
1.8K
projred2__943_15.min1.thm1
2017-02-06 12:44
1.5K
projred2__946_25.min1.thm1
2017-02-06 12:44
1.4K
projred2__947_28.min1.thm1
2017-02-06 12:44
2.0K
projred2__948_16.min1.thm1
2017-02-06 12:44
1.3K
projred2__949_27.min1.thm1
2017-02-06 12:44
1.4K
projred2__950_14.min1.thm1
2017-02-06 12:44
1.3K
projred2__951_14.min1.thm1
2017-02-06 12:44
1.3K
projred2__955_16.min1.thm1
2017-02-06 12:44
1.8K
projred2__958_15.min1.thm1
2017-02-06 12:44
1.8K
projred2__960_14.min1.thm1
2017-02-06 12:44
1.6K
projred2__964_16.min1.thm1
2017-02-06 12:44
1.5K
projred2__967_10.min1.thm1
2017-02-06 12:44
1.6K
projred2__968_16.min1.thm1
2017-02-06 12:44
1.6K
projred2__969_17.min1.thm1
2017-02-06 12:44
1.9K
projred2__990_14.min1.thm1
2017-02-06 12:44
1.3K
projred2__993_14.min1.thm1
2017-02-06 12:44
1.0K
projred2__995_25.min1.thm1
2017-02-06 12:44
969
projred2__997_25.min1.thm1
2017-02-06 12:44
969
projred2__1000_16.min1.thm1
2017-02-06 12:44
1.0K
projred2__1003_15.min1.thm1
2017-02-06 12:44
1.0K
projred2__1005_27.min1.thm1
2017-02-06 12:44
972
projred2__1008_15.min1.thm1
2017-02-06 12:44
1.0K
projred2__1013_23.min1.thm1
2017-02-06 12:44
1.5K
projred2__1014_39.min1.thm1
2017-02-06 12:44
2.2K
projred2__1015_31.min1.thm1
2017-02-06 12:44
1.7K
projred2__1016_35.min1.thm1
2017-02-06 12:44
2.4K
projred2__1023_19.min1.thm1
2017-02-06 12:44
1.4K
projred2__1025_17.min1.thm1
2017-02-06 12:44
1.6K
projred2__1043_13.min1.thm1
2017-02-06 12:44
1.3K
projred2__1044_19.min1.thm1
2017-02-06 12:44
1.5K
projred2__1047_14.min1.thm1
2017-02-06 12:44
1.0K
projred2__1049_25.min1.thm1
2017-02-06 12:44
969
projred2__1052_16.min1.thm1
2017-02-06 12:44
1.0K
projred2__1053_22.min1.thm1
2017-02-06 12:44
1.5K
projred2__1057_14.min1.thm1
2017-02-06 12:44
1.3K
projred2__1058_18.min1.thm1
2017-02-06 12:44
1.2K
projred2__1059_21.min1.thm1
2017-02-06 12:44
1.5K
projred2__1060_18.min1.thm1
2017-02-06 12:44
1.2K
projred2__1061_21.min1.thm1
2017-02-06 12:44
1.5K
projred2__1063_26.min1.thm1
2017-02-06 12:44
969
projred2__1066_17.min1.thm1
2017-02-06 12:44
1.0K
projred2__1067_24.min1.thm1
2017-02-06 12:44
1.5K
projred2__1070_14.min1.thm1
2017-02-06 12:44
1.0K
projred2__1072_27.min1.thm1
2017-02-06 12:44
972
projred2__1073_22.min1.thm1
2017-02-06 12:44
1.5K
projred2__1074_24.min1.thm1
2017-02-06 12:44
1.5K
projred2__1075_22.min1.thm1
2017-02-06 12:44
1.5K
projred2__1076_20.min1.thm1
2017-02-06 12:44
1.5K
projred2__1079_14.min1.thm1
2017-02-06 12:44
1.0K
projred2__1080_23.min1.thm1
2017-02-06 12:44
1.5K
projred2__1081_20.min1.thm1
2017-02-06 12:44
1.2K
projred2__1082_22.min1.thm1
2017-02-06 12:44
1.5K
projred2__1085_23.min1.thm1
2017-02-06 12:44
1.5K
projred2__1086_20.min1.thm1
2017-02-06 12:44
1.2K
projred2__1090_17.min1.thm1
2017-02-06 12:44
1.3K
projred2__1122_66.min1.thm1
2017-02-06 12:44
1.8K
projred2__1127_44.min1.thm1
2017-02-06 12:44
1.3K
projred2__1136_42.min1.thm1
2017-02-06 12:44
570
projred2__1136_42.min1.thm1.tptp
2017-02-06 16:47
478
projred2__1137_36.min1.thm1
2017-02-06 12:44
1.3K
projred2__1138_36.min1.thm1
2017-02-06 12:44
1.3K
projred2__1139_72.min1.thm1
2017-02-06 12:44
1.6K
projred2__1141_41.min1.thm1
2017-02-06 12:44
1.6K
projred2__1142_43.min1.thm1
2017-02-06 12:44
2.5K
projred2__1143_45.min1.thm1
2017-02-06 12:44
2.2K
projred2__1144_42.min1.thm1
2017-02-06 12:44
1.6K
projred2__1145_40.min1.thm1
2017-02-06 12:44
1.6K
projred2__1176_13.min1.thm1
2017-02-06 12:44
1.6K
projred2__1178_13.min1.thm1
2017-02-06 12:44
1.8K
projred2__1181_15.min1.thm1
2017-02-06 12:44
1.7K
projred2__1184_12.min1.thm1
2017-02-06 12:44
1.8K
projred2__1187_15.min1.thm1
2017-02-06 12:44
1.7K
projred2__1192_23.min1.thm1
2017-02-06 12:44
1.4K
projred2__1193_25.min1.thm1
2017-02-06 12:44
1.4K
projred2__1195_23.min1.thm1
2017-02-06 12:44
2.3K
projred2__1196_9.min1.thm1
2017-02-06 12:44
1.1K
projred2__1198_36.min1.thm1
2017-02-06 12:44
649
projred2__1199_13.min1.thm1
2017-02-06 12:44
1.6K
projred2__1206_52.min1.thm1
2017-02-06 12:44
2.2K
projred2__1207_19.min1.thm1
2017-02-06 12:44
1.5K
projred2__1208_15.min1.thm1
2017-02-06 12:44
1.9K
projred2__1209_47.min1.thm1
2017-02-06 12:44
1.6K
projred2__1212_14.min1.thm1
2017-02-06 12:44
1.9K
projred2__1215_16.min1.thm1
2017-02-06 12:44
1.9K
projred2__1219_38.min1.thm1
2017-02-06 12:44
2.2K
projred2__1222_21.min1.thm1
2017-02-06 12:44
1.5K
projred2__1223_37.min1.thm1
2017-02-06 12:44
2.1K
projred2__1224_42.min1.thm1
2017-02-06 12:44
2.1K
projred2__1225_37.min1.thm1
2017-02-06 12:44
2.2K
projred2__1228_16.min1.thm1
2017-02-06 12:44
1.3K
projred2__1229_28.min1.thm1
2017-02-06 12:44
1.4K
projred2__1237_14.min1.thm1
2017-02-06 12:44
1.8K
projred2__1238_12.min1.thm1
2017-02-06 12:44
1.9K
projred2__1242_17.min1.thm1
2017-02-06 12:44
1.5K
projred2__1244_21.min1.thm1
2017-02-06 12:44
2.4K
projred2__1245_16.min1.thm1
2017-02-06 12:44
954
projred2__1250_29.min1.thm1
2017-02-06 12:44
1.6K
projred2__1251_34.min1.thm1
2017-02-06 12:44
1.2K
projred2__1251_34.min1.thm1.tptp
2017-02-06 16:47
1.1K
projred2__1253_18.min1.thm1
2017-02-06 12:44
2.3K
projred2__1254_17.min1.thm1
2017-02-06 12:44
3.2K
projred2__1275_14.min1.thm1
2017-02-06 12:44
1.0K
projred2__1277_25.min1.thm1
2017-02-06 12:44
969
projred2__1279_25.min1.thm1
2017-02-06 12:44
969
projred2__1282_15.min1.thm1
2017-02-06 12:44
1.0K
projred2__1284_25.min1.thm1
2017-02-06 12:44
969
projred2__1287_17.min1.thm1
2017-02-06 12:44
1.0K
projred2__1290_16.min1.thm1
2017-02-06 12:44
969
projred2__1292_35.min1.thm1
2017-02-06 12:44
2.3K
projred2__1293_23.min1.thm1
2017-02-06 12:44
1.5K
projred2__1294_39.min1.thm1
2017-02-06 12:44
2.1K
projred2__1297_31.min1.thm1
2017-02-06 12:44
1.7K
projred2__1304_19.min1.thm1
2017-02-06 12:44
1.3K
projred2__1306_17.min1.thm1
2017-02-06 12:44
1.5K
projred2__1327_14.min1.thm1
2017-02-06 12:44
1.3K
projred2__1328_20.min1.thm1
2017-02-06 12:44
1.5K
projred2__1331_14.min1.thm1
2017-02-06 12:44
1.0K
projred2__1333_25.min1.thm1
2017-02-06 12:44
969
projred2__1336_16.min1.thm1
2017-02-06 12:44
1.0K
projred2__1337_22.min1.thm1
2017-02-06 12:44
1.5K
projred2__1338_22.min1.thm1
2017-02-06 12:44
1.5K
projred2__1339_21.min1.thm1
2017-02-06 12:44
1.5K
projred2__1340_21.min1.thm1
2017-02-06 12:44
1.5K
projred2__1342_26.min1.thm1
2017-02-06 12:44
969
projred2__1343_20.min1.thm1
2017-02-06 12:44
1.5K
projred2__1344_18.min1.thm1
2017-02-06 12:44
1.2K
projred2__1345_18.min1.thm1
2017-02-06 12:44
1.2K
projred2__1347_25.min1.thm1
2017-02-06 12:44
969
projred2__1350_14.min1.thm1
2017-02-06 12:44
1.0K
projred2__1351_22.min1.thm1
2017-02-06 12:44
1.5K
projred2__1354_17.min1.thm1
2017-02-06 12:44
1.0K
projred2__1355_24.min1.thm1
2017-02-06 12:44
1.5K
projred2__1356_23.min1.thm1
2017-02-06 12:44
1.5K
projred2__1357_23.min1.thm1
2017-02-06 12:44
1.5K
projred2__1358_24.min1.thm1
2017-02-06 12:44
1.5K
projred2__1361_16.min1.thm1
2017-02-06 12:44
969
projred2__1362_20.min1.thm1
2017-02-06 12:44
1.2K
projred2__1363_20.min1.thm1
2017-02-06 12:44
1.2K
projred2__1364_22.min1.thm1
2017-02-06 12:44
1.5K
projred2__1371_17.min1.thm1
2017-02-06 12:44
1.3K
projred2__1381_22.min1.thm1
2017-02-06 12:44
1.0K
projred2__1392_32.min1.thm1
2017-02-06 12:44
1.5K
projred2__1394_27.min1.thm1
2017-02-06 12:44
1.1K
projred2__1394_27.min1.thm1.tptp
2017-02-06 16:47
1.1K
projred2__1403_32.min1.thm1
2017-02-06 12:44
1.5K
projred2__1405_26.min1.thm1
2017-02-06 12:44
1.1K
projred2__1405_26.min1.thm1.tptp
2017-02-06 16:47
1.1K
projred2__1407_17.min1.thm1
2017-02-06 12:44
1.9K
projred2__1407_17.min1.thm1.tptp
2017-02-06 16:47
1.8K
projred2__1425_66.min1.thm1
2017-02-06 12:44
1.8K
projred2__1430_44.min1.thm1
2017-02-06 12:44
1.3K
projred2__1439_67.min1.thm1
2017-02-06 12:44
1.8K
projred2__1442_56.min1.thm1
2017-02-06 12:44
636
projred2__1443_73.min1.thm1
2017-02-06 12:44
1.6K
projred2__1445_41.min1.thm1
2017-02-06 12:44
1.6K
projred2__1446_43.min1.thm1
2017-02-06 12:44
2.5K
projred2__1447_41.min1.thm1
2017-02-06 12:44
2.2K
projred2__1448_40.min1.thm1
2017-02-06 12:44
1.6K
projred2__1449_40.min1.thm1
2017-02-06 12:44
1.6K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80