Index of /~mptp/1147/MPTP2/ilp0/lattices
Name
Last modified
Size
Description
Parent Directory
-
lattices__46_11.min1.thm1
2017-02-06 12:45
1.3K
lattices__48_11.min1.thm1
2017-02-06 12:45
1.3K
lattices__63_18.min1.thm1
2017-02-06 12:45
1.4K
lattices__70_18.min1.thm1
2017-02-06 12:45
1.4K
lattices__77_18.min1.thm1
2017-02-06 12:45
1.7K
lattices__85_11.min1.thm1
2017-02-06 12:45
1.1K
lattices__92_11.min1.thm1
2017-02-06 12:45
1.1K
lattices__115_8.min1.thm1
2017-02-06 12:45
1.4K
lattices__116_14.min1.thm1
2017-02-06 12:45
1.5K
lattices__124_8.min1.thm1
2017-02-06 12:45
1.4K
lattices__125_14.min1.thm1
2017-02-06 12:45
1.5K
lattices__170_14.min1.thm1
2017-02-06 12:45
500
lattices__173_14.min1.thm1
2017-02-06 12:45
500
lattices__211_16.min1.thm1
2017-02-06 12:45
1.6K
lattices__222_18.min1.thm1
2017-02-06 12:45
654
lattices__222_18.min1.thm1.tptp
2017-02-06 16:47
611
lattices__228_18.min1.thm1
2017-02-06 12:45
654
lattices__228_18.min1.thm1.tptp
2017-02-06 16:47
611
lattices__277_53.min1.thm1
2017-02-06 12:45
2.2K
lattices__280_53.min1.thm1
2017-02-06 12:45
2.2K
lattices__282_17.min1.thm1
2017-02-06 12:45
2.8K
lattices__291_31.min1.thm1
2017-02-06 12:45
2.2K
lattices__306_19.min1.thm1
2017-02-06 12:45
1.5K
lattices__321_28.min1.thm1
2017-02-06 12:45
2.2K
lattices__331_28.min1.thm1
2017-02-06 12:45
2.2K
lattices__346_14.min1.thm1
2017-02-06 12:45
360
lattices__348_14.min1.thm1
2017-02-06 12:45
360
lattices__357_30.min1.thm1
2017-02-06 12:45
2.2K
lattices__359_16.min1.thm1
2017-02-06 12:45
1.5K
lattices__374_14.min1.thm1
2017-02-06 12:45
702
lattices__380_25.min1.thm1
2017-02-06 12:45
557
lattices__380_25.min1.thm1.tptp
2017-02-06 16:47
486
lattices__381_14.min1.thm1
2017-02-06 12:45
557
lattices__381_14.min1.thm1.tptp
2017-02-06 16:47
486
lattices__392_14.min1.thm1
2017-02-06 12:45
702
lattices__398_25.min1.thm1
2017-02-06 12:45
557
lattices__398_25.min1.thm1.tptp
2017-02-06 16:47
486
lattices__399_14.min1.thm1
2017-02-06 12:45
557
lattices__399_14.min1.thm1.tptp
2017-02-06 16:47
486
lattices__422_64.min1.thm1
2017-02-06 12:45
2.3K
lattices__425_23.min1.thm1
2017-02-06 12:45
639
lattices__425_23.min1.thm1.tptp
2017-02-06 16:47
566
lattices__434_15.min1.thm1
2017-02-06 12:45
342
lattices__451_14.min1.thm1
2017-02-06 12:45
398
lattices__453_14.min1.thm1
2017-02-06 12:45
398
lattices__461_63.min1.thm1
2017-02-06 12:45
2.3K
lattices__470_37.min1.thm1
2017-02-06 12:45
1.0K
lattices__474_16.min1.thm1
2017-02-06 12:45
950
lattices__488_47.min1.thm1
2017-02-06 12:45
1.3K
lattices__489_11.min1.thm1
2017-02-06 12:45
1.5K
lattices__499_24.min1.thm1
2017-02-06 12:45
1.2K
lattices__500_14.min1.thm1
2017-02-06 12:45
844
lattices__518_31.min1.thm1
2017-02-06 12:45
2.0K
lattices__520_31.min1.thm1
2017-02-06 12:45
1.8K
lattices__525_51.min1.thm1
2017-02-06 12:45
2.2K
lattices__527_29.min1.thm1
2017-02-06 12:45
2.0K
lattices__528_43.min1.thm1
2017-02-06 12:45
2.2K
lattices__529_29.min1.thm1
2017-02-06 12:45
1.8K
lattices__538_26.min1.thm1
2017-02-06 12:45
913
lattices__539_17.min1.thm1
2017-02-06 12:45
1.2K
lattices__548_40.min1.thm1
2017-02-06 12:45
1.1K
lattices__549_13.min1.thm1
2017-02-06 12:45
804
lattices__558_29.min1.thm1
2017-02-06 12:45
1.3K
lattices__568_19.min1.thm1
2017-02-06 12:45
705
lattices__579_21.min1.thm1
2017-02-06 12:45
1.1K
lattices__588_14.min1.thm1
2017-02-06 12:45
893
lattices__599_61.min1.thm1
2017-02-06 12:45
1.2K
lattices__600_37.min1.thm1
2017-02-06 12:45
1.3K
lattices__601_16.min1.thm1
2017-02-06 12:45
1.3K
lattices__617_55.min1.thm1
2017-02-06 12:45
2.3K
lattices__619_46.min1.thm1
2017-02-06 12:45
2.0K
lattices__621_44.min1.thm1
2017-02-06 12:45
1.4K
lattices__623_39.min1.thm1
2017-02-06 12:45
2.0K
lattices__624_25.min1.thm1
2017-02-06 12:45
1.9K
lattices__628_23.min1.thm1
2017-02-06 12:45
1.9K
lattices__629_11.min1.thm1
2017-02-06 12:45
2.0K
lattices__630_53.min1.thm1
2017-02-06 12:45
2.1K
lattices__632_51.min1.thm1
2017-02-06 12:45
2.1K
lattices__635_49.min1.thm1
2017-02-06 12:45
2.3K
lattices__659_29.min1.thm1
2017-02-06 12:45
2.0K
lattices__662_11.min1.thm1
2017-02-06 12:45
2.2K
lattices__690_42.min1.thm1
2017-02-06 12:45
1.4K
lattices__699_48.min1.thm1
2017-02-06 12:45
1.5K
lattices__700_11.min1.thm1
2017-02-06 12:45
1.8K
lattices__703_16.min1.thm1
2017-02-06 12:45
1.4K
lattices__707_71.min1.thm1
2017-02-06 12:45
475
lattices__710_78.min1.thm1
2017-02-06 12:45
501
lattices__716_32.min1.thm1
2017-02-06 12:45
1.9K
lattices__717_14.min1.thm1
2017-02-06 12:45
811
lattices__725_42.min1.thm1
2017-02-06 12:45
1.5K
lattices__726_11.min1.thm1
2017-02-06 12:45
2.3K
lattices__729_16.min1.thm1
2017-02-06 12:45
1.4K
lattices__733_66.min1.thm1
2017-02-06 12:45
475
lattices__736_70.min1.thm1
2017-02-06 12:45
501
lattices__742_24.min1.thm1
2017-02-06 12:45
1.6K
lattices__743_14.min1.thm1
2017-02-06 12:45
811
lattices__753_14.min1.thm1
2017-02-06 12:45
712
lattices__759_41.min1.thm1
2017-02-06 12:45
1.0K
lattices__760_41.min1.thm1
2017-02-06 12:45
1.0K
lattices__771_28.min1.thm1
2017-02-06 12:45
1.1K
lattices__772_17.min1.thm1
2017-02-06 12:45
1.6K
lattices__778_28.min1.thm1
2017-02-06 12:45
1.1K
lattices__779_17.min1.thm1
2017-02-06 12:45
1.6K
lattices__786_28.min1.thm1
2017-02-06 12:45
1.1K
lattices__789_30.min1.thm1
2017-02-06 12:45
1.1K
lattices__796_9.min1.thm1
2017-02-06 12:45
475
lattices__803_38.min1.thm1
2017-02-06 12:45
1.0K
lattices__805_23.min1.thm1
2017-02-06 12:45
1.1K
lattices__806_15.min1.thm1
2017-02-06 12:45
1.0K
lattices__808_40.min1.thm1
2017-02-06 12:45
1.6K
lattices__809_36.min1.thm1
2017-02-06 12:45
1.1K
lattices__811_21.min1.thm1
2017-02-06 12:45
1.2K
lattices__812_12.min1.thm1
2017-02-06 12:45
1.8K
lattices__814_17.min1.thm1
2017-02-06 12:45
2.3K
lattices__820_32.min1.thm1
2017-02-06 12:45
964
lattices__821_22.min1.thm1
2017-02-06 12:45
1.3K
lattices__822_15.min1.thm1
2017-02-06 12:45
1.6K
lattices__832_18.min1.thm1
2017-02-06 12:45
1.6K
lattices__833_26.min1.thm1
2017-02-06 12:45
1.1K
lattices__835_16.min1.thm1
2017-02-06 12:45
1.9K
lattices__836_24.min1.thm1
2017-02-06 12:45
1.9K
lattices__837_19.min1.thm1
2017-02-06 12:45
1.9K
lattices__844_25.min1.thm1
2017-02-06 12:45
925
lattices__845_25.min1.thm1
2017-02-06 12:45
1.6K
lattices__846_19.min1.thm1
2017-02-06 12:45
2.0K
lattices__856_26.min1.thm1
2017-02-06 12:45
1.0K
lattices__857_24.min1.thm1
2017-02-06 12:45
1.8K
lattices__858_29.min1.thm1
2017-02-06 12:45
2.2K
lattices__859_17.min1.thm1
2017-02-06 12:45
1.2K
lattices__881_16.min1.thm1
2017-02-06 12:45
1.0K
lattices__884_16.min1.thm1
2017-02-06 12:45
1.0K
lattices__886_25.min1.thm1
2017-02-06 12:45
575
lattices__895_14.min1.thm1
2017-02-06 12:45
622
lattices__895_14.min1.thm1.tptp
2017-02-06 16:47
545
lattices__903_19.min1.thm1
2017-02-06 12:45
475
lattices__903_19.min1.thm1.tptp
2017-02-06 16:47
411
lattices__906_17.min1.thm1
2017-02-06 12:45
469
lattices__906_17.min1.thm1.tptp
2017-02-06 16:47
405
lattices__931_14.min1.thm1
2017-02-06 12:45
763
lattices__934_34.min1.thm1
2017-02-06 12:45
1.1K
lattices__937_19.min1.thm1
2017-02-06 12:45
2.0K
lattices__939_19.min1.thm1
2017-02-06 12:45
1.7K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80