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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]functor1__43_15.min1.thm12017-02-06 12:45 536  
[ ]functor1__43_15.min1.thm1.tptp2017-02-06 16:47 464  
[ ]functor1__52_41.min1.thm12017-02-06 12:45 369  
[ ]functor1__52_41.min1.thm1.tptp2017-02-06 16:47 287  
[ ]functor1__54_15.min1.thm12017-02-06 12:45 394  
[ ]functor1__54_15.min1.thm1.tptp2017-02-06 16:47 306  
[ ]functor1__73_40.min1.thm12017-02-06 12:45 847  
[ ]functor1__74_14.min1.thm12017-02-06 12:45 406  
[ ]functor1__75_17.min1.thm12017-02-06 12:45 871  
[ ]functor1__86_34.min1.thm12017-02-06 12:45 1.6K 
[ ]functor1__87_16.min1.thm12017-02-06 12:45 1.1K 
[ ]functor1__88_14.min1.thm12017-02-06 12:45 1.5K 
[ ]functor1__97_19.min1.thm12017-02-06 12:45 1.2K 
[ ]functor1__98_17.min1.thm12017-02-06 12:45 1.5K 
[ ]functor1__109_16.min1.thm12017-02-06 12:45 1.2K 
[ ]functor1__110_24.min1.thm12017-02-06 12:45 1.1K 
[ ]functor1__113_14.min1.thm12017-02-06 12:45 1.2K 
[ ]functor1__115_19.min1.thm12017-02-06 12:45 1.2K 
[ ]functor1__116_17.min1.thm12017-02-06 12:45 2.3K 
[ ]functor1__131_43.min1.thm12017-02-06 12:45 1.1K 
[ ]functor1__133_13.min1.thm12017-02-06 12:45 512  
[ ]functor1__133_13.min1.thm1.tptp2017-02-06 16:47 444  
[ ]functor1__146_34.min1.thm12017-02-06 12:45 1.5K 
[ ]functor1__149_13.min1.thm12017-02-06 12:45 764  
[ ]functor1__153_17.min1.thm12017-02-06 12:45 523  
[ ]functor1__154_16.min1.thm12017-02-06 12:45 1.2K 
[ ]functor1__158_25.min1.thm12017-02-06 12:45 1.6K 
[ ]functor1__160_40.min1.thm12017-02-06 12:45 756  
[ ]functor1__168_36.min1.thm12017-02-06 12:45 672  
[ ]functor1__175_35.min1.thm12017-02-06 12:45 1.1K 
[ ]functor1__176_20.min1.thm12017-02-06 12:45 788  
[ ]functor1__192_21.min1.thm12017-02-06 12:45 816  
[ ]functor1__193_25.min1.thm12017-02-06 12:45 814  
[ ]functor1__195_39.min1.thm12017-02-06 12:45 1.0K 
[ ]functor1__196_20.min1.thm12017-02-06 12:45 816  
[ ]functor1__197_19.min1.thm12017-02-06 12:45 814  
[ ]functor1__199_35.min1.thm12017-02-06 12:45 1.1K 
[ ]functor1__200_18.min1.thm12017-02-06 12:45 815  
[ ]functor1__201_17.min1.thm12017-02-06 12:45 2.1K 
[ ]functor1__217_74.min1.thm12017-02-06 12:45 1.4K 
[ ]functor1__234_19.min1.thm12017-02-06 12:45 822  
[ ]functor1__241_19.min1.thm12017-02-06 12:45 854  
[ ]functor1__251_19.min1.thm12017-02-06 12:45 1.5K 
[ ]functor1__272_16.min1.thm12017-02-06 12:45 1.2K 
[ ]functor1__274_20.min1.thm12017-02-06 12:45 1.3K 
[ ]functor1__277_16.min1.thm12017-02-06 12:45 1.2K 
[ ]functor1__278_23.min1.thm12017-02-06 12:45 1.3K 
[ ]functor1__322_21.min1.thm12017-02-06 12:45 1.5K 
[ ]functor1__325_17.min1.thm12017-02-06 12:45 231  
[ ]functor1__329_25.min1.thm12017-02-06 12:45 1.8K 
[ ]functor1__335_55.min1.thm12017-02-06 12:45 1.9K 
[ ]functor1__350_18.min1.thm12017-02-06 12:45 716  
[ ]functor1__366_39.min1.thm12017-02-06 12:45 1.2K 
[ ]functor1__369_38.min1.thm12017-02-06 12:45 1.2K 
[ ]functor1__383_31.min1.thm12017-02-06 12:45 1.2K 
[ ]functor1__386_26.min1.thm12017-02-06 12:45 1.2K 
[ ]functor1__400_43.min1.thm12017-02-06 12:45 1.2K 
[ ]functor1__403_36.min1.thm12017-02-06 12:45 1.2K 
[ ]functor1__435_52.min1.thm12017-02-06 12:45 3.6K 
[ ]functor1__440_36.min1.thm12017-02-06 12:45 860  
[ ]functor1__447_64.min1.thm12017-02-06 12:45 688  
[ ]functor1__450_50.min1.thm12017-02-06 12:45 1.2K 
[ ]functor1__453_33.min1.thm12017-02-06 12:45 583  
[ ]functor1__455_59.min1.thm12017-02-06 12:45 1.2K 
[ ]functor1__456_18.min1.thm12017-02-06 12:45 620  
[ ]functor1__461_43.min1.thm12017-02-06 12:45 959  
[ ]functor1__463_50.min1.thm12017-02-06 12:45 520  
[ ]functor1__463_50.min1.thm1.tptp2017-02-06 16:47 452  
[ ]functor1__467_36.min1.thm12017-02-06 12:45 887  
[ ]functor1__468_48.min1.thm12017-02-06 12:45 1.1K 
[ ]functor1__491_40.min1.thm12017-02-06 12:45 1.2K 
[ ]functor1__496_18.min1.thm12017-02-06 12:45 954  
[ ]functor1__497_58.min1.thm12017-02-06 12:45 730  
[ ]functor1__503_30.min1.thm12017-02-06 12:45 420  
[ ]functor1__503_30.min1.thm1.tptp2017-02-06 16:47 344  
[ ]functor1__504_21.min1.thm12017-02-06 12:45 2.0K 
[ ]functor1__506_16.min1.thm12017-02-06 12:45 336  
[ ]functor1__516_17.min1.thm12017-02-06 12:45 952  
[ ]functor1__517_52.min1.thm12017-02-06 12:45 717  
[ ]functor1__523_42.min1.thm12017-02-06 12:45 1.1K 
[ ]functor1__528_64.min1.thm12017-02-06 12:45 2.1K 
[ ]functor1__549_19.min1.thm12017-02-06 12:45 1.2K 
[ ]functor1__558_25.min1.thm12017-02-06 12:45 1.7K 
[ ]functor1__567_41.min1.thm12017-02-06 12:45 3.4K 
[ ]functor1__576_18.min1.thm12017-02-06 12:45 834  
[ ]functor1__577_40.min1.thm12017-02-06 12:45 478  
[ ]functor1__577_40.min1.thm1.tptp2017-02-06 16:47 400  
[ ]functor1__578_19.min1.thm12017-02-06 12:45 1.1K 
[ ]functor1__581_33.min1.thm12017-02-06 12:45 1.0K 
[ ]functor1__583_42.min1.thm12017-02-06 12:45 1.7K 
[ ]functor1__603_35.min1.thm12017-02-06 12:45 901  
[ ]functor1__617_38.min1.thm12017-02-06 12:45 466  
[ ]functor1__617_38.min1.thm1.tptp2017-02-06 16:47 388  
[ ]functor1__638_42.min1.thm12017-02-06 12:45 379  
[ ]functor1__638_42.min1.thm1.tptp2017-02-06 16:47 303  
[ ]functor1__649_40.min1.thm12017-02-06 12:45 545  
[ ]functor1__649_40.min1.thm1.tptp2017-02-06 16:47 469  
[ ]functor1__654_28.min1.thm12017-02-06 12:45 418  
[ ]functor1__654_28.min1.thm1.tptp2017-02-06 16:47 342  
[ ]functor1__657_16.min1.thm12017-02-06 12:45 572  
[ ]functor1__669_36.min1.thm12017-02-06 12:45 1.5K 
[ ]functor1__672_16.min1.thm12017-02-06 12:45 802  
[ ]functor1__681_48.min1.thm12017-02-06 12:45 637  
[ ]functor1__681_48.min1.thm1.tptp2017-02-06 16:47 561  
[ ]functor1__690_18.min1.thm12017-02-06 12:45 1.5K 
[ ]functor1__711_19.min1.thm12017-02-06 12:45 1.1K 
[ ]functor1__712_25.min1.thm12017-02-06 12:45 1.1K 
[ ]functor1__714_41.min1.thm12017-02-06 12:45 1.3K 
[ ]functor1__716_20.min1.thm12017-02-06 12:45 1.1K 
[ ]functor1__717_19.min1.thm12017-02-06 12:45 1.1K 
[ ]functor1__718_38.min1.thm12017-02-06 12:45 1.4K 
[ ]functor1__720_18.min1.thm12017-02-06 12:45 2.2K 
[ ]functor1__721_19.min1.thm12017-02-06 12:45 1.1K 
[ ]functor1__723_20.min1.thm12017-02-06 12:45 1.1K 
[ ]functor1__725_35.min1.thm12017-02-06 12:45 1.1K 
[ ]functor1__726_20.min1.thm12017-02-06 12:45 1.1K 
[ ]functor1__727_24.min1.thm12017-02-06 12:45 1.1K 
[ ]functor1__736_37.min1.thm12017-02-06 12:45 1.6K 
[ ]functor1__753_20.min1.thm12017-02-06 12:45 2.2K 
[ ]functor1__755_19.min1.thm12017-02-06 12:45 2.4K 
[ ]functor1__762_21.min1.thm12017-02-06 12:45 1.6K 
[ ]functor1__763_13.min1.thm12017-02-06 12:45 567  
[ ]functor1__773_16.min1.thm12017-02-06 12:45 1.3K 
[ ]functor1__799_50.min1.thm12017-02-06 12:45 2.4K 
[ ]functor1__806_17.min1.thm12017-02-06 12:45 1.3K 
[ ]functor1__808_22.min1.thm12017-02-06 12:45 2.2K 
[ ]functor1__811_27.min1.thm12017-02-06 12:45 1.8K 
[ ]functor1__817_27.min1.thm12017-02-06 12:45 579  
[ ]functor1__818_38.min1.thm12017-02-06 12:45 1.1K 
[ ]functor1__822_49.min1.thm12017-02-06 12:45 2.4K 
[ ]functor1__830_17.min1.thm12017-02-06 12:45 1.3K 
[ ]functor1__832_23.min1.thm12017-02-06 12:45 2.2K 
[ ]functor1__833_32.min1.thm12017-02-06 12:45 1.1K 
[ ]functor1__835_19.min1.thm12017-02-06 12:45 1.7K 
[ ]functor1__843_32.min1.thm12017-02-06 12:45 511  
[ ]functor1__843_32.min1.thm1.tptp2017-02-06 16:47 434  
[ ]functor1__844_43.min1.thm12017-02-06 12:45 1.2K 
[ ]functor1__875_18.min1.thm12017-02-06 12:45 834  
[ ]functor1__876_39.min1.thm12017-02-06 12:45 478  
[ ]functor1__876_39.min1.thm1.tptp2017-02-06 16:47 400  
[ ]functor1__877_54.min1.thm12017-02-06 12:45 1.2K 
[ ]functor1__878_21.min1.thm12017-02-06 12:45 923  
[ ]functor1__884_19.min1.thm12017-02-06 12:45 1.1K 
[ ]functor1__885_23.min1.thm12017-02-06 12:45 1.1K 
[ ]functor1__887_36.min1.thm12017-02-06 12:45 1.1K 
[ ]functor1__894_17.min1.thm12017-02-06 12:45 1.0K 
[ ]functor1__895_16.min1.thm12017-02-06 12:45 1.4K 
[ ]functor1__899_19.min1.thm12017-02-06 12:45 1.1K 
[ ]functor1__900_25.min1.thm12017-02-06 12:45 1.1K 
[ ]functor1__902_42.min1.thm12017-02-06 12:45 1.3K 
[ ]functor1__911_20.min1.thm12017-02-06 12:45 1.1K 
[ ]functor1__912_24.min1.thm12017-02-06 12:45 1.1K 
[ ]functor1__936_21.min1.thm12017-02-06 12:45 1.1K 
[ ]functor1__937_25.min1.thm12017-02-06 12:45 1.1K 
[ ]functor1__939_39.min1.thm12017-02-06 12:45 1.3K 
[ ]functor1__940_22.min1.thm12017-02-06 12:45 1.2K 
[ ]functor1__941_26.min1.thm12017-02-06 12:45 1.4K 
[ ]functor1__943_17.min1.thm12017-02-06 12:45 1.4K 
[ ]functor1__944_20.min1.thm12017-02-06 12:45 1.4K 
[ ]functor1__946_21.min1.thm12017-02-06 12:45 1.4K 
[ ]functor1__947_56.min1.thm12017-02-06 12:45 2.0K 
[ ]functor1__948_28.min1.thm12017-02-06 12:45 1.9K 
[ ]functor1__949_18.min1.thm12017-02-06 12:45 1.1K 
[ ]functor1__951_33.min1.thm12017-02-06 12:45 1.1K 
[ ]functor1__952_22.min1.thm12017-02-06 12:45 1.1K 
[ ]functor1__953_19.min1.thm12017-02-06 12:45 1.1K 
[ ]functor1__954_38.min1.thm12017-02-06 12:45 1.4K 
[ ]functor1__956_38.min1.thm12017-02-06 12:45 2.2K 
[ ]functor1__957_17.min1.thm12017-02-06 12:45 1.1K 
[ ]functor1__983_38.min1.thm12017-02-06 12:45 2.1K 
[ ]functor1__986_62.min1.thm12017-02-06 12:45 2.0K 
[ ]functor1__998_18.min1.thm12017-02-06 12:45 1.2K 
[ ]functor1__1021_18.min1.thm12017-02-06 12:45 1.2K 
[ ]functor1__1025_44.min1.thm12017-02-06 12:45 2.6K 
[ ]functor1__1028_44.min1.thm12017-02-06 12:45 2.6K 
[ ]functor1__1035_18.min1.thm12017-02-06 12:45 1.2K 
[ ]functor1__1036_20.min1.thm12017-02-06 12:45 1.1K 
[ ]functor1__1037_19.min1.thm12017-02-06 12:45 1.1K 
[ ]functor1__1042_19.min1.thm12017-02-06 12:45 1.1K 
[ ]functor1__1043_25.min1.thm12017-02-06 12:45 1.1K 
[ ]functor1__1045_39.min1.thm12017-02-06 12:45 1.3K 
[ ]functor1__1046_22.min1.thm12017-02-06 12:45 1.1K 
[ ]functor1__1047_19.min1.thm12017-02-06 12:45 1.1K 
[ ]functor1__1049_34.min1.thm12017-02-06 12:45 1.4K 
[ ]functor1__1050_14.min1.thm12017-02-06 12:45 1.1K 
[ ]functor1__1055_19.min1.thm12017-02-06 12:45 1.1K 
[ ]functor1__1056_25.min1.thm12017-02-06 12:45 1.1K 
[ ]functor1__1058_40.min1.thm12017-02-06 12:45 1.3K 
[ ]functor1__1074_36.min1.thm12017-02-06 12:45 2.2K 
[ ]functor1__1111_20.min1.thm12017-02-06 12:45 1.6K 
[ ]functor1__1114_28.min1.thm12017-02-06 12:45 1.7K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80