Index of /~mptp/7.13.01_4.181.1147/MPTP2/ilp0/group_10
Name
Last modified
Size
Description
Parent Directory
-
group_10__3716_57.min1.thm1
2017-02-06 12:46
302
group_10__3713_66.min1.thm1
2017-02-06 12:46
614
group_10__3709_38.min1.thm1
2017-02-06 12:46
356
group_10__3694_61.min1.thm1
2017-02-06 12:46
631
group_10__3688_19.min1.thm1
2017-02-06 12:46
3.8K
group_10__3687_67.min1.thm1
2017-02-06 12:46
2.3K
group_10__3683_35.min1.thm1
2017-02-06 12:46
1.8K
group_10__3682_8.min1.thm1
2017-02-06 12:46
1.7K
group_10__3678_45.min1.thm1
2017-02-06 12:46
1.3K
group_10__3676_24.min1.thm1
2017-02-06 12:46
1.4K
group_10__3675_35.min1.thm1
2017-02-06 12:46
1.0K
group_10__3671_19.min1.thm1
2017-02-06 12:46
1.4K
group_10__3670_49.min1.thm1
2017-02-06 12:46
1.1K
group_10__3669_49.min1.thm1
2017-02-06 12:46
1.0K
group_10__3668_26.min1.thm1
2017-02-06 12:46
1.6K
group_10__3665_35.min1.thm1
2017-02-06 12:46
1.4K
group_10__3662_47.min1.thm1
2017-02-06 12:46
1.4K
group_10__3660_26.min1.thm1
2017-02-06 12:46
1.5K
group_10__3659_37.min1.thm1
2017-02-06 12:46
1.0K
group_10__3655_21.min1.thm1
2017-02-06 12:46
1.4K
group_10__3654_46.min1.thm1
2017-02-06 12:46
1.1K
group_10__3653_26.min1.thm1
2017-02-06 12:46
1.6K
group_10__3650_37.min1.thm1
2017-02-06 12:46
1.4K
group_10__3645_22.min1.thm1
2017-02-06 12:46
1.1K
group_10__3642_27.min1.thm1
2017-02-06 12:46
1.0K
group_10__3641_55.min1.thm1
2017-02-06 12:46
1.6K
group_10__3637_52.min1.thm1
2017-02-06 12:46
1.4K
group_10__3634_36.min1.thm1
2017-02-06 12:46
1.6K
group_10__3631_43.min1.thm1
2017-02-06 12:46
2.1K
group_10__3630_50.min1.thm1
2017-02-06 12:46
1.2K
group_10__3629_34.min1.thm1
2017-02-06 12:46
1.4K
group_10__3625_38.min1.thm1
2017-02-06 12:46
1.2K
group_10__3624_22.min1.thm1
2017-02-06 12:46
1.0K
group_10__3617_28.min1.thm1
2017-02-06 12:46
1.0K
group_10__3616_22.min1.thm1
2017-02-06 12:46
1.0K
group_10__3615_23.min1.thm1
2017-02-06 12:46
1.2K
group_10__3606_26.min1.thm1
2017-02-06 12:46
1.0K
group_10__3605_25.min1.thm1
2017-02-06 12:46
966
group_10__3604_31.min1.thm1
2017-02-06 12:46
1.1K
group_10__3602_34.min1.thm1
2017-02-06 12:46
1.7K
group_10__3601_42.min1.thm1
2017-02-06 12:46
1.4K
group_10__3587_20.min1.thm1
2017-02-06 12:46
267
group_10__3585_46.min1.thm1
2017-02-06 12:46
624
group_10__3584_50.min1.thm1
2017-02-06 12:46
1.0K
group_10__3573_38.min1.thm1
2017-02-06 12:46
1.2K
group_10__3572_22.min1.thm1
2017-02-06 12:46
1.0K
group_10__3570_25.min1.thm1
2017-02-06 12:46
1.9K
group_10__3561_33.min1.thm1
2017-02-06 12:46
1.7K
group_10__3559_20.min1.thm1
2017-02-06 12:46
267
group_10__3557_44.min1.thm1
2017-02-06 12:46
468
group_10__3556_46.min1.thm1
2017-02-06 12:46
618
group_10__3555_49.min1.thm1
2017-02-06 12:46
962
group_10__3546_42.min1.thm1
2017-02-06 12:46
427
group_10__3543_36.min1.thm1
2017-02-06 12:46
1.0K
group_10__3537_24.min1.thm1
2017-02-06 12:46
2.2K
group_10__3526_29.min1.thm1
2017-02-06 12:46
1.9K
group_10__3525_48.min1.thm1
2017-02-06 12:46
1.0K
group_10__3525_28.min1.thm1
2017-02-06 12:46
1.5K
group_10__3515_23.min1.thm1
2017-02-06 12:46
1.6K
group_10__3514_29.min1.thm1
2017-02-06 12:46
1.3K
group_10__3506_21.min1.thm1
2017-02-06 12:46
951
group_10__3505_19.min1.thm1
2017-02-06 12:46
1.0K
group_10__3504_26.min1.thm1
2017-02-06 12:46
1.1K
group_10__3498_19.min1.thm1
2017-02-06 12:46
1.2K
group_10__3497_44.min1.thm1
2017-02-06 12:46
942
group_10__3483_38.min1.thm1
2017-02-06 12:46
369
group_10__3476_38.min1.thm1
2017-02-06 12:46
671
group_10__3468_10.min1.thm1
2017-02-06 12:46
706
group_10__3465_42.min1.thm1
2017-02-06 12:46
1.2K
group_10__3464_14.min1.thm1
2017-02-06 12:46
1.3K
group_10__3460_40.min1.thm1
2017-02-06 12:46
418
group_10__3457_34.min1.thm1
2017-02-06 12:46
1.5K
group_10__3450_45.min1.thm1.tptp
2017-02-06 16:47
326
group_10__3450_45.min1.thm1
2017-02-06 12:46
412
group_10__3449_36.min1.thm1
2017-02-06 12:46
367
group_10__3444_19.min1.thm1
2017-02-06 12:46
902
group_10__3442_36.min1.thm1
2017-02-06 12:46
1.2K
group_10__3440_7.min1.thm1.tptp
2017-02-06 16:47
209
group_10__3440_7.min1.thm1
2017-02-06 12:46
291
group_10__3439_46.min1.thm1
2017-02-06 12:46
702
group_10__3438_47.min1.thm1
2017-02-06 12:46
760
group_10__3435_39.min1.thm1
2017-02-06 12:46
747
group_10__3433_12.min1.thm1.tptp
2017-02-06 16:47
582
group_10__3433_12.min1.thm1
2017-02-06 12:46
638
group_10__3418_17.min1.thm1
2017-02-06 12:46
1.0K
group_10__3417_31.min1.thm1
2017-02-06 12:46
2.7K
group_10__3416_26.min1.thm1
2017-02-06 12:46
898
group_10__3415_35.min1.thm1
2017-02-06 12:46
1.1K
group_10__3414_39.min1.thm1
2017-02-06 12:46
244
group_10__3412_19.min1.thm1
2017-02-06 12:46
869
group_10__3395_16.min1.thm1.tptp
2017-02-06 16:47
745
group_10__3395_16.min1.thm1
2017-02-06 12:46
822
group_10__3394_47.min1.thm1.tptp
2017-02-06 16:47
745
group_10__3394_47.min1.thm1
2017-02-06 12:46
822
group_10__3385_16.min1.thm1
2017-02-06 12:46
1.5K
group_10__3375_23.min1.thm1
2017-02-06 12:46
865
group_10__3374_23.min1.thm1
2017-02-06 12:46
964
group_10__3368_44.min1.thm1
2017-02-06 12:46
1.3K
group_10__3338_25.min1.thm1
2017-02-06 12:46
1.5K
group_10__3283_42.min1.thm1
2017-02-06 12:46
3.3K
group_10__3263_20.min1.thm1
2017-02-06 12:46
507
group_10__3261_21.min1.thm1
2017-02-06 12:46
842
group_10__3258_35.min1.thm1
2017-02-06 12:46
2.1K
group_10__3245_43.min1.thm1
2017-02-06 12:46
1.0K
group_10__3241_18.min1.thm1
2017-02-06 12:46
1.5K
group_10__3230_32.min1.thm1
2017-02-06 12:46
138
group_10__3229_45.min1.thm1
2017-02-06 12:46
1.4K
group_10__3228_21.min1.thm1
2017-02-06 12:46
1.4K
group_10__3225_33.min1.thm1
2017-02-06 12:46
1.1K
group_10__3224_34.min1.thm1
2017-02-06 12:46
914
group_10__3223_38.min1.thm1
2017-02-06 12:46
800
group_10__3222_28.min1.thm1
2017-02-06 12:46
1.2K
group_10__3221_54.min1.thm1
2017-02-06 12:46
801
group_10__3218_10.min1.thm1
2017-02-06 12:46
2.0K
group_10__3216_41.min1.thm1
2017-02-06 12:46
1.1K
group_10__3215_45.min1.thm1
2017-02-06 12:46
1.0K
group_10__3213_31.min1.thm1
2017-02-06 12:46
1.2K
group_10__3211_24.min1.thm1
2017-02-06 12:46
1.1K
group_10__3210_48.min1.thm1
2017-02-06 12:46
399
group_10__3209_38.min1.thm1
2017-02-06 12:46
1.5K
group_10__3205_15.min1.thm1
2017-02-06 12:46
1.4K
group_10__3204_46.min1.thm1
2017-02-06 12:46
1.3K
group_10__3202_42.min1.thm1
2017-02-06 12:46
1.3K
group_10__3198_18.min1.thm1.tptp
2017-02-06 16:47
411
group_10__3198_18.min1.thm1
2017-02-06 12:46
475
group_10__3195_18.min1.thm1
2017-02-06 12:46
1.5K
group_10__3189_19.min1.thm1
2017-02-06 12:46
623
group_10__3180_33.min1.thm1
2017-02-06 12:46
135
group_10__3132_39.min1.thm1
2017-02-06 12:46
751
group_10__3119_28.min1.thm1
2017-02-06 12:46
817
group_10__3118_63.min1.thm1
2017-02-06 12:46
1.0K
group_10__3100_4.min1.thm1
2017-02-06 12:46
2.6K
group_10__3098_25.min1.thm1
2017-02-06 12:46
1.9K
group_10__3097_44.min1.thm1
2017-02-06 12:46
1.0K
group_10__3097_24.min1.thm1
2017-02-06 12:46
1.4K
group_10__3094_35.min1.thm1
2017-02-06 12:46
2.0K
group_10__3078_26.min1.thm1
2017-02-06 12:46
695
group_10__3062_26.min1.thm1
2017-02-06 12:46
695
group_10__3058_16.min1.thm1
2017-02-06 12:46
621
group_10__3052_35.min1.thm1
2017-02-06 12:46
719
group_10__3051_25.min1.thm1
2017-02-06 12:46
971
group_10__3049_18.min1.thm1
2017-02-06 12:46
1.1K
group_10__3046_18.min1.thm1
2017-02-06 12:46
871
group_10__3045_30.min1.thm1
2017-02-06 12:46
900
group_10__3041_25.min1.thm1
2017-02-06 12:46
970
group_10__3039_30.min1.thm1
2017-02-06 12:46
898
group_10__3038_18.min1.thm1
2017-02-06 12:46
1.1K
group_10__3035_21.min1.thm1
2017-02-06 12:46
869
group_10__3026_29.min1.thm1
2017-02-06 12:46
951
group_10__3025_32.min1.thm1
2017-02-06 12:46
1.2K
group_10__3024_30.min1.thm1
2017-02-06 12:46
945
group_10__3021_38.min1.thm1
2017-02-06 12:46
1.0K
group_10__3020_18.min1.thm1
2017-02-06 12:46
1.1K
group_10__3017_20.min1.thm1
2017-02-06 12:46
915
group_10__3016_24.min1.thm1
2017-02-06 12:46
1.0K
group_10__3015_33.min1.thm1
2017-02-06 12:46
1.9K
group_10__3008_41.min1.thm1
2017-02-06 12:46
749
group_10__2998_32.min1.thm1
2017-02-06 12:46
747
group_10__2991_24.min1.thm1
2017-02-06 12:46
928
group_10__2990_24.min1.thm1
2017-02-06 12:46
1.1K
group_10__2988_19.min1.thm1
2017-02-06 12:46
629
group_10__2976_37.min1.thm1
2017-02-06 12:46
295
group_10__2975_42.min1.thm1
2017-02-06 12:46
826
group_10__2972_50.min1.thm1.tptp
2017-02-06 16:47
309
group_10__2972_50.min1.thm1
2017-02-06 12:46
395
group_10__2966_23.min1.thm1
2017-02-06 12:46
593
group_10__2961_33.min1.thm1
2017-02-06 12:46
823
group_10__2959_43.min1.thm1
2017-02-06 12:46
697
group_10__2951_28.min1.thm1
2017-02-06 12:46
910
group_10__2944_43.min1.thm1
2017-02-06 12:46
1.4K
group_10__2935_44.min1.thm1
2017-02-06 12:46
508
group_10__2917_36.min1.thm1
2017-02-06 12:46
777
group_10__2916_34.min1.thm1.tptp
2017-02-06 16:47
266
group_10__2916_34.min1.thm1
2017-02-06 12:46
352
group_10__2913_18.min1.thm1
2017-02-06 12:46
1.9K
group_10__2906_15.min1.thm1
2017-02-06 12:46
1.7K
group_10__2905_11.min1.thm1
2017-02-06 12:46
601
group_10__2897_27.min1.thm1
2017-02-06 12:46
1.8K
group_10__2896_41.min1.thm1
2017-02-06 12:46
2.0K
group_10__2892_37.min1.thm1
2017-02-06 12:46
1.6K
group_10__2889_21.min1.thm1
2017-02-06 12:46
2.2K
group_10__2885_49.min1.thm1
2017-02-06 12:46
1.2K
group_10__2884_24.min1.thm1
2017-02-06 12:46
862
group_10__2883_16.min1.thm1
2017-02-06 12:46
1.5K
group_10__2882_23.min1.thm1
2017-02-06 12:46
2.2K
group_10__2879_32.min1.thm1
2017-02-06 12:46
864
group_10__2878_22.min1.thm1
2017-02-06 12:46
640
group_10__2873_22.min1.thm1
2017-02-06 12:46
969
group_10__2871_16.min1.thm1
2017-02-06 12:46
1.1K
group_10__2868_17.min1.thm1
2017-02-06 12:46
901
group_10__2867_39.min1.thm1
2017-02-06 12:46
747
group_10__2865_13.min1.thm1
2017-02-06 12:46
810
group_10__2864_46.min1.thm1
2017-02-06 12:46
508
group_10__2851_19.min1.thm1
2017-02-06 12:46
1.2K
group_10__2841_38.min1.thm1
2017-02-06 12:46
452
group_10__2830_11.min1.thm1
2017-02-06 12:46
1.4K
group_10__2829_29.min1.thm1
2017-02-06 12:46
1.0K
group_10__2828_30.min1.thm1
2017-02-06 12:46
2.3K
group_10__2825_51.min1.thm1
2017-02-06 12:46
3.4K
group_10__2822_23.min1.thm1
2017-02-06 12:46
1.5K
group_10__2821_22.min1.thm1
2017-02-06 12:46
2.8K
group_10__2818_34.min1.thm1
2017-02-06 12:46
1.9K
group_10__2811_13.min1.thm1
2017-02-06 12:46
1.0K
group_10__2810_19.min1.thm1
2017-02-06 12:46
1.1K
group_10__2804_37.min1.thm1
2017-02-06 12:46
1.8K
group_10__2803_37.min1.thm1
2017-02-06 12:46
2.2K
group_10__2801_28.min1.thm1
2017-02-06 12:46
133
group_10__2797_56.min1.thm1.tptp
2017-02-06 16:47
1.1K
group_10__2797_56.min1.thm1
2017-02-06 12:46
1.1K
group_10__2783_35.min1.thm1.tptp
2017-02-06 16:47
241
group_10__2783_35.min1.thm1
2017-02-06 12:46
327
group_10__2781_40.min1.thm1
2017-02-06 12:46
1.2K
group_10__2779_42.min1.thm1
2017-02-06 12:46
1.7K
group_10__2778_17.min1.thm1
2017-02-06 12:46
2.2K
group_10__2777_17.min1.thm1
2017-02-06 12:46
1.3K
group_10__2776_30.min1.thm1
2017-02-06 12:46
1.1K
group_10__2774_42.min1.thm1
2017-02-06 12:46
1.2K
group_10__2772_33.min1.thm1
2017-02-06 12:46
2.2K
group_10__2771_66.min1.thm1
2017-02-06 12:46
1.8K
group_10__2769_64.min1.thm1
2017-02-06 12:46
1.9K
group_10__2765_43.min1.thm1
2017-02-06 12:46
2.1K
group_10__2760_38.min1.thm1
2017-02-06 12:46
2.1K
group_10__2758_38.min1.thm1
2017-02-06 12:46
478
group_10__2754_13.min1.thm1
2017-02-06 12:46
1.6K
group_10__2753_45.min1.thm1
2017-02-06 12:46
3.3K
group_10__2751_66.min1.thm1
2017-02-06 12:46
683
group_10__2746_21.min1.thm1
2017-02-06 12:46
2.0K
group_10__2744_29.min1.thm1
2017-02-06 12:46
1.7K
group_10__2743_39.min1.thm1
2017-02-06 12:46
898
group_10__2738_38.min1.thm1
2017-02-06 12:46
385
group_10__2734_18.min1.thm1
2017-02-06 12:46
874
group_10__2733_26.min1.thm1
2017-02-06 12:46
1.2K
group_10__2732_47.min1.thm1
2017-02-06 12:46
635
group_10__2731_25.min1.thm1.tptp
2017-02-06 16:47
335
group_10__2731_25.min1.thm1
2017-02-06 12:46
399
group_10__2729_18.min1.thm1
2017-02-06 12:46
1.6K
group_10__2728_19.min1.thm1
2017-02-06 12:46
1.3K
group_10__2727_27.min1.thm1
2017-02-06 12:46
1.0K
group_10__2726_26.min1.thm1
2017-02-06 12:46
1.1K
group_10__2725_17.min1.thm1
2017-02-06 12:46
1.8K
group_10__2720_22.min1.thm1
2017-02-06 12:46
693
group_10__2718_26.min1.thm1
2017-02-06 12:46
1.4K
group_10__2713_36.min1.thm1
2017-02-06 12:46
1.0K
group_10__2711_39.min1.thm1
2017-02-06 12:46
468
group_10__2710_17.min1.thm1
2017-02-06 12:46
696
group_10__2705_38.min1.thm1
2017-02-06 12:46
385
group_10__2696_51.min1.thm1
2017-02-06 12:46
633
group_10__2695_25.min1.thm1.tptp
2017-02-06 16:47
333
group_10__2695_25.min1.thm1
2017-02-06 12:46
397
group_10__2693_18.min1.thm1
2017-02-06 12:46
915
group_10__2692_19.min1.thm1
2017-02-06 12:46
1.3K
group_10__2688_36.min1.thm1
2017-02-06 12:46
1.0K
group_10__2686_17.min1.thm1
2017-02-06 12:46
696
group_10__2674_22.min1.thm1
2017-02-06 12:46
1.7K
group_10__2667_51.min1.thm1
2017-02-06 12:46
1.4K
group_10__2661_44.min1.thm1
2017-02-06 12:46
747
group_10__2660_22.min1.thm1
2017-02-06 12:46
1.2K
group_10__2655_44.min1.thm1
2017-02-06 12:46
508
group_10__2652_33.min1.thm1
2017-02-06 12:46
129
group_10__2641_17.min1.thm1
2017-02-06 12:46
595
group_10__2634_19.min1.thm1
2017-02-06 12:46
1.5K
group_10__2632_22.min1.thm1
2017-02-06 12:46
2.0K
group_10__2627_41.min1.thm1
2017-02-06 12:46
1.4K
group_10__2624_15.min1.thm1
2017-02-06 12:46
1.6K
group_10__2623_35.min1.thm1
2017-02-06 12:46
794
group_10__2622_14.min1.thm1
2017-02-06 12:46
1.3K
group_10__2615_16.min1.thm1
2017-02-06 12:46
958
group_10__2613_19.min1.thm1
2017-02-06 12:46
1.3K
group_10__2611_20.min1.thm1
2017-02-06 12:46
1.9K
group_10__2598_44.min1.thm1
2017-02-06 12:46
1.1K
group_10__2596_16.min1.thm1
2017-02-06 12:46
772
group_10__2580_14.min1.thm1
2017-02-06 12:46
678
group_10__2577_19.min1.thm1
2017-02-06 12:46
439
group_10__2576_15.min1.thm1
2017-02-06 12:46
491
group_10__2564_21.min1.thm1
2017-02-06 12:46
1.5K
group_10__2563_29.min1.thm1
2017-02-06 12:46
797
group_10__2562_29.min1.thm1
2017-02-06 12:46
1.3K
group_10__2561_26.min1.thm1
2017-02-06 12:46
850
group_10__2558_38.min1.thm1
2017-02-06 12:46
2.2K
group_10__2557_21.min1.thm1
2017-02-06 12:46
614
group_10__2555_26.min1.thm1
2017-02-06 12:46
834
group_10__2554_31.min1.thm1
2017-02-06 12:46
1.5K
group_10__2553_23.min1.thm1
2017-02-06 12:46
1.1K
group_10__2552_36.min1.thm1
2017-02-06 12:46
797
group_10__2547_48.min1.thm1
2017-02-06 12:46
532
group_10__2523_40.min1.thm1
2017-02-06 12:46
1.8K
group_10__2517_18.min1.thm1
2017-02-06 12:46
548
group_10__2514_33.min1.thm1
2017-02-06 12:46
1.6K
group_10__2506_49.min1.thm1
2017-02-06 12:46
1.7K
group_10__2505_29.min1.thm1
2017-02-06 12:46
1.1K
group_10__2501_18.min1.thm1
2017-02-06 12:46
1.7K
group_10__2498_29.min1.thm1
2017-02-06 12:46
1.4K
group_10__2497_35.min1.thm1
2017-02-06 12:46
2.0K
group_10__2496_30.min1.thm1
2017-02-06 12:46
1.7K
group_10__2490_41.min1.thm1
2017-02-06 12:46
883
group_10__2488_41.min1.thm1
2017-02-06 12:46
1.9K
group_10__2486_43.min1.thm1
2017-02-06 12:46
766
group_10__2485_12.min1.thm1
2017-02-06 12:46
488
group_10__2481_17.min1.thm1
2017-02-06 12:46
707
group_10__2477_53.min1.thm1
2017-02-06 12:46
1.1K
group_10__2476_46.min1.thm1
2017-02-06 12:46
508
group_10__2475_40.min1.thm1
2017-02-06 12:46
452
group_10__2474_32.min1.thm1.tptp
2017-02-06 16:47
204
group_10__2474_32.min1.thm1
2017-02-06 12:46
285
group_10__2469_33.min1.thm1
2017-02-06 12:46
129
group_10__2458_22.min1.thm1
2017-02-06 12:46
580
group_10__2457_60.min1.thm1
2017-02-06 12:46
1.8K
group_10__2453_21.min1.thm1
2017-02-06 12:46
1.1K
group_10__2451_35.min1.thm1
2017-02-06 12:46
1.2K
group_10__2439_17.min1.thm1
2017-02-06 12:46
666
group_10__2434_21.min1.thm1
2017-02-06 12:46
598
group_10__2420_20.min1.thm1
2017-02-06 12:46
952
group_10__2419_24.min1.thm1
2017-02-06 12:46
1.1K
group_10__2409_44.min1.thm1
2017-02-06 12:46
1.1K
group_10__2405_41.min1.thm1
2017-02-06 12:46
137
group_10__2404_42.min1.thm1.tptp
2017-02-06 16:47
302
group_10__2404_42.min1.thm1
2017-02-06 12:46
380
group_10__2391_35.min1.thm1.tptp
2017-02-06 16:47
400
group_10__2391_35.min1.thm1
2017-02-06 12:46
464
group_10__2390_40.min1.thm1.tptp
2017-02-06 16:47
310
group_10__2390_40.min1.thm1
2017-02-06 12:46
388
group_10__2389_19.min1.thm1
2017-02-06 12:46
1.4K
group_10__2388_37.min1.thm1
2017-02-06 12:46
1.3K
group_10__2387_41.min1.thm1
2017-02-06 12:46
635
group_10__2379_33.min1.thm1
2017-02-06 12:46
917
group_10__2371_42.min1.thm1
2017-02-06 12:46
1.6K
group_10__2370_40.min1.thm1
2017-02-06 12:46
609
group_10__2369_23.min1.thm1
2017-02-06 12:46
418
group_10__2368_18.min1.thm1
2017-02-06 12:46
597
group_10__2364_27.min1.thm1
2017-02-06 12:46
602
group_10__2363_35.min1.thm1
2017-02-06 12:46
452
group_10__2360_23.min1.thm1.tptp
2017-02-06 16:47
479
group_10__2360_23.min1.thm1
2017-02-06 12:46
543
group_10__2356_20.min1.thm1
2017-02-06 12:46
952
group_10__2355_24.min1.thm1
2017-02-06 12:46
1.1K
group_10__2340_42.min1.thm1.tptp
2017-02-06 16:47
302
group_10__2340_42.min1.thm1
2017-02-06 12:46
380
group_10__2334_69.min1.thm1
2017-02-06 12:46
643
group_10__2331_40.min1.thm1.tptp
2017-02-06 16:47
294
group_10__2331_40.min1.thm1
2017-02-06 12:46
372
group_10__2330_39.min1.thm1.tptp
2017-02-06 16:47
268
group_10__2330_39.min1.thm1
2017-02-06 12:46
346
group_10__2325_18.min1.thm1.tptp
2017-02-06 16:47
248
group_10__2325_18.min1.thm1
2017-02-06 12:46
325
group_10__2323_25.min1.thm1
2017-02-06 12:46
1.1K
group_10__2311_16.min1.thm1
2017-02-06 12:46
813
group_10__2308_21.min1.thm1
2017-02-06 12:46
588
group_10__2307_24.min1.thm1
2017-02-06 12:46
581
group_10__2276_17.min1.thm1
2017-02-06 12:46
502
group_10__2275_28.min1.thm1
2017-02-06 12:46
889
group_10__2274_25.min1.thm1
2017-02-06 12:46
660
group_10__2272_19.min1.thm1
2017-02-06 12:46
411
group_10__2271_23.min1.thm1
2017-02-06 12:46
888
group_10__2269_34.min1.thm1
2017-02-06 12:46
712
group_10__2259_22.min1.thm1
2017-02-06 12:46
546
group_10__2254_21.min1.thm1
2017-02-06 12:46
1.0K
group_10__2253_24.min1.thm1
2017-02-06 12:46
678
group_10__2251_28.min1.thm1
2017-02-06 12:46
133
group_10__2250_20.min1.thm1
2017-02-06 12:46
703
group_10__2243_46.min1.thm1
2017-02-06 12:46
504
group_10__2227_25.min1.thm1
2017-02-06 12:46
1.9K
group_10__2226_16.min1.thm1
2017-02-06 12:46
574
group_10__2220_24.min1.thm1
2017-02-06 12:46
386
group_10__2218_21.min1.thm1
2017-02-06 12:46
1.0K
group_10__2216_26.min1.thm1
2017-02-06 12:46
1.0K
group_10__2213_13.min1.thm1
2017-02-06 12:46
670
group_10__2191_17.min1.thm1
2017-02-06 12:46
2.2K
group_10__2190_26.min1.thm1
2017-02-06 12:46
854
group_10__2187_18.min1.thm1
2017-02-06 12:46
1.7K
group_10__2186_33.min1.thm1
2017-02-06 12:46
2.7K
group_10__2185_33.min1.thm1
2017-02-06 12:46
1.9K
group_10__2184_37.min1.thm1
2017-02-06 12:46
1.0K
group_10__2182_24.min1.thm1
2017-02-06 12:46
491
group_10__2179_23.min1.thm1
2017-02-06 12:46
2.2K
group_10__2178_31.min1.thm1
2017-02-06 12:46
960
group_10__2177_31.min1.thm1
2017-02-06 12:46
1.6K
group_10__2176_30.min1.thm1
2017-02-06 12:46
870
group_10__2168_21.min1.thm1
2017-02-06 12:46
1.5K
group_10__2167_18.min1.thm1
2017-02-06 12:46
869
group_10__2164_13.min1.thm1
2017-02-06 12:46
218
group_10__2158_19.min1.thm1
2017-02-06 12:46
776
group_10__2157_17.min1.thm1
2017-02-06 12:46
1.4K
group_10__2156_52.min1.thm1
2017-02-06 12:46
1.3K
group_10__2150_19.min1.thm1
2017-02-06 12:46
1.4K
group_10__2147_22.min1.thm1
2017-02-06 12:46
890
group_10__2140_22.min1.thm1
2017-02-06 12:46
3.0K
group_10__2135_23.min1.thm1
2017-02-06 12:46
899
group_10__2133_24.min1.thm1
2017-02-06 12:46
524
group_10__2131_42.min1.thm1
2017-02-06 12:46
1.4K
group_10__2127_21.min1.thm1
2017-02-06 12:46
1.0K
group_10__2114_39.min1.thm1
2017-02-06 12:46
1.8K
group_10__2110_40.min1.thm1
2017-02-06 12:46
2.1K
group_10__2107_31.min1.thm1
2017-02-06 12:46
1.8K
group_10__2105_27.min1.thm1
2017-02-06 12:46
3.1K
group_10__2104_27.min1.thm1
2017-02-06 12:46
1.8K
group_10__2103_31.min1.thm1
2017-02-06 12:46
1.2K
group_10__2102_25.min1.thm1
2017-02-06 12:46
1.1K
group_10__2100_29.min1.thm1
2017-02-06 12:46
408
group_10__2094_22.min1.thm1
2017-02-06 12:46
886
group_10__2090_40.min1.thm1
2017-02-06 12:46
460
group_10__2089_23.min1.thm1
2017-02-06 12:46
972
group_10__2080_16.min1.thm1
2017-02-06 12:46
370
group_10__2077_20.min1.thm1
2017-02-06 12:46
382
group_10__2075_26.min1.thm1
2017-02-06 12:46
751
group_10__2072_22.min1.thm1
2017-02-06 12:46
434
group_10__2066_20.min1.thm1
2017-02-06 12:46
382
group_10__2064_26.min1.thm1
2017-02-06 12:46
1.1K
group_10__2052_36.min1.thm1
2017-02-06 12:46
589
group_10__2050_48.min1.thm1
2017-02-06 12:46
625
group_10__2049_23.min1.thm1.tptp
2017-02-06 16:47
329
group_10__2049_23.min1.thm1
2017-02-06 12:46
393
group_10__2047_19.min1.thm1
2017-02-06 12:46
1.2K
group_10__2046_21.min1.thm1
2017-02-06 12:46
707
group_10__2042_22.min1.thm1
2017-02-06 12:46
886
group_10__2040_16.min1.thm1
2017-02-06 12:46
681
group_10__2029_48.min1.thm1
2017-02-06 12:46
625
group_10__2028_23.min1.thm1.tptp
2017-02-06 16:47
329
group_10__2028_23.min1.thm1
2017-02-06 12:46
393
group_10__2026_19.min1.thm1
2017-02-06 12:46
1.2K
group_10__2025_21.min1.thm1
2017-02-06 12:46
707
group_10__2021_22.min1.thm1
2017-02-06 12:46
886
group_10__2019_16.min1.thm1
2017-02-06 12:46
681
group_10__2008_37.min1.thm1
2017-02-06 12:46
1.1K
group_10__2007_23.min1.thm1
2017-02-06 12:46
940
group_10__2005_30.min1.thm1
2017-02-06 12:46
739
group_10__2004_23.min1.thm1
2017-02-06 12:46
697
group_10__1999_14.min1.thm1.tptp
2017-02-06 16:47
497
group_10__1999_14.min1.thm1
2017-02-06 12:46
559
group_10__1995_14.min1.thm1
2017-02-06 12:46
652
group_10__1991_17.min1.thm1
2017-02-06 12:46
1.1K
group_10__1988_24.min1.thm1.tptp
2017-02-06 16:47
490
group_10__1988_24.min1.thm1
2017-02-06 12:46
547
group_10__1985_17.min1.thm1
2017-02-06 12:46
2.0K
group_10__1984_24.min1.thm1.tptp
2017-02-06 16:47
490
group_10__1984_24.min1.thm1
2017-02-06 12:46
547
group_10__1981_22.min1.thm1
2017-02-06 12:46
1.9K
group_10__1965_16.min1.thm1.tptp
2017-02-06 16:47
594
group_10__1965_16.min1.thm1
2017-02-06 12:46
656
group_10__1960_30.min1.thm1
2017-02-06 12:46
664
group_10__1955_30.min1.thm1.tptp
2017-02-06 16:47
509
group_10__1955_30.min1.thm1
2017-02-06 12:46
571
group_10__1954_23.min1.thm1
2017-02-06 12:46
1.8K
group_10__1951_18.min1.thm1
2017-02-06 12:46
1.2K
group_10__1950_20.min1.thm1
2017-02-06 12:46
1.7K
group_10__1948_28.min1.thm1
2017-02-06 12:46
3.0K
group_10__1947_23.min1.thm1
2017-02-06 12:46
1.5K
group_10__1937_26.min1.thm1
2017-02-06 12:46
660
group_10__1935_20.min1.thm1
2017-02-06 12:46
1.0K
group_10__1934_17.min1.thm1
2017-02-06 12:46
1.6K
group_10__1933_39.min1.thm1
2017-02-06 12:46
2.0K
group_10__1931_28.min1.thm1.tptp
2017-02-06 16:47
962
group_10__1931_28.min1.thm1
2017-02-06 12:46
1.0K
group_10__1926_66.min1.thm1.tptp
2017-02-06 16:47
962
group_10__1926_66.min1.thm1
2017-02-06 12:46
1.0K
group_10__1917_20.min1.thm1
2017-02-06 12:46
1.8K
group_10__1916_23.min1.thm1
2017-02-06 12:46
944
group_10__1915_16.min1.thm1
2017-02-06 12:46
1.6K
group_10__1914_27.min1.thm1.tptp
2017-02-06 16:47
1.0K
group_10__1914_27.min1.thm1
2017-02-06 12:46
1.0K
group_10__1909_29.min1.thm1
2017-02-06 12:46
719
group_10__1905_26.min1.thm1
2017-02-06 12:46
1.9K
group_10__1904_58.min1.thm1
2017-02-06 12:46
1.3K
group_10__1902_35.min1.thm1
2017-02-06 12:46
2.5K
group_10__1900_71.min1.thm1
2017-02-06 12:46
1.7K
group_10__1889_76.min1.thm1
2017-02-06 12:46
1.6K
group_10__1887_39.min1.thm1
2017-02-06 12:46
1.4K
group_10__1884_18.min1.thm1
2017-02-06 12:46
853
group_10__1882_26.min1.thm1
2017-02-06 12:46
495
group_10__1881_28.min1.thm1
2017-02-06 12:46
133
group_10__1880_31.min1.thm1
2017-02-06 12:46
414
group_10__1866_16.min1.thm1
2017-02-06 12:46
2.0K
group_10__1864_30.min1.thm1
2017-02-06 12:46
374
group_10__1863_65.min1.thm1
2017-02-06 12:46
1.9K
group_10__1860_45.min1.thm1
2017-02-06 12:46
601
group_10__1854_44.min1.thm1
2017-02-06 12:46
131
group_10__1853_42.min1.thm1
2017-02-06 12:46
1.4K
group_10__1847_38.min1.thm1
2017-02-06 12:46
480
group_10__1823_15.min1.thm1
2017-02-06 12:46
1.4K
group_10__1813_16.min1.thm1
2017-02-06 12:46
490
group_10__1812_33.min1.thm1.tptp
2017-02-06 16:47
315
group_10__1812_33.min1.thm1
2017-02-06 12:46
390
group_10__1802_50.min1.thm1.tptp
2017-02-06 16:47
374
group_10__1802_50.min1.thm1
2017-02-06 12:46
449
group_10__1777_17.min1.thm1
2017-02-06 12:46
1.5K
group_10__1765_20.min1.thm1
2017-02-06 12:46
878
group_10__1759_39.min1.thm1
2017-02-06 12:46
1.3K
group_10__1757_48.min1.thm1
2017-02-06 12:46
137
group_10__1756_44.min1.thm1.tptp
2017-02-06 16:47
272
group_10__1756_44.min1.thm1
2017-02-06 12:46
350
group_10__1748_23.min1.thm1
2017-02-06 12:46
582
group_10__1729_17.min1.thm1
2017-02-06 12:46
2.0K
group_10__1727_57.min1.thm1
2017-02-06 12:46
1.0K
group_10__1724_16.min1.thm1
2017-02-06 12:46
2.0K
group_10__1715_31.min1.thm1
2017-02-06 12:46
133
group_10__1700_20.min1.thm1
2017-02-06 12:46
1.6K
group_10__1688_38.min1.thm1
2017-02-06 12:46
1.5K
group_10__1678_19.min1.thm1
2017-02-06 12:46
811
group_10__1673_19.min1.thm1
2017-02-06 12:46
812
group_10__1667_26.min1.thm1
2017-02-06 12:46
768
group_10__1662_26.min1.thm1
2017-02-06 12:46
768
group_10__1660_39.min1.thm1
2017-02-06 12:46
1.9K
group_10__1653_19.min1.thm1
2017-02-06 12:46
2.5K
group_10__1643_33.min1.thm1
2017-02-06 12:46
133
group_10__1629_43.min1.thm1
2017-02-06 12:46
2.0K
group_10__1627_62.min1.thm1
2017-02-06 12:46
1.7K
group_10__1626_14.min1.thm1
2017-02-06 12:46
808
group_10__1624_25.min1.thm1
2017-02-06 12:46
1.2K
group_10__1619_39.min1.thm1
2017-02-06 12:46
1.9K
group_10__1617_32.min1.thm1
2017-02-06 12:46
1.0K
group_10__1609_19.min1.thm1
2017-02-06 12:46
811
group_10__1606_18.min1.thm1
2017-02-06 12:46
811
group_10__1589_25.min1.thm1
2017-02-06 12:46
131
group_10__1582_36.min1.thm1
2017-02-06 12:46
494
group_10__1565_14.min1.thm1
2017-02-06 12:46
402
group_10__1558_15.min1.thm1.tptp
2017-02-06 16:47
469
group_10__1558_15.min1.thm1
2017-02-06 12:46
539
group_10__1555_33.min1.thm1
2017-02-06 12:46
1.4K
group_10__1534_36.min1.thm1
2017-02-06 12:46
2.1K
group_10__1533_40.min1.thm1
2017-02-06 12:46
1.8K
group_10__1532_42.min1.thm1
2017-02-06 12:46
1.5K
group_10__1531_42.min1.thm1
2017-02-06 12:46
2.0K
group_10__1530_35.min1.thm1
2017-02-06 12:46
1.5K
group_10__1524_38.min1.thm1
2017-02-06 12:46
2.1K
group_10__1523_42.min1.thm1
2017-02-06 12:46
1.8K
group_10__1522_45.min1.thm1
2017-02-06 12:46
1.5K
group_10__1521_45.min1.thm1
2017-02-06 12:46
2.0K
group_10__1520_37.min1.thm1
2017-02-06 12:46
1.5K
group_10__1505_28.min1.thm1
2017-02-06 12:46
1.8K
group_10__1504_51.min1.thm1
2017-02-06 12:46
783
group_10__1502_54.min1.thm1
2017-02-06 12:46
2.4K
group_10__1487_67.min1.thm1
2017-02-06 12:46
1.4K
group_10__1486_31.min1.thm1
2017-02-06 12:46
1.2K
group_10__1474_21.min1.thm1.tptp
2017-02-06 16:47
559
group_10__1474_21.min1.thm1
2017-02-06 12:46
614
group_10__1473_15.min1.thm1
2017-02-06 12:46
464
group_10__1468_20.min1.thm1
2017-02-06 12:46
1.6K
group_10__1467_38.min1.thm1
2017-02-06 12:46
759
group_10__1466_44.min1.thm1
2017-02-06 12:46
496
group_10__1440_24.min1.thm1
2017-02-06 12:46
1.7K
group_10__1439_8.min1.thm1
2017-02-06 12:46
411
group_10__1419_11.min1.thm1
2017-02-06 12:46
1.3K
group_10__1417_19.min1.thm1
2017-02-06 12:46
1.2K
group_10__1414_23.min1.thm1
2017-02-06 12:46
1.8K
group_10__1413_8.min1.thm1
2017-02-06 12:46
411
group_10__1396_17.min1.thm1
2017-02-06 12:46
1.3K
group_10__1371_16.min1.thm1.tptp
2017-02-06 16:47
555
group_10__1371_16.min1.thm1
2017-02-06 12:46
634
group_10__1367_23.min1.thm1
2017-02-06 12:46
760
group_10__1366_17.min1.thm1
2017-02-06 12:46
440
group_10__1365_59.min1.thm1
2017-02-06 12:46
1.3K
group_10__1361_22.min1.thm1
2017-02-06 12:46
1.4K
group_10__1360_32.min1.thm1
2017-02-06 12:46
748
group_10__1359_46.min1.thm1
2017-02-06 12:46
510
group_10__1320_13.min1.thm1
2017-02-06 12:46
1.6K
group_10__1310_15.min1.thm1
2017-02-06 12:46
1.2K
group_10__1307_17.min1.thm1
2017-02-06 12:46
1.8K
group_10__1304_18.min1.thm1
2017-02-06 12:46
2.0K
group_10__1302_26.min1.thm1
2017-02-06 12:46
1.2K
group_10__1294_20.min1.thm1
2017-02-06 12:46
808
group_10__1292_18.min1.thm1
2017-02-06 12:46
2.2K
group_10__1278_33.min1.thm1
2017-02-06 12:46
887
group_10__1255_16.min1.thm1.tptp
2017-02-06 16:47
739
group_10__1255_16.min1.thm1
2017-02-06 12:46
816
group_10__1254_47.min1.thm1.tptp
2017-02-06 16:47
739
group_10__1254_47.min1.thm1
2017-02-06 12:46
816
group_10__1246_16.min1.thm1
2017-02-06 12:46
1.5K
group_10__1241_22.min1.thm1.tptp
2017-02-06 16:47
794
group_10__1241_22.min1.thm1
2017-02-06 12:46
838
group_10__1237_24.min1.thm1
2017-02-06 12:46
1.3K
group_10__1233_56.min1.thm1.tptp
2017-02-06 16:47
334
group_10__1233_56.min1.thm1
2017-02-06 12:46
412
group_10__1204_22.min1.thm1
2017-02-06 12:46
1.5K
group_10__1183_22.min1.thm1.tptp
2017-02-06 16:47
782
group_10__1183_22.min1.thm1
2017-02-06 12:46
826
group_10__1179_22.min1.thm1.tptp
2017-02-06 16:47
782
group_10__1179_22.min1.thm1
2017-02-06 12:46
826
group_10__1157_16.min1.thm1
2017-02-06 12:46
1.0K
group_10__1156_61.min1.thm1
2017-02-06 12:46
2.0K
group_10__1140_20.min1.thm1
2017-02-06 12:46
324
group_10__1138_12.min1.thm1
2017-02-06 12:46
762
group_10__1128_35.min1.thm1
2017-02-06 12:46
861
group_10__1119_68.min1.thm1
2017-02-06 12:46
1.0K
group_10__1118_34.min1.thm1.tptp
2017-02-06 16:47
409
group_10__1118_34.min1.thm1
2017-02-06 12:46
473
group_10__1116_33.min1.thm1
2017-02-06 12:46
609
group_10__1110_19.min1.thm1
2017-02-06 12:46
858
group_10__1109_29.min1.thm1
2017-02-06 12:46
638
group_10__1106_35.min1.thm1
2017-02-06 12:46
861
group_10__1100_33.min1.thm1
2017-02-06 12:46
608
group_10__1098_35.min1.thm1
2017-02-06 12:46
861
group_10__1088_59.min1.thm1
2017-02-06 12:46
2.3K
group_10__1085_41.min1.thm1
2017-02-06 12:46
137
group_10__1084_54.min1.thm1
2017-02-06 12:46
1.6K
group_10__1080_43.min1.thm1
2017-02-06 12:46
714
group_10__1074_23.min1.thm1
2017-02-06 12:46
764
group_10__1072_33.min1.thm1
2017-02-06 12:46
135
group_10__1031_16.min1.thm1.tptp
2017-02-06 16:47
759
group_10__1031_16.min1.thm1
2017-02-06 12:46
836
group_10__1030_47.min1.thm1.tptp
2017-02-06 16:47
759
group_10__1030_47.min1.thm1
2017-02-06 12:46
836
group_10__1022_16.min1.thm1
2017-02-06 12:46
1.7K
group_10__1010_44.min1.thm1.tptp
2017-02-06 16:47
360
group_10__1010_44.min1.thm1
2017-02-06 12:46
438
group_10__900_20.min1.thm1
2017-02-06 12:46
469
group_10__898_46.min1.thm1
2017-02-06 12:46
914
group_10__884_43.min1.thm1
2017-02-06 12:46
1.1K
group_10__883_22.min1.thm1.tptp
2017-02-06 16:47
435
group_10__883_22.min1.thm1
2017-02-06 12:46
499
group_10__881_18.min1.thm1
2017-02-06 12:46
1.0K
group_10__875_19.min1.thm1
2017-02-06 12:46
623
group_10__867_18.min1.thm1
2017-02-06 12:46
1.0K
group_10__855_36.min1.thm1
2017-02-06 12:46
137
group_10__853_40.min1.thm1.tptp
2017-02-06 16:47
302
group_10__853_40.min1.thm1
2017-02-06 12:46
380
group_10__852_39.min1.thm1.tptp
2017-02-06 16:47
276
group_10__852_39.min1.thm1
2017-02-06 12:46
354
group_10__839_33.min1.thm1
2017-02-06 12:46
135
group_10__826_24.min1.thm1
2017-02-06 12:46
918
group_10__817_21.min1.thm1
2017-02-06 12:46
914
group_10__787_16.min1.thm1.tptp
2017-02-06 16:47
771
group_10__787_16.min1.thm1
2017-02-06 12:46
848
group_10__786_63.min1.thm1.tptp
2017-02-06 16:47
771
group_10__786_63.min1.thm1
2017-02-06 12:46
848
group_10__770_71.min1.thm1.tptp
2017-02-06 16:47
826
group_10__770_71.min1.thm1
2017-02-06 12:46
870
group_10__767_24.min1.thm1
2017-02-06 12:46
684
group_10__766_18.min1.thm1
2017-02-06 12:46
846
group_10__763_19.min1.thm1
2017-02-06 12:46
833
group_10__760_20.min1.thm1
2017-02-06 12:46
535
group_10__759_26.min1.thm1
2017-02-06 12:46
585
group_10__758_44.min1.thm1.tptp
2017-02-06 16:47
334
group_10__758_44.min1.thm1
2017-02-06 12:46
412
group_10__719_63.min1.thm1.tptp
2017-02-06 16:47
814
group_10__719_63.min1.thm1
2017-02-06 12:46
858
group_10__716_63.min1.thm1.tptp
2017-02-06 16:47
814
group_10__716_63.min1.thm1
2017-02-06 12:46
858
group_10__688_17.min1.thm1.tptp
2017-02-06 16:47
631
group_10__688_17.min1.thm1
2017-02-06 12:46
708
group_10__687_31.min1.thm1.tptp
2017-02-06 16:47
631
group_10__687_31.min1.thm1
2017-02-06 12:46
708
group_10__672_24.min1.thm1
2017-02-06 12:46
583
group_10__667_45.min1.thm1
2017-02-06 12:46
1.0K
group_10__666_23.min1.thm1.tptp
2017-02-06 16:47
409
group_10__666_23.min1.thm1
2017-02-06 12:46
473
group_10__663_24.min1.thm1
2017-02-06 12:46
607
group_10__656_70.min1.thm1
2017-02-06 12:46
879
group_10__655_27.min1.thm1
2017-02-06 12:46
1.7K
group_10__654_49.min1.thm1
2017-02-06 12:46
825
group_10__652_14.min1.thm1
2017-02-06 12:46
525
group_10__650_24.min1.thm1
2017-02-06 12:46
583
group_10__645_20.min1.thm1
2017-02-06 12:46
623
group_10__637_22.min1.thm1
2017-02-06 12:46
608
group_10__636_24.min1.thm1
2017-02-06 12:46
583
group_10__627_41.min1.thm1
2017-02-06 12:46
137
group_10__626_46.min1.thm1.tptp
2017-02-06 16:47
330
group_10__626_46.min1.thm1
2017-02-06 12:46
408
group_10__619_23.min1.thm1
2017-02-06 12:46
1.0K
group_10__617_41.min1.thm1
2017-02-06 12:46
135
group_10__581_17.min1.thm1
2017-02-06 12:46
904
group_10__575_21.min1.thm1
2017-02-06 12:46
1.7K
group_10__561_34.min1.thm1
2017-02-06 12:46
1.5K
group_10__549_19.min1.thm1
2017-02-06 12:46
1.2K
group_10__538_23.min1.thm1
2017-02-06 12:46
1.0K
group_10__536_16.min1.thm1.tptp
2017-02-06 16:47
294
group_10__536_16.min1.thm1
2017-02-06 12:46
359
group_10__535_45.min1.thm1
2017-02-06 12:46
1.1K
group_10__534_22.min1.thm1
2017-02-06 12:46
1.2K
group_10__527_29.min1.thm1.tptp
2017-02-06 16:47
484
group_10__527_29.min1.thm1
2017-02-06 12:46
549
group_10__526_21.min1.thm1
2017-02-06 12:46
918
group_10__525_27.min1.thm1
2017-02-06 12:46
1.4K
group_10__523_29.min1.thm1
2017-02-06 12:46
943
group_10__522_19.min1.thm1
2017-02-06 12:46
689
group_10__520_46.min1.thm1
2017-02-06 12:46
496
group_10__513_28.min1.thm1
2017-02-06 12:46
133
group_10__512_46.min1.thm1
2017-02-06 12:46
1.1K
group_10__506_24.min1.thm1.tptp
2017-02-06 16:47
443
group_10__506_24.min1.thm1
2017-02-06 12:46
519
group_10__504_51.min1.thm1
2017-02-06 12:46
480
group_10__500_24.min1.thm1.tptp
2017-02-06 16:47
441
group_10__500_24.min1.thm1
2017-02-06 12:46
516
group_10__498_51.min1.thm1.tptp
2017-02-06 16:47
345
group_10__498_51.min1.thm1
2017-02-06 12:46
393
group_10__495_17.min1.thm1
2017-02-06 12:46
245
group_10__490_22.min1.thm1
2017-02-06 12:46
1.2K
group_10__474_21.min1.thm1
2017-02-06 12:46
1.0K
group_10__469_27.min1.thm1
2017-02-06 12:46
1.5K
group_10__468_24.min1.thm1.tptp
2017-02-06 16:47
424
group_10__468_24.min1.thm1
2017-02-06 12:46
487
group_10__462_21.min1.thm1
2017-02-06 12:46
1.0K
group_10__457_27.min1.thm1
2017-02-06 12:46
1.3K
group_10__456_24.min1.thm1.tptp
2017-02-06 16:47
424
group_10__456_24.min1.thm1
2017-02-06 12:46
487
group_10__452_18.min1.thm1
2017-02-06 12:46
961
group_10__451_33.min1.thm1.tptp
2017-02-06 16:47
458
group_10__451_33.min1.thm1
2017-02-06 12:46
512
group_10__449_25.min1.thm1
2017-02-06 12:46
2.4K
group_10__448_25.min1.thm1
2017-02-06 12:46
1.6K
group_10__447_20.min1.thm1
2017-02-06 12:46
440
group_10__438_25.min1.thm1
2017-02-06 12:46
951
group_10__436_18.min1.thm1
2017-02-06 12:46
821
group_10__431_21.min1.thm1
2017-02-06 12:46
769
group_10__425_21.min1.thm1
2017-02-06 12:46
768
group_10__394_25.min1.thm1
2017-02-06 12:46
131
group_10__393_14.min1.thm1
2017-02-06 12:46
1.8K
group_10__374_14.min1.thm1
2017-02-06 12:46
1.2K
group_10__373_56.min1.thm1
2017-02-06 12:46
1.5K
group_10__372_21.min1.thm1
2017-02-06 12:46
1.0K
group_10__371_28.min1.thm1
2017-02-06 12:46
790
group_10__370_16.min1.thm1
2017-02-06 12:46
471
group_10__368_17.min1.thm1
2017-02-06 12:46
779
group_10__363_38.min1.thm1
2017-02-06 12:46
452
group_10__354_13.min1.thm1
2017-02-06 12:46
550
group_10__346_19.min1.thm1
2017-02-06 12:46
576
group_10__344_23.min1.thm1
2017-02-06 12:46
504
group_10__343_55.min1.thm1.tptp
2017-02-06 16:47
470
group_10__343_55.min1.thm1
2017-02-06 12:46
523
group_10__328_16.min1.thm1.tptp
2017-02-06 16:47
593
group_10__328_16.min1.thm1
2017-02-06 12:46
670
group_10__327_44.min1.thm1.tptp
2017-02-06 16:47
593
group_10__327_44.min1.thm1
2017-02-06 12:46
670
group_10__319_16.min1.thm1
2017-02-06 12:46
1.2K
group_10__313_69.min1.thm1
2017-02-06 12:46
1.4K
group_10__309_26.min1.thm1
2017-02-06 12:46
1.4K
group_10__308_44.min1.thm1.tptp
2017-02-06 16:47
296
group_10__308_44.min1.thm1
2017-02-06 12:46
374
group_10__294_49.min1.thm1
2017-02-06 12:46
1.5K
group_10__286_28.min1.thm1
2017-02-06 12:46
2.5K
group_10__281_33.min1.thm1
2017-02-06 12:46
2.3K
group_10__270_61.min1.thm1
2017-02-06 12:46
1.1K
group_10__268_25.min1.thm1
2017-02-06 12:46
1.2K
group_10__267_61.min1.thm1
2017-02-06 12:46
1.1K
group_10__265_25.min1.thm1
2017-02-06 12:46
1.2K
group_10__235_21.min1.thm1
2017-02-06 12:46
1.2K
group_10__233_63.min1.thm1
2017-02-06 12:46
857
group_10__231_23.min1.thm1
2017-02-06 12:46
1.6K
group_10__230_64.min1.thm1
2017-02-06 12:46
865
group_10__228_24.min1.thm1
2017-02-06 12:46
1.6K
group_10__227_17.min1.thm1.tptp
2017-02-06 16:47
709
group_10__227_17.min1.thm1
2017-02-06 12:46
760
group_10__198_34.min1.thm1
2017-02-06 12:46
1.2K
group_10__189_26.min1.thm1
2017-02-06 12:46
1.4K
group_10__188_31.min1.thm1
2017-02-06 12:46
1.0K
group_10__184_23.min1.thm1
2017-02-06 12:46
1.3K
group_10__183_28.min1.thm1
2017-02-06 12:46
685
group_10__178_23.min1.thm1
2017-02-06 12:46
1.3K
group_10__177_28.min1.thm1
2017-02-06 12:46
685
group_10__174_61.min1.thm1
2017-02-06 12:46
1.0K
group_10__171_33.min1.thm1
2017-02-06 12:46
759
group_10__169_23.min1.thm1
2017-02-06 12:46
880
group_10__162_30.min1.thm1
2017-02-06 12:46
134
group_10__161_43.min1.thm1.tptp
2017-02-06 16:47
284
group_10__161_43.min1.thm1
2017-02-06 12:46
362
group_10__150_23.min1.thm1
2017-02-06 12:46
809
group_10__146_23.min1.thm1
2017-02-06 12:46
809
group_10__139_29.min1.thm1.tptp
2017-02-06 16:47
535
group_10__139_29.min1.thm1
2017-02-06 12:46
602
group_10__138_17.min1.thm1.tptp
2017-02-06 16:47
588
group_10__138_17.min1.thm1
2017-02-06 12:46
651
group_10__99_22.min1.thm1
2017-02-06 12:46
865
group_10__97_14.min1.thm1
2017-02-06 12:46
167
group_10__91_67.min1.thm1
2017-02-06 12:46
667
group_10__90_39.min1.thm1
2017-02-06 12:46
1.0K
group_10__86_8.min1.thm1
2017-02-06 12:46
1.3K
group_10__64_21.min1.thm1
2017-02-06 12:46
1.2K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80