Index of /~mptp/7.13.01_4.181.1147/mptp/ilp0/functor2

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]functor2__39_14.min1.thm12017-02-06 12:45 1.1K 
[ ]functor2__46_14.min1.thm12017-02-06 12:45 893  
[ ]functor2__48_14.min1.thm12017-02-06 12:45 893  
[ ]functor2__50_14.min1.thm12017-02-06 12:45 893  
[ ]functor2__52_14.min1.thm12017-02-06 12:45 893  
[ ]functor2__63_38.min1.thm12017-02-06 12:45 1.9K 
[ ]functor2__76_16.min1.thm12017-02-06 12:45 1.6K 
[ ]functor2__89_45.min1.thm12017-02-06 12:45 1.7K 
[ ]functor2__90_17.min1.thm12017-02-06 12:45 2.3K 
[ ]functor2__106_37.min1.thm12017-02-06 12:45 293  
[ ]functor2__107_28.min1.thm12017-02-06 12:45 1.4K 
[ ]functor2__108_21.min1.thm12017-02-06 12:45 803  
[ ]functor2__113_18.min1.thm12017-02-06 12:45 738  
[ ]functor2__113_18.min1.thm1.tptp2017-02-06 16:47 674  
[ ]functor2__126_53.min1.thm12017-02-06 12:45 277  
[ ]functor2__132_17.min1.thm12017-02-06 12:45 602  
[ ]functor2__132_17.min1.thm1.tptp2017-02-06 16:47 525  
[ ]functor2__133_18.min1.thm12017-02-06 12:45 1.9K 
[ ]functor2__135_38.min1.thm12017-02-06 12:45 1.9K 
[ ]functor2__136_19.min1.thm12017-02-06 12:45 710  
[ ]functor2__136_19.min1.thm1.tptp2017-02-06 16:47 647  
[ ]functor2__146_42.min1.thm12017-02-06 12:45 366  
[ ]functor2__146_42.min1.thm1.tptp2017-02-06 16:47 288  
[ ]functor2__147_31.min1.thm12017-02-06 12:45 687  
[ ]functor2__148_19.min1.thm12017-02-06 12:45 687  
[ ]functor2__150_22.min1.thm12017-02-06 12:45 2.7K 
[ ]functor2__166_35.min1.thm12017-02-06 12:45 2.1K 
[ ]functor2__167_16.min1.thm12017-02-06 12:45 634  
[ ]functor2__169_13.min1.thm12017-02-06 12:45 623  
[ ]functor2__185_53.min1.thm12017-02-06 12:45 581  
[ ]functor2__188_31.min1.thm12017-02-06 12:45 1.3K 
[ ]functor2__192_17.min1.thm12017-02-06 12:45 1.3K 
[ ]functor2__192_17.min1.thm1.tptp2017-02-06 16:47 1.2K 
[ ]functor2__195_55.min1.thm12017-02-06 12:45 1.9K 
[ ]functor2__198_15.min1.thm12017-02-06 12:45 1.2K 
[ ]functor2__198_15.min1.thm1.tptp2017-02-06 16:47 1.2K 
[ ]functor2__199_19.min1.thm12017-02-06 12:45 3.1K 
[ ]functor2__206_31.min1.thm12017-02-06 12:45 1.3K 
[ ]functor2__210_42.min1.thm12017-02-06 12:45 366  
[ ]functor2__210_42.min1.thm1.tptp2017-02-06 16:47 288  
[ ]functor2__211_67.min1.thm12017-02-06 12:45 2.1K 
[ ]functor2__212_27.min1.thm12017-02-06 12:45 1.4K 
[ ]functor2__212_27.min1.thm1.tptp2017-02-06 16:47 1.3K 
[ ]functor2__213_19.min1.thm12017-02-06 12:45 1.4K 
[ ]functor2__213_19.min1.thm1.tptp2017-02-06 16:47 1.3K 
[ ]functor2__214_59.min1.thm12017-02-06 12:45 2.1K 
[ ]functor2__216_22.min1.thm12017-02-06 12:45 2.8K 
[ ]functor2__236_40.min1.thm12017-02-06 12:45 356  
[ ]functor2__236_40.min1.thm1.tptp2017-02-06 16:47 278  
[ ]functor2__237_63.min1.thm12017-02-06 12:45 2.1K 
[ ]functor2__238_16.min1.thm12017-02-06 12:45 726  
[ ]functor2__238_16.min1.thm1.tptp2017-02-06 16:47 649  
[ ]functor2__239_56.min1.thm12017-02-06 12:45 2.1K 
[ ]functor2__241_17.min1.thm12017-02-06 12:45 2.7K 
[ ]functor2__252_69.min1.thm12017-02-06 12:45 2.3K 
[ ]functor2__253_19.min1.thm12017-02-06 12:45 1.5K 
[ ]functor2__268_26.min1.thm12017-02-06 12:45 1.4K 
[ ]functor2__269_49.min1.thm12017-02-06 12:45 3.4K 
[ ]functor2__270_29.min1.thm12017-02-06 12:45 2.0K 
[ ]functor2__271_15.min1.thm12017-02-06 12:45 3.1K 
[ ]functor2__273_27.min1.thm12017-02-06 12:45 2.7K 
[ ]functor2__276_26.min1.thm12017-02-06 12:45 1.4K 
[ ]functor2__277_49.min1.thm12017-02-06 12:45 3.4K 
[ ]functor2__278_29.min1.thm12017-02-06 12:45 2.0K 
[ ]functor2__279_15.min1.thm12017-02-06 12:45 3.3K 
[ ]functor2__281_17.min1.thm12017-02-06 12:45 2.7K 
[ ]functor2__298_32.min1.thm12017-02-06 12:45 1.4K 
[ ]functor2__299_31.min1.thm12017-02-06 12:45 1.4K 
[ ]functor2__302_26.min1.thm12017-02-06 12:45 1.5K 
[ ]functor2__303_47.min1.thm12017-02-06 12:45 1.9K 
[ ]functor2__304_51.min1.thm12017-02-06 12:45 3.6K 
[ ]functor2__305_32.min1.thm12017-02-06 12:45 3.9K 
[ ]functor2__306_34.min1.thm12017-02-06 12:45 5.5K 
[ ]functor2__307_32.min1.thm12017-02-06 12:45 3.9K 
[ ]functor2__308_30.min1.thm12017-02-06 12:45 3.6K 
[ ]functor2__310_17.min1.thm12017-02-06 12:45 3.9K 
[ ]functor2__324_20.min1.thm12017-02-06 12:45 834  
[ ]functor2__325_20.min1.thm12017-02-06 12:45 834  
[ ]functor2__326_38.min1.thm12017-02-06 12:45 2.0K 
[ ]functor2__327_21.min1.thm12017-02-06 12:45 2.0K 
[ ]functor2__328_21.min1.thm12017-02-06 12:45 3.7K 
[ ]functor2__329_13.min1.thm12017-02-06 12:45 1.3K 
[ ]functor2__330_21.min1.thm12017-02-06 12:45 1.6K 
[ ]functor2__331_21.min1.thm12017-02-06 12:45 3.7K 
[ ]functor2__332_22.min1.thm12017-02-06 12:45 2.0K 
[ ]functor2__333_25.min1.thm12017-02-06 12:45 2.0K 
[ ]functor2__347_30.min1.thm12017-02-06 12:45 1.0K 
[ ]functor2__349_16.min1.thm12017-02-06 12:45 2.5K 
[ ]functor2__355_66.min1.thm12017-02-06 12:45 707  
[ ]functor2__376_25.min1.thm12017-02-06 12:45 1.6K 
[ ]functor2__377_25.min1.thm12017-02-06 12:45 1.6K 
[ ]functor2__378_26.min1.thm12017-02-06 12:45 1.6K 
[ ]functor2__379_26.min1.thm12017-02-06 12:45 1.6K 
[ ]functor2__383_25.min1.thm12017-02-06 12:45 2.4K 
[ ]functor2__385_27.min1.thm12017-02-06 12:45 2.4K 
[ ]functor2__386_27.min1.thm12017-02-06 12:45 2.4K 
[ ]functor2__387_51.min1.thm12017-02-06 12:45 4.0K 
[ ]functor2__388_25.min1.thm12017-02-06 12:45 6.3K 
[ ]functor2__389_28.min1.thm12017-02-06 12:45 3.2K 
[ ]functor2__390_26.min1.thm12017-02-06 12:45 6.3K 
[ ]functor2__391_28.min1.thm12017-02-06 12:45 3.2K 
[ ]functor2__392_30.min1.thm12017-02-06 12:45 6.3K 
[ ]functor2__393_28.min1.thm12017-02-06 12:45 4.0K 
[ ]functor2__412_34.min1.thm12017-02-06 12:45 1.6K 
[ ]functor2__426_14.min1.thm12017-02-06 12:45 2.7K 
[ ]functor2__436_77.min1.thm12017-02-06 12:45 2.9K 
[ ]functor2__438_19.min1.thm12017-02-06 12:45 3.0K 
[ ]functor2__452_41.min1.thm12017-02-06 12:45 1.7K 
[ ]functor2__455_64.min1.thm12017-02-06 12:45 4.6K 
[ ]functor2__456_59.min1.thm12017-02-06 12:45 2.2K 
[ ]functor2__460_53.min1.thm12017-02-06 12:45 4.4K 
[ ]functor2__461_16.min1.thm12017-02-06 12:45 2.5K 
[ ]functor2__463_13.min1.thm12017-02-06 12:45 3.9K 
[ ]functor2__476_32.min1.thm12017-02-06 12:45 1.8K 
[ ]functor2__478_26.min1.thm12017-02-06 12:45 2.3K 
[ ]functor2__479_16.min1.thm12017-02-06 12:45 2.3K 
[ ]functor2__496_57.min1.thm12017-02-06 12:45 2.1K 
[ ]functor2__497_17.min1.thm12017-02-06 12:45 3.6K 
[ ]functor2__514_41.min1.thm12017-02-06 12:45 1.7K 
[ ]functor2__516_32.min1.thm12017-02-06 12:45 1.8K 
[ ]functor2__517_59.min1.thm12017-02-06 12:45 2.2K 
[ ]functor2__518_40.min1.thm12017-02-06 12:45 1.7K 
[ ]functor2__555_54.min1.thm12017-02-06 12:45 1.0K 
[ ]functor2__560_45.min1.thm12017-02-06 12:45 1.1K 
[ ]functor2__561_25.min1.thm12017-02-06 12:45 1.3K 
[ ]functor2__563_20.min1.thm12017-02-06 12:45 650  
[ ]functor2__564_50.min1.thm12017-02-06 12:45 1.0K 
[ ]functor2__567_23.min1.thm12017-02-06 12:45 516  
[ ]functor2__571_49.min1.thm12017-02-06 12:45 1.1K 
[ ]functor2__578_36.min1.thm12017-02-06 12:45 520  
[ ]functor2__578_36.min1.thm1.tptp2017-02-06 16:47 451  
[ ]functor2__580_23.min1.thm12017-02-06 12:45 1.2K 
[ ]functor2__587_36.min1.thm12017-02-06 12:45 586  
[ ]functor2__587_36.min1.thm1.tptp2017-02-06 16:47 509  
[ ]functor2__588_23.min1.thm12017-02-06 12:45 765  
[ ]functor2__592_20.min1.thm12017-02-06 12:45 650  
[ ]functor2__595_23.min1.thm12017-02-06 12:45 710  
[ ]functor2__597_18.min1.thm12017-02-06 12:45 735  
[ ]functor2__598_27.min1.thm12017-02-06 12:45 759  
[ ]functor2__599_21.min1.thm12017-02-06 12:45 1.3K 
[ ]functor2__601_15.min1.thm12017-02-06 12:45 285  
[ ]functor2__613_54.min1.thm12017-02-06 12:45 418  
[ ]functor2__614_38.min1.thm12017-02-06 12:45 573  
[ ]functor2__614_38.min1.thm1.tptp2017-02-06 16:47 492  
[ ]functor2__616_24.min1.thm12017-02-06 12:45 378  
[ ]functor2__616_24.min1.thm1.tptp2017-02-06 16:47 318  
[ ]functor2__618_15.min1.thm12017-02-06 12:45 365  
[ ]functor2__620_13.min1.thm12017-02-06 12:45 131  
[ ]functor2__636_40.min1.thm12017-02-06 12:45 452  
[ ]functor2__636_40.min1.thm1.tptp2017-02-06 16:47 372  
[ ]functor2__642_54.min1.thm12017-02-06 12:45 844  
[ ]functor2__659_13.min1.thm12017-02-06 12:45 1.5K 
[ ]functor2__660_21.min1.thm12017-02-06 12:45 810  
[ ]functor2__674_18.min1.thm12017-02-06 12:45 2.4K 
[ ]functor2__677_60.min1.thm12017-02-06 12:45 566  
[ ]functor2__679_28.min1.thm12017-02-06 12:45 2.7K 
[ ]functor2__681_15.min1.thm12017-02-06 12:45 1.7K 
[ ]functor2__682_31.min1.thm12017-02-06 12:45 134  
[ ]functor2__688_43.min1.thm12017-02-06 12:45 926  
[ ]functor2__697_21.min1.thm12017-02-06 12:45 1.7K 
[ ]functor2__712_22.min1.thm12017-02-06 12:45 591  
[ ]functor2__712_22.min1.thm1.tptp2017-02-06 16:47 549  
[ ]functor2__713_53.min1.thm12017-02-06 12:45 514  
[ ]functor2__713_53.min1.thm1.tptp2017-02-06 16:47 436  
[ ]functor2__714_66.min1.thm12017-02-06 12:45 1.3K 
[ ]functor2__716_42.min1.thm12017-02-06 12:45 1.1K 
[ ]functor2__717_23.min1.thm12017-02-06 12:45 1.7K 
[ ]functor2__726_23.min1.thm12017-02-06 12:45 952  
[ ]functor2__732_16.min1.thm12017-02-06 12:45 1.8K 
[ ]functor2__734_45.min1.thm12017-02-06 12:45 1.3K 
[ ]functor2__735_27.min1.thm12017-02-06 12:45 732  
[ ]functor2__736_21.min1.thm12017-02-06 12:45 970  
[ ]functor2__748_58.min1.thm12017-02-06 12:45 622  
[ ]functor2__749_36.min1.thm12017-02-06 12:45 771  
[ ]functor2__749_36.min1.thm1.tptp2017-02-06 16:47 698  
[ ]functor2__751_19.min1.thm12017-02-06 12:45 374  
[ ]functor2__751_19.min1.thm1.tptp2017-02-06 16:47 314  
[ ]functor2__781_18.min1.thm12017-02-06 12:45 647  
[ ]functor2__781_18.min1.thm1.tptp2017-02-06 16:47 605  
[ ]functor2__782_59.min1.thm12017-02-06 12:45 1.4K 
[ ]functor2__786_55.min1.thm12017-02-06 12:45 361  
[ ]functor2__801_26.min1.thm12017-02-06 12:45 730  
[ ]functor2__802_23.min1.thm12017-02-06 12:45 880  
[ ]functor2__807_26.min1.thm12017-02-06 12:45 730  
[ ]functor2__812_64.min1.thm12017-02-06 12:45 2.1K 
[ ]functor2__813_36.min1.thm12017-02-06 12:45 2.1K 
[ ]functor2__818_44.min1.thm12017-02-06 12:45 388  
[ ]functor2__818_44.min1.thm1.tptp2017-02-06 16:47 310  
[ ]functor2__819_23.min1.thm12017-02-06 12:45 821  
[ ]functor2__819_23.min1.thm1.tptp2017-02-06 16:47 744  
[ ]functor2__820_67.min1.thm12017-02-06 12:45 3.8K 
[ ]functor2__822_25.min1.thm12017-02-06 12:45 1.4K 
[ ]functor2__826_22.min1.thm12017-02-06 12:45 691  
[ ]functor2__829_25.min1.thm12017-02-06 12:45 759  
[ ]functor2__831_35.min1.thm12017-02-06 12:45 792  
[ ]functor2__832_29.min1.thm12017-02-06 12:45 804  
[ ]functor2__833_30.min1.thm12017-02-06 12:45 1.3K 
[ ]functor2__834_23.min1.thm12017-02-06 12:45 1.0K 
[ ]functor2__845_59.min1.thm12017-02-06 12:45 647  
[ ]functor2__845_59.min1.thm1.tptp2017-02-06 16:47 570  
[ ]functor2__849_19.min1.thm12017-02-06 12:45 763  
[ ]functor2__849_19.min1.thm1.tptp2017-02-06 16:47 721  
[ ]functor2__852_19.min1.thm12017-02-06 12:45 647  
[ ]functor2__852_19.min1.thm1.tptp2017-02-06 16:47 605  
[ ]functor2__853_20.min1.thm12017-02-06 12:45 563  
[ ]functor2__854_51.min1.thm12017-02-06 12:45 384  
[ ]functor2__854_51.min1.thm1.tptp2017-02-06 16:47 304  
[ ]functor2__855_55.min1.thm12017-02-06 12:45 806  
[ ]functor2__856_38.min1.thm12017-02-06 12:45 2.2K 
[ ]functor2__857_21.min1.thm12017-02-06 12:45 2.3K 
[ ]functor2__858_42.min1.thm12017-02-06 12:45 2.6K 
[ ]functor2__859_33.min1.thm12017-02-06 12:45 2.7K 
[ ]functor2__862_78.min1.thm12017-02-06 12:45 2.0K 
[ ]functor2__865_47.min1.thm12017-02-06 12:45 1.1K 
[ ]functor2__870_22.min1.thm12017-02-06 12:45 2.4K 
[ ]functor2__871_24.min1.thm12017-02-06 12:45 1.4K 
[ ]functor2__875_24.min1.thm12017-02-06 12:45 1.4K 
[ ]functor2__884_19.min1.thm12017-02-06 12:45 890  
[ ]functor2__885_64.min1.thm12017-02-06 12:45 1.4K 
[ ]functor2__887_28.min1.thm12017-02-06 12:45 1.1K 
[ ]functor2__892_20.min1.thm12017-02-06 12:45 3.0K 
[ ]functor2__893_25.min1.thm12017-02-06 12:45 3.7K 
[ ]functor2__896_51.min1.thm12017-02-06 12:45 2.1K 
[ ]functor2__897_31.min1.thm12017-02-06 12:45 2.0K 
[ ]functor2__911_18.min1.thm12017-02-06 12:45 409  
[ ]functor2__911_18.min1.thm1.tptp2017-02-06 16:47 329  
[ ]functor2__922_23.min1.thm12017-02-06 12:45 2.9K 
[ ]functor2__923_45.min1.thm12017-02-06 12:45 2.5K 
[ ]functor2__928_23.min1.thm12017-02-06 12:45 2.9K 
[ ]functor2__929_45.min1.thm12017-02-06 12:45 2.5K 
[ ]functor2__933_44.min1.thm12017-02-06 12:45 2.0K 
[ ]functor2__935_23.min1.thm12017-02-06 12:45 4.9K 
[ ]functor2__936_21.min1.thm12017-02-06 12:45 4.6K 
[ ]functor2__938_65.min1.thm12017-02-06 12:45 2.2K 
[ ]functor2__940_38.min1.thm12017-02-06 12:45 1.8K 
[ ]functor2__950_44.min1.thm12017-02-06 12:45 1.5K 
[ ]functor2__952_45.min1.thm12017-02-06 12:45 669  
[ ]functor2__952_45.min1.thm1.tptp2017-02-06 16:47 615  
[ ]functor2__959_44.min1.thm12017-02-06 12:45 1.5K 
[ ]functor2__961_45.min1.thm12017-02-06 12:45 640  
[ ]functor2__961_45.min1.thm1.tptp2017-02-06 16:47 572  
[ ]functor2__972_23.min1.thm12017-02-06 12:45 1.1K 
[ ]functor2__973_51.min1.thm12017-02-06 12:45 379  
[ ]functor2__973_51.min1.thm1.tptp2017-02-06 16:47 299  
[ ]functor2__974_23.min1.thm12017-02-06 12:45 1.1K 
[ ]functor2__976_42.min1.thm12017-02-06 12:45 662  
[ ]functor2__977_23.min1.thm12017-02-06 12:45 1.1K 
[ ]functor2__978_46.min1.thm12017-02-06 12:45 662  
[ ]functor2__980_21.min1.thm12017-02-06 12:45 1.8K 
[ ]functor2__981_53.min1.thm12017-02-06 12:45 1.9K 
[ ]functor2__985_42.min1.thm12017-02-06 12:45 798  
[ ]functor2__985_42.min1.thm1.tptp2017-02-06 16:47 736  
[ ]functor2__986_59.min1.thm12017-02-06 12:45 1.4K 
[ ]functor2__991_20.min1.thm12017-02-06 12:45 1.8K 
[ ]functor2__996_19.min1.thm12017-02-06 12:45 3.5K 
[ ]functor2__1024_60.min1.thm12017-02-06 12:45 1.2K 
[ ]functor2__1025_60.min1.thm12017-02-06 12:45 1.2K 
[ ]functor2__1032_21.min1.thm12017-02-06 12:45 654  
[ ]functor2__1032_21.min1.thm1.tptp2017-02-06 16:47 594  
[ ]functor2__1044_60.min1.thm12017-02-06 12:45 1.2K 
[ ]functor2__1045_60.min1.thm12017-02-06 12:45 1.2K 
[ ]functor2__1046_60.min1.thm12017-02-06 12:45 1.2K 
[ ]functor2__1047_15.min1.thm12017-02-06 12:45 559  
[ ]functor2__1052_22.min1.thm12017-02-06 12:45 588  
[ ]functor2__1055_41.min1.thm12017-02-06 12:45 744  
[ ]functor2__1056_64.min1.thm12017-02-06 12:45 1.1K 
[ ]functor2__1060_43.min1.thm12017-02-06 12:45 853  
[ ]functor2__1061_54.min1.thm12017-02-06 12:45 2.7K 
[ ]functor2__1062_43.min1.thm12017-02-06 12:45 2.8K 
[ ]functor2__1064_29.min1.thm12017-02-06 12:45 2.3K 
[ ]functor2__1069_54.min1.thm12017-02-06 12:45 2.7K 
[ ]functor2__1070_43.min1.thm12017-02-06 12:45 2.8K 
[ ]functor2__1072_29.min1.thm12017-02-06 12:45 2.3K 
[ ]functor2__1076_27.min1.thm12017-02-06 12:45 3.6K 
[ ]functor2__1080_41.min1.thm12017-02-06 12:45 744  
[ ]functor2__1081_64.min1.thm12017-02-06 12:45 1.1K 
[ ]functor2__1085_43.min1.thm12017-02-06 12:45 853  
[ ]functor2__1086_54.min1.thm12017-02-06 12:45 2.7K 
[ ]functor2__1087_43.min1.thm12017-02-06 12:45 2.8K 
[ ]functor2__1089_29.min1.thm12017-02-06 12:45 2.3K 
[ ]functor2__1094_54.min1.thm12017-02-06 12:45 2.7K 
[ ]functor2__1095_43.min1.thm12017-02-06 12:45 2.8K 
[ ]functor2__1097_29.min1.thm12017-02-06 12:45 2.3K 
[ ]functor2__1101_27.min1.thm12017-02-06 12:45 3.6K 
[ ]functor2__1108_37.min1.thm12017-02-06 12:45 738  
[ ]functor2__1109_60.min1.thm12017-02-06 12:45 1.0K 
[ ]functor2__1111_50.min1.thm12017-02-06 12:45 2.6K 
[ ]functor2__1112_39.min1.thm12017-02-06 12:45 2.6K 
[ ]functor2__1114_25.min1.thm12017-02-06 12:45 2.2K 
[ ]functor2__1119_50.min1.thm12017-02-06 12:45 2.6K 
[ ]functor2__1120_39.min1.thm12017-02-06 12:45 2.6K 
[ ]functor2__1122_25.min1.thm12017-02-06 12:45 2.2K 
[ ]functor2__1133_25.min1.thm12017-02-06 12:45 751  
[ ]functor2__1135_46.min1.thm12017-02-06 12:45 1.6K 
[ ]functor2__1136_58.min1.thm12017-02-06 12:45 2.0K 
[ ]functor2__1137_25.min1.thm12017-02-06 12:45 751  
[ ]functor2__1139_46.min1.thm12017-02-06 12:45 1.6K 
[ ]functor2__1140_58.min1.thm12017-02-06 12:45 2.0K 
[ ]functor2__1144_22.min1.thm12017-02-06 12:45 1.9K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80