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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]fraenkel__47_8.min1.thm12017-02-06 12:45 459  
[ ]fraenkel__47_8.min1.thm1.tptp2017-02-06 16:47 396  
[ ]fraenkel__48_9.min1.thm12017-02-06 12:45 419  
[ ]fraenkel__49_17.min1.thm12017-02-06 12:45 562  
[ ]fraenkel__65_10.min1.thm12017-02-06 12:45 549  
[ ]fraenkel__65_10.min1.thm1.tptp2017-02-06 16:47 496  
[ ]fraenkel__66_11.min1.thm12017-02-06 12:45 581  
[ ]fraenkel__67_17.min1.thm12017-02-06 12:45 723  
[ ]fraenkel__79_57.min1.thm12017-02-06 12:45 319  
[ ]fraenkel__81_57.min1.thm12017-02-06 12:45 319  
[ ]fraenkel__98_19.min1.thm12017-02-06 12:45 411  
[ ]fraenkel__101_19.min1.thm12017-02-06 12:45 411  
[ ]fraenkel__120_9.min1.thm12017-02-06 12:45 467  
[ ]fraenkel__120_9.min1.thm1.tptp2017-02-06 16:47 404  
[ ]fraenkel__121_16.min1.thm12017-02-06 12:45 466  
[ ]fraenkel__122_19.min1.thm12017-02-06 12:45 580  
[ ]fraenkel__130_9.min1.thm12017-02-06 12:45 467  
[ ]fraenkel__130_9.min1.thm1.tptp2017-02-06 16:47 404  
[ ]fraenkel__131_16.min1.thm12017-02-06 12:45 466  
[ ]fraenkel__132_19.min1.thm12017-02-06 12:45 580  
[ ]fraenkel__134_17.min1.thm12017-02-06 12:45 392  
[ ]fraenkel__152_9.min1.thm12017-02-06 12:45 470  
[ ]fraenkel__152_9.min1.thm1.tptp2017-02-06 16:47 407  
[ ]fraenkel__153_16.min1.thm12017-02-06 12:45 559  
[ ]fraenkel__154_19.min1.thm12017-02-06 12:45 583  
[ ]fraenkel__162_9.min1.thm12017-02-06 12:45 470  
[ ]fraenkel__162_9.min1.thm1.tptp2017-02-06 16:47 407  
[ ]fraenkel__163_16.min1.thm12017-02-06 12:45 559  
[ ]fraenkel__164_19.min1.thm12017-02-06 12:45 583  
[ ]fraenkel__166_17.min1.thm12017-02-06 12:45 398  
[ ]fraenkel__187_12.min1.thm12017-02-06 12:45 560  
[ ]fraenkel__187_12.min1.thm1.tptp2017-02-06 16:47 507  
[ ]fraenkel__188_19.min1.thm12017-02-06 12:45 636  
[ ]fraenkel__189_19.min1.thm12017-02-06 12:45 752  
[ ]fraenkel__197_12.min1.thm12017-02-06 12:45 560  
[ ]fraenkel__197_12.min1.thm1.tptp2017-02-06 16:47 507  
[ ]fraenkel__198_19.min1.thm12017-02-06 12:45 636  
[ ]fraenkel__199_19.min1.thm12017-02-06 12:45 752  
[ ]fraenkel__201_17.min1.thm12017-02-06 12:45 398  
[ ]fraenkel__214_19.min1.thm12017-02-06 12:45 411  
[ ]fraenkel__220_19.min1.thm12017-02-06 12:45 411  
[ ]fraenkel__225_4.min1.thm12017-02-06 12:45 404  
[ ]fraenkel__229_17.min1.thm12017-02-06 12:45 464  
[ ]fraenkel__242_24.min1.thm12017-02-06 12:45 1.9K 
[ ]fraenkel__243_13.min1.thm12017-02-06 12:45 1.0K 
[ ]fraenkel__254_17.min1.thm12017-02-06 12:45 564  
[ ]fraenkel__254_17.min1.thm1.tptp2017-02-06 16:47 520  
[ ]fraenkel__255_29.min1.thm12017-02-06 12:45 428  
[ ]fraenkel__255_29.min1.thm1.tptp2017-02-06 16:47 347  
[ ]fraenkel__256_32.min1.thm12017-02-06 12:45 587  
[ ]fraenkel__257_22.min1.thm12017-02-06 12:45 591  
[ ]fraenkel__258_17.min1.thm12017-02-06 12:45 634  
[ ]fraenkel__273_17.min1.thm12017-02-06 12:45 823  
[ ]fraenkel__274_15.min1.thm12017-02-06 12:45 449  
[ ]fraenkel__275_17.min1.thm12017-02-06 12:45 822  
[ ]fraenkel__292_55.min1.thm12017-02-06 12:45 416  
[ ]fraenkel__294_60.min1.thm12017-02-06 12:45 1.3K 
[ ]fraenkel__296_17.min1.thm12017-02-06 12:45 291  
[ ]fraenkel__296_17.min1.thm1.tptp2017-02-06 16:47 209  
[ ]fraenkel__304_14.min1.thm12017-02-06 12:45 353  
[ ]fraenkel__304_14.min1.thm1.tptp2017-02-06 16:47 275  
[ ]fraenkel__318_12.min1.thm12017-02-06 12:45 676  
[ ]fraenkel__319_17.min1.thm12017-02-06 12:45 402  
[ ]fraenkel__319_17.min1.thm1.tptp2017-02-06 16:47 321  
[ ]fraenkel__335_12.min1.thm12017-02-06 12:45 564  
[ ]fraenkel__335_12.min1.thm1.tptp2017-02-06 16:47 511  
[ ]fraenkel__336_17.min1.thm12017-02-06 12:45 522  
[ ]fraenkel__336_17.min1.thm1.tptp2017-02-06 16:47 468  
[ ]fraenkel__358_10.min1.thm12017-02-06 12:45 510  
[ ]fraenkel__358_10.min1.thm1.tptp2017-02-06 16:47 447  
[ ]fraenkel__360_19.min1.thm12017-02-06 12:45 572  
[ ]fraenkel__360_19.min1.thm1.tptp2017-02-06 16:47 519  
[ ]fraenkel__361_19.min1.thm12017-02-06 12:45 765  
[ ]fraenkel__369_15.min1.thm12017-02-06 12:45 648  
[ ]fraenkel__369_15.min1.thm1.tptp2017-02-06 16:47 595  
[ ]fraenkel__371_21.min1.thm12017-02-06 12:45 676  
[ ]fraenkel__372_17.min1.thm12017-02-06 12:45 778  
[ ]fraenkel__386_55.min1.thm12017-02-06 12:45 539  
[ ]fraenkel__387_16.min1.thm12017-02-06 12:45 290  
[ ]fraenkel__389_16.min1.thm12017-02-06 12:45 656  
[ ]fraenkel__409_55.min1.thm12017-02-06 12:45 539  
[ ]fraenkel__410_16.min1.thm12017-02-06 12:45 290  
[ ]fraenkel__412_16.min1.thm12017-02-06 12:45 696  
[ ]fraenkel__433_10.min1.thm12017-02-06 12:45 564  
[ ]fraenkel__433_10.min1.thm1.tptp2017-02-06 16:47 511  
[ ]fraenkel__434_61.min1.thm12017-02-06 12:45 812  
[ ]fraenkel__435_17.min1.thm12017-02-06 12:45 780  
[ ]fraenkel__444_65.min1.thm12017-02-06 12:45 570  
[ ]fraenkel__444_65.min1.thm1.tptp2017-02-06 16:47 507  
[ ]fraenkel__445_14.min1.thm12017-02-06 12:45 354  
[ ]fraenkel__456_15.min1.thm12017-02-06 12:45 457  
[ ]fraenkel__456_15.min1.thm1.tptp2017-02-06 16:47 403  
[ ]fraenkel__457_67.min1.thm12017-02-06 12:45 576  
[ ]fraenkel__457_67.min1.thm1.tptp2017-02-06 16:47 511  
[ ]fraenkel__478_10.min1.thm12017-02-06 12:45 572  
[ ]fraenkel__478_10.min1.thm1.tptp2017-02-06 16:47 519  
[ ]fraenkel__479_13.min1.thm12017-02-06 12:45 642  
[ ]fraenkel__480_14.min1.thm12017-02-06 12:45 621  
[ ]fraenkel__481_19.min1.thm12017-02-06 12:45 743  
[ ]fraenkel__487_13.min1.thm12017-02-06 12:45 536  
[ ]fraenkel__487_13.min1.thm1.tptp2017-02-06 16:47 473  
[ ]fraenkel__488_14.min1.thm12017-02-06 12:45 614  
[ ]fraenkel__489_17.min1.thm12017-02-06 12:45 739  
[ ]fraenkel__499_16.min1.thm12017-02-06 12:45 299  
[ ]fraenkel__517_39.min1.thm12017-02-06 12:45 1.0K 
[ ]fraenkel__520_44.min1.thm12017-02-06 12:45 1.3K 
[ ]fraenkel__522_58.min1.thm12017-02-06 12:45 823  
[ ]fraenkel__523_25.min1.thm12017-02-06 12:45 1.2K 
[ ]fraenkel__524_22.min1.thm12017-02-06 12:45 1.2K 
[ ]fraenkel__531_16.min1.thm12017-02-06 12:45 1.0K 
[ ]fraenkel__533_40.min1.thm12017-02-06 12:45 2.4K 
[ ]fraenkel__534_29.min1.thm12017-02-06 12:45 1.8K 
[ ]fraenkel__535_54.min1.thm12017-02-06 12:45 1.9K 
[ ]fraenkel__548_11.min1.thm12017-02-06 12:45 193  
[ ]fraenkel__556_25.min1.thm12017-02-06 12:45 516  
[ ]fraenkel__556_25.min1.thm1.tptp2017-02-06 16:47 453  
[ ]fraenkel__557_15.min1.thm12017-02-06 12:45 680  
[ ]fraenkel__558_21.min1.thm12017-02-06 12:45 535  
[ ]fraenkel__560_16.min1.thm12017-02-06 12:45 603  
[ ]fraenkel__575_14.min1.thm12017-02-06 12:45 524  
[ ]fraenkel__575_14.min1.thm1.tptp2017-02-06 16:47 461  
[ ]fraenkel__576_19.min1.thm12017-02-06 12:45 917  
[ ]fraenkel__577_24.min1.thm12017-02-06 12:45 634  
[ ]fraenkel__578_21.min1.thm12017-02-06 12:45 1.0K 
[ ]fraenkel__585_15.min1.thm12017-02-06 12:45 730  
[ ]fraenkel__586_37.min1.thm12017-02-06 12:45 721  
[ ]fraenkel__587_15.min1.thm12017-02-06 12:45 805  
[ ]fraenkel__588_19.min1.thm12017-02-06 12:45 746  
[ ]fraenkel__590_17.min1.thm12017-02-06 12:45 564  
[ ]fraenkel__609_43.min1.thm12017-02-06 12:45 585  
[ ]fraenkel__609_43.min1.thm1.tptp2017-02-06 16:47 515  
[ ]fraenkel__619_14.min1.thm12017-02-06 12:45 658  
[ ]fraenkel__619_14.min1.thm1.tptp2017-02-06 16:47 605  
[ ]fraenkel__620_30.min1.thm12017-02-06 12:45 1.2K 
[ ]fraenkel__622_23.min1.thm12017-02-06 12:45 1.5K 
[ ]fraenkel__623_17.min1.thm12017-02-06 12:45 1.3K 
[ ]fraenkel__624_17.min1.thm12017-02-06 12:45 1.3K 
[ ]fraenkel__625_30.min1.thm12017-02-06 12:45 1.9K 
[ ]fraenkel__626_21.min1.thm12017-02-06 12:45 1.9K 
[ ]fraenkel__633_15.min1.thm12017-02-06 12:45 748  
[ ]fraenkel__634_46.min1.thm12017-02-06 12:45 780  
[ ]fraenkel__635_21.min1.thm12017-02-06 12:45 2.0K 
[ ]fraenkel__637_18.min1.thm12017-02-06 12:45 2.2K 
[ ]fraenkel__638_18.min1.thm12017-02-06 12:45 2.2K 
[ ]fraenkel__639_21.min1.thm12017-02-06 12:45 1.7K 
[ ]fraenkel__640_19.min1.thm12017-02-06 12:45 1.4K 
[ ]fraenkel__642_17.min1.thm12017-02-06 12:45 743  
[ ]fraenkel__668_20.min1.thm12017-02-06 12:45 793  
[ ]fraenkel__674_71.min1.thm12017-02-06 12:45 914  
[ ]fraenkel__676_21.min1.thm12017-02-06 12:45 277  
[ ]fraenkel__679_35.min1.thm12017-02-06 12:45 663  
[ ]fraenkel__680_28.min1.thm12017-02-06 12:45 945  
[ ]fraenkel__687_25.min1.thm12017-02-06 12:45 1.0K 
[ ]fraenkel__688_30.min1.thm12017-02-06 12:45 810  
[ ]fraenkel__689_31.min1.thm12017-02-06 12:45 1.0K 
[ ]fraenkel__691_32.min1.thm12017-02-06 12:45 849  
[ ]fraenkel__692_29.min1.thm12017-02-06 12:45 788  
[ ]fraenkel__696_35.min1.thm12017-02-06 12:45 502  
[ ]fraenkel__696_35.min1.thm1.tptp2017-02-06 16:47 440  
[ ]fraenkel__697_28.min1.thm12017-02-06 12:45 320  
[ ]fraenkel__701_32.min1.thm12017-02-06 12:45 849  
[ ]fraenkel__702_29.min1.thm12017-02-06 12:45 1.0K 
[ ]fraenkel__710_21.min1.thm12017-02-06 12:45 380  
[ ]fraenkel__715_23.min1.thm12017-02-06 12:45 513  
[ ]fraenkel__715_23.min1.thm1.tptp2017-02-06 16:47 441  
[ ]fraenkel__720_20.min1.thm12017-02-06 12:45 1.0K 
[ ]fraenkel__722_35.min1.thm12017-02-06 12:45 642  
[ ]fraenkel__723_28.min1.thm12017-02-06 12:45 1.1K 
[ ]fraenkel__727_32.min1.thm12017-02-06 12:45 851  
[ ]fraenkel__728_29.min1.thm12017-02-06 12:45 1.8K 
[ ]fraenkel__732_35.min1.thm12017-02-06 12:45 663  
[ ]fraenkel__734_23.min1.thm12017-02-06 12:45 384  
[ ]fraenkel__734_23.min1.thm1.tptp2017-02-06 16:47 303  
[ ]fraenkel__738_27.min1.thm12017-02-06 12:45 619  
[ ]fraenkel__739_29.min1.thm12017-02-06 12:45 1.0K 
[ ]fraenkel__745_18.min1.thm12017-02-06 12:45 972  
[ ]fraenkel__748_14.min1.thm12017-02-06 12:45 647  
[ ]fraenkel__748_14.min1.thm1.tptp2017-02-06 16:47 608  
[ ]fraenkel__750_14.min1.thm12017-02-06 12:45 861  
[ ]fraenkel__750_14.min1.thm1.tptp2017-02-06 16:47 848  
[ ]fraenkel__767_37.min1.thm12017-02-06 12:45 737  
[ ]fraenkel__768_16.min1.thm12017-02-06 12:45 573  
[ ]fraenkel__768_16.min1.thm1.tptp2017-02-06 16:47 519  
[ ]fraenkel__771_17.min1.thm12017-02-06 12:45 341  
[ ]fraenkel__771_17.min1.thm1.tptp2017-02-06 16:47 263  
[ ]fraenkel__773_45.min1.thm12017-02-06 12:45 897  
[ ]fraenkel__777_53.min1.thm12017-02-06 12:45 777  
[ ]fraenkel__778_14.min1.thm12017-02-06 12:45 1.2K 
[ ]fraenkel__786_26.min1.thm12017-02-06 12:45 525  
[ ]fraenkel__792_75.min1.thm12017-02-06 12:45 309  
[ ]fraenkel__809_24.min1.thm12017-02-06 12:45 272  
[ ]fraenkel__812_14.min1.thm12017-02-06 12:45 413  
[ ]fraenkel__813_13.min1.thm12017-02-06 12:45 477  
[ ]fraenkel__816_19.min1.thm12017-02-06 12:45 728  
[ ]fraenkel__816_19.min1.thm1.tptp2017-02-06 16:47 665  
[ ]fraenkel__820_20.min1.thm12017-02-06 12:45 1.4K 
[ ]fraenkel__821_20.min1.thm12017-02-06 12:45 1.0K 
[ ]fraenkel__822_26.min1.thm12017-02-06 12:45 1.6K 
[ ]fraenkel__823_28.min1.thm12017-02-06 12:45 361  
[ ]fraenkel__823_28.min1.thm1.tptp2017-02-06 16:47 287  
[ ]fraenkel__827_24.min1.thm12017-02-06 12:45 366  
[ ]fraenkel__827_24.min1.thm1.tptp2017-02-06 16:47 292  
[ ]fraenkel__828_24.min1.thm12017-02-06 12:45 273  
[ ]fraenkel__833_19.min1.thm12017-02-06 12:45 1.5K 
[ ]fraenkel__835_9.min1.thm12017-02-06 12:45 943  
[ ]fraenkel__836_32.min1.thm12017-02-06 12:45 2.1K 
[ ]fraenkel__837_27.min1.thm12017-02-06 12:45 2.0K 
[ ]fraenkel__838_20.min1.thm12017-02-06 12:45 855  
[ ]fraenkel__839_47.min1.thm12017-02-06 12:45 376  
[ ]fraenkel__839_47.min1.thm1.tptp2017-02-06 16:47 298  
[ ]fraenkel__841_18.min1.thm12017-02-06 12:45 2.0K 
[ ]fraenkel__851_20.min1.thm12017-02-06 12:45 814  
[ ]fraenkel__852_27.min1.thm12017-02-06 12:45 2.0K 
[ ]fraenkel__854_35.min1.thm12017-02-06 12:45 2.0K 
[ ]fraenkel__855_38.min1.thm12017-02-06 12:45 2.1K 
[ ]fraenkel__856_22.min1.thm12017-02-06 12:45 1.5K 
[ ]fraenkel__861_18.min1.thm12017-02-06 12:45 1.4K 
[ ]fraenkel__862_14.min1.thm12017-02-06 12:45 1.8K 
[ ]fraenkel__886_14.min1.thm12017-02-06 12:45 827  
[ ]fraenkel__886_14.min1.thm1.tptp2017-02-06 16:47 762  
[ ]fraenkel__887_53.min1.thm12017-02-06 12:45 527  
[ ]fraenkel__888_36.min1.thm12017-02-06 12:45 329  
[ ]fraenkel__888_36.min1.thm1.tptp2017-02-06 16:47 249  
[ ]fraenkel__894_12.min1.thm12017-02-06 12:45 572  
[ ]fraenkel__896_14.min1.thm12017-02-06 12:45 556  
[ ]fraenkel__897_14.min1.thm12017-02-06 12:45 739  
[ ]fraenkel__898_17.min1.thm12017-02-06 12:45 445  
[ ]fraenkel__902_35.min1.thm12017-02-06 12:45 574  
[ ]fraenkel__902_35.min1.thm1.tptp2017-02-06 16:47 547  
[ ]fraenkel__910_17.min1.thm12017-02-06 12:45 617  
[ ]fraenkel__911_27.min1.thm12017-02-06 12:45 470  
[ ]fraenkel__911_27.min1.thm1.tptp2017-02-06 16:47 389  
[ ]fraenkel__912_64.min1.thm12017-02-06 12:45 717  
[ ]fraenkel__913_38.min1.thm12017-02-06 12:45 414  
[ ]fraenkel__915_29.min1.thm12017-02-06 12:45 224  
[ ]fraenkel__916_48.min1.thm12017-02-06 12:45 619  
[ ]fraenkel__916_48.min1.thm1.tptp2017-02-06 16:47 550  
[ ]fraenkel__925_53.min1.thm12017-02-06 12:45 613  
[ ]fraenkel__926_63.min1.thm12017-02-06 12:45 787  
[ ]fraenkel__927_62.min1.thm12017-02-06 12:45 667  
[ ]fraenkel__928_57.min1.thm12017-02-06 12:45 745  
[ ]fraenkel__929_18.min1.thm12017-02-06 12:45 450  
[ ]fraenkel__943_9.min1.thm12017-02-06 12:45 444  
[ ]fraenkel__947_47.min1.thm12017-02-06 12:45 1.3K 
[ ]fraenkel__949_16.min1.thm12017-02-06 12:45 552  
[ ]fraenkel__949_16.min1.thm1.tptp2017-02-06 16:47 488  
[ ]fraenkel__963_57.min1.thm12017-02-06 12:45 289  
[ ]fraenkel__964_74.min1.thm12017-02-06 12:45 651  
[ ]fraenkel__964_74.min1.thm1.tptp2017-02-06 16:47 623  
[ ]fraenkel__976_52.min1.thm12017-02-06 12:45 604  
[ ]fraenkel__976_52.min1.thm1.tptp2017-02-06 16:47 555  
[ ]fraenkel__979_17.min1.thm12017-02-06 12:45 396  
[ ]fraenkel__980_19.min1.thm12017-02-06 12:45 1.0K 
[ ]fraenkel__981_22.min1.thm12017-02-06 12:45 723  
[ ]fraenkel__981_22.min1.thm1.tptp2017-02-06 16:47 646  
[ ]fraenkel__982_21.min1.thm12017-02-06 12:45 1.1K 
[ ]fraenkel__983_21.min1.thm12017-02-06 12:45 1.5K 
[ ]fraenkel__990_15.min1.thm12017-02-06 12:45 1.4K 
[ ]fraenkel__991_37.min1.thm12017-02-06 12:45 728  
[ ]fraenkel__992_13.min1.thm12017-02-06 12:45 738  
[ ]fraenkel__993_19.min1.thm12017-02-06 12:45 1.5K 
[ ]fraenkel__995_17.min1.thm12017-02-06 12:45 1.0K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80