Index of /~mptp/1147/MPTP2/ilp0/goedelcp

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]goedelcp__45_35.min1.thm12017-02-06 12:46 928  
[   ]goedelcp__46_29.min1.thm12017-02-06 12:46 753  
[   ]goedelcp__47_17.min1.thm12017-02-06 12:46 372  
[   ]goedelcp__47_17.min1.thm1.tptp2017-02-06 16:47 291  
[   ]goedelcp__82_4.min1.thm12017-02-06 12:46 868  
[   ]goedelcp__82_4.min1.thm1.tptp2017-02-06 16:47 869  
[   ]goedelcp__93_23.min1.thm12017-02-06 12:46 1.0K 
[   ]goedelcp__94_21.min1.thm12017-02-06 12:46 926  
[   ]goedelcp__102_39.min1.thm12017-02-06 12:46 1.6K 
[   ]goedelcp__110_28.min1.thm12017-02-06 12:46 2.7K 
[   ]goedelcp__113_24.min1.thm12017-02-06 12:46 3.3K 
[   ]goedelcp__118_32.min1.thm12017-02-06 12:46 1.5K 
[   ]goedelcp__122_15.min1.thm12017-02-06 12:46 2.1K 
[   ]goedelcp__134_31.min1.thm12017-02-06 12:46 2.8K 
[   ]goedelcp__140_58.min1.thm12017-02-06 12:46 2.7K 
[   ]goedelcp__160_40.min1.thm12017-02-06 12:46 1.3K 
[   ]goedelcp__180_24.min1.thm12017-02-06 12:46 1.5K 
[   ]goedelcp__200_18.min1.thm12017-02-06 12:46 1.0K 
[   ]goedelcp__201_17.min1.thm12017-02-06 12:46 926  
[   ]goedelcp__202_18.min1.thm12017-02-06 12:46 926  
[   ]goedelcp__217_18.min1.thm12017-02-06 12:46 1.1K 
[   ]goedelcp__220_18.min1.thm12017-02-06 12:46 1.1K 
[   ]goedelcp__221_21.min1.thm12017-02-06 12:46 1.2K 
[   ]goedelcp__222_21.min1.thm12017-02-06 12:46 1.2K 
[   ]goedelcp__235_19.min1.thm12017-02-06 12:46 1.2K 
[   ]goedelcp__236_18.min1.thm12017-02-06 12:46 1.2K 
[   ]goedelcp__266_17.min1.thm12017-02-06 12:46 1.0K 
[   ]goedelcp__268_14.min1.thm12017-02-06 12:46 917  
[   ]goedelcp__300_40.min1.thm12017-02-06 12:46 334  
[   ]goedelcp__300_40.min1.thm1.tptp2017-02-06 16:47 257  
[   ]goedelcp__301_43.min1.thm12017-02-06 12:46 362  
[   ]goedelcp__301_43.min1.thm1.tptp2017-02-06 16:47 285  
[   ]goedelcp__302_49.min1.thm12017-02-06 12:46 1.4K 
[   ]goedelcp__316_19.min1.thm12017-02-06 12:46 2.1K 
[   ]goedelcp__329_31.min1.thm12017-02-06 12:46 771  
[   ]goedelcp__329_31.min1.thm1.tptp2017-02-06 16:47 688  
[   ]goedelcp__337_21.min1.thm12017-02-06 12:46 707  
[   ]goedelcp__337_21.min1.thm1.tptp2017-02-06 16:47 626  
[   ]goedelcp__352_25.min1.thm12017-02-06 12:46 1.4K 
[   ]goedelcp__361_36.min1.thm12017-02-06 12:46 1.4K 
[   ]goedelcp__371_31.min1.thm12017-02-06 12:46 1.5K 
[   ]goedelcp__372_17.min1.thm12017-02-06 12:46 843  
[   ]goedelcp__379_17.min1.thm12017-02-06 12:46 1.2K 
[   ]goedelcp__396_29.min1.thm12017-02-06 12:46 1.3K 
[   ]goedelcp__398_19.min1.thm12017-02-06 12:46 588  
[   ]goedelcp__399_23.min1.thm12017-02-06 12:46 1.1K 
[   ]goedelcp__400_36.min1.thm12017-02-06 12:46 895  
[   ]goedelcp__401_26.min1.thm12017-02-06 12:46 1.8K 
[   ]goedelcp__405_18.min1.thm12017-02-06 12:46 2.1K 
[   ]goedelcp__409_9.min1.thm12017-02-06 12:46 1.6K 
[   ]goedelcp__421_16.min1.thm12017-02-06 12:46 3.1K 
[   ]goedelcp__428_32.min1.thm12017-02-06 12:46 3.0K 
[   ]goedelcp__429_45.min1.thm12017-02-06 12:46 1.8K 
[   ]goedelcp__431_36.min1.thm12017-02-06 12:46 2.1K 
[   ]goedelcp__436_32.min1.thm12017-02-06 12:46 2.1K 
[   ]goedelcp__437_32.min1.thm12017-02-06 12:46 3.0K 
[   ]goedelcp__438_45.min1.thm12017-02-06 12:46 1.8K 
[   ]goedelcp__445_21.min1.thm12017-02-06 12:46 2.4K 
[   ]goedelcp__449_19.min1.thm12017-02-06 12:46 568  
[   ]goedelcp__451_17.min1.thm12017-02-06 12:46 1.5K 
[   ]goedelcp__452_18.min1.thm12017-02-06 12:46 3.0K 
[   ]goedelcp__469_37.min1.thm12017-02-06 12:46 931  
[   ]goedelcp__472_23.min1.thm12017-02-06 12:46 1.5K 
[   ]goedelcp__474_25.min1.thm12017-02-06 12:46 1.6K 
[   ]goedelcp__478_50.min1.thm12017-02-06 12:46 1.6K 
[   ]goedelcp__479_52.min1.thm12017-02-06 12:46 1.7K 
[   ]goedelcp__481_38.min1.thm12017-02-06 12:46 1.8K 
[   ]goedelcp__492_23.min1.thm12017-02-06 12:46 1.5K 
[   ]goedelcp__497_50.min1.thm12017-02-06 12:46 1.6K 
[   ]goedelcp__498_52.min1.thm12017-02-06 12:46 2.1K 
[   ]goedelcp__500_38.min1.thm12017-02-06 12:46 1.8K 
[   ]goedelcp__510_23.min1.thm12017-02-06 12:46 1.5K 
[   ]goedelcp__515_31.min1.thm12017-02-06 12:46 1.9K 
[   ]goedelcp__544_38.min1.thm12017-02-06 12:46 1.1K 
[   ]goedelcp__550_22.min1.thm12017-02-06 12:46 1.6K 
[   ]goedelcp__552_17.min1.thm12017-02-06 12:46 2.1K 
[   ]goedelcp__556_9.min1.thm12017-02-06 12:46 1.6K 
[   ]goedelcp__568_18.min1.thm12017-02-06 12:46 3.1K 
[   ]goedelcp__571_23.min1.thm12017-02-06 12:46 2.4K 
[   ]goedelcp__575_21.min1.thm12017-02-06 12:46 580  
[   ]goedelcp__577_19.min1.thm12017-02-06 12:46 1.5K 
[   ]goedelcp__578_20.min1.thm12017-02-06 12:46 3.0K 
[   ]goedelcp__596_39.min1.thm12017-02-06 12:46 959  
[   ]goedelcp__598_25.min1.thm12017-02-06 12:46 1.6K 
[   ]goedelcp__600_29.min1.thm12017-02-06 12:46 2.1K 
[   ]goedelcp__604_52.min1.thm12017-02-06 12:46 1.6K 
[   ]goedelcp__605_54.min1.thm12017-02-06 12:46 1.8K 
[   ]goedelcp__607_39.min1.thm12017-02-06 12:46 2.6K 
[   ]goedelcp__608_49.min1.thm12017-02-06 12:46 2.4K 
[   ]goedelcp__612_40.min1.thm12017-02-06 12:46 1.8K 
[   ]goedelcp__614_25.min1.thm12017-02-06 12:46 1.6K 
[   ]goedelcp__619_52.min1.thm12017-02-06 12:46 1.6K 
[   ]goedelcp__620_54.min1.thm12017-02-06 12:46 2.2K 
[   ]goedelcp__622_39.min1.thm12017-02-06 12:46 2.6K 
[   ]goedelcp__623_49.min1.thm12017-02-06 12:46 2.4K 
[   ]goedelcp__627_40.min1.thm12017-02-06 12:46 1.8K 
[   ]goedelcp__629_25.min1.thm12017-02-06 12:46 1.6K 
[   ]goedelcp__634_43.min1.thm12017-02-06 12:46 970  
[   ]goedelcp__636_35.min1.thm12017-02-06 12:46 1.9K 
[   ]goedelcp__638_36.min1.thm12017-02-06 12:46 727  
[   ]goedelcp__644_46.min1.thm12017-02-06 12:46 1.9K 
[   ]goedelcp__646_41.min1.thm12017-02-06 12:46 2.2K 
[   ]goedelcp__651_37.min1.thm12017-02-06 12:46 2.1K 
[   ]goedelcp__652_46.min1.thm12017-02-06 12:46 1.9K 
[   ]goedelcp__660_25.min1.thm12017-02-06 12:46 1.6K 
[   ]goedelcp__664_21.min1.thm12017-02-06 12:46 2.9K 
[   ]goedelcp__683_43.min1.thm12017-02-06 12:46 1.2K 
[   ]goedelcp__697_28.min1.thm12017-02-06 12:46 529  
[   ]goedelcp__699_56.min1.thm12017-02-06 12:46 1.5K 
[   ]goedelcp__701_40.min1.thm12017-02-06 12:46 839  
[   ]goedelcp__702_46.min1.thm12017-02-06 12:46 550  
[   ]goedelcp__703_17.min1.thm12017-02-06 12:46 535  
[   ]goedelcp__716_45.min1.thm12017-02-06 12:46 542  
[   ]goedelcp__717_49.min1.thm12017-02-06 12:46 520  
[   ]goedelcp__729_25.min1.thm12017-02-06 12:46 692  
[   ]goedelcp__730_34.min1.thm12017-02-06 12:46 841  
[   ]goedelcp__730_34.min1.thm1.tptp2017-02-06 16:47 792  
[   ]goedelcp__732_19.min1.thm12017-02-06 12:46 374  
[   ]goedelcp__732_19.min1.thm1.tptp2017-02-06 16:47 314  
[   ]goedelcp__741_30.min1.thm12017-02-06 12:46 387  
[   ]goedelcp__742_16.min1.thm12017-02-06 12:46 522  
[   ]goedelcp__752_18.min1.thm12017-02-06 12:46 1.0K 
[   ]goedelcp__753_29.min1.thm12017-02-06 12:46 411  
[   ]goedelcp__753_29.min1.thm1.tptp2017-02-06 16:47 331  
[   ]goedelcp__754_29.min1.thm12017-02-06 12:46 387  
[   ]goedelcp__755_14.min1.thm12017-02-06 12:46 522  
[   ]goedelcp__763_8.min1.thm12017-02-06 12:46 234  
[   ]goedelcp__765_16.min1.thm12017-02-06 12:46 1.0K 
[   ]goedelcp__766_16.min1.thm12017-02-06 12:46 791  
[   ]goedelcp__767_17.min1.thm12017-02-06 12:46 1.2K 
[   ]goedelcp__777_14.min1.thm12017-02-06 12:46 788  
[   ]goedelcp__778_15.min1.thm12017-02-06 12:46 892  
[   ]goedelcp__778_15.min1.thm1.tptp2017-02-06 16:47 888  
[   ]goedelcp__791_19.min1.thm12017-02-06 12:46 1.3K 
[   ]goedelcp__792_32.min1.thm12017-02-06 12:46 924  
[   ]goedelcp__795_41.min1.thm12017-02-06 12:46 1.1K 
[   ]goedelcp__810_48.min1.thm12017-02-06 12:46 1.5K 
[   ]goedelcp__812_15.min1.thm12017-02-06 12:46 525  
[   ]goedelcp__819_48.min1.thm12017-02-06 12:46 1.5K 
[   ]goedelcp__820_25.min1.thm12017-02-06 12:46 733  
[   ]goedelcp__821_19.min1.thm12017-02-06 12:46 810  
[   ]goedelcp__833_48.min1.thm12017-02-06 12:46 1.5K 
[   ]goedelcp__835_15.min1.thm12017-02-06 12:46 525  
[   ]goedelcp__842_48.min1.thm12017-02-06 12:46 1.5K 
[   ]goedelcp__843_29.min1.thm12017-02-06 12:46 733  
[   ]goedelcp__844_19.min1.thm12017-02-06 12:46 810  
[   ]goedelcp__859_54.min1.thm12017-02-06 12:46 495  
[   ]goedelcp__859_54.min1.thm1.tptp2017-02-06 16:47 440  
[   ]goedelcp__860_54.min1.thm12017-02-06 12:46 910  
[   ]goedelcp__861_42.min1.thm12017-02-06 12:46 1.6K 
[   ]goedelcp__863_19.min1.thm12017-02-06 12:46 598  
[   ]goedelcp__875_20.min1.thm12017-02-06 12:46 2.1K 
[   ]goedelcp__876_19.min1.thm12017-02-06 12:46 1.0K 
[   ]goedelcp__879_21.min1.thm12017-02-06 12:46 541  
[   ]goedelcp__879_21.min1.thm1.tptp2017-02-06 16:47 477  
[   ]goedelcp__880_34.min1.thm12017-02-06 12:46 950  
[   ]goedelcp__881_24.min1.thm12017-02-06 12:46 2.2K 
[   ]goedelcp__896_17.min1.thm12017-02-06 12:46 955  
[   ]goedelcp__898_17.min1.thm12017-02-06 12:46 1.9K 
[   ]goedelcp__908_21.min1.thm12017-02-06 12:46 515  
[   ]goedelcp__929_21.min1.thm12017-02-06 12:46 942  
[   ]goedelcp__930_55.min1.thm12017-02-06 12:46 2.7K 
[   ]goedelcp__931_17.min1.thm12017-02-06 12:46 3.6K 
[   ]goedelcp__942_54.min1.thm12017-02-06 12:46 1.0K 
[   ]goedelcp__943_38.min1.thm12017-02-06 12:46 1.5K 
[   ]goedelcp__949_15.min1.thm12017-02-06 12:46 1.1K 
[   ]goedelcp__950_47.min1.thm12017-02-06 12:46 833  
[   ]goedelcp__953_17.min1.thm12017-02-06 12:46 754  
[   ]goedelcp__970_18.min1.thm12017-02-06 12:46 1.1K 
[   ]goedelcp__973_50.min1.thm12017-02-06 12:46 949  
[   ]goedelcp__975_51.min1.thm12017-02-06 12:46 540  
[   ]goedelcp__977_8.min1.thm12017-02-06 12:46 1.0K 
[   ]goedelcp__978_21.min1.thm12017-02-06 12:46 1.4K 
[   ]goedelcp__982_50.min1.thm12017-02-06 12:46 949  
[   ]goedelcp__984_51.min1.thm12017-02-06 12:46 540  
[   ]goedelcp__986_8.min1.thm12017-02-06 12:46 1.1K 
[   ]goedelcp__987_21.min1.thm12017-02-06 12:46 1.4K 
[   ]goedelcp__989_19.min1.thm12017-02-06 12:46 1.4K 
[   ]goedelcp__999_54.min1.thm12017-02-06 12:46 801  
[   ]goedelcp__1000_54.min1.thm12017-02-06 12:46 896  
[   ]goedelcp__1001_20.min1.thm12017-02-06 12:46 686  
[   ]goedelcp__1002_55.min1.thm12017-02-06 12:46 1.6K 
[   ]goedelcp__1008_54.min1.thm12017-02-06 12:46 801  
[   ]goedelcp__1009_54.min1.thm12017-02-06 12:46 896  
[   ]goedelcp__1010_20.min1.thm12017-02-06 12:46 779  
[   ]goedelcp__1014_19.min1.thm12017-02-06 12:46 1.7K 
[   ]goedelcp__1023_45.min1.thm12017-02-06 12:46 376  
[   ]goedelcp__1023_45.min1.thm1.tptp2017-02-06 16:47 299  
[   ]goedelcp__1026_4.min1.thm12017-02-06 12:46 441  
[   ]goedelcp__1029_31.min1.thm12017-02-06 12:46 835  
[   ]goedelcp__1030_48.min1.thm12017-02-06 12:46 927  
[   ]goedelcp__1032_16.min1.thm12017-02-06 12:46 316  
[   ]goedelcp__1032_16.min1.thm1.tptp2017-02-06 16:47 228  
[   ]goedelcp__1046_13.min1.thm12017-02-06 12:46 797  
[   ]goedelcp__1047_52.min1.thm12017-02-06 12:46 837  
[   ]goedelcp__1048_48.min1.thm12017-02-06 12:46 1.4K 
[   ]goedelcp__1049_38.min1.thm12017-02-06 12:46 854  
[   ]goedelcp__1051_17.min1.thm12017-02-06 12:46 487  
[   ]goedelcp__1051_17.min1.thm1.tptp2017-02-06 16:47 423  
[   ]goedelcp__1068_17.min1.thm12017-02-06 12:46 882  
[   ]goedelcp__1069_39.min1.thm12017-02-06 12:46 1.5K 
[   ]goedelcp__1079_17.min1.thm12017-02-06 12:46 1.5K 
[   ]goedelcp__1080_34.min1.thm12017-02-06 12:46 919  
[   ]goedelcp__1096_50.min1.thm12017-02-06 12:46 468  
[   ]goedelcp__1099_23.min1.thm12017-02-06 12:46 528  
[   ]goedelcp__1099_23.min1.thm1.tptp2017-02-06 16:47 477  
[   ]goedelcp__1100_48.min1.thm12017-02-06 12:46 1.0K 
[   ]goedelcp__1112_17.min1.thm12017-02-06 12:46 1.2K 
[   ]goedelcp__1113_60.min1.thm12017-02-06 12:46 647  
[   ]goedelcp__1137_48.min1.thm12017-02-06 12:46 566  
[   ]goedelcp__1139_17.min1.thm12017-02-06 12:46 1.3K 
[   ]goedelcp__1142_31.min1.thm12017-02-06 12:46 881  
[   ]goedelcp__1144_26.min1.thm12017-02-06 12:46 883  
[   ]goedelcp__1146_48.min1.thm12017-02-06 12:46 628  
[   ]goedelcp__1149_26.min1.thm12017-02-06 12:46 961  
[   ]goedelcp__1152_21.min1.thm12017-02-06 12:46 1.3K 
[   ]goedelcp__1153_37.min1.thm12017-02-06 12:46 1.0K 
[   ]goedelcp__1154_49.min1.thm12017-02-06 12:46 1.5K 
[   ]goedelcp__1155_26.min1.thm12017-02-06 12:46 1.8K 
[   ]goedelcp__1156_30.min1.thm12017-02-06 12:46 1.8K 
[   ]goedelcp__1157_25.min1.thm12017-02-06 12:46 1.8K 
[   ]goedelcp__1158_29.min1.thm12017-02-06 12:46 1.8K 
[   ]goedelcp__1159_45.min1.thm12017-02-06 12:46 1.3K 
[   ]goedelcp__1160_43.min1.thm12017-02-06 12:46 497  
[   ]goedelcp__1172_16.min1.thm12017-02-06 12:46 607  
[   ]goedelcp__1173_39.min1.thm12017-02-06 12:46 468  
[   ]goedelcp__1186_55.min1.thm12017-02-06 12:46 1.2K 
[   ]goedelcp__1186_55.min1.thm1.tptp2017-02-06 16:47 1.1K 
[   ]goedelcp__1207_32.min1.thm12017-02-06 12:46 442  
[   ]goedelcp__1208_21.min1.thm12017-02-06 12:46 1.0K 
[   ]goedelcp__1209_21.min1.thm12017-02-06 12:46 902  
[   ]goedelcp__1214_17.min1.thm12017-02-06 12:46 1.3K 
[   ]goedelcp__1215_16.min1.thm12017-02-06 12:46 1.2K 
[   ]goedelcp__1221_40.min1.thm12017-02-06 12:46 635  
[   ]goedelcp__1233_18.min1.thm12017-02-06 12:46 443  
[   ]goedelcp__1233_18.min1.thm1.tptp2017-02-06 16:47 388  
[   ]goedelcp__1236_15.min1.thm12017-02-06 12:46 598  
[   ]goedelcp__1237_41.min1.thm12017-02-06 12:46 559  
[   ]goedelcp__1242_17.min1.thm12017-02-06 12:46 373  
[   ]goedelcp__1242_17.min1.thm1.tptp2017-02-06 16:47 293  
[   ]goedelcp__1243_21.min1.thm12017-02-06 12:46 828  
[   ]goedelcp__1247_43.min1.thm12017-02-06 12:46 1.5K 
[   ]goedelcp__1249_40.min1.thm12017-02-06 12:46 1.3K 
[   ]goedelcp__1250_44.min1.thm12017-02-06 12:46 498  
[   ]goedelcp__1251_21.min1.thm12017-02-06 12:46 892  
[   ]goedelcp__1253_19.min1.thm12017-02-06 12:46 774  
[   ]goedelcp__1256_24.min1.thm12017-02-06 12:46 473  
[   ]goedelcp__1270_20.min1.thm12017-02-06 12:46 452  
[   ]goedelcp__1270_20.min1.thm1.tptp2017-02-06 16:47 372  
[   ]goedelcp__1271_25.min1.thm12017-02-06 12:46 898  
[   ]goedelcp__1277_14.min1.thm12017-02-06 12:46 1.5K 
[   ]goedelcp__1278_16.min1.thm12017-02-06 12:46 710  
[   ]goedelcp__1279_21.min1.thm12017-02-06 12:46 1.6K 
[   ]goedelcp__1280_22.min1.thm12017-02-06 12:46 710  
[   ]goedelcp__1282_34.min1.thm12017-02-06 12:46 1.6K 
[   ]goedelcp__1283_36.min1.thm12017-02-06 12:46 595  
[   ]goedelcp__1284_25.min1.thm12017-02-06 12:46 1.0K 
[   ]goedelcp__1288_19.min1.thm12017-02-06 12:46 495  
[   ]goedelcp__1288_19.min1.thm1.tptp2017-02-06 16:47 431  
[   ]goedelcp__1296_15.min1.thm12017-02-06 12:46 598  
[   ]goedelcp__1297_37.min1.thm12017-02-06 12:46 559  
[   ]goedelcp__1302_43.min1.thm12017-02-06 12:46 1.5K 
[   ]goedelcp__1303_31.min1.thm12017-02-06 12:46 1.7K 
[   ]goedelcp__1305_45.min1.thm12017-02-06 12:46 501  
[   ]goedelcp__1305_45.min1.thm1.tptp2017-02-06 16:47 437  
[   ]goedelcp__1306_30.min1.thm12017-02-06 12:46 893  
[   ]goedelcp__1307_19.min1.thm12017-02-06 12:46 747  
[   ]goedelcp__1309_58.min1.thm12017-02-06 12:46 1.0K 
[   ]goedelcp__1326_55.min1.thm12017-02-06 12:46 716  
[   ]goedelcp__1326_55.min1.thm1.tptp2017-02-06 16:47 642  
[   ]goedelcp__1327_53.min1.thm12017-02-06 12:46 1.6K 
[   ]goedelcp__1331_21.min1.thm12017-02-06 12:46 1.1K 
[   ]goedelcp__1332_22.min1.thm12017-02-06 12:46 702  
[   ]goedelcp__1334_34.min1.thm12017-02-06 12:46 1.6K 
[   ]goedelcp__1335_64.min1.thm12017-02-06 12:46 524  
[   ]goedelcp__1336_53.min1.thm12017-02-06 12:46 1.4K 
[   ]goedelcp__1341_63.min1.thm12017-02-06 12:46 931  
[   ]goedelcp__1341_63.min1.thm1.tptp2017-02-06 16:47 867  
[   ]goedelcp__1350_14.min1.thm12017-02-06 12:46 1.5K 
[   ]goedelcp__1351_19.min1.thm12017-02-06 12:46 824  
[   ]goedelcp__1352_16.min1.thm12017-02-06 12:46 710  
[   ]goedelcp__1353_23.min1.thm12017-02-06 12:46 1.6K 
[   ]goedelcp__1360_22.min1.thm12017-02-06 12:46 631  
[   ]goedelcp__1360_22.min1.thm1.tptp2017-02-06 16:47 566  
[   ]goedelcp__1361_18.min1.thm12017-02-06 12:46 1.2K 
[   ]goedelcp__1365_40.min1.thm12017-02-06 12:46 1.2K 
[   ]goedelcp__1368_6.min1.thm12017-02-06 12:46 931  
[   ]goedelcp__1368_6.min1.thm1.tptp2017-02-06 16:47 867  
[   ]goedelcp__1370_6.min1.thm12017-02-06 12:46 1.2K 
[   ]goedelcp__1372_59.min1.thm12017-02-06 12:46 1.0K 
[   ]goedelcp__1372_59.min1.thm1.tptp2017-02-06 16:47 1.0K 
[   ]goedelcp__1387_44.min1.thm12017-02-06 12:46 695  
[   ]goedelcp__1388_69.min1.thm12017-02-06 12:46 2.0K 
[   ]goedelcp__1401_55.min1.thm12017-02-06 12:46 752  
[   ]goedelcp__1422_50.min1.thm12017-02-06 12:46 1.6K 
[   ]goedelcp__1425_8.min1.thm12017-02-06 12:46 2.3K 
[   ]goedelcp__1427_33.min1.thm12017-02-06 12:46 1.6K 
[   ]goedelcp__1428_39.min1.thm12017-02-06 12:46 1.0K 
[   ]goedelcp__1429_46.min1.thm12017-02-06 12:46 713  
[   ]goedelcp__1433_16.min1.thm12017-02-06 12:46 606  
[   ]goedelcp__1434_32.min1.thm12017-02-06 12:46 953  
[   ]goedelcp__1435_61.min1.thm12017-02-06 12:46 398  
[   ]goedelcp__1435_61.min1.thm1.tptp2017-02-06 16:47 318  
[   ]goedelcp__1439_45.min1.thm12017-02-06 12:46 919  
[   ]goedelcp__1440_33.min1.thm12017-02-06 12:46 631  
[   ]goedelcp__1446_17.min1.thm12017-02-06 12:46 1.1K 
[   ]goedelcp__1448_38.min1.thm12017-02-06 12:46 1.1K 
[   ]goedelcp__1457_32.min1.thm12017-02-06 12:46 446  
[   ]goedelcp__1466_54.min1.thm12017-02-06 12:46 2.0K 
[   ]goedelcp__1474_57.min1.thm12017-02-06 12:46 844  
[   ]goedelcp__1474_57.min1.thm1.tptp2017-02-06 16:47 767  
[   ]goedelcp__1483_33.min1.thm12017-02-06 12:46 1.6K 
[   ]goedelcp__1484_39.min1.thm12017-02-06 12:46 1.0K 
[   ]goedelcp__1486_41.min1.thm12017-02-06 12:46 714  
[   ]goedelcp__1491_16.min1.thm12017-02-06 12:46 607  
[   ]goedelcp__1494_22.min1.thm12017-02-06 12:46 441  
[   ]goedelcp__1494_22.min1.thm1.tptp2017-02-06 16:47 361  
[   ]goedelcp__1499_33.min1.thm12017-02-06 12:46 631  
[   ]goedelcp__1505_17.min1.thm12017-02-06 12:46 1.1K 
[   ]goedelcp__1522_16.min1.thm12017-02-06 12:46 1.6K 
[   ]goedelcp__1531_33.min1.thm12017-02-06 12:46 436  
[   ]goedelcp__1535_9.min1.thm12017-02-06 12:46 695  
[   ]goedelcp__1542_60.min1.thm12017-02-06 12:46 1.4K 
[   ]goedelcp__1546_43.min1.thm12017-02-06 12:46 3.2K 
[   ]goedelcp__1550_46.min1.thm12017-02-06 12:46 1.9K 
[   ]goedelcp__1567_65.min1.thm12017-02-06 12:46 1.9K 
[   ]goedelcp__1570_10.min1.thm12017-02-06 12:46 5.0K 
[   ]goedelcp__1573_47.min1.thm12017-02-06 12:46 3.2K 
[   ]goedelcp__1578_55.min1.thm12017-02-06 12:46 1.7K 
[   ]goedelcp__1580_42.min1.thm12017-02-06 12:46 4.2K 
[   ]goedelcp__1581_53.min1.thm12017-02-06 12:46 1.5K 
[   ]goedelcp__1583_42.min1.thm12017-02-06 12:46 1.0K 
[   ]goedelcp__1584_49.min1.thm12017-02-06 12:46 727  
[   ]goedelcp__1585_74.min1.thm12017-02-06 12:46 2.0K 
[   ]goedelcp__1590_18.min1.thm12017-02-06 12:46 615  
[   ]goedelcp__1592_63.min1.thm12017-02-06 12:46 440  
[   ]goedelcp__1592_63.min1.thm1.tptp2017-02-06 16:47 360  
[   ]goedelcp__1597_35.min1.thm12017-02-06 12:46 770  
[   ]goedelcp__1604_19.min1.thm12017-02-06 12:46 1.1K 
[   ]goedelcp__1619_39.min1.thm12017-02-06 12:46 450  
[   ]goedelcp__1624_43.min1.thm12017-02-06 12:46 925  
[   ]goedelcp__1625_67.min1.thm12017-02-06 12:46 1.0K 
[   ]goedelcp__1626_64.min1.thm12017-02-06 12:46 1.0K 
[   ]goedelcp__1627_25.min1.thm12017-02-06 12:46 1.6K 
[   ]goedelcp__1629_25.min1.thm12017-02-06 12:46 934  
[   ]goedelcp__1630_34.min1.thm12017-02-06 12:46 947  
[   ]goedelcp__1631_34.min1.thm12017-02-06 12:46 1.8K 
[   ]goedelcp__1632_30.min1.thm12017-02-06 12:46 947  
[   ]goedelcp__1633_30.min1.thm12017-02-06 12:46 1.8K 
[   ]goedelcp__1634_43.min1.thm12017-02-06 12:46 1.0K 
[   ]goedelcp__1635_52.min1.thm12017-02-06 12:46 895  
[   ]goedelcp__1640_44.min1.thm12017-02-06 12:46 467  
[   ]goedelcp__1650_41.min1.thm12017-02-06 12:46 2.9K 
[   ]goedelcp__1657_19.min1.thm12017-02-06 12:46 617  
[   ]goedelcp__1658_42.min1.thm12017-02-06 12:46 480  
[   ]goedelcp__1680_62.min1.thm12017-02-06 12:46 2.0K 
[   ]goedelcp__1683_28.min1.thm12017-02-06 12:46 1.0K 
[   ]goedelcp__1685_29.min1.thm12017-02-06 12:46 4.5K 
[   ]goedelcp__1690_56.min1.thm12017-02-06 12:46 3.2K 
[   ]goedelcp__1695_70.min1.thm12017-02-06 12:46 1.8K 
[   ]goedelcp__1696_67.min1.thm12017-02-06 12:46 1.8K 
[   ]goedelcp__1700_25.min1.thm12017-02-06 12:46 936  
[   ]goedelcp__1701_34.min1.thm12017-02-06 12:46 949  
[   ]goedelcp__1703_30.min1.thm12017-02-06 12:46 949  
[   ]goedelcp__1705_51.min1.thm12017-02-06 12:46 1.0K 
[   ]goedelcp__1708_67.min1.thm12017-02-06 12:46 2.0K 
[   ]goedelcp__1710_44.min1.thm12017-02-06 12:46 2.2K 
[   ]goedelcp__1714_41.min1.thm12017-02-06 12:46 966  
[   ]goedelcp__1715_41.min1.thm12017-02-06 12:46 1.0K 
[   ]goedelcp__1716_50.min1.thm12017-02-06 12:46 1.0K 
[   ]goedelcp__1718_36.min1.thm12017-02-06 12:46 2.5K 
[   ]goedelcp__1720_50.min1.thm12017-02-06 12:46 2.0K 
[   ]goedelcp__1721_44.min1.thm12017-02-06 12:46 467  
[   ]goedelcp__1722_61.min1.thm12017-02-06 12:46 2.7K 
[   ]goedelcp__1724_10.min1.thm12017-02-06 12:46 1.7K 
[   ]goedelcp__1731_41.min1.thm12017-02-06 12:46 2.9K 
[   ]goedelcp__1737_16.min1.thm12017-02-06 12:46 454  
[   ]goedelcp__1755_17.min1.thm12017-02-06 12:46 1.1K 
[   ]goedelcp__1756_15.min1.thm12017-02-06 12:46 505  
[   ]goedelcp__1772_56.min1.thm12017-02-06 12:46 521  
[   ]goedelcp__1775_26.min1.thm12017-02-06 12:46 528  
[   ]goedelcp__1775_26.min1.thm1.tptp2017-02-06 16:47 477  
[   ]goedelcp__1776_48.min1.thm12017-02-06 12:46 868  
[   ]goedelcp__1783_48.min1.thm12017-02-06 12:46 1.5K 
[   ]goedelcp__1789_39.min1.thm12017-02-06 12:46 964  
[   ]goedelcp__1798_18.min1.thm12017-02-06 12:46 845  
[   ]goedelcp__1799_24.min1.thm12017-02-06 12:46 1.9K 
[   ]goedelcp__1803_15.min1.thm12017-02-06 12:46 505  
[   ]goedelcp__1803_15.min1.thm1.tptp2017-02-06 16:47 441  
[   ]goedelcp__1809_48.min1.thm12017-02-06 12:46 1.5K 
[   ]goedelcp__1815_19.min1.thm12017-02-06 12:46 2.2K 
[   ]goedelcp__1826_19.min1.thm12017-02-06 12:46 1.5K 
[   ]goedelcp__1827_18.min1.thm12017-02-06 12:46 463  
[   ]goedelcp__1827_18.min1.thm1.tptp2017-02-06 16:47 383  
[   ]goedelcp__1838_25.min1.thm12017-02-06 12:46 707  
[   ]goedelcp__1838_25.min1.thm1.tptp2017-02-06 16:47 626  
[   ]goedelcp__1839_23.min1.thm12017-02-06 12:46 1.1K 
[   ]goedelcp__1844_19.min1.thm12017-02-06 12:46 1.2K 
[   ]goedelcp__1847_12.min1.thm12017-02-06 12:46 1.1K 
[   ]goedelcp__1847_12.min1.thm1.tptp2017-02-06 16:47 1.1K 
[   ]goedelcp__1854_19.min1.thm12017-02-06 12:46 1.2K 
[   ]goedelcp__1854_19.min1.thm1.tptp2017-02-06 16:47 1.1K 
[   ]goedelcp__1859_15.min1.thm12017-02-06 12:46 1.2K 
[   ]goedelcp__1859_15.min1.thm1.tptp2017-02-06 16:47 1.2K 
[   ]goedelcp__1867_41.min1.thm12017-02-06 12:46 1.0K 
[   ]goedelcp__1879_24.min1.thm12017-02-06 12:46 851  
[   ]goedelcp__1880_30.min1.thm12017-02-06 12:46 1.9K 
[   ]goedelcp__1881_26.min1.thm12017-02-06 12:46 842  
[   ]goedelcp__1883_25.min1.thm12017-02-06 12:46 549  
[   ]goedelcp__1883_25.min1.thm1.tptp2017-02-06 16:47 485  
[   ]goedelcp__1892_22.min1.thm12017-02-06 12:46 849  
[   ]goedelcp__1897_22.min1.thm12017-02-06 12:46 577  
[   ]goedelcp__1897_22.min1.thm1.tptp2017-02-06 16:47 513  
[   ]goedelcp__1899_23.min1.thm12017-02-06 12:46 719  
[   ]goedelcp__1900_21.min1.thm12017-02-06 12:46 1.2K 
[   ]goedelcp__1901_22.min1.thm12017-02-06 12:46 827  
[   ]goedelcp__1903_16.min1.thm12017-02-06 12:46 478  
[   ]goedelcp__1909_44.min1.thm12017-02-06 12:46 1.4K 
[   ]goedelcp__1914_16.min1.thm12017-02-06 12:46 825  
[   ]goedelcp__1929_26.min1.thm12017-02-06 12:46 956  
[   ]goedelcp__1933_26.min1.thm12017-02-06 12:46 1.0K 
[   ]goedelcp__1934_15.min1.thm12017-02-06 12:46 422  
[   ]goedelcp__1939_19.min1.thm12017-02-06 12:46 1.7K 
[   ]goedelcp__1940_30.min1.thm12017-02-06 12:46 1.4K 
[   ]goedelcp__1955_33.min1.thm12017-02-06 12:46 1.8K 
[   ]goedelcp__1956_17.min1.thm12017-02-06 12:46 1.3K 
[   ]goedelcp__1966_42.min1.thm12017-02-06 12:46 683  
[   ]goedelcp__1967_66.min1.thm12017-02-06 12:46 1.9K 
[   ]goedelcp__1968_17.min1.thm12017-02-06 12:46 1.7K 
[   ]goedelcp__1980_34.min1.thm12017-02-06 12:46 1.7K 
[   ]goedelcp__1981_25.min1.thm12017-02-06 12:46 1.3K 
[   ]goedelcp__1983_22.min1.thm12017-02-06 12:46 1.2K 
[   ]goedelcp__2000_56.min1.thm12017-02-06 12:46 1.5K 
[   ]goedelcp__2001_37.min1.thm12017-02-06 12:46 1.7K 
[   ]goedelcp__2002_20.min1.thm12017-02-06 12:46 1.0K 
[   ]goedelcp__2003_43.min1.thm12017-02-06 12:46 1.1K 

Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80