Index of /~mptp/7.13.01_4.181.1147/MPTP2/ilp0/partfun1

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]partfun1__48_35.min1.thm12017-02-06 12:46 637  
[ ]partfun1__50_55.min1.thm12017-02-06 12:46 1.0K 
[ ]partfun1__51_35.min1.thm12017-02-06 12:46 637  
[ ]partfun1__53_55.min1.thm12017-02-06 12:46 1.0K 
[ ]partfun1__54_18.min1.thm12017-02-06 12:46 899  
[ ]partfun1__57_35.min1.thm12017-02-06 12:46 517  
[ ]partfun1__57_35.min1.thm1.tptp2017-02-06 16:47 455  
[ ]partfun1__58_23.min1.thm12017-02-06 12:46 1.0K 
[ ]partfun1__62_23.min1.thm12017-02-06 12:46 1.2K 
[ ]partfun1__66_23.min1.thm12017-02-06 12:46 1.2K 
[ ]partfun1__69_16.min1.thm12017-02-06 12:46 226  
[ ]partfun1__80_36.min1.thm12017-02-06 12:46 623  
[ ]partfun1__81_36.min1.thm12017-02-06 12:46 631  
[ ]partfun1__82_31.min1.thm12017-02-06 12:46 499  
[ ]partfun1__82_31.min1.thm1.tptp2017-02-06 16:47 437  
[ ]partfun1__83_19.min1.thm12017-02-06 12:46 794  
[ ]partfun1__85_16.min1.thm12017-02-06 12:46 637  
[ ]partfun1__85_16.min1.thm1.tptp2017-02-06 16:47 573  
[ ]partfun1__97_20.min1.thm12017-02-06 12:46 439  
[ ]partfun1__97_20.min1.thm1.tptp2017-02-06 16:47 377  
[ ]partfun1__99_16.min1.thm12017-02-06 12:46 1.0K 
[ ]partfun1__100_15.min1.thm12017-02-06 12:46 532  
[ ]partfun1__101_17.min1.thm12017-02-06 12:46 1.0K 
[ ]partfun1__115_9.min1.thm12017-02-06 12:46 388  
[ ]partfun1__116_16.min1.thm12017-02-06 12:46 342  
[ ]partfun1__118_61.min1.thm12017-02-06 12:46 370  
[ ]partfun1__126_33.min1.thm12017-02-06 12:46 710  
[ ]partfun1__135_30.min1.thm12017-02-06 12:46 929  
[ ]partfun1__136_38.min1.thm12017-02-06 12:46 651  
[ ]partfun1__138_15.min1.thm12017-02-06 12:46 337  
[ ]partfun1__138_15.min1.thm1.tptp2017-02-06 16:47 251  
[ ]partfun1__153_38.min1.thm12017-02-06 12:46 1.1K 
[ ]partfun1__154_14.min1.thm12017-02-06 12:46 1.1K 
[ ]partfun1__163_19.min1.thm12017-02-06 12:46 610  
[ ]partfun1__164_15.min1.thm12017-02-06 12:46 424  
[ ]partfun1__164_15.min1.thm1.tptp2017-02-06 16:47 350  
[ ]partfun1__165_17.min1.thm12017-02-06 12:46 885  
[ ]partfun1__175_43.min1.thm12017-02-06 12:46 1.1K 
[ ]partfun1__176_17.min1.thm12017-02-06 12:46 1.4K 
[ ]partfun1__198_48.min1.thm12017-02-06 12:46 370  
[ ]partfun1__199_18.min1.thm12017-02-06 12:46 299  
[ ]partfun1__201_64.min1.thm12017-02-06 12:46 538  
[ ]partfun1__208_19.min1.thm12017-02-06 12:46 526  
[ ]partfun1__215_16.min1.thm12017-02-06 12:46 963  
[ ]partfun1__216_19.min1.thm12017-02-06 12:46 435  
[ ]partfun1__216_19.min1.thm1.tptp2017-02-06 16:47 357  
[ ]partfun1__217_39.min1.thm12017-02-06 12:46 1.1K 
[ ]partfun1__218_22.min1.thm12017-02-06 12:46 603  
[ ]partfun1__218_22.min1.thm1.tptp2017-02-06 16:47 544  
[ ]partfun1__220_15.min1.thm12017-02-06 12:46 891  
[ ]partfun1__221_17.min1.thm12017-02-06 12:46 1.1K 
[ ]partfun1__222_21.min1.thm12017-02-06 12:46 494  
[ ]partfun1__224_47.min1.thm12017-02-06 12:46 1.1K 
[ ]partfun1__229_19.min1.thm12017-02-06 12:46 1.1K 
[ ]partfun1__230_59.min1.thm12017-02-06 12:46 1.0K 
[ ]partfun1__234_15.min1.thm12017-02-06 12:46 495  
[ ]partfun1__235_29.min1.thm12017-02-06 12:46 628  
[ ]partfun1__236_21.min1.thm12017-02-06 12:46 1.4K 
[ ]partfun1__241_17.min1.thm12017-02-06 12:46 1.1K 
[ ]partfun1__242_26.min1.thm12017-02-06 12:46 1.9K 
[ ]partfun1__243_20.min1.thm12017-02-06 12:46 2.2K 
[ ]partfun1__244_21.min1.thm12017-02-06 12:46 1.4K 
[ ]partfun1__248_35.min1.thm12017-02-06 12:46 930  
[ ]partfun1__249_42.min1.thm12017-02-06 12:46 693  
[ ]partfun1__253_64.min1.thm12017-02-06 12:46 1.7K 
[ ]partfun1__254_46.min1.thm12017-02-06 12:46 1.5K 
[ ]partfun1__256_17.min1.thm12017-02-06 12:46 1.2K 
[ ]partfun1__256_17.min1.thm1.tptp2017-02-06 16:47 1.2K 
[ ]partfun1__267_61.min1.thm12017-02-06 12:46 271  
[ ]partfun1__268_50.min1.thm12017-02-06 12:46 349  
[ ]partfun1__280_37.min1.thm12017-02-06 12:46 513  
[ ]partfun1__280_37.min1.thm1.tptp2017-02-06 16:47 454  
[ ]partfun1__281_21.min1.thm12017-02-06 12:46 1.4K 
[ ]partfun1__286_30.min1.thm12017-02-06 12:46 283  
[ ]partfun1__287_19.min1.thm12017-02-06 12:46 592  
[ ]partfun1__289_16.min1.thm12017-02-06 12:46 423  
[ ]partfun1__299_17.min1.thm12017-02-06 12:46 1.3K 
[ ]partfun1__300_20.min1.thm12017-02-06 12:46 1.2K 
[ ]partfun1__301_19.min1.thm12017-02-06 12:46 1.8K 
[ ]partfun1__309_12.min1.thm12017-02-06 12:46 858  
[ ]partfun1__310_17.min1.thm12017-02-06 12:46 1.0K 
[ ]partfun1__317_12.min1.thm12017-02-06 12:46 858  
[ ]partfun1__318_17.min1.thm12017-02-06 12:46 1.0K 
[ ]partfun1__328_73.min1.thm12017-02-06 12:46 1.3K 
[ ]partfun1__329_17.min1.thm12017-02-06 12:46 1.2K 
[ ]partfun1__337_15.min1.thm12017-02-06 12:46 763  
[ ]partfun1__339_19.min1.thm12017-02-06 12:46 856  
[ ]partfun1__340_12.min1.thm12017-02-06 12:46 888  
[ ]partfun1__341_22.min1.thm12017-02-06 12:46 1.1K 
[ ]partfun1__342_17.min1.thm12017-02-06 12:46 1.0K 
[ ]partfun1__349_34.min1.thm12017-02-06 12:46 1.7K 
[ ]partfun1__350_17.min1.thm12017-02-06 12:46 1.8K 
[ ]partfun1__354_58.min1.thm12017-02-06 12:46 1.0K 
[ ]partfun1__361_14.min1.thm12017-02-06 12:46 1.0K 
[ ]partfun1__368_36.min1.thm12017-02-06 12:46 1.5K 
[ ]partfun1__373_59.min1.thm12017-02-06 12:46 1.0K 
[ ]partfun1__379_22.min1.thm12017-02-06 12:46 493  
[ ]partfun1__379_22.min1.thm1.tptp2017-02-06 16:47 422  
[ ]partfun1__380_45.min1.thm12017-02-06 12:46 1.0K 
[ ]partfun1__381_17.min1.thm12017-02-06 12:46 1.3K 
[ ]partfun1__390_47.min1.thm12017-02-06 12:46 1.2K 
[ ]partfun1__391_14.min1.thm12017-02-06 12:46 528  
[ ]partfun1__391_14.min1.thm1.tptp2017-02-06 16:47 468  
[ ]partfun1__401_37.min1.thm12017-02-06 12:46 1.3K 
[ ]partfun1__402_17.min1.thm12017-02-06 12:46 489  
[ ]partfun1__402_17.min1.thm1.tptp2017-02-06 16:47 423  
[ ]partfun1__413_38.min1.thm12017-02-06 12:46 1.5K 
[ ]partfun1__414_17.min1.thm12017-02-06 12:46 735  
[ ]partfun1__421_35.min1.thm12017-02-06 12:46 941  
[ ]partfun1__422_17.min1.thm12017-02-06 12:46 552  
[ ]partfun1__422_17.min1.thm1.tptp2017-02-06 16:47 481  
[ ]partfun1__434_18.min1.thm12017-02-06 12:46 545  
[ ]partfun1__436_17.min1.thm12017-02-06 12:46 493  
[ ]partfun1__437_15.min1.thm12017-02-06 12:46 435  
[ ]partfun1__438_17.min1.thm12017-02-06 12:46 692  
[ ]partfun1__447_34.min1.thm12017-02-06 12:46 1.0K 
[ ]partfun1__448_17.min1.thm12017-02-06 12:46 541  
[ ]partfun1__448_17.min1.thm1.tptp2017-02-06 16:47 476  
[ ]partfun1__460_20.min1.thm12017-02-06 12:46 650  
[ ]partfun1__461_19.min1.thm12017-02-06 12:46 900  
[ ]partfun1__463_17.min1.thm12017-02-06 12:46 1.4K 
[ ]partfun1__474_14.min1.thm12017-02-06 12:46 656  
[ ]partfun1__474_14.min1.thm1.tptp2017-02-06 16:47 589  
[ ]partfun1__481_37.min1.thm12017-02-06 12:46 690  
[ ]partfun1__482_17.min1.thm12017-02-06 12:46 1.1K 
[ ]partfun1__489_19.min1.thm12017-02-06 12:46 466  
[ ]partfun1__489_19.min1.thm1.tptp2017-02-06 16:47 395  
[ ]partfun1__490_17.min1.thm12017-02-06 12:46 1.7K 
[ ]partfun1__502_31.min1.thm12017-02-06 12:46 1.8K 
[ ]partfun1__503_26.min1.thm12017-02-06 12:46 586  
[ ]partfun1__504_19.min1.thm12017-02-06 12:46 2.8K 
[ ]partfun1__510_19.min1.thm12017-02-06 12:46 689  
[ ]partfun1__511_29.min1.thm12017-02-06 12:46 658  
[ ]partfun1__512_17.min1.thm12017-02-06 12:46 1.8K 
[ ]partfun1__523_19.min1.thm12017-02-06 12:46 689  
[ ]partfun1__524_24.min1.thm12017-02-06 12:46 633  
[ ]partfun1__525_20.min1.thm12017-02-06 12:46 849  
[ ]partfun1__526_14.min1.thm12017-02-06 12:46 664  
[ ]partfun1__535_31.min1.thm12017-02-06 12:46 724  
[ ]partfun1__536_17.min1.thm12017-02-06 12:46 2.7K 
[ ]partfun1__544_29.min1.thm12017-02-06 12:46 561  
[ ]partfun1__544_29.min1.thm1.tptp2017-02-06 16:47 494  
[ ]partfun1__550_23.min1.thm12017-02-06 12:46 647  
[ ]partfun1__554_18.min1.thm12017-02-06 12:46 1.5K 
[ ]partfun1__555_30.min1.thm12017-02-06 12:46 744  
[ ]partfun1__556_21.min1.thm12017-02-06 12:46 1.7K 
[ ]partfun1__562_24.min1.thm12017-02-06 12:46 709  
[ ]partfun1__563_24.min1.thm12017-02-06 12:46 1.4K 
[ ]partfun1__564_38.min1.thm12017-02-06 12:46 1.9K 
[ ]partfun1__580_15.min1.thm12017-02-06 12:46 674  
[ ]partfun1__581_26.min1.thm12017-02-06 12:46 706  
[ ]partfun1__582_19.min1.thm12017-02-06 12:46 1.4K 
[ ]partfun1__588_29.min1.thm12017-02-06 12:46 709  
[ ]partfun1__589_38.min1.thm12017-02-06 12:46 1.6K 
[ ]partfun1__604_33.min1.thm12017-02-06 12:46 734  
[ ]partfun1__605_19.min1.thm12017-02-06 12:46 1.4K 
[ ]partfun1__611_29.min1.thm12017-02-06 12:46 709  
[ ]partfun1__612_38.min1.thm12017-02-06 12:46 1.6K 
[ ]partfun1__622_65.min1.thm12017-02-06 12:46 1.0K 
[ ]partfun1__623_17.min1.thm12017-02-06 12:46 1.2K 
[ ]partfun1__636_24.min1.thm12017-02-06 12:46 584  
[ ]partfun1__637_19.min1.thm12017-02-06 12:46 1.4K 
[ ]partfun1__639_27.min1.thm12017-02-06 12:46 561  
[ ]partfun1__639_27.min1.thm1.tptp2017-02-06 16:47 494  
[ ]partfun1__641_28.min1.thm12017-02-06 12:46 656  
[ ]partfun1__642_48.min1.thm12017-02-06 12:46 1.2K 
[ ]partfun1__643_17.min1.thm12017-02-06 12:46 1.6K 
[ ]partfun1__647_50.min1.thm12017-02-06 12:46 525  
[ ]partfun1__653_13.min1.thm12017-02-06 12:46 1.0K 
[ ]partfun1__659_30.min1.thm12017-02-06 12:46 581  
[ ]partfun1__660_17.min1.thm12017-02-06 12:46 1.0K 
[ ]partfun1__676_17.min1.thm12017-02-06 12:46 659  
[ ]partfun1__679_26.min1.thm12017-02-06 12:46 946  
[ ]partfun1__680_24.min1.thm12017-02-06 12:46 730  
[ ]partfun1__682_19.min1.thm12017-02-06 12:46 859  
[ ]partfun1__683_19.min1.thm12017-02-06 12:46 715  
[ ]partfun1__684_26.min1.thm12017-02-06 12:46 856  
[ ]partfun1__688_27.min1.thm12017-02-06 12:46 857  
[ ]partfun1__689_19.min1.thm12017-02-06 12:46 795  
[ ]partfun1__690_19.min1.thm12017-02-06 12:46 772  
[ ]partfun1__691_25.min1.thm12017-02-06 12:46 1.1K 
[ ]partfun1__701_18.min1.thm12017-02-06 12:46 659  
[ ]partfun1__704_27.min1.thm12017-02-06 12:46 946  
[ ]partfun1__705_24.min1.thm12017-02-06 12:46 730  
[ ]partfun1__707_20.min1.thm12017-02-06 12:46 859  
[ ]partfun1__708_19.min1.thm12017-02-06 12:46 715  
[ ]partfun1__709_26.min1.thm12017-02-06 12:46 856  
[ ]partfun1__727_21.min1.thm12017-02-06 12:46 1.0K 
[ ]partfun1__729_19.min1.thm12017-02-06 12:46 763  
[ ]partfun1__730_17.min1.thm12017-02-06 12:46 735  
[ ]partfun1__731_24.min1.thm12017-02-06 12:46 584  
[ ]partfun1__733_28.min1.thm12017-02-06 12:46 633  
[ ]partfun1__734_19.min1.thm12017-02-06 12:46 1.0K 
[ ]partfun1__735_24.min1.thm12017-02-06 12:46 902  
[ ]partfun1__737_27.min1.thm12017-02-06 12:46 1.7K 
[ ]partfun1__738_45.min1.thm12017-02-06 12:46 2.4K 
[ ]partfun1__747_22.min1.thm12017-02-06 12:46 1.0K 
[ ]partfun1__749_20.min1.thm12017-02-06 12:46 763  
[ ]partfun1__750_17.min1.thm12017-02-06 12:46 735  
[ ]partfun1__751_24.min1.thm12017-02-06 12:46 584  
[ ]partfun1__753_29.min1.thm12017-02-06 12:46 633  
[ ]partfun1__754_19.min1.thm12017-02-06 12:46 1.0K 
[ ]partfun1__755_24.min1.thm12017-02-06 12:46 902  
[ ]partfun1__757_28.min1.thm12017-02-06 12:46 1.7K 
[ ]partfun1__758_17.min1.thm12017-02-06 12:46 736  
[ ]partfun1__760_26.min1.thm12017-02-06 12:46 2.0K 
[ ]partfun1__761_35.min1.thm12017-02-06 12:46 1.1K 
[ ]partfun1__762_19.min1.thm12017-02-06 12:46 815  
[ ]partfun1__763_27.min1.thm12017-02-06 12:46 795  
[ ]partfun1__764_35.min1.thm12017-02-06 12:46 858  
[ ]partfun1__769_41.min1.thm12017-02-06 12:46 899  
[ ]partfun1__778_28.min1.thm12017-02-06 12:46 458  
[ ]partfun1__779_17.min1.thm12017-02-06 12:46 869  
[ ]partfun1__789_30.min1.thm12017-02-06 12:46 486  
[ ]partfun1__796_27.min1.thm12017-02-06 12:46 1.2K 
[ ]partfun1__799_24.min1.thm12017-02-06 12:46 1.4K 
[ ]partfun1__800_16.min1.thm12017-02-06 12:46 792  
[ ]partfun1__802_15.min1.thm12017-02-06 12:46 755  
[ ]partfun1__803_31.min1.thm12017-02-06 12:46 551  
[ ]partfun1__803_31.min1.thm1.tptp2017-02-06 16:47 484  
[ ]partfun1__804_24.min1.thm12017-02-06 12:46 1.0K 
[ ]partfun1__806_21.min1.thm12017-02-06 12:46 1.0K 
[ ]partfun1__807_31.min1.thm12017-02-06 12:46 566  
[ ]partfun1__807_31.min1.thm1.tptp2017-02-06 16:47 499  
[ ]partfun1__809_21.min1.thm12017-02-06 12:46 1.1K 
[ ]partfun1__813_33.min1.thm12017-02-06 12:46 715  
[ ]partfun1__815_22.min1.thm12017-02-06 12:46 624  
[ ]partfun1__818_15.min1.thm12017-02-06 12:46 598  
[ ]partfun1__819_20.min1.thm12017-02-06 12:46 701  
[ ]partfun1__820_18.min1.thm12017-02-06 12:46 1.0K 
[ ]partfun1__821_30.min1.thm12017-02-06 12:46 1.1K 
[ ]partfun1__822_60.min1.thm12017-02-06 12:46 1.8K 
[ ]partfun1__824_19.min1.thm12017-02-06 12:46 1.5K 
[ ]partfun1__827_41.min1.thm12017-02-06 12:46 662  
[ ]partfun1__827_41.min1.thm1.tptp2017-02-06 16:47 602  
[ ]partfun1__831_30.min1.thm12017-02-06 12:46 549  
[ ]partfun1__831_30.min1.thm1.tptp2017-02-06 16:47 482  
[ ]partfun1__834_30.min1.thm12017-02-06 12:46 1.5K 
[ ]partfun1__837_15.min1.thm12017-02-06 12:46 1.3K 
[ ]partfun1__838_21.min1.thm12017-02-06 12:46 701  
[ ]partfun1__839_18.min1.thm12017-02-06 12:46 1.0K 
[ ]partfun1__840_29.min1.thm12017-02-06 12:46 1.1K 
[ ]partfun1__841_62.min1.thm12017-02-06 12:46 1.8K 
[ ]partfun1__843_19.min1.thm12017-02-06 12:46 1.5K 
[ ]partfun1__845_17.min1.thm12017-02-06 12:46 2.0K 
[ ]partfun1__852_38.min1.thm12017-02-06 12:46 1.0K 
[ ]partfun1__853_25.min1.thm12017-02-06 12:46 643  
[ ]partfun1__854_24.min1.thm12017-02-06 12:46 679  
[ ]partfun1__873_18.min1.thm12017-02-06 12:46 1.1K 
[ ]partfun1__884_21.min1.thm12017-02-06 12:46 1.2K 
[ ]partfun1__894_29.min1.thm12017-02-06 12:46 561  
[ ]partfun1__894_29.min1.thm1.tptp2017-02-06 16:47 494  
[ ]partfun1__897_17.min1.thm12017-02-06 12:46 1.0K 
[ ]partfun1__903_14.min1.thm12017-02-06 12:46 365  
[ ]partfun1__904_17.min1.thm12017-02-06 12:46 736  
[ ]partfun1__918_24.min1.thm12017-02-06 12:46 1.1K 
[ ]partfun1__919_19.min1.thm12017-02-06 12:46 1.4K 
[ ]partfun1__921_28.min1.thm12017-02-06 12:46 1.3K 
[ ]partfun1__930_25.min1.thm12017-02-06 12:46 937  
[ ]partfun1__934_23.min1.thm12017-02-06 12:46 662  
[ ]partfun1__935_51.min1.thm12017-02-06 12:46 1.8K 
[ ]partfun1__936_17.min1.thm12017-02-06 12:46 1.6K 
[ ]partfun1__950_23.min1.thm12017-02-06 12:46 1.2K 
[ ]partfun1__951_19.min1.thm12017-02-06 12:46 1.4K 
[ ]partfun1__953_28.min1.thm12017-02-06 12:46 1.3K 
[ ]partfun1__971_6.min1.thm12017-02-06 12:46 633  
[ ]partfun1__981_19.min1.thm12017-02-06 12:46 547  
[ ]partfun1__982_21.min1.thm12017-02-06 12:46 887  
[ ]partfun1__983_24.min1.thm12017-02-06 12:46 707  
[ ]partfun1__984_21.min1.thm12017-02-06 12:46 1.3K 
[ ]partfun1__995_75.min1.thm12017-02-06 12:46 560  
[ ]partfun1__996_21.min1.thm12017-02-06 12:46 709  
[ ]partfun1__996_21.min1.thm1.tptp2017-02-06 16:47 646  
[ ]partfun1__998_19.min1.thm12017-02-06 12:46 374  
[ ]partfun1__998_19.min1.thm1.tptp2017-02-06 16:47 314  
[ ]partfun1__1007_53.min1.thm12017-02-06 12:46 932  
[ ]partfun1__1008_19.min1.thm12017-02-06 12:46 826  
[ ]partfun1__1016_28.min1.thm12017-02-06 12:46 1.0K 
[ ]partfun1__1017_17.min1.thm12017-02-06 12:46 1.1K 
[ ]partfun1__1025_64.min1.thm12017-02-06 12:46 589  
[ ]partfun1__1025_64.min1.thm1.tptp2017-02-06 16:47 541  
[ ]partfun1__1026_17.min1.thm12017-02-06 12:46 602  
[ ]partfun1__1026_17.min1.thm1.tptp2017-02-06 16:47 544  
[ ]partfun1__1030_66.min1.thm12017-02-06 12:46 563  
[ ]partfun1__1040_35.min1.thm12017-02-06 12:46 500  
[ ]partfun1__1040_35.min1.thm1.tptp2017-02-06 16:47 429  
[ ]partfun1__1041_18.min1.thm12017-02-06 12:46 566  
[ ]partfun1__1043_29.min1.thm12017-02-06 12:46 453  
[ ]partfun1__1044_19.min1.thm12017-02-06 12:46 517  
[ ]partfun1__1044_19.min1.thm1.tptp2017-02-06 16:47 448  
[ ]partfun1__1046_17.min1.thm12017-02-06 12:46 393  
[ ]partfun1__1046_17.min1.thm1.tptp2017-02-06 16:47 337  
[ ]partfun1__1057_35.min1.thm12017-02-06 12:46 500  
[ ]partfun1__1057_35.min1.thm1.tptp2017-02-06 16:47 429  
[ ]partfun1__1058_18.min1.thm12017-02-06 12:46 566  
[ ]partfun1__1060_29.min1.thm12017-02-06 12:46 453  
[ ]partfun1__1061_19.min1.thm12017-02-06 12:46 517  
[ ]partfun1__1061_19.min1.thm1.tptp2017-02-06 16:47 448  
[ ]partfun1__1063_17.min1.thm12017-02-06 12:46 393  
[ ]partfun1__1063_17.min1.thm1.tptp2017-02-06 16:47 337  
[ ]partfun1__1073_32.min1.thm12017-02-06 12:46 494  
[ ]partfun1__1073_32.min1.thm1.tptp2017-02-06 16:47 423  
[ ]partfun1__1074_32.min1.thm12017-02-06 12:46 708  
[ ]partfun1__1075_17.min1.thm12017-02-06 12:46 494  
[ ]partfun1__1075_17.min1.thm1.tptp2017-02-06 16:47 423  
[ ]partfun1__1085_13.min1.thm12017-02-06 12:46 270  
[ ]partfun1__1086_10.min1.thm12017-02-06 12:46 511  
[ ]partfun1__1111_18.min1.thm12017-02-06 12:46 368  
[ ]partfun1__1115_22.min1.thm12017-02-06 12:46 482  
[ ]partfun1__1116_48.min1.thm12017-02-06 12:46 454  
[ ]partfun1__1116_48.min1.thm1.tptp2017-02-06 16:47 373  
[ ]partfun1__1118_17.min1.thm12017-02-06 12:46 1.2K 
[ ]partfun1__1127_32.min1.thm12017-02-06 12:46 409  
[ ]partfun1__1127_32.min1.thm1.tptp2017-02-06 16:47 335  
[ ]partfun1__1128_17.min1.thm12017-02-06 12:46 845  
[ ]partfun1__1132_57.min1.thm12017-02-06 12:46 680  
[ ]partfun1__1141_40.min1.thm12017-02-06 12:46 918  
[ ]partfun1__1142_17.min1.thm12017-02-06 12:46 809  
[ ]partfun1__1150_28.min1.thm12017-02-06 12:46 955  
[ ]partfun1__1151_17.min1.thm12017-02-06 12:46 809  
[ ]partfun1__1155_68.min1.thm12017-02-06 12:46 512  
[ ]partfun1__1164_21.min1.thm12017-02-06 12:46 1.4K 
[ ]partfun1__1169_17.min1.thm12017-02-06 12:46 1.2K 
[ ]partfun1__1171_16.min1.thm12017-02-06 12:46 1.6K 
[ ]partfun1__1172_15.min1.thm12017-02-06 12:46 1.3K 
[ ]partfun1__1173_29.min1.thm12017-02-06 12:46 1.9K 
[ ]partfun1__1181_13.min1.thm12017-02-06 12:46 336  
[ ]partfun1__1181_13.min1.thm1.tptp2017-02-06 16:47 263  
[ ]partfun1__1182_17.min1.thm12017-02-06 12:46 845  
[ ]partfun1__1189_20.min1.thm12017-02-06 12:46 277  
[ ]partfun1__1190_17.min1.thm12017-02-06 12:46 504  
[ ]partfun1__1200_20.min1.thm12017-02-06 12:46 1.2K 
[ ]partfun1__1202_14.min1.thm12017-02-06 12:46 642  
[ ]partfun1__1203_15.min1.thm12017-02-06 12:46 1.3K 
[ ]partfun1__1204_17.min1.thm12017-02-06 12:46 763  
[ ]partfun1__1211_15.min1.thm12017-02-06 12:46 379  
[ ]partfun1__1211_15.min1.thm1.tptp2017-02-06 16:47 301  
[ ]partfun1__1212_17.min1.thm12017-02-06 12:46 902  
[ ]partfun1__1219_16.min1.thm12017-02-06 12:46 379  
[ ]partfun1__1219_16.min1.thm1.tptp2017-02-06 16:47 301  
[ ]partfun1__1220_17.min1.thm12017-02-06 12:46 902  
[ ]partfun1__1227_37.min1.thm12017-02-06 12:46 690  
[ ]partfun1__1228_23.min1.thm12017-02-06 12:46 558  
[ ]partfun1__1228_23.min1.thm1.tptp2017-02-06 16:47 487  
[ ]partfun1__1229_17.min1.thm12017-02-06 12:46 1.2K 
[ ]partfun1__1233_53.min1.thm12017-02-06 12:46 480  
[ ]partfun1__1233_53.min1.thm1.tptp2017-02-06 16:47 445  
[ ]partfun1__1241_17.min1.thm12017-02-06 12:46 1.3K 
[ ]partfun1__1255_20.min1.thm12017-02-06 12:46 1.2K 
[ ]partfun1__1256_29.min1.thm12017-02-06 12:46 2.1K 
[ ]partfun1__1259_15.min1.thm12017-02-06 12:46 1.3K 
[ ]partfun1__1260_29.min1.thm12017-02-06 12:46 2.1K 
[ ]partfun1__1273_13.min1.thm12017-02-06 12:46 191  
[ ]partfun1__1276_58.min1.thm12017-02-06 12:46 2.3K 
[ ]partfun1__1277_21.min1.thm12017-02-06 12:46 1.9K 
[ ]partfun1__1289_19.min1.thm12017-02-06 12:46 816  
[ ]partfun1__1293_44.min1.thm12017-02-06 12:46 434  
[ ]partfun1__1294_34.min1.thm12017-02-06 12:46 1.3K 
[ ]partfun1__1295_48.min1.thm12017-02-06 12:46 2.2K 
[ ]partfun1__1296_66.min1.thm12017-02-06 12:46 584  
[ ]partfun1__1302_65.min1.thm12017-02-06 12:46 1.0K 
[ ]partfun1__1302_65.min1.thm1.tptp2017-02-06 16:47 1.0K 
[ ]partfun1__1308_65.min1.thm12017-02-06 12:46 1.0K 
[ ]partfun1__1308_65.min1.thm1.tptp2017-02-06 16:47 1.0K 
[ ]partfun1__1312_24.min1.thm12017-02-06 12:46 849  
[ ]partfun1__1315_20.min1.thm12017-02-06 12:46 1.1K 
[ ]partfun1__1327_18.min1.thm12017-02-06 12:46 658  
[ ]partfun1__1328_17.min1.thm12017-02-06 12:46 814  
[ ]partfun1__1331_25.min1.thm12017-02-06 12:46 2.3K 
[ ]partfun1__1332_25.min1.thm12017-02-06 12:46 1.2K 
[ ]partfun1__1336_25.min1.thm12017-02-06 12:46 2.0K 
[ ]partfun1__1337_25.min1.thm12017-02-06 12:46 1.3K 
[ ]partfun1__1341_25.min1.thm12017-02-06 12:46 2.0K 
[ ]partfun1__1342_25.min1.thm12017-02-06 12:46 1.3K 
[ ]partfun1__1346_23.min1.thm12017-02-06 12:46 1.2K 
[ ]partfun1__1347_25.min1.thm12017-02-06 12:46 595  
[ ]partfun1__1350_50.min1.thm12017-02-06 12:46 809  
[ ]partfun1__1355_26.min1.thm12017-02-06 12:46 1.2K 
[ ]partfun1__1356_23.min1.thm12017-02-06 12:46 2.1K 
[ ]partfun1__1362_26.min1.thm12017-02-06 12:46 1.2K 
[ ]partfun1__1363_23.min1.thm12017-02-06 12:46 2.1K 
[ ]partfun1__1365_20.min1.thm12017-02-06 12:46 1.0K 
[ ]partfun1__1366_21.min1.thm12017-02-06 12:46 858  
[ ]partfun1__1369_14.min1.thm12017-02-06 12:46 554  
[ ]partfun1__1389_20.min1.thm12017-02-06 12:46 790  
[ ]partfun1__1389_20.min1.thm1.tptp2017-02-06 16:47 743  
[ ]partfun1__1392_25.min1.thm12017-02-06 12:46 527  
[ ]partfun1__1392_25.min1.thm1.tptp2017-02-06 16:47 456  
[ ]partfun1__1393_21.min1.thm12017-02-06 12:46 1.0K 
[ ]partfun1__1395_16.min1.thm12017-02-06 12:46 776  
[ ]partfun1__1416_73.min1.thm12017-02-06 12:46 881  
[ ]partfun1__1417_14.min1.thm12017-02-06 12:46 459  
[ ]partfun1__1426_73.min1.thm12017-02-06 12:46 1.0K 
[ ]partfun1__1427_14.min1.thm12017-02-06 12:46 387  
[ ]partfun1__1438_73.min1.thm12017-02-06 12:46 1.0K 
[ ]partfun1__1439_14.min1.thm12017-02-06 12:46 387  
[ ]partfun1__1473_13.min1.thm12017-02-06 12:46 901  
[ ]partfun1__1474_23.min1.thm12017-02-06 12:46 887  
[ ]partfun1__1476_20.min1.thm12017-02-06 12:46 1.2K 
[ ]partfun1__1478_19.min1.thm12017-02-06 12:46 445  
[ ]partfun1__1478_19.min1.thm1.tptp2017-02-06 16:47 389  
[ ]partfun1__1481_25.min1.thm12017-02-06 12:46 425  
[ ]partfun1__1481_25.min1.thm1.tptp2017-02-06 16:47 360  
[ ]partfun1__1482_17.min1.thm12017-02-06 12:46 690  
[ ]partfun1__1486_56.min1.thm12017-02-06 12:46 1.2K 
[ ]partfun1__1489_57.min1.thm12017-02-06 12:46 1.2K 
[ ]partfun1__1500_22.min1.thm12017-02-06 12:46 1.3K 
[ ]partfun1__1501_22.min1.thm12017-02-06 12:46 1.4K 
[ ]partfun1__1502_36.min1.thm12017-02-06 12:46 932  
[ ]partfun1__1503_20.min1.thm12017-02-06 12:46 1.2K 
[ ]partfun1__1504_18.min1.thm12017-02-06 12:46 1.2K 
[ ]partfun1__1516_38.min1.thm12017-02-06 12:46 1.2K 
[ ]partfun1__1517_41.min1.thm12017-02-06 12:46 751  
[ ]partfun1__1526_20.min1.thm12017-02-06 12:46 645  
[ ]partfun1__1536_28.min1.thm12017-02-06 12:46 426  
[ ]partfun1__1540_18.min1.thm12017-02-06 12:46 970  
[ ]partfun1__1549_19.min1.thm12017-02-06 12:46 787  
[ ]partfun1__1554_18.min1.thm12017-02-06 12:46 775  
[ ]partfun1__1559_18.min1.thm12017-02-06 12:46 848  
[ ]partfun1__1565_31.min1.thm12017-02-06 12:46 733  
[ ]partfun1__1566_17.min1.thm12017-02-06 12:46 666  
[ ]partfun1__1574_43.min1.thm12017-02-06 12:46 322  
[ ]partfun1__1576_18.min1.thm12017-02-06 12:46 875  
[ ]partfun1__1591_36.min1.thm12017-02-06 12:46 679  
[ ]partfun1__1593_31.min1.thm12017-02-06 12:46 886  
[ ]partfun1__1596_19.min1.thm12017-02-06 12:46 679  
[ ]partfun1__1597_35.min1.thm12017-02-06 12:46 1.2K 
[ ]partfun1__1598_19.min1.thm12017-02-06 12:46 1.2K 
[ ]partfun1__1605_14.min1.thm12017-02-06 12:46 460  
[ ]partfun1__1605_14.min1.thm1.tptp2017-02-06 16:47 395  
[ ]partfun1__1611_14.min1.thm12017-02-06 12:46 512  
[ ]partfun1__1611_14.min1.thm1.tptp2017-02-06 16:47 443  
[ ]partfun1__1623_16.min1.thm12017-02-06 12:46 802  
[ ]partfun1__1637_17.min1.thm12017-02-06 12:46 927  
[ ]partfun1__1639_33.min1.thm12017-02-06 12:46 768  
[ ]partfun1__1640_17.min1.thm12017-02-06 12:46 666  
[ ]partfun1__1657_13.min1.thm12017-02-06 12:46 571  
[ ]partfun1__1660_13.min1.thm12017-02-06 12:46 571  
[ ]partfun1__1661_33.min1.thm12017-02-06 12:46 515  
[ ]partfun1__1662_20.min1.thm12017-02-06 12:46 882  
[ ]partfun1__1663_18.min1.thm12017-02-06 12:46 1.1K 
[ ]partfun1__1670_14.min1.thm12017-02-06 12:46 415  
[ ]partfun1__1670_14.min1.thm1.tptp2017-02-06 16:47 360  
[ ]partfun1__1671_31.min1.thm12017-02-06 12:46 371  
[ ]partfun1__1671_31.min1.thm1.tptp2017-02-06 16:47 294  
[ ]partfun1__1672_9.min1.thm12017-02-06 12:46 161  
[ ]partfun1__1673_32.min1.thm12017-02-06 12:46 729  
[ ]partfun1__1675_17.min1.thm12017-02-06 12:46 940  
[ ]partfun1__1686_14.min1.thm12017-02-06 12:46 672  
[ ]partfun1__1696_62.min1.thm12017-02-06 12:46 1.1K 
[ ]partfun1__1698_15.min1.thm12017-02-06 12:46 556  
[ ]partfun1__1711_66.min1.thm12017-02-06 12:46 605  
[ ]partfun1__1711_66.min1.thm1.tptp2017-02-06 16:47 557  
[ ]partfun1__1712_16.min1.thm12017-02-06 12:46 384  
[ ]partfun1__1727_25.min1.thm12017-02-06 12:46 671  
[ ]partfun1__1728_25.min1.thm12017-02-06 12:46 671  
[ ]partfun1__1734_26.min1.thm12017-02-06 12:46 904  
[ ]partfun1__1735_19.min1.thm12017-02-06 12:46 584  
[ ]partfun1__1737_34.min1.thm12017-02-06 12:46 1.2K 
[ ]partfun1__1738_26.min1.thm12017-02-06 12:46 904  
[ ]partfun1__1739_32.min1.thm12017-02-06 12:46 1.3K 
[ ]partfun1__1741_17.min1.thm12017-02-06 12:46 1.4K 
[ ]partfun1__1753_17.min1.thm12017-02-06 12:46 599  
[ ]partfun1__1754_27.min1.thm12017-02-06 12:46 1.1K 
[ ]partfun1__1755_15.min1.thm12017-02-06 12:46 679  
[ ]partfun1__1756_16.min1.thm12017-02-06 12:46 634  
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80