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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]relset_1__42_11.min1.thm12017-02-06 12:46 401  
[ ]relset_1__42_11.min1.thm1.tptp2017-02-06 16:47 340  
[ ]relset_1__55_32.min1.thm12017-02-06 12:46 615  
[ ]relset_1__56_21.min1.thm12017-02-06 12:46 1.0K 
[ ]relset_1__60_30.min1.thm12017-02-06 12:46 609  
[ ]relset_1__61_19.min1.thm12017-02-06 12:46 1.0K 
[ ]relset_1__75_32.min1.thm12017-02-06 12:46 860  
[ ]relset_1__82_43.min1.thm12017-02-06 12:46 1.1K 
[ ]relset_1__83_38.min1.thm12017-02-06 12:46 1.1K 
[ ]relset_1__84_19.min1.thm12017-02-06 12:46 1.0K 
[ ]relset_1__85_16.min1.thm12017-02-06 12:46 564  
[ ]relset_1__97_27.min1.thm12017-02-06 12:46 427  
[ ]relset_1__105_45.min1.thm12017-02-06 12:46 1.1K 
[ ]relset_1__106_40.min1.thm12017-02-06 12:46 1.1K 
[ ]relset_1__107_21.min1.thm12017-02-06 12:46 1.0K 
[ ]relset_1__108_22.min1.thm12017-02-06 12:46 580  
[ ]relset_1__112_43.min1.thm12017-02-06 12:46 1.1K 
[ ]relset_1__113_38.min1.thm12017-02-06 12:46 1.1K 
[ ]relset_1__114_19.min1.thm12017-02-06 12:46 1.0K 
[ ]relset_1__115_16.min1.thm12017-02-06 12:46 564  
[ ]relset_1__120_40.min1.thm12017-02-06 12:46 457  
[ ]relset_1__120_40.min1.thm1.tptp2017-02-06 16:47 416  
[ ]relset_1__128_16.min1.thm12017-02-06 12:46 840  
[ ]relset_1__129_20.min1.thm12017-02-06 12:46 1.1K 
[ ]relset_1__130_17.min1.thm12017-02-06 12:46 530  
[ ]relset_1__137_26.min1.thm12017-02-06 12:46 572  
[ ]relset_1__138_17.min1.thm12017-02-06 12:46 651  
[ ]relset_1__146_61.min1.thm12017-02-06 12:46 803  
[ ]relset_1__148_17.min1.thm12017-02-06 12:46 655  
[ ]relset_1__154_17.min1.thm12017-02-06 12:46 726  
[ ]relset_1__156_62.min1.thm12017-02-06 12:46 1.2K 
[ ]relset_1__158_17.min1.thm12017-02-06 12:46 969  
[ ]relset_1__164_17.min1.thm12017-02-06 12:46 731  
[ ]relset_1__166_62.min1.thm12017-02-06 12:46 1.3K 
[ ]relset_1__168_17.min1.thm12017-02-06 12:46 1.0K 
[ ]relset_1__175_30.min1.thm12017-02-06 12:46 487  
[ ]relset_1__175_30.min1.thm1.tptp2017-02-06 16:47 419  
[ ]relset_1__176_17.min1.thm12017-02-06 12:46 662  
[ ]relset_1__185_35.min1.thm12017-02-06 12:46 629  
[ ]relset_1__186_30.min1.thm12017-02-06 12:46 572  
[ ]relset_1__187_29.min1.thm12017-02-06 12:46 648  
[ ]relset_1__197_18.min1.thm12017-02-06 12:46 274  
[ ]relset_1__198_45.min1.thm12017-02-06 12:46 890  
[ ]relset_1__199_29.min1.thm12017-02-06 12:46 508  
[ ]relset_1__199_29.min1.thm1.tptp2017-02-06 16:47 437  
[ ]relset_1__202_11.min1.thm12017-02-06 12:46 538  
[ ]relset_1__211_35.min1.thm12017-02-06 12:46 636  
[ ]relset_1__212_30.min1.thm12017-02-06 12:46 575  
[ ]relset_1__213_29.min1.thm12017-02-06 12:46 654  
[ ]relset_1__223_18.min1.thm12017-02-06 12:46 274  
[ ]relset_1__224_45.min1.thm12017-02-06 12:46 894  
[ ]relset_1__225_29.min1.thm12017-02-06 12:46 512  
[ ]relset_1__225_29.min1.thm1.tptp2017-02-06 16:47 441  
[ ]relset_1__228_11.min1.thm12017-02-06 12:46 538  
[ ]relset_1__233_14.min1.thm12017-02-06 12:46 509  
[ ]relset_1__238_14.min1.thm12017-02-06 12:46 511  
[ ]relset_1__244_29.min1.thm12017-02-06 12:46 1.2K 
[ ]relset_1__245_14.min1.thm12017-02-06 12:46 1.2K 
[ ]relset_1__259_34.min1.thm12017-02-06 12:46 596  
[ ]relset_1__260_27.min1.thm12017-02-06 12:46 1.1K 
[ ]relset_1__262_33.min1.thm12017-02-06 12:46 1.4K 
[ ]relset_1__264_22.min1.thm12017-02-06 12:46 412  
[ ]relset_1__264_22.min1.thm1.tptp2017-02-06 16:47 352  
[ ]relset_1__266_16.min1.thm12017-02-06 12:46 1.1K 
[ ]relset_1__280_34.min1.thm12017-02-06 12:46 596  
[ ]relset_1__281_27.min1.thm12017-02-06 12:46 1.1K 
[ ]relset_1__283_33.min1.thm12017-02-06 12:46 1.4K 
[ ]relset_1__285_22.min1.thm12017-02-06 12:46 412  
[ ]relset_1__285_22.min1.thm1.tptp2017-02-06 16:47 352  
[ ]relset_1__287_16.min1.thm12017-02-06 12:46 1.1K 
[ ]relset_1__298_24.min1.thm12017-02-06 12:46 1.1K 
[ ]relset_1__299_31.min1.thm12017-02-06 12:46 1.2K 
[ ]relset_1__301_19.min1.thm12017-02-06 12:46 1.1K 
[ ]relset_1__315_45.min1.thm12017-02-06 12:46 876  
[ ]relset_1__316_29.min1.thm12017-02-06 12:46 1.3K 
[ ]relset_1__317_31.min1.thm12017-02-06 12:46 618  
[ ]relset_1__319_19.min1.thm12017-02-06 12:46 945  
[ ]relset_1__331_19.min1.thm12017-02-06 12:46 1.2K 
[ ]relset_1__332_20.min1.thm12017-02-06 12:46 1.2K 
[ ]relset_1__333_28.min1.thm12017-02-06 12:46 1.3K 
[ ]relset_1__338_20.min1.thm12017-02-06 12:46 1.4K 
[ ]relset_1__339_19.min1.thm12017-02-06 12:46 1.2K 
[ ]relset_1__340_25.min1.thm12017-02-06 12:46 1.1K 
[ ]relset_1__342_41.min1.thm12017-02-06 12:46 784  
[ ]relset_1__342_41.min1.thm1.tptp2017-02-06 16:47 696  
[ ]relset_1__344_27.min1.thm12017-02-06 12:46 556  
[ ]relset_1__344_27.min1.thm1.tptp2017-02-06 16:47 496  
[ ]relset_1__350_19.min1.thm12017-02-06 12:46 1.2K 
[ ]relset_1__351_20.min1.thm12017-02-06 12:46 1.2K 
[ ]relset_1__352_28.min1.thm12017-02-06 12:46 1.3K 
[ ]relset_1__357_20.min1.thm12017-02-06 12:46 1.4K 
[ ]relset_1__358_19.min1.thm12017-02-06 12:46 1.2K 
[ ]relset_1__359_25.min1.thm12017-02-06 12:46 1.1K 
[ ]relset_1__361_41.min1.thm12017-02-06 12:46 784  
[ ]relset_1__361_41.min1.thm1.tptp2017-02-06 16:47 696  
[ ]relset_1__363_17.min1.thm12017-02-06 12:46 556  
[ ]relset_1__363_17.min1.thm1.tptp2017-02-06 16:47 496  
[ ]relset_1__367_26.min1.thm12017-02-06 12:46 342  
[ ]relset_1__367_26.min1.thm1.tptp2017-02-06 16:47 273  
[ ]relset_1__372_11.min1.thm12017-02-06 12:46 943  
[ ]relset_1__374_11.min1.thm12017-02-06 12:46 943  
[ ]relset_1__380_20.min1.thm12017-02-06 12:46 292  
[ ]relset_1__381_48.min1.thm12017-02-06 12:46 399  
[ ]relset_1__381_48.min1.thm1.tptp2017-02-06 16:47 327  
[ ]relset_1__385_26.min1.thm12017-02-06 12:46 644  
[ ]relset_1__386_19.min1.thm12017-02-06 12:46 740  
[ ]relset_1__388_17.min1.thm12017-02-06 12:46 857  
[ ]relset_1__392_28.min1.thm12017-02-06 12:46 359  
[ ]relset_1__392_28.min1.thm1.tptp2017-02-06 16:47 287  
[ ]relset_1__403_25.min1.thm12017-02-06 12:46 606  
[ ]relset_1__404_19.min1.thm12017-02-06 12:46 1.7K 
[ ]relset_1__410_25.min1.thm12017-02-06 12:46 606  
[ ]relset_1__411_19.min1.thm12017-02-06 12:46 1.7K 
[ ]relset_1__420_20.min1.thm12017-02-06 12:46 611  
[ ]relset_1__421_20.min1.thm12017-02-06 12:46 1.0K 
[ ]relset_1__422_16.min1.thm12017-02-06 12:46 611  
[ ]relset_1__430_21.min1.thm12017-02-06 12:46 611  
[ ]relset_1__431_15.min1.thm12017-02-06 12:46 611  
[ ]relset_1__432_20.min1.thm12017-02-06 12:46 1.0K 
[ ]relset_1__443_24.min1.thm12017-02-06 12:46 1.0K 
[ ]relset_1__444_28.min1.thm12017-02-06 12:46 1.0K 
[ ]relset_1__446_19.min1.thm12017-02-06 12:46 1.2K 
[ ]relset_1__458_24.min1.thm12017-02-06 12:46 1.0K 
[ ]relset_1__459_28.min1.thm12017-02-06 12:46 1.0K 
[ ]relset_1__461_19.min1.thm12017-02-06 12:46 1.2K 
[ ]relset_1__471_28.min1.thm12017-02-06 12:46 1.8K 
[ ]relset_1__472_30.min1.thm12017-02-06 12:46 594  
[ ]relset_1__487_20.min1.thm12017-02-06 12:46 1.0K 
[ ]relset_1__488_28.min1.thm12017-02-06 12:46 1.8K 
[ ]relset_1__490_41.min1.thm12017-02-06 12:46 1.4K 
[ ]relset_1__501_28.min1.thm12017-02-06 12:46 1.8K 
[ ]relset_1__502_30.min1.thm12017-02-06 12:46 594  
[ ]relset_1__517_20.min1.thm12017-02-06 12:46 1.0K 
[ ]relset_1__518_29.min1.thm12017-02-06 12:46 1.8K 
[ ]relset_1__520_42.min1.thm12017-02-06 12:46 1.4K 
[ ]relset_1__530_20.min1.thm12017-02-06 12:46 902  
[ ]relset_1__531_19.min1.thm12017-02-06 12:46 1.1K 
[ ]relset_1__536_19.min1.thm12017-02-06 12:46 900  
[ ]relset_1__537_19.min1.thm12017-02-06 12:46 1.1K 
[ ]relset_1__549_19.min1.thm12017-02-06 12:46 1.2K 
[ ]relset_1__550_15.min1.thm12017-02-06 12:46 1.0K 
[ ]relset_1__551_24.min1.thm12017-02-06 12:46 1.1K 
[ ]relset_1__555_41.min1.thm12017-02-06 12:46 1.2K 
[ ]relset_1__556_25.min1.thm12017-02-06 12:46 1.1K 
[ ]relset_1__558_37.min1.thm12017-02-06 12:46 745  
[ ]relset_1__558_37.min1.thm1.tptp2017-02-06 16:47 657  
[ ]relset_1__560_23.min1.thm12017-02-06 12:46 530  
[ ]relset_1__560_23.min1.thm1.tptp2017-02-06 16:47 470  
[ ]relset_1__566_19.min1.thm12017-02-06 12:46 1.2K 
[ ]relset_1__567_15.min1.thm12017-02-06 12:46 1.0K 
[ ]relset_1__568_23.min1.thm12017-02-06 12:46 1.1K 
[ ]relset_1__572_41.min1.thm12017-02-06 12:46 1.2K 
[ ]relset_1__573_25.min1.thm12017-02-06 12:46 1.1K 
[ ]relset_1__575_36.min1.thm12017-02-06 12:46 745  
[ ]relset_1__575_36.min1.thm1.tptp2017-02-06 16:47 657  
[ ]relset_1__577_17.min1.thm12017-02-06 12:46 530  
[ ]relset_1__577_17.min1.thm1.tptp2017-02-06 16:47 470  
[ ]relset_1__583_31.min1.thm12017-02-06 12:46 681  
[ ]relset_1__583_31.min1.thm1.tptp2017-02-06 16:47 618  
[ ]relset_1__584_17.min1.thm12017-02-06 12:46 1.9K 
[ ]relset_1__597_33.min1.thm12017-02-06 12:46 617  
[ ]relset_1__598_19.min1.thm12017-02-06 12:46 602  
[ ]relset_1__600_42.min1.thm12017-02-06 12:46 411  
[ ]relset_1__600_42.min1.thm1.tptp2017-02-06 16:47 333  
[ ]relset_1__602_16.min1.thm12017-02-06 12:46 624  
[ ]relset_1__624_22.min1.thm12017-02-06 12:46 907  
[ ]relset_1__628_16.min1.thm12017-02-06 12:46 317  
[ ]relset_1__628_16.min1.thm1.tptp2017-02-06 16:47 237  
[ ]relset_1__641_17.min1.thm12017-02-06 12:46 1.1K 
[ ]relset_1__642_39.min1.thm12017-02-06 12:46 1.1K 
[ ]relset_1__644_18.min1.thm12017-02-06 12:46 476  
[ ]relset_1__648_16.min1.thm12017-02-06 12:46 1.1K 
[ ]relset_1__659_17.min1.thm12017-02-06 12:46 1.2K 
[ ]relset_1__660_39.min1.thm12017-02-06 12:46 1.1K 
[ ]relset_1__662_18.min1.thm12017-02-06 12:46 476  
[ ]relset_1__666_16.min1.thm12017-02-06 12:46 1.1K 
[ ]relset_1__673_21.min1.thm12017-02-06 12:46 1.4K 
[ ]relset_1__674_38.min1.thm12017-02-06 12:46 428  
[ ]relset_1__675_14.min1.thm12017-02-06 12:46 1.0K 
[ ]relset_1__682_21.min1.thm12017-02-06 12:46 1.4K 
[ ]relset_1__683_38.min1.thm12017-02-06 12:46 428  
[ ]relset_1__684_14.min1.thm12017-02-06 12:46 1.0K 
[ ]relset_1__698_17.min1.thm12017-02-06 12:46 1.4K 
[ ]relset_1__699_39.min1.thm12017-02-06 12:46 1.1K 
[ ]relset_1__701_18.min1.thm12017-02-06 12:46 657  
[ ]relset_1__716_14.min1.thm12017-02-06 12:46 1.2K 
[ ]relset_1__717_39.min1.thm12017-02-06 12:46 1.1K 
[ ]relset_1__719_18.min1.thm12017-02-06 12:46 603  
[ ]relset_1__723_16.min1.thm12017-02-06 12:46 1.1K 
[ ]relset_1__734_14.min1.thm12017-02-06 12:46 1.2K 
[ ]relset_1__735_39.min1.thm12017-02-06 12:46 1.1K 
[ ]relset_1__737_18.min1.thm12017-02-06 12:46 603  
[ ]relset_1__741_16.min1.thm12017-02-06 12:46 1.1K 
[ ]relset_1__752_16.min1.thm12017-02-06 12:46 784  
[ ]relset_1__778_15.min1.thm12017-02-06 12:46 1.1K 
[ ]relset_1__779_12.min1.thm12017-02-06 12:46 355  
[ ]relset_1__779_12.min1.thm1.tptp2017-02-06 16:47 290  
[ ]relset_1__780_19.min1.thm12017-02-06 12:46 674  
[ ]relset_1__785_16.min1.thm12017-02-06 12:46 498  
[ ]relset_1__786_31.min1.thm12017-02-06 12:46 1.3K 
[ ]relset_1__787_17.min1.thm12017-02-06 12:46 1.0K 
[ ]relset_1__802_17.min1.thm12017-02-06 12:46 1.1K 
[ ]relset_1__803_15.min1.thm12017-02-06 12:46 272  
[ ]relset_1__804_24.min1.thm12017-02-06 12:46 1.0K 
[ ]relset_1__805_24.min1.thm12017-02-06 12:46 1.5K 
[ ]relset_1__806_51.min1.thm12017-02-06 12:46 1.1K 
[ ]relset_1__807_19.min1.thm12017-02-06 12:46 614  
[ ]relset_1__812_17.min1.thm12017-02-06 12:46 1.1K 
[ ]relset_1__813_13.min1.thm12017-02-06 12:46 270  
[ ]relset_1__814_22.min1.thm12017-02-06 12:46 1.0K 
[ ]relset_1__815_22.min1.thm12017-02-06 12:46 1.5K 
[ ]relset_1__816_49.min1.thm12017-02-06 12:46 1.1K 
[ ]relset_1__817_17.min1.thm12017-02-06 12:46 610  
[ ]relset_1__831_28.min1.thm12017-02-06 12:46 702  
[ ]relset_1__832_17.min1.thm12017-02-06 12:46 887  
[ ]relset_1__841_11.min1.thm12017-02-06 12:46 811  
[ ]relset_1__848_11.min1.thm12017-02-06 12:46 811  
[ ]relset_1__858_17.min1.thm12017-02-06 12:46 1.1K 
[ ]relset_1__868_19.min1.thm12017-02-06 12:46 657  
[ ]relset_1__869_16.min1.thm12017-02-06 12:46 522  
[ ]relset_1__879_22.min1.thm12017-02-06 12:46 437  
[ ]relset_1__879_22.min1.thm1.tptp2017-02-06 16:47 362  
[ ]relset_1__880_16.min1.thm12017-02-06 12:46 1.1K 
[ ]relset_1__891_28.min1.thm12017-02-06 12:46 363  
[ ]relset_1__891_28.min1.thm1.tptp2017-02-06 16:47 288  
[ ]relset_1__892_16.min1.thm12017-02-06 12:46 464  
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80