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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]trees_a__45_54.min1.thm12017-02-06 12:44 1.3K 
[ ]trees_a__46_17.min1.thm12017-02-06 12:44 1.3K 
[ ]trees_a__59_39.min1.thm12017-02-06 12:44 692  
[ ]trees_a__64_46.min1.thm12017-02-06 12:44 1.0K 
[ ]trees_a__65_38.min1.thm12017-02-06 12:44 778  
[ ]trees_a__69_17.min1.thm12017-02-06 12:44 223  
[ ]trees_a__72_41.min1.thm12017-02-06 12:44 1.3K 
[ ]trees_a__73_49.min1.thm12017-02-06 12:44 418  
[ ]trees_a__73_49.min1.thm1.tptp2017-02-06 16:46 339  
[ ]trees_a__77_46.min1.thm12017-02-06 12:44 353  
[ ]trees_a__77_46.min1.thm1.tptp2017-02-06 16:46 271  
[ ]trees_a__83_6.min1.thm12017-02-06 12:44 499  
[ ]trees_a__85_26.min1.thm12017-02-06 12:44 492  
[ ]trees_a__87_66.min1.thm12017-02-06 12:44 191  
[ ]trees_a__88_42.min1.thm12017-02-06 12:44 490  
[ ]trees_a__94_65.min1.thm12017-02-06 12:44 821  
[ ]trees_a__95_35.min1.thm12017-02-06 12:44 580  
[ ]trees_a__96_20.min1.thm12017-02-06 12:44 1.0K 
[ ]trees_a__107_10.min1.thm12017-02-06 12:44 837  
[ ]trees_a__114_39.min1.thm12017-02-06 12:44 915  
[ ]trees_a__116_23.min1.thm12017-02-06 12:44 883  
[ ]trees_a__126_61.min1.thm12017-02-06 12:44 833  
[ ]trees_a__127_39.min1.thm12017-02-06 12:44 1.2K 
[ ]trees_a__135_41.min1.thm12017-02-06 12:44 1.0K 
[ ]trees_a__136_44.min1.thm12017-02-06 12:44 929  
[ ]trees_a__142_40.min1.thm12017-02-06 12:44 837  
[ ]trees_a__143_29.min1.thm12017-02-06 12:44 912  
[ ]trees_a__147_27.min1.thm12017-02-06 12:44 651  
[ ]trees_a__160_51.min1.thm12017-02-06 12:44 1.0K 
[ ]trees_a__161_38.min1.thm12017-02-06 12:44 1.4K 
[ ]trees_a__162_36.min1.thm12017-02-06 12:44 488  
[ ]trees_a__162_36.min1.thm1.tptp2017-02-06 16:46 414  
[ ]trees_a__164_25.min1.thm12017-02-06 12:44 2.1K 
[ ]trees_a__169_28.min1.thm12017-02-06 12:44 1.9K 
[ ]trees_a__171_33.min1.thm12017-02-06 12:44 912  
[ ]trees_a__173_57.min1.thm12017-02-06 12:44 2.6K 
[ ]trees_a__174_32.min1.thm12017-02-06 12:44 2.6K 
[ ]trees_a__175_52.min1.thm12017-02-06 12:44 1.8K 
[ ]trees_a__176_21.min1.thm12017-02-06 12:44 1.2K 
[ ]trees_a__178_46.min1.thm12017-02-06 12:44 1.2K 
[ ]trees_a__179_29.min1.thm12017-02-06 12:44 682  
[ ]trees_a__184_31.min1.thm12017-02-06 12:44 768  
[ ]trees_a__187_36.min1.thm12017-02-06 12:44 2.6K 
[ ]trees_a__188_51.min1.thm12017-02-06 12:44 1.8K 
[ ]trees_a__196_40.min1.thm12017-02-06 12:44 416  
[ ]trees_a__196_40.min1.thm1.tptp2017-02-06 16:46 342  
[ ]trees_a__197_39.min1.thm12017-02-06 12:44 633  
[ ]trees_a__198_46.min1.thm12017-02-06 12:44 416  
[ ]trees_a__198_46.min1.thm1.tptp2017-02-06 16:46 342  
[ ]trees_a__199_25.min1.thm12017-02-06 12:44 255  
[ ]trees_a__211_29.min1.thm12017-02-06 12:44 864  
[ ]trees_a__216_23.min1.thm12017-02-06 12:44 959  
[ ]trees_a__225_73.min1.thm12017-02-06 12:44 917  
[ ]trees_a__232_31.min1.thm12017-02-06 12:44 1.2K 
[ ]trees_a__234_50.min1.thm12017-02-06 12:44 919  
[ ]trees_a__239_29.min1.thm12017-02-06 12:44 723  
[ ]trees_a__250_26.min1.thm12017-02-06 12:44 2.1K 
[ ]trees_a__251_29.min1.thm12017-02-06 12:44 2.1K 
[ ]trees_a__262_42.min1.thm12017-02-06 12:44 404  
[ ]trees_a__262_42.min1.thm1.tptp2017-02-06 16:46 330  
[ ]trees_a__263_42.min1.thm12017-02-06 12:44 1.3K 
[ ]trees_a__264_31.min1.thm12017-02-06 12:44 680  
[ ]trees_a__265_39.min1.thm12017-02-06 12:44 680  
[ ]trees_a__266_28.min1.thm12017-02-06 12:44 1.3K 
[ ]trees_a__267_23.min1.thm12017-02-06 12:44 245  
[ ]trees_a__275_42.min1.thm12017-02-06 12:44 2.0K 
[ ]trees_a__276_39.min1.thm12017-02-06 12:44 466  
[ ]trees_a__276_39.min1.thm1.tptp2017-02-06 16:46 395  
[ ]trees_a__277_42.min1.thm12017-02-06 12:44 412  
[ ]trees_a__277_42.min1.thm1.tptp2017-02-06 16:46 338  
[ ]trees_a__288_22.min1.thm12017-02-06 12:44 1.4K 
[ ]trees_a__290_57.min1.thm12017-02-06 12:44 1.1K 
[ ]trees_a__291_23.min1.thm12017-02-06 12:44 1.6K 
[ ]trees_a__292_33.min1.thm12017-02-06 12:44 1.8K 
[ ]trees_a__294_31.min1.thm12017-02-06 12:44 2.4K 
[ ]trees_a__300_25.min1.thm12017-02-06 12:44 1.9K 
[ ]trees_a__302_24.min1.thm12017-02-06 12:44 953  
[ ]trees_a__304_52.min1.thm12017-02-06 12:44 2.6K 
[ ]trees_a__306_21.min1.thm12017-02-06 12:44 2.2K 
[ ]trees_a__308_43.min1.thm12017-02-06 12:44 1.2K 
[ ]trees_a__309_31.min1.thm12017-02-06 12:44 754  
[ ]trees_a__313_27.min1.thm12017-02-06 12:44 1.2K 
[ ]trees_a__315_29.min1.thm12017-02-06 12:44 329  
[ ]trees_a__315_29.min1.thm1.tptp2017-02-06 16:46 239  
[ ]trees_a__327_59.min1.thm12017-02-06 12:44 895  
[ ]trees_a__328_20.min1.thm12017-02-06 12:44 1.0K 
[ ]trees_a__334_50.min1.thm12017-02-06 12:44 1.0K 
[ ]trees_a__336_21.min1.thm12017-02-06 12:44 1.5K 
[ ]trees_a__346_10.min1.thm12017-02-06 12:44 587  
[ ]trees_a__347_21.min1.thm12017-02-06 12:44 1.5K 
[ ]trees_a__365_44.min1.thm12017-02-06 12:44 249  
[ ]trees_a__367_48.min1.thm12017-02-06 12:44 1.1K 
[ ]trees_a__368_21.min1.thm12017-02-06 12:44 1.1K 
[ ]trees_a__372_42.min1.thm12017-02-06 12:44 247  
[ ]trees_a__374_46.min1.thm12017-02-06 12:44 1.1K 
[ ]trees_a__375_19.min1.thm12017-02-06 12:44 1.1K 
[ ]trees_a__393_50.min1.thm12017-02-06 12:44 956  
[ ]trees_a__397_12.min1.thm12017-02-06 12:44 585  
[ ]trees_a__399_39.min1.thm12017-02-06 12:44 1.5K 
[ ]trees_a__416_73.min1.thm12017-02-06 12:44 801  
[ ]trees_a__417_19.min1.thm12017-02-06 12:44 1.8K 
[ ]trees_a__419_17.min1.thm12017-02-06 12:44 881  
[ ]trees_a__433_49.min1.thm12017-02-06 12:44 793  
[ ]trees_a__437_32.min1.thm12017-02-06 12:44 445  
[ ]trees_a__438_43.min1.thm12017-02-06 12:44 338  
[ ]trees_a__438_43.min1.thm1.tptp2017-02-06 16:46 262  
[ ]trees_a__453_10.min1.thm12017-02-06 12:44 583  
[ ]trees_a__455_13.min1.thm12017-02-06 12:44 754  
[ ]trees_a__459_15.min1.thm12017-02-06 12:44 203  
[ ]trees_a__462_44.min1.thm12017-02-06 12:44 329  
[ ]trees_a__462_44.min1.thm1.tptp2017-02-06 16:46 247  
[ ]trees_a__466_40.min1.thm12017-02-06 12:44 1.0K 
[ ]trees_a__467_47.min1.thm12017-02-06 12:44 394  
[ ]trees_a__467_47.min1.thm1.tptp2017-02-06 16:46 315  
[ ]trees_a__470_19.min1.thm12017-02-06 12:44 542  
[ ]trees_a__489_29.min1.thm12017-02-06 12:44 775  
[ ]trees_a__491_25.min1.thm12017-02-06 12:44 586  
[ ]trees_a__499_61.min1.thm12017-02-06 12:44 807  
[ ]trees_a__504_45.min1.thm12017-02-06 12:44 485  
[ ]trees_a__505_20.min1.thm12017-02-06 12:44 407  
[ ]trees_a__505_20.min1.thm1.tptp2017-02-06 16:46 335  
[ ]trees_a__508_39.min1.thm12017-02-06 12:44 276  
[ ]trees_a__515_21.min1.thm12017-02-06 12:44 556  
[ ]trees_a__522_56.min1.thm12017-02-06 12:44 529  
[ ]trees_a__522_56.min1.thm1.tptp2017-02-06 16:46 465  
[ ]trees_a__527_58.min1.thm12017-02-06 12:44 490  
[ ]trees_a__534_33.min1.thm12017-02-06 12:44 797  
[ ]trees_a__537_17.min1.thm12017-02-06 12:44 1.1K 
[ ]trees_a__549_10.min1.thm12017-02-06 12:44 583  
[ ]trees_a__551_12.min1.thm12017-02-06 12:44 760  
[ ]trees_a__552_17.min1.thm12017-02-06 12:44 404  
[ ]trees_a__552_17.min1.thm1.tptp2017-02-06 16:46 329  
[ ]trees_a__554_16.min1.thm12017-02-06 12:44 572  
[ ]trees_a__555_12.min1.thm12017-02-06 12:44 1.5K 
[ ]trees_a__558_6.min1.thm12017-02-06 12:44 1.1K 
[ ]trees_a__560_17.min1.thm12017-02-06 12:44 445  
[ ]trees_a__560_17.min1.thm1.tptp2017-02-06 16:46 381  
[ ]trees_a__572_68.min1.thm12017-02-06 12:44 851  
[ ]trees_a__581_70.min1.thm12017-02-06 12:44 940  
[ ]trees_a__582_14.min1.thm12017-02-06 12:44 217  
[ ]trees_a__586_10.min1.thm12017-02-06 12:44 652  
[ ]trees_a__590_10.min1.thm12017-02-06 12:44 909  
[ ]trees_a__594_21.min1.thm12017-02-06 12:44 598  
[ ]trees_a__594_21.min1.thm1.tptp2017-02-06 16:46 536  
[ ]trees_a__607_67.min1.thm12017-02-06 12:44 574  
[ ]trees_a__612_77.min1.thm12017-02-06 12:44 406  
[ ]trees_a__619_77.min1.thm12017-02-06 12:44 420  
[ ]trees_a__624_76.min1.thm12017-02-06 12:44 480  
[ ]trees_a__627_19.min1.thm12017-02-06 12:44 588  
[ ]trees_a__627_19.min1.thm1.tptp2017-02-06 16:46 526  
[ ]trees_a__629_16.min1.thm12017-02-06 12:44 932  
[ ]trees_a__640_9.min1.thm12017-02-06 12:44 247  
[ ]trees_a__642_15.min1.thm12017-02-06 12:44 255  
[ ]trees_a__643_14.min1.thm12017-02-06 12:44 469  
[ ]trees_a__644_11.min1.thm12017-02-06 12:44 1.2K 
[ ]trees_a__645_19.min1.thm12017-02-06 12:44 755  
[ ]trees_a__647_29.min1.thm12017-02-06 12:44 1.7K 
[ ]trees_a__652_28.min1.thm12017-02-06 12:44 1.9K 
[ ]trees_a__653_19.min1.thm12017-02-06 12:44 1.7K 
[ ]trees_a__658_31.min1.thm12017-02-06 12:44 1.7K 
[ ]trees_a__662_39.min1.thm12017-02-06 12:44 521  
[ ]trees_a__663_25.min1.thm12017-02-06 12:44 1.3K 
[ ]trees_a__664_17.min1.thm12017-02-06 12:44 514  
[ ]trees_a__665_22.min1.thm12017-02-06 12:44 1.1K 
[ ]trees_a__666_16.min1.thm12017-02-06 12:44 1.5K 
[ ]trees_a__667_21.min1.thm12017-02-06 12:44 457  
[ ]trees_a__676_37.min1.thm12017-02-06 12:44 1.0K 
[ ]trees_a__679_21.min1.thm12017-02-06 12:44 1.5K 
[ ]trees_a__692_11.min1.thm12017-02-06 12:44 176  
[ ]trees_a__693_38.min1.thm12017-02-06 12:44 1.0K 
[ ]trees_a__698_16.min1.thm12017-02-06 12:44 457  
[ ]trees_a__699_18.min1.thm12017-02-06 12:44 700  
[ ]trees_a__701_54.min1.thm12017-02-06 12:44 552  
[ ]trees_a__703_18.min1.thm12017-02-06 12:44 400  
[ ]trees_a__711_16.min1.thm12017-02-06 12:44 479  
[ ]trees_a__725_14.min1.thm12017-02-06 12:44 737  
[ ]trees_a__726_53.min1.thm12017-02-06 12:44 828  
[ ]trees_a__731_11.min1.thm12017-02-06 12:44 940  
[ ]trees_a__732_40.min1.thm12017-02-06 12:44 556  
[ ]trees_a__732_40.min1.thm1.tptp2017-02-06 16:46 488  
[ ]trees_a__740_4.min1.thm12017-02-06 12:44 925  
[ ]trees_a__747_13.min1.thm12017-02-06 12:44 737  
[ ]trees_a__748_21.min1.thm12017-02-06 12:44 580  
[ ]trees_a__748_21.min1.thm1.tptp2017-02-06 16:46 510  
[ ]trees_a__785_60.min1.thm12017-02-06 12:44 925  
[ ]trees_a__787_62.min1.thm12017-02-06 12:44 618  
[ ]trees_a__787_62.min1.thm1.tptp2017-02-06 16:46 560  
[ ]trees_a__788_20.min1.thm12017-02-06 12:44 756  
[ ]trees_a__795_23.min1.thm12017-02-06 12:44 1.1K 
[ ]trees_a__798_62.min1.thm12017-02-06 12:44 1.8K 
[ ]trees_a__799_20.min1.thm12017-02-06 12:44 1.0K 
[ ]trees_a__825_20.min1.thm12017-02-06 12:44 1.5K 
[ ]trees_a__829_24.min1.thm12017-02-06 12:44 1.5K 
[ ]trees_a__833_23.min1.thm12017-02-06 12:44 384  
[ ]trees_a__834_23.min1.thm12017-02-06 12:44 808  
[ ]trees_a__835_54.min1.thm12017-02-06 12:44 1.0K 
[ ]trees_a__836_29.min1.thm12017-02-06 12:44 736  
[ ]trees_a__837_28.min1.thm12017-02-06 12:44 841  
[ ]trees_a__845_40.min1.thm12017-02-06 12:44 750  
[ ]trees_a__846_36.min1.thm12017-02-06 12:44 679  
[ ]trees_a__857_22.min1.thm12017-02-06 12:44 738  
[ ]trees_a__859_24.min1.thm12017-02-06 12:44 1.5K 
[ ]trees_a__863_41.min1.thm12017-02-06 12:44 655  
[ ]trees_a__872_26.min1.thm12017-02-06 12:44 750  
[ ]trees_a__876_38.min1.thm12017-02-06 12:44 1.7K 
[ ]trees_a__886_19.min1.thm12017-02-06 12:44 1.2K 
[ ]trees_a__899_34.min1.thm12017-02-06 12:44 1.8K 
[ ]trees_a__929_34.min1.thm12017-02-06 12:44 897  
[ ]trees_a__934_13.min1.thm12017-02-06 12:44 370  
[ ]trees_a__935_14.min1.thm12017-02-06 12:44 794  
[ ]trees_a__936_44.min1.thm12017-02-06 12:44 968  
[ ]trees_a__937_16.min1.thm12017-02-06 12:44 680  
[ ]trees_a__938_19.min1.thm12017-02-06 12:44 767  
[ ]trees_a__944_37.min1.thm12017-02-06 12:44 774  
[ ]trees_a__945_26.min1.thm12017-02-06 12:44 527  
[ ]trees_a__964_16.min1.thm12017-02-06 12:44 460  
[ ]trees_a__968_68.min1.thm12017-02-06 12:44 771  
[ ]trees_a__988_14.min1.thm12017-02-06 12:44 1.1K 
[ ]trees_a__991_29.min1.thm12017-02-06 12:44 1.0K 
[ ]trees_a__994_19.min1.thm12017-02-06 12:44 1.0K 
[ ]trees_a__1002_25.min1.thm12017-02-06 12:44 774  
[ ]trees_a__1005_15.min1.thm12017-02-06 12:44 1.1K 
[ ]trees_a__1012_19.min1.thm12017-02-06 12:44 1.6K 
[ ]trees_a__1031_51.min1.thm12017-02-06 12:44 797  
[ ]trees_a__1036_16.min1.thm12017-02-06 12:44 1.2K 
[ ]trees_a__1043_50.min1.thm12017-02-06 12:44 2.4K 
[ ]trees_a__1044_43.min1.thm12017-02-06 12:44 1.0K 
[ ]trees_a__1057_16.min1.thm12017-02-06 12:44 885  
[ ]trees_a__1063_53.min1.thm12017-02-06 12:44 1.0K 
[ ]trees_a__1065_11.min1.thm12017-02-06 12:44 670  
[ ]trees_a__1066_13.min1.thm12017-02-06 12:44 1.0K 
[ ]trees_a__1067_36.min1.thm12017-02-06 12:44 578  
[ ]trees_a__1070_50.min1.thm12017-02-06 12:44 2.2K 
[ ]trees_a__1080_58.min1.thm12017-02-06 12:44 1.1K 
[ ]trees_a__1085_15.min1.thm12017-02-06 12:44 1.0K 
[ ]trees_a__1086_14.min1.thm12017-02-06 12:44 1.0K 
[ ]trees_a__1114_17.min1.thm12017-02-06 12:44 1.3K 
[ ]trees_a__1115_28.min1.thm12017-02-06 12:44 1.5K 
[ ]trees_a__1116_49.min1.thm12017-02-06 12:44 1.3K 
[ ]trees_a__1117_35.min1.thm12017-02-06 12:44 1.8K 
[ ]trees_a__1122_18.min1.thm12017-02-06 12:44 946  
[ ]trees_a__1129_42.min1.thm12017-02-06 12:44 1.1K 
[ ]trees_a__1130_26.min1.thm12017-02-06 12:44 944  
[ ]trees_a__1132_25.min1.thm12017-02-06 12:44 1.0K 
[ ]trees_a__1133_17.min1.thm12017-02-06 12:44 463  
[ ]trees_a__1133_17.min1.thm1.tptp2017-02-06 16:46 389  
[ ]trees_a__1134_23.min1.thm12017-02-06 12:44 751  
[ ]trees_a__1141_23.min1.thm12017-02-06 12:44 1.6K 
[ ]trees_a__1144_16.min1.thm12017-02-06 12:44 1.2K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80