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