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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]compact1__62_20.min1.thm12017-02-06 12:45 847  
[ ]compact1__63_19.min1.thm12017-02-06 12:45 879  
[ ]compact1__73_15.min1.thm12017-02-06 12:45 872  
[ ]compact1__80_14.min1.thm12017-02-06 12:45 621  
[ ]compact1__115_43.min1.thm12017-02-06 12:45 1.0K 
[ ]compact1__116_20.min1.thm12017-02-06 12:45 1.3K 
[ ]compact1__118_45.min1.thm12017-02-06 12:45 846  
[ ]compact1__122_21.min1.thm12017-02-06 12:45 1.0K 
[ ]compact1__127_46.min1.thm12017-02-06 12:45 917  
[ ]compact1__129_21.min1.thm12017-02-06 12:45 907  
[ ]compact1__137_43.min1.thm12017-02-06 12:45 1.1K 
[ ]compact1__138_20.min1.thm12017-02-06 12:45 419  
[ ]compact1__140_52.min1.thm12017-02-06 12:45 414  
[ ]compact1__140_52.min1.thm1.tptp2017-02-06 16:48 333  
[ ]compact1__148_19.min1.thm12017-02-06 12:45 476  
[ ]compact1__148_19.min1.thm1.tptp2017-02-06 16:48 409  
[ ]compact1__155_31.min1.thm12017-02-06 12:45 451  
[ ]compact1__155_31.min1.thm1.tptp2017-02-06 16:48 363  
[ ]compact1__156_18.min1.thm12017-02-06 12:45 1.2K 
[ ]compact1__190_19.min1.thm12017-02-06 12:45 752  
[ ]compact1__194_13.min1.thm12017-02-06 12:45 1.3K 
[ ]compact1__195_19.min1.thm12017-02-06 12:45 1.3K 
[ ]compact1__196_16.min1.thm12017-02-06 12:45 430  
[ ]compact1__196_16.min1.thm1.tptp2017-02-06 16:48 349  
[ ]compact1__215_46.min1.thm12017-02-06 12:45 2.0K 
[ ]compact1__216_18.min1.thm12017-02-06 12:45 1.5K 
[ ]compact1__218_43.min1.thm12017-02-06 12:45 917  
[ ]compact1__222_19.min1.thm12017-02-06 12:45 1.0K 
[ ]compact1__224_21.min1.thm12017-02-06 12:45 789  
[ ]compact1__225_19.min1.thm12017-02-06 12:45 1.0K 
[ ]compact1__232_44.min1.thm12017-02-06 12:45 1.0K 
[ ]compact1__234_20.min1.thm12017-02-06 12:45 1.4K 
[ ]compact1__237_20.min1.thm12017-02-06 12:45 1.4K 
[ ]compact1__238_21.min1.thm12017-02-06 12:45 725  
[ ]compact1__246_18.min1.thm12017-02-06 12:45 559  
[ ]compact1__248_19.min1.thm12017-02-06 12:45 427  
[ ]compact1__248_19.min1.thm1.tptp2017-02-06 16:48 346  
[ ]compact1__261_30.min1.thm12017-02-06 12:45 752  
[ ]compact1__262_17.min1.thm12017-02-06 12:45 1.0K 
[ ]compact1__265_19.min1.thm12017-02-06 12:45 1.4K 
[ ]compact1__278_26.min1.thm12017-02-06 12:45 811  
[ ]compact1__279_15.min1.thm12017-02-06 12:45 1.1K 
[ ]compact1__280_35.min1.thm12017-02-06 12:45 1.2K 
[ ]compact1__281_16.min1.thm12017-02-06 12:45 430  
[ ]compact1__281_16.min1.thm1.tptp2017-02-06 16:48 349  
[ ]compact1__294_30.min1.thm12017-02-06 12:45 752  
[ ]compact1__295_17.min1.thm12017-02-06 12:45 1.0K 
[ ]compact1__298_19.min1.thm12017-02-06 12:45 1.2K 
[ ]compact1__312_19.min1.thm12017-02-06 12:45 787  
[ ]compact1__313_15.min1.thm12017-02-06 12:45 1.3K 
[ ]compact1__314_35.min1.thm12017-02-06 12:45 1.1K 
[ ]compact1__315_16.min1.thm12017-02-06 12:45 430  
[ ]compact1__315_16.min1.thm1.tptp2017-02-06 16:48 349  
[ ]compact1__329_36.min1.thm12017-02-06 12:45 1.8K 
[ ]compact1__330_19.min1.thm12017-02-06 12:45 671  
[ ]compact1__342_16.min1.thm12017-02-06 12:45 1.0K 
[ ]compact1__344_22.min1.thm12017-02-06 12:45 1.1K 
[ ]compact1__345_47.min1.thm12017-02-06 12:45 2.0K 
[ ]compact1__346_16.min1.thm12017-02-06 12:45 1.2K 
[ ]compact1__347_16.min1.thm12017-02-06 12:45 430  
[ ]compact1__347_16.min1.thm1.tptp2017-02-06 16:48 349  
[ ]compact1__357_15.min1.thm12017-02-06 12:45 342  
[ ]compact1__368_38.min1.thm12017-02-06 12:45 1.2K 
[ ]compact1__370_19.min1.thm12017-02-06 12:45 685  
[ ]compact1__371_19.min1.thm12017-02-06 12:45 1.1K 
[ ]compact1__375_18.min1.thm12017-02-06 12:45 1.0K 
[ ]compact1__376_19.min1.thm12017-02-06 12:45 1.3K 
[ ]compact1__379_17.min1.thm12017-02-06 12:45 928  
[ ]compact1__382_21.min1.thm12017-02-06 12:45 1.7K 
[ ]compact1__383_25.min1.thm12017-02-06 12:45 1.6K 
[ ]compact1__384_33.min1.thm12017-02-06 12:45 1.8K 
[ ]compact1__387_19.min1.thm12017-02-06 12:45 2.1K 
[ ]compact1__398_38.min1.thm12017-02-06 12:45 1.3K 
[ ]compact1__400_19.min1.thm12017-02-06 12:45 920  
[ ]compact1__401_19.min1.thm12017-02-06 12:45 1.1K 
[ ]compact1__402_16.min1.thm12017-02-06 12:45 1.4K 
[ ]compact1__404_37.min1.thm12017-02-06 12:45 1.0K 
[ ]compact1__407_13.min1.thm12017-02-06 12:45 1.2K 
[ ]compact1__408_41.min1.thm12017-02-06 12:45 932  
[ ]compact1__409_19.min1.thm12017-02-06 12:45 1.3K 
[ ]compact1__412_17.min1.thm12017-02-06 12:45 959  
[ ]compact1__413_18.min1.thm12017-02-06 12:45 1.0K 
[ ]compact1__415_13.min1.thm12017-02-06 12:45 1.0K 
[ ]compact1__416_18.min1.thm12017-02-06 12:45 1.7K 
[ ]compact1__418_19.min1.thm12017-02-06 12:45 530  
[ ]compact1__418_19.min1.thm1.tptp2017-02-06 16:48 449  
[ ]compact1__428_19.min1.thm12017-02-06 12:45 1.1K 
[ ]compact1__431_22.min1.thm12017-02-06 12:45 635  
[ ]compact1__435_39.min1.thm12017-02-06 12:45 524  
[ ]compact1__436_40.min1.thm12017-02-06 12:45 891  
[ ]compact1__439_19.min1.thm12017-02-06 12:45 1.7K 
[ ]compact1__440_39.min1.thm12017-02-06 12:45 1.9K 
[ ]compact1__441_17.min1.thm12017-02-06 12:45 1.9K 
[ ]compact1__442_35.min1.thm12017-02-06 12:45 2.2K 
[ ]compact1__446_16.min1.thm12017-02-06 12:45 700  
[ ]compact1__447_59.min1.thm12017-02-06 12:45 492  
[ ]compact1__447_59.min1.thm1.tptp2017-02-06 16:48 419  
[ ]compact1__451_17.min1.thm12017-02-06 12:45 1.4K 
[ ]compact1__454_16.min1.thm12017-02-06 12:45 616  
[ ]compact1__455_18.min1.thm12017-02-06 12:45 846  
[ ]compact1__456_18.min1.thm12017-02-06 12:45 2.1K 
[ ]compact1__458_15.min1.thm12017-02-06 12:45 1.1K 
[ ]compact1__459_19.min1.thm12017-02-06 12:45 1.9K 
[ ]compact1__464_17.min1.thm12017-02-06 12:45 1.5K 
[ ]compact1__474_11.min1.thm12017-02-06 12:45 681  
[ ]compact1__490_23.min1.thm12017-02-06 12:45 922  
[ ]compact1__493_34.min1.thm12017-02-06 12:45 635  
[ ]compact1__502_39.min1.thm12017-02-06 12:45 2.5K 
[ ]compact1__505_29.min1.thm12017-02-06 12:45 633  
[ ]compact1__507_13.min1.thm12017-02-06 12:45 1.8K 
[ ]compact1__510_31.min1.thm12017-02-06 12:45 209  
[ ]compact1__518_21.min1.thm12017-02-06 12:45 633  
[ ]compact1__524_20.min1.thm12017-02-06 12:45 282  
[ ]compact1__526_25.min1.thm12017-02-06 12:45 794  
[ ]compact1__527_33.min1.thm12017-02-06 12:45 1.9K 
[ ]compact1__543_14.min1.thm12017-02-06 12:45 1.0K 
[ ]compact1__565_21.min1.thm12017-02-06 12:45 910  
[ ]compact1__570_39.min1.thm12017-02-06 12:45 739  
[ ]compact1__571_25.min1.thm12017-02-06 12:45 1.7K 
[ ]compact1__575_46.min1.thm12017-02-06 12:45 540  
[ ]compact1__575_46.min1.thm1.tptp2017-02-06 16:48 478  
[ ]compact1__577_18.min1.thm12017-02-06 12:45 671  
[ ]compact1__579_43.min1.thm12017-02-06 12:45 712  
[ ]compact1__581_18.min1.thm12017-02-06 12:45 785  
[ ]compact1__584_12.min1.thm12017-02-06 12:45 737  
[ ]compact1__584_12.min1.thm1.tptp2017-02-06 16:48 707  
[ ]compact1__592_64.min1.thm12017-02-06 12:45 705  
[ ]compact1__593_16.min1.thm12017-02-06 12:45 896  
[ ]compact1__601_50.min1.thm12017-02-06 12:45 860  
[ ]compact1__602_17.min1.thm12017-02-06 12:45 477  
[ ]compact1__613_20.min1.thm12017-02-06 12:45 291  
[ ]compact1__616_43.min1.thm12017-02-06 12:45 895  
[ ]compact1__619_23.min1.thm12017-02-06 12:45 1.0K 
[ ]compact1__619_30.min1.thm12017-02-06 12:45 686  
[ ]compact1__620_17.min1.thm12017-02-06 12:45 2.0K 
[ ]compact1__621_52.min1.thm12017-02-06 12:45 1.2K 
[ ]compact1__624_24.min1.thm12017-02-06 12:45 295  
[ ]compact1__633_21.min1.thm12017-02-06 12:45 1.2K 
[ ]compact1__634_25.min1.thm12017-02-06 12:45 805  
[ ]compact1__637_40.min1.thm12017-02-06 12:45 1.2K 
[ ]compact1__639_27.min1.thm12017-02-06 12:45 906  
[ ]compact1__650_22.min1.thm12017-02-06 12:45 773  
[ ]compact1__656_26.min1.thm12017-02-06 12:45 634  
[ ]compact1__659_37.min1.thm12017-02-06 12:45 1.0K 
[ ]compact1__663_35.min1.thm12017-02-06 12:45 654  
[ ]compact1__664_37.min1.thm12017-02-06 12:45 1.3K 
[ ]compact1__670_25.min1.thm12017-02-06 12:45 939  
[ ]compact1__671_26.min1.thm12017-02-06 12:45 1.2K 
[ ]compact1__682_19.min1.thm12017-02-06 12:45 791  
[ ]compact1__683_22.min1.thm12017-02-06 12:45 1.2K 
[ ]compact1__686_48.min1.thm12017-02-06 12:45 673  
[ ]compact1__687_24.min1.thm12017-02-06 12:45 807  
[ ]compact1__689_27.min1.thm12017-02-06 12:45 964  
[ ]compact1__696_25.min1.thm12017-02-06 12:45 1.0K 
[ ]compact1__699_26.min1.thm12017-02-06 12:45 817  
[ ]compact1__700_27.min1.thm12017-02-06 12:45 866  
[ ]compact1__703_17.min1.thm12017-02-06 12:45 379  
[ ]compact1__708_19.min1.thm12017-02-06 12:45 801  
[ ]compact1__709_45.min1.thm12017-02-06 12:45 1.3K 
[ ]compact1__713_26.min1.thm12017-02-06 12:45 1.9K 
[ ]compact1__716_29.min1.thm12017-02-06 12:45 1.1K 
[ ]compact1__719_36.min1.thm12017-02-06 12:45 1.0K 
[ ]compact1__720_19.min1.thm12017-02-06 12:45 1.3K 
[ ]compact1__725_27.min1.thm12017-02-06 12:45 1.6K 
[ ]compact1__727_47.min1.thm12017-02-06 12:45 725  
[ ]compact1__737_26.min1.thm12017-02-06 12:45 1.3K 
[ ]compact1__740_22.min1.thm12017-02-06 12:45 1.0K 
[ ]compact1__741_29.min1.thm12017-02-06 12:45 836  
[ ]compact1__742_29.min1.thm12017-02-06 12:45 867  
[ ]compact1__746_46.min1.thm12017-02-06 12:45 1.5K 
[ ]compact1__747_47.min1.thm12017-02-06 12:45 720  
[ ]compact1__755_18.min1.thm12017-02-06 12:45 1.2K 
[ ]compact1__759_44.min1.thm12017-02-06 12:45 782  
[ ]compact1__764_43.min1.thm12017-02-06 12:45 657  
[ ]compact1__765_25.min1.thm12017-02-06 12:45 1.1K 
[ ]compact1__766_32.min1.thm12017-02-06 12:45 1.1K 
[ ]compact1__767_34.min1.thm12017-02-06 12:45 1.5K 
[ ]compact1__768_61.min1.thm12017-02-06 12:45 1.4K 
[ ]compact1__772_24.min1.thm12017-02-06 12:45 963  
[ ]compact1__773_21.min1.thm12017-02-06 12:45 772  
[ ]compact1__777_44.min1.thm12017-02-06 12:45 784  
[ ]compact1__782_43.min1.thm12017-02-06 12:45 657  
[ ]compact1__783_25.min1.thm12017-02-06 12:45 1.1K 
[ ]compact1__784_32.min1.thm12017-02-06 12:45 1.1K 
[ ]compact1__785_34.min1.thm12017-02-06 12:45 1.5K 
[ ]compact1__786_61.min1.thm12017-02-06 12:45 1.4K 
[ ]compact1__790_24.min1.thm12017-02-06 12:45 963  
[ ]compact1__791_21.min1.thm12017-02-06 12:45 772  
[ ]compact1__795_44.min1.thm12017-02-06 12:45 784  
[ ]compact1__803_25.min1.thm12017-02-06 12:45 963  
[ ]compact1__807_25.min1.thm12017-02-06 12:45 963  
[ ]compact1__808_32.min1.thm12017-02-06 12:45 1.8K 
[ ]compact1__810_33.min1.thm12017-02-06 12:45 2.0K 
[ ]compact1__816_16.min1.thm12017-02-06 12:45 248  
[ ]compact1__826_47.min1.thm12017-02-06 12:45 380  
[ ]compact1__826_47.min1.thm1.tptp2017-02-06 16:48 299  
[ ]compact1__829_4.min1.thm12017-02-06 12:45 652  
[ ]compact1__831_66.min1.thm12017-02-06 12:45 967  
[ ]compact1__836_62.min1.thm12017-02-06 12:45 718  
[ ]compact1__838_25.min1.thm12017-02-06 12:45 1.1K 
[ ]compact1__843_14.min1.thm12017-02-06 12:45 629  
[ ]compact1__846_19.min1.thm12017-02-06 12:45 1.2K 
[ ]compact1__853_17.min1.thm12017-02-06 12:45 890  
[ ]compact1__854_20.min1.thm12017-02-06 12:45 291  
[ ]compact1__855_30.min1.thm12017-02-06 12:45 908  
[ ]compact1__856_31.min1.thm12017-02-06 12:45 1.0K 
[ ]compact1__857_33.min1.thm12017-02-06 12:45 2.1K 
[ ]compact1__858_13.min1.thm12017-02-06 12:45 1.3K 
[ ]compact1__859_19.min1.thm12017-02-06 12:45 676  
[ ]compact1__872_50.min1.thm12017-02-06 12:45 1.1K 
[ ]compact1__880_37.min1.thm12017-02-06 12:45 1.4K 
[ ]compact1__881_21.min1.thm12017-02-06 12:45 917  
[ ]compact1__890_18.min1.thm12017-02-06 12:45 649  
[ ]compact1__892_21.min1.thm12017-02-06 12:45 826  
[ ]compact1__893_30.min1.thm12017-02-06 12:45 1.0K 
[ ]compact1__894_52.min1.thm12017-02-06 12:45 1.0K 
[ ]compact1__897_13.min1.thm12017-02-06 12:45 1.4K 
[ ]compact1__898_62.min1.thm12017-02-06 12:45 564  
[ ]compact1__899_16.min1.thm12017-02-06 12:45 1.1K 
[ ]compact1__900_62.min1.thm12017-02-06 12:45 803  
[ ]compact1__903_20.min1.thm12017-02-06 12:45 292  
[ ]compact1__904_38.min1.thm12017-02-06 12:45 1.2K 
[ ]compact1__905_18.min1.thm12017-02-06 12:45 571  
[ ]compact1__909_17.min1.thm12017-02-06 12:45 949  
[ ]compact1__915_28.min1.thm12017-02-06 12:45 777  
[ ]compact1__916_51.min1.thm12017-02-06 12:45 1.0K 
[ ]compact1__919_15.min1.thm12017-02-06 12:45 1.4K 
[ ]compact1__920_64.min1.thm12017-02-06 12:45 570  
[ ]compact1__921_18.min1.thm12017-02-06 12:45 1.1K 
[ ]compact1__922_64.min1.thm12017-02-06 12:45 813  
[ ]compact1__926_18.min1.thm12017-02-06 12:45 543  
[ ]compact1__926_18.min1.thm1.tptp2017-02-06 16:48 481  
[ ]compact1__929_45.min1.thm12017-02-06 12:45 657  
[ ]compact1__930_63.min1.thm12017-02-06 12:45 777  
[ ]compact1__931_21.min1.thm12017-02-06 12:45 771  
[ ]compact1__933_30.min1.thm12017-02-06 12:45 1.0K 
[ ]compact1__940_22.min1.thm12017-02-06 12:45 963  
[ ]compact1__944_26.min1.thm12017-02-06 12:45 923  
[ ]compact1__947_23.min1.thm12017-02-06 12:45 1.4K 
[ ]compact1__948_30.min1.thm12017-02-06 12:45 822  
[ ]compact1__951_27.min1.thm12017-02-06 12:45 972  
[ ]compact1__952_29.min1.thm12017-02-06 12:45 1.3K 
[ ]compact1__969_18.min1.thm12017-02-06 12:45 1.1K 
[ ]compact1__970_21.min1.thm12017-02-06 12:45 896  
[ ]compact1__979_21.min1.thm12017-02-06 12:45 857  
[ ]compact1__984_15.min1.thm12017-02-06 12:45 439  
[ ]compact1__988_59.min1.thm12017-02-06 12:45 1.1K 
[ ]compact1__991_22.min1.thm12017-02-06 12:45 1.1K 
[ ]compact1__996_66.min1.thm12017-02-06 12:45 772  
[ ]compact1__999_22.min1.thm12017-02-06 12:45 1.2K 
[ ]compact1__1018_20.min1.thm12017-02-06 12:45 1.5K 
[ ]compact1__1019_21.min1.thm12017-02-06 12:45 677  
[ ]compact1__1022_22.min1.thm12017-02-06 12:45 580  
[ ]compact1__1034_18.min1.thm12017-02-06 12:45 881  
[ ]compact1__1036_15.min1.thm12017-02-06 12:45 833  
[ ]compact1__1040_54.min1.thm12017-02-06 12:45 1.0K 
[ ]compact1__1044_24.min1.thm12017-02-06 12:45 1.0K 
[ ]compact1__1045_18.min1.thm12017-02-06 12:45 1.1K 
[ ]compact1__1050_28.min1.thm12017-02-06 12:45 1.3K 
[ ]compact1__1057_20.min1.thm12017-02-06 12:45 757  
[ ]compact1__1058_20.min1.thm12017-02-06 12:45 881  
[ ]compact1__1063_22.min1.thm12017-02-06 12:45 938  
[ ]compact1__1067_27.min1.thm12017-02-06 12:45 1.0K 
[ ]compact1__1071_31.min1.thm12017-02-06 12:45 652  
[ ]compact1__1076_25.min1.thm12017-02-06 12:45 757  
[ ]compact1__1077_39.min1.thm12017-02-06 12:45 1.3K 
[ ]compact1__1079_47.min1.thm12017-02-06 12:45 1.3K 
[ ]compact1__1080_46.min1.thm12017-02-06 12:45 1.8K 
[ ]compact1__1085_19.min1.thm12017-02-06 12:45 671  
[ ]compact1__1088_19.min1.thm12017-02-06 12:45 919  
[ ]compact1__1089_23.min1.thm12017-02-06 12:45 1.0K 
[ ]compact1__1092_56.min1.thm12017-02-06 12:45 1.1K 
[ ]compact1__1103_20.min1.thm12017-02-06 12:45 287  
[ ]compact1__1104_52.min1.thm12017-02-06 12:45 925  
[ ]compact1__1105_19.min1.thm12017-02-06 12:45 1.0K 
[ ]compact1__1106_71.min1.thm12017-02-06 12:45 1.5K 
[ ]compact1__1110_47.min1.thm12017-02-06 12:45 445  
[ ]compact1__1110_47.min1.thm1.tptp2017-02-06 16:48 363  
[ ]compact1__1128_66.min1.thm12017-02-06 12:45 1.2K 
[ ]compact1__1130_31.min1.thm12017-02-06 12:45 777  
[ ]compact1__1132_59.min1.thm12017-02-06 12:45 591  
[ ]compact1__1134_31.min1.thm12017-02-06 12:45 778  
[ ]compact1__1135_64.min1.thm12017-02-06 12:45 592  
[ ]compact1__1137_36.min1.thm12017-02-06 12:45 1.1K 
[ ]compact1__1138_20.min1.thm12017-02-06 12:45 741  
[ ]compact1__1143_40.min1.thm12017-02-06 12:45 653  
[ ]compact1__1145_21.min1.thm12017-02-06 12:45 726  
[ ]compact1__1146_49.min1.thm12017-02-06 12:45 483  
[ ]compact1__1149_13.min1.thm12017-02-06 12:45 949  
[ ]compact1__1150_31.min1.thm12017-02-06 12:45 2.0K 
[ ]compact1__1152_70.min1.thm12017-02-06 12:45 872  
[ ]compact1__1157_31.min1.thm12017-02-06 12:45 1.3K 
[ ]compact1__1158_64.min1.thm12017-02-06 12:45 592  
[ ]compact1__1160_24.min1.thm12017-02-06 12:45 849  
[ ]compact1__1161_23.min1.thm12017-02-06 12:45 1.2K 
[ ]compact1__1162_20.min1.thm12017-02-06 12:45 1.2K 
[ ]compact1__1163_20.min1.thm12017-02-06 12:45 694  
[ ]compact1__1164_22.min1.thm12017-02-06 12:45 294  
[ ]compact1__1165_28.min1.thm12017-02-06 12:45 1.5K 
[ ]compact1__1167_28.min1.thm12017-02-06 12:45 1.1K 
[ ]compact1__1168_19.min1.thm12017-02-06 12:45 913  
[ ]compact1__1170_21.min1.thm12017-02-06 12:45 1.1K 
[ ]compact1__1175_40.min1.thm12017-02-06 12:45 653  
[ ]compact1__1177_21.min1.thm12017-02-06 12:45 726  
[ ]compact1__1178_49.min1.thm12017-02-06 12:45 451  
[ ]compact1__1178_49.min1.thm1.tptp2017-02-06 16:48 369  
[ ]compact1__1181_13.min1.thm12017-02-06 12:45 949  
[ ]compact1__1182_31.min1.thm12017-02-06 12:45 2.0K 
[ ]compact1__1184_70.min1.thm12017-02-06 12:45 872  
[ ]compact1__1189_23.min1.thm12017-02-06 12:45 1.2K 
[ ]compact1__1190_31.min1.thm12017-02-06 12:45 1.3K 
[ ]compact1__1191_64.min1.thm12017-02-06 12:45 592  
[ ]compact1__1193_24.min1.thm12017-02-06 12:45 849  
[ ]compact1__1194_20.min1.thm12017-02-06 12:45 694  
[ ]compact1__1195_20.min1.thm12017-02-06 12:45 1.2K 
[ ]compact1__1196_22.min1.thm12017-02-06 12:45 294  
[ ]compact1__1197_28.min1.thm12017-02-06 12:45 1.5K 
[ ]compact1__1199_28.min1.thm12017-02-06 12:45 1.1K 
[ ]compact1__1200_19.min1.thm12017-02-06 12:45 913  
[ ]compact1__1202_21.min1.thm12017-02-06 12:45 1.2K 
[ ]compact1__1206_22.min1.thm12017-02-06 12:45 1.3K 
[ ]compact1__1210_54.min1.thm12017-02-06 12:45 397  
[ ]compact1__1210_54.min1.thm1.tptp2017-02-06 16:48 315  
[ ]compact1__1213_25.min1.thm12017-02-06 12:45 683  
[ ]compact1__1215_11.min1.thm12017-02-06 12:45 767  
[ ]compact1__1216_68.min1.thm12017-02-06 12:45 1.0K 
[ ]compact1__1217_18.min1.thm12017-02-06 12:45 288  
[ ]compact1__1218_13.min1.thm12017-02-06 12:45 1.0K 
[ ]compact1__1227_21.min1.thm12017-02-06 12:45 1.1K 
[ ]compact1__1230_55.min1.thm12017-02-06 12:45 813  
[ ]compact1__1231_16.min1.thm12017-02-06 12:45 664  
[ ]compact1__1235_18.min1.thm12017-02-06 12:45 1.0K 
[ ]compact1__1237_28.min1.thm12017-02-06 12:45 1.6K 
[ ]compact1__1239_22.min1.thm12017-02-06 12:45 1.0K 
[ ]compact1__1241_17.min1.thm12017-02-06 12:45 926  
[ ]compact1__1242_73.min1.thm12017-02-06 12:45 2.2K 
[ ]compact1__1245_9.min1.thm12017-02-06 12:45 1.3K 
[ ]compact1__1246_15.min1.thm12017-02-06 12:45 715  
[ ]compact1__1252_73.min1.thm12017-02-06 12:45 1.0K 
[ ]compact1__1253_21.min1.thm12017-02-06 12:45 1.1K 
[ ]compact1__1254_24.min1.thm12017-02-06 12:45 869  
[ ]compact1__1257_55.min1.thm12017-02-06 12:45 813  
[ ]compact1__1258_32.min1.thm12017-02-06 12:45 664  
[ ]compact1__1259_47.min1.thm12017-02-06 12:45 869  
[ ]compact1__1276_20.min1.thm12017-02-06 12:45 287  
[ ]compact1__1277_52.min1.thm12017-02-06 12:45 925  
[ ]compact1__1278_21.min1.thm12017-02-06 12:45 1.0K 
[ ]compact1__1280_47.min1.thm12017-02-06 12:45 1.3K 
[ ]compact1__1288_26.min1.thm12017-02-06 12:45 489  
[ ]compact1__1289_47.min1.thm12017-02-06 12:45 447  
[ ]compact1__1289_47.min1.thm1.tptp2017-02-06 16:48 365  
[ ]compact1__1290_72.min1.thm12017-02-06 12:45 837  
[ ]compact1__1292_18.min1.thm12017-02-06 12:45 257  
[ ]compact1__1293_51.min1.thm12017-02-06 12:45 1.0K 
[ ]compact1__1294_21.min1.thm12017-02-06 12:45 823  
[ ]compact1__1296_73.min1.thm12017-02-06 12:45 1.5K 
[ ]compact1__1300_69.min1.thm12017-02-06 12:45 1.0K 
[ ]compact1__1303_28.min1.thm12017-02-06 12:45 2.2K 
[ ]compact1__1308_37.min1.thm12017-02-06 12:45 1.7K 
[ ]compact1__1309_16.min1.thm12017-02-06 12:45 2.4K 
[ ]compact1__1311_65.min1.thm12017-02-06 12:45 835  
[ ]compact1__1313_21.min1.thm12017-02-06 12:45 685  
[ ]compact1__1317_19.min1.thm12017-02-06 12:45 1.6K 
[ ]compact1__1320_28.min1.thm12017-02-06 12:45 2.4K 
[ ]compact1__1323_21.min1.thm12017-02-06 12:45 2.2K 
[ ]compact1__1326_59.min1.thm12017-02-06 12:45 1.8K 
[ ]compact1__1328_19.min1.thm12017-02-06 12:45 1.5K 
[ ]compact1__1333_47.min1.thm12017-02-06 12:45 842  
[ ]compact1__1335_22.min1.thm12017-02-06 12:45 480  
[ ]compact1__1336_24.min1.thm12017-02-06 12:45 1.0K 
[ ]compact1__1339_63.min1.thm12017-02-06 12:45 1.2K 
[ ]compact1__1342_15.min1.thm12017-02-06 12:45 1.0K 
[ ]compact1__1344_22.min1.thm12017-02-06 12:45 1.4K 
[ ]compact1__1345_20.min1.thm12017-02-06 12:45 1.9K 
[ ]compact1__1346_14.min1.thm12017-02-06 12:45 1.3K 
[ ]compact1__1361_48.min1.thm12017-02-06 12:45 445  
[ ]compact1__1361_48.min1.thm1.tptp2017-02-06 16:48 363  
[ ]compact1__1362_70.min1.thm12017-02-06 12:45 833  
[ ]compact1__1363_52.min1.thm12017-02-06 12:45 955  
[ ]compact1__1378_18.min1.thm12017-02-06 12:45 649  
[ ]compact1__1388_21.min1.thm12017-02-06 12:45 1.0K 
[ ]compact1__1389_24.min1.thm12017-02-06 12:45 295  
[ ]compact1__1390_34.min1.thm12017-02-06 12:45 1.3K 
[ ]compact1__1391_35.min1.thm12017-02-06 12:45 1.8K 
[ ]compact1__1393_17.min1.thm12017-02-06 12:45 1.3K 
[ ]compact1__1394_23.min1.thm12017-02-06 12:45 865  
[ ]compact1__1401_61.min1.thm12017-02-06 12:45 1.5K 
[ ]compact1__1402_66.min1.thm12017-02-06 12:45 1.5K 
[ ]compact1__1404_57.min1.thm12017-02-06 12:45 1.8K 
[ ]compact1__1405_57.min1.thm12017-02-06 12:45 722  
[ ]compact1__1410_47.min1.thm12017-02-06 12:45 428  
[ ]compact1__1410_47.min1.thm1.tptp2017-02-06 16:48 354  
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80