Index of /~mptp/1147/mptp/ilp0/compts_1
Name
Last modified
Size
Description
Parent Directory
-
compts_1__70_13.min1.thm1
2017-02-06 12:45
198
compts_1__74_34.min1.thm1
2017-02-06 12:45
1.2K
compts_1__75_18.min1.thm1
2017-02-06 12:45
865
compts_1__76_20.min1.thm1
2017-02-06 12:45
822
compts_1__80_21.min1.thm1
2017-02-06 12:45
1.6K
compts_1__100_13.min1.thm1
2017-02-06 12:45
276
compts_1__104_34.min1.thm1
2017-02-06 12:45
1.2K
compts_1__105_22.min1.thm1
2017-02-06 12:45
697
compts_1__106_19.min1.thm1
2017-02-06 12:45
766
compts_1__107_20.min1.thm1
2017-02-06 12:45
719
compts_1__112_34.min1.thm1
2017-02-06 12:45
1.2K
compts_1__113_19.min1.thm1
2017-02-06 12:45
766
compts_1__114_22.min1.thm1
2017-02-06 12:45
697
compts_1__115_20.min1.thm1
2017-02-06 12:45
628
compts_1__143_46.min1.thm1
2017-02-06 12:45
363
compts_1__143_46.min1.thm1.tptp
2017-02-06 16:48
294
compts_1__147_19.min1.thm1
2017-02-06 12:45
481
compts_1__152_18.min1.thm1
2017-02-06 12:45
1.1K
compts_1__170_18.min1.thm1
2017-02-06 12:45
1.2K
compts_1__172_18.min1.thm1
2017-02-06 12:45
718
compts_1__182_19.min1.thm1
2017-02-06 12:45
1.4K
compts_1__184_16.min1.thm1
2017-02-06 12:45
694
compts_1__191_19.min1.thm1
2017-02-06 12:45
802
compts_1__192_43.min1.thm1
2017-02-06 12:45
617
compts_1__196_18.min1.thm1
2017-02-06 12:45
696
compts_1__212_61.min1.thm1
2017-02-06 12:45
1.1K
compts_1__213_21.min1.thm1
2017-02-06 12:45
716
compts_1__214_31.min1.thm1
2017-02-06 12:45
900
compts_1__215_32.min1.thm1
2017-02-06 12:45
1.6K
compts_1__216_26.min1.thm1
2017-02-06 12:45
604
compts_1__217_29.min1.thm1
2017-02-06 12:45
649
compts_1__221_21.min1.thm1
2017-02-06 12:45
1.2K
compts_1__222_29.min1.thm1
2017-02-06 12:45
1.4K
compts_1__223_57.min1.thm1
2017-02-06 12:45
1.5K
compts_1__225_22.min1.thm1
2017-02-06 12:45
1.0K
compts_1__226_22.min1.thm1
2017-02-06 12:45
847
compts_1__227_22.min1.thm1
2017-02-06 12:45
650
compts_1__228_27.min1.thm1
2017-02-06 12:45
1.9K
compts_1__229_31.min1.thm1
2017-02-06 12:45
654
compts_1__230_20.min1.thm1
2017-02-06 12:45
864
compts_1__235_39.min1.thm1
2017-02-06 12:45
772
compts_1__238_18.min1.thm1
2017-02-06 12:45
498
compts_1__251_29.min1.thm1
2017-02-06 12:45
1.4K
compts_1__252_57.min1.thm1
2017-02-06 12:45
1.6K
compts_1__258_50.min1.thm1
2017-02-06 12:45
1.2K
compts_1__262_20.min1.thm1
2017-02-06 12:45
886
compts_1__263_38.min1.thm1
2017-02-06 12:45
615
compts_1__265_23.min1.thm1
2017-02-06 12:45
794
compts_1__267_21.min1.thm1
2017-02-06 12:45
649
compts_1__268_28.min1.thm1
2017-02-06 12:45
2.0K
compts_1__269_31.min1.thm1
2017-02-06 12:45
654
compts_1__273_20.min1.thm1
2017-02-06 12:45
1.3K
compts_1__277_15.min1.thm1
2017-02-06 12:45
812
compts_1__278_46.min1.thm1
2017-02-06 12:45
863
compts_1__285_24.min1.thm1
2017-02-06 12:45
655
compts_1__288_17.min1.thm1
2017-02-06 12:45
1.3K
compts_1__292_16.min1.thm1
2017-02-06 12:45
781
compts_1__293_40.min1.thm1
2017-02-06 12:45
636
compts_1__294_22.min1.thm1
2017-02-06 12:45
972
compts_1__295_22.min1.thm1
2017-02-06 12:45
786
compts_1__296_23.min1.thm1
2017-02-06 12:45
951
compts_1__298_21.min1.thm1
2017-02-06 12:45
1.0K
compts_1__307_19.min1.thm1
2017-02-06 12:45
738
compts_1__308_59.min1.thm1
2017-02-06 12:45
1.1K
compts_1__312_44.min1.thm1
2017-02-06 12:45
855
compts_1__313_48.min1.thm1
2017-02-06 12:45
521
compts_1__314_49.min1.thm1
2017-02-06 12:45
943
compts_1__315_46.min1.thm1
2017-02-06 12:45
1.7K
compts_1__317_61.min1.thm1
2017-02-06 12:45
1.2K
compts_1__319_17.min1.thm1
2017-02-06 12:45
1.5K
compts_1__335_54.min1.thm1
2017-02-06 12:45
523
compts_1__335_54.min1.thm1.tptp
2017-02-06 16:48
445
compts_1__338_14.min1.thm1
2017-02-06 12:45
389
compts_1__338_14.min1.thm1.tptp
2017-02-06 16:48
320
compts_1__339_43.min1.thm1
2017-02-06 12:45
689
compts_1__340_17.min1.thm1
2017-02-06 12:45
1.0K
compts_1__342_34.min1.thm1
2017-02-06 12:45
1.2K
compts_1__343_28.min1.thm1
2017-02-06 12:45
718
compts_1__347_19.min1.thm1
2017-02-06 12:45
1.3K
compts_1__349_19.min1.thm1
2017-02-06 12:45
765
compts_1__355_41.min1.thm1
2017-02-06 12:45
715
compts_1__356_18.min1.thm1
2017-02-06 12:45
1.0K
compts_1__357_23.min1.thm1
2017-02-06 12:45
1.6K
compts_1__358_18.min1.thm1
2017-02-06 12:45
656
compts_1__360_15.min1.thm1
2017-02-06 12:45
799
compts_1__362_16.min1.thm1
2017-02-06 12:45
583
compts_1__363_28.min1.thm1
2017-02-06 12:45
1.1K
compts_1__364_29.min1.thm1
2017-02-06 12:45
1.3K
compts_1__365_14.min1.thm1
2017-02-06 12:45
910
compts_1__376_52.min1.thm1
2017-02-06 12:45
523
compts_1__376_52.min1.thm1.tptp
2017-02-06 16:48
445
compts_1__377_19.min1.thm1
2017-02-06 12:45
790
compts_1__378_14.min1.thm1
2017-02-06 12:45
797
compts_1__380_15.min1.thm1
2017-02-06 12:45
652
compts_1__381_26.min1.thm1
2017-02-06 12:45
1.1K
compts_1__382_29.min1.thm1
2017-02-06 12:45
1.3K
compts_1__383_14.min1.thm1
2017-02-06 12:45
910
compts_1__384_29.min1.thm1
2017-02-06 12:45
678
compts_1__389_20.min1.thm1
2017-02-06 12:45
531
compts_1__390_42.min1.thm1
2017-02-06 12:45
605
compts_1__397_41.min1.thm1
2017-02-06 12:45
521
compts_1__398_18.min1.thm1
2017-02-06 12:45
1.1K
compts_1__399_23.min1.thm1
2017-02-06 12:45
1.6K
compts_1__400_18.min1.thm1
2017-02-06 12:45
656
compts_1__402_28.min1.thm1
2017-02-06 12:45
832
compts_1__403_17.min1.thm1
2017-02-06 12:45
1.2K
compts_1__404_29.min1.thm1
2017-02-06 12:45
1.0K
compts_1__405_18.min1.thm1
2017-02-06 12:45
907
compts_1__425_24.min1.thm1
2017-02-06 12:45
928
compts_1__430_18.min1.thm1
2017-02-06 12:45
537
compts_1__431_41.min1.thm1
2017-02-06 12:45
613
compts_1__433_18.min1.thm1
2017-02-06 12:45
945
compts_1__448_14.min1.thm1
2017-02-06 12:45
393
compts_1__448_14.min1.thm1.tptp
2017-02-06 16:48
324
compts_1__450_18.min1.thm1
2017-02-06 12:45
1.1K
compts_1__453_17.min1.thm1
2017-02-06 12:45
769
compts_1__473_17.min1.thm1
2017-02-06 12:45
647
compts_1__481_38.min1.thm1
2017-02-06 12:45
490
compts_1__488_32.min1.thm1
2017-02-06 12:45
131
compts_1__490_63.min1.thm1
2017-02-06 12:45
1.0K
compts_1__493_18.min1.thm1
2017-02-06 12:45
1.5K
compts_1__505_13.min1.thm1
2017-02-06 12:45
670
compts_1__507_28.min1.thm1
2017-02-06 12:45
1.1K
compts_1__507_28.min1.thm1.tptp
2017-02-06 16:48
1.0K
compts_1__508_19.min1.thm1
2017-02-06 12:45
1.0K
compts_1__510_49.min1.thm1
2017-02-06 12:45
539
compts_1__518_15.min1.thm1
2017-02-06 12:45
738
compts_1__520_28.min1.thm1
2017-02-06 12:45
1.1K
compts_1__520_28.min1.thm1.tptp
2017-02-06 16:48
1.0K
compts_1__521_19.min1.thm1
2017-02-06 12:45
734
compts_1__521_19.min1.thm1.tptp
2017-02-06 16:48
668
compts_1__535_20.min1.thm1
2017-02-06 12:45
1.1K
compts_1__535_20.min1.thm1.tptp
2017-02-06 16:48
1.0K
compts_1__536_14.min1.thm1
2017-02-06 12:45
876
compts_1__537_19.min1.thm1
2017-02-06 12:45
760
compts_1__539_25.min1.thm1
2017-02-06 12:45
636
compts_1__543_20.min1.thm1
2017-02-06 12:45
1.2K
compts_1__544_16.min1.thm1
2017-02-06 12:45
675
compts_1__548_18.min1.thm1
2017-02-06 12:45
699
compts_1__556_13.min1.thm1
2017-02-06 12:45
670
compts_1__558_28.min1.thm1
2017-02-06 12:45
1.8K
compts_1__559_19.min1.thm1
2017-02-06 12:45
1.0K
compts_1__561_50.min1.thm1
2017-02-06 12:45
539
compts_1__570_15.min1.thm1
2017-02-06 12:45
741
compts_1__572_28.min1.thm1
2017-02-06 12:45
1.2K
compts_1__573_19.min1.thm1
2017-02-06 12:45
734
compts_1__573_19.min1.thm1.tptp
2017-02-06 16:48
668
compts_1__575_21.min1.thm1
2017-02-06 12:45
1.2K
compts_1__576_20.min1.thm1
2017-02-06 12:45
1.2K
compts_1__582_42.min1.thm1
2017-02-06 12:45
519
compts_1__586_16.min1.thm1
2017-02-06 12:45
815
compts_1__588_28.min1.thm1
2017-02-06 12:45
1.2K
compts_1__589_19.min1.thm1
2017-02-06 12:45
806
compts_1__591_18.min1.thm1
2017-02-06 12:45
636
compts_1__592_23.min1.thm1
2017-02-06 12:45
1.3K
compts_1__595_15.min1.thm1
2017-02-06 12:45
759
compts_1__596_38.min1.thm1
2017-02-06 12:45
512
compts_1__600_13.min1.thm1
2017-02-06 12:45
803
compts_1__602_28.min1.thm1
2017-02-06 12:45
1.2K
compts_1__603_17.min1.thm1
2017-02-06 12:45
1.0K
compts_1__604_18.min1.thm1
2017-02-06 12:45
923
compts_1__605_17.min1.thm1
2017-02-06 12:45
707
compts_1__612_19.min1.thm1
2017-02-06 12:45
1.8K
compts_1__613_20.min1.thm1
2017-02-06 12:45
1.9K
compts_1__616_15.min1.thm1
2017-02-06 12:45
795
compts_1__620_15.min1.thm1
2017-02-06 12:45
736
compts_1__628_21.min1.thm1
2017-02-06 12:45
1.2K
compts_1__629_14.min1.thm1
2017-02-06 12:45
1.0K
compts_1__630_19.min1.thm1
2017-02-06 12:45
1.0K
compts_1__641_11.min1.thm1
2017-02-06 12:45
189
compts_1__644_16.min1.thm1
2017-02-06 12:45
775
compts_1__655_42.min1.thm1
2017-02-06 12:45
679
compts_1__663_23.min1.thm1
2017-02-06 12:45
630
compts_1__665_18.min1.thm1
2017-02-06 12:45
966
compts_1__666_20.min1.thm1
2017-02-06 12:45
891
compts_1__667_23.min1.thm1
2017-02-06 12:45
1.1K
compts_1__670_14.min1.thm1
2017-02-06 12:45
927
compts_1__673_19.min1.thm1
2017-02-06 12:45
676
compts_1__683_44.min1.thm1
2017-02-06 12:45
741
compts_1__688_17.min1.thm1
2017-02-06 12:45
637
compts_1__693_31.min1.thm1
2017-02-06 12:45
1.1K
compts_1__696_43.min1.thm1
2017-02-06 12:45
741
compts_1__697_34.min1.thm1
2017-02-06 12:45
1.7K
compts_1__699_30.min1.thm1
2017-02-06 12:45
1.4K
compts_1__700_17.min1.thm1
2017-02-06 12:45
635
compts_1__701_40.min1.thm1
2017-02-06 12:45
1.3K
compts_1__702_36.min1.thm1
2017-02-06 12:45
1.0K
compts_1__703_35.min1.thm1
2017-02-06 12:45
1.6K
compts_1__704_35.min1.thm1
2017-02-06 12:45
1.3K
compts_1__705_27.min1.thm1
2017-02-06 12:45
1.8K
compts_1__706_26.min1.thm1
2017-02-06 12:45
1.6K
compts_1__710_19.min1.thm1
2017-02-06 12:45
1.5K
compts_1__711_46.min1.thm1
2017-02-06 12:45
535
compts_1__711_46.min1.thm1.tptp
2017-02-06 16:48
460
compts_1__713_29.min1.thm1
2017-02-06 12:45
1.7K
compts_1__714_18.min1.thm1
2017-02-06 12:45
1.2K
compts_1__715_47.min1.thm1
2017-02-06 12:45
1.2K
compts_1__716_13.min1.thm1
2017-02-06 12:45
1.8K
compts_1__717_8.min1.thm1
2017-02-06 12:45
477
compts_1__717_8.min1.thm1.tptp
2017-02-06 16:48
403
compts_1__718_23.min1.thm1
2017-02-06 12:45
1.6K
compts_1__719_27.min1.thm1
2017-02-06 12:45
636
compts_1__720_16.min1.thm1
2017-02-06 12:45
705
compts_1__730_11.min1.thm1
2017-02-06 12:45
189
compts_1__733_19.min1.thm1
2017-02-06 12:45
1.0K
compts_1__737_28.min1.thm1
2017-02-06 12:45
808
compts_1__739_64.min1.thm1
2017-02-06 12:45
1.4K
compts_1__741_23.min1.thm1
2017-02-06 12:45
782
compts_1__742_19.min1.thm1
2017-02-06 12:45
1.3K
compts_1__755_24.min1.thm1
2017-02-06 12:45
750
compts_1__756_16.min1.thm1
2017-02-06 12:45
775
compts_1__757_22.min1.thm1
2017-02-06 12:45
1.3K
compts_1__758_25.min1.thm1
2017-02-06 12:45
634
compts_1__762_19.min1.thm1
2017-02-06 12:45
1.1K
compts_1__763_20.min1.thm1
2017-02-06 12:45
636
compts_1__764_16.min1.thm1
2017-02-06 12:45
683
compts_1__765_22.min1.thm1
2017-02-06 12:45
623
compts_1__766_25.min1.thm1
2017-02-06 12:45
636
compts_1__770_20.min1.thm1
2017-02-06 12:45
1.1K
compts_1__771_47.min1.thm1
2017-02-06 12:45
689
compts_1__773_16.min1.thm1
2017-02-06 12:45
1.0K
compts_1__774_18.min1.thm1
2017-02-06 12:45
636
compts_1__775_40.min1.thm1
2017-02-06 12:45
1.5K
compts_1__776_36.min1.thm1
2017-02-06 12:45
1.5K
compts_1__777_33.min1.thm1
2017-02-06 12:45
962
compts_1__778_16.min1.thm1
2017-02-06 12:45
1.0K
compts_1__788_19.min1.thm1
2017-02-06 12:45
696
compts_1__789_17.min1.thm1
2017-02-06 12:45
696
compts_1__790_17.min1.thm1
2017-02-06 12:45
1.6K
compts_1__830_38.min1.thm1
2017-02-06 12:45
490
compts_1__831_17.min1.thm1
2017-02-06 12:45
1.0K
compts_1__832_19.min1.thm1
2017-02-06 12:45
1.0K
compts_1__839_34.min1.thm1
2017-02-06 12:45
132
compts_1__841_61.min1.thm1
2017-02-06 12:45
1.0K
compts_1__843_18.min1.thm1
2017-02-06 12:45
643
compts_1__844_19.min1.thm1
2017-02-06 12:45
1.4K
compts_1__856_13.min1.thm1
2017-02-06 12:45
670
compts_1__858_36.min1.thm1
2017-02-06 12:45
1.1K
compts_1__858_36.min1.thm1.tptp
2017-02-06 16:48
1.0K
compts_1__859_19.min1.thm1
2017-02-06 12:45
1.0K
compts_1__861_50.min1.thm1
2017-02-06 12:45
539
compts_1__874_18.min1.thm1
2017-02-06 12:45
1.1K
compts_1__874_18.min1.thm1.tptp
2017-02-06 16:48
1.0K
compts_1__875_14.min1.thm1
2017-02-06 12:45
877
compts_1__876_19.min1.thm1
2017-02-06 12:45
760
compts_1__879_24.min1.thm1
2017-02-06 12:45
636
compts_1__887_15.min1.thm1
2017-02-06 12:45
738
compts_1__889_36.min1.thm1
2017-02-06 12:45
1.1K
compts_1__889_36.min1.thm1.tptp
2017-02-06 16:48
1.0K
compts_1__890_19.min1.thm1
2017-02-06 12:45
734
compts_1__890_19.min1.thm1.tptp
2017-02-06 16:48
668
compts_1__892_17.min1.thm1
2017-02-06 12:45
713
compts_1__896_19.min1.thm1
2017-02-06 12:45
1.2K
compts_1__898_17.min1.thm1
2017-02-06 12:45
636
compts_1__899_22.min1.thm1
2017-02-06 12:45
1.3K
compts_1__902_14.min1.thm1
2017-02-06 12:45
759
compts_1__903_15.min1.thm1
2017-02-06 12:45
676
compts_1__907_17.min1.thm1
2017-02-06 12:45
699
compts_1__915_13.min1.thm1
2017-02-06 12:45
672
compts_1__917_36.min1.thm1
2017-02-06 12:45
1.8K
compts_1__918_19.min1.thm1
2017-02-06 12:45
1.0K
compts_1__920_51.min1.thm1
2017-02-06 12:45
541
compts_1__924_12.min1.thm1
2017-02-06 12:45
732
compts_1__930_42.min1.thm1
2017-02-06 12:45
519
compts_1__934_16.min1.thm1
2017-02-06 12:45
817
compts_1__936_43.min1.thm1
2017-02-06 12:45
1.2K
compts_1__937_19.min1.thm1
2017-02-06 12:45
806
compts_1__940_19.min1.thm1
2017-02-06 12:45
1.2K
compts_1__948_15.min1.thm1
2017-02-06 12:45
743
compts_1__950_43.min1.thm1
2017-02-06 12:45
1.2K
compts_1__951_19.min1.thm1
2017-02-06 12:45
734
compts_1__951_19.min1.thm1.tptp
2017-02-06 16:48
668
compts_1__953_20.min1.thm1
2017-02-06 12:45
1.2K
compts_1__954_16.min1.thm1
2017-02-06 12:45
707
compts_1__956_41.min1.thm1
2017-02-06 12:45
1.2K
compts_1__957_18.min1.thm1
2017-02-06 12:45
1.6K
compts_1__958_17.min1.thm1
2017-02-06 12:45
844
compts_1__969_14.min1.thm1
2017-02-06 12:45
795
compts_1__973_15.min1.thm1
2017-02-06 12:45
738
compts_1__981_19.min1.thm1
2017-02-06 12:45
1.2K
compts_1__982_14.min1.thm1
2017-02-06 12:45
1.0K
compts_1__983_18.min1.thm1
2017-02-06 12:45
1.0K
compts_1__996_19.min1.thm1
2017-02-06 12:45
1.2K
compts_1__998_30.min1.thm1
2017-02-06 12:45
1.8K
compts_1__1006_50.min1.thm1
2017-02-06 12:45
1.2K
compts_1__1007_26.min1.thm1
2017-02-06 12:45
2.2K
compts_1__1008_19.min1.thm1
2017-02-06 12:45
1.1K
compts_1__1009_25.min1.thm1
2017-02-06 12:45
1.5K
compts_1__1010_24.min1.thm1
2017-02-06 12:45
1.5K
compts_1__1012_22.min1.thm1
2017-02-06 12:45
1.3K
compts_1__1013_28.min1.thm1
2017-02-06 12:45
1.9K
compts_1__1014_41.min1.thm1
2017-02-06 12:45
2.5K
compts_1__1016_20.min1.thm1
2017-02-06 12:45
1.6K
compts_1__1017_14.min1.thm1
2017-02-06 12:45
1.6K
compts_1__1021_20.min1.thm1
2017-02-06 12:45
1.0K
compts_1__1022_47.min1.thm1
2017-02-06 12:45
1.4K
compts_1__1024_26.min1.thm1
2017-02-06 12:45
1.9K
compts_1__1026_18.min1.thm1
2017-02-06 12:45
1.2K
compts_1__1027_34.min1.thm1
2017-02-06 12:45
3.1K
compts_1__1028_20.min1.thm1
2017-02-06 12:45
957
compts_1__1029_18.min1.thm1
2017-02-06 12:45
1.3K
compts_1__1030_15.min1.thm1
2017-02-06 12:45
1.4K
compts_1__1031_27.min1.thm1
2017-02-06 12:45
1.0K
compts_1__1045_49.min1.thm1
2017-02-06 12:45
1.2K
compts_1__1046_20.min1.thm1
2017-02-06 12:45
808
compts_1__1048_30.min1.thm1
2017-02-06 12:45
1.3K
compts_1__1049_12.min1.thm1
2017-02-06 12:45
602
compts_1__1050_20.min1.thm1
2017-02-06 12:45
1.2K
compts_1__1052_20.min1.thm1
2017-02-06 12:45
1.5K
compts_1__1053_26.min1.thm1
2017-02-06 12:45
2.2K
compts_1__1054_22.min1.thm1
2017-02-06 12:45
1.2K
compts_1__1056_22.min1.thm1
2017-02-06 12:45
636
compts_1__1057_14.min1.thm1
2017-02-06 12:45
1.6K
compts_1__1061_20.min1.thm1
2017-02-06 12:45
1.2K
compts_1__1062_48.min1.thm1
2017-02-06 12:45
1.4K
compts_1__1064_29.min1.thm1
2017-02-06 12:45
1.9K
compts_1__1065_41.min1.thm1
2017-02-06 12:45
2.5K
compts_1__1067_21.min1.thm1
2017-02-06 12:45
1.6K
compts_1__1068_26.min1.thm1
2017-02-06 12:45
1.9K
compts_1__1070_21.min1.thm1
2017-02-06 12:45
636
compts_1__1071_18.min1.thm1
2017-02-06 12:45
1.2K
compts_1__1072_34.min1.thm1
2017-02-06 12:45
3.1K
compts_1__1073_26.min1.thm1
2017-02-06 12:45
1.3K
compts_1__1074_30.min1.thm1
2017-02-06 12:45
810
compts_1__1092_23.min1.thm1
2017-02-06 12:45
678
compts_1__1093_17.min1.thm1
2017-02-06 12:45
2.0K
compts_1__1110_21.min1.thm1
2017-02-06 12:45
1.2K
compts_1__1112_20.min1.thm1
2017-02-06 12:45
2.0K
compts_1__1113_46.min1.thm1
2017-02-06 12:45
1.7K
compts_1__1116_25.min1.thm1
2017-02-06 12:45
1.6K
compts_1__1117_20.min1.thm1
2017-02-06 12:45
1.2K
compts_1__1118_19.min1.thm1
2017-02-06 12:45
1.0K
compts_1__1127_11.min1.thm1
2017-02-06 12:45
584
compts_1__1135_27.min1.thm1
2017-02-06 12:45
640
compts_1__1140_51.min1.thm1
2017-02-06 12:45
1.6K
compts_1__1141_18.min1.thm1
2017-02-06 12:45
439
compts_1__1149_11.min1.thm1
2017-02-06 12:45
731
compts_1__1160_12.min1.thm1
2017-02-06 12:45
1.3K
compts_1__1170_15.min1.thm1
2017-02-06 12:45
612
compts_1__1177_14.min1.thm1
2017-02-06 12:45
605
compts_1__1177_14.min1.thm1.tptp
2017-02-06 16:48
553
compts_1__1191_15.min1.thm1
2017-02-06 12:45
830
compts_1__1206_36.min1.thm1
2017-02-06 12:45
417
compts_1__1206_36.min1.thm1.tptp
2017-02-06 16:48
335
compts_1__1207_18.min1.thm1
2017-02-06 12:45
572
compts_1__1216_18.min1.thm1
2017-02-06 12:45
504
compts_1__1217_14.min1.thm1
2017-02-06 12:45
436
compts_1__1227_47.min1.thm1
2017-02-06 12:45
422
compts_1__1227_47.min1.thm1.tptp
2017-02-06 16:48
334
compts_1__1228_19.min1.thm1
2017-02-06 12:45
833
compts_1__1230_21.min1.thm1
2017-02-06 12:45
1.4K
compts_1__1231_21.min1.thm1
2017-02-06 12:45
199
compts_1__1232_19.min1.thm1
2017-02-06 12:45
1.0K
compts_1__1243_15.min1.thm1
2017-02-06 12:45
764
compts_1__1257_18.min1.thm1
2017-02-06 12:45
1.1K
compts_1__1267_13.min1.thm1
2017-02-06 12:45
203
compts_1__1270_18.min1.thm1
2017-02-06 12:45
614
compts_1__1276_21.min1.thm1
2017-02-06 12:45
861
compts_1__1277_28.min1.thm1
2017-02-06 12:45
1.4K
compts_1__1278_53.min1.thm1
2017-02-06 12:45
1.0K
compts_1__1285_64.min1.thm1
2017-02-06 12:45
1.2K
compts_1__1286_31.min1.thm1
2017-02-06 12:45
670
compts_1__1288_32.min1.thm1
2017-02-06 12:45
1.4K
compts_1__1290_31.min1.thm1
2017-02-06 12:45
670
compts_1__1291_37.min1.thm1
2017-02-06 12:45
1.4K
compts_1__1292_38.min1.thm1
2017-02-06 12:45
1.1K
compts_1__1293_31.min1.thm1
2017-02-06 12:45
2.3K
compts_1__1294_20.min1.thm1
2017-02-06 12:45
691
compts_1__1295_46.min1.thm1
2017-02-06 12:45
1.9K
compts_1__1296_25.min1.thm1
2017-02-06 12:45
2.1K
compts_1__1297_13.min1.thm1
2017-02-06 12:45
1.1K
compts_1__1298_21.min1.thm1
2017-02-06 12:45
699
compts_1__1312_14.min1.thm1
2017-02-06 12:45
784
compts_1__1313_44.min1.thm1
2017-02-06 12:45
1.0K
compts_1__1315_61.min1.thm1
2017-02-06 12:45
387
compts_1__1315_61.min1.thm1.tptp
2017-02-06 16:48
314
compts_1__1316_17.min1.thm1
2017-02-06 12:45
1.1K
compts_1__1341_21.min1.thm1
2017-02-06 12:45
1.4K
compts_1__1342_28.min1.thm1
2017-02-06 12:45
1.7K
compts_1__1345_22.min1.thm1
2017-02-06 12:45
1.4K
compts_1__1347_41.min1.thm1
2017-02-06 12:45
2.6K
compts_1__1351_22.min1.thm1
2017-02-06 12:45
401
compts_1__1351_22.min1.thm1.tptp
2017-02-06 16:48
321
compts_1__1352_46.min1.thm1
2017-02-06 12:45
1.6K
compts_1__1353_22.min1.thm1
2017-02-06 12:45
494
compts_1__1354_46.min1.thm1
2017-02-06 12:45
1.6K
compts_1__1355_30.min1.thm1
2017-02-06 12:45
2.1K
compts_1__1362_24.min1.thm1
2017-02-06 12:45
1.9K
compts_1__1364_19.min1.thm1
2017-02-06 12:45
1.1K
compts_1__1371_19.min1.thm1
2017-02-06 12:45
1.4K
compts_1__1372_17.min1.thm1
2017-02-06 12:45
1.1K
compts_1__1374_17.min1.thm1
2017-02-06 12:45
1.6K
compts_1__1375_19.min1.thm1
2017-02-06 12:45
793
compts_1__1376_22.min1.thm1
2017-02-06 12:45
1.5K
compts_1__1384_17.min1.thm1
2017-02-06 12:45
259
compts_1__1387_39.min1.thm1
2017-02-06 12:45
1.3K
compts_1__1388_23.min1.thm1
2017-02-06 12:45
1.1K
compts_1__1393_25.min1.thm1
2017-02-06 12:45
1.6K
compts_1__1396_18.min1.thm1
2017-02-06 12:45
356
compts_1__1404_24.min1.thm1
2017-02-06 12:45
1.9K
compts_1__1406_19.min1.thm1
2017-02-06 12:45
1.1K
compts_1__1412_24.min1.thm1
2017-02-06 12:45
1.4K
compts_1__1414_19.min1.thm1
2017-02-06 12:45
700
compts_1__1415_17.min1.thm1
2017-02-06 12:45
1.1K
compts_1__1416_22.min1.thm1
2017-02-06 12:45
1.8K
compts_1__1417_22.min1.thm1
2017-02-06 12:45
1.5K
compts_1__1418_33.min1.thm1
2017-02-06 12:45
2.8K
compts_1__1424_25.min1.thm1
2017-02-06 12:45
1.6K
compts_1__1425_26.min1.thm1
2017-02-06 12:45
1.4K
compts_1__1428_20.min1.thm1
2017-02-06 12:45
1.6K
compts_1__1429_26.min1.thm1
2017-02-06 12:45
1.4K
compts_1__1435_19.min1.thm1
2017-02-06 12:45
1.9K
compts_1__1437_17.min1.thm1
2017-02-06 12:45
1.8K
compts_1__1460_22.min1.thm1
2017-02-06 12:45
1.4K
compts_1__1461_28.min1.thm1
2017-02-06 12:45
1.7K
compts_1__1464_22.min1.thm1
2017-02-06 12:45
1.4K
compts_1__1466_41.min1.thm1
2017-02-06 12:45
2.6K
compts_1__1470_22.min1.thm1
2017-02-06 12:45
401
compts_1__1470_22.min1.thm1.tptp
2017-02-06 16:48
321
compts_1__1472_22.min1.thm1
2017-02-06 12:45
494
compts_1__1474_30.min1.thm1
2017-02-06 12:45
2.1K
compts_1__1481_24.min1.thm1
2017-02-06 12:45
1.9K
compts_1__1483_19.min1.thm1
2017-02-06 12:45
1.1K
compts_1__1490_19.min1.thm1
2017-02-06 12:45
1.4K
compts_1__1491_17.min1.thm1
2017-02-06 12:45
1.1K
compts_1__1493_17.min1.thm1
2017-02-06 12:45
1.6K
compts_1__1494_19.min1.thm1
2017-02-06 12:45
795
compts_1__1495_22.min1.thm1
2017-02-06 12:45
1.5K
compts_1__1496_33.min1.thm1
2017-02-06 12:45
2.8K
compts_1__1503_17.min1.thm1
2017-02-06 12:45
259
compts_1__1507_34.min1.thm1
2017-02-06 12:45
1.3K
compts_1__1509_24.min1.thm1
2017-02-06 12:45
1.3K
compts_1__1519_22.min1.thm1
2017-02-06 12:45
370
compts_1__1523_25.min1.thm1
2017-02-06 12:45
1.6K
compts_1__1526_18.min1.thm1
2017-02-06 12:45
358
compts_1__1534_24.min1.thm1
2017-02-06 12:45
1.9K
compts_1__1536_19.min1.thm1
2017-02-06 12:45
1.1K
compts_1__1542_24.min1.thm1
2017-02-06 12:45
1.4K
compts_1__1544_19.min1.thm1
2017-02-06 12:45
702
compts_1__1545_17.min1.thm1
2017-02-06 12:45
1.1K
compts_1__1546_22.min1.thm1
2017-02-06 12:45
1.8K
compts_1__1547_22.min1.thm1
2017-02-06 12:45
1.5K
compts_1__1554_25.min1.thm1
2017-02-06 12:45
1.6K
compts_1__1555_26.min1.thm1
2017-02-06 12:45
1.4K
compts_1__1558_20.min1.thm1
2017-02-06 12:45
1.6K
compts_1__1559_26.min1.thm1
2017-02-06 12:45
1.4K
compts_1__1565_19.min1.thm1
2017-02-06 12:45
1.9K
compts_1__1567_17.min1.thm1
2017-02-06 12:45
1.8K
compts_1__1578_16.min1.thm1
2017-02-06 12:45
585
compts_1__1590_15.min1.thm1
2017-02-06 12:45
516
compts_1__1604_60.min1.thm1
2017-02-06 12:45
1.1K
compts_1__1609_35.min1.thm1
2017-02-06 12:45
1.0K
compts_1__1610_21.min1.thm1
2017-02-06 12:45
823
compts_1__1612_16.min1.thm1
2017-02-06 12:45
750
compts_1__1616_41.min1.thm1
2017-02-06 12:45
1.2K
compts_1__1621_50.min1.thm1
2017-02-06 12:45
1.5K
compts_1__1622_19.min1.thm1
2017-02-06 12:45
868
compts_1__1624_14.min1.thm1
2017-02-06 12:45
516
compts_1__1637_55.min1.thm1
2017-02-06 12:45
1.1K
compts_1__1643_45.min1.thm1
2017-02-06 12:45
1.1K
compts_1__1644_19.min1.thm1
2017-02-06 12:45
1.0K
compts_1__1650_20.min1.thm1
2017-02-06 12:45
662
compts_1__1652_16.min1.thm1
2017-02-06 12:45
728
compts_1__1656_38.min1.thm1
2017-02-06 12:45
1.1K
compts_1__1662_60.min1.thm1
2017-02-06 12:45
1.1K
compts_1__1663_17.min1.thm1
2017-02-06 12:45
1.0K
compts_1__1669_18.min1.thm1
2017-02-06 12:45
626
compts_1__1671_14.min1.thm1
2017-02-06 12:45
494
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80