Index of /~mptp/1147/MPTP2/ilp0/projred1
Name
Last modified
Size
Description
Parent Directory
-
projred1__39_17.min1.thm1
2017-02-06 12:44
644
projred1__39_17.min1.thm1.tptp
2017-02-06 16:47
593
projred1__49_15.min1.thm1
2017-02-06 12:44
1.1K
projred1__50_33.min1.thm1
2017-02-06 12:44
1.5K
projred1__51_18.min1.thm1
2017-02-06 12:44
585
projred1__53_16.min1.thm1
2017-02-06 12:44
358
projred1__55_17.min1.thm1
2017-02-06 12:44
571
projred1__62_17.min1.thm1
2017-02-06 12:44
644
projred1__62_17.min1.thm1.tptp
2017-02-06 16:47
593
projred1__71_15.min1.thm1
2017-02-06 12:44
1.1K
projred1__76_26.min1.thm1
2017-02-06 12:44
904
projred1__78_26.min1.thm1
2017-02-06 12:44
1.6K
projred1__79_20.min1.thm1
2017-02-06 12:44
434
projred1__79_20.min1.thm1.tptp
2017-02-06 16:47
351
projred1__83_26.min1.thm1
2017-02-06 12:44
904
projred1__85_26.min1.thm1
2017-02-06 12:44
1.6K
projred1__86_20.min1.thm1
2017-02-06 12:44
434
projred1__86_20.min1.thm1.tptp
2017-02-06 16:47
351
projred1__88_21.min1.thm1
2017-02-06 12:44
655
projred1__90_16.min1.thm1
2017-02-06 12:44
507
projred1__90_16.min1.thm1.tptp
2017-02-06 16:47
435
projred1__92_14.min1.thm1
2017-02-06 12:44
354
projred1__103_11.min1.thm1
2017-02-06 12:44
1.0K
projred1__109_11.min1.thm1
2017-02-06 12:44
1.0K
projred1__113_31.min1.thm1
2017-02-06 12:44
1.4K
projred1__114_29.min1.thm1
2017-02-06 12:44
1.4K
projred1__115_17.min1.thm1
2017-02-06 12:44
1.3K
projred1__122_22.min1.thm1
2017-02-06 12:44
886
projred1__124_17.min1.thm1
2017-02-06 12:44
761
projred1__127_13.min1.thm1
2017-02-06 12:44
886
projred1__131_17.min1.thm1
2017-02-06 12:44
1.5K
projred1__134_13.min1.thm1
2017-02-06 12:44
887
projred1__135_15.min1.thm1
2017-02-06 12:44
1.5K
projred1__136_17.min1.thm1
2017-02-06 12:44
961
projred1__143_17.min1.thm1
2017-02-06 12:44
761
projred1__150_14.min1.thm1
2017-02-06 12:44
1.0K
projred1__152_25.min1.thm1
2017-02-06 12:44
887
projred1__153_19.min1.thm1
2017-02-06 12:44
1.5K
projred1__155_26.min1.thm1
2017-02-06 12:44
887
projred1__157_26.min1.thm1
2017-02-06 12:44
887
projred1__158_20.min1.thm1
2017-02-06 12:44
1.5K
projred1__159_17.min1.thm1
2017-02-06 12:44
1.5K
projred1__160_17.min1.thm1
2017-02-06 12:44
1.4K
projred1__173_17.min1.thm1
2017-02-06 12:44
1.3K
projred1__175_22.min1.thm1
2017-02-06 12:44
900
projred1__177_53.min1.thm1
2017-02-06 12:44
1.1K
projred1__179_17.min1.thm1
2017-02-06 12:44
2.3K
projred1__180_16.min1.thm1
2017-02-06 12:44
1.0K
projred1__186_25.min1.thm1
2017-02-06 12:44
763
projred1__187_19.min1.thm1
2017-02-06 12:44
471
projred1__187_19.min1.thm1.tptp
2017-02-06 16:47
396
projred1__189_17.min1.thm1
2017-02-06 12:44
714
projred1__189_17.min1.thm1.tptp
2017-02-06 16:47
655
projred1__201_11.min1.thm1
2017-02-06 12:44
1.0K
projred1__203_16.min1.thm1
2017-02-06 12:44
268
projred1__211_31.min1.thm1
2017-02-06 12:44
1.0K
projred1__212_46.min1.thm1
2017-02-06 12:44
477
projred1__213_17.min1.thm1
2017-02-06 12:44
1.0K
projred1__221_22.min1.thm1
2017-02-06 12:44
888
projred1__223_29.min1.thm1
2017-02-06 12:44
1.1K
projred1__225_17.min1.thm1
2017-02-06 12:44
769
projred1__227_22.min1.thm1
2017-02-06 12:44
900
projred1__228_32.min1.thm1
2017-02-06 12:44
1.8K
projred1__229_16.min1.thm1
2017-02-06 12:44
528
projred1__229_16.min1.thm1.tptp
2017-02-06 16:47
443
projred1__231_14.min1.thm1
2017-02-06 12:44
452
projred1__244_13.min1.thm1
2017-02-06 12:44
1.5K
projred1__255_13.min1.thm1
2017-02-06 12:44
1.2K
projred1__256_20.min1.thm1
2017-02-06 12:44
1.3K
projred1__257_17.min1.thm1
2017-02-06 12:44
1.9K
projred1__286_25.min1.thm1
2017-02-06 12:44
1.8K
projred1__287_15.min1.thm1
2017-02-06 12:44
1.3K
projred1__288_16.min1.thm1
2017-02-06 12:44
1.3K
projred1__289_16.min1.thm1
2017-02-06 12:44
1.3K
projred1__290_16.min1.thm1
2017-02-06 12:44
1.3K
projred1__291_16.min1.thm1
2017-02-06 12:44
1.3K
projred1__292_16.min1.thm1
2017-02-06 12:44
1.3K
projred1__293_15.min1.thm1
2017-02-06 12:44
1.3K
projred1__294_15.min1.thm1
2017-02-06 12:44
1.3K
projred1__295_16.min1.thm1
2017-02-06 12:44
1.3K
projred1__296_16.min1.thm1
2017-02-06 12:44
1.3K
projred1__297_15.min1.thm1
2017-02-06 12:44
1.3K
projred1__298_16.min1.thm1
2017-02-06 12:44
1.3K
projred1__299_15.min1.thm1
2017-02-06 12:44
1.3K
projred1__300_16.min1.thm1
2017-02-06 12:44
1.3K
projred1__308_17.min1.thm1
2017-02-06 12:44
1.3K
projred1__310_24.min1.thm1
2017-02-06 12:44
945
projred1__314_27.min1.thm1
2017-02-06 12:44
1.3K
projred1__315_27.min1.thm1
2017-02-06 12:44
1.8K
projred1__316_28.min1.thm1
2017-02-06 12:44
1.3K
projred1__317_28.min1.thm1
2017-02-06 12:44
1.4K
projred1__318_28.min1.thm1
2017-02-06 12:44
1.3K
projred1__319_26.min1.thm1
2017-02-06 12:44
1.8K
projred1__320_17.min1.thm1
2017-02-06 12:44
1.3K
projred1__321_26.min1.thm1
2017-02-06 12:44
1.5K
projred1__322_20.min1.thm1
2017-02-06 12:44
2.5K
projred1__324_13.min1.thm1
2017-02-06 12:44
1.6K
projred1__325_26.min1.thm1
2017-02-06 12:44
1.5K
projred1__326_20.min1.thm1
2017-02-06 12:44
2.6K
projred1__327_19.min1.thm1
2017-02-06 12:44
1.7K
projred1__328_27.min1.thm1
2017-02-06 12:44
1.4K
projred1__331_28.min1.thm1
2017-02-06 12:44
1.4K
projred1__332_25.min1.thm1
2017-02-06 12:44
1.5K
projred1__333_28.min1.thm1
2017-02-06 12:44
1.3K
projred1__334_27.min1.thm1
2017-02-06 12:44
1.8K
projred1__335_17.min1.thm1
2017-02-06 12:44
1.3K
projred1__336_28.min1.thm1
2017-02-06 12:44
1.8K
projred1__337_27.min1.thm1
2017-02-06 12:44
1.3K
projred1__340_22.min1.thm1
2017-02-06 12:44
1.4K
projred1__341_20.min1.thm1
2017-02-06 12:44
2.6K
projred1__343_13.min1.thm1
2017-02-06 12:44
1.6K
projred1__345_27.min1.thm1
2017-02-06 12:44
1.3K
projred1__346_26.min1.thm1
2017-02-06 12:44
1.5K
projred1__347_20.min1.thm1
2017-02-06 12:44
2.5K
projred1__348_27.min1.thm1
2017-02-06 12:44
2.0K
projred1__349_28.min1.thm1
2017-02-06 12:44
1.7K
projred1__351_19.min1.thm1
2017-02-06 12:44
802
projred1__351_19.min1.thm1.tptp
2017-02-06 16:47
741
projred1__353_15.min1.thm1
2017-02-06 12:44
1.3K
projred1__354_14.min1.thm1
2017-02-06 12:44
363
projred1__354_14.min1.thm1.tptp
2017-02-06 16:47
292
projred1__355_16.min1.thm1
2017-02-06 12:44
1.3K
projred1__356_16.min1.thm1
2017-02-06 12:44
1.3K
projred1__357_16.min1.thm1
2017-02-06 12:44
1.3K
projred1__358_14.min1.thm1
2017-02-06 12:44
363
projred1__358_14.min1.thm1.tptp
2017-02-06 16:47
292
projred1__359_16.min1.thm1
2017-02-06 12:44
1.3K
projred1__360_16.min1.thm1
2017-02-06 12:44
1.3K
projred1__361_16.min1.thm1
2017-02-06 12:44
1.3K
projred1__362_16.min1.thm1
2017-02-06 12:44
1.3K
projred1__363_15.min1.thm1
2017-02-06 12:44
1.3K
projred1__364_16.min1.thm1
2017-02-06 12:44
1.3K
projred1__374_30.min1.thm1
2017-02-06 12:44
1.8K
projred1__375_30.min1.thm1
2017-02-06 12:44
1.8K
projred1__376_30.min1.thm1
2017-02-06 12:44
1.8K
projred1__377_29.min1.thm1
2017-02-06 12:44
1.8K
projred1__378_27.min1.thm1
2017-02-06 12:44
1.5K
projred1__382_19.min1.thm1
2017-02-06 12:44
1.3K
projred1__383_30.min1.thm1
2017-02-06 12:44
1.9K
projred1__384_22.min1.thm1
2017-02-06 12:44
2.6K
projred1__386_15.min1.thm1
2017-02-06 12:44
1.6K
projred1__387_29.min1.thm1
2017-02-06 12:44
1.8K
projred1__388_27.min1.thm1
2017-02-06 12:44
1.5K
projred1__389_19.min1.thm1
2017-02-06 12:44
1.4K
projred1__390_22.min1.thm1
2017-02-06 12:44
2.6K
projred1__391_29.min1.thm1
2017-02-06 12:44
2.0K
projred1__392_30.min1.thm1
2017-02-06 12:44
1.7K
projred1__395_29.min1.thm1
2017-02-06 12:44
1.8K
projred1__396_30.min1.thm1
2017-02-06 12:44
1.3K
projred1__397_19.min1.thm1
2017-02-06 12:44
1.3K
projred1__399_26.min1.thm1
2017-02-06 12:44
947
projred1__403_30.min1.thm1
2017-02-06 12:44
1.3K
projred1__404_27.min1.thm1
2017-02-06 12:44
1.5K
projred1__405_22.min1.thm1
2017-02-06 12:44
2.6K
projred1__407_15.min1.thm1
2017-02-06 12:44
1.6K
projred1__408_25.min1.thm1
2017-02-06 12:44
2.2K
projred1__410_19.min1.thm1
2017-02-06 12:44
1.7K
projred1__411_29.min1.thm1
2017-02-06 12:44
1.4K
projred1__413_21.min1.thm1
2017-02-06 12:44
808
projred1__413_21.min1.thm1.tptp
2017-02-06 16:47
747
projred1__419_17.min1.thm1
2017-02-06 12:44
1.6K
projred1__420_29.min1.thm1
2017-02-06 12:44
1.8K
projred1__422_26.min1.thm1
2017-02-06 12:44
947
projred1__423_27.min1.thm1
2017-02-06 12:44
1.5K
projred1__424_30.min1.thm1
2017-02-06 12:44
1.8K
projred1__425_30.min1.thm1
2017-02-06 12:44
1.8K
projred1__428_24.min1.thm1
2017-02-06 12:44
1.4K
projred1__429_22.min1.thm1
2017-02-06 12:44
2.6K
projred1__431_15.min1.thm1
2017-02-06 12:44
1.6K
projred1__433_16.min1.thm1
2017-02-06 12:44
1.7K
projred1__434_19.min1.thm1
2017-02-06 12:44
1.7K
projred1__435_29.min1.thm1
2017-02-06 12:44
1.4K
projred1__440_25.min1.thm1
2017-02-06 12:44
2.2K
projred1__443_15.min1.thm1
2017-02-06 12:44
1.6K
projred1__444_25.min1.thm1
2017-02-06 12:44
2.2K
projred1__446_29.min1.thm1
2017-02-06 12:44
2.0K
projred1__447_30.min1.thm1
2017-02-06 12:44
1.7K
projred1__449_21.min1.thm1
2017-02-06 12:44
808
projred1__449_21.min1.thm1.tptp
2017-02-06 16:47
747
projred1__451_19.min1.thm1
2017-02-06 12:44
802
projred1__451_19.min1.thm1.tptp
2017-02-06 16:47
741
projred1__453_15.min1.thm1
2017-02-06 12:44
363
projred1__453_15.min1.thm1.tptp
2017-02-06 16:47
292
projred1__454_17.min1.thm1
2017-02-06 12:44
1.3K
projred1__461_17.min1.thm1
2017-02-06 12:44
1.6K
projred1__464_21.min1.thm1
2017-02-06 12:44
1.7K
projred1__466_15.min1.thm1
2017-02-06 12:44
1.6K
projred1__467_30.min1.thm1
2017-02-06 12:44
1.8K
projred1__468_29.min1.thm1
2017-02-06 12:44
1.8K
projred1__469_30.min1.thm1
2017-02-06 12:44
1.8K
projred1__471_26.min1.thm1
2017-02-06 12:44
947
projred1__472_27.min1.thm1
2017-02-06 12:44
1.5K
projred1__474_19.min1.thm1
2017-02-06 12:44
1.4K
projred1__475_22.min1.thm1
2017-02-06 12:44
2.6K
projred1__476_19.min1.thm1
2017-02-06 12:44
1.7K
projred1__477_29.min1.thm1
2017-02-06 12:44
1.4K
projred1__484_25.min1.thm1
2017-02-06 12:44
2.2K
projred1__487_15.min1.thm1
2017-02-06 12:44
1.6K
projred1__488_25.min1.thm1
2017-02-06 12:44
2.2K
projred1__490_29.min1.thm1
2017-02-06 12:44
2.0K
projred1__491_30.min1.thm1
2017-02-06 12:44
1.7K
projred1__493_21.min1.thm1
2017-02-06 12:44
808
projred1__493_21.min1.thm1.tptp
2017-02-06 16:47
747
projred1__498_14.min1.thm1
2017-02-06 12:44
1.6K
projred1__499_23.min1.thm1
2017-02-06 12:44
2.2K
projred1__502_13.min1.thm1
2017-02-06 12:44
1.5K
projred1__504_24.min1.thm1
2017-02-06 12:44
945
projred1__506_15.min1.thm1
2017-02-06 12:44
1.6K
projred1__507_17.min1.thm1
2017-02-06 12:44
1.7K
projred1__508_27.min1.thm1
2017-02-06 12:44
1.4K
projred1__510_19.min1.thm1
2017-02-06 12:44
802
projred1__510_19.min1.thm1.tptp
2017-02-06 16:47
741
projred1__512_15.min1.thm1
2017-02-06 12:44
1.6K
projred1__522_16.min1.thm1
2017-02-06 12:44
1.6K
projred1__523_24.min1.thm1
2017-02-06 12:44
2.4K
projred1__526_14.min1.thm1
2017-02-06 12:44
1.6K
projred1__528_26.min1.thm1
2017-02-06 12:44
947
projred1__530_16.min1.thm1
2017-02-06 12:44
1.6K
projred1__531_19.min1.thm1
2017-02-06 12:44
1.8K
projred1__532_29.min1.thm1
2017-02-06 12:44
1.4K
projred1__535_24.min1.thm1
2017-02-06 12:44
2.4K
projred1__538_14.min1.thm1
2017-02-06 12:44
1.6K
projred1__541_16.min1.thm1
2017-02-06 12:44
1.6K
projred1__543_16.min1.thm1
2017-02-06 12:44
1.7K
projred1__544_30.min1.thm1
2017-02-06 12:44
1.8K
projred1__546_21.min1.thm1
2017-02-06 12:44
808
projred1__546_21.min1.thm1.tptp
2017-02-06 16:47
747
projred1__555_16.min1.thm1
2017-02-06 12:44
1.6K
projred1__557_16.min1.thm1
2017-02-06 12:44
1.6K
projred1__559_15.min1.thm1
2017-02-06 12:44
1.6K
projred1__560_16.min1.thm1
2017-02-06 12:44
1.6K
projred1__561_29.min1.thm1
2017-02-06 12:44
2.1K
projred1__562_30.min1.thm1
2017-02-06 12:44
1.7K
projred1__567_25.min1.thm1
2017-02-06 12:44
2.2K
projred1__570_15.min1.thm1
2017-02-06 12:44
1.5K
projred1__571_25.min1.thm1
2017-02-06 12:44
2.2K
projred1__573_29.min1.thm1
2017-02-06 12:44
2.0K
projred1__574_30.min1.thm1
2017-02-06 12:44
1.7K
projred1__576_21.min1.thm1
2017-02-06 12:44
808
projred1__576_21.min1.thm1.tptp
2017-02-06 16:47
747
projred1__578_19.min1.thm1
2017-02-06 12:44
802
projred1__578_19.min1.thm1.tptp
2017-02-06 16:47
741
projred1__581_28.min1.thm1
2017-02-06 12:44
1.8K
projred1__582_27.min1.thm1
2017-02-06 12:44
1.3K
projred1__583_28.min1.thm1
2017-02-06 12:44
1.8K
projred1__584_27.min1.thm1
2017-02-06 12:44
1.3K
projred1__585_27.min1.thm1
2017-02-06 12:44
1.8K
projred1__586_16.min1.thm1
2017-02-06 12:44
1.3K
projred1__588_24.min1.thm1
2017-02-06 12:44
943
projred1__596_15.min1.thm1
2017-02-06 12:44
365
projred1__596_15.min1.thm1.tptp
2017-02-06 16:47
294
projred1__597_15.min1.thm1
2017-02-06 12:44
1.3K
projred1__598_18.min1.thm1
2017-02-06 12:44
2.6K
projred1__600_15.min1.thm1
2017-02-06 12:44
1.6K
projred1__601_17.min1.thm1
2017-02-06 12:44
1.3K
projred1__602_24.min1.thm1
2017-02-06 12:44
1.5K
projred1__603_18.min1.thm1
2017-02-06 12:44
2.5K
projred1__604_17.min1.thm1
2017-02-06 12:44
1.6K
projred1__605_25.min1.thm1
2017-02-06 12:44
1.4K
projred1__625_13.min1.thm1
2017-02-06 12:44
452
projred1__632_18.min1.thm1
2017-02-06 12:44
1.3K
projred1__635_14.min1.thm1
2017-02-06 12:44
919
projred1__639_12.min1.thm1
2017-02-06 12:44
1.1K
projred1__641_19.min1.thm1
2017-02-06 12:44
1.7K
projred1__652_14.min1.thm1
2017-02-06 12:44
1.8K
projred1__656_19.min1.thm1
2017-02-06 12:44
1.8K
projred1__668_26.min1.thm1
2017-02-06 12:44
929
projred1__672_24.min1.thm1
2017-02-06 12:44
1.7K
projred1__679_49.min1.thm1
2017-02-06 12:44
941
projred1__683_26.min1.thm1
2017-02-06 12:44
929
projred1__687_49.min1.thm1
2017-02-06 12:44
924
projred1__689_58.min1.thm1
2017-02-06 12:44
1.8K
projred1__694_35.min1.thm1
2017-02-06 12:44
1.0K
projred1__697_35.min1.thm1
2017-02-06 12:44
1.0K
projred1__700_35.min1.thm1
2017-02-06 12:44
1.0K
projred1__703_35.min1.thm1
2017-02-06 12:44
1.0K
projred1__704_11.min1.thm1
2017-02-06 12:44
417
projred1__704_11.min1.thm1.tptp
2017-02-06 16:47
349
projred1__706_12.min1.thm1
2017-02-06 12:44
2.2K
projred1__707_11.min1.thm1
2017-02-06 12:44
417
projred1__707_11.min1.thm1.tptp
2017-02-06 16:47
349
projred1__709_12.min1.thm1
2017-02-06 12:44
2.2K
projred1__710_11.min1.thm1
2017-02-06 12:44
417
projred1__710_11.min1.thm1.tptp
2017-02-06 16:47
349
projred1__712_12.min1.thm1
2017-02-06 12:44
2.2K
projred1__713_12.min1.thm1
2017-02-06 12:44
417
projred1__713_12.min1.thm1.tptp
2017-02-06 16:47
349
projred1__715_12.min1.thm1
2017-02-06 12:44
2.2K
projred1__716_11.min1.thm1
2017-02-06 12:44
417
projred1__716_11.min1.thm1.tptp
2017-02-06 16:47
349
projred1__718_12.min1.thm1
2017-02-06 12:44
2.2K
projred1__719_11.min1.thm1
2017-02-06 12:44
417
projred1__719_11.min1.thm1.tptp
2017-02-06 16:47
349
projred1__720_16.min1.thm1
2017-02-06 12:44
2.2K
projred1__721_42.min1.thm1
2017-02-06 12:44
811
projred1__722_19.min1.thm1
2017-02-06 12:44
1.4K
projred1__724_17.min1.thm1
2017-02-06 12:44
1.9K
projred1__736_13.min1.thm1
2017-02-06 12:44
767
projred1__738_13.min1.thm1
2017-02-06 12:44
767
projred1__741_13.min1.thm1
2017-02-06 12:44
905
projred1__743_46.min1.thm1
2017-02-06 12:44
2.8K
projred1__744_17.min1.thm1
2017-02-06 12:44
2.5K
projred1__758_17.min1.thm1
2017-02-06 12:44
685
projred1__758_17.min1.thm1.tptp
2017-02-06 16:47
634
projred1__765_13.min1.thm1
2017-02-06 12:44
1.1K
projred1__768_13.min1.thm1
2017-02-06 12:44
936
projred1__772_12.min1.thm1
2017-02-06 12:44
1.1K
projred1__775_14.min1.thm1
2017-02-06 12:44
936
projred1__778_14.min1.thm1
2017-02-06 12:44
936
projred1__779_18.min1.thm1
2017-02-06 12:44
1.7K
projred1__780_18.min1.thm1
2017-02-06 12:44
1.7K
projred1__782_18.min1.thm1
2017-02-06 12:44
1.7K
projred1__786_18.min1.thm1
2017-02-06 12:44
1.6K
projred1__791_14.min1.thm1
2017-02-06 12:44
3.4K
projred1__792_20.min1.thm1
2017-02-06 12:44
1.5K
projred1__795_14.min1.thm1
2017-02-06 12:44
936
projred1__798_14.min1.thm1
2017-02-06 12:44
936
projred1__799_18.min1.thm1
2017-02-06 12:44
1.7K
projred1__801_18.min1.thm1
2017-02-06 12:44
1.7K
projred1__802_12.min1.thm1
2017-02-06 12:44
1.7K
projred1__804_18.min1.thm1
2017-02-06 12:44
1.7K
projred1__805_12.min1.thm1
2017-02-06 12:44
1.7K
projred1__806_18.min1.thm1
2017-02-06 12:44
1.7K
projred1__810_18.min1.thm1
2017-02-06 12:44
1.6K
projred1__816_18.min1.thm1
2017-02-06 12:44
1.6K
projred1__819_20.min1.thm1
2017-02-06 12:44
1.7K
projred1__822_14.min1.thm1
2017-02-06 12:44
3.4K
projred1__823_20.min1.thm1
2017-02-06 12:44
1.5K
projred1__827_15.min1.thm1
2017-02-06 12:44
1.6K
projred1__831_18.min1.thm1
2017-02-06 12:44
1.7K
projred1__832_20.min1.thm1
2017-02-06 12:44
1.5K
projred1__833_20.min1.thm1
2017-02-06 12:44
1.5K
projred1__834_12.min1.thm1
2017-02-06 12:44
1.7K
projred1__836_18.min1.thm1
2017-02-06 12:44
1.7K
projred1__837_20.min1.thm1
2017-02-06 12:44
1.5K
projred1__840_14.min1.thm1
2017-02-06 12:44
942
projred1__841_9.min1.thm1
2017-02-06 12:44
1.7K
projred1__843_12.min1.thm1
2017-02-06 12:44
1.7K
projred1__844_18.min1.thm1
2017-02-06 12:44
1.7K
projred1__845_20.min1.thm1
2017-02-06 12:44
1.7K
projred1__848_14.min1.thm1
2017-02-06 12:44
3.4K
projred1__849_9.min1.thm1
2017-02-06 12:44
1.7K
projred1__851_12.min1.thm1
2017-02-06 12:44
1.7K
projred1__852_20.min1.thm1
2017-02-06 12:44
1.5K
projred1__853_18.min1.thm1
2017-02-06 12:44
1.2K
projred1__859_14.min1.thm1
2017-02-06 12:44
939
projred1__860_12.min1.thm1
2017-02-06 12:44
1.7K
projred1__861_9.min1.thm1
2017-02-06 12:44
1.9K
projred1__863_38.min1.thm1
2017-02-06 12:44
886
projred1__864_9.min1.thm1
2017-02-06 12:44
1.7K
projred1__865_40.min1.thm1
2017-02-06 12:44
1.1K
projred1__911_13.min1.thm1
2017-02-06 12:44
1.1K
projred1__912_20.min1.thm1
2017-02-06 12:44
1.7K
projred1__913_17.min1.thm1
2017-02-06 12:44
1.5K
projred1__941_13.min1.thm1
2017-02-06 12:44
1.3K
projred1__942_20.min1.thm1
2017-02-06 12:44
1.3K
projred1__943_17.min1.thm1
2017-02-06 12:44
1.4K
projred1__951_27.min1.thm1
2017-02-06 12:44
1.2K
projred1__951_27.min1.thm1.tptp
2017-02-06 16:47
1.2K
projred1__980_37.min1.thm1
2017-02-06 12:44
370
projred1__980_37.min1.thm1.tptp
2017-02-06 16:47
292
projred1__981_41.min1.thm1
2017-02-06 12:44
1.2K
projred1__981_41.min1.thm1.tptp
2017-02-06 16:47
1.1K
projred1__985_17.min1.thm1
2017-02-06 12:44
1.0K
projred1__986_17.min1.thm1
2017-02-06 12:44
2.0K
projred1__987_21.min1.thm1
2017-02-06 12:44
2.7K
projred1__989_56.min1.thm1
2017-02-06 12:44
789
projred1__989_56.min1.thm1.tptp
2017-02-06 16:47
763
projred1__996_35.min1.thm1
2017-02-06 12:44
889
projred1__1003_26.min1.thm1
2017-02-06 12:44
1.0K
projred1__1006_34.min1.thm1
2017-02-06 12:44
1.1K
projred1__1007_23.min1.thm1
2017-02-06 12:44
2.0K
projred1__1012_24.min1.thm1
2017-02-06 12:44
1.3K
projred1__1013_20.min1.thm1
2017-02-06 12:44
697
projred1__1015_21.min1.thm1
2017-02-06 12:44
697
projred1__1015_21.min1.thm1.tptp
2017-02-06 16:47
609
projred1__1023_19.min1.thm1
2017-02-06 12:44
639
projred1__1025_17.min1.thm1
2017-02-06 12:44
1.3K
projred1__1027_21.min1.thm1
2017-02-06 12:44
939
projred1__1027_21.min1.thm1.tptp
2017-02-06 16:47
885
projred1__1031_19.min1.thm1
2017-02-06 12:44
639
projred1__1033_17.min1.thm1
2017-02-06 12:44
1.3K
projred1__1037_55.min1.thm1
2017-02-06 12:44
1.0K
projred1__1037_55.min1.thm1.tptp
2017-02-06 16:47
1.0K
projred1__1057_57.min1.thm1
2017-02-06 12:44
1.0K
projred1__1058_17.min1.thm1
2017-02-06 12:44
749
projred1__1059_23.min1.thm1
2017-02-06 12:44
749
projred1__1065_57.min1.thm1
2017-02-06 12:44
1.0K
projred1__1066_17.min1.thm1
2017-02-06 12:44
749
projred1__1067_23.min1.thm1
2017-02-06 12:44
749
projred1__1069_21.min1.thm1
2017-02-06 12:44
781
projred1__1069_21.min1.thm1.tptp
2017-02-06 16:47
693
projred1__1072_23.min1.thm1
2017-02-06 12:44
538
projred1__1072_23.min1.thm1.tptp
2017-02-06 16:47
478
projred1__1077_26.min1.thm1
2017-02-06 12:44
1.0K
projred1__1079_27.min1.thm1
2017-02-06 12:44
1.0K
projred1__1082_15.min1.thm1
2017-02-06 12:44
649
projred1__1083_23.min1.thm1
2017-02-06 12:44
1.4K
projred1__1084_21.min1.thm1
2017-02-06 12:44
1.5K
projred1__1096_30.min1.thm1
2017-02-06 12:44
965
projred1__1106_17.min1.thm1
2017-02-06 12:44
2.0K
projred1__1115_22.min1.thm1
2017-02-06 12:44
965
projred1__1116_47.min1.thm1
2017-02-06 12:44
1.0K
projred1__1128_27.min1.thm1
2017-02-06 12:44
1.7K
projred1__1130_17.min1.thm1
2017-02-06 12:44
1.8K
projred1__1149_44.min1.thm1
2017-02-06 12:44
1.8K
projred1__1151_25.min1.thm1
2017-02-06 12:44
1.0K
projred1__1154_15.min1.thm1
2017-02-06 12:44
1.0K
projred1__1160_19.min1.thm1
2017-02-06 12:44
2.6K
projred1__1162_67.min1.thm1
2017-02-06 12:44
880
projred1__1162_67.min1.thm1.tptp
2017-02-06 16:47
820
projred1__1170_42.min1.thm1
2017-02-06 12:44
1.8K
projred1__1175_27.min1.thm1
2017-02-06 12:44
1.0K
projred1__1178_17.min1.thm1
2017-02-06 12:44
1.0K
projred1__1183_21.min1.thm1
2017-02-06 12:44
2.1K
projred1__1186_50.min1.thm1
2017-02-06 12:44
725
projred1__1186_50.min1.thm1.tptp
2017-02-06 16:47
661
projred1__1187_67.min1.thm1
2017-02-06 12:44
2.3K
projred1__1204_52.min1.thm1
2017-02-06 12:44
516
projred1__1204_52.min1.thm1.tptp
2017-02-06 16:47
430
projred1__1205_14.min1.thm1
2017-02-06 12:44
1.8K
projred1__1210_68.min1.thm1
2017-02-06 12:44
517
projred1__1210_68.min1.thm1.tptp
2017-02-06 16:47
431
projred1__1211_12.min1.thm1
2017-02-06 12:44
1.8K
projred1__1216_8.min1.thm1
2017-02-06 12:44
2.4K
projred1__1217_17.min1.thm1
2017-02-06 12:44
1.7K
projred1__1223_30.min1.thm1
2017-02-06 12:44
965
projred1__1252_34.min1.thm1
2017-02-06 12:44
2.2K
projred1__1253_68.min1.thm1
2017-02-06 12:44
2.1K
projred1__1254_33.min1.thm1
2017-02-06 12:44
2.2K
projred1__1255_19.min1.thm1
2017-02-06 12:44
1.9K
projred1__1264_60.min1.thm1
2017-02-06 12:44
583
projred1__1265_53.min1.thm1
2017-02-06 12:44
759
projred1__1266_65.min1.thm1
2017-02-06 12:44
2.2K
projred1__1268_23.min1.thm1
2017-02-06 12:44
3.0K
projred1__1277_44.min1.thm1
2017-02-06 12:44
583
projred1__1278_53.min1.thm1
2017-02-06 12:44
759
projred1__1289_17.min1.thm1
2017-02-06 12:44
2.7K
projred1__1291_62.min1.thm1
2017-02-06 12:44
1.7K
projred1__1292_17.min1.thm1
2017-02-06 12:44
2.0K
projred1__1293_23.min1.thm1
2017-02-06 12:44
2.2K
projred1__1300_34.min1.thm1
2017-02-06 12:44
2.3K
projred1__1301_41.min1.thm1
2017-02-06 12:44
1.8K
projred1__1303_23.min1.thm1
2017-02-06 12:44
1.2K
projred1__1306_48.min1.thm1
2017-02-06 12:44
896
projred1__1308_26.min1.thm1
2017-02-06 12:44
2.7K
projred1__1315_41.min1.thm1
2017-02-06 12:44
1.9K
projred1__1317_23.min1.thm1
2017-02-06 12:44
1.2K
projred1__1319_36.min1.thm1
2017-02-06 12:44
797
projred1__1324_14.min1.thm1
2017-02-06 12:44
967
projred1__1327_15.min1.thm1
2017-02-06 12:44
1.0K
projred1__1328_70.min1.thm1
2017-02-06 12:44
1.6K
projred1__1330_15.min1.thm1
2017-02-06 12:44
1.9K
projred1__1331_59.min1.thm1
2017-02-06 12:44
1.6K
projred1__1332_15.min1.thm1
2017-02-06 12:44
1.9K
projred1__1336_14.min1.thm1
2017-02-06 12:44
1.1K
projred1__1337_55.min1.thm1
2017-02-06 12:44
1.6K
projred1__1338_15.min1.thm1
2017-02-06 12:44
1.9K
projred1__1339_59.min1.thm1
2017-02-06 12:44
1.6K
projred1__1340_15.min1.thm1
2017-02-06 12:44
1.9K
projred1__1345_14.min1.thm1
2017-02-06 12:44
1.6K
projred1__1346_32.min1.thm1
2017-02-06 12:44
969
projred1__1349_14.min1.thm1
2017-02-06 12:44
2.3K
projred1__1350_32.min1.thm1
2017-02-06 12:44
969
projred1__1355_25.min1.thm1
2017-02-06 12:44
1.0K
projred1__1358_14.min1.thm1
2017-02-06 12:44
1.0K
projred1__1359_19.min1.thm1
2017-02-06 12:44
1.6K
projred1__1366_15.min1.thm1
2017-02-06 12:44
1.7K
projred1__1373_23.min1.thm1
2017-02-06 12:44
1.7K
projred1__1374_20.min1.thm1
2017-02-06 12:44
1.7K
projred1__1375_20.min1.thm1
2017-02-06 12:44
1.8K
projred1__1376_21.min1.thm1
2017-02-06 12:44
2.5K
projred1__1382_20.min1.thm1
2017-02-06 12:44
1.7K
projred1__1399_44.min1.thm1
2017-02-06 12:44
583
projred1__1400_53.min1.thm1
2017-02-06 12:44
759
projred1__1401_67.min1.thm1
2017-02-06 12:44
2.2K
projred1__1403_23.min1.thm1
2017-02-06 12:44
3.0K
projred1__1415_20.min1.thm1
2017-02-06 12:44
2.8K
projred1__1416_70.min1.thm1
2017-02-06 12:44
2.3K
projred1__1418_54.min1.thm1
2017-02-06 12:44
2.1K
projred1__1419_25.min1.thm1
2017-02-06 12:44
2.2K
projred1__1432_38.min1.thm1
2017-02-06 12:44
1.9K
projred1__1433_38.min1.thm1
2017-02-06 12:44
1.7K
projred1__1437_25.min1.thm1
2017-02-06 12:44
2.7K
projred1__1442_37.min1.thm1
2017-02-06 12:44
1.7K
projred1__1445_22.min1.thm1
2017-02-06 12:44
1.9K
projred1__1446_72.min1.thm1
2017-02-06 12:44
2.2K
projred1__1450_67.min1.thm1
2017-02-06 12:44
1.7K
projred1__1451_21.min1.thm1
2017-02-06 12:44
1.9K
projred1__1452_67.min1.thm1
2017-02-06 12:44
1.7K
projred1__1457_20.min1.thm1
2017-02-06 12:44
1.8K
projred1__1461_30.min1.thm1
2017-02-06 12:44
1.6K
projred1__1462_21.min1.thm1
2017-02-06 12:44
1.9K
projred1__1467_28.min1.thm1
2017-02-06 12:44
1.5K
projred1__1472_30.min1.thm1
2017-02-06 12:44
1.6K
projred1__1476_26.min1.thm1
2017-02-06 12:44
1.7K
projred1__1480_45.min1.thm1
2017-02-06 12:44
838
projred1__1481_28.min1.thm1
2017-02-06 12:44
1.6K
projred1__1482_28.min1.thm1
2017-02-06 12:44
1.6K
projred1__1483_21.min1.thm1
2017-02-06 12:44
1.9K
projred1__1485_28.min1.thm1
2017-02-06 12:44
1.6K
projred1__1486_44.min1.thm1
2017-02-06 12:44
2.2K
projred1__1487_20.min1.thm1
2017-02-06 12:44
1.7K
projred1__1488_28.min1.thm1
2017-02-06 12:44
1.6K
projred1__1492_21.min1.thm1
2017-02-06 12:44
1.4K
projred1__1493_30.min1.thm1
2017-02-06 12:44
1.5K
projred1__1496_22.min1.thm1
2017-02-06 12:44
798
projred1__1503_53.min1.thm1
2017-02-06 12:44
2.9K
projred1__1509_27.min1.thm1
2017-02-06 12:44
1.7K
projred1__1510_24.min1.thm1
2017-02-06 12:44
1.7K
projred1__1513_22.min1.thm1
2017-02-06 12:44
798
projred1__1518_56.min1.thm1
2017-02-06 12:44
2.9K
projred1__1521_23.min1.thm1
2017-02-06 12:44
2.1K
projred1__1528_41.min1.thm1
2017-02-06 12:44
1.8K
projred1__1530_23.min1.thm1
2017-02-06 12:44
1.2K
projred1__1537_44.min1.thm1
2017-02-06 12:44
583
projred1__1538_53.min1.thm1
2017-02-06 12:44
759
projred1__1542_32.min1.thm1
2017-02-06 12:44
719
projred1__1544_26.min1.thm1
2017-02-06 12:44
2.7K
projred1__1550_35.min1.thm1
2017-02-06 12:44
2.3K
projred1__1551_41.min1.thm1
2017-02-06 12:44
1.8K
projred1__1553_23.min1.thm1
2017-02-06 12:44
1.2K
projred1__1555_53.min1.thm1
2017-02-06 12:44
897
projred1__1564_60.min1.thm1
2017-02-06 12:44
583
projred1__1565_53.min1.thm1
2017-02-06 12:44
759
projred1__1566_67.min1.thm1
2017-02-06 12:44
2.2K
projred1__1568_23.min1.thm1
2017-02-06 12:44
3.0K
projred1__1575_35.min1.thm1
2017-02-06 12:44
2.3K
projred1__1576_41.min1.thm1
2017-02-06 12:44
1.8K
projred1__1578_23.min1.thm1
2017-02-06 12:44
1.2K
projred1__1581_48.min1.thm1
2017-02-06 12:44
896
projred1__1583_26.min1.thm1
2017-02-06 12:44
2.7K
projred1__1591_44.min1.thm1
2017-02-06 12:44
583
projred1__1592_53.min1.thm1
2017-02-06 12:44
759
projred1__1602_23.min1.thm1
2017-02-06 12:44
2.0K
projred1__1610_41.min1.thm1
2017-02-06 12:44
1.9K
projred1__1612_23.min1.thm1
2017-02-06 12:44
1.2K
projred1__1614_36.min1.thm1
2017-02-06 12:44
797
projred1__1617_19.min1.thm1
2017-02-06 12:44
2.0K
projred1__1625_42.min1.thm1
2017-02-06 12:44
575
projred1__1626_67.min1.thm1
2017-02-06 12:44
741
projred1__1627_63.min1.thm1
2017-02-06 12:44
2.2K
projred1__1629_21.min1.thm1
2017-02-06 12:44
3.0K
projred1__1638_42.min1.thm1
2017-02-06 12:44
575
projred1__1639_51.min1.thm1
2017-02-06 12:44
741
projred1__1650_11.min1.thm1
2017-02-06 12:44
2.7K
projred1__1652_61.min1.thm1
2017-02-06 12:44
1.7K
projred1__1653_15.min1.thm1
2017-02-06 12:44
1.9K
projred1__1654_62.min1.thm1
2017-02-06 12:44
1.7K
projred1__1656_24.min1.thm1
2017-02-06 12:44
1.0K
projred1__1657_15.min1.thm1
2017-02-06 12:44
1.9K
projred1__1661_12.min1.thm1
2017-02-06 12:44
1.7K
projred1__1666_12.min1.thm1
2017-02-06 12:44
1.7K
projred1__1674_33.min1.thm1
2017-02-06 12:44
2.3K
projred1__1675_39.min1.thm1
2017-02-06 12:44
1.8K
projred1__1677_21.min1.thm1
2017-02-06 12:44
1.2K
projred1__1680_48.min1.thm1
2017-02-06 12:44
890
projred1__1682_20.min1.thm1
2017-02-06 12:44
2.7K
projred1__1688_39.min1.thm1
2017-02-06 12:44
1.8K
projred1__1690_21.min1.thm1
2017-02-06 12:44
1.2K
projred1__1692_34.min1.thm1
2017-02-06 12:44
707
projred1__1695_17.min1.thm1
2017-02-06 12:44
1.4K
projred1__1695_17.min1.thm1.tptp
2017-02-06 16:47
1.3K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80