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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]relset_2__52_13.min1.thm12017-02-06 12:46 190  
[ ]relset_2__59_45.min1.thm12017-02-06 12:46 228  
[ ]relset_2__60_63.min1.thm12017-02-06 12:46 1.0K 
[ ]relset_2__61_49.min1.thm12017-02-06 12:46 537  
[ ]relset_2__62_18.min1.thm12017-02-06 12:46 557  
[ ]relset_2__68_39.min1.thm12017-02-06 12:46 302  
[ ]relset_2__68_39.min1.thm1.tptp2017-02-06 16:47 222  
[ ]relset_2__69_59.min1.thm12017-02-06 12:46 690  
[ ]relset_2__70_17.min1.thm12017-02-06 12:46 1.0K 
[ ]relset_2__82_19.min1.thm12017-02-06 12:46 477  
[ ]relset_2__83_45.min1.thm12017-02-06 12:46 480  
[ ]relset_2__90_13.min1.thm12017-02-06 12:46 366  
[ ]relset_2__91_19.min1.thm12017-02-06 12:46 458  
[ ]relset_2__104_16.min1.thm12017-02-06 12:46 536  
[ ]relset_2__105_23.min1.thm12017-02-06 12:46 453  
[ ]relset_2__105_23.min1.thm1.tptp2017-02-06 16:47 391  
[ ]relset_2__106_40.min1.thm12017-02-06 12:46 637  
[ ]relset_2__107_19.min1.thm12017-02-06 12:46 586  
[ ]relset_2__112_14.min1.thm12017-02-06 12:46 578  
[ ]relset_2__116_13.min1.thm12017-02-06 12:46 480  
[ ]relset_2__117_16.min1.thm12017-02-06 12:46 416  
[ ]relset_2__117_16.min1.thm1.tptp2017-02-06 16:47 354  
[ ]relset_2__118_19.min1.thm12017-02-06 12:46 596  
[ ]relset_2__123_13.min1.thm12017-02-06 12:46 480  
[ ]relset_2__124_16.min1.thm12017-02-06 12:46 509  
[ ]relset_2__125_19.min1.thm12017-02-06 12:46 596  
[ ]relset_2__138_16.min1.thm12017-02-06 12:46 536  
[ ]relset_2__139_13.min1.thm12017-02-06 12:46 408  
[ ]relset_2__139_13.min1.thm1.tptp2017-02-06 16:47 346  
[ ]relset_2__140_13.min1.thm12017-02-06 12:46 501  
[ ]relset_2__141_19.min1.thm12017-02-06 12:46 534  
[ ]relset_2__142_19.min1.thm12017-02-06 12:46 534  
[ ]relset_2__143_19.min1.thm12017-02-06 12:46 1.0K 
[ ]relset_2__149_19.min1.thm12017-02-06 12:46 862  
[ ]relset_2__150_19.min1.thm12017-02-06 12:46 955  
[ ]relset_2__153_14.min1.thm12017-02-06 12:46 472  
[ ]relset_2__156_15.min1.thm12017-02-06 12:46 472  
[ ]relset_2__157_11.min1.thm12017-02-06 12:46 456  
[ ]relset_2__158_21.min1.thm12017-02-06 12:46 538  
[ ]relset_2__159_17.min1.thm12017-02-06 12:46 578  
[ ]relset_2__171_15.min1.thm12017-02-06 12:46 536  
[ ]relset_2__172_17.min1.thm12017-02-06 12:46 506  
[ ]relset_2__173_19.min1.thm12017-02-06 12:46 1.0K 
[ ]relset_2__177_55.min1.thm12017-02-06 12:46 484  
[ ]relset_2__180_19.min1.thm12017-02-06 12:46 966  
[ ]relset_2__186_19.min1.thm12017-02-06 12:46 865  
[ ]relset_2__187_23.min1.thm12017-02-06 12:46 868  
[ ]relset_2__190_13.min1.thm12017-02-06 12:46 472  
[ ]relset_2__191_15.min1.thm12017-02-06 12:46 526  
[ ]relset_2__192_18.min1.thm12017-02-06 12:46 571  
[ ]relset_2__193_17.min1.thm12017-02-06 12:46 577  
[ ]relset_2__205_50.min1.thm12017-02-06 12:46 480  
[ ]relset_2__206_19.min1.thm12017-02-06 12:46 1.0K 
[ ]relset_2__212_24.min1.thm12017-02-06 12:46 458  
[ ]relset_2__213_53.min1.thm12017-02-06 12:46 1.1K 
[ ]relset_2__214_17.min1.thm12017-02-06 12:46 429  
[ ]relset_2__222_47.min1.thm12017-02-06 12:46 1.7K 
[ ]relset_2__223_17.min1.thm12017-02-06 12:46 1.2K 
[ ]relset_2__233_17.min1.thm12017-02-06 12:46 886  
[ ]relset_2__234_17.min1.thm12017-02-06 12:46 550  
[ ]relset_2__235_17.min1.thm12017-02-06 12:46 643  
[ ]relset_2__236_19.min1.thm12017-02-06 12:46 791  
[ ]relset_2__237_17.min1.thm12017-02-06 12:46 791  
[ ]relset_2__238_17.min1.thm12017-02-06 12:46 757  
[ ]relset_2__249_55.min1.thm12017-02-06 12:46 865  
[ ]relset_2__250_19.min1.thm12017-02-06 12:46 527  
[ ]relset_2__254_13.min1.thm12017-02-06 12:46 270  
[ ]relset_2__255_17.min1.thm12017-02-06 12:46 825  
[ ]relset_2__265_29.min1.thm12017-02-06 12:46 915  
[ ]relset_2__266_38.min1.thm12017-02-06 12:46 641  
[ ]relset_2__267_42.min1.thm12017-02-06 12:46 812  
[ ]relset_2__268_19.min1.thm12017-02-06 12:46 574  
[ ]relset_2__268_19.min1.thm1.tptp2017-02-06 16:47 512  
[ ]relset_2__273_14.min1.thm12017-02-06 12:46 566  
[ ]relset_2__273_14.min1.thm1.tptp2017-02-06 16:47 504  
[ ]relset_2__275_23.min1.thm12017-02-06 12:46 599  
[ ]relset_2__276_27.min1.thm12017-02-06 12:46 567  
[ ]relset_2__277_19.min1.thm12017-02-06 12:46 915  
[ ]relset_2__280_23.min1.thm12017-02-06 12:46 599  
[ ]relset_2__281_27.min1.thm12017-02-06 12:46 660  
[ ]relset_2__282_19.min1.thm12017-02-06 12:46 915  
[ ]relset_2__294_22.min1.thm12017-02-06 12:46 747  
[ ]relset_2__296_18.min1.thm12017-02-06 12:46 567  
[ ]relset_2__297_18.min1.thm12017-02-06 12:46 660  
[ ]relset_2__298_20.min1.thm12017-02-06 12:46 599  
[ ]relset_2__299_20.min1.thm12017-02-06 12:46 599  
[ ]relset_2__300_19.min1.thm12017-02-06 12:46 607  
[ ]relset_2__306_20.min1.thm12017-02-06 12:46 491  
[ ]relset_2__306_20.min1.thm1.tptp2017-02-06 16:47 429  
[ ]relset_2__307_20.min1.thm12017-02-06 12:46 584  
[ ]relset_2__308_18.min1.thm12017-02-06 12:46 591  
[ ]relset_2__309_16.min1.thm12017-02-06 12:46 591  
[ ]relset_2__310_27.min1.thm12017-02-06 12:46 662  
[ ]relset_2__311_17.min1.thm12017-02-06 12:46 739  
[ ]relset_2__322_21.min1.thm12017-02-06 12:46 839  
[ ]relset_2__324_22.min1.thm12017-02-06 12:46 665  
[ ]relset_2__325_20.min1.thm12017-02-06 12:46 1.0K 
[ ]relset_2__326_24.min1.thm12017-02-06 12:46 605  
[ ]relset_2__327_19.min1.thm12017-02-06 12:46 705  
[ ]relset_2__333_24.min1.thm12017-02-06 12:46 589  
[ ]relset_2__334_18.min1.thm12017-02-06 12:46 1.0K 
[ ]relset_2__335_20.min1.thm12017-02-06 12:46 597  
[ ]relset_2__336_24.min1.thm12017-02-06 12:46 760  
[ ]relset_2__337_17.min1.thm12017-02-06 12:46 831  
[ ]relset_2__347_19.min1.thm12017-02-06 12:46 1.0K 
[ ]relset_2__348_18.min1.thm12017-02-06 12:46 559  
[ ]relset_2__349_18.min1.thm12017-02-06 12:46 652  
[ ]relset_2__350_23.min1.thm12017-02-06 12:46 815  
[ ]relset_2__351_21.min1.thm12017-02-06 12:46 815  
[ ]relset_2__352_17.min1.thm12017-02-06 12:46 728  
[ ]relset_2__362_20.min1.thm12017-02-06 12:46 829  
[ ]relset_2__363_16.min1.thm12017-02-06 12:46 666  
[ ]relset_2__368_21.min1.thm12017-02-06 12:46 831  
[ ]relset_2__369_16.min1.thm12017-02-06 12:46 668  
[ ]relset_2__384_19.min1.thm12017-02-06 12:46 810  
[ ]relset_2__387_13.min1.thm12017-02-06 12:46 675  
[ ]relset_2__389_13.min1.thm12017-02-06 12:46 726  
[ ]relset_2__390_49.min1.thm12017-02-06 12:46 868  
[ ]relset_2__391_19.min1.thm12017-02-06 12:46 625  
[ ]relset_2__397_49.min1.thm12017-02-06 12:46 503  
[ ]relset_2__397_49.min1.thm1.tptp2017-02-06 16:47 448  
[ ]relset_2__400_13.min1.thm12017-02-06 12:46 921  
[ ]relset_2__403_14.min1.thm12017-02-06 12:46 809  
[ ]relset_2__404_17.min1.thm12017-02-06 12:46 720  
[ ]relset_2__405_17.min1.thm12017-02-06 12:46 769  
[ ]relset_2__421_13.min1.thm12017-02-06 12:46 276  
[ ]relset_2__422_49.min1.thm12017-02-06 12:46 840  
[ ]relset_2__423_19.min1.thm12017-02-06 12:46 558  
[ ]relset_2__429_49.min1.thm12017-02-06 12:46 471  
[ ]relset_2__429_49.min1.thm1.tptp2017-02-06 16:47 416  
[ ]relset_2__430_52.min1.thm12017-02-06 12:46 831  
[ ]relset_2__431_17.min1.thm12017-02-06 12:46 470  
[ ]relset_2__443_56.min1.thm12017-02-06 12:46 839  
[ ]relset_2__444_18.min1.thm12017-02-06 12:46 564  
[ ]relset_2__445_16.min1.thm12017-02-06 12:46 599  
[ ]relset_2__447_14.min1.thm12017-02-06 12:46 519  
[ ]relset_2__462_14.min1.thm12017-02-06 12:46 1.2K 
[ ]relset_2__463_56.min1.thm12017-02-06 12:46 590  
[ ]relset_2__466_49.min1.thm12017-02-06 12:46 479  
[ ]relset_2__466_49.min1.thm1.tptp2017-02-06 16:47 424  
[ ]relset_2__469_13.min1.thm12017-02-06 12:46 839  
[ ]relset_2__470_18.min1.thm12017-02-06 12:46 1.2K 
[ ]relset_2__472_18.min1.thm12017-02-06 12:46 1.0K 
[ ]relset_2__474_19.min1.thm12017-02-06 12:46 747  
[ ]relset_2__480_56.min1.thm12017-02-06 12:46 535  
[ ]relset_2__480_56.min1.thm1.tptp2017-02-06 16:47 480  
[ ]relset_2__483_14.min1.thm12017-02-06 12:46 1.0K 
[ ]relset_2__490_17.min1.thm12017-02-06 12:46 1.3K 
[ ]relset_2__491_13.min1.thm12017-02-06 12:46 343  
[ ]relset_2__491_13.min1.thm1.tptp2017-02-06 16:47 278  
[ ]relset_2__492_19.min1.thm12017-02-06 12:46 1.2K 
[ ]relset_2__494_17.min1.thm12017-02-06 12:46 935  
[ ]relset_2__522_17.min1.thm12017-02-06 12:46 244  
[ ]relset_2__528_18.min1.thm12017-02-06 12:46 901  
[ ]relset_2__542_25.min1.thm12017-02-06 12:46 726  
[ ]relset_2__543_21.min1.thm12017-02-06 12:46 873  
[ ]relset_2__545_19.min1.thm12017-02-06 12:46 964  
[ ]relset_2__562_21.min1.thm12017-02-06 12:46 1.0K 
[ ]relset_2__563_17.min1.thm12017-02-06 12:46 1.4K 
[ ]relset_2__574_18.min1.thm12017-02-06 12:46 1.0K 
[ ]relset_2__575_13.min1.thm12017-02-06 12:46 792  
[ ]relset_2__576_20.min1.thm12017-02-06 12:46 1.1K 
[ ]relset_2__577_14.min1.thm12017-02-06 12:46 649  
[ ]relset_2__585_23.min1.thm12017-02-06 12:46 942  
[ ]relset_2__586_25.min1.thm12017-02-06 12:46 629  
[ ]relset_2__596_23.min1.thm12017-02-06 12:46 946  
[ ]relset_2__597_43.min1.thm12017-02-06 12:46 1.0K 
[ ]relset_2__599_28.min1.thm12017-02-06 12:46 1.4K 
[ ]relset_2__600_27.min1.thm12017-02-06 12:46 1.0K 
[ ]relset_2__601_29.min1.thm12017-02-06 12:46 1.2K 
[ ]relset_2__615_20.min1.thm12017-02-06 12:46 1.5K 
[ ]relset_2__623_13.min1.thm12017-02-06 12:46 1.2K 
[ ]relset_2__624_17.min1.thm12017-02-06 12:46 460  
[ ]relset_2__625_17.min1.thm12017-02-06 12:46 1.1K 
[ ]relset_2__643_13.min1.thm12017-02-06 12:46 131  
[ ]relset_2__660_34.min1.thm12017-02-06 12:46 1.7K 
[ ]relset_2__669_15.min1.thm12017-02-06 12:46 494  
[ ]relset_2__670_15.min1.thm12017-02-06 12:46 754  
[ ]relset_2__675_23.min1.thm12017-02-06 12:46 535  
[ ]relset_2__677_18.min1.thm12017-02-06 12:46 607  
[ ]relset_2__680_34.min1.thm12017-02-06 12:46 1.0K 
[ ]relset_2__682_25.min1.thm12017-02-06 12:46 398  
[ ]relset_2__686_22.min1.thm12017-02-06 12:46 388  
[ ]relset_2__687_14.min1.thm12017-02-06 12:46 1.7K 
[ ]relset_2__695_11.min1.thm12017-02-06 12:46 560  
[ ]relset_2__697_19.min1.thm12017-02-06 12:46 1.3K 
[ ]relset_2__701_31.min1.thm12017-02-06 12:46 2.1K 
[ ]relset_2__708_23.min1.thm12017-02-06 12:46 488  
[ ]relset_2__713_21.min1.thm12017-02-06 12:46 379  
[ ]relset_2__713_21.min1.thm1.tptp2017-02-06 16:47 314  
[ ]relset_2__714_23.min1.thm12017-02-06 12:46 853  
[ ]relset_2__717_25.min1.thm12017-02-06 12:46 1.4K 
[ ]relset_2__718_25.min1.thm12017-02-06 12:46 1.7K 
[ ]relset_2__719_33.min1.thm12017-02-06 12:46 2.8K 
[ ]relset_2__723_16.min1.thm12017-02-06 12:46 1.1K 
[ ]relset_2__735_68.min1.thm12017-02-06 12:46 830  
[ ]relset_2__738_11.min1.thm12017-02-06 12:46 560  
[ ]relset_2__740_39.min1.thm12017-02-06 12:46 1.0K 
[ ]relset_2__741_16.min1.thm12017-02-06 12:46 1.5K 
[ ]relset_2__746_52.min1.thm12017-02-06 12:46 1.6K 
[ ]relset_2__756_15.min1.thm12017-02-06 12:46 502  
[ ]relset_2__757_21.min1.thm12017-02-06 12:46 2.0K 
[ ]relset_2__758_18.min1.thm12017-02-06 12:46 1.2K 
[ ]relset_2__759_25.min1.thm12017-02-06 12:46 2.5K 
[ ]relset_2__760_21.min1.thm12017-02-06 12:46 575  
[ ]relset_2__769_42.min1.thm12017-02-06 12:46 825  
[ ]relset_2__774_16.min1.thm12017-02-06 12:46 2.5K 
[ ]relset_2__775_14.min1.thm12017-02-06 12:46 554  
[ ]relset_2__785_58.min1.thm12017-02-06 12:46 1.8K 
[ ]relset_2__787_28.min1.thm12017-02-06 12:46 2.5K 
[ ]relset_2__788_14.min1.thm12017-02-06 12:46 766  
[ ]relset_2__808_27.min1.thm12017-02-06 12:46 1.0K 
[ ]relset_2__809_17.min1.thm12017-02-06 12:46 1.6K 
[ ]relset_2__821_11.min1.thm12017-02-06 12:46 247  
[ ]relset_2__825_24.min1.thm12017-02-06 12:46 810  
[ ]relset_2__826_13.min1.thm12017-02-06 12:46 193  
[ ]relset_2__835_17.min1.thm12017-02-06 12:46 1.1K 
[ ]relset_2__836_17.min1.thm12017-02-06 12:46 794  
[ ]relset_2__837_33.min1.thm12017-02-06 12:46 1.0K 
[ ]relset_2__838_43.min1.thm12017-02-06 12:46 1.1K 
[ ]relset_2__839_23.min1.thm12017-02-06 12:46 1.5K 
[ ]relset_2__841_32.min1.thm12017-02-06 12:46 759  
[ ]relset_2__842_25.min1.thm12017-02-06 12:46 406  
[ ]relset_2__842_25.min1.thm1.tptp2017-02-06 16:47 323  
[ ]relset_2__843_24.min1.thm12017-02-06 12:46 732  
[ ]relset_2__844_21.min1.thm12017-02-06 12:46 840  
[ ]relset_2__847_21.min1.thm12017-02-06 12:46 807  
[ ]relset_2__853_14.min1.thm12017-02-06 12:46 713  
[ ]relset_2__854_35.min1.thm12017-02-06 12:46 498  
[ ]relset_2__858_26.min1.thm12017-02-06 12:46 502  
[ ]relset_2__872_18.min1.thm12017-02-06 12:46 1.1K 
[ ]relset_2__873_39.min1.thm12017-02-06 12:46 1.0K 
[ ]relset_2__878_30.min1.thm12017-02-06 12:46 782  
[ ]relset_2__879_25.min1.thm12017-02-06 12:46 1.2K 
[ ]relset_2__881_23.min1.thm12017-02-06 12:46 1.3K 
[ ]relset_2__883_25.min1.thm12017-02-06 12:46 846  
[ ]relset_2__884_21.min1.thm12017-02-06 12:46 689  
[ ]relset_2__890_19.min1.thm12017-02-06 12:46 681  
[ ]relset_2__891_35.min1.thm12017-02-06 12:46 655  
[ ]relset_2__898_15.min1.thm12017-02-06 12:46 691  
[ ]relset_2__899_36.min1.thm12017-02-06 12:46 506  
[ ]relset_2__901_15.min1.thm12017-02-06 12:46 1.3K 
[ ]relset_2__902_20.min1.thm12017-02-06 12:46 1.2K 
[ ]relset_2__903_21.min1.thm12017-02-06 12:46 1.0K 
[ ]relset_2__905_19.min1.thm12017-02-06 12:46 1.3K 
[ ]relset_2__914_27.min1.thm12017-02-06 12:46 454  
[ ]relset_2__918_11.min1.thm12017-02-06 12:46 560  
[ ]relset_2__921_13.min1.thm12017-02-06 12:46 564  
[ ]relset_2__923_44.min1.thm12017-02-06 12:46 1.0K 
[ ]relset_2__924_21.min1.thm12017-02-06 12:46 2.1K 
[ ]relset_2__936_41.min1.thm12017-02-06 12:46 1.9K 
[ ]relset_2__942_34.min1.thm12017-02-06 12:46 2.1K 
[ ]relset_2__943_13.min1.thm12017-02-06 12:46 564  
[ ]relset_2__945_44.min1.thm12017-02-06 12:46 1.0K 
[ ]relset_2__946_21.min1.thm12017-02-06 12:46 2.1K 
[ ]relset_2__964_42.min1.thm12017-02-06 12:46 835  
[ ]relset_2__967_14.min1.thm12017-02-06 12:46 1.4K 
[ ]relset_2__972_15.min1.thm12017-02-06 12:46 656  
[ ]relset_2__975_46.min1.thm12017-02-06 12:46 845  
[ ]relset_2__983_38.min1.thm12017-02-06 12:46 2.1K 
[ ]relset_2__989_38.min1.thm12017-02-06 12:46 1.8K 
[ ]relset_2__995_10.min1.thm12017-02-06 12:46 2.4K 
[ ]relset_2__1001_52.min1.thm12017-02-06 12:46 1.1K 
[ ]relset_2__1002_23.min1.thm12017-02-06 12:46 1.8K 
[ ]relset_2__1005_16.min1.thm12017-02-06 12:46 1.5K 
[ ]relset_2__1011_15.min1.thm12017-02-06 12:46 656  
[ ]relset_2__1019_38.min1.thm12017-02-06 12:46 2.1K 
[ ]relset_2__1025_38.min1.thm12017-02-06 12:46 1.8K 
[ ]relset_2__1031_10.min1.thm12017-02-06 12:46 2.4K 
[ ]relset_2__1032_46.min1.thm12017-02-06 12:46 845  
[ ]relset_2__1038_52.min1.thm12017-02-06 12:46 1.1K 
[ ]relset_2__1039_23.min1.thm12017-02-06 12:46 1.8K 
[ ]relset_2__1042_16.min1.thm12017-02-06 12:46 1.5K 
[ ]relset_2__1054_38.min1.thm12017-02-06 12:46 1.6K 
[ ]relset_2__1055_35.min1.thm12017-02-06 12:46 1.2K 
[ ]relset_2__1060_33.min1.thm12017-02-06 12:46 1.3K 
[ ]relset_2__1061_39.min1.thm12017-02-06 12:46 1.7K 
[ ]relset_2__1062_21.min1.thm12017-02-06 12:46 1.0K 
[ ]relset_2__1065_18.min1.thm12017-02-06 12:46 1.1K 
[ ]relset_2__1070_33.min1.thm12017-02-06 12:46 1.3K 
[ ]relset_2__1071_39.min1.thm12017-02-06 12:46 1.7K 
[ ]relset_2__1072_21.min1.thm12017-02-06 12:46 1.1K 
[ ]relset_2__1074_23.min1.thm12017-02-06 12:46 1.1K 
[ ]relset_2__1075_19.min1.thm12017-02-06 12:46 1.3K 
[ ]relset_2__1081_20.min1.thm12017-02-06 12:46 1.1K 
[ ]relset_2__1082_20.min1.thm12017-02-06 12:46 1.2K 
[ ]relset_2__1083_34.min1.thm12017-02-06 12:46 1.4K 
[ ]relset_2__1084_33.min1.thm12017-02-06 12:46 1.1K 
[ ]relset_2__1091_20.min1.thm12017-02-06 12:46 1.2K 
[ ]relset_2__1092_20.min1.thm12017-02-06 12:46 1.2K 
[ ]relset_2__1093_37.min1.thm12017-02-06 12:46 1.1K 
[ ]relset_2__1094_19.min1.thm12017-02-06 12:46 1.7K 
[ ]relset_2__1096_17.min1.thm12017-02-06 12:46 1.4K 
[ ]relset_2__1109_13.min1.thm12017-02-06 12:46 1.4K 
[ ]relset_2__1112_14.min1.thm12017-02-06 12:46 889  
[ ]relset_2__1113_40.min1.thm12017-02-06 12:46 548  
[ ]relset_2__1118_15.min1.thm12017-02-06 12:46 1.2K 
[ ]relset_2__1119_58.min1.thm12017-02-06 12:46 1.1K 
[ ]relset_2__1120_21.min1.thm12017-02-06 12:46 613  
[ ]relset_2__1120_21.min1.thm1.tptp2017-02-06 16:47 532  
[ ]relset_2__1122_19.min1.thm12017-02-06 12:46 544  
[ ]relset_2__1122_19.min1.thm1.tptp2017-02-06 16:47 489  
[ ]relset_2__1128_56.min1.thm12017-02-06 12:46 535  
[ ]relset_2__1128_56.min1.thm1.tptp2017-02-06 16:47 480  
[ ]relset_2__1131_14.min1.thm12017-02-06 12:46 1.1K 
[ ]relset_2__1134_14.min1.thm12017-02-06 12:46 1.2K 
[ ]relset_2__1138_18.min1.thm12017-02-06 12:46 1.0K 
[ ]relset_2__1140_17.min1.thm12017-02-06 12:46 1.3K 
[ ]relset_2__1171_13.min1.thm12017-02-06 12:46 372  
[ ]relset_2__1172_19.min1.thm12017-02-06 12:46 924  
[ ]relset_2__1175_14.min1.thm12017-02-06 12:46 670  
[ ]relset_2__1183_17.min1.thm12017-02-06 12:46 731  
[ ]relset_2__1189_38.min1.thm12017-02-06 12:46 313  
[ ]relset_2__1189_38.min1.thm1.tptp2017-02-06 16:47 233  
[ ]relset_2__1190_35.min1.thm12017-02-06 12:46 404  
[ ]relset_2__1195_24.min1.thm12017-02-06 12:46 1.3K 
[ ]relset_2__1196_21.min1.thm12017-02-06 12:46 1.0K 
[ ]relset_2__1198_19.min1.thm12017-02-06 12:46 1.2K 
[ ]relset_2__1214_34.min1.thm12017-02-06 12:46 911  
[ ]relset_2__1215_19.min1.thm12017-02-06 12:46 376  
[ ]relset_2__1215_19.min1.thm1.tptp2017-02-06 16:47 297  
[ ]relset_2__1217_11.min1.thm12017-02-06 12:46 189  
[ ]relset_2__1221_29.min1.thm12017-02-06 12:46 899  
[ ]relset_2__1226_69.min1.thm12017-02-06 12:46 1.1K 
[ ]relset_2__1227_19.min1.thm12017-02-06 12:46 751  
[ ]relset_2__1228_21.min1.thm12017-02-06 12:46 359  
[ ]relset_2__1228_21.min1.thm1.tptp2017-02-06 16:47 294  
[ ]relset_2__1230_29.min1.thm12017-02-06 12:46 399  
[ ]relset_2__1230_29.min1.thm1.tptp2017-02-06 16:47 333  
[ ]relset_2__1231_19.min1.thm12017-02-06 12:46 1.0K 
[ ]relset_2__1235_13.min1.thm12017-02-06 12:46 193  
[ ]relset_2__1238_36.min1.thm12017-02-06 12:46 645  
[ ]relset_2__1240_31.min1.thm12017-02-06 12:46 1.0K 
[ ]relset_2__1245_71.min1.thm12017-02-06 12:46 1.1K 
[ ]relset_2__1248_31.min1.thm12017-02-06 12:46 407  
[ ]relset_2__1248_31.min1.thm1.tptp2017-02-06 16:47 341  
[ ]relset_2__1249_21.min1.thm12017-02-06 12:46 1.0K 
[ ]relset_2__1253_15.min1.thm12017-02-06 12:46 197  
[ ]relset_2__1256_28.min1.thm12017-02-06 12:46 374  
[ ]relset_2__1256_28.min1.thm1.tptp2017-02-06 16:47 310  
[ ]relset_2__1257_36.min1.thm12017-02-06 12:46 719  
[ ]relset_2__1258_40.min1.thm12017-02-06 12:46 894  
[ ]relset_2__1259_39.min1.thm12017-02-06 12:46 1.0K 
[ ]relset_2__1263_42.min1.thm12017-02-06 12:46 309  
[ ]relset_2__1263_42.min1.thm1.tptp2017-02-06 16:47 229  
[ ]relset_2__1270_16.min1.thm12017-02-06 12:46 1.4K 
[ ]relset_2__1271_41.min1.thm12017-02-06 12:46 1.2K 
[ ]relset_2__1277_35.min1.thm12017-02-06 12:46 606  
[ ]relset_2__1284_24.min1.thm12017-02-06 12:46 1.2K 
[ ]relset_2__1289_47.min1.thm12017-02-06 12:46 1.4K 
[ ]relset_2__1290_45.min1.thm12017-02-06 12:46 1.3K 
[ ]relset_2__1291_40.min1.thm12017-02-06 12:46 1.0K 
[ ]relset_2__1292_34.min1.thm12017-02-06 12:46 1.3K 
[ ]relset_2__1293_31.min1.thm12017-02-06 12:46 1.2K 
[ ]relset_2__1295_29.min1.thm12017-02-06 12:46 1.4K 
[ ]relset_2__1297_27.min1.thm12017-02-06 12:46 1.0K 
[ ]relset_2__1299_25.min1.thm12017-02-06 12:46 1.0K 
[ ]relset_2__1304_41.min1.thm12017-02-06 12:46 790  
[ ]relset_2__1306_18.min1.thm12017-02-06 12:46 706  
[ ]relset_2__1307_21.min1.thm12017-02-06 12:46 1.2K 
[ ]relset_2__1309_22.min1.thm12017-02-06 12:46 1.2K 
[ ]relset_2__1319_50.min1.thm12017-02-06 12:46 708  
[ ]relset_2__1321_21.min1.thm12017-02-06 12:46 1.3K 
[ ]relset_2__1322_30.min1.thm12017-02-06 12:46 1.3K 
[ ]relset_2__1323_32.min1.thm12017-02-06 12:46 1.1K 
[ ]relset_2__1324_27.min1.thm12017-02-06 12:46 1.3K 
[ ]relset_2__1326_34.min1.thm12017-02-06 12:46 1.1K 
[ ]relset_2__1327_39.min1.thm12017-02-06 12:46 1.0K 
[ ]relset_2__1328_25.min1.thm12017-02-06 12:46 1.3K 
[ ]relset_2__1330_23.min1.thm12017-02-06 12:46 1.6K 
[ ]relset_2__1344_36.min1.thm12017-02-06 12:46 1.2K 
[ ]relset_2__1345_33.min1.thm12017-02-06 12:46 903  
[ ]relset_2__1350_25.min1.thm12017-02-06 12:46 1.2K 
[ ]relset_2__1351_23.min1.thm12017-02-06 12:46 1.0K 
[ ]relset_2__1352_19.min1.thm12017-02-06 12:46 1.9K 
[ ]relset_2__1354_17.min1.thm12017-02-06 12:46 1.2K 
[ ]relset_2__1363_14.min1.thm12017-02-06 12:46 1.4K 
[ ]relset_2__1366_38.min1.thm12017-02-06 12:46 1.2K 
[ ]relset_2__1367_35.min1.thm12017-02-06 12:46 923  
[ ]relset_2__1372_27.min1.thm12017-02-06 12:46 1.3K 
[ ]relset_2__1373_39.min1.thm12017-02-06 12:46 1.2K 
[ ]relset_2__1374_21.min1.thm12017-02-06 12:46 2.1K 
[ ]relset_2__1376_19.min1.thm12017-02-06 12:46 1.6K 
[ ]relset_2__1380_38.min1.thm12017-02-06 12:46 1.2K 
[ ]relset_2__1381_35.min1.thm12017-02-06 12:46 923  
[ ]relset_2__1386_27.min1.thm12017-02-06 12:46 1.3K 
[ ]relset_2__1387_39.min1.thm12017-02-06 12:46 1.3K 
[ ]relset_2__1388_21.min1.thm12017-02-06 12:46 2.1K 
[ ]relset_2__1390_19.min1.thm12017-02-06 12:46 1.6K 
[ ]relset_2__1400_56.min1.thm12017-02-06 12:46 1.4K 
[ ]relset_2__1401_32.min1.thm12017-02-06 12:46 1.0K 
[ ]relset_2__1402_19.min1.thm12017-02-06 12:46 921  
[ ]relset_2__1408_15.min1.thm12017-02-06 12:46 270  
[ ]relset_2__1409_21.min1.thm12017-02-06 12:46 613  
[ ]relset_2__1410_30.min1.thm12017-02-06 12:46 818  
[ ]relset_2__1411_17.min1.thm12017-02-06 12:46 1.6K 
[ ]relset_2__1423_13.min1.thm12017-02-06 12:46 370  
[ ]relset_2__1424_17.min1.thm12017-02-06 12:46 910  
[ ]relset_2__1425_20.min1.thm12017-02-06 12:46 1.0K 
[ ]relset_2__1426_17.min1.thm12017-02-06 12:46 1.1K 
[ ]relset_2__1438_17.min1.thm12017-02-06 12:46 669  
[ ]relset_2__1438_17.min1.thm1.tptp2017-02-06 16:47 615  
[ ]relset_2__1441_13.min1.thm12017-02-06 12:46 1.4K 
[ ]relset_2__1442_15.min1.thm12017-02-06 12:46 276  
[ ]relset_2__1444_18.min1.thm12017-02-06 12:46 324  
[ ]relset_2__1444_18.min1.thm1.tptp2017-02-06 16:47 238  
[ ]relset_2__1445_18.min1.thm12017-02-06 12:46 325  
[ ]relset_2__1445_18.min1.thm1.tptp2017-02-06 16:47 239  
[ ]relset_2__1446_25.min1.thm12017-02-06 12:46 1.6K 
[ ]relset_2__1452_49.min1.thm12017-02-06 12:46 1.5K 
[ ]relset_2__1453_21.min1.thm12017-02-06 12:46 613  
[ ]relset_2__1454_20.min1.thm12017-02-06 12:46 1.4K 
[ ]relset_2__1455_17.min1.thm12017-02-06 12:46 807  
[ ]relset_2__1472_15.min1.thm12017-02-06 12:46 1.5K 
[ ]relset_2__1473_12.min1.thm12017-02-06 12:46 347  
[ ]relset_2__1473_12.min1.thm1.tptp2017-02-06 16:47 282  
[ ]relset_2__1474_22.min1.thm12017-02-06 12:46 1.3K 
[ ]relset_2__1475_21.min1.thm12017-02-06 12:46 1.1K 
[ ]relset_2__1476_19.min1.thm12017-02-06 12:46 729  
[ ]relset_2__1481_16.min1.thm12017-02-06 12:46 575  
[ ]relset_2__1481_16.min1.thm1.tptp2017-02-06 16:47 521  
[ ]relset_2__1484_13.min1.thm12017-02-06 12:46 1.1K 
[ ]relset_2__1485_19.min1.thm12017-02-06 12:46 1.2K 
[ ]relset_2__1486_16.min1.thm12017-02-06 12:46 271  
[ ]relset_2__1488_16.min1.thm12017-02-06 12:46 243  
[ ]relset_2__1489_16.min1.thm12017-02-06 12:46 243  
[ ]relset_2__1490_16.min1.thm12017-02-06 12:46 1.5K 
[ ]relset_2__1511_13.min1.thm12017-02-06 12:46 1.2K 
[ ]relset_2__1512_19.min1.thm12017-02-06 12:46 519  
[ ]relset_2__1513_29.min1.thm12017-02-06 12:46 521  
[ ]relset_2__1514_19.min1.thm12017-02-06 12:46 1.2K 
[ ]relset_2__1520_24.min1.thm12017-02-06 12:46 1.2K 
[ ]relset_2__1521_11.min1.thm12017-02-06 12:46 420  
[ ]relset_2__1521_11.min1.thm1.tptp2017-02-06 16:47 358  
[ ]relset_2__1522_17.min1.thm12017-02-06 12:46 1.1K 
[ ]relset_2__1535_13.min1.thm12017-02-06 12:46 1.4K 
[ ]relset_2__1536_17.min1.thm12017-02-06 12:46 1.2K 
[ ]relset_2__1537_24.min1.thm12017-02-06 12:46 521  
[ ]relset_2__1538_29.min1.thm12017-02-06 12:46 523  
[ ]relset_2__1539_19.min1.thm12017-02-06 12:46 1.5K 
[ ]relset_2__1545_26.min1.thm12017-02-06 12:46 1.5K 
[ ]relset_2__1546_11.min1.thm12017-02-06 12:46 421  
[ ]relset_2__1546_11.min1.thm1.tptp2017-02-06 16:47 359  
[ ]relset_2__1547_17.min1.thm12017-02-06 12:46 1.4K 
[ ]relset_2__1558_26.min1.thm12017-02-06 12:46 1.0K 
[ ]relset_2__1561_23.min1.thm12017-02-06 12:46 1.6K 
[ ]relset_2__1562_21.min1.thm12017-02-06 12:46 1.0K 
[ ]relset_2__1563_23.min1.thm12017-02-06 12:46 1.5K 
[ ]relset_2__1564_32.min1.thm12017-02-06 12:46 836  
[ ]relset_2__1565_19.min1.thm12017-02-06 12:46 1.5K 
[ ]relset_2__1571_13.min1.thm12017-02-06 12:46 1.4K 
[ ]relset_2__1572_21.min1.thm12017-02-06 12:46 831  
[ ]relset_2__1575_31.min1.thm12017-02-06 12:46 1.1K 
[ ]relset_2__1582_24.min1.thm12017-02-06 12:46 920  
[ ]relset_2__1583_19.min1.thm12017-02-06 12:46 1.0K 
[ ]relset_2__1597_35.min1.thm12017-02-06 12:46 337  
[ ]relset_2__1598_35.min1.thm12017-02-06 12:46 337  
[ ]relset_2__1599_26.min1.thm12017-02-06 12:46 822  
[ ]relset_2__1600_16.min1.thm12017-02-06 12:46 1.1K 
[ ]relset_2__1612_38.min1.thm12017-02-06 12:46 1.3K 
[ ]relset_2__1613_35.min1.thm12017-02-06 12:46 945  
[ ]relset_2__1617_24.min1.thm12017-02-06 12:46 1.4K 
[ ]relset_2__1619_21.min1.thm12017-02-06 12:46 1.1K 
[ ]relset_2__1633_20.min1.thm12017-02-06 12:46 1.1K 
[ ]relset_2__1634_56.min1.thm12017-02-06 12:46 1.4K 
[ ]relset_2__1636_18.min1.thm12017-02-06 12:46 734  
[ ]relset_2__1637_18.min1.thm12017-02-06 12:46 542  
[ ]relset_2__1642_14.min1.thm12017-02-06 12:46 1.0K 
[ ]relset_2__1647_53.min1.thm12017-02-06 12:46 1.2K 
[ ]relset_2__1657_22.min1.thm12017-02-06 12:46 767  
[ ]relset_2__1657_37.min1.thm12017-02-06 12:46 1.4K 
[ ]relset_2__1658_17.min1.thm12017-02-06 12:46 817  
[ ]relset_2__1659_22.min1.thm12017-02-06 12:46 769  
[ ]relset_2__1659_33.min1.thm12017-02-06 12:46 559  
[ ]relset_2__1659_33.min1.thm1.tptp2017-02-06 16:47 494  
[ ]relset_2__1666_30.min1.thm12017-02-06 12:46 1.1K 
[ ]relset_2__1667_20.min1.thm12017-02-06 12:46 1.9K 
[ ]relset_2__1669_23.min1.thm12017-02-06 12:46 814  
[ ]relset_2__1669_23.min1.thm1.tptp2017-02-06 16:47 749  
[ ]relset_2__1670_17.min1.thm12017-02-06 12:46 765  
[ ]relset_2__1672_17.min1.thm12017-02-06 12:46 867  
[ ]relset_2__1679_29.min1.thm12017-02-06 12:46 1.0K 
[ ]relset_2__1680_19.min1.thm12017-02-06 12:46 1.6K 
[ ]relset_2__1681_22.min1.thm12017-02-06 12:46 680  
[ ]relset_2__1681_22.min1.thm1.tptp2017-02-06 16:47 615  
[ ]relset_2__1682_17.min1.thm12017-02-06 12:46 767  
[ ]relset_2__1683_30.min1.thm12017-02-06 12:46 1.5K 
[ ]relset_2__1684_17.min1.thm12017-02-06 12:46 1.0K 
[ ]relset_2__1697_37.min1.thm12017-02-06 12:46 464  
[ ]relset_2__1699_17.min1.thm12017-02-06 12:46 1.2K 
[ ]relset_2__1700_18.min1.thm12017-02-06 12:46 1.2K 
[ ]relset_2__1701_15.min1.thm12017-02-06 12:46 276  
[ ]relset_2__1703_21.min1.thm12017-02-06 12:46 1.4K 
[ ]relset_2__1708_58.min1.thm12017-02-06 12:46 1.4K 
[ ]relset_2__1709_25.min1.thm12017-02-06 12:46 633  
[ ]relset_2__1710_27.min1.thm12017-02-06 12:46 1.4K 
[ ]relset_2__1711_21.min1.thm12017-02-06 12:46 1.8K 
[ ]relset_2__1713_19.min1.thm12017-02-06 12:46 1.5K 
[ ]relset_2__1720_23.min1.thm12017-02-06 12:46 1.2K 
[ ]relset_2__1721_31.min1.thm12017-02-06 12:46 1.7K 
[ ]relset_2__1722_28.min1.thm12017-02-06 12:46 1.4K 
[ ]relset_2__1723_30.min1.thm12017-02-06 12:46 1.4K 
[ ]relset_2__1738_17.min1.thm12017-02-06 12:46 1.1K 
[ ]relset_2__1739_18.min1.thm12017-02-06 12:46 1.2K 
[ ]relset_2__1740_19.min1.thm12017-02-06 12:46 1.0K 
[ ]relset_2__1745_57.min1.thm12017-02-06 12:46 1.2K 
[ ]relset_2__1746_24.min1.thm12017-02-06 12:46 630  
[ ]relset_2__1748_21.min1.thm12017-02-06 12:46 1.7K 
[ ]relset_2__1750_19.min1.thm12017-02-06 12:46 2.0K 
[ ]relset_2__1757_23.min1.thm12017-02-06 12:46 1.2K 
[ ]relset_2__1758_33.min1.thm12017-02-06 12:46 1.8K 
[ ]relset_2__1759_25.min1.thm12017-02-06 12:46 1.5K 
[ ]relset_2__1760_32.min1.thm12017-02-06 12:46 1.4K 
[ ]relset_2__1765_55.min1.thm12017-02-06 12:46 578  
[ ]relset_2__1770_31.min1.thm12017-02-06 12:46 1.7K 
[ ]relset_2__1771_23.min1.thm12017-02-06 12:46 770  
[ ]relset_2__1771_23.min1.thm1.tptp2017-02-06 16:47 705  
[ ]relset_2__1777_37.min1.thm12017-02-06 12:46 758  
[ ]relset_2__1777_37.min1.thm1.tptp2017-02-06 16:47 690  
[ ]relset_2__1784_18.min1.thm12017-02-06 12:46 846  
[ ]relset_2__1785_32.min1.thm12017-02-06 12:46 1.6K 
[ ]relset_2__1786_17.min1.thm12017-02-06 12:46 1.7K 
[ ]relset_2__1792_29.min1.thm12017-02-06 12:46 1.8K 
[ ]relset_2__1793_22.min1.thm12017-02-06 12:46 724  
[ ]relset_2__1793_22.min1.thm1.tptp2017-02-06 16:47 659  
[ ]relset_2__1799_31.min1.thm12017-02-06 12:46 628  
[ ]relset_2__1799_31.min1.thm1.tptp2017-02-06 16:47 560  
[ ]relset_2__1800_48.min1.thm12017-02-06 12:46 1.3K 
[ ]relset_2__1806_18.min1.thm12017-02-06 12:46 844  
[ ]relset_2__1807_30.min1.thm12017-02-06 12:46 1.4K 
[ ]relset_2__1808_17.min1.thm12017-02-06 12:46 1.5K 
[ ]relset_2__1814_31.min1.thm12017-02-06 12:46 1.1K 
[ ]relset_2__1815_23.min1.thm12017-02-06 12:46 1.7K 
[ ]relset_2__1816_34.min1.thm12017-02-06 12:46 1.6K 
[ ]relset_2__1816_52.min1.thm12017-02-06 12:46 1.5K 
[ ]relset_2__1817_14.min1.thm12017-02-06 12:46 972  
[ ]relset_2__1823_28.min1.thm12017-02-06 12:46 1.2K 
[ ]relset_2__1824_15.min1.thm12017-02-06 12:46 1.1K 
[ ]relset_2__1825_14.min1.thm12017-02-06 12:46 1.3K 
[ ]relset_2__1831_43.min1.thm12017-02-06 12:46 1.3K 
[ ]relset_2__1832_45.min1.thm12017-02-06 12:46 1.4K 
[ ]relset_2__1834_43.min1.thm12017-02-06 12:46 1.7K 
[ ]relset_2__1835_38.min1.thm12017-02-06 12:46 518  
[ ]relset_2__1835_38.min1.thm1.tptp2017-02-06 16:47 440  
[ ]relset_2__1836_37.min1.thm12017-02-06 12:46 1.0K 
[ ]relset_2__1837_44.min1.thm12017-02-06 12:46 1.4K 
[ ]relset_2__1839_45.min1.thm12017-02-06 12:46 1.2K 
[ ]relset_2__1840_17.min1.thm12017-02-06 12:46 1.4K 
[ ]relset_2__1846_41.min1.thm12017-02-06 12:46 1.1K 
[ ]relset_2__1851_46.min1.thm12017-02-06 12:46 1.1K 
[ ]relset_2__1856_36.min1.thm12017-02-06 12:46 1.4K 
[ ]relset_2__1857_24.min1.thm12017-02-06 12:46 1.1K 
[ ]relset_2__1859_34.min1.thm12017-02-06 12:46 1.5K 
[ ]relset_2__1860_39.min1.thm12017-02-06 12:46 1.2K 
[ ]relset_2__1861_43.min1.thm12017-02-06 12:46 1.4K 
[ ]relset_2__1862_24.min1.thm12017-02-06 12:46 1.4K 
[ ]relset_2__1863_17.min1.thm12017-02-06 12:46 1.6K 
[ ]relset_2__1871_14.min1.thm12017-02-06 12:46 380  
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80