Index of /~mptp/1147/MPTP2/ilp0/comptrig
Name
Last modified
Size
Description
Parent Directory
-
comptrig__50_11.min1.thm1
2017-02-06 12:45
284
comptrig__58_16.min1.thm1
2017-02-06 12:45
2.2K
comptrig__61_11.min1.thm1
2017-02-06 12:45
1.7K
comptrig__63_14.min1.thm1
2017-02-06 12:45
538
comptrig__66_16.min1.thm1
2017-02-06 12:45
416
comptrig__68_27.min1.thm1
2017-02-06 12:45
528
comptrig__70_27.min1.thm1
2017-02-06 12:45
344
comptrig__70_27.min1.thm1.tptp
2017-02-06 16:48
272
comptrig__72_14.min1.thm1
2017-02-06 12:45
1.1K
comptrig__79_18.min1.thm1
2017-02-06 12:45
1.0K
comptrig__81_40.min1.thm1
2017-02-06 12:45
1.8K
comptrig__82_18.min1.thm1
2017-02-06 12:45
1.0K
comptrig__84_33.min1.thm1
2017-02-06 12:45
1.1K
comptrig__93_18.min1.thm1
2017-02-06 12:45
1.0K
comptrig__95_40.min1.thm1
2017-02-06 12:45
2.1K
comptrig__96_18.min1.thm1
2017-02-06 12:45
1.0K
comptrig__98_33.min1.thm1
2017-02-06 12:45
1.1K
comptrig__108_29.min1.thm1
2017-02-06 12:45
494
comptrig__108_29.min1.thm1.tptp
2017-02-06 16:48
417
comptrig__118_13.min1.thm1
2017-02-06 12:45
1.9K
comptrig__119_17.min1.thm1
2017-02-06 12:45
1.5K
comptrig__126_21.min1.thm1
2017-02-06 12:45
465
comptrig__127_19.min1.thm1
2017-02-06 12:45
1.9K
comptrig__133_17.min1.thm1
2017-02-06 12:45
458
comptrig__136_14.min1.thm1
2017-02-06 12:45
1.4K
comptrig__141_24.min1.thm1
2017-02-06 12:45
1.2K
comptrig__143_24.min1.thm1
2017-02-06 12:45
1.7K
comptrig__168_21.min1.thm1
2017-02-06 12:45
882
comptrig__170_12.min1.thm1
2017-02-06 12:45
1.2K
comptrig__171_10.min1.thm1
2017-02-06 12:45
837
comptrig__172_17.min1.thm1
2017-02-06 12:45
915
comptrig__183_20.min1.thm1
2017-02-06 12:45
1.5K
comptrig__184_22.min1.thm1
2017-02-06 12:45
1.0K
comptrig__187_12.min1.thm1
2017-02-06 12:45
1.4K
comptrig__191_19.min1.thm1
2017-02-06 12:45
1.2K
comptrig__195_19.min1.thm1
2017-02-06 12:45
1.0K
comptrig__199_18.min1.thm1
2017-02-06 12:45
1.4K
comptrig__201_23.min1.thm1
2017-02-06 12:45
1.4K
comptrig__202_15.min1.thm1
2017-02-06 12:45
1.4K
comptrig__203_30.min1.thm1
2017-02-06 12:45
1.3K
comptrig__207_19.min1.thm1
2017-02-06 12:45
1.2K
comptrig__216_17.min1.thm1
2017-02-06 12:45
1.0K
comptrig__217_43.min1.thm1
2017-02-06 12:45
1.3K
comptrig__218_42.min1.thm1
2017-02-06 12:45
1.2K
comptrig__226_20.min1.thm1
2017-02-06 12:45
1.2K
comptrig__227_16.min1.thm1
2017-02-06 12:45
872
comptrig__230_18.min1.thm1
2017-02-06 12:45
1.4K
comptrig__232_21.min1.thm1
2017-02-06 12:45
1.4K
comptrig__233_11.min1.thm1
2017-02-06 12:45
1.4K
comptrig__234_22.min1.thm1
2017-02-06 12:45
1.0K
comptrig__243_29.min1.thm1
2017-02-06 12:45
1.4K
comptrig__244_49.min1.thm1
2017-02-06 12:45
1.4K
comptrig__245_48.min1.thm1
2017-02-06 12:45
1.6K
comptrig__255_18.min1.thm1
2017-02-06 12:45
1.7K
comptrig__257_25.min1.thm1
2017-02-06 12:45
1.3K
comptrig__258_14.min1.thm1
2017-02-06 12:45
1.9K
comptrig__259_29.min1.thm1
2017-02-06 12:45
1.5K
comptrig__268_32.min1.thm1
2017-02-06 12:45
1.7K
comptrig__269_55.min1.thm1
2017-02-06 12:45
1.5K
comptrig__270_54.min1.thm1
2017-02-06 12:45
1.7K
comptrig__280_20.min1.thm1
2017-02-06 12:45
3.0K
comptrig__283_13.min1.thm1
2017-02-06 12:45
1.9K
comptrig__284_28.min1.thm1
2017-02-06 12:45
1.3K
comptrig__294_57.min1.thm1
2017-02-06 12:45
2.4K
comptrig__295_56.min1.thm1
2017-02-06 12:45
2.5K
comptrig__303_19.min1.thm1
2017-02-06 12:45
1.2K
comptrig__304_16.min1.thm1
2017-02-06 12:45
579
comptrig__304_16.min1.thm1.tptp
2017-02-06 16:48
512
comptrig__307_18.min1.thm1
2017-02-06 12:45
2.8K
comptrig__308_24.min1.thm1
2017-02-06 12:45
1.4K
comptrig__311_15.min1.thm1
2017-02-06 12:45
2.6K
comptrig__322_57.min1.thm1
2017-02-06 12:45
2.3K
comptrig__323_56.min1.thm1
2017-02-06 12:45
2.6K
comptrig__333_14.min1.thm1
2017-02-06 12:45
794
comptrig__334_52.min1.thm1
2017-02-06 12:45
971
comptrig__335_36.min1.thm1
2017-02-06 12:45
2.6K
comptrig__336_17.min1.thm1
2017-02-06 12:45
889
comptrig__346_16.min1.thm1
2017-02-06 12:45
794
comptrig__347_34.min1.thm1
2017-02-06 12:45
1.1K
comptrig__349_31.min1.thm1
2017-02-06 12:45
2.3K
comptrig__350_28.min1.thm1
2017-02-06 12:45
1.0K
comptrig__351_33.min1.thm1
2017-02-06 12:45
1.5K
comptrig__353_57.min1.thm1
2017-02-06 12:45
2.6K
comptrig__354_17.min1.thm1
2017-02-06 12:45
1.3K
comptrig__364_21.min1.thm1
2017-02-06 12:45
1.1K
comptrig__365_19.min1.thm1
2017-02-06 12:45
1.0K
comptrig__367_27.min1.thm1
2017-02-06 12:45
1.0K
comptrig__378_21.min1.thm1
2017-02-06 12:45
1.1K
comptrig__379_19.min1.thm1
2017-02-06 12:45
1.0K
comptrig__381_28.min1.thm1
2017-02-06 12:45
1.3K
comptrig__392_21.min1.thm1
2017-02-06 12:45
1.0K
comptrig__396_21.min1.thm1
2017-02-06 12:45
632
comptrig__407_23.min1.thm1
2017-02-06 12:45
2.1K
comptrig__410_24.min1.thm1
2017-02-06 12:45
968
comptrig__427_18.min1.thm1
2017-02-06 12:45
1.5K
comptrig__432_18.min1.thm1
2017-02-06 12:45
1.5K
comptrig__435_17.min1.thm1
2017-02-06 12:45
1.4K
comptrig__436_14.min1.thm1
2017-02-06 12:45
1.3K
comptrig__439_15.min1.thm1
2017-02-06 12:45
1.3K
comptrig__440_21.min1.thm1
2017-02-06 12:45
2.0K
comptrig__441_32.min1.thm1
2017-02-06 12:45
1.9K
comptrig__444_24.min1.thm1
2017-02-06 12:45
782
comptrig__445_29.min1.thm1
2017-02-06 12:45
663
comptrig__447_20.min1.thm1
2017-02-06 12:45
1.6K
comptrig__449_20.min1.thm1
2017-02-06 12:45
1.6K
comptrig__451_18.min1.thm1
2017-02-06 12:45
1.3K
comptrig__457_22.min1.thm1
2017-02-06 12:45
1.4K
comptrig__460_29.min1.thm1
2017-02-06 12:45
1.7K
comptrig__461_40.min1.thm1
2017-02-06 12:45
1.6K
comptrig__464_35.min1.thm1
2017-02-06 12:45
1.6K
comptrig__470_40.min1.thm1
2017-02-06 12:45
1.3K
comptrig__478_29.min1.thm1
2017-02-06 12:45
364
comptrig__483_22.min1.thm1
2017-02-06 12:45
1.4K
comptrig__486_40.min1.thm1
2017-02-06 12:45
1.8K
comptrig__496_36.min1.thm1
2017-02-06 12:45
2.7K
comptrig__499_29.min1.thm1
2017-02-06 12:45
364
comptrig__502_25.min1.thm1
2017-02-06 12:45
354
comptrig__517_24.min1.thm1
2017-02-06 12:45
781
comptrig__518_29.min1.thm1
2017-02-06 12:45
661
comptrig__520_18.min1.thm1
2017-02-06 12:45
1.5K
comptrig__521_24.min1.thm1
2017-02-06 12:45
781
comptrig__522_29.min1.thm1
2017-02-06 12:45
661
comptrig__524_19.min1.thm1
2017-02-06 12:45
1.6K
comptrig__527_19.min1.thm1
2017-02-06 12:45
2.5K
comptrig__536_19.min1.thm1
2017-02-06 12:45
1.5K
comptrig__538_15.min1.thm1
2017-02-06 12:45
1.3K
comptrig__540_17.min1.thm1
2017-02-06 12:45
1.6K
comptrig__541_15.min1.thm1
2017-02-06 12:45
1.3K
comptrig__543_33.min1.thm1
2017-02-06 12:45
2.5K
comptrig__546_20.min1.thm1
2017-02-06 12:45
1.6K
comptrig__548_18.min1.thm1
2017-02-06 12:45
1.4K
comptrig__552_20.min1.thm1
2017-02-06 12:45
1.6K
comptrig__554_22.min1.thm1
2017-02-06 12:45
1.9K
comptrig__557_31.min1.thm1
2017-02-06 12:45
2.7K
comptrig__558_41.min1.thm1
2017-02-06 12:45
2.1K
comptrig__561_36.min1.thm1
2017-02-06 12:45
2.1K
comptrig__567_41.min1.thm1
2017-02-06 12:45
1.8K
comptrig__575_29.min1.thm1
2017-02-06 12:45
364
comptrig__580_22.min1.thm1
2017-02-06 12:45
1.9K
comptrig__583_41.min1.thm1
2017-02-06 12:45
2.4K
comptrig__595_29.min1.thm1
2017-02-06 12:45
364
comptrig__598_25.min1.thm1
2017-02-06 12:45
354
comptrig__612_20.min1.thm1
2017-02-06 12:45
1.4K
comptrig__613_23.min1.thm1
2017-02-06 12:45
781
comptrig__614_28.min1.thm1
2017-02-06 12:45
661
comptrig__616_18.min1.thm1
2017-02-06 12:45
1.5K
comptrig__617_23.min1.thm1
2017-02-06 12:45
781
comptrig__618_28.min1.thm1
2017-02-06 12:45
661
comptrig__620_19.min1.thm1
2017-02-06 12:45
1.6K
comptrig__621_21.min1.thm1
2017-02-06 12:45
1.3K
comptrig__623_15.min1.thm1
2017-02-06 12:45
1.2K
comptrig__625_14.min1.thm1
2017-02-06 12:45
1.3K
comptrig__630_19.min1.thm1
2017-02-06 12:45
1.5K
comptrig__631_21.min1.thm1
2017-02-06 12:45
1.4K
comptrig__632_22.min1.thm1
2017-02-06 12:45
1.3K
comptrig__634_14.min1.thm1
2017-02-06 12:45
2.8K
comptrig__635_15.min1.thm1
2017-02-06 12:45
1.3K
comptrig__636_19.min1.thm1
2017-02-06 12:45
1.6K
comptrig__637_26.min1.thm1
2017-02-06 12:45
2.1K
comptrig__640_20.min1.thm1
2017-02-06 12:45
1.6K
comptrig__642_18.min1.thm1
2017-02-06 12:45
2.2K
comptrig__646_22.min1.thm1
2017-02-06 12:45
919
comptrig__649_27.min1.thm1
2017-02-06 12:45
1.1K
comptrig__650_34.min1.thm1
2017-02-06 12:45
1.4K
comptrig__652_40.min1.thm1
2017-02-06 12:45
1.5K
comptrig__653_29.min1.thm1
2017-02-06 12:45
2.5K
comptrig__654_45.min1.thm1
2017-02-06 12:45
1.5K
comptrig__659_34.min1.thm1
2017-02-06 12:45
1.4K
comptrig__660_45.min1.thm1
2017-02-06 12:45
1.5K
comptrig__667_29.min1.thm1
2017-02-06 12:45
364
comptrig__672_22.min1.thm1
2017-02-06 12:45
919
comptrig__675_34.min1.thm1
2017-02-06 12:45
1.4K
comptrig__676_45.min1.thm1
2017-02-06 12:45
1.5K
comptrig__684_36.min1.thm1
2017-02-06 12:45
1.6K
comptrig__687_29.min1.thm1
2017-02-06 12:45
364
comptrig__690_25.min1.thm1
2017-02-06 12:45
354
comptrig__706_24.min1.thm1
2017-02-06 12:45
1.4K
comptrig__708_15.min1.thm1
2017-02-06 12:45
1.5K
comptrig__713_18.min1.thm1
2017-02-06 12:45
1.5K
comptrig__716_17.min1.thm1
2017-02-06 12:45
1.4K
comptrig__717_14.min1.thm1
2017-02-06 12:45
1.3K
comptrig__719_15.min1.thm1
2017-02-06 12:45
1.7K
comptrig__720_15.min1.thm1
2017-02-06 12:45
1.3K
comptrig__721_21.min1.thm1
2017-02-06 12:45
2.0K
comptrig__722_29.min1.thm1
2017-02-06 12:45
2.0K
comptrig__725_24.min1.thm1
2017-02-06 12:45
782
comptrig__726_29.min1.thm1
2017-02-06 12:45
663
comptrig__728_20.min1.thm1
2017-02-06 12:45
1.6K
comptrig__730_20.min1.thm1
2017-02-06 12:45
1.6K
comptrig__732_18.min1.thm1
2017-02-06 12:45
789
comptrig__736_18.min1.thm1
2017-02-06 12:45
1.1K
comptrig__738_22.min1.thm1
2017-02-06 12:45
1.3K
comptrig__741_29.min1.thm1
2017-02-06 12:45
1.7K
comptrig__742_37.min1.thm1
2017-02-06 12:45
1.9K
comptrig__745_32.min1.thm1
2017-02-06 12:45
1.9K
comptrig__751_37.min1.thm1
2017-02-06 12:45
1.2K
comptrig__759_29.min1.thm1
2017-02-06 12:45
364
comptrig__764_22.min1.thm1
2017-02-06 12:45
1.3K
comptrig__767_37.min1.thm1
2017-02-06 12:45
1.6K
comptrig__776_36.min1.thm1
2017-02-06 12:45
1.2K
comptrig__779_29.min1.thm1
2017-02-06 12:45
364
comptrig__782_25.min1.thm1
2017-02-06 12:45
354
comptrig__790_20.min1.thm1
2017-02-06 12:45
571
comptrig__791_25.min1.thm1
2017-02-06 12:45
447
comptrig__793_31.min1.thm1
2017-02-06 12:45
1.6K
comptrig__794_20.min1.thm1
2017-02-06 12:45
571
comptrig__795_25.min1.thm1
2017-02-06 12:45
447
comptrig__796_34.min1.thm1
2017-02-06 12:45
1.6K
comptrig__797_17.min1.thm1
2017-02-06 12:45
2.3K
comptrig__809_34.min1.thm1
2017-02-06 12:45
862
comptrig__818_20.min1.thm1
2017-02-06 12:45
1.3K
comptrig__820_76.min1.thm1
2017-02-06 12:45
1.3K
comptrig__835_34.min1.thm1
2017-02-06 12:45
862
comptrig__842_20.min1.thm1
2017-02-06 12:45
1.3K
comptrig__844_76.min1.thm1
2017-02-06 12:45
1.3K
comptrig__860_34.min1.thm1
2017-02-06 12:45
862
comptrig__866_48.min1.thm1
2017-02-06 12:45
2.7K
comptrig__870_43.min1.thm1
2017-02-06 12:45
1.7K
comptrig__884_28.min1.thm1
2017-02-06 12:45
893
comptrig__887_21.min1.thm1
2017-02-06 12:45
723
comptrig__906_34.min1.thm1
2017-02-06 12:45
862
comptrig__907_44.min1.thm1
2017-02-06 12:45
1.7K
comptrig__918_37.min1.thm1
2017-02-06 12:45
2.5K
comptrig__926_28.min1.thm1
2017-02-06 12:45
899
comptrig__929_21.min1.thm1
2017-02-06 12:45
723
comptrig__943_23.min1.thm1
2017-02-06 12:45
1.9K
comptrig__945_25.min1.thm1
2017-02-06 12:45
2.2K
comptrig__948_34.min1.thm1
2017-02-06 12:45
862
comptrig__949_37.min1.thm1
2017-02-06 12:45
2.0K
comptrig__950_23.min1.thm1
2017-02-06 12:45
1.1K
comptrig__951_22.min1.thm1
2017-02-06 12:45
1.3K
comptrig__952_28.min1.thm1
2017-02-06 12:45
2.2K
comptrig__960_30.min1.thm1
2017-02-06 12:45
1.3K
comptrig__961_21.min1.thm1
2017-02-06 12:45
2.6K
comptrig__968_28.min1.thm1
2017-02-06 12:45
1.2K
comptrig__971_21.min1.thm1
2017-02-06 12:45
723
comptrig__990_34.min1.thm1
2017-02-06 12:45
862
comptrig__991_40.min1.thm1
2017-02-06 12:45
1.7K
comptrig__992_26.min1.thm1
2017-02-06 12:45
1.3K
comptrig__1002_33.min1.thm1
2017-02-06 12:45
1.5K
comptrig__1010_28.min1.thm1
2017-02-06 12:45
863
comptrig__1013_21.min1.thm1
2017-02-06 12:45
723
comptrig__1032_19.min1.thm1
2017-02-06 12:45
344
comptrig__1032_19.min1.thm1.tptp
2017-02-06 16:48
263
comptrig__1034_24.min1.thm1
2017-02-06 12:45
1.2K
comptrig__1038_19.min1.thm1
2017-02-06 12:45
407
comptrig__1040_17.min1.thm1
2017-02-06 12:45
247
comptrig__1044_62.min1.thm1
2017-02-06 12:45
1.8K
comptrig__1048_42.min1.thm1
2017-02-06 12:45
491
comptrig__1048_42.min1.thm1.tptp
2017-02-06 16:48
414
comptrig__1050_27.min1.thm1
2017-02-06 12:45
394
comptrig__1050_27.min1.thm1.tptp
2017-02-06 16:48
313
comptrig__1051_34.min1.thm1
2017-02-06 12:45
1.4K
comptrig__1054_43.min1.thm1
2017-02-06 12:45
1.2K
comptrig__1061_29.min1.thm1
2017-02-06 12:45
857
comptrig__1062_26.min1.thm1
2017-02-06 12:45
612
comptrig__1066_50.min1.thm1
2017-02-06 12:45
1.5K
comptrig__1069_38.min1.thm1
2017-02-06 12:45
746
comptrig__1071_36.min1.thm1
2017-02-06 12:45
860
comptrig__1077_35.min1.thm1
2017-02-06 12:45
1.5K
comptrig__1079_30.min1.thm1
2017-02-06 12:45
706
comptrig__1082_31.min1.thm1
2017-02-06 12:45
1.2K
comptrig__1083_29.min1.thm1
2017-02-06 12:45
694
comptrig__1085_52.min1.thm1
2017-02-06 12:45
861
comptrig__1093_21.min1.thm1
2017-02-06 12:45
265
comptrig__1098_67.min1.thm1
2017-02-06 12:45
2.0K
comptrig__1101_31.min1.thm1
2017-02-06 12:45
400
comptrig__1101_31.min1.thm1.tptp
2017-02-06 16:48
319
comptrig__1102_38.min1.thm1
2017-02-06 12:45
1.4K
comptrig__1106_42.min1.thm1
2017-02-06 12:45
1.3K
comptrig__1113_37.min1.thm1
2017-02-06 12:45
1.3K
comptrig__1114_32.min1.thm1
2017-02-06 12:45
1.1K
comptrig__1124_35.min1.thm1
2017-02-06 12:45
1.1K
comptrig__1128_30.min1.thm1
2017-02-06 12:45
642
comptrig__1132_38.min1.thm1
2017-02-06 12:45
899
comptrig__1133_60.min1.thm1
2017-02-06 12:45
1.8K
comptrig__1137_46.min1.thm1
2017-02-06 12:45
498
comptrig__1137_46.min1.thm1.tptp
2017-02-06 16:48
421
comptrig__1138_42.min1.thm1
2017-02-06 12:45
776
comptrig__1140_40.min1.thm1
2017-02-06 12:45
1.0K
comptrig__1146_39.min1.thm1
2017-02-06 12:45
1.5K
comptrig__1148_34.min1.thm1
2017-02-06 12:45
712
comptrig__1152_37.min1.thm1
2017-02-06 12:45
1.3K
comptrig__1153_33.min1.thm1
2017-02-06 12:45
724
comptrig__1158_31.min1.thm1
2017-02-06 12:45
1.5K
comptrig__1164_47.min1.thm1
2017-02-06 12:45
606
comptrig__1168_25.min1.thm1
2017-02-06 12:45
833
comptrig__1172_22.min1.thm1
2017-02-06 12:45
744
comptrig__1175_18.min1.thm1
2017-02-06 12:45
732
comptrig__1187_19.min1.thm1
2017-02-06 12:45
407
comptrig__1198_27.min1.thm1
2017-02-06 12:45
691
comptrig__1200_22.min1.thm1
2017-02-06 12:45
709
comptrig__1204_22.min1.thm1
2017-02-06 12:45
691
comptrig__1206_17.min1.thm1
2017-02-06 12:45
550
comptrig__1209_31.min1.thm1
2017-02-06 12:45
1.4K
comptrig__1211_37.min1.thm1
2017-02-06 12:45
2.2K
comptrig__1214_27.min1.thm1
2017-02-06 12:45
799
comptrig__1215_26.min1.thm1
2017-02-06 12:45
1.4K
comptrig__1216_42.min1.thm1
2017-02-06 12:45
2.2K
comptrig__1223_40.min1.thm1
2017-02-06 12:45
1.9K
comptrig__1226_27.min1.thm1
2017-02-06 12:45
799
comptrig__1228_45.min1.thm1
2017-02-06 12:45
1.9K
comptrig__1233_34.min1.thm1
2017-02-06 12:45
1.6K
comptrig__1235_22.min1.thm1
2017-02-06 12:45
1.1K
comptrig__1236_26.min1.thm1
2017-02-06 12:45
1.4K
comptrig__1237_28.min1.thm1
2017-02-06 12:45
1.1K
comptrig__1242_34.min1.thm1
2017-02-06 12:45
1.6K
comptrig__1244_22.min1.thm1
2017-02-06 12:45
1.1K
comptrig__1245_26.min1.thm1
2017-02-06 12:45
1.4K
comptrig__1246_28.min1.thm1
2017-02-06 12:45
1.1K
comptrig__1250_18.min1.thm1
2017-02-06 12:45
258
comptrig__1254_13.min1.thm1
2017-02-06 12:45
131
comptrig__1261_39.min1.thm1
2017-02-06 12:45
840
comptrig__1269_48.min1.thm1
2017-02-06 12:45
1.2K
comptrig__1272_14.min1.thm1
2017-02-06 12:45
2.3K
comptrig__1277_20.min1.thm1
2017-02-06 12:45
2.8K
comptrig__1278_27.min1.thm1
2017-02-06 12:45
1.3K
comptrig__1282_19.min1.thm1
2017-02-06 12:45
1.0K
comptrig__1286_19.min1.thm1
2017-02-06 12:45
1.4K
comptrig__1294_48.min1.thm1
2017-02-06 12:45
1.2K
comptrig__1299_17.min1.thm1
2017-02-06 12:45
2.2K
comptrig__1300_25.min1.thm1
2017-02-06 12:45
1.0K
comptrig__1310_48.min1.thm1
2017-02-06 12:45
1.4K
comptrig__1317_17.min1.thm1
2017-02-06 12:45
2.0K
comptrig__1318_21.min1.thm1
2017-02-06 12:45
1.1K
comptrig__1329_48.min1.thm1
2017-02-06 12:45
1.4K
comptrig__1336_17.min1.thm1
2017-02-06 12:45
2.0K
comptrig__1337_25.min1.thm1
2017-02-06 12:45
1.1K
comptrig__1345_14.min1.thm1
2017-02-06 12:45
652
comptrig__1350_17.min1.thm1
2017-02-06 12:45
559
comptrig__1351_17.min1.thm1
2017-02-06 12:45
859
comptrig__1358_19.min1.thm1
2017-02-06 12:45
486
comptrig__1364_16.min1.thm1
2017-02-06 12:45
1.6K
comptrig__1365_18.min1.thm1
2017-02-06 12:45
1.2K
comptrig__1367_58.min1.thm1
2017-02-06 12:45
1.2K
comptrig__1368_20.min1.thm1
2017-02-06 12:45
839
comptrig__1370_19.min1.thm1
2017-02-06 12:45
1.6K
comptrig__1372_29.min1.thm1
2017-02-06 12:45
1.4K
comptrig__1373_25.min1.thm1
2017-02-06 12:45
1.1K
comptrig__1374_25.min1.thm1
2017-02-06 12:45
755
comptrig__1380_24.min1.thm1
2017-02-06 12:45
428
comptrig__1380_24.min1.thm1.tptp
2017-02-06 16:48
351
comptrig__1383_58.min1.thm1
2017-02-06 12:45
1.6K
comptrig__1386_20.min1.thm1
2017-02-06 12:45
749
comptrig__1388_23.min1.thm1
2017-02-06 12:45
751
comptrig__1390_35.min1.thm1
2017-02-06 12:45
1.3K
comptrig__1391_15.min1.thm1
2017-02-06 12:45
400
comptrig__1391_15.min1.thm1.tptp
2017-02-06 16:48
322
comptrig__1393_17.min1.thm1
2017-02-06 12:45
2.4K
comptrig__1394_29.min1.thm1
2017-02-06 12:45
1.1K
comptrig__1407_22.min1.thm1
2017-02-06 12:45
1.5K
comptrig__1410_19.min1.thm1
2017-02-06 12:45
2.0K
comptrig__1413_58.min1.thm1
2017-02-06 12:45
1.2K
comptrig__1414_19.min1.thm1
2017-02-06 12:45
2.0K
comptrig__1415_36.min1.thm1
2017-02-06 12:45
2.7K
comptrig__1416_25.min1.thm1
2017-02-06 12:45
1.3K
comptrig__1417_25.min1.thm1
2017-02-06 12:45
754
comptrig__1419_17.min1.thm1
2017-02-06 12:45
1.5K
comptrig__1420_29.min1.thm1
2017-02-06 12:45
2.4K
comptrig__1421_25.min1.thm1
2017-02-06 12:45
1.1K
comptrig__1422_25.min1.thm1
2017-02-06 12:45
755
comptrig__1428_24.min1.thm1
2017-02-06 12:45
428
comptrig__1428_24.min1.thm1.tptp
2017-02-06 16:48
351
comptrig__1431_58.min1.thm1
2017-02-06 12:45
1.6K
comptrig__1433_23.min1.thm1
2017-02-06 12:45
749
comptrig__1435_31.min1.thm1
2017-02-06 12:45
1.1K
comptrig__1437_23.min1.thm1
2017-02-06 12:45
751
comptrig__1438_37.min1.thm1
2017-02-06 12:45
1.2K
comptrig__1440_36.min1.thm1
2017-02-06 12:45
1.6K
comptrig__1441_17.min1.thm1
2017-02-06 12:45
487
comptrig__1443_17.min1.thm1
2017-02-06 12:45
2.7K
comptrig__1454_22.min1.thm1
2017-02-06 12:45
2.3K
comptrig__1457_17.min1.thm1
2017-02-06 12:45
2.3K
comptrig__1458_18.min1.thm1
2017-02-06 12:45
1.5K
comptrig__1460_58.min1.thm1
2017-02-06 12:45
1.2K
comptrig__1461_21.min1.thm1
2017-02-06 12:45
2.5K
comptrig__1462_36.min1.thm1
2017-02-06 12:45
2.7K
comptrig__1463_25.min1.thm1
2017-02-06 12:45
1.3K
comptrig__1464_25.min1.thm1
2017-02-06 12:45
754
comptrig__1466_21.min1.thm1
2017-02-06 12:45
2.5K
comptrig__1468_32.min1.thm1
2017-02-06 12:45
1.6K
comptrig__1469_25.min1.thm1
2017-02-06 12:45
1.1K
comptrig__1470_25.min1.thm1
2017-02-06 12:45
755
comptrig__1476_24.min1.thm1
2017-02-06 12:45
428
comptrig__1476_24.min1.thm1.tptp
2017-02-06 16:48
351
comptrig__1479_58.min1.thm1
2017-02-06 12:45
1.6K
comptrig__1481_23.min1.thm1
2017-02-06 12:45
749
comptrig__1483_35.min1.thm1
2017-02-06 12:45
1.2K
comptrig__1485_23.min1.thm1
2017-02-06 12:45
751
comptrig__1487_28.min1.thm1
2017-02-06 12:45
1.1K
comptrig__1488_17.min1.thm1
2017-02-06 12:45
487
comptrig__1491_15.min1.thm1
2017-02-06 12:45
400
comptrig__1491_15.min1.thm1.tptp
2017-02-06 16:48
322
comptrig__1492_20.min1.thm1
2017-02-06 12:45
1.4K
comptrig__1493_17.min1.thm1
2017-02-06 12:45
2.7K
comptrig__1506_19.min1.thm1
2017-02-06 12:45
3.2K
comptrig__1507_21.min1.thm1
2017-02-06 12:45
2.6K
comptrig__1510_58.min1.thm1
2017-02-06 12:45
1.2K
comptrig__1511_20.min1.thm1
2017-02-06 12:45
1.3K
comptrig__1512_25.min1.thm1
2017-02-06 12:45
753
comptrig__1515_32.min1.thm1
2017-02-06 12:45
1.6K
comptrig__1516_25.min1.thm1
2017-02-06 12:45
1.1K
comptrig__1517_25.min1.thm1
2017-02-06 12:45
755
comptrig__1523_24.min1.thm1
2017-02-06 12:45
428
comptrig__1523_24.min1.thm1.tptp
2017-02-06 16:48
351
comptrig__1526_58.min1.thm1
2017-02-06 12:45
1.6K
comptrig__1528_23.min1.thm1
2017-02-06 12:45
749
comptrig__1530_28.min1.thm1
2017-02-06 12:45
1.1K
comptrig__1532_23.min1.thm1
2017-02-06 12:45
751
comptrig__1533_38.min1.thm1
2017-02-06 12:45
1.3K
comptrig__1535_37.min1.thm1
2017-02-06 12:45
2.6K
comptrig__1536_15.min1.thm1
2017-02-06 12:45
400
comptrig__1536_15.min1.thm1.tptp
2017-02-06 16:48
322
comptrig__1538_18.min1.thm1
2017-02-06 12:45
1.4K
comptrig__1539_17.min1.thm1
2017-02-06 12:45
487
comptrig__1547_34.min1.thm1
2017-02-06 12:45
1.7K
comptrig__1549_47.min1.thm1
2017-02-06 12:45
715
comptrig__1554_76.min1.thm1
2017-02-06 12:45
2.0K
comptrig__1558_23.min1.thm1
2017-02-06 12:45
1.1K
comptrig__1559_17.min1.thm1
2017-02-06 12:45
749
comptrig__1566_34.min1.thm1
2017-02-06 12:45
1.7K
comptrig__1568_47.min1.thm1
2017-02-06 12:45
715
comptrig__1577_30.min1.thm1
2017-02-06 12:45
1.6K
comptrig__1578_23.min1.thm1
2017-02-06 12:45
1.1K
comptrig__1579_17.min1.thm1
2017-02-06 12:45
749
comptrig__1587_27.min1.thm1
2017-02-06 12:45
1.7K
comptrig__1588_69.min1.thm1
2017-02-06 12:45
890
comptrig__1598_27.min1.thm1
2017-02-06 12:45
1.7K
comptrig__1599_69.min1.thm1
2017-02-06 12:45
890
comptrig__1608_34.min1.thm1
2017-02-06 12:45
1.7K
comptrig__1610_47.min1.thm1
2017-02-06 12:45
715
comptrig__1612_70.min1.thm1
2017-02-06 12:45
2.4K
comptrig__1615_17.min1.thm1
2017-02-06 12:45
749
comptrig__1622_34.min1.thm1
2017-02-06 12:45
1.7K
comptrig__1624_47.min1.thm1
2017-02-06 12:45
715
comptrig__1626_70.min1.thm1
2017-02-06 12:45
2.0K
comptrig__1631_34.min1.thm1
2017-02-06 12:45
2.6K
comptrig__1632_23.min1.thm1
2017-02-06 12:45
1.3K
comptrig__1633_17.min1.thm1
2017-02-06 12:45
749
comptrig__1641_27.min1.thm1
2017-02-06 12:45
1.7K
comptrig__1644_4.min1.thm1
2017-02-06 12:45
2.0K
comptrig__1655_15.min1.thm1
2017-02-06 12:45
545
comptrig__1656_25.min1.thm1
2017-02-06 12:45
1.7K
comptrig__1657_67.min1.thm1
2017-02-06 12:45
890
comptrig__1659_66.min1.thm1
2017-02-06 12:45
2.2K
comptrig__1674_11.min1.thm1
2017-02-06 12:45
1.7K
comptrig__1677_62.min1.thm1
2017-02-06 12:45
1.6K
comptrig__1682_11.min1.thm1
2017-02-06 12:45
2.2K
comptrig__1694_14.min1.thm1
2017-02-06 12:45
1.3K
comptrig__1697_60.min1.thm1
2017-02-06 12:45
1.2K
comptrig__1706_15.min1.thm1
2017-02-06 12:45
1.4K
comptrig__1707_53.min1.thm1
2017-02-06 12:45
3.2K
comptrig__1708_56.min1.thm1
2017-02-06 12:45
1.8K
comptrig__1710_67.min1.thm1
2017-02-06 12:45
1.9K
comptrig__1727_42.min1.thm1
2017-02-06 12:45
1.6K
comptrig__1728_43.min1.thm1
2017-02-06 12:45
1.6K
comptrig__1729_34.min1.thm1
2017-02-06 12:45
1.5K
comptrig__1730_25.min1.thm1
2017-02-06 12:45
1.4K
comptrig__1731_25.min1.thm1
2017-02-06 12:45
777
comptrig__1732_29.min1.thm1
2017-02-06 12:45
686
comptrig__1745_15.min1.thm1
2017-02-06 12:45
1.9K
comptrig__1746_11.min1.thm1
2017-02-06 12:45
187
comptrig__1764_11.min1.thm1
2017-02-06 12:45
2.2K
comptrig__1804_13.min1.thm1
2017-02-06 12:45
1.1K
comptrig__1805_17.min1.thm1
2017-02-06 12:45
1.1K
comptrig__1822_14.min1.thm1
2017-02-06 12:45
533
comptrig__1823_36.min1.thm1
2017-02-06 12:45
969
comptrig__1825_17.min1.thm1
2017-02-06 12:45
905
comptrig__1826_20.min1.thm1
2017-02-06 12:45
1.3K
comptrig__1827_17.min1.thm1
2017-02-06 12:45
1.5K
comptrig__1832_18.min1.thm1
2017-02-06 12:45
924
comptrig__1846_29.min1.thm1
2017-02-06 12:45
3.5K
comptrig__1847_17.min1.thm1
2017-02-06 12:45
1.3K
comptrig__1856_28.min1.thm1
2017-02-06 12:45
1.5K
comptrig__1858_17.min1.thm1
2017-02-06 12:45
1.9K
comptrig__1865_11.min1.thm1
2017-02-06 12:45
187
comptrig__1872_19.min1.thm1
2017-02-06 12:45
1.0K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80