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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]lopclset__53_66.min1.thm12017-02-06 12:44 711  
[ ]lopclset__54_18.min1.thm12017-02-06 12:44 638  
[ ]lopclset__56_16.min1.thm12017-02-06 12:44 515  
[ ]lopclset__66_13.min1.thm12017-02-06 12:44 1.3K 
[ ]lopclset__67_16.min1.thm12017-02-06 12:44 1.6K 
[ ]lopclset__75_44.min1.thm12017-02-06 12:44 928  
[ ]lopclset__76_14.min1.thm12017-02-06 12:44 346  
[ ]lopclset__83_44.min1.thm12017-02-06 12:44 928  
[ ]lopclset__84_14.min1.thm12017-02-06 12:44 346  
[ ]lopclset__88_48.min1.thm12017-02-06 12:44 651  
[ ]lopclset__88_48.min1.thm1.tptp2017-02-06 16:47 626  
[ ]lopclset__98_42.min1.thm12017-02-06 12:44 1.2K 
[ ]lopclset__99_16.min1.thm12017-02-06 12:44 1.4K 
[ ]lopclset__100_16.min1.thm12017-02-06 12:44 1.4K 
[ ]lopclset__101_18.min1.thm12017-02-06 12:44 1.4K 
[ ]lopclset__102_18.min1.thm12017-02-06 12:44 1.4K 
[ ]lopclset__103_21.min1.thm12017-02-06 12:44 1.3K 
[ ]lopclset__109_42.min1.thm12017-02-06 12:44 1.2K 
[ ]lopclset__110_16.min1.thm12017-02-06 12:44 1.4K 
[ ]lopclset__111_16.min1.thm12017-02-06 12:44 1.4K 
[ ]lopclset__112_18.min1.thm12017-02-06 12:44 1.4K 
[ ]lopclset__113_18.min1.thm12017-02-06 12:44 1.4K 
[ ]lopclset__114_21.min1.thm12017-02-06 12:44 1.3K 
[ ]lopclset__133_18.min1.thm12017-02-06 12:44 892  
[ ]lopclset__154_18.min1.thm12017-02-06 12:44 892  
[ ]lopclset__176_40.min1.thm12017-02-06 12:44 1.8K 
[ ]lopclset__184_33.min1.thm12017-02-06 12:44 1.0K 
[ ]lopclset__185_16.min1.thm12017-02-06 12:44 1.4K 
[ ]lopclset__186_16.min1.thm12017-02-06 12:44 1.4K 
[ ]lopclset__188_14.min1.thm12017-02-06 12:44 769  
[ ]lopclset__189_17.min1.thm12017-02-06 12:44 769  
[ ]lopclset__190_17.min1.thm12017-02-06 12:44 1.9K 
[ ]lopclset__277_14.min1.thm12017-02-06 12:44 911  
[ ]lopclset__277_14.min1.thm1.tptp2017-02-06 16:47 834  
[ ]lopclset__322_15.min1.thm12017-02-06 12:44 1.9K 
[ ]lopclset__330_12.min1.thm12017-02-06 12:44 1.1K 
[ ]lopclset__336_24.min1.thm12017-02-06 12:44 1.5K 
[ ]lopclset__337_24.min1.thm12017-02-06 12:44 1.5K 
[ ]lopclset__338_24.min1.thm12017-02-06 12:44 805  
[ ]lopclset__339_33.min1.thm12017-02-06 12:44 941  
[ ]lopclset__350_22.min1.thm12017-02-06 12:44 2.1K 
[ ]lopclset__371_52.min1.thm12017-02-06 12:44 809  
[ ]lopclset__374_15.min1.thm12017-02-06 12:44 876  
[ ]lopclset__393_56.min1.thm12017-02-06 12:44 1.0K 
[ ]lopclset__394_18.min1.thm12017-02-06 12:44 703  
[ ]lopclset__396_16.min1.thm12017-02-06 12:44 521  
[ ]lopclset__407_13.min1.thm12017-02-06 12:44 768  
[ ]lopclset__408_41.min1.thm12017-02-06 12:44 310  
[ ]lopclset__410_16.min1.thm12017-02-06 12:44 560  
[ ]lopclset__413_29.min1.thm12017-02-06 12:44 1.5K 
[ ]lopclset__414_14.min1.thm12017-02-06 12:44 1.0K 
[ ]lopclset__415_16.min1.thm12017-02-06 12:44 836  
[ ]lopclset__420_64.min1.thm12017-02-06 12:44 1.2K 
[ ]lopclset__428_63.min1.thm12017-02-06 12:44 1.2K 
[ ]lopclset__429_14.min1.thm12017-02-06 12:44 1.1K 
[ ]lopclset__458_44.min1.thm12017-02-06 12:44 372  
[ ]lopclset__458_44.min1.thm1.tptp2017-02-06 16:47 294  
[ ]lopclset__459_58.min1.thm12017-02-06 12:44 656  
[ ]lopclset__460_18.min1.thm12017-02-06 12:44 656  
[ ]lopclset__462_19.min1.thm12017-02-06 12:44 1.2K 
[ ]lopclset__472_56.min1.thm12017-02-06 12:44 1.1K 
[ ]lopclset__476_10.min1.thm12017-02-06 12:44 1.2K 
[ ]lopclset__478_18.min1.thm12017-02-06 12:44 486  
[ ]lopclset__483_53.min1.thm12017-02-06 12:44 1.2K 
[ ]lopclset__484_19.min1.thm12017-02-06 12:44 1.1K 
[ ]lopclset__486_17.min1.thm12017-02-06 12:44 1.2K 
[ ]lopclset__494_66.min1.thm12017-02-06 12:44 1.5K 
[ ]lopclset__495_41.min1.thm12017-02-06 12:44 492  
[ ]lopclset__497_16.min1.thm12017-02-06 12:44 1.3K 
[ ]lopclset__505_20.min1.thm12017-02-06 12:44 1.0K 
[ ]lopclset__520_14.min1.thm12017-02-06 12:44 1.9K 
[ ]lopclset__523_27.min1.thm12017-02-06 12:44 1.4K 
[ ]lopclset__524_27.min1.thm12017-02-06 12:44 1.4K 
[ ]lopclset__525_19.min1.thm12017-02-06 12:44 731  
[ ]lopclset__533_24.min1.thm12017-02-06 12:44 538  
[ ]lopclset__533_24.min1.thm1.tptp2017-02-06 16:47 476  
[ ]lopclset__534_25.min1.thm12017-02-06 12:44 538  
[ ]lopclset__534_25.min1.thm1.tptp2017-02-06 16:47 476  
[ ]lopclset__535_57.min1.thm12017-02-06 12:44 1.2K 
[ ]lopclset__536_56.min1.thm12017-02-06 12:44 1.2K 
[ ]lopclset__541_15.min1.thm12017-02-06 12:44 1.0K 
[ ]lopclset__542_21.min1.thm12017-02-06 12:44 1.4K 
[ ]lopclset__543_19.min1.thm12017-02-06 12:44 1.5K 
[ ]lopclset__545_17.min1.thm12017-02-06 12:44 1.0K 
[ ]lopclset__559_14.min1.thm12017-02-06 12:44 1.9K 
[ ]lopclset__561_56.min1.thm12017-02-06 12:44 1.5K 
[ ]lopclset__562_19.min1.thm12017-02-06 12:44 697  
[ ]lopclset__568_50.min1.thm12017-02-06 12:44 626  
[ ]lopclset__568_50.min1.thm1.tptp2017-02-06 16:47 564  
[ ]lopclset__570_56.min1.thm12017-02-06 12:44 1.7K 
[ ]lopclset__574_22.min1.thm12017-02-06 12:44 1.0K 
[ ]lopclset__574_22.min1.thm1.tptp2017-02-06 16:47 1.0K 
[ ]lopclset__575_21.min1.thm12017-02-06 12:44 2.2K 
[ ]lopclset__576_19.min1.thm12017-02-06 12:44 1.5K 
[ ]lopclset__578_17.min1.thm12017-02-06 12:44 1.0K 
[ ]lopclset__586_39.min1.thm12017-02-06 12:44 603  
[ ]lopclset__586_39.min1.thm1.tptp2017-02-06 16:47 526  
[ ]lopclset__587_32.min1.thm12017-02-06 12:44 894  
[ ]lopclset__594_16.min1.thm12017-02-06 12:44 638  
[ ]lopclset__597_18.min1.thm12017-02-06 12:44 641  
[ ]lopclset__600_6.min1.thm12017-02-06 12:44 1.6K 
[ ]lopclset__601_62.min1.thm12017-02-06 12:44 2.1K 
[ ]lopclset__602_16.min1.thm12017-02-06 12:44 1.0K 
[ ]lopclset__610_11.min1.thm12017-02-06 12:44 131  
[ ]lopclset__639_26.min1.thm12017-02-06 12:44 846  
[ ]lopclset__643_17.min1.thm12017-02-06 12:44 928  
[ ]lopclset__643_17.min1.thm1.tptp2017-02-06 16:47 868  
[ ]lopclset__662_19.min1.thm12017-02-06 12:44 1.2K 
[ ]lopclset__663_18.min1.thm12017-02-06 12:44 819  
[ ]lopclset__666_43.min1.thm12017-02-06 12:44 521  
[ ]lopclset__677_66.min1.thm12017-02-06 12:44 1.0K 
[ ]lopclset__678_22.min1.thm12017-02-06 12:44 1.2K 
[ ]lopclset__681_37.min1.thm12017-02-06 12:44 527  
[ ]lopclset__682_24.min1.thm12017-02-06 12:44 387  
[ ]lopclset__682_24.min1.thm1.tptp2017-02-06 16:47 307  
[ ]lopclset__684_39.min1.thm12017-02-06 12:44 796  
[ ]lopclset__685_53.min1.thm12017-02-06 12:44 359  
[ ]lopclset__686_23.min1.thm12017-02-06 12:44 767  
[ ]lopclset__693_32.min1.thm12017-02-06 12:44 1.1K 
[ ]lopclset__694_24.min1.thm12017-02-06 12:44 1.3K 
[ ]lopclset__695_25.min1.thm12017-02-06 12:44 1.4K 
[ ]lopclset__698_33.min1.thm12017-02-06 12:44 934  
[ ]lopclset__702_31.min1.thm12017-02-06 12:44 606  
[ ]lopclset__716_69.min1.thm12017-02-06 12:44 1.6K 
[ ]lopclset__717_54.min1.thm12017-02-06 12:44 405  
[ ]lopclset__718_24.min1.thm12017-02-06 12:44 420  
[ ]lopclset__718_24.min1.thm1.tptp2017-02-06 16:47 342  
[ ]lopclset__719_22.min1.thm12017-02-06 12:44 683  
[ ]lopclset__721_58.min1.thm12017-02-06 12:44 619  
[ ]lopclset__742_17.min1.thm12017-02-06 12:44 1.4K 
[ ]lopclset__743_71.min1.thm12017-02-06 12:44 1.7K 
[ ]lopclset__744_25.min1.thm12017-02-06 12:44 490  
[ ]lopclset__744_25.min1.thm1.tptp2017-02-06 16:47 413  
[ ]lopclset__747_65.min1.thm12017-02-06 12:44 563  
[ ]lopclset__766_55.min1.thm12017-02-06 12:44 1.3K 
[ ]lopclset__774_23.min1.thm12017-02-06 12:44 583  
[ ]lopclset__774_23.min1.thm1.tptp2017-02-06 16:47 541  
[ ]lopclset__775_29.min1.thm12017-02-06 12:44 371  
[ ]lopclset__776_34.min1.thm12017-02-06 12:44 1.0K 
[ ]lopclset__777_39.min1.thm12017-02-06 12:44 673  
[ ]lopclset__778_25.min1.thm12017-02-06 12:44 830  
[ ]lopclset__780_76.min1.thm12017-02-06 12:44 589  
[ ]lopclset__781_52.min1.thm12017-02-06 12:44 360  
[ ]lopclset__791_30.min1.thm12017-02-06 12:44 1.8K 
[ ]lopclset__793_30.min1.thm12017-02-06 12:44 1.8K 
[ ]lopclset__804_23.min1.thm12017-02-06 12:44 493  
[ ]lopclset__804_23.min1.thm1.tptp2017-02-06 16:47 431  
[ ]lopclset__805_23.min1.thm12017-02-06 12:44 586  
[ ]lopclset__809_24.min1.thm12017-02-06 12:44 1.4K 
[ ]lopclset__810_58.min1.thm12017-02-06 12:44 1.4K 
[ ]lopclset__811_36.min1.thm12017-02-06 12:44 1.9K 
[ ]lopclset__821_28.min1.thm12017-02-06 12:44 1.6K 
[ ]lopclset__826_23.min1.thm12017-02-06 12:44 930  
[ ]lopclset__827_23.min1.thm12017-02-06 12:44 1.6K 
[ ]lopclset__832_24.min1.thm12017-02-06 12:44 932  
[ ]lopclset__833_24.min1.thm12017-02-06 12:44 1.6K 
[ ]lopclset__834_29.min1.thm12017-02-06 12:44 932  
[ ]lopclset__836_27.min1.thm12017-02-06 12:44 782  
[ ]lopclset__846_63.min1.thm12017-02-06 12:44 622  
[ ]lopclset__848_15.min1.thm12017-02-06 12:44 1.0K 
[ ]lopclset__850_12.min1.thm12017-02-06 12:44 582  
[ ]lopclset__858_48.min1.thm12017-02-06 12:44 1.1K 
[ ]lopclset__859_51.min1.thm12017-02-06 12:44 659  
[ ]lopclset__878_29.min1.thm12017-02-06 12:44 1.1K 
[ ]lopclset__880_19.min1.thm12017-02-06 12:44 1.2K 
[ ]lopclset__890_17.min1.thm12017-02-06 12:44 1.3K 
[ ]lopclset__891_24.min1.thm12017-02-06 12:44 1.2K 
[ ]lopclset__901_11.min1.thm12017-02-06 12:44 1.3K 
[ ]lopclset__911_23.min1.thm12017-02-06 12:44 372  
[ ]lopclset__911_23.min1.thm1.tptp2017-02-06 16:47 294  
[ ]lopclset__912_17.min1.thm12017-02-06 12:44 241  
[ ]lopclset__915_4.min1.thm12017-02-06 12:44 1.4K 
[ ]lopclset__916_44.min1.thm12017-02-06 12:44 1.2K 
[ ]lopclset__917_17.min1.thm12017-02-06 12:44 1.0K 
[ ]lopclset__933_20.min1.thm12017-02-06 12:44 636  
[ ]lopclset__957_39.min1.thm12017-02-06 12:44 1.0K 
[ ]lopclset__959_4.min1.thm12017-02-06 12:44 1.2K 
[ ]lopclset__962_18.min1.thm12017-02-06 12:44 1.2K 
[ ]lopclset__963_15.min1.thm12017-02-06 12:44 1.0K 
[ ]lopclset__964_45.min1.thm12017-02-06 12:44 1.2K 
[ ]lopclset__966_20.min1.thm12017-02-06 12:44 1.3K 
[ ]lopclset__969_18.min1.thm12017-02-06 12:44 1.3K 
[ ]lopclset__975_37.min1.thm12017-02-06 12:44 1.4K 
[ ]lopclset__977_40.min1.thm12017-02-06 12:44 816  
[ ]lopclset__978_17.min1.thm12017-02-06 12:44 512  
[ ]lopclset__986_31.min1.thm12017-02-06 12:44 527  
[ ]lopclset__987_14.min1.thm12017-02-06 12:44 665  
[ ]lopclset__993_14.min1.thm12017-02-06 12:44 384  
[ ]lopclset__993_14.min1.thm1.tptp2017-02-06 16:47 313  
[ ]lopclset__1012_23.min1.thm12017-02-06 12:44 1.2K 
[ ]lopclset__1013_16.min1.thm12017-02-06 12:44 795  
[ ]lopclset__1018_21.min1.thm12017-02-06 12:44 474  
[ ]lopclset__1018_21.min1.thm1.tptp2017-02-06 16:47 403  
[ ]lopclset__1019_23.min1.thm12017-02-06 12:44 392  
[ ]lopclset__1019_23.min1.thm1.tptp2017-02-06 16:47 314  
[ ]lopclset__1020_33.min1.thm12017-02-06 12:44 614  
[ ]lopclset__1021_48.min1.thm12017-02-06 12:44 772  
[ ]lopclset__1024_13.min1.thm12017-02-06 12:44 660  
[ ]lopclset__1025_45.min1.thm12017-02-06 12:44 720  
[ ]lopclset__1026_13.min1.thm12017-02-06 12:44 1.3K 
[ ]lopclset__1027_16.min1.thm12017-02-06 12:44 1.6K 
[ ]lopclset__1028_16.min1.thm12017-02-06 12:44 379  
[ ]lopclset__1028_16.min1.thm1.tptp2017-02-06 16:47 299  
[ ]lopclset__1030_48.min1.thm12017-02-06 12:44 602  
[ ]lopclset__1042_14.min1.thm12017-02-06 12:44 494  
[ ]lopclset__1048_14.min1.thm12017-02-06 12:44 496  
[ ]lopclset__1053_15.min1.thm12017-02-06 12:44 1.1K 
[ ]lopclset__1056_26.min1.thm12017-02-06 12:44 1.1K 
[ ]lopclset__1057_34.min1.thm12017-02-06 12:44 1.7K 
[ ]lopclset__1058_18.min1.thm12017-02-06 12:44 904  
[ ]lopclset__1072_26.min1.thm12017-02-06 12:44 1.9K 
[ ]lopclset__1073_16.min1.thm12017-02-06 12:44 1.4K 
[ ]lopclset__1083_18.min1.thm12017-02-06 12:44 352  
[ ]lopclset__1083_18.min1.thm1.tptp2017-02-06 16:47 274  
[ ]lopclset__1084_32.min1.thm12017-02-06 12:44 832  
[ ]lopclset__1085_63.min1.thm12017-02-06 12:44 666  
[ ]lopclset__1086_35.min1.thm12017-02-06 12:44 937  
[ ]lopclset__1089_22.min1.thm12017-02-06 12:44 805  
[ ]lopclset__1090_45.min1.thm12017-02-06 12:44 720  
[ ]lopclset__1091_13.min1.thm12017-02-06 12:44 1.4K 
[ ]lopclset__1092_19.min1.thm12017-02-06 12:44 1.9K 
[ ]lopclset__1095_24.min1.thm12017-02-06 12:44 850  
[ ]lopclset__1097_44.min1.thm12017-02-06 12:44 1.3K 
[ ]lopclset__1100_18.min1.thm12017-02-06 12:44 575  
[ ]lopclset__1101_18.min1.thm12017-02-06 12:44 1.0K 
[ ]lopclset__1104_45.min1.thm12017-02-06 12:44 1.1K 
[ ]lopclset__1105_14.min1.thm12017-02-06 12:44 583  
[ ]lopclset__1105_14.min1.thm1.tptp2017-02-06 16:47 521  
[ ]lopclset__1116_25.min1.thm12017-02-06 12:44 1.1K 
[ ]lopclset__1133_53.min1.thm12017-02-06 12:44 795  
[ ]lopclset__1133_53.min1.thm1.tptp2017-02-06 16:47 719  
[ ]lopclset__1135_26.min1.thm12017-02-06 12:44 959  
[ ]lopclset__1136_18.min1.thm12017-02-06 12:44 854  
[ ]lopclset__1149_21.min1.thm12017-02-06 12:44 969  
[ ]lopclset__1150_13.min1.thm12017-02-06 12:44 600  
[ ]lopclset__1152_21.min1.thm12017-02-06 12:44 556  
[ ]lopclset__1154_13.min1.thm12017-02-06 12:44 752  
[ ]lopclset__1155_19.min1.thm12017-02-06 12:44 780  
[ ]lopclset__1157_22.min1.thm12017-02-06 12:44 1.2K 
[ ]lopclset__1160_10.min1.thm12017-02-06 12:44 682  
[ ]lopclset__1161_15.min1.thm12017-02-06 12:44 1.5K 
[ ]lopclset__1166_47.min1.thm12017-02-06 12:44 1.5K 
[ ]lopclset__1167_16.min1.thm12017-02-06 12:44 1.2K 
[ ]lopclset__1169_49.min1.thm12017-02-06 12:44 692  
[ ]lopclset__1177_25.min1.thm12017-02-06 12:44 454  
[ ]lopclset__1177_25.min1.thm1.tptp2017-02-06 16:47 375  
[ ]lopclset__1195_26.min1.thm12017-02-06 12:44 1.3K 
[ ]lopclset__1196_22.min1.thm12017-02-06 12:44 874  
[ ]lopclset__1202_40.min1.thm12017-02-06 12:44 1.0K 
[ ]lopclset__1204_27.min1.thm12017-02-06 12:44 1.7K 
[ ]lopclset__1205_27.min1.thm12017-02-06 12:44 1.4K 
[ ]lopclset__1206_28.min1.thm12017-02-06 12:44 1.0K 
[ ]lopclset__1212_26.min1.thm12017-02-06 12:44 759  
[ ]lopclset__1212_26.min1.thm1.tptp2017-02-06 16:47 689  
[ ]lopclset__1213_12.min1.thm12017-02-06 12:44 658  
[ ]lopclset__1220_72.min1.thm12017-02-06 12:44 1.7K 
[ ]lopclset__1228_53.min1.thm12017-02-06 12:44 1.3K 
[ ]lopclset__1239_27.min1.thm12017-02-06 12:44 752  
[ ]lopclset__1239_27.min1.thm1.tptp2017-02-06 16:47 694  
[ ]lopclset__1249_19.min1.thm12017-02-06 12:44 205  
[ ]lopclset__1255_24.min1.thm12017-02-06 12:44 1.0K 
[ ]lopclset__1259_20.min1.thm12017-02-06 12:44 379  
[ ]lopclset__1259_20.min1.thm1.tptp2017-02-06 16:47 299  
[ ]lopclset__1261_12.min1.thm12017-02-06 12:44 793  
[ ]lopclset__1262_65.min1.thm12017-02-06 12:44 455  
[ ]lopclset__1268_30.min1.thm12017-02-06 12:44 1.4K 
[ ]lopclset__1269_37.min1.thm12017-02-06 12:44 1.6K 
[ ]lopclset__1270_24.min1.thm12017-02-06 12:44 1.7K 
[ ]lopclset__1273_18.min1.thm12017-02-06 12:44 1.0K 
[ ]lopclset__1273_18.min1.thm1.tptp2017-02-06 16:47 929  
[ ]lopclset__1277_34.min1.thm12017-02-06 12:44 2.0K 
[ ]lopclset__1279_49.min1.thm12017-02-06 12:44 1.0K 
[ ]lopclset__1280_20.min1.thm12017-02-06 12:44 588  
[ ]lopclset__1286_52.min1.thm12017-02-06 12:44 761  
[ ]lopclset__1287_16.min1.thm12017-02-06 12:44 1.1K 
[ ]lopclset__1293_16.min1.thm12017-02-06 12:44 867  
[ ]lopclset__1294_20.min1.thm12017-02-06 12:44 808  
[ ]lopclset__1297_23.min1.thm12017-02-06 12:44 1.5K 
[ ]lopclset__1300_28.min1.thm12017-02-06 12:44 1.1K 
[ ]lopclset__1301_23.min1.thm12017-02-06 12:44 942  
[ ]lopclset__1302_21.min1.thm12017-02-06 12:44 562  
[ ]lopclset__1302_21.min1.thm1.tptp2017-02-06 16:47 476  
[ ]lopclset__1317_16.min1.thm12017-02-06 12:44 1.5K 
[ ]lopclset__1318_21.min1.thm12017-02-06 12:44 620  
[ ]lopclset__1319_37.min1.thm12017-02-06 12:44 1.6K 
[ ]lopclset__1324_55.min1.thm12017-02-06 12:44 773  
[ ]lopclset__1325_19.min1.thm12017-02-06 12:44 1.1K 
[ ]lopclset__1326_16.min1.thm12017-02-06 12:44 510  
[ ]lopclset__1326_16.min1.thm1.tptp2017-02-06 16:47 436  
[ ]lopclset__1329_21.min1.thm12017-02-06 12:44 450  
[ ]lopclset__1329_21.min1.thm1.tptp2017-02-06 16:47 364  
[ ]lopclset__1331_46.min1.thm12017-02-06 12:44 750  
[ ]lopclset__1337_30.min1.thm12017-02-06 12:44 1.9K 
[ ]lopclset__1338_15.min1.thm12017-02-06 12:44 1.3K 
[ ]lopclset__1344_14.min1.thm12017-02-06 12:44 413  
[ ]lopclset__1344_14.min1.thm1.tptp2017-02-06 16:47 358  
[ ]lopclset__1351_15.min1.thm12017-02-06 12:44 1.0K 
[ ]lopclset__1364_16.min1.thm12017-02-06 12:44 1.2K 
[ ]lopclset__1368_27.min1.thm12017-02-06 12:44 1.3K 
[ ]lopclset__1370_21.min1.thm12017-02-06 12:44 959  
[ ]lopclset__1372_27.min1.thm12017-02-06 12:44 1.2K 
[ ]lopclset__1373_22.min1.thm12017-02-06 12:44 1.3K 
[ ]lopclset__1374_19.min1.thm12017-02-06 12:44 1.0K 
[ ]lopclset__1376_17.min1.thm12017-02-06 12:44 1.5K 
[ ]lopclset__1382_48.min1.thm12017-02-06 12:44 597  
[ ]lopclset__1382_48.min1.thm1.tptp2017-02-06 16:47 516  
[ ]lopclset__1388_50.min1.thm12017-02-06 12:44 1.3K 
[ ]lopclset__1391_6.min1.thm12017-02-06 12:44 1.2K 
[ ]lopclset__1392_23.min1.thm12017-02-06 12:44 1.6K 
[ ]lopclset__1394_21.min1.thm12017-02-06 12:44 1.4K 
[ ]lopclset__1395_41.min1.thm12017-02-06 12:44 1.0K 
[ ]lopclset__1398_22.min1.thm12017-02-06 12:44 1.0K 
[ ]lopclset__1399_42.min1.thm12017-02-06 12:44 1.3K 
[ ]lopclset__1402_22.min1.thm12017-02-06 12:44 1.1K 
[ ]lopclset__1403_34.min1.thm12017-02-06 12:44 1.3K 
[ ]lopclset__1405_39.min1.thm12017-02-06 12:44 1.3K 
[ ]lopclset__1411_15.min1.thm12017-02-06 12:44 785  
[ ]lopclset__1413_22.min1.thm12017-02-06 12:44 638  
[ ]lopclset__1420_21.min1.thm12017-02-06 12:44 731  
[ ]lopclset__1422_16.min1.thm12017-02-06 12:44 837  
[ ]lopclset__1423_23.min1.thm12017-02-06 12:44 548  
[ ]lopclset__1424_29.min1.thm12017-02-06 12:44 1.2K 
[ ]lopclset__1426_25.min1.thm12017-02-06 12:44 770  
[ ]lopclset__1430_13.min1.thm12017-02-06 12:44 341  
[ ]lopclset__1433_15.min1.thm12017-02-06 12:44 1.1K 
[ ]lopclset__1434_32.min1.thm12017-02-06 12:44 715  
[ ]lopclset__1434_32.min1.thm1.tptp2017-02-06 16:47 638  
[ ]lopclset__1439_15.min1.thm12017-02-06 12:44 677  
[ ]lopclset__1440_63.min1.thm12017-02-06 12:44 943  
[ ]lopclset__1441_60.min1.thm12017-02-06 12:44 431  
[ ]lopclset__1442_39.min1.thm12017-02-06 12:44 1.4K 
[ ]lopclset__1443_40.min1.thm12017-02-06 12:44 941  
[ ]lopclset__1444_26.min1.thm12017-02-06 12:44 924  
[ ]lopclset__1446_20.min1.thm12017-02-06 12:44 870  
[ ]lopclset__1447_28.min1.thm12017-02-06 12:44 1.3K 
[ ]lopclset__1448_39.min1.thm12017-02-06 12:44 1.1K 
[ ]lopclset__1449_37.min1.thm12017-02-06 12:44 272  
[ ]lopclset__1454_20.min1.thm12017-02-06 12:44 1.1K 
[ ]lopclset__1468_27.min1.thm12017-02-06 12:44 1.3K 
[ ]lopclset__1469_24.min1.thm12017-02-06 12:44 923  
[ ]lopclset__1475_42.min1.thm12017-02-06 12:44 1.1K 
[ ]lopclset__1477_29.min1.thm12017-02-06 12:44 1.7K 
[ ]lopclset__1478_29.min1.thm12017-02-06 12:44 1.5K 
[ ]lopclset__1479_30.min1.thm12017-02-06 12:44 1.1K 
[ ]lopclset__1485_28.min1.thm12017-02-06 12:44 800  
[ ]lopclset__1485_28.min1.thm1.tptp2017-02-06 16:47 730  
[ ]lopclset__1486_14.min1.thm12017-02-06 12:44 774  
[ ]lopclset__1494_69.min1.thm12017-02-06 12:44 1.7K 
[ ]lopclset__1498_61.min1.thm12017-02-06 12:44 1.7K 
[ ]lopclset__1502_55.min1.thm12017-02-06 12:44 1.3K 
[ ]lopclset__1513_28.min1.thm12017-02-06 12:44 760  
[ ]lopclset__1513_28.min1.thm1.tptp2017-02-06 16:47 702  
[ ]lopclset__1524_21.min1.thm12017-02-06 12:44 217  
[ ]lopclset__1530_27.min1.thm12017-02-06 12:44 1.0K 
[ ]lopclset__1534_22.min1.thm12017-02-06 12:44 407  
[ ]lopclset__1534_22.min1.thm1.tptp2017-02-06 16:47 327  
[ ]lopclset__1536_14.min1.thm12017-02-06 12:44 837  
[ ]lopclset__1537_67.min1.thm12017-02-06 12:44 479  
[ ]lopclset__1543_33.min1.thm12017-02-06 12:44 1.4K 
[ ]lopclset__1544_41.min1.thm12017-02-06 12:44 1.5K 
[ ]lopclset__1545_27.min1.thm12017-02-06 12:44 1.4K 
[ ]lopclset__1548_20.min1.thm12017-02-06 12:44 1.0K 
[ ]lopclset__1548_20.min1.thm1.tptp2017-02-06 16:47 969  
[ ]lopclset__1552_38.min1.thm12017-02-06 12:44 1.9K 
[ ]lopclset__1556_17.min1.thm12017-02-06 12:44 518  
[ ]lopclset__1565_20.min1.thm12017-02-06 12:44 1.3K 
[ ]lopclset__1567_21.min1.thm12017-02-06 12:44 1.0K 
[ ]lopclset__1568_49.min1.thm12017-02-06 12:44 1.1K 
[ ]lopclset__1573_39.min1.thm12017-02-06 12:44 3.2K 
[ ]lopclset__1575_39.min1.thm12017-02-06 12:44 3.2K 
[ ]lopclset__1593_53.min1.thm12017-02-06 12:44 678  
[ ]lopclset__1593_53.min1.thm1.tptp2017-02-06 16:47 601  
[ ]lopclset__1595_14.min1.thm12017-02-06 12:44 1.4K 
[ ]lopclset__1604_17.min1.thm12017-02-06 12:44 1.4K 
[ ]lopclset__1613_52.min1.thm12017-02-06 12:44 920  
[ ]lopclset__1615_41.min1.thm12017-02-06 12:44 642  
[ ]lopclset__1616_17.min1.thm12017-02-06 12:44 638  
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80