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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]bintree1__1335_76.min1.thm12017-02-06 12:45 2.8K 
[   ]bintree1__1320_14.min1.thm12017-02-06 12:45 608  
[   ]bintree1__1315_25.min1.thm12017-02-06 12:45 1.4K 
[   ]bintree1__1313_33.min1.thm12017-02-06 12:45 1.3K 
[   ]bintree1__1312_46.min1.thm1.tptp2017-02-06 16:48 266  
[   ]bintree1__1312_46.min1.thm12017-02-06 12:45 344  
[   ]bintree1__1309_29.min1.thm12017-02-06 12:45 770  
[   ]bintree1__1308_25.min1.thm12017-02-06 12:45 765  
[   ]bintree1__1304_47.min1.thm12017-02-06 12:45 1.4K 
[   ]bintree1__1289_25.min1.thm12017-02-06 12:45 1.4K 
[   ]bintree1__1288_24.min1.thm12017-02-06 12:45 1.4K 
[   ]bintree1__1287_26.min1.thm1.tptp2017-02-06 16:48 489  
[   ]bintree1__1287_26.min1.thm12017-02-06 12:45 566  
[   ]bintree1__1286_48.min1.thm1.tptp2017-02-06 16:48 274  
[   ]bintree1__1286_48.min1.thm12017-02-06 12:45 352  
[   ]bintree1__1283_29.min1.thm12017-02-06 12:45 1.0K 
[   ]bintree1__1282_27.min1.thm12017-02-06 12:45 777  
[   ]bintree1__1280_55.min1.thm1.tptp2017-02-06 16:48 2.6K 
[   ]bintree1__1280_55.min1.thm12017-02-06 12:45 2.6K 
[   ]bintree1__1276_47.min1.thm12017-02-06 12:45 1.4K 
[   ]bintree1__1275_23.min1.thm12017-02-06 12:45 2.2K 
[   ]bintree1__1268_50.min1.thm1.tptp2017-02-06 16:48 629  
[   ]bintree1__1268_50.min1.thm12017-02-06 12:45 715  
[   ]bintree1__1263_25.min1.thm12017-02-06 12:45 1.4K 
[   ]bintree1__1261_33.min1.thm12017-02-06 12:45 1.3K 
[   ]bintree1__1260_46.min1.thm1.tptp2017-02-06 16:48 266  
[   ]bintree1__1260_46.min1.thm12017-02-06 12:45 344  
[   ]bintree1__1257_29.min1.thm12017-02-06 12:45 770  
[   ]bintree1__1256_25.min1.thm12017-02-06 12:45 765  
[   ]bintree1__1252_47.min1.thm12017-02-06 12:45 1.4K 
[   ]bintree1__1237_25.min1.thm12017-02-06 12:45 1.4K 
[   ]bintree1__1236_24.min1.thm12017-02-06 12:45 1.4K 
[   ]bintree1__1235_26.min1.thm1.tptp2017-02-06 16:48 489  
[   ]bintree1__1235_26.min1.thm12017-02-06 12:45 566  
[   ]bintree1__1234_48.min1.thm1.tptp2017-02-06 16:48 274  
[   ]bintree1__1234_48.min1.thm12017-02-06 12:45 352  
[   ]bintree1__1231_29.min1.thm12017-02-06 12:45 1.0K 
[   ]bintree1__1230_27.min1.thm12017-02-06 12:45 777  
[   ]bintree1__1228_55.min1.thm1.tptp2017-02-06 16:48 2.6K 
[   ]bintree1__1228_55.min1.thm12017-02-06 12:45 2.6K 
[   ]bintree1__1224_47.min1.thm12017-02-06 12:45 1.4K 
[   ]bintree1__1223_23.min1.thm12017-02-06 12:45 2.2K 
[   ]bintree1__1210_24.min1.thm12017-02-06 12:45 846  
[   ]bintree1__1208_44.min1.thm12017-02-06 12:45 1.7K 
[   ]bintree1__1207_37.min1.thm12017-02-06 12:45 1.3K 
[   ]bintree1__1196_18.min1.thm12017-02-06 12:45 766  
[   ]bintree1__1194_42.min1.thm12017-02-06 12:45 1.7K 
[   ]bintree1__1193_33.min1.thm12017-02-06 12:45 1.3K 
[   ]bintree1__1187_50.min1.thm1.tptp2017-02-06 16:48 628  
[   ]bintree1__1187_50.min1.thm12017-02-06 12:45 714  
[   ]bintree1__1186_51.min1.thm12017-02-06 12:45 563  
[   ]bintree1__1156_46.min1.thm12017-02-06 12:45 1.4K 
[   ]bintree1__1138_27.min1.thm12017-02-06 12:45 1.4K 
[   ]bintree1__1136_34.min1.thm12017-02-06 12:45 2.3K 
[   ]bintree1__1134_45.min1.thm12017-02-06 12:45 1.4K 
[   ]bintree1__1133_37.min1.thm12017-02-06 12:45 2.2K 
[   ]bintree1__1127_58.min1.thm1.tptp2017-02-06 16:48 650  
[   ]bintree1__1127_58.min1.thm12017-02-06 12:45 736  
[   ]bintree1__1114_24.min1.thm12017-02-06 12:45 846  
[   ]bintree1__1112_44.min1.thm12017-02-06 12:45 1.7K 
[   ]bintree1__1111_37.min1.thm12017-02-06 12:45 1.3K 
[   ]bintree1__1100_18.min1.thm12017-02-06 12:45 766  
[   ]bintree1__1098_42.min1.thm12017-02-06 12:45 1.7K 
[   ]bintree1__1097_33.min1.thm12017-02-06 12:45 1.3K 
[   ]bintree1__1091_51.min1.thm12017-02-06 12:45 563  
[   ]bintree1__1073_14.min1.thm12017-02-06 12:45 1.1K 
[   ]bintree1__1060_18.min1.thm12017-02-06 12:45 1.8K 
[   ]bintree1__1056_18.min1.thm12017-02-06 12:45 1.8K 
[   ]bintree1__1054_32.min1.thm12017-02-06 12:45 1.8K 
[   ]bintree1__1053_19.min1.thm12017-02-06 12:45 2.6K 
[   ]bintree1__1033_18.min1.thm12017-02-06 12:45 1.8K 
[   ]bintree1__1029_18.min1.thm12017-02-06 12:45 1.8K 
[   ]bintree1__1027_31.min1.thm12017-02-06 12:45 1.8K 
[   ]bintree1__1026_19.min1.thm12017-02-06 12:45 2.6K 
[   ]bintree1__989_30.min1.thm12017-02-06 12:45 1.5K 
[   ]bintree1__988_26.min1.thm12017-02-06 12:45 1.3K 
[   ]bintree1__987_61.min1.thm12017-02-06 12:45 2.7K 
[   ]bintree1__974_16.min1.thm12017-02-06 12:45 489  
[   ]bintree1__967_19.min1.thm12017-02-06 12:45 1.4K 
[   ]bintree1__966_18.min1.thm12017-02-06 12:45 1.4K 
[   ]bintree1__961_26.min1.thm12017-02-06 12:45 482  
[   ]bintree1__954_55.min1.thm1.tptp2017-02-06 16:48 876  
[   ]bintree1__954_55.min1.thm12017-02-06 12:45 952  
[   ]bintree1__944_18.min1.thm12017-02-06 12:45 488  
[   ]bintree1__938_27.min1.thm12017-02-06 12:45 553  
[   ]bintree1__934_27.min1.thm12017-02-06 12:45 466  
[   ]bintree1__931_18.min1.thm12017-02-06 12:45 486  
[   ]bintree1__924_22.min1.thm12017-02-06 12:45 804  
[   ]bintree1__922_21.min1.thm12017-02-06 12:45 1.8K 
[   ]bintree1__921_49.min1.thm12017-02-06 12:45 809  
[   ]bintree1__916_46.min1.thm12017-02-06 12:45 1.3K 
[   ]bintree1__887_14.min1.thm12017-02-06 12:45 2.3K 
[   ]bintree1__883_76.min1.thm12017-02-06 12:45 1.5K 
[   ]bintree1__879_34.min1.thm12017-02-06 12:45 2.6K 
[   ]bintree1__873_31.min1.thm12017-02-06 12:45 1.8K 
[   ]bintree1__854_16.min1.thm12017-02-06 12:45 2.6K 
[   ]bintree1__848_44.min1.thm12017-02-06 12:45 1.6K 
[   ]bintree1__846_25.min1.thm12017-02-06 12:45 1.3K 
[   ]bintree1__843_17.min1.thm12017-02-06 12:45 2.3K 
[   ]bintree1__839_36.min1.thm12017-02-06 12:45 2.6K 
[   ]bintree1__835_32.min1.thm1.tptp2017-02-06 16:48 356  
[   ]bintree1__835_32.min1.thm12017-02-06 12:45 412  
[   ]bintree1__831_27.min1.thm12017-02-06 12:45 1.3K 
[   ]bintree1__830_33.min1.thm12017-02-06 12:45 1.9K 
[   ]bintree1__810_41.min1.thm12017-02-06 12:45 1.8K 
[   ]bintree1__808_62.min1.thm12017-02-06 12:45 1.1K 
[   ]bintree1__802_28.min1.thm12017-02-06 12:45 2.0K 
[   ]bintree1__800_57.min1.thm12017-02-06 12:45 1.4K 
[   ]bintree1__799_43.min1.thm1.tptp2017-02-06 16:48 597  
[   ]bintree1__799_43.min1.thm12017-02-06 12:45 653  
[   ]bintree1__798_24.min1.thm12017-02-06 12:45 426  
[   ]bintree1__797_28.min1.thm12017-02-06 12:45 779  
[   ]bintree1__796_34.min1.thm12017-02-06 12:45 811  
[   ]bintree1__795_40.min1.thm12017-02-06 12:45 868  
[   ]bintree1__794_44.min1.thm12017-02-06 12:45 1.2K 
[   ]bintree1__793_26.min1.thm12017-02-06 12:45 937  
[   ]bintree1__791_64.min1.thm12017-02-06 12:45 564  
[   ]bintree1__789_35.min1.thm12017-02-06 12:45 932  
[   ]bintree1__772_15.min1.thm12017-02-06 12:45 260  
[   ]bintree1__769_48.min1.thm12017-02-06 12:45 1.6K 
[   ]bintree1__768_29.min1.thm12017-02-06 12:45 639  
[   ]bintree1__766_21.min1.thm12017-02-06 12:45 1.8K 
[   ]bintree1__764_14.min1.thm12017-02-06 12:45 459  
[   ]bintree1__762_14.min1.thm12017-02-06 12:45 971  
[   ]bintree1__748_38.min1.thm12017-02-06 12:45 2.2K 
[   ]bintree1__747_78.min1.thm12017-02-06 12:45 1.9K 
[   ]bintree1__744_23.min1.thm12017-02-06 12:45 505  
[   ]bintree1__735_31.min1.thm12017-02-06 12:45 605  
[   ]bintree1__734_24.min1.thm12017-02-06 12:45 1.9K 
[   ]bintree1__729_25.min1.thm12017-02-06 12:45 1.7K 
[   ]bintree1__727_23.min1.thm1.tptp2017-02-06 16:48 355  
[   ]bintree1__727_23.min1.thm12017-02-06 12:45 413  
[   ]bintree1__726_31.min1.thm12017-02-06 12:45 637  
[   ]bintree1__725_19.min1.thm12017-02-06 12:45 1.8K 
[   ]bintree1__719_43.min1.thm12017-02-06 12:45 1.2K 
[   ]bintree1__717_58.min1.thm12017-02-06 12:45 889  
[   ]bintree1__716_56.min1.thm12017-02-06 12:45 1.0K 
[   ]bintree1__715_51.min1.thm12017-02-06 12:45 488  
[   ]bintree1__714_42.min1.thm12017-02-06 12:45 246  
[   ]bintree1__697_19.min1.thm12017-02-06 12:45 2.0K 
[   ]bintree1__696_40.min1.thm12017-02-06 12:45 1.0K 
[   ]bintree1__695_36.min1.thm12017-02-06 12:45 1.5K 
[   ]bintree1__694_63.min1.thm12017-02-06 12:45 778  
[   ]bintree1__693_34.min1.thm1.tptp2017-02-06 16:48 427  
[   ]bintree1__693_34.min1.thm12017-02-06 12:45 491  
[   ]bintree1__691_66.min1.thm12017-02-06 12:45 686  
[   ]bintree1__690_20.min1.thm12017-02-06 12:45 338  
[   ]bintree1__689_24.min1.thm12017-02-06 12:45 691  
[   ]bintree1__688_30.min1.thm12017-02-06 12:45 723  
[   ]bintree1__687_36.min1.thm12017-02-06 12:45 780  
[   ]bintree1__686_43.min1.thm12017-02-06 12:45 380  
[   ]bintree1__685_23.min1.thm12017-02-06 12:45 883  
[   ]bintree1__683_20.min1.thm1.tptp2017-02-06 16:48 426  
[   ]bintree1__683_20.min1.thm12017-02-06 12:45 503  
[   ]bintree1__682_23.min1.thm12017-02-06 12:45 883  
[   ]bintree1__680_20.min1.thm1.tptp2017-02-06 16:48 426  
[   ]bintree1__680_20.min1.thm12017-02-06 12:45 503  
[   ]bintree1__670_17.min1.thm12017-02-06 12:45 686  
[   ]bintree1__669_45.min1.thm12017-02-06 12:45 1.1K 
[   ]bintree1__668_49.min1.thm12017-02-06 12:45 745  
[   ]bintree1__667_37.min1.thm12017-02-06 12:45 954  
[   ]bintree1__663_37.min1.thm12017-02-06 12:45 1.1K 
[   ]bintree1__662_51.min1.thm12017-02-06 12:45 747  
[   ]bintree1__661_37.min1.thm12017-02-06 12:45 916  
[   ]bintree1__659_47.min1.thm12017-02-06 12:45 690  
[   ]bintree1__643_33.min1.thm12017-02-06 12:45 893  
[   ]bintree1__640_33.min1.thm12017-02-06 12:45 888  
[   ]bintree1__639_35.min1.thm1.tptp2017-02-06 16:48 514  
[   ]bintree1__639_35.min1.thm12017-02-06 12:45 568  
[   ]bintree1__635_42.min1.thm1.tptp2017-02-06 16:48 520  
[   ]bintree1__635_42.min1.thm12017-02-06 12:45 574  
[   ]bintree1__632_58.min1.thm12017-02-06 12:45 1.3K 
[   ]bintree1__631_76.min1.thm12017-02-06 12:45 1.2K 
[   ]bintree1__629_32.min1.thm12017-02-06 12:45 2.3K 
[   ]bintree1__628_21.min1.thm12017-02-06 12:45 885  
[   ]bintree1__617_50.min1.thm12017-02-06 12:45 1.5K 
[   ]bintree1__604_33.min1.thm12017-02-06 12:45 826  
[   ]bintree1__601_33.min1.thm12017-02-06 12:45 821  
[   ]bintree1__600_35.min1.thm1.tptp2017-02-06 16:48 514  
[   ]bintree1__600_35.min1.thm12017-02-06 12:45 568  
[   ]bintree1__596_42.min1.thm1.tptp2017-02-06 16:48 520  
[   ]bintree1__596_42.min1.thm12017-02-06 12:45 574  
[   ]bintree1__593_58.min1.thm12017-02-06 12:45 1.2K 
[   ]bintree1__592_76.min1.thm12017-02-06 12:45 1.2K 
[   ]bintree1__590_32.min1.thm12017-02-06 12:45 2.3K 
[   ]bintree1__589_21.min1.thm12017-02-06 12:45 885  
[   ]bintree1__578_50.min1.thm12017-02-06 12:45 1.4K 
[   ]bintree1__576_31.min1.thm12017-02-06 12:45 1.2K 
[   ]bintree1__565_46.min1.thm12017-02-06 12:45 1.3K 
[   ]bintree1__559_54.min1.thm1.tptp2017-02-06 16:48 679  
[   ]bintree1__559_54.min1.thm12017-02-06 12:45 735  
[   ]bintree1__558_59.min1.thm12017-02-06 12:45 1.4K 
[   ]bintree1__556_60.min1.thm12017-02-06 12:45 942  
[   ]bintree1__553_50.min1.thm1.tptp2017-02-06 16:48 588  
[   ]bintree1__553_50.min1.thm12017-02-06 12:45 642  
[   ]bintree1__552_50.min1.thm12017-02-06 12:45 1.6K 
[   ]bintree1__551_52.min1.thm12017-02-06 12:45 825  
[   ]bintree1__546_29.min1.thm12017-02-06 12:45 1.2K 
[   ]bintree1__536_44.min1.thm12017-02-06 12:45 960  
[   ]bintree1__528_19.min1.thm12017-02-06 12:45 273  
[   ]bintree1__527_42.min1.thm12017-02-06 12:45 588  
[   ]bintree1__517_54.min1.thm1.tptp2017-02-06 16:48 679  
[   ]bintree1__517_54.min1.thm12017-02-06 12:45 735  
[   ]bintree1__516_59.min1.thm12017-02-06 12:45 1.4K 
[   ]bintree1__514_60.min1.thm12017-02-06 12:45 1.0K 
[   ]bintree1__511_50.min1.thm1.tptp2017-02-06 16:48 588  
[   ]bintree1__511_50.min1.thm12017-02-06 12:45 642  
[   ]bintree1__510_50.min1.thm12017-02-06 12:45 1.6K 
[   ]bintree1__509_52.min1.thm12017-02-06 12:45 825  
[   ]bintree1__504_29.min1.thm12017-02-06 12:45 1.2K 
[   ]bintree1__494_44.min1.thm12017-02-06 12:45 960  
[   ]bintree1__486_19.min1.thm12017-02-06 12:45 273  
[   ]bintree1__485_42.min1.thm12017-02-06 12:45 588  
[   ]bintree1__480_54.min1.thm12017-02-06 12:45 670  
[   ]bintree1__474_46.min1.thm12017-02-06 12:45 1.5K 
[   ]bintree1__453_31.min1.thm12017-02-06 12:45 1.7K 
[   ]bintree1__450_71.min1.thm12017-02-06 12:45 966  
[   ]bintree1__449_23.min1.thm12017-02-06 12:45 2.5K 
[   ]bintree1__447_18.min1.thm12017-02-06 12:45 1.1K 
[   ]bintree1__437_69.min1.thm12017-02-06 12:45 1.3K 
[   ]bintree1__435_33.min1.thm12017-02-06 12:45 1.6K 
[   ]bintree1__434_28.min1.thm12017-02-06 12:45 2.2K 
[   ]bintree1__433_18.min1.thm12017-02-06 12:45 859  
[   ]bintree1__418_73.min1.thm12017-02-06 12:45 1.0K 
[   ]bintree1__417_25.min1.thm12017-02-06 12:45 2.6K 
[   ]bintree1__415_18.min1.thm12017-02-06 12:45 1.2K 
[   ]bintree1__404_76.min1.thm12017-02-06 12:45 1.3K 
[   ]bintree1__403_35.min1.thm12017-02-06 12:45 1.6K 
[   ]bintree1__402_30.min1.thm12017-02-06 12:45 2.3K 
[   ]bintree1__401_19.min1.thm12017-02-06 12:45 877  
[   ]bintree1__386_42.min1.thm1.tptp2017-02-06 16:48 506  
[   ]bintree1__386_42.min1.thm12017-02-06 12:45 560  
[   ]bintree1__383_43.min1.thm12017-02-06 12:45 741  
[   ]bintree1__382_42.min1.thm12017-02-06 12:45 834  
[   ]bintree1__381_38.min1.thm12017-02-06 12:45 939  
[   ]bintree1__380_21.min1.thm12017-02-06 12:45 762  
[   ]bintree1__379_29.min1.thm1.tptp2017-02-06 16:48 624  
[   ]bintree1__379_29.min1.thm12017-02-06 12:45 668  
[   ]bintree1__375_43.min1.thm12017-02-06 12:45 1.8K 
[   ]bintree1__367_20.min1.thm12017-02-06 12:45 868  
[   ]bintree1__364_34.min1.thm12017-02-06 12:45 933  
[   ]bintree1__361_20.min1.thm12017-02-06 12:45 794  
[   ]bintree1__358_34.min1.thm12017-02-06 12:45 859  
[   ]bintree1__342_23.min1.thm12017-02-06 12:45 2.5K 
[   ]bintree1__333_33.min1.thm12017-02-06 12:45 1.6K 
[   ]bintree1__332_28.min1.thm12017-02-06 12:45 2.2K 
[   ]bintree1__320_25.min1.thm12017-02-06 12:45 2.6K 
[   ]bintree1__311_35.min1.thm12017-02-06 12:45 1.6K 
[   ]bintree1__310_30.min1.thm12017-02-06 12:45 2.3K 
[   ]bintree1__284_54.min1.thm12017-02-06 12:45 835  
[   ]bintree1__283_40.min1.thm12017-02-06 12:45 942  
[   ]bintree1__280_74.min1.thm12017-02-06 12:45 1.1K 
[   ]bintree1__276_24.min1.thm12017-02-06 12:45 582  
[   ]bintree1__271_24.min1.thm12017-02-06 12:45 582  
[   ]bintree1__263_15.min1.thm12017-02-06 12:45 264  
[   ]bintree1__246_15.min1.thm12017-02-06 12:45 416  
[   ]bintree1__236_41.min1.thm12017-02-06 12:45 1.6K 
[   ]bintree1__234_38.min1.thm12017-02-06 12:45 1.3K 
[   ]bintree1__216_15.min1.thm12017-02-06 12:45 693  
[   ]bintree1__209_29.min1.thm12017-02-06 12:45 279  
[   ]bintree1__206_29.min1.thm12017-02-06 12:45 299  
[   ]bintree1__196_49.min1.thm12017-02-06 12:45 907  
[   ]bintree1__191_49.min1.thm12017-02-06 12:45 917  
[   ]bintree1__173_33.min1.thm12017-02-06 12:45 733  
[   ]bintree1__172_41.min1.thm12017-02-06 12:45 795  
[   ]bintree1__171_49.min1.thm12017-02-06 12:45 917  
[   ]bintree1__166_49.min1.thm12017-02-06 12:45 927  
[   ]bintree1__147_21.min1.thm12017-02-06 12:45 1.5K 
[   ]bintree1__146_38.min1.thm12017-02-06 12:45 1.0K 
[   ]bintree1__145_35.min1.thm1.tptp2017-02-06 16:48 543  
[   ]bintree1__145_35.min1.thm12017-02-06 12:45 597  
[   ]bintree1__139_41.min1.thm12017-02-06 12:45 714  
[   ]bintree1__138_30.min1.thm12017-02-06 12:45 800  
[   ]bintree1__134_41.min1.thm12017-02-06 12:45 632  
[   ]bintree1__133_30.min1.thm12017-02-06 12:45 874  
[   ]bintree1__126_20.min1.thm12017-02-06 12:45 1.7K 
[   ]bintree1__125_45.min1.thm12017-02-06 12:45 1.9K 
[   ]bintree1__124_63.min1.thm12017-02-06 12:45 783  
[   ]bintree1__102_44.min1.thm12017-02-06 12:45 1.0K 
[   ]bintree1__101_20.min1.thm12017-02-06 12:45 486  
[   ]bintree1__88_11.min1.thm12017-02-06 12:45 533  
[   ]bintree1__87_16.min1.thm12017-02-06 12:45 902  
[   ]bintree1__82_18.min1.thm12017-02-06 12:45 803  
[   ]bintree1__74_25.min1.thm12017-02-06 12:45 1.0K 
[   ]bintree1__56_50.min1.thm12017-02-06 12:45 1.1K 
[   ]bintree1__46_16.min1.thm12017-02-06 12:45 1.2K 
[   ]bintree1__45_23.min1.thm12017-02-06 12:45 1.0K 

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