Index of /~mptp/7.13.01_4.181.1147/mptp/ilp0/trees_4

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]trees_4__53_24.min1.thm12017-02-06 12:45 1.1K 
[ ]trees_4__54_14.min1.thm12017-02-06 12:45 609  
[ ]trees_4__55_19.min1.thm12017-02-06 12:45 1.3K 
[ ]trees_4__65_42.min1.thm12017-02-06 12:45 953  
[ ]trees_4__78_30.min1.thm12017-02-06 12:45 596  
[ ]trees_4__80_15.min1.thm12017-02-06 12:45 1.2K 
[ ]trees_4__90_24.min1.thm12017-02-06 12:45 663  
[ ]trees_4__91_17.min1.thm12017-02-06 12:45 821  
[ ]trees_4__98_10.min1.thm12017-02-06 12:45 456  
[ ]trees_4__99_22.min1.thm12017-02-06 12:45 1.5K 
[ ]trees_4__100_16.min1.thm12017-02-06 12:45 1.7K 
[ ]trees_4__101_21.min1.thm12017-02-06 12:45 2.6K 
[ ]trees_4__102_17.min1.thm12017-02-06 12:45 820  
[ ]trees_4__110_14.min1.thm12017-02-06 12:45 609  
[ ]trees_4__111_23.min1.thm12017-02-06 12:45 1.4K 
[ ]trees_4__118_13.min1.thm12017-02-06 12:45 971  
[ ]trees_4__126_58.min1.thm12017-02-06 12:45 645  
[ ]trees_4__127_19.min1.thm12017-02-06 12:45 1.8K 
[ ]trees_4__134_27.min1.thm12017-02-06 12:45 400  
[ ]trees_4__135_17.min1.thm12017-02-06 12:45 816  
[ ]trees_4__141_24.min1.thm12017-02-06 12:45 469  
[ ]trees_4__142_17.min1.thm12017-02-06 12:45 490  
[ ]trees_4__152_45.min1.thm12017-02-06 12:45 557  
[ ]trees_4__153_17.min1.thm12017-02-06 12:45 962  
[ ]trees_4__159_36.min1.thm12017-02-06 12:45 622  
[ ]trees_4__160_18.min1.thm12017-02-06 12:45 531  
[ ]trees_4__185_39.min1.thm12017-02-06 12:45 620  
[ ]trees_4__187_21.min1.thm12017-02-06 12:45 716  
[ ]trees_4__194_41.min1.thm12017-02-06 12:45 674  
[ ]trees_4__194_41.min1.thm1.tptp2017-02-06 16:46 623  
[ ]trees_4__195_59.min1.thm12017-02-06 12:45 1.4K 
[ ]trees_4__196_21.min1.thm12017-02-06 12:45 923  
[ ]trees_4__202_24.min1.thm12017-02-06 12:45 1.6K 
[ ]trees_4__203_15.min1.thm12017-02-06 12:45 1.4K 
[ ]trees_4__204_13.min1.thm12017-02-06 12:45 1.2K 
[ ]trees_4__205_19.min1.thm12017-02-06 12:45 513  
[ ]trees_4__205_19.min1.thm1.tptp2017-02-06 16:46 431  
[ ]trees_4__224_30.min1.thm12017-02-06 12:45 745  
[ ]trees_4__225_20.min1.thm12017-02-06 12:45 745  
[ ]trees_4__238_26.min1.thm12017-02-06 12:45 919  
[ ]trees_4__239_16.min1.thm12017-02-06 12:45 1.1K 
[ ]trees_4__241_26.min1.thm12017-02-06 12:45 1.1K 
[ ]trees_4__249_14.min1.thm12017-02-06 12:45 1.2K 
[ ]trees_4__263_31.min1.thm12017-02-06 12:45 1.5K 
[ ]trees_4__264_13.min1.thm12017-02-06 12:45 824  
[ ]trees_4__266_16.min1.thm12017-02-06 12:45 1.7K 
[ ]trees_4__277_50.min1.thm12017-02-06 12:45 933  
[ ]trees_4__296_25.min1.thm12017-02-06 12:45 667  
[ ]trees_4__297_57.min1.thm12017-02-06 12:45 818  
[ ]trees_4__304_49.min1.thm12017-02-06 12:45 905  
[ ]trees_4__310_35.min1.thm12017-02-06 12:45 699  
[ ]trees_4__315_18.min1.thm12017-02-06 12:45 835  
[ ]trees_4__320_36.min1.thm12017-02-06 12:45 1.2K 
[ ]trees_4__324_6.min1.thm12017-02-06 12:45 1.1K 
[ ]trees_4__325_17.min1.thm12017-02-06 12:45 707  
[ ]trees_4__326_21.min1.thm12017-02-06 12:45 822  
[ ]trees_4__331_24.min1.thm12017-02-06 12:45 775  
[ ]trees_4__332_51.min1.thm12017-02-06 12:45 1.0K 
[ ]trees_4__333_22.min1.thm12017-02-06 12:45 1.3K 
[ ]trees_4__334_22.min1.thm12017-02-06 12:45 1.3K 
[ ]trees_4__347_26.min1.thm12017-02-06 12:45 2.0K 
[ ]trees_4__374_22.min1.thm12017-02-06 12:45 798  
[ ]trees_4__377_26.min1.thm12017-02-06 12:45 591  
[ ]trees_4__378_55.min1.thm12017-02-06 12:45 1.2K 
[ ]trees_4__383_26.min1.thm12017-02-06 12:45 601  
[ ]trees_4__394_13.min1.thm12017-02-06 12:45 1.0K 
[ ]trees_4__402_13.min1.thm12017-02-06 12:45 1.1K 
[ ]trees_4__411_14.min1.thm12017-02-06 12:45 427  
[ ]trees_4__421_36.min1.thm12017-02-06 12:45 537  
[ ]trees_4__421_36.min1.thm1.tptp2017-02-06 16:46 467  
[ ]trees_4__427_22.min1.thm12017-02-06 12:45 491  
[ ]trees_4__427_22.min1.thm1.tptp2017-02-06 16:46 418  
[ ]trees_4__428_24.min1.thm12017-02-06 12:45 904  
[ ]trees_4__429_51.min1.thm12017-02-06 12:45 955  
[ ]trees_4__441_31.min1.thm12017-02-06 12:45 1.1K 
[ ]trees_4__443_16.min1.thm12017-02-06 12:45 861  
[ ]trees_4__444_31.min1.thm12017-02-06 12:45 1.3K 
[ ]trees_4__461_38.min1.thm12017-02-06 12:45 1.3K 
[ ]trees_4__472_68.min1.thm12017-02-06 12:45 1.5K 
[ ]trees_4__484_13.min1.thm12017-02-06 12:45 1.9K 
[ ]trees_4__495_21.min1.thm12017-02-06 12:45 1.0K 
[ ]trees_4__496_16.min1.thm12017-02-06 12:45 1.2K 
[ ]trees_4__497_67.min1.thm12017-02-06 12:45 784  
[ ]trees_4__498_27.min1.thm12017-02-06 12:45 1.4K 
[ ]trees_4__499_43.min1.thm12017-02-06 12:45 1.2K 
[ ]trees_4__507_14.min1.thm12017-02-06 12:45 1.2K 
[ ]trees_4__508_37.min1.thm12017-02-06 12:45 456  
[ ]trees_4__513_17.min1.thm12017-02-06 12:45 1.0K 
[ ]trees_4__521_30.min1.thm12017-02-06 12:45 471  
[ ]trees_4__522_11.min1.thm12017-02-06 12:45 1.1K 
[ ]trees_4__523_47.min1.thm12017-02-06 12:45 933  
[ ]trees_4__533_52.min1.thm12017-02-06 12:45 417  
[ ]trees_4__533_52.min1.thm1.tptp2017-02-06 16:46 329  
[ ]trees_4__534_30.min1.thm12017-02-06 12:45 471  
[ ]trees_4__535_11.min1.thm12017-02-06 12:45 1.3K 
[ ]trees_4__536_37.min1.thm12017-02-06 12:45 723  
[ ]trees_4__538_22.min1.thm12017-02-06 12:45 819  
[ ]trees_4__539_17.min1.thm12017-02-06 12:45 885  
[ ]trees_4__549_52.min1.thm12017-02-06 12:45 417  
[ ]trees_4__549_52.min1.thm1.tptp2017-02-06 16:46 329  
[ ]trees_4__550_32.min1.thm12017-02-06 12:45 921  
[ ]trees_4__551_11.min1.thm12017-02-06 12:45 1.2K 
[ ]trees_4__553_29.min1.thm12017-02-06 12:45 935  
[ ]trees_4__554_23.min1.thm12017-02-06 12:45 720  
[ ]trees_4__556_23.min1.thm12017-02-06 12:45 554  
[ ]trees_4__562_18.min1.thm12017-02-06 12:45 1.2K 
[ ]trees_4__563_17.min1.thm12017-02-06 12:45 1.2K 
[ ]trees_4__565_14.min1.thm12017-02-06 12:45 1.2K 
[ ]trees_4__566_35.min1.thm12017-02-06 12:45 449  
[ ]trees_4__580_36.min1.thm12017-02-06 12:45 1.2K 
[ ]trees_4__583_30.min1.thm12017-02-06 12:45 727  
[ ]trees_4__584_25.min1.thm12017-02-06 12:45 489  
[ ]trees_4__584_25.min1.thm1.tptp2017-02-06 16:46 416  
[ ]trees_4__597_11.min1.thm12017-02-06 12:45 1.0K 
[ ]trees_4__598_52.min1.thm12017-02-06 12:45 1.2K 
[ ]trees_4__602_15.min1.thm12017-02-06 12:45 470  
[ ]trees_4__603_35.min1.thm12017-02-06 12:45 1.1K 
[ ]trees_4__606_49.min1.thm12017-02-06 12:45 695  
[ ]trees_4__607_37.min1.thm12017-02-06 12:45 598  
[ ]trees_4__608_27.min1.thm12017-02-06 12:45 493  
[ ]trees_4__612_15.min1.thm12017-02-06 12:45 470  
[ ]trees_4__613_29.min1.thm12017-02-06 12:45 1.2K 
[ ]trees_4__623_58.min1.thm12017-02-06 12:45 1.3K 
[ ]trees_4__624_27.min1.thm12017-02-06 12:45 848  
[ ]trees_4__625_42.min1.thm12017-02-06 12:45 502  
[ ]trees_4__627_22.min1.thm12017-02-06 12:45 775  
[ ]trees_4__630_27.min1.thm12017-02-06 12:45 822  
[ ]trees_4__634_31.min1.thm12017-02-06 12:45 568  
[ ]trees_4__635_30.min1.thm12017-02-06 12:45 445  
[ ]trees_4__636_31.min1.thm12017-02-06 12:45 1.1K 
[ ]trees_4__637_20.min1.thm12017-02-06 12:45 824  
[ ]trees_4__638_47.min1.thm12017-02-06 12:45 1.5K 
[ ]trees_4__643_30.min1.thm12017-02-06 12:45 3.1K 
[ ]trees_4__655_44.min1.thm12017-02-06 12:45 1.1K 
[ ]trees_4__656_25.min1.thm12017-02-06 12:45 887  
[ ]trees_4__657_16.min1.thm12017-02-06 12:45 954  
[ ]trees_4__658_11.min1.thm12017-02-06 12:45 687  
[ ]trees_4__659_58.min1.thm12017-02-06 12:45 428  
[ ]trees_4__659_58.min1.thm1.tptp2017-02-06 16:46 362  
[ ]trees_4__661_4.min1.thm12017-02-06 12:45 1.0K 
[ ]trees_4__662_8.min1.thm12017-02-06 12:45 152  
[ ]trees_4__664_18.min1.thm12017-02-06 12:45 645  
[ ]trees_4__675_13.min1.thm12017-02-06 12:45 1.0K 
[ ]trees_4__676_29.min1.thm12017-02-06 12:45 1.6K 
[ ]trees_4__681_34.min1.thm12017-02-06 12:45 835  
[ ]trees_4__682_13.min1.thm12017-02-06 12:45 496  
[ ]trees_4__684_36.min1.thm12017-02-06 12:45 1.7K 
[ ]trees_4__706_16.min1.thm12017-02-06 12:45 1.2K 
[ ]trees_4__707_34.min1.thm12017-02-06 12:45 1.4K 
[ ]trees_4__708_38.min1.thm12017-02-06 12:45 1.2K 
[ ]trees_4__709_17.min1.thm12017-02-06 12:45 1.2K 
[ ]trees_4__715_17.min1.thm12017-02-06 12:45 623  
[ ]trees_4__716_23.min1.thm12017-02-06 12:45 1.1K 
[ ]trees_4__718_21.min1.thm12017-02-06 12:45 875  
[ ]trees_4__720_19.min1.thm12017-02-06 12:45 1.0K 
[ ]trees_4__737_16.min1.thm12017-02-06 12:45 1.2K 
[ ]trees_4__738_34.min1.thm12017-02-06 12:45 1.4K 
[ ]trees_4__740_17.min1.thm12017-02-06 12:45 1.7K 
[ ]trees_4__741_50.min1.thm12017-02-06 12:45 1.4K 
[ ]trees_4__748_23.min1.thm12017-02-06 12:45 1.2K 
[ ]trees_4__750_35.min1.thm12017-02-06 12:45 2.2K 
[ ]trees_4__754_36.min1.thm12017-02-06 12:45 1.4K 
[ ]trees_4__757_17.min1.thm12017-02-06 12:45 624  
[ ]trees_4__758_54.min1.thm12017-02-06 12:45 678  
[ ]trees_4__760_23.min1.thm12017-02-06 12:45 1.7K 
[ ]trees_4__762_23.min1.thm12017-02-06 12:45 921  
[ ]trees_4__764_21.min1.thm12017-02-06 12:45 876  
[ ]trees_4__766_19.min1.thm12017-02-06 12:45 1.0K 
[ ]trees_4__775_41.min1.thm12017-02-06 12:45 778  
[ ]trees_4__776_52.min1.thm12017-02-06 12:45 1.1K 
[ ]trees_4__787_46.min1.thm12017-02-06 12:45 1.0K 
[ ]trees_4__792_26.min1.thm12017-02-06 12:45 1.4K 
[ ]trees_4__803_25.min1.thm12017-02-06 12:45 2.2K 
[ ]trees_4__804_26.min1.thm12017-02-06 12:45 643  
[ ]trees_4__811_23.min1.thm12017-02-06 12:45 2.0K 
[ ]trees_4__812_44.min1.thm12017-02-06 12:45 1.7K 
[ ]trees_4__813_16.min1.thm12017-02-06 12:45 1.1K 
[ ]trees_4__815_21.min1.thm12017-02-06 12:45 1.6K 
[ ]trees_4__826_33.min1.thm12017-02-06 12:45 1.9K 
[ ]trees_4__837_14.min1.thm12017-02-06 12:45 631  
[ ]trees_4__838_23.min1.thm12017-02-06 12:45 566  
[ ]trees_4__846_11.min1.thm12017-02-06 12:45 1.1K 
[ ]trees_4__860_13.min1.thm12017-02-06 12:45 662  
[ ]trees_4__861_39.min1.thm12017-02-06 12:45 1.0K 
[ ]trees_4__867_20.min1.thm12017-02-06 12:45 595  
[ ]trees_4__867_20.min1.thm1.tptp2017-02-06 16:46 543  
[ ]trees_4__878_34.min1.thm12017-02-06 12:45 1.0K 
[ ]trees_4__881_24.min1.thm12017-02-06 12:45 366  
[ ]trees_4__881_24.min1.thm1.tptp2017-02-06 16:46 292  
[ ]trees_4__883_15.min1.thm12017-02-06 12:45 1.2K 
[ ]trees_4__884_45.min1.thm12017-02-06 12:45 943  
[ ]trees_4__887_8.min1.thm12017-02-06 12:45 2.4K 
[ ]trees_4__891_19.min1.thm12017-02-06 12:45 2.0K 
[ ]trees_4__895_24.min1.thm12017-02-06 12:45 1.1K 
[ ]trees_4__896_16.min1.thm12017-02-06 12:45 465  
[ ]trees_4__901_43.min1.thm12017-02-06 12:45 1.4K 
[ ]trees_4__914_20.min1.thm12017-02-06 12:45 1.1K 
[ ]trees_4__915_21.min1.thm12017-02-06 12:45 907  
[ ]trees_4__923_13.min1.thm12017-02-06 12:45 1.0K 
[ ]trees_4__924_17.min1.thm12017-02-06 12:45 1.6K 
[ ]trees_4__926_20.min1.thm12017-02-06 12:45 1.5K 
[ ]trees_4__927_43.min1.thm12017-02-06 12:45 1.4K 
[ ]trees_4__931_38.min1.thm12017-02-06 12:45 1.2K 
[ ]trees_4__938_20.min1.thm12017-02-06 12:45 1.1K 
[ ]trees_4__941_19.min1.thm12017-02-06 12:45 776  
[ ]trees_4__941_19.min1.thm1.tptp2017-02-06 16:46 687  
[ ]trees_4__943_27.min1.thm12017-02-06 12:45 321  
[ ]trees_4__943_27.min1.thm1.tptp2017-02-06 16:46 231  
[ ]trees_4__948_22.min1.thm12017-02-06 12:45 1.1K 
[ ]trees_4__949_17.min1.thm12017-02-06 12:45 1.4K 
[ ]trees_4__977_43.min1.thm12017-02-06 12:45 587  
[ ]trees_4__982_64.min1.thm12017-02-06 12:45 1.1K 
[ ]trees_4__993_62.min1.thm12017-02-06 12:45 1.2K 
[ ]trees_4__995_21.min1.thm12017-02-06 12:45 1.3K 
[ ]trees_4__995_21.min1.thm1.tptp2017-02-06 16:46 1.3K 
[ ]trees_4__999_36.min1.thm12017-02-06 12:45 1.2K 
[ ]trees_4__1020_21.min1.thm12017-02-06 12:45 1.4K 
[ ]trees_4__1030_25.min1.thm12017-02-06 12:45 1.9K 
[ ]trees_4__1031_22.min1.thm12017-02-06 12:45 566  
[ ]trees_4__1046_31.min1.thm12017-02-06 12:45 1.3K 
[ ]trees_4__1047_38.min1.thm12017-02-06 12:45 453  
[ ]trees_4__1051_29.min1.thm12017-02-06 12:45 1.3K 
[ ]trees_4__1052_36.min1.thm12017-02-06 12:45 449  
[ ]trees_4__1084_41.min1.thm12017-02-06 12:45 867  
[ ]trees_4__1085_18.min1.thm12017-02-06 12:45 2.0K 
[ ]trees_4__1088_38.min1.thm12017-02-06 12:45 851  
[ ]trees_4__1089_24.min1.thm12017-02-06 12:45 434  
[ ]trees_4__1092_37.min1.thm12017-02-06 12:45 1.0K 
[ ]trees_4__1093_19.min1.thm12017-02-06 12:45 1.5K 
[ ]trees_4__1098_26.min1.thm12017-02-06 12:45 811  
[ ]trees_4__1099_32.min1.thm12017-02-06 12:45 1.1K 
[ ]trees_4__1107_45.min1.thm12017-02-06 12:45 686  
[ ]trees_4__1108_27.min1.thm12017-02-06 12:45 1.1K 
[ ]trees_4__1109_20.min1.thm12017-02-06 12:45 1.1K 
[ ]trees_4__1112_19.min1.thm12017-02-06 12:45 924  
[ ]trees_4__1129_26.min1.thm12017-02-06 12:45 1.2K 
[ ]trees_4__1130_42.min1.thm12017-02-06 12:45 1.4K 
[ ]trees_4__1135_42.min1.thm12017-02-06 12:45 895  
[ ]trees_4__1136_24.min1.thm12017-02-06 12:45 464  
[ ]trees_4__1140_20.min1.thm12017-02-06 12:45 1.7K 
[ ]trees_4__1154_44.min1.thm12017-02-06 12:45 716  
[ ]trees_4__1159_19.min1.thm12017-02-06 12:45 1.0K 
[ ]trees_4__1169_24.min1.thm12017-02-06 12:45 559  
[ ]trees_4__1171_29.min1.thm12017-02-06 12:45 916  
[ ]trees_4__1182_35.min1.thm12017-02-06 12:45 439  
[ ]trees_4__1182_35.min1.thm1.tptp2017-02-06 16:46 353  
[ ]trees_4__1201_48.min1.thm12017-02-06 12:45 1.1K 
[ ]trees_4__1226_44.min1.thm12017-02-06 12:45 347  
[ ]trees_4__1226_44.min1.thm1.tptp2017-02-06 16:46 290  
[ ]trees_4__1227_40.min1.thm12017-02-06 12:45 347  
[ ]trees_4__1227_40.min1.thm1.tptp2017-02-06 16:46 290  
[ ]trees_4__1244_25.min1.thm12017-02-06 12:45 1.4K 
[ ]trees_4__1245_27.min1.thm12017-02-06 12:45 1.2K 
[ ]trees_4__1253_46.min1.thm12017-02-06 12:45 607  
[ ]trees_4__1255_26.min1.thm12017-02-06 12:45 2.0K 
[ ]trees_4__1256_25.min1.thm12017-02-06 12:45 2.2K 
[ ]trees_4__1261_22.min1.thm12017-02-06 12:45 1.5K 
[ ]trees_4__1262_27.min1.thm12017-02-06 12:45 1.6K 
[ ]trees_4__1266_11.min1.thm12017-02-06 12:45 188  
[ ]trees_4__1269_34.min1.thm12017-02-06 12:45 2.4K 
[ ]trees_4__1279_35.min1.thm12017-02-06 12:45 811  
[ ]trees_4__1299_25.min1.thm12017-02-06 12:45 1.4K 
[ ]trees_4__1300_27.min1.thm12017-02-06 12:45 1.2K 
[ ]trees_4__1308_46.min1.thm12017-02-06 12:45 607  
[ ]trees_4__1310_26.min1.thm12017-02-06 12:45 2.0K 
[ ]trees_4__1311_25.min1.thm12017-02-06 12:45 2.2K 
[ ]trees_4__1316_22.min1.thm12017-02-06 12:45 1.5K 
[ ]trees_4__1317_27.min1.thm12017-02-06 12:45 1.6K 
[ ]trees_4__1321_11.min1.thm12017-02-06 12:45 188  
[ ]trees_4__1324_34.min1.thm12017-02-06 12:45 2.4K 
[ ]trees_4__1334_35.min1.thm12017-02-06 12:45 811  
[ ]trees_4__1351_24.min1.thm12017-02-06 12:45 1.1K 
[ ]trees_4__1357_46.min1.thm12017-02-06 12:45 721  
[ ]trees_4__1360_15.min1.thm12017-02-06 12:45 474  
[ ]trees_4__1360_15.min1.thm1.tptp2017-02-06 16:46 394  
[ ]trees_4__1367_21.min1.thm12017-02-06 12:45 1.4K 
[ ]trees_4__1369_52.min1.thm12017-02-06 12:45 928  
[ ]trees_4__1373_56.min1.thm12017-02-06 12:45 1.0K 
[ ]trees_4__1374_43.min1.thm12017-02-06 12:45 592  
[ ]trees_4__1387_24.min1.thm12017-02-06 12:45 1.1K 
[ ]trees_4__1393_46.min1.thm12017-02-06 12:45 721  
[ ]trees_4__1396_15.min1.thm12017-02-06 12:45 474  
[ ]trees_4__1396_15.min1.thm1.tptp2017-02-06 16:46 394  
[ ]trees_4__1403_21.min1.thm12017-02-06 12:45 1.4K 
[ ]trees_4__1405_52.min1.thm12017-02-06 12:45 928  
[ ]trees_4__1409_56.min1.thm12017-02-06 12:45 1.0K 
[ ]trees_4__1410_43.min1.thm12017-02-06 12:45 592  
[ ]trees_4__1434_15.min1.thm12017-02-06 12:45 1.1K 
[ ]trees_4__1435_37.min1.thm12017-02-06 12:45 1.4K 
[ ]trees_4__1438_17.min1.thm12017-02-06 12:45 946  
[ ]trees_4__1442_41.min1.thm12017-02-06 12:45 883  
[ ]trees_4__1443_17.min1.thm12017-02-06 12:45 1.8K 
[ ]trees_4__1465_15.min1.thm12017-02-06 12:45 1.1K 
[ ]trees_4__1466_37.min1.thm12017-02-06 12:45 1.4K 
[ ]trees_4__1469_17.min1.thm12017-02-06 12:45 946  
[ ]trees_4__1473_41.min1.thm12017-02-06 12:45 883  
[ ]trees_4__1474_17.min1.thm12017-02-06 12:45 1.8K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80