Index of /~mptp/1147/mptp/ilp0/seq_4
Name
Last modified
Size
Description
Parent Directory
-
seq_4__3994_14.min1.thm1
2017-02-06 12:44
254
seq_4__3989_16.min1.thm1
2017-02-06 12:44
1.0K
seq_4__3985_25.min1.thm1
2017-02-06 12:44
680
seq_4__3983_31.min1.thm1
2017-02-06 12:44
929
seq_4__3982_56.min1.thm1
2017-02-06 12:44
712
seq_4__3967_52.min1.thm1
2017-02-06 12:44
1.6K
seq_4__3966_28.min1.thm1
2017-02-06 12:44
917
seq_4__3961_25.min1.thm1
2017-02-06 12:44
1.0K
seq_4__3959_19.min1.thm1
2017-02-06 12:44
1.3K
seq_4__3956_22.min1.thm1
2017-02-06 12:44
514
seq_4__3955_25.min1.thm1
2017-02-06 12:44
882
seq_4__3948_22.min1.thm1
2017-02-06 12:44
514
seq_4__3947_25.min1.thm1
2017-02-06 12:44
882
seq_4__3937_25.min1.thm1
2017-02-06 12:44
1.2K
seq_4__3925_52.min1.thm1
2017-02-06 12:44
1.6K
seq_4__3924_28.min1.thm1
2017-02-06 12:44
917
seq_4__3919_25.min1.thm1
2017-02-06 12:44
1.0K
seq_4__3917_19.min1.thm1
2017-02-06 12:44
1.3K
seq_4__3916_31.min1.thm1
2017-02-06 12:44
1.0K
seq_4__3914_22.min1.thm1
2017-02-06 12:44
514
seq_4__3913_25.min1.thm1
2017-02-06 12:44
882
seq_4__3909_26.min1.thm1
2017-02-06 12:44
1.0K
seq_4__3906_22.min1.thm1
2017-02-06 12:44
514
seq_4__3905_25.min1.thm1
2017-02-06 12:44
882
seq_4__3895_25.min1.thm1
2017-02-06 12:44
1.2K
seq_4__3885_16.min1.thm1
2017-02-06 12:44
1.7K
seq_4__3881_27.min1.thm1
2017-02-06 12:44
1.1K
seq_4__3880_23.min1.thm1
2017-02-06 12:44
626
seq_4__3878_40.min1.thm1
2017-02-06 12:44
520
seq_4__3867_20.min1.thm1
2017-02-06 12:44
2.0K
seq_4__3865_29.min1.thm1
2017-02-06 12:44
745
seq_4__3855_18.min1.thm1.tptp
2017-02-06 16:47
408
seq_4__3855_18.min1.thm1
2017-02-06 12:44
486
seq_4__3853_54.min1.thm1.tptp
2017-02-06 16:47
258
seq_4__3853_54.min1.thm1
2017-02-06 12:44
346
seq_4__3841_32.min1.thm1
2017-02-06 12:44
1.0K
seq_4__3830_27.min1.thm1
2017-02-06 12:44
464
seq_4__3825_22.min1.thm1
2017-02-06 12:44
2.1K
seq_4__3822_28.min1.thm1
2017-02-06 12:44
2.1K
seq_4__3815_15.min1.thm1
2017-02-06 12:44
255
seq_4__3812_12.min1.thm1
2017-02-06 12:44
1.6K
seq_4__3806_27.min1.thm1
2017-02-06 12:44
1.1K
seq_4__3803_26.min1.thm1
2017-02-06 12:44
1.3K
seq_4__3800_11.min1.thm1
2017-02-06 12:44
1.3K
seq_4__3797_20.min1.thm1
2017-02-06 12:44
1.6K
seq_4__3796_23.min1.thm1
2017-02-06 12:44
1.1K
seq_4__3794_17.min1.thm1
2017-02-06 12:44
1.4K
seq_4__3793_14.min1.thm1
2017-02-06 12:44
1.3K
seq_4__3784_26.min1.thm1
2017-02-06 12:44
828
seq_4__3782_20.min1.thm1
2017-02-06 12:44
2.1K
seq_4__3778_15.min1.thm1
2017-02-06 12:44
1.2K
seq_4__3759_27.min1.thm1
2017-02-06 12:44
464
seq_4__3754_22.min1.thm1
2017-02-06 12:44
2.1K
seq_4__3751_28.min1.thm1
2017-02-06 12:44
2.1K
seq_4__3744_15.min1.thm1
2017-02-06 12:44
255
seq_4__3741_12.min1.thm1
2017-02-06 12:44
1.6K
seq_4__3735_27.min1.thm1
2017-02-06 12:44
1.1K
seq_4__3732_26.min1.thm1
2017-02-06 12:44
1.3K
seq_4__3729_11.min1.thm1
2017-02-06 12:44
1.3K
seq_4__3726_20.min1.thm1
2017-02-06 12:44
1.6K
seq_4__3725_23.min1.thm1
2017-02-06 12:44
1.1K
seq_4__3724_19.min1.thm1
2017-02-06 12:44
765
seq_4__3723_17.min1.thm1
2017-02-06 12:44
1.4K
seq_4__3722_14.min1.thm1
2017-02-06 12:44
1.3K
seq_4__3714_21.min1.thm1
2017-02-06 12:44
1.1K
seq_4__3713_26.min1.thm1
2017-02-06 12:44
828
seq_4__3711_20.min1.thm1
2017-02-06 12:44
2.1K
seq_4__3707_15.min1.thm1
2017-02-06 12:44
1.2K
seq_4__3693_16.min1.thm1
2017-02-06 12:44
2.6K
seq_4__3692_30.min1.thm1
2017-02-06 12:44
1.4K
seq_4__3689_13.min1.thm1
2017-02-06 12:44
2.6K
seq_4__3688_13.min1.thm1
2017-02-06 12:44
1.8K
seq_4__3687_33.min1.thm1
2017-02-06 12:44
856
seq_4__3684_20.min1.thm1
2017-02-06 12:44
1.7K
seq_4__3681_12.min1.thm1
2017-02-06 12:44
1.4K
seq_4__3678_16.min1.thm1
2017-02-06 12:44
2.5K
seq_4__3677_30.min1.thm1
2017-02-06 12:44
1.4K
seq_4__3674_13.min1.thm1
2017-02-06 12:44
2.6K
seq_4__3673_13.min1.thm1
2017-02-06 12:44
1.8K
seq_4__3672_33.min1.thm1
2017-02-06 12:44
857
seq_4__3669_20.min1.thm1
2017-02-06 12:44
1.7K
seq_4__3666_12.min1.thm1
2017-02-06 12:44
1.4K
seq_4__3665_17.min1.thm1
2017-02-06 12:44
1.4K
seq_4__3664_35.min1.thm1
2017-02-06 12:44
917
seq_4__3663_14.min1.thm1
2017-02-06 12:44
1.5K
seq_4__3660_50.min1.thm1
2017-02-06 12:44
842
seq_4__3659_24.min1.thm1
2017-02-06 12:44
953
seq_4__3657_22.min1.thm1
2017-02-06 12:44
953
seq_4__3651_24.min1.thm1
2017-02-06 12:44
1.1K
seq_4__3648_22.min1.thm1
2017-02-06 12:44
1.1K
seq_4__3645_27.min1.thm1
2017-02-06 12:44
1.6K
seq_4__3644_14.min1.thm1
2017-02-06 12:44
1.4K
seq_4__3643_17.min1.thm1
2017-02-06 12:44
1.4K
seq_4__3642_35.min1.thm1
2017-02-06 12:44
914
seq_4__3641_13.min1.thm1
2017-02-06 12:44
1.4K
seq_4__3638_26.min1.thm1
2017-02-06 12:44
1.4K
seq_4__3636_12.min1.thm1
2017-02-06 12:44
2.5K
seq_4__3634_41.min1.thm1
2017-02-06 12:44
673
seq_4__3621_17.min1.thm1
2017-02-06 12:44
1.1K
seq_4__3620_10.min1.thm1
2017-02-06 12:44
1.1K
seq_4__3599_14.min1.thm1
2017-02-06 12:44
450
seq_4__3595_15.min1.thm1
2017-02-06 12:44
368
seq_4__3587_21.min1.thm1
2017-02-06 12:44
2.5K
seq_4__3581_26.min1.thm1
2017-02-06 12:44
2.4K
seq_4__3577_22.min1.thm1
2017-02-06 12:44
2.0K
seq_4__3575_17.min1.thm1
2017-02-06 12:44
931
seq_4__3573_25.min1.thm1
2017-02-06 12:44
1.7K
seq_4__3572_17.min1.thm1
2017-02-06 12:44
1.6K
seq_4__3570_24.min1.thm1
2017-02-06 12:44
1.7K
seq_4__3569_24.min1.thm1
2017-02-06 12:44
1.5K
seq_4__3563_21.min1.thm1
2017-02-06 12:44
2.5K
seq_4__3560_17.min1.thm1
2017-02-06 12:44
231
seq_4__3558_18.min1.thm1
2017-02-06 12:44
2.1K
seq_4__3544_17.min1.thm1
2017-02-06 12:44
1.2K
seq_4__3535_17.min1.thm1
2017-02-06 12:44
895
seq_4__3534_33.min1.thm1
2017-02-06 12:44
1.6K
seq_4__3532_15.min1.thm1
2017-02-06 12:44
861
seq_4__3530_26.min1.thm1
2017-02-06 12:44
2.1K
seq_4__3529_30.min1.thm1
2017-02-06 12:44
562
seq_4__3521_49.min1.thm1
2017-02-06 12:44
1.2K
seq_4__3509_70.min1.thm1
2017-02-06 12:44
1.5K
seq_4__3508_29.min1.thm1
2017-02-06 12:44
1.4K
seq_4__3507_21.min1.thm1
2017-02-06 12:44
235
seq_4__3505_14.min1.thm1
2017-02-06 12:44
1.5K
seq_4__3494_14.min1.thm1
2017-02-06 12:44
206
seq_4__3475_23.min1.thm1
2017-02-06 12:44
1.2K
seq_4__3473_32.min1.thm1
2017-02-06 12:44
2.2K
seq_4__3470_13.min1.thm1
2017-02-06 12:44
2.2K
seq_4__3460_14.min1.thm1
2017-02-06 12:44
310
seq_4__3450_16.min1.thm1
2017-02-06 12:44
1.2K
seq_4__3436_14.min1.thm1
2017-02-06 12:44
330
seq_4__3432_17.min1.thm1
2017-02-06 12:44
1.2K
seq_4__3428_18.min1.thm1
2017-02-06 12:44
1.3K
seq_4__3425_13.min1.thm1
2017-02-06 12:44
189
seq_4__3409_25.min1.thm1
2017-02-06 12:44
3.1K
seq_4__3408_20.min1.thm1
2017-02-06 12:44
2.1K
seq_4__3405_33.min1.thm1
2017-02-06 12:44
1.1K
seq_4__3404_26.min1.thm1
2017-02-06 12:44
2.9K
seq_4__3387_29.min1.thm1
2017-02-06 12:44
2.4K
seq_4__3386_13.min1.thm1
2017-02-06 12:44
863
seq_4__3383_17.min1.thm1
2017-02-06 12:44
1.5K
seq_4__3365_13.min1.thm1
2017-02-06 12:44
863
seq_4__3351_17.min1.thm1
2017-02-06 12:44
702
seq_4__3350_14.min1.thm1
2017-02-06 12:44
1.3K
seq_4__3338_14.min1.thm1
2017-02-06 12:44
468
seq_4__3332_26.min1.thm1
2017-02-06 12:44
972
seq_4__3328_26.min1.thm1
2017-02-06 12:44
901
seq_4__3325_20.min1.thm1
2017-02-06 12:44
1.2K
seq_4__3322_19.min1.thm1
2017-02-06 12:44
364
seq_4__3318_24.min1.thm1
2017-02-06 12:44
1.7K
seq_4__3316_32.min1.thm1
2017-02-06 12:44
638
seq_4__3312_26.min1.thm1
2017-02-06 12:44
1.3K
seq_4__3309_19.min1.thm1
2017-02-06 12:44
225
seq_4__3303_29.min1.thm1
2017-02-06 12:44
667
seq_4__3299_25.min1.thm1
2017-02-06 12:44
972
seq_4__3295_25.min1.thm1
2017-02-06 12:44
901
seq_4__3292_20.min1.thm1
2017-02-06 12:44
1.2K
seq_4__3289_18.min1.thm1
2017-02-06 12:44
364
seq_4__3285_24.min1.thm1
2017-02-06 12:44
1.7K
seq_4__3283_32.min1.thm1
2017-02-06 12:44
638
seq_4__3279_25.min1.thm1
2017-02-06 12:44
1.3K
seq_4__3276_19.min1.thm1
2017-02-06 12:44
225
seq_4__3270_29.min1.thm1
2017-02-06 12:44
667
seq_4__3268_29.min1.thm1
2017-02-06 12:44
536
seq_4__3265_26.min1.thm1
2017-02-06 12:44
1.0K
seq_4__3264_27.min1.thm1
2017-02-06 12:44
1.1K
seq_4__3260_26.min1.thm1
2017-02-06 12:44
1.0K
seq_4__3259_27.min1.thm1
2017-02-06 12:44
1.1K
seq_4__3256_22.min1.thm1
2017-02-06 12:44
1.2K
seq_4__3251_40.min1.thm1
2017-02-06 12:44
1.0K
seq_4__3249_27.min1.thm1
2017-02-06 12:44
925
seq_4__3247_28.min1.thm1
2017-02-06 12:44
538
seq_4__3244_25.min1.thm1
2017-02-06 12:44
1.0K
seq_4__3243_27.min1.thm1
2017-02-06 12:44
1.1K
seq_4__3239_25.min1.thm1
2017-02-06 12:44
1.0K
seq_4__3238_27.min1.thm1
2017-02-06 12:44
1.1K
seq_4__3235_22.min1.thm1
2017-02-06 12:44
1.2K
seq_4__3230_39.min1.thm1
2017-02-06 12:44
1.0K
seq_4__3228_27.min1.thm1
2017-02-06 12:44
925
seq_4__3225_23.min1.thm1
2017-02-06 12:44
1.1K
seq_4__3223_46.min1.thm1
2017-02-06 12:44
1.5K
seq_4__3222_17.min1.thm1
2017-02-06 12:44
1.1K
seq_4__3220_53.min1.thm1
2017-02-06 12:44
795
seq_4__3219_29.min1.thm1
2017-02-06 12:44
763
seq_4__3214_33.min1.thm1
2017-02-06 12:44
514
seq_4__3213_26.min1.thm1
2017-02-06 12:44
692
seq_4__3212_29.min1.thm1
2017-02-06 12:44
666
seq_4__3211_33.min1.thm1
2017-02-06 12:44
512
seq_4__3210_26.min1.thm1
2017-02-06 12:44
691
seq_4__3209_33.min1.thm1
2017-02-06 12:44
485
seq_4__3208_15.min1.thm1.tptp
2017-02-06 16:47
282
seq_4__3208_15.min1.thm1
2017-02-06 12:44
347
seq_4__3207_14.min1.thm1
2017-02-06 12:44
1.4K
seq_4__3205_29.min1.thm1
2017-02-06 12:44
666
seq_4__3202_13.min1.thm1
2017-02-06 12:44
183
seq_4__3192_9.min1.thm1
2017-02-06 12:44
713
seq_4__3178_17.min1.thm1
2017-02-06 12:44
1.9K
seq_4__3175_39.min1.thm1
2017-02-06 12:44
899
seq_4__3160_17.min1.thm1
2017-02-06 12:44
242
seq_4__3155_22.min1.thm1
2017-02-06 12:44
631
seq_4__3142_14.min1.thm1
2017-02-06 12:44
694
seq_4__3141_35.min1.thm1.tptp
2017-02-06 16:47
512
seq_4__3141_35.min1.thm1
2017-02-06 12:44
568
seq_4__3132_16.min1.thm1.tptp
2017-02-06 16:47
341
seq_4__3132_16.min1.thm1
2017-02-06 12:44
419
seq_4__3130_18.min1.thm1
2017-02-06 12:44
511
seq_4__3129_62.min1.thm1
2017-02-06 12:44
619
seq_4__3112_34.min1.thm1
2017-02-06 12:44
1.0K
seq_4__3111_41.min1.thm1
2017-02-06 12:44
1.3K
seq_4__3110_13.min1.thm1.tptp
2017-02-06 16:47
387
seq_4__3110_13.min1.thm1
2017-02-06 12:44
441
seq_4__3097_21.min1.thm1
2017-02-06 12:44
713
seq_4__3089_17.min1.thm1
2017-02-06 12:44
405
seq_4__3075_22.min1.thm1
2017-02-06 12:44
840
seq_4__3059_14.min1.thm1
2017-02-06 12:44
1.6K
seq_4__3048_17.min1.thm1
2017-02-06 12:44
405
seq_4__3044_14.min1.thm1
2017-02-06 12:44
1.6K
seq_4__3022_46.min1.thm1
2017-02-06 12:44
1.2K
seq_4__3016_46.min1.thm1
2017-02-06 12:44
1.2K
seq_4__2996_14.min1.thm1
2017-02-06 12:44
1.6K
seq_4__2988_14.min1.thm1
2017-02-06 12:44
1.6K
seq_4__2973_32.min1.thm1
2017-02-06 12:44
1.3K
seq_4__2972_26.min1.thm1
2017-02-06 12:44
1.2K
seq_4__2971_15.min1.thm1
2017-02-06 12:44
558
seq_4__2953_43.min1.thm1
2017-02-06 12:44
1.3K
seq_4__2950_48.min1.thm1
2017-02-06 12:44
1.6K
seq_4__2949_51.min1.thm1
2017-02-06 12:44
740
seq_4__2948_24.min1.thm1
2017-02-06 12:44
865
seq_4__2934_42.min1.thm1
2017-02-06 12:44
539
seq_4__2927_15.min1.thm1
2017-02-06 12:44
1.0K
seq_4__2909_13.min1.thm1
2017-02-06 12:44
472
seq_4__2908_16.min1.thm1
2017-02-06 12:44
472
seq_4__2907_52.min1.thm1
2017-02-06 12:44
760
seq_4__2906_12.min1.thm1
2017-02-06 12:44
859
seq_4__2897_49.min1.thm1
2017-02-06 12:44
937
seq_4__2896_28.min1.thm1
2017-02-06 12:44
599
seq_4__2893_49.min1.thm1
2017-02-06 12:44
937
seq_4__2892_28.min1.thm1
2017-02-06 12:44
599
seq_4__2883_75.min1.thm1
2017-02-06 12:44
806
seq_4__2878_19.min1.thm1
2017-02-06 12:44
622
seq_4__2877_25.min1.thm1
2017-02-06 12:44
551
seq_4__2865_15.min1.thm1
2017-02-06 12:44
387
seq_4__2842_21.min1.thm1
2017-02-06 12:44
954
seq_4__2821_18.min1.thm1
2017-02-06 12:44
762
seq_4__2804_22.min1.thm1
2017-02-06 12:44
718
seq_4__2779_13.min1.thm1
2017-02-06 12:44
1.6K
seq_4__2757_18.min1.thm1
2017-02-06 12:44
682
seq_4__2745_28.min1.thm1
2017-02-06 12:44
2.1K
seq_4__2719_43.min1.thm1
2017-02-06 12:44
1.7K
seq_4__2717_35.min1.thm1
2017-02-06 12:44
2.2K
seq_4__2709_14.min1.thm1
2017-02-06 12:44
1.6K
seq_4__2679_14.min1.thm1
2017-02-06 12:44
1.6K
seq_4__2668_17.min1.thm1
2017-02-06 12:44
1.2K
seq_4__2665_14.min1.thm1
2017-02-06 12:44
571
seq_4__2658_25.min1.thm1
2017-02-06 12:44
739
seq_4__2656_30.min1.thm1
2017-02-06 12:44
940
seq_4__2655_55.min1.thm1
2017-02-06 12:44
538
seq_4__2644_16.min1.thm1.tptp
2017-02-06 16:47
371
seq_4__2644_16.min1.thm1
2017-02-06 12:44
449
seq_4__2633_19.min1.thm1
2017-02-06 12:44
622
seq_4__2632_25.min1.thm1
2017-02-06 12:44
551
seq_4__2620_15.min1.thm1
2017-02-06 12:44
387
seq_4__2603_30.min1.thm1
2017-02-06 12:44
1.0K
seq_4__2588_18.min1.thm1
2017-02-06 12:44
603
seq_4__2579_26.min1.thm1
2017-02-06 12:44
763
seq_4__2560_17.min1.thm1
2017-02-06 12:44
902
seq_4__2559_20.min1.thm1
2017-02-06 12:44
590
seq_4__2557_21.min1.thm1
2017-02-06 12:44
825
seq_4__2556_18.min1.thm1
2017-02-06 12:44
591
seq_4__2553_21.min1.thm1
2017-02-06 12:44
955
seq_4__2549_24.min1.thm1
2017-02-06 12:44
1.0K
seq_4__2544_11.min1.thm1
2017-02-06 12:44
712
seq_4__2540_16.min1.thm1
2017-02-06 12:44
712
seq_4__2525_17.min1.thm1
2017-02-06 12:44
641
seq_4__2524_20.min1.thm1
2017-02-06 12:44
591
seq_4__2521_15.min1.thm1
2017-02-06 12:44
236
seq_4__2516_14.min1.thm1
2017-02-06 12:44
542
seq_4__2515_40.min1.thm1
2017-02-06 12:44
486
seq_4__2514_14.min1.thm1
2017-02-06 12:44
454
seq_4__2495_12.min1.thm1
2017-02-06 12:44
1.1K
seq_4__2483_16.min1.thm1
2017-02-06 12:44
588
seq_4__2457_38.min1.thm1
2017-02-06 12:44
820
seq_4__2450_38.min1.thm1
2017-02-06 12:44
781
seq_4__2443_26.min1.thm1
2017-02-06 12:44
765
seq_4__2436_17.min1.thm1
2017-02-06 12:44
498
seq_4__2435_24.min1.thm1
2017-02-06 12:44
596
seq_4__2421_40.min1.thm1
2017-02-06 12:44
1.8K
seq_4__2420_22.min1.thm1
2017-02-06 12:44
718
seq_4__2413_40.min1.thm1
2017-02-06 12:44
1.8K
seq_4__2412_22.min1.thm1
2017-02-06 12:44
718
seq_4__2375_35.min1.thm1
2017-02-06 12:44
863
seq_4__2363_19.min1.thm1
2017-02-06 12:44
503
seq_4__2331_32.min1.thm1
2017-02-06 12:44
635
seq_4__2271_11.min1.thm1
2017-02-06 12:44
1.5K
seq_4__2248_37.min1.thm1
2017-02-06 12:44
2.4K
seq_4__2244_41.min1.thm1
2017-02-06 12:44
921
seq_4__2233_17.min1.thm1
2017-02-06 12:44
626
seq_4__2213_15.min1.thm1
2017-02-06 12:44
711
seq_4__2211_24.min1.thm1
2017-02-06 12:44
3.0K
seq_4__2197_14.min1.thm1
2017-02-06 12:44
2.8K
seq_4__2190_20.min1.thm1
2017-02-06 12:44
1.8K
seq_4__2182_20.min1.thm1
2017-02-06 12:44
1.8K
seq_4__2119_20.min1.thm1
2017-02-06 12:44
863
seq_4__2118_22.min1.thm1
2017-02-06 12:44
603
seq_4__2086_14.min1.thm1
2017-02-06 12:44
1.6K
seq_4__2071_15.min1.thm1
2017-02-06 12:44
1.4K
seq_4__2015_55.min1.thm1
2017-02-06 12:44
1.8K
seq_4__2000_26.min1.thm1
2017-02-06 12:44
1.5K
seq_4__2000_19.min1.thm1
2017-02-06 12:44
1.6K
seq_4__1984_11.min1.thm1
2017-02-06 12:44
1.4K
seq_4__1983_38.min1.thm1
2017-02-06 12:44
1.3K
seq_4__1977_12.min1.thm1
2017-02-06 12:44
1.1K
seq_4__1931_17.min1.thm1
2017-02-06 12:44
1.7K
seq_4__1930_23.min1.thm1
2017-02-06 12:44
1.9K
seq_4__1929_14.min1.thm1
2017-02-06 12:44
2.1K
seq_4__1923_17.min1.thm1
2017-02-06 12:44
1.9K
seq_4__1922_14.min1.thm1
2017-02-06 12:44
2.1K
seq_4__1914_11.min1.thm1
2017-02-06 12:44
1.4K
seq_4__1909_13.min1.thm1
2017-02-06 12:44
1.0K
seq_4__1890_32.min1.thm1
2017-02-06 12:44
869
seq_4__1889_31.min1.thm1
2017-02-06 12:44
906
seq_4__1884_26.min1.thm1
2017-02-06 12:44
1.5K
seq_4__1871_31.min1.thm1
2017-02-06 12:44
1.7K
seq_4__1863_37.min1.thm1
2017-02-06 12:44
897
seq_4__1839_31.min1.thm1
2017-02-06 12:44
1.4K
seq_4__1838_27.min1.thm1
2017-02-06 12:44
1.5K
seq_4__1833_21.min1.thm1
2017-02-06 12:44
1.8K
seq_4__1830_33.min1.thm1
2017-02-06 12:44
875
seq_4__1829_32.min1.thm1
2017-02-06 12:44
1.1K
seq_4__1812_37.min1.thm1
2017-02-06 12:44
1.7K
seq_4__1802_44.min1.thm1
2017-02-06 12:44
1.0K
seq_4__1788_36.min1.thm1
2017-02-06 12:44
1.7K
seq_4__1778_43.min1.thm1
2017-02-06 12:44
1.0K
seq_4__1739_46.min1.thm1
2017-02-06 12:44
378
seq_4__1709_34.min1.thm1
2017-02-06 12:44
1.0K
seq_4__1704_19.min1.thm1
2017-02-06 12:44
356
seq_4__1701_44.min1.thm1
2017-02-06 12:44
1.2K
seq_4__1699_20.min1.thm1
2017-02-06 12:44
1.1K
seq_4__1688_47.min1.thm1
2017-02-06 12:44
1.8K
seq_4__1685_38.min1.thm1
2017-02-06 12:44
1.0K
seq_4__1680_14.min1.thm1
2017-02-06 12:44
1.2K
seq_4__1677_14.min1.thm1
2017-02-06 12:44
1.2K
seq_4__1670_33.min1.thm1
2017-02-06 12:44
1.0K
seq_4__1660_14.min1.thm1
2017-02-06 12:44
1.2K
seq_4__1652_17.min1.thm1
2017-02-06 12:44
1.0K
seq_4__1642_17.min1.thm1
2017-02-06 12:44
722
seq_4__1624_18.min1.thm1
2017-02-06 12:44
590
seq_4__1621_12.min1.thm1
2017-02-06 12:44
843
seq_4__1599_18.min1.thm1
2017-02-06 12:44
590
seq_4__1597_12.min1.thm1
2017-02-06 12:44
843
seq_4__1579_47.min1.thm1
2017-02-06 12:44
2.2K
seq_4__1577_45.min1.thm1
2017-02-06 12:44
2.2K
seq_4__1575_45.min1.thm1
2017-02-06 12:44
2.2K
seq_4__1573_45.min1.thm1
2017-02-06 12:44
2.2K
seq_4__1551_27.min1.thm1
2017-02-06 12:44
713
seq_4__1547_39.min1.thm1
2017-02-06 12:44
1.5K
seq_4__1546_20.min1.thm1
2017-02-06 12:44
2.6K
seq_4__1544_13.min1.thm1
2017-02-06 12:44
1.4K
seq_4__1539_15.min1.thm1
2017-02-06 12:44
1.4K
seq_4__1538_10.min1.thm1
2017-02-06 12:44
1.9K
seq_4__1521_26.min1.thm1
2017-02-06 12:44
903
seq_4__1516_25.min1.thm1
2017-02-06 12:44
1.5K
seq_4__1512_27.min1.thm1
2017-02-06 12:44
564
seq_4__1503_29.min1.thm1
2017-02-06 12:44
670
seq_4__1497_45.min1.thm1
2017-02-06 12:44
3.7K
seq_4__1482_25.min1.thm1
2017-02-06 12:44
1.7K
seq_4__1480_25.min1.thm1
2017-02-06 12:44
729
seq_4__1457_33.min1.thm1
2017-02-06 12:44
253
seq_4__1429_13.min1.thm1
2017-02-06 12:44
1.8K
seq_4__1426_60.min1.thm1
2017-02-06 12:44
1.6K
seq_4__1417_58.min1.thm1
2017-02-06 12:44
1.5K
seq_4__1411_21.min1.thm1
2017-02-06 12:44
2.4K
seq_4__1410_30.min1.thm1
2017-02-06 12:44
265
seq_4__1407_41.min1.thm1
2017-02-06 12:44
1.9K
seq_4__1406_17.min1.thm1
2017-02-06 12:44
1.1K
seq_4__1405_20.min1.thm1
2017-02-06 12:44
1.1K
seq_4__1404_18.min1.thm1
2017-02-06 12:44
856
seq_4__1398_20.min1.thm1
2017-02-06 12:44
1.1K
seq_4__1396_39.min1.thm1
2017-02-06 12:44
925
seq_4__1395_64.min1.thm1
2017-02-06 12:44
561
seq_4__1391_25.min1.thm1
2017-02-06 12:44
715
seq_4__1389_39.min1.thm1.tptp
2017-02-06 16:47
431
seq_4__1389_39.min1.thm1
2017-02-06 12:44
500
seq_4__1383_56.min1.thm1
2017-02-06 12:44
768
seq_4__1382_13.min1.thm1.tptp
2017-02-06 16:47
411
seq_4__1382_13.min1.thm1
2017-02-06 12:44
480
seq_4__1356_58.min1.thm1
2017-02-06 12:44
1.4K
seq_4__1351_21.min1.thm1
2017-02-06 12:44
2.4K
seq_4__1348_41.min1.thm1
2017-02-06 12:44
1.9K
seq_4__1347_17.min1.thm1
2017-02-06 12:44
1.1K
seq_4__1346_20.min1.thm1
2017-02-06 12:44
1.1K
seq_4__1345_18.min1.thm1
2017-02-06 12:44
855
seq_4__1339_21.min1.thm1
2017-02-06 12:44
2.4K
seq_4__1338_17.min1.thm1
2017-02-06 12:44
376
seq_4__1336_78.min1.thm1
2017-02-06 12:44
1.3K
seq_4__1332_25.min1.thm1
2017-02-06 12:44
1.4K
seq_4__1330_39.min1.thm1.tptp
2017-02-06 16:47
785
seq_4__1330_39.min1.thm1
2017-02-06 12:44
854
seq_4__1321_15.min1.thm1
2017-02-06 12:44
260
seq_4__1311_17.min1.thm1
2017-02-06 12:44
2.3K
seq_4__1308_39.min1.thm1
2017-02-06 12:44
925
seq_4__1298_26.min1.thm1.tptp
2017-02-06 16:47
373
seq_4__1298_26.min1.thm1
2017-02-06 12:44
459
seq_4__1297_17.min1.thm1.tptp
2017-02-06 16:47
241
seq_4__1297_17.min1.thm1
2017-02-06 12:44
329
seq_4__1295_24.min1.thm1
2017-02-06 12:44
745
seq_4__1292_25.min1.thm1
2017-02-06 12:44
479
seq_4__1268_24.min1.thm1
2017-02-06 12:44
1.1K
seq_4__1267_15.min1.thm1
2017-02-06 12:44
368
seq_4__1237_24.min1.thm1
2017-02-06 12:44
1.1K
seq_4__1236_15.min1.thm1
2017-02-06 12:44
368
seq_4__1212_60.min1.thm1
2017-02-06 12:44
560
seq_4__1207_19.min1.thm1
2017-02-06 12:44
817
seq_4__1192_22.min1.thm1
2017-02-06 12:44
1.8K
seq_4__1183_17.min1.thm1
2017-02-06 12:44
1.5K
seq_4__1181_19.min1.thm1
2017-02-06 12:44
891
seq_4__1180_31.min1.thm1
2017-02-06 12:44
719
seq_4__1171_16.min1.thm1
2017-02-06 12:44
712
seq_4__1166_17.min1.thm1
2017-02-06 12:44
1.1K
seq_4__1164_20.min1.thm1
2017-02-06 12:44
724
seq_4__1136_20.min1.thm1
2017-02-06 12:44
1.7K
seq_4__1135_17.min1.thm1
2017-02-06 12:44
1.5K
seq_4__1131_24.min1.thm1
2017-02-06 12:44
1.1K
seq_4__1127_17.min1.thm1
2017-02-06 12:44
713
seq_4__1122_17.min1.thm1
2017-02-06 12:44
1.1K
seq_4__1116_20.min1.thm1
2017-02-06 12:44
724
seq_4__1108_19.min1.thm1
2017-02-06 12:44
890
seq_4__1107_31.min1.thm1
2017-02-06 12:44
719
seq_4__1086_7.min1.thm1
2017-02-06 12:44
748
seq_4__1081_16.min1.thm1.tptp
2017-02-06 16:47
453
seq_4__1081_16.min1.thm1
2017-02-06 12:44
530
seq_4__1080_20.min1.thm1
2017-02-06 12:44
3.0K
seq_4__1079_25.min1.thm1
2017-02-06 12:44
3.0K
seq_4__1078_24.min1.thm1
2017-02-06 12:44
627
seq_4__1071_30.min1.thm1
2017-02-06 12:44
371
seq_4__1054_31.min1.thm1
2017-02-06 12:44
2.5K
seq_4__1050_12.min1.thm1
2017-02-06 12:44
2.2K
seq_4__1049_25.min1.thm1
2017-02-06 12:44
1.6K
seq_4__1044_19.min1.thm1
2017-02-06 12:44
2.1K
seq_4__1042_20.min1.thm1
2017-02-06 12:44
2.5K
seq_4__1038_20.min1.thm1
2017-02-06 12:44
2.0K
seq_4__1036_21.min1.thm1
2017-02-06 12:44
2.5K
seq_4__1035_29.min1.thm1
2017-02-06 12:44
1.9K
seq_4__1034_11.min1.thm1
2017-02-06 12:44
2.4K
seq_4__1030_12.min1.thm1
2017-02-06 12:44
570
seq_4__1017_20.min1.thm1.tptp
2017-02-06 16:47
426
seq_4__1017_20.min1.thm1
2017-02-06 12:44
503
seq_4__1013_10.min1.thm1
2017-02-06 12:44
2.2K
seq_4__1012_25.min1.thm1
2017-02-06 12:44
1.5K
seq_4__1007_19.min1.thm1
2017-02-06 12:44
2.1K
seq_4__1005_13.min1.thm1
2017-02-06 12:44
2.5K
seq_4__1001_20.min1.thm1
2017-02-06 12:44
2.0K
seq_4__999_19.min1.thm1
2017-02-06 12:44
2.5K
seq_4__998_27.min1.thm1
2017-02-06 12:44
1.9K
seq_4__997_11.min1.thm1
2017-02-06 12:44
2.4K
seq_4__993_12.min1.thm1
2017-02-06 12:44
562
seq_4__980_7.min1.thm1
2017-02-06 12:44
748
seq_4__975_16.min1.thm1.tptp
2017-02-06 16:47
415
seq_4__975_16.min1.thm1
2017-02-06 12:44
492
seq_4__974_18.min1.thm1
2017-02-06 12:44
2.3K
seq_4__973_23.min1.thm1
2017-02-06 12:44
2.2K
seq_4__972_22.min1.thm1
2017-02-06 12:44
589
seq_4__965_30.min1.thm1
2017-02-06 12:44
371
seq_4__948_27.min1.thm1
2017-02-06 12:44
2.1K
seq_4__945_28.min1.thm1
2017-02-06 12:44
3.7K
seq_4__944_11.min1.thm1
2017-02-06 12:44
1.6K
seq_4__943_15.min1.thm1
2017-02-06 12:44
1.4K
seq_4__938_22.min1.thm1
2017-02-06 12:44
1.5K
seq_4__936_25.min1.thm1
2017-02-06 12:44
3.8K
seq_4__934_12.min1.thm1
2017-02-06 12:44
570
seq_4__919_18.min1.thm1.tptp
2017-02-06 16:47
390
seq_4__919_18.min1.thm1
2017-02-06 12:44
467
seq_4__916_26.min1.thm1
2017-02-06 12:44
3.7K
seq_4__915_9.min1.thm1
2017-02-06 12:44
1.6K
seq_4__914_15.min1.thm1
2017-02-06 12:44
1.4K
seq_4__909_22.min1.thm1
2017-02-06 12:44
1.5K
seq_4__907_23.min1.thm1
2017-02-06 12:44
3.8K
seq_4__905_12.min1.thm1
2017-02-06 12:44
562
seq_4__891_17.min1.thm1
2017-02-06 12:44
2.1K
seq_4__890_21.min1.thm1
2017-02-06 12:44
1.0K
seq_4__874_17.min1.thm1
2017-02-06 12:44
946
seq_4__871_19.min1.thm1
2017-02-06 12:44
2.7K
seq_4__870_24.min1.thm1
2017-02-06 12:44
929
seq_4__869_12.min1.thm1
2017-02-06 12:44
862
seq_4__868_15.min1.thm1
2017-02-06 12:44
346
seq_4__859_21.min1.thm1
2017-02-06 12:44
1.1K
seq_4__858_18.min1.thm1
2017-02-06 12:44
614
seq_4__857_27.min1.thm1
2017-02-06 12:44
1.1K
seq_4__856_30.min1.thm1
2017-02-06 12:44
1.8K
seq_4__855_26.min1.thm1
2017-02-06 12:44
937
seq_4__854_14.min1.thm1
2017-02-06 12:44
870
seq_4__847_11.min1.thm1
2017-02-06 12:44
640
seq_4__846_37.min1.thm1
2017-02-06 12:44
780
seq_4__841_19.min1.thm1
2017-02-06 12:44
1.7K
seq_4__832_16.min1.thm1
2017-02-06 12:44
1.6K
seq_4__830_26.min1.thm1
2017-02-06 12:44
794
seq_4__813_25.min1.thm1
2017-02-06 12:44
3.1K
seq_4__798_22.min1.thm1
2017-02-06 12:44
768
seq_4__794_39.min1.thm1
2017-02-06 12:44
792
seq_4__790_23.min1.thm1
2017-02-06 12:44
1.8K
seq_4__784_37.min1.thm1
2017-02-06 12:44
917
seq_4__783_15.min1.thm1
2017-02-06 12:44
1.4K
seq_4__763_28.min1.thm1
2017-02-06 12:44
680
seq_4__759_21.min1.thm1
2017-02-06 12:44
1.8K
seq_4__753_35.min1.thm1
2017-02-06 12:44
910
seq_4__752_15.min1.thm1
2017-02-06 12:44
1.4K
seq_4__729_14.min1.thm1
2017-02-06 12:44
1.9K
seq_4__721_15.min1.thm1
2017-02-06 12:44
353
seq_4__713_11.min1.thm1
2017-02-06 12:44
531
seq_4__703_40.min1.thm1
2017-02-06 12:44
861
seq_4__693_40.min1.thm1
2017-02-06 12:44
842
seq_4__692_38.min1.thm1
2017-02-06 12:44
654
seq_4__691_19.min1.thm1
2017-02-06 12:44
1.5K
seq_4__678_39.min1.thm1
2017-02-06 12:44
528
seq_4__665_30.min1.thm1
2017-02-06 12:44
866
seq_4__655_30.min1.thm1
2017-02-06 12:44
855
seq_4__654_29.min1.thm1
2017-02-06 12:44
612
seq_4__653_17.min1.thm1
2017-02-06 12:44
1.5K
seq_4__640_39.min1.thm1
2017-02-06 12:44
528
seq_4__625_23.min1.thm1
2017-02-06 12:44
1.0K
seq_4__621_16.min1.thm1
2017-02-06 12:44
2.6K
seq_4__598_16.min1.thm1
2017-02-06 12:44
2.6K
seq_4__569_24.min1.thm1
2017-02-06 12:44
1.6K
seq_4__552_36.min1.thm1
2017-02-06 12:44
708
seq_4__528_14.min1.thm1.tptp
2017-02-06 16:47
704
seq_4__528_14.min1.thm1
2017-02-06 12:44
760
seq_4__521_27.min1.thm1
2017-02-06 12:44
661
seq_4__505_26.min1.thm1
2017-02-06 12:44
371
seq_4__491_15.min1.thm1
2017-02-06 12:44
572
seq_4__490_19.min1.thm1
2017-02-06 12:44
880
seq_4__486_14.min1.thm1
2017-02-06 12:44
608
seq_4__483_19.min1.thm1
2017-02-06 12:44
854
seq_4__481_21.min1.thm1
2017-02-06 12:44
1.2K
seq_4__480_25.min1.thm1
2017-02-06 12:44
1.3K
seq_4__479_24.min1.thm1
2017-02-06 12:44
1.0K
seq_4__477_25.min1.thm1
2017-02-06 12:44
1.3K
seq_4__472_21.min1.thm1
2017-02-06 12:44
1.2K
seq_4__471_25.min1.thm1
2017-02-06 12:44
1.3K
seq_4__470_24.min1.thm1
2017-02-06 12:44
1.0K
seq_4__468_25.min1.thm1
2017-02-06 12:44
1.3K
seq_4__449_14.min1.thm1
2017-02-06 12:44
638
seq_4__448_35.min1.thm1
2017-02-06 12:44
856
seq_4__447_63.min1.thm1
2017-02-06 12:44
470
seq_4__440_17.min1.thm1
2017-02-06 12:44
1.4K
seq_4__439_22.min1.thm1
2017-02-06 12:44
1.3K
seq_4__434_46.min1.thm1
2017-02-06 12:44
1.6K
seq_4__430_14.min1.thm1
2017-02-06 12:44
582
seq_4__428_14.min1.thm1
2017-02-06 12:44
582
seq_4__420_39.min1.thm1
2017-02-06 12:44
609
seq_4__418_25.min1.thm1
2017-02-06 12:44
710
seq_4__417_34.min1.thm1
2017-02-06 12:44
791
seq_4__416_61.min1.thm1
2017-02-06 12:44
636
seq_4__403_39.min1.thm1
2017-02-06 12:44
609
seq_4__401_25.min1.thm1
2017-02-06 12:44
710
seq_4__400_34.min1.thm1
2017-02-06 12:44
791
seq_4__399_61.min1.thm1
2017-02-06 12:44
636
seq_4__386_19.min1.thm1
2017-02-06 12:44
614
seq_4__378_20.min1.thm1
2017-02-06 12:44
834
seq_4__377_20.min1.thm1
2017-02-06 12:44
845
seq_4__361_19.min1.thm1
2017-02-06 12:44
614
seq_4__353_20.min1.thm1
2017-02-06 12:44
841
seq_4__316_17.min1.thm1
2017-02-06 12:44
584
seq_4__313_44.min1.thm1
2017-02-06 12:44
1.0K
seq_4__308_44.min1.thm1
2017-02-06 12:44
1.0K
seq_4__292_17.min1.thm1
2017-02-06 12:44
1.0K
seq_4__291_17.min1.thm1
2017-02-06 12:44
554
seq_4__290_15.min1.thm1
2017-02-06 12:44
368
seq_4__287_23.min1.thm1
2017-02-06 12:44
1.1K
seq_4__286_19.min1.thm1
2017-02-06 12:44
1.1K
seq_4__285_16.min1.thm1
2017-02-06 12:44
835
seq_4__279_26.min1.thm1
2017-02-06 12:44
368
seq_4__276_42.min1.thm1
2017-02-06 12:44
610
seq_4__272_35.min1.thm1
2017-02-06 12:44
396
seq_4__271_34.min1.thm1
2017-02-06 12:44
730
seq_4__270_28.min1.thm1
2017-02-06 12:44
468
seq_4__268_41.min1.thm1
2017-02-06 12:44
547
seq_4__256_17.min1.thm1
2017-02-06 12:44
584
seq_4__253_44.min1.thm1
2017-02-06 12:44
1.0K
seq_4__248_44.min1.thm1
2017-02-06 12:44
1.0K
seq_4__232_17.min1.thm1
2017-02-06 12:44
1.0K
seq_4__231_17.min1.thm1
2017-02-06 12:44
498
seq_4__230_15.min1.thm1
2017-02-06 12:44
368
seq_4__227_33.min1.thm1
2017-02-06 12:44
1.0K
seq_4__226_19.min1.thm1
2017-02-06 12:44
1.1K
seq_4__225_16.min1.thm1
2017-02-06 12:44
839
seq_4__220_41.min1.thm1
2017-02-06 12:44
548
seq_4__218_26.min1.thm1
2017-02-06 12:44
368
seq_4__215_64.min1.thm1
2017-02-06 12:44
888
seq_4__211_34.min1.thm1
2017-02-06 12:44
730
seq_4__210_28.min1.thm1
2017-02-06 12:44
469
seq_4__196_16.min1.thm1.tptp
2017-02-06 16:47
275
seq_4__196_16.min1.thm1
2017-02-06 12:44
353
seq_4__194_21.min1.thm1
2017-02-06 12:44
644
seq_4__180_17.min1.thm1.tptp
2017-02-06 16:47
281
seq_4__180_17.min1.thm1
2017-02-06 12:44
358
seq_4__179_37.min1.thm1
2017-02-06 12:44
560
seq_4__171_18.min1.thm1
2017-02-06 12:44
903
seq_4__169_15.min1.thm1
2017-02-06 12:44
493
seq_4__168_37.min1.thm1
2017-02-06 12:44
568
seq_4__147_22.min1.thm1
2017-02-06 12:44
1.0K
seq_4__146_26.min1.thm1
2017-02-06 12:44
655
seq_4__142_17.min1.thm1
2017-02-06 12:44
836
seq_4__141_17.min1.thm1
2017-02-06 12:44
836
seq_4__139_34.min1.thm1
2017-02-06 12:44
929
seq_4__138_28.min1.thm1
2017-02-06 12:44
716
seq_4__136_34.min1.thm1
2017-02-06 12:44
929
seq_4__135_29.min1.thm1
2017-02-06 12:44
717
seq_4__124_16.min1.thm1.tptp
2017-02-06 16:47
193
seq_4__124_16.min1.thm1
2017-02-06 12:44
281
seq_4__122_11.min1.thm1
2017-02-06 12:44
843
seq_4__117_39.min1.thm1
2017-02-06 12:44
1.0K
seq_4__109_30.min1.thm1
2017-02-06 12:44
1.7K
seq_4__108_20.min1.thm1
2017-02-06 12:44
1.8K
seq_4__105_30.min1.thm1
2017-02-06 12:44
1.2K
seq_4__104_25.min1.thm1
2017-02-06 12:44
723
seq_4__100_15.min1.thm1
2017-02-06 12:44
499
seq_4__98_15.min1.thm1
2017-02-06 12:44
368
seq_4__97_38.min1.thm1
2017-02-06 12:44
339
seq_4__92_17.min1.thm1
2017-02-06 12:44
1.4K
seq_4__91_24.min1.thm1
2017-02-06 12:44
1.3K
seq_4__90_14.min1.thm1
2017-02-06 12:44
1.1K
seq_4__88_15.min1.thm1
2017-02-06 12:44
442
seq_4__69_16.min1.thm1.tptp
2017-02-06 16:47
496
seq_4__69_16.min1.thm1
2017-02-06 12:44
530
seq_4__67_25.min1.thm1
2017-02-06 12:44
367
seq_4__64_44.min1.thm1
2017-02-06 12:44
1.0K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80