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