Index of /~mptp/1147/MPTP2/ilp0/trees_1
Name
Last modified
Size
Description
Parent Directory
-
trees_1__64_22.min1.thm1
2017-02-06 12:45
573
trees_1__65_39.min1.thm1
2017-02-06 12:45
468
trees_1__67_20.min1.thm1
2017-02-06 12:45
1.0K
trees_1__69_18.min1.thm1
2017-02-06 12:45
466
trees_1__69_18.min1.thm1.tptp
2017-02-06 16:46
397
trees_1__86_35.min1.thm1
2017-02-06 12:45
1.2K
trees_1__98_14.min1.thm1
2017-02-06 12:45
774
trees_1__99_25.min1.thm1
2017-02-06 12:45
839
trees_1__101_17.min1.thm1
2017-02-06 12:45
562
trees_1__111_33.min1.thm1
2017-02-06 12:45
622
trees_1__112_25.min1.thm1
2017-02-06 12:45
847
trees_1__113_15.min1.thm1
2017-02-06 12:45
587
trees_1__114_19.min1.thm1
2017-02-06 12:45
643
trees_1__116_13.min1.thm1
2017-02-06 12:45
285
trees_1__129_33.min1.thm1
2017-02-06 12:45
599
trees_1__131_16.min1.thm1
2017-02-06 12:45
906
trees_1__132_15.min1.thm1
2017-02-06 12:45
430
trees_1__133_17.min1.thm1
2017-02-06 12:45
377
trees_1__143_14.min1.thm1
2017-02-06 12:45
314
trees_1__146_19.min1.thm1
2017-02-06 12:45
564
trees_1__150_19.min1.thm1
2017-02-06 12:45
564
trees_1__161_33.min1.thm1
2017-02-06 12:45
620
trees_1__162_25.min1.thm1
2017-02-06 12:45
1.2K
trees_1__163_18.min1.thm1
2017-02-06 12:45
585
trees_1__164_19.min1.thm1
2017-02-06 12:45
639
trees_1__174_23.min1.thm1
2017-02-06 12:45
524
trees_1__175_26.min1.thm1
2017-02-06 12:45
338
trees_1__175_26.min1.thm1.tptp
2017-02-06 16:46
264
trees_1__176_17.min1.thm1
2017-02-06 12:45
1.1K
trees_1__184_23.min1.thm1
2017-02-06 12:45
1.6K
trees_1__185_22.min1.thm1
2017-02-06 12:45
1.1K
trees_1__186_31.min1.thm1
2017-02-06 12:45
1.2K
trees_1__188_40.min1.thm1
2017-02-06 12:45
1.4K
trees_1__189_37.min1.thm1
2017-02-06 12:45
930
trees_1__190_29.min1.thm1
2017-02-06 12:45
735
trees_1__200_17.min1.thm1
2017-02-06 12:45
788
trees_1__201_28.min1.thm1
2017-02-06 12:45
1.1K
trees_1__202_37.min1.thm1
2017-02-06 12:45
1.3K
trees_1__204_40.min1.thm1
2017-02-06 12:45
916
trees_1__205_37.min1.thm1
2017-02-06 12:45
930
trees_1__206_29.min1.thm1
2017-02-06 12:45
735
trees_1__217_32.min1.thm1
2017-02-06 12:45
1.3K
trees_1__218_30.min1.thm1
2017-02-06 12:45
1.7K
trees_1__221_25.min1.thm1
2017-02-06 12:45
1.9K
trees_1__223_17.min1.thm1
2017-02-06 12:45
914
trees_1__232_33.min1.thm1
2017-02-06 12:45
927
trees_1__234_33.min1.thm1
2017-02-06 12:45
770
trees_1__259_32.min1.thm1
2017-02-06 12:45
531
trees_1__263_25.min1.thm1
2017-02-06 12:45
346
trees_1__263_25.min1.thm1.tptp
2017-02-06 16:46
272
trees_1__264_31.min1.thm1
2017-02-06 12:45
798
trees_1__265_22.min1.thm1
2017-02-06 12:45
572
trees_1__266_44.min1.thm1
2017-02-06 12:45
678
trees_1__267_14.min1.thm1
2017-02-06 12:45
492
trees_1__268_19.min1.thm1
2017-02-06 12:45
890
trees_1__278_23.min1.thm1
2017-02-06 12:45
442
trees_1__279_23.min1.thm1
2017-02-06 12:45
442
trees_1__290_64.min1.thm1
2017-02-06 12:45
664
trees_1__291_14.min1.thm1
2017-02-06 12:45
349
trees_1__303_63.min1.thm1
2017-02-06 12:45
789
trees_1__304_16.min1.thm1
2017-02-06 12:45
310
trees_1__306_16.min1.thm1
2017-02-06 12:45
690
trees_1__314_35.min1.thm1
2017-02-06 12:45
691
trees_1__315_17.min1.thm1
2017-02-06 12:45
1.0K
trees_1__325_27.min1.thm1
2017-02-06 12:45
927
trees_1__326_31.min1.thm1
2017-02-06 12:45
1.1K
trees_1__327_34.min1.thm1
2017-02-06 12:45
477
trees_1__328_17.min1.thm1
2017-02-06 12:45
691
trees_1__335_37.min1.thm1
2017-02-06 12:45
2.2K
trees_1__336_30.min1.thm1
2017-02-06 12:45
1.6K
trees_1__351_36.min1.thm1
2017-02-06 12:45
816
trees_1__352_24.min1.thm1
2017-02-06 12:45
1.1K
trees_1__353_27.min1.thm1
2017-02-06 12:45
2.0K
trees_1__355_19.min1.thm1
2017-02-06 12:45
399
trees_1__359_18.min1.thm1
2017-02-06 12:45
323
trees_1__359_18.min1.thm1.tptp
2017-02-06 16:46
258
trees_1__360_27.min1.thm1
2017-02-06 12:45
234
trees_1__361_39.min1.thm1
2017-02-06 12:45
554
trees_1__362_17.min1.thm1
2017-02-06 12:45
1.1K
trees_1__374_41.min1.thm1
2017-02-06 12:45
590
trees_1__375_29.min1.thm1
2017-02-06 12:45
756
trees_1__376_34.min1.thm1
2017-02-06 12:45
421
trees_1__377_17.min1.thm1
2017-02-06 12:45
756
trees_1__387_69.min1.thm1
2017-02-06 12:45
785
trees_1__390_69.min1.thm1
2017-02-06 12:45
785
trees_1__391_22.min1.thm1
2017-02-06 12:45
396
trees_1__391_22.min1.thm1.tptp
2017-02-06 16:46
331
trees_1__393_18.min1.thm1
2017-02-06 12:45
766
trees_1__394_22.min1.thm1
2017-02-06 12:45
396
trees_1__394_22.min1.thm1.tptp
2017-02-06 16:46
331
trees_1__396_18.min1.thm1
2017-02-06 12:45
766
trees_1__400_23.min1.thm1
2017-02-06 12:45
708
trees_1__401_20.min1.thm1
2017-02-06 12:45
827
trees_1__402_27.min1.thm1
2017-02-06 12:45
1.0K
trees_1__403_19.min1.thm1
2017-02-06 12:45
342
trees_1__403_19.min1.thm1.tptp
2017-02-06 16:46
268
trees_1__408_23.min1.thm1
2017-02-06 12:45
708
trees_1__409_20.min1.thm1
2017-02-06 12:45
827
trees_1__410_27.min1.thm1
2017-02-06 12:45
1.0K
trees_1__411_19.min1.thm1
2017-02-06 12:45
342
trees_1__411_19.min1.thm1.tptp
2017-02-06 16:46
268
trees_1__413_17.min1.thm1
2017-02-06 12:45
908
trees_1__436_20.min1.thm1
2017-02-06 12:45
347
trees_1__436_20.min1.thm1.tptp
2017-02-06 16:46
282
trees_1__437_21.min1.thm1
2017-02-06 12:45
412
trees_1__443_20.min1.thm1
2017-02-06 12:45
347
trees_1__443_20.min1.thm1.tptp
2017-02-06 16:46
282
trees_1__444_21.min1.thm1
2017-02-06 12:45
392
trees_1__446_18.min1.thm1
2017-02-06 12:45
2.0K
trees_1__455_15.min1.thm1
2017-02-06 12:45
548
trees_1__468_14.min1.thm1
2017-02-06 12:45
717
trees_1__468_14.min1.thm1.tptp
2017-02-06 16:46
679
trees_1__469_17.min1.thm1
2017-02-06 12:45
856
trees_1__475_14.min1.thm1
2017-02-06 12:45
585
trees_1__485_37.min1.thm1
2017-02-06 12:45
543
trees_1__486_28.min1.thm1
2017-02-06 12:45
1.1K
trees_1__487_38.min1.thm1
2017-02-06 12:45
362
trees_1__487_38.min1.thm1.tptp
2017-02-06 16:46
290
trees_1__488_39.min1.thm1
2017-02-06 12:45
755
trees_1__489_17.min1.thm1
2017-02-06 12:45
1.0K
trees_1__498_50.min1.thm1
2017-02-06 12:45
588
trees_1__499_53.min1.thm1
2017-02-06 12:45
1.9K
trees_1__500_25.min1.thm1
2017-02-06 12:45
1.1K
trees_1__502_25.min1.thm1
2017-02-06 12:45
2.1K
trees_1__506_26.min1.thm1
2017-02-06 12:45
1.5K
trees_1__507_21.min1.thm1
2017-02-06 12:45
1.1K
trees_1__515_34.min1.thm1
2017-02-06 12:45
399
trees_1__516_33.min1.thm1
2017-02-06 12:45
1.0K
trees_1__517_25.min1.thm1
2017-02-06 12:45
1.0K
trees_1__518_19.min1.thm1
2017-02-06 12:45
740
trees_1__520_17.min1.thm1
2017-02-06 12:45
468
trees_1__526_57.min1.thm1
2017-02-06 12:45
513
trees_1__527_10.min1.thm1
2017-02-06 12:45
679
trees_1__529_16.min1.thm1
2017-02-06 12:45
857
trees_1__530_16.min1.thm1
2017-02-06 12:45
289
trees_1__530_16.min1.thm1.tptp
2017-02-06 16:46
215
trees_1__531_19.min1.thm1
2017-02-06 12:45
1.4K
trees_1__535_16.min1.thm1
2017-02-06 12:45
325
trees_1__535_16.min1.thm1.tptp
2017-02-06 16:46
238
trees_1__543_29.min1.thm1
2017-02-06 12:45
868
trees_1__544_22.min1.thm1
2017-02-06 12:45
461
trees_1__544_22.min1.thm1.tptp
2017-02-06 16:46
390
trees_1__549_31.min1.thm1
2017-02-06 12:45
473
trees_1__549_31.min1.thm1.tptp
2017-02-06 16:46
411
trees_1__551_56.min1.thm1
2017-02-06 12:45
1.1K
trees_1__552_25.min1.thm1
2017-02-06 12:45
435
trees_1__552_25.min1.thm1.tptp
2017-02-06 16:46
361
trees_1__553_21.min1.thm1
2017-02-06 12:45
654
trees_1__559_36.min1.thm1
2017-02-06 12:45
667
trees_1__559_36.min1.thm1.tptp
2017-02-06 16:46
605
trees_1__561_19.min1.thm1
2017-02-06 12:45
667
trees_1__561_19.min1.thm1.tptp
2017-02-06 16:46
605
trees_1__570_33.min1.thm1
2017-02-06 12:45
869
trees_1__571_24.min1.thm1
2017-02-06 12:45
468
trees_1__571_24.min1.thm1.tptp
2017-02-06 16:46
397
trees_1__578_17.min1.thm1
2017-02-06 12:45
432
trees_1__578_17.min1.thm1.tptp
2017-02-06 16:46
370
trees_1__579_18.min1.thm1
2017-02-06 12:45
525
trees_1__580_32.min1.thm1
2017-02-06 12:45
915
trees_1__581_33.min1.thm1
2017-02-06 12:45
915
trees_1__582_23.min1.thm1
2017-02-06 12:45
541
trees_1__588_22.min1.thm1
2017-02-06 12:45
564
trees_1__588_22.min1.thm1.tptp
2017-02-06 16:46
502
trees_1__589_23.min1.thm1
2017-02-06 12:45
657
trees_1__592_21.min1.thm1
2017-02-06 12:45
720
trees_1__594_25.min1.thm1
2017-02-06 12:45
534
trees_1__595_19.min1.thm1
2017-02-06 12:45
632
trees_1__600_17.min1.thm1
2017-02-06 12:45
525
trees_1__600_17.min1.thm1.tptp
2017-02-06 16:46
480
trees_1__603_17.min1.thm1
2017-02-06 12:45
463
trees_1__614_15.min1.thm1
2017-02-06 12:45
225
trees_1__621_26.min1.thm1
2017-02-06 12:45
706
trees_1__624_24.min1.thm1
2017-02-06 12:45
609
trees_1__624_24.min1.thm1.tptp
2017-02-06 16:46
569
trees_1__645_43.min1.thm1
2017-02-06 12:45
529
trees_1__645_43.min1.thm1.tptp
2017-02-06 16:46
467
trees_1__646_21.min1.thm1
2017-02-06 12:45
334
trees_1__646_21.min1.thm1.tptp
2017-02-06 16:46
254
trees_1__649_41.min1.thm1
2017-02-06 12:45
642
trees_1__650_25.min1.thm1
2017-02-06 12:45
820
trees_1__652_23.min1.thm1
2017-02-06 12:45
696
trees_1__659_43.min1.thm1
2017-02-06 12:45
529
trees_1__659_43.min1.thm1.tptp
2017-02-06 16:46
467
trees_1__660_19.min1.thm1
2017-02-06 12:45
280
trees_1__663_40.min1.thm1
2017-02-06 12:45
642
trees_1__664_38.min1.thm1
2017-02-06 12:45
803
trees_1__665_25.min1.thm1
2017-02-06 12:45
511
trees_1__667_23.min1.thm1
2017-02-06 12:45
1.0K
trees_1__673_8.min1.thm1
2017-02-06 12:45
729
trees_1__673_8.min1.thm1.tptp
2017-02-06 16:46
667
trees_1__678_13.min1.thm1
2017-02-06 12:45
1.0K
trees_1__679_33.min1.thm1
2017-02-06 12:45
2.2K
trees_1__681_32.min1.thm1
2017-02-06 12:45
1.7K
trees_1__682_20.min1.thm1
2017-02-06 12:45
917
trees_1__683_24.min1.thm1
2017-02-06 12:45
1.1K
trees_1__686_24.min1.thm1
2017-02-06 12:45
1.4K
trees_1__687_14.min1.thm1
2017-02-06 12:45
1.1K
trees_1__688_68.min1.thm1
2017-02-06 12:45
896
trees_1__689_21.min1.thm1
2017-02-06 12:45
604
trees_1__689_21.min1.thm1.tptp
2017-02-06 16:46
542
trees_1__691_16.min1.thm1
2017-02-06 12:45
781
trees_1__715_26.min1.thm1
2017-02-06 12:45
936
trees_1__716_25.min1.thm1
2017-02-06 12:45
1.4K
trees_1__718_23.min1.thm1
2017-02-06 12:45
1.4K
trees_1__727_28.min1.thm1
2017-02-06 12:45
642
trees_1__728_35.min1.thm1
2017-02-06 12:45
138
trees_1__730_24.min1.thm1
2017-02-06 12:45
759
trees_1__735_33.min1.thm1
2017-02-06 12:45
138
trees_1__737_24.min1.thm1
2017-02-06 12:45
707
trees_1__751_60.min1.thm1
2017-02-06 12:45
857
trees_1__751_60.min1.thm1.tptp
2017-02-06 16:46
826
trees_1__752_60.min1.thm1
2017-02-06 12:45
857
trees_1__752_60.min1.thm1.tptp
2017-02-06 16:46
826
trees_1__775_24.min1.thm1
2017-02-06 12:45
534
trees_1__782_18.min1.thm1
2017-02-06 12:45
648
trees_1__783_15.min1.thm1
2017-02-06 12:45
1.0K
trees_1__784_29.min1.thm1
2017-02-06 12:45
1.5K
trees_1__790_12.min1.thm1
2017-02-06 12:45
1.0K
trees_1__792_30.min1.thm1
2017-02-06 12:45
1.4K
trees_1__793_34.min1.thm1
2017-02-06 12:45
1.1K
trees_1__794_22.min1.thm1
2017-02-06 12:45
1.6K
trees_1__795_41.min1.thm1
2017-02-06 12:45
2.4K
trees_1__803_45.min1.thm1
2017-02-06 12:45
1.4K
trees_1__804_15.min1.thm1
2017-02-06 12:45
1.2K
trees_1__805_17.min1.thm1
2017-02-06 12:45
1.5K
trees_1__806_16.min1.thm1
2017-02-06 12:45
268
trees_1__807_22.min1.thm1
2017-02-06 12:45
700
trees_1__808_20.min1.thm1
2017-02-06 12:45
793
trees_1__808_20.min1.thm1.tptp
2017-02-06 16:46
762
trees_1__809_24.min1.thm1
2017-02-06 12:45
1.5K
trees_1__812_20.min1.thm1
2017-02-06 12:45
1.4K
trees_1__814_18.min1.thm1
2017-02-06 12:45
1.4K
trees_1__815_41.min1.thm1
2017-02-06 12:45
480
trees_1__816_19.min1.thm1
2017-02-06 12:45
1.7K
trees_1__817_20.min1.thm1
2017-02-06 12:45
2.4K
trees_1__818_17.min1.thm1
2017-02-06 12:45
1.4K
trees_1__819_61.min1.thm1
2017-02-06 12:45
685
trees_1__820_27.min1.thm1
2017-02-06 12:45
689
trees_1__821_28.min1.thm1
2017-02-06 12:45
1.0K
trees_1__821_28.min1.thm1.tptp
2017-02-06 16:46
946
trees_1__823_27.min1.thm1
2017-02-06 12:45
1.1K
trees_1__825_21.min1.thm1
2017-02-06 12:45
1.4K
trees_1__827_19.min1.thm1
2017-02-06 12:45
1.3K
trees_1__835_59.min1.thm1
2017-02-06 12:45
637
trees_1__836_17.min1.thm1
2017-02-06 12:45
656
trees_1__845_54.min1.thm1
2017-02-06 12:45
463
trees_1__846_31.min1.thm1
2017-02-06 12:45
482
trees_1__846_31.min1.thm1.tptp
2017-02-06 16:46
417
trees_1__849_14.min1.thm1
2017-02-06 12:45
1.4K
trees_1__856_44.min1.thm1
2017-02-06 12:45
750
trees_1__857_57.min1.thm1
2017-02-06 12:45
583
trees_1__857_57.min1.thm1.tptp
2017-02-06 16:46
531
trees_1__858_17.min1.thm1
2017-02-06 12:45
718
trees_1__879_20.min1.thm1
2017-02-06 12:45
478
trees_1__881_36.min1.thm1
2017-02-06 12:45
359
trees_1__881_36.min1.thm1.tptp
2017-02-06 16:46
281
trees_1__886_8.min1.thm1
2017-02-06 12:45
733
trees_1__891_58.min1.thm1
2017-02-06 12:45
417
trees_1__892_19.min1.thm1
2017-02-06 12:45
845
trees_1__899_16.min1.thm1
2017-02-06 12:45
721
trees_1__899_16.min1.thm1.tptp
2017-02-06 16:46
683
trees_1__900_22.min1.thm1
2017-02-06 12:45
560
trees_1__901_17.min1.thm1
2017-02-06 12:45
560
trees_1__908_54.min1.thm1
2017-02-06 12:45
925
trees_1__909_53.min1.thm1
2017-02-06 12:45
736
trees_1__910_23.min1.thm1
2017-02-06 12:45
1.2K
trees_1__914_52.min1.thm1
2017-02-06 12:45
921
trees_1__915_51.min1.thm1
2017-02-06 12:45
722
trees_1__916_22.min1.thm1
2017-02-06 12:45
1.2K
trees_1__918_19.min1.thm1
2017-02-06 12:45
438
trees_1__918_19.min1.thm1.tptp
2017-02-06 16:46
386
trees_1__931_53.min1.thm1
2017-02-06 12:45
1.7K
trees_1__933_41.min1.thm1
2017-02-06 12:45
901
trees_1__937_20.min1.thm1
2017-02-06 12:45
552
trees_1__937_20.min1.thm1.tptp
2017-02-06 16:46
492
trees_1__948_36.min1.thm1
2017-02-06 12:45
1.0K
trees_1__949_25.min1.thm1
2017-02-06 12:45
374
trees_1__949_25.min1.thm1.tptp
2017-02-06 16:46
300
trees_1__950_35.min1.thm1
2017-02-06 12:45
1.1K
trees_1__951_50.min1.thm1
2017-02-06 12:45
1.0K
trees_1__953_18.min1.thm1
2017-02-06 12:45
1.7K
trees_1__954_19.min1.thm1
2017-02-06 12:45
701
trees_1__955_18.min1.thm1
2017-02-06 12:45
1.8K
trees_1__957_43.min1.thm1
2017-02-06 12:45
1.7K
trees_1__958_23.min1.thm1
2017-02-06 12:45
1.0K
trees_1__966_21.min1.thm1
2017-02-06 12:45
1.4K
trees_1__971_27.min1.thm1
2017-02-06 12:45
925
trees_1__976_35.min1.thm1
2017-02-06 12:45
730
trees_1__979_65.min1.thm1
2017-02-06 12:45
708
trees_1__981_19.min1.thm1
2017-02-06 12:45
866
trees_1__994_54.min1.thm1
2017-02-06 12:45
576
trees_1__995_15.min1.thm1
2017-02-06 12:45
663
trees_1__996_23.min1.thm1
2017-02-06 12:45
663
trees_1__1000_52.min1.thm1
2017-02-06 12:45
572
trees_1__1001_13.min1.thm1
2017-02-06 12:45
649
trees_1__1002_22.min1.thm1
2017-02-06 12:45
649
trees_1__1004_19.min1.thm1
2017-02-06 12:45
438
trees_1__1004_19.min1.thm1.tptp
2017-02-06 16:46
386
trees_1__1011_19.min1.thm1
2017-02-06 12:45
538
trees_1__1016_51.min1.thm1
2017-02-06 12:45
1.1K
trees_1__1017_12.min1.thm1
2017-02-06 12:45
1.5K
trees_1__1022_39.min1.thm1
2017-02-06 12:45
543
trees_1__1023_12.min1.thm1
2017-02-06 12:45
1.0K
trees_1__1035_21.min1.thm1
2017-02-06 12:45
520
trees_1__1035_21.min1.thm1.tptp
2017-02-06 16:46
456
trees_1__1042_19.min1.thm1
2017-02-06 12:45
680
trees_1__1043_54.min1.thm1
2017-02-06 12:45
648
trees_1__1044_35.min1.thm1
2017-02-06 12:45
745
trees_1__1044_35.min1.thm1.tptp
2017-02-06 16:46
711
trees_1__1045_18.min1.thm1
2017-02-06 12:45
770
trees_1__1059_17.min1.thm1
2017-02-06 12:45
636
trees_1__1063_10.min1.thm1
2017-02-06 12:45
1.4K
trees_1__1075_54.min1.thm1
2017-02-06 12:45
1.1K
trees_1__1076_15.min1.thm1
2017-02-06 12:45
1.7K
trees_1__1080_15.min1.thm1
2017-02-06 12:45
1.3K
trees_1__1082_23.min1.thm1
2017-02-06 12:45
1.2K
trees_1__1084_20.min1.thm1
2017-02-06 12:45
844
trees_1__1086_16.min1.thm1
2017-02-06 12:45
272
trees_1__1100_18.min1.thm1
2017-02-06 12:45
727
trees_1__1111_15.min1.thm1
2017-02-06 12:45
240
trees_1__1127_40.min1.thm1
2017-02-06 12:45
547
trees_1__1128_31.min1.thm1
2017-02-06 12:45
326
trees_1__1128_31.min1.thm1.tptp
2017-02-06 16:46
244
trees_1__1129_48.min1.thm1
2017-02-06 12:45
831
trees_1__1131_61.min1.thm1
2017-02-06 12:45
527
trees_1__1136_56.min1.thm1
2017-02-06 12:45
731
trees_1__1137_35.min1.thm1
2017-02-06 12:45
534
trees_1__1138_20.min1.thm1
2017-02-06 12:45
1.0K
trees_1__1147_56.min1.thm1
2017-02-06 12:45
680
trees_1__1150_54.min1.thm1
2017-02-06 12:45
765
trees_1__1151_39.min1.thm1
2017-02-06 12:45
858
trees_1__1153_23.min1.thm1
2017-02-06 12:45
952
trees_1__1161_59.min1.thm1
2017-02-06 12:45
743
trees_1__1162_38.min1.thm1
2017-02-06 12:45
1.2K
trees_1__1170_41.min1.thm1
2017-02-06 12:45
1.0K
trees_1__1171_44.min1.thm1
2017-02-06 12:45
944
trees_1__1172_41.min1.thm1
2017-02-06 12:45
652
trees_1__1174_47.min1.thm1
2017-02-06 12:45
1.0K
trees_1__1175_27.min1.thm1
2017-02-06 12:45
615
trees_1__1181_27.min1.thm1
2017-02-06 12:45
765
trees_1__1187_51.min1.thm1
2017-02-06 12:45
1.0K
trees_1__1188_38.min1.thm1
2017-02-06 12:45
1.4K
trees_1__1189_36.min1.thm1
2017-02-06 12:45
476
trees_1__1189_36.min1.thm1.tptp
2017-02-06 16:46
402
trees_1__1196_28.min1.thm1
2017-02-06 12:45
1.6K
trees_1__1199_35.min1.thm1
2017-02-06 12:45
1.5K
trees_1__1202_52.min1.thm1
2017-02-06 12:45
1.9K
trees_1__1203_21.min1.thm1
2017-02-06 12:45
1.0K
trees_1__1204_60.min1.thm1
2017-02-06 12:45
868
trees_1__1205_29.min1.thm1
2017-02-06 12:45
714
trees_1__1210_33.min1.thm1
2017-02-06 12:45
759
trees_1__1211_34.min1.thm1
2017-02-06 12:45
863
trees_1__1215_52.min1.thm1
2017-02-06 12:45
564
trees_1__1216_46.min1.thm1
2017-02-06 12:45
1.7K
trees_1__1217_56.min1.thm1
2017-02-06 12:45
929
trees_1__1218_29.min1.thm1
2017-02-06 12:45
834
trees_1__1223_23.min1.thm1
2017-02-06 12:45
959
trees_1__1231_51.min1.thm1
2017-02-06 12:45
875
trees_1__1238_57.min1.thm1
2017-02-06 12:45
1.0K
trees_1__1239_23.min1.thm1
2017-02-06 12:45
735
trees_1__1244_31.min1.thm1
2017-02-06 12:45
897
trees_1__1249_26.min1.thm1
2017-02-06 12:45
2.0K
trees_1__1258_40.min1.thm1
2017-02-06 12:45
382
trees_1__1258_40.min1.thm1.tptp
2017-02-06 16:46
308
trees_1__1259_38.min1.thm1
2017-02-06 12:45
1.3K
trees_1__1260_31.min1.thm1
2017-02-06 12:45
1.0K
trees_1__1261_39.min1.thm1
2017-02-06 12:45
1.0K
trees_1__1265_66.min1.thm1
2017-02-06 12:45
1.0K
trees_1__1271_34.min1.thm1
2017-02-06 12:45
1.2K
trees_1__1273_57.min1.thm1
2017-02-06 12:45
1.3K
trees_1__1274_24.min1.thm1
2017-02-06 12:45
1.2K
trees_1__1287_40.min1.thm1
2017-02-06 12:45
1.8K
trees_1__1292_25.min1.thm1
2017-02-06 12:45
741
trees_1__1296_21.min1.thm1
2017-02-06 12:45
1.3K
trees_1__1298_29.min1.thm1
2017-02-06 12:45
335
trees_1__1298_29.min1.thm1.tptp
2017-02-06 16:46
245
trees_1__1308_73.min1.thm1
2017-02-06 12:45
731
trees_1__1309_20.min1.thm1
2017-02-06 12:45
826
trees_1__1313_52.min1.thm1
2017-02-06 12:45
753
trees_1__1314_39.min1.thm1
2017-02-06 12:45
858
trees_1__1316_21.min1.thm1
2017-02-06 12:45
1.4K
trees_1__1323_57.min1.thm1
2017-02-06 12:45
944
trees_1__1324_19.min1.thm1
2017-02-06 12:45
1.2K
trees_1__1338_52.min1.thm1
2017-02-06 12:45
572
trees_1__1341_8.min1.thm1
2017-02-06 12:45
925
trees_1__1342_21.min1.thm1
2017-02-06 12:45
925
trees_1__1347_50.min1.thm1
2017-02-06 12:45
564
trees_1__1349_6.min1.thm1
2017-02-06 12:45
903
trees_1__1350_19.min1.thm1
2017-02-06 12:45
903
trees_1__1368_50.min1.thm1
2017-02-06 12:45
1.0K
trees_1__1370_49.min1.thm1
2017-02-06 12:45
1.0K
trees_1__1380_49.min1.thm1
2017-02-06 12:45
733
trees_1__1385_51.min1.thm1
2017-02-06 12:45
711
trees_1__1388_17.min1.thm1
2017-02-06 12:45
880
trees_1__1402_50.min1.thm1
2017-02-06 12:45
540
trees_1__1404_19.min1.thm1
2017-02-06 12:45
1.8K
trees_1__1409_48.min1.thm1
2017-02-06 12:45
1.2K
trees_1__1410_39.min1.thm1
2017-02-06 12:45
1.7K
trees_1__1415_24.min1.thm1
2017-02-06 12:45
1.3K
trees_1__1416_16.min1.thm1
2017-02-06 12:45
520
trees_1__1417_16.min1.thm1
2017-02-06 12:45
777
trees_1__1419_20.min1.thm1
2017-02-06 12:45
461
trees_1__1437_67.min1.thm1
2017-02-06 12:45
773
trees_1__1438_18.min1.thm1
2017-02-06 12:45
665
trees_1__1446_54.min1.thm1
2017-02-06 12:45
594
trees_1__1447_14.min1.thm1
2017-02-06 12:45
254
trees_1__1448_20.min1.thm1
2017-02-06 12:45
423
trees_1__1448_20.min1.thm1.tptp
2017-02-06 16:46
351
trees_1__1460_57.min1.thm1
2017-02-06 12:45
880
trees_1__1460_57.min1.thm1.tptp
2017-02-06 16:46
834
trees_1__1463_24.min1.thm1
2017-02-06 12:45
425
trees_1__1470_17.min1.thm1
2017-02-06 12:45
648
trees_1__1473_19.min1.thm1
2017-02-06 12:45
647
trees_1__1473_19.min1.thm1.tptp
2017-02-06 16:46
590
trees_1__1474_40.min1.thm1
2017-02-06 12:45
958
trees_1__1475_14.min1.thm1
2017-02-06 12:45
581
trees_1__1476_20.min1.thm1
2017-02-06 12:45
1.1K
trees_1__1482_13.min1.thm1
2017-02-06 12:45
1.0K
trees_1__1483_21.min1.thm1
2017-02-06 12:45
1.5K
trees_1__1485_59.min1.thm1
2017-02-06 12:45
636
trees_1__1488_51.min1.thm1
2017-02-06 12:45
913
trees_1__1505_42.min1.thm1
2017-02-06 12:45
672
trees_1__1506_35.min1.thm1
2017-02-06 12:45
130
trees_1__1508_18.min1.thm1
2017-02-06 12:45
391
trees_1__1508_18.min1.thm1.tptp
2017-02-06 16:46
311
trees_1__1522_33.min1.thm1
2017-02-06 12:45
1.0K
trees_1__1525_34.min1.thm1
2017-02-06 12:45
264
trees_1__1532_14.min1.thm1
2017-02-06 12:45
588
trees_1__1535_21.min1.thm1
2017-02-06 12:45
735
trees_1__1536_17.min1.thm1
2017-02-06 12:45
919
trees_1__1538_23.min1.thm1
2017-02-06 12:45
2.7K
trees_1__1539_19.min1.thm1
2017-02-06 12:45
871
trees_1__1544_27.min1.thm1
2017-02-06 12:45
861
trees_1__1545_39.min1.thm1
2017-02-06 12:45
631
trees_1__1546_14.min1.thm1
2017-02-06 12:45
1.4K
trees_1__1547_18.min1.thm1
2017-02-06 12:45
1.4K
trees_1__1549_15.min1.thm1
2017-02-06 12:45
1.2K
trees_1__1550_35.min1.thm1
2017-02-06 12:45
449
trees_1__1551_42.min1.thm1
2017-02-06 12:45
1.0K
trees_1__1554_17.min1.thm1
2017-02-06 12:45
1.0K
trees_1__1555_26.min1.thm1
2017-02-06 12:45
1.0K
trees_1__1556_15.min1.thm1
2017-02-06 12:45
1.0K
trees_1__1557_34.min1.thm1
2017-02-06 12:45
487
trees_1__1558_34.min1.thm1
2017-02-06 12:45
693
trees_1__1559_58.min1.thm1
2017-02-06 12:45
692
trees_1__1568_41.min1.thm1
2017-02-06 12:45
443
trees_1__1568_41.min1.thm1.tptp
2017-02-06 16:46
366
trees_1__1569_19.min1.thm1
2017-02-06 12:45
1.0K
trees_1__1577_24.min1.thm1
2017-02-06 12:45
777
trees_1__1578_44.min1.thm1
2017-02-06 12:45
439
trees_1__1578_44.min1.thm1.tptp
2017-02-06 16:46
362
trees_1__1579_27.min1.thm1
2017-02-06 12:45
1.1K
trees_1__1580_17.min1.thm1
2017-02-06 12:45
1.6K
trees_1__1601_48.min1.thm1
2017-02-06 12:45
342
trees_1__1601_48.min1.thm1.tptp
2017-02-06 16:46
274
trees_1__1603_15.min1.thm1
2017-02-06 12:45
442
trees_1__1603_15.min1.thm1.tptp
2017-02-06 16:46
366
trees_1__1614_52.min1.thm1
2017-02-06 12:45
435
trees_1__1614_52.min1.thm1.tptp
2017-02-06 16:46
379
trees_1__1619_10.min1.thm1
2017-02-06 12:45
329
trees_1__1619_10.min1.thm1.tptp
2017-02-06 16:46
264
trees_1__1620_17.min1.thm1
2017-02-06 12:45
442
trees_1__1628_56.min1.thm1
2017-02-06 12:45
588
trees_1__1633_25.min1.thm1
2017-02-06 12:45
393
trees_1__1633_25.min1.thm1.tptp
2017-02-06 16:46
339
trees_1__1634_22.min1.thm1
2017-02-06 12:45
393
trees_1__1634_22.min1.thm1.tptp
2017-02-06 16:46
339
trees_1__1635_17.min1.thm1
2017-02-06 12:45
560
trees_1__1645_52.min1.thm1
2017-02-06 12:45
968
trees_1__1649_17.min1.thm1
2017-02-06 12:45
452
trees_1__1650_16.min1.thm1
2017-02-06 12:45
692
trees_1__1661_48.min1.thm1
2017-02-06 12:45
340
trees_1__1661_48.min1.thm1.tptp
2017-02-06 16:46
272
trees_1__1663_15.min1.thm1
2017-02-06 12:45
428
trees_1__1663_15.min1.thm1.tptp
2017-02-06 16:46
352
trees_1__1665_49.min1.thm1
2017-02-06 12:45
202
trees_1__1666_10.min1.thm1
2017-02-06 12:45
286
trees_1__1666_10.min1.thm1.tptp
2017-02-06 16:46
203
trees_1__1667_43.min1.thm1
2017-02-06 12:45
590
trees_1__1668_46.min1.thm1
2017-02-06 12:45
569
trees_1__1673_15.min1.thm1
2017-02-06 12:45
396
trees_1__1674_19.min1.thm1
2017-02-06 12:45
465
trees_1__1676_14.min1.thm1
2017-02-06 12:45
319
trees_1__1676_14.min1.thm1.tptp
2017-02-06 16:46
233
trees_1__1681_54.min1.thm1
2017-02-06 12:45
945
trees_1__1686_14.min1.thm1
2017-02-06 12:45
402
trees_1__1687_16.min1.thm1
2017-02-06 12:45
634
trees_1__1689_14.min1.thm1
2017-02-06 12:45
325
trees_1__1689_14.min1.thm1.tptp
2017-02-06 16:46
239
trees_1__1696_59.min1.thm1
2017-02-06 12:45
1.2K
trees_1__1701_25.min1.thm1
2017-02-06 12:45
468
trees_1__1702_16.min1.thm1
2017-02-06 12:45
745
trees_1__1704_14.min1.thm1
2017-02-06 12:45
355
trees_1__1704_14.min1.thm1.tptp
2017-02-06 16:46
269
trees_1__1713_10.min1.thm1
2017-02-06 12:45
636
trees_1__1714_16.min1.thm1
2017-02-06 12:45
568
trees_1__1726_29.min1.thm1
2017-02-06 12:45
528
trees_1__1734_32.min1.thm1
2017-02-06 12:45
945
trees_1__1735_48.min1.thm1
2017-02-06 12:45
801
trees_1__1736_42.min1.thm1
2017-02-06 12:45
839
trees_1__1737_45.min1.thm1
2017-02-06 12:45
1.6K
trees_1__1739_38.min1.thm1
2017-02-06 12:45
1.9K
trees_1__1741_44.min1.thm1
2017-02-06 12:45
1.9K
trees_1__1743_48.min1.thm1
2017-02-06 12:45
1.5K
trees_1__1744_31.min1.thm1
2017-02-06 12:45
2.4K
trees_1__1748_10.min1.thm1
2017-02-06 12:45
482
trees_1__1748_10.min1.thm1.tptp
2017-02-06 16:46
421
trees_1__1749_39.min1.thm1
2017-02-06 12:45
472
trees_1__1751_20.min1.thm1
2017-02-06 12:45
485
trees_1__1751_20.min1.thm1.tptp
2017-02-06 16:46
421
trees_1__1757_37.min1.thm1
2017-02-06 12:45
464
trees_1__1763_40.min1.thm1
2017-02-06 12:45
567
trees_1__1764_15.min1.thm1
2017-02-06 12:45
1.1K
trees_1__1765_19.min1.thm1
2017-02-06 12:45
2.7K
trees_1__1767_16.min1.thm1
2017-02-06 12:45
2.2K
trees_1__1768_39.min1.thm1
2017-02-06 12:45
472
trees_1__1774_22.min1.thm1
2017-02-06 12:45
606
trees_1__1775_23.min1.thm1
2017-02-06 12:45
2.7K
trees_1__1776_23.min1.thm1
2017-02-06 12:45
2.3K
trees_1__1778_16.min1.thm1
2017-02-06 12:45
771
trees_1__1783_19.min1.thm1
2017-02-06 12:45
583
trees_1__1795_21.min1.thm1
2017-02-06 12:45
545
trees_1__1796_12.min1.thm1
2017-02-06 12:45
545
trees_1__1797_19.min1.thm1
2017-02-06 12:45
1.1K
trees_1__1808_21.min1.thm1
2017-02-06 12:45
931
trees_1__1809_32.min1.thm1
2017-02-06 12:45
1.1K
trees_1__1816_43.min1.thm1
2017-02-06 12:45
903
trees_1__1817_22.min1.thm1
2017-02-06 12:45
420
trees_1__1817_22.min1.thm1.tptp
2017-02-06 16:46
342
trees_1__1818_21.min1.thm1
2017-02-06 12:45
1.2K
trees_1__1827_6.min1.thm1
2017-02-06 12:45
628
trees_1__1835_20.min1.thm1
2017-02-06 12:45
755
trees_1__1835_20.min1.thm1.tptp
2017-02-06 16:46
717
trees_1__1836_23.min1.thm1
2017-02-06 12:45
1.2K
trees_1__1841_57.min1.thm1
2017-02-06 12:45
917
trees_1__1842_19.min1.thm1
2017-02-06 12:45
380
trees_1__1842_19.min1.thm1.tptp
2017-02-06 16:46
300
trees_1__1843_21.min1.thm1
2017-02-06 12:45
1.2K
trees_1__1845_46.min1.thm1
2017-02-06 12:45
226
trees_1__1846_49.min1.thm1
2017-02-06 12:45
663
trees_1__1847_37.min1.thm1
2017-02-06 12:45
465
trees_1__1849_22.min1.thm1
2017-02-06 12:45
492
trees_1__1853_6.min1.thm1
2017-02-06 12:45
1.2K
trees_1__1865_26.min1.thm1
2017-02-06 12:45
416
trees_1__1865_26.min1.thm1.tptp
2017-02-06 16:46
335
trees_1__1866_22.min1.thm1
2017-02-06 12:45
416
trees_1__1866_22.min1.thm1.tptp
2017-02-06 16:46
335
trees_1__1867_19.min1.thm1
2017-02-06 12:45
1.8K
trees_1__1877_37.min1.thm1
2017-02-06 12:45
1.0K
trees_1__1878_25.min1.thm1
2017-02-06 12:45
441
trees_1__1879_17.min1.thm1
2017-02-06 12:45
495
trees_1__1889_20.min1.thm1
2017-02-06 12:45
1.0K
trees_1__1893_19.min1.thm1
2017-02-06 12:45
470
trees_1__1894_20.min1.thm1
2017-02-06 12:45
1.1K
trees_1__1908_42.min1.thm1
2017-02-06 12:45
581
trees_1__1910_12.min1.thm1
2017-02-06 12:45
1.4K
trees_1__1911_19.min1.thm1
2017-02-06 12:45
727
trees_1__1915_15.min1.thm1
2017-02-06 12:45
462
trees_1__1916_17.min1.thm1
2017-02-06 12:45
487
trees_1__1927_20.min1.thm1
2017-02-06 12:45
2.8K
trees_1__1928_20.min1.thm1
2017-02-06 12:45
1.1K
trees_1__1932_28.min1.thm1
2017-02-06 12:45
300
trees_1__1935_35.min1.thm1
2017-02-06 12:45
650
trees_1__1936_24.min1.thm1
2017-02-06 12:45
1.0K
trees_1__1947_54.min1.thm1
2017-02-06 12:45
672
trees_1__1949_22.min1.thm1
2017-02-06 12:45
527
trees_1__1951_10.min1.thm1
2017-02-06 12:45
930
trees_1__1952_29.min1.thm1
2017-02-06 12:45
825
trees_1__1954_17.min1.thm1
2017-02-06 12:45
1.2K
trees_1__1967_37.min1.thm1
2017-02-06 12:45
662
trees_1__1968_20.min1.thm1
2017-02-06 12:45
848
trees_1__1973_60.min1.thm1
2017-02-06 12:45
852
trees_1__1974_21.min1.thm1
2017-02-06 12:45
1.1K
trees_1__1976_68.min1.thm1
2017-02-06 12:45
242
trees_1__1978_54.min1.thm1
2017-02-06 12:45
1.7K
trees_1__1990_20.min1.thm1
2017-02-06 12:45
916
trees_1__1991_23.min1.thm1
2017-02-06 12:45
1.3K
trees_1__1997_28.min1.thm1
2017-02-06 12:45
875
trees_1__1998_33.min1.thm1
2017-02-06 12:45
134
trees_1__2000_22.min1.thm1
2017-02-06 12:45
544
trees_1__2013_44.min1.thm1
2017-02-06 12:45
860
trees_1__2013_44.min1.thm1.tptp
2017-02-06 16:46
814
trees_1__2016_23.min1.thm1
2017-02-06 12:45
423
trees_1__2023_18.min1.thm1
2017-02-06 12:45
628
trees_1__2026_18.min1.thm1
2017-02-06 12:45
715
trees_1__2029_32.min1.thm1
2017-02-06 12:45
1.1K
trees_1__2031_23.min1.thm1
2017-02-06 12:45
1.7K
trees_1__2036_45.min1.thm1
2017-02-06 12:45
1.4K
trees_1__2037_15.min1.thm1
2017-02-06 12:45
1.2K
trees_1__2038_17.min1.thm1
2017-02-06 12:45
1.5K
trees_1__2040_16.min1.thm1
2017-02-06 12:45
1.2K
trees_1__2041_39.min1.thm1
2017-02-06 12:45
465
trees_1__2042_12.min1.thm1
2017-02-06 12:45
2.0K
trees_1__2044_26.min1.thm1
2017-02-06 12:45
687
trees_1__2044_26.min1.thm1.tptp
2017-02-06 16:46
630
trees_1__2046_21.min1.thm1
2017-02-06 12:45
966
trees_1__2048_35.min1.thm1
2017-02-06 12:45
1.6K
trees_1__2049_25.min1.thm1
2017-02-06 12:45
1.1K
trees_1__2051_14.min1.thm1
2017-02-06 12:45
1.8K
trees_1__2058_32.min1.thm1
2017-02-06 12:45
378
trees_1__2058_32.min1.thm1.tptp
2017-02-06 16:46
315
trees_1__2059_16.min1.thm1
2017-02-06 12:45
472
trees_1__2061_24.min1.thm1
2017-02-06 12:45
229
trees_1__2062_32.min1.thm1
2017-02-06 12:45
348
trees_1__2062_32.min1.thm1.tptp
2017-02-06 16:46
274
trees_1__2065_29.min1.thm1
2017-02-06 12:45
1.0K
trees_1__2075_23.min1.thm1
2017-02-06 12:45
819
trees_1__2090_27.min1.thm1
2017-02-06 12:45
1.3K
trees_1__2091_13.min1.thm1
2017-02-06 12:45
1.5K
trees_1__2093_55.min1.thm1
2017-02-06 12:45
2.6K
trees_1__2095_17.min1.thm1
2017-02-06 12:45
3.7K
trees_1__2106_27.min1.thm1
2017-02-06 12:45
1.3K
trees_1__2107_13.min1.thm1
2017-02-06 12:45
1.5K
trees_1__2129_49.min1.thm1
2017-02-06 12:45
671
trees_1__2130_31.min1.thm1
2017-02-06 12:45
1.2K
trees_1__2133_19.min1.thm1
2017-02-06 12:45
763
trees_1__2137_22.min1.thm1
2017-02-06 12:45
182
trees_1__2138_17.min1.thm1
2017-02-06 12:45
730
trees_1__2151_31.min1.thm1
2017-02-06 12:45
442
trees_1__2151_31.min1.thm1.tptp
2017-02-06 16:46
368
trees_1__2153_18.min1.thm1
2017-02-06 12:45
1.6K
trees_1__2154_19.min1.thm1
2017-02-06 12:45
904
trees_1__2156_27.min1.thm1
2017-02-06 12:45
1.0K
trees_1__2157_17.min1.thm1
2017-02-06 12:45
538
trees_1__2166_52.min1.thm1
2017-02-06 12:45
1.6K
trees_1__2167_19.min1.thm1
2017-02-06 12:45
931
trees_1__2168_11.min1.thm1
2017-02-06 12:45
1.0K
trees_1__2180_30.min1.thm1
2017-02-06 12:45
571
trees_1__2181_21.min1.thm1
2017-02-06 12:45
969
trees_1__2185_17.min1.thm1
2017-02-06 12:45
352
trees_1__2190_13.min1.thm1
2017-02-06 12:45
490
trees_1__2190_13.min1.thm1.tptp
2017-02-06 16:46
425
trees_1__2191_13.min1.thm1
2017-02-06 12:45
1.0K
trees_1__2192_32.min1.thm1
2017-02-06 12:45
570
trees_1__2195_18.min1.thm1
2017-02-06 12:45
343
trees_1__2195_18.min1.thm1.tptp
2017-02-06 16:46
278
trees_1__2196_32.min1.thm1
2017-02-06 12:45
460
trees_1__2199_25.min1.thm1
2017-02-06 12:45
396
trees_1__2199_25.min1.thm1.tptp
2017-02-06 16:46
310
trees_1__2209_35.min1.thm1
2017-02-06 12:45
430
trees_1__2209_35.min1.thm1.tptp
2017-02-06 16:46
356
trees_1__2222_43.min1.thm1
2017-02-06 12:45
635
trees_1__2223_21.min1.thm1
2017-02-06 12:45
1.2K
trees_1__2227_17.min1.thm1
2017-02-06 12:45
352
trees_1__2232_13.min1.thm1
2017-02-06 12:45
490
trees_1__2232_13.min1.thm1.tptp
2017-02-06 16:46
425
trees_1__2233_22.min1.thm1
2017-02-06 12:45
1.0K
trees_1__2234_38.min1.thm1
2017-02-06 12:45
667
trees_1__2237_18.min1.thm1
2017-02-06 12:45
343
trees_1__2237_18.min1.thm1.tptp
2017-02-06 16:46
278
trees_1__2238_38.min1.thm1
2017-02-06 12:45
526
trees_1__2241_31.min1.thm1
2017-02-06 12:45
462
trees_1__2241_31.min1.thm1.tptp
2017-02-06 16:46
376
trees_1__2257_29.min1.thm1
2017-02-06 12:45
1.4K
trees_1__2264_32.min1.thm1
2017-02-06 12:45
1.3K
trees_1__2265_22.min1.thm1
2017-02-06 12:45
330
trees_1__2265_22.min1.thm1.tptp
2017-02-06 16:46
256
trees_1__2267_14.min1.thm1
2017-02-06 12:45
1.3K
trees_1__2268_39.min1.thm1
2017-02-06 12:45
1.3K
trees_1__2269_23.min1.thm1
2017-02-06 12:45
1.4K
trees_1__2270_18.min1.thm1
2017-02-06 12:45
3.1K
trees_1__2271_12.min1.thm1
2017-02-06 12:45
837
trees_1__2274_18.min1.thm1
2017-02-06 12:45
760
trees_1__2275_32.min1.thm1
2017-02-06 12:45
236
trees_1__2291_42.min1.thm1
2017-02-06 12:45
1.4K
trees_1__2293_23.min1.thm1
2017-02-06 12:45
599
trees_1__2294_12.min1.thm1
2017-02-06 12:45
1.0K
trees_1__2302_32.min1.thm1
2017-02-06 12:45
1.3K
trees_1__2303_22.min1.thm1
2017-02-06 12:45
330
trees_1__2303_22.min1.thm1.tptp
2017-02-06 16:46
256
trees_1__2305_14.min1.thm1
2017-02-06 12:45
1.3K
trees_1__2306_39.min1.thm1
2017-02-06 12:45
1.3K
trees_1__2307_23.min1.thm1
2017-02-06 12:45
1.4K
trees_1__2308_19.min1.thm1
2017-02-06 12:45
3.1K
trees_1__2309_13.min1.thm1
2017-02-06 12:45
837
trees_1__2312_19.min1.thm1
2017-02-06 12:45
760
trees_1__2313_32.min1.thm1
2017-02-06 12:45
236
trees_1__2321_11.min1.thm1
2017-02-06 12:45
130
trees_1__2329_16.min1.thm1
2017-02-06 12:45
596
trees_1__2330_24.min1.thm1
2017-02-06 12:45
518
trees_1__2335_51.min1.thm1
2017-02-06 12:45
511
trees_1__2343_17.min1.thm1
2017-02-06 12:45
511
trees_1__2347_41.min1.thm1
2017-02-06 12:45
966
trees_1__2350_36.min1.thm1
2017-02-06 12:45
1.1K
trees_1__2352_17.min1.thm1
2017-02-06 12:45
370
trees_1__2352_17.min1.thm1.tptp
2017-02-06 16:46
296
trees_1__2356_21.min1.thm1
2017-02-06 12:45
1.2K
trees_1__2359_19.min1.thm1
2017-02-06 12:45
1.4K
trees_1__2368_21.min1.thm1
2017-02-06 12:45
639
trees_1__2371_32.min1.thm1
2017-02-06 12:45
1.6K
trees_1__2372_39.min1.thm1
2017-02-06 12:45
1.7K
trees_1__2382_25.min1.thm1
2017-02-06 12:45
1.4K
trees_1__2398_34.min1.thm1
2017-02-06 12:45
484
trees_1__2399_65.min1.thm1
2017-02-06 12:45
599
trees_1__2401_15.min1.thm1
2017-02-06 12:45
299
trees_1__2413_40.min1.thm1
2017-02-06 12:45
1.2K
trees_1__2414_28.min1.thm1
2017-02-06 12:45
676
trees_1__2418_18.min1.thm1
2017-02-06 12:45
1.1K
trees_1__2419_38.min1.thm1
2017-02-06 12:45
794
trees_1__2423_15.min1.thm1
2017-02-06 12:45
487
trees_1__2424_12.min1.thm1
2017-02-06 12:45
531
trees_1__2430_14.min1.thm1
2017-02-06 12:45
614
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80