Index of /~mptp/7.13.01_4.181.1147/MPTP2/ilp0/lattice3
Name
Last modified
Size
Description
Parent Directory
-
lattice3__70_31.min1.thm1
2017-02-06 12:45
1.6K
lattice3__71_22.min1.thm1
2017-02-06 12:45
1.6K
lattice3__77_31.min1.thm1
2017-02-06 12:45
1.6K
lattice3__78_22.min1.thm1
2017-02-06 12:45
1.6K
lattice3__93_42.min1.thm1
2017-02-06 12:45
624
lattice3__93_42.min1.thm1.tptp
2017-02-06 16:47
593
lattice3__94_49.min1.thm1
2017-02-06 12:45
436
lattice3__105_49.min1.thm1
2017-02-06 12:45
957
lattice3__109_62.min1.thm1
2017-02-06 12:45
1.3K
lattice3__114_49.min1.thm1
2017-02-06 12:45
957
lattice3__118_61.min1.thm1
2017-02-06 12:45
1.3K
lattice3__123_39.min1.thm1
2017-02-06 12:45
795
lattice3__123_39.min1.thm1.tptp
2017-02-06 16:47
806
lattice3__126_52.min1.thm1
2017-02-06 12:45
1.0K
lattice3__127_17.min1.thm1
2017-02-06 12:45
1.1K
lattice3__135_19.min1.thm1
2017-02-06 12:45
671
lattice3__135_19.min1.thm1.tptp
2017-02-06 16:47
644
lattice3__136_36.min1.thm1
2017-02-06 12:45
1.4K
lattice3__137_24.min1.thm1
2017-02-06 12:45
1.5K
lattice3__138_19.min1.thm1
2017-02-06 12:45
671
lattice3__138_19.min1.thm1.tptp
2017-02-06 16:47
644
lattice3__139_36.min1.thm1
2017-02-06 12:45
1.4K
lattice3__140_24.min1.thm1
2017-02-06 12:45
1.3K
lattice3__144_16.min1.thm1
2017-02-06 12:45
880
lattice3__152_16.min1.thm1
2017-02-06 12:45
221
lattice3__153_53.min1.thm1
2017-02-06 12:45
855
lattice3__154_14.min1.thm1
2017-02-06 12:45
1.6K
lattice3__155_14.min1.thm1
2017-02-06 12:45
1.5K
lattice3__159_15.min1.thm1
2017-02-06 12:45
897
lattice3__161_17.min1.thm1
2017-02-06 12:45
1.3K
lattice3__167_33.min1.thm1
2017-02-06 12:45
620
lattice3__167_33.min1.thm1.tptp
2017-02-06 16:47
589
lattice3__168_52.min1.thm1
2017-02-06 12:45
532
lattice3__176_17.min1.thm1
2017-02-06 12:45
1.3K
lattice3__185_21.min1.thm1
2017-02-06 12:45
703
lattice3__186_21.min1.thm1
2017-02-06 12:45
694
lattice3__187_38.min1.thm1
2017-02-06 12:45
1.0K
lattice3__191_25.min1.thm1
2017-02-06 12:45
703
lattice3__192_45.min1.thm1
2017-02-06 12:45
909
lattice3__195_20.min1.thm1
2017-02-06 12:45
626
lattice3__196_15.min1.thm1
2017-02-06 12:45
748
lattice3__197_19.min1.thm1
2017-02-06 12:45
362
lattice3__197_19.min1.thm1.tptp
2017-02-06 16:47
287
lattice3__198_26.min1.thm1
2017-02-06 12:45
1.3K
lattice3__199_19.min1.thm1
2017-02-06 12:45
463
lattice3__201_16.min1.thm1
2017-02-06 12:45
385
lattice3__201_16.min1.thm1.tptp
2017-02-06 16:47
311
lattice3__202_22.min1.thm1
2017-02-06 12:45
368
lattice3__202_22.min1.thm1.tptp
2017-02-06 16:47
293
lattice3__210_26.min1.thm1
2017-02-06 12:45
476
lattice3__215_19.min1.thm1
2017-02-06 12:45
742
lattice3__224_25.min1.thm1
2017-02-06 12:45
1.0K
lattice3__225_22.min1.thm1
2017-02-06 12:45
1.3K
lattice3__226_20.min1.thm1
2017-02-06 12:45
283
lattice3__227_16.min1.thm1
2017-02-06 12:45
277
lattice3__228_18.min1.thm1
2017-02-06 12:45
2.0K
lattice3__230_15.min1.thm1
2017-02-06 12:45
431
lattice3__231_17.min1.thm1
2017-02-06 12:45
1.0K
lattice3__247_65.min1.thm1
2017-02-06 12:45
1.1K
lattice3__250_56.min1.thm1
2017-02-06 12:45
493
lattice3__250_56.min1.thm1.tptp
2017-02-06 16:47
415
lattice3__255_39.min1.thm1
2017-02-06 12:45
372
lattice3__255_39.min1.thm1.tptp
2017-02-06 16:47
294
lattice3__256_12.min1.thm1
2017-02-06 12:45
905
lattice3__257_21.min1.thm1
2017-02-06 12:45
1.6K
lattice3__265_50.min1.thm1
2017-02-06 12:45
539
lattice3__269_17.min1.thm1
2017-02-06 12:45
1.8K
lattice3__271_21.min1.thm1
2017-02-06 12:45
1.7K
lattice3__280_58.min1.thm1
2017-02-06 12:45
706
lattice3__284_17.min1.thm1
2017-02-06 12:45
1.8K
lattice3__285_17.min1.thm1
2017-02-06 12:45
1.8K
lattice3__286_22.min1.thm1
2017-02-06 12:45
1.7K
lattice3__287_21.min1.thm1
2017-02-06 12:45
1.7K
lattice3__289_23.min1.thm1
2017-02-06 12:45
629
lattice3__290_24.min1.thm1
2017-02-06 12:45
599
lattice3__291_19.min1.thm1
2017-02-06 12:45
1.9K
lattice3__299_13.min1.thm1
2017-02-06 12:45
1.7K
lattice3__305_11.min1.thm1
2017-02-06 12:45
1.3K
lattice3__319_18.min1.thm1
2017-02-06 12:45
1.8K
lattice3__320_18.min1.thm1
2017-02-06 12:45
1.8K
lattice3__331_20.min1.thm1
2017-02-06 12:45
1.4K
lattice3__332_19.min1.thm1
2017-02-06 12:45
1.4K
lattice3__343_19.min1.thm1
2017-02-06 12:45
1.6K
lattice3__344_19.min1.thm1
2017-02-06 12:45
1.6K
lattice3__345_19.min1.thm1
2017-02-06 12:45
1.6K
lattice3__346_19.min1.thm1
2017-02-06 12:45
1.6K
lattice3__355_20.min1.thm1
2017-02-06 12:45
1.4K
lattice3__356_19.min1.thm1
2017-02-06 12:45
1.4K
lattice3__393_22.min1.thm1
2017-02-06 12:45
1.3K
lattice3__394_16.min1.thm1
2017-02-06 12:45
823
lattice3__395_19.min1.thm1
2017-02-06 12:45
2.3K
lattice3__403_13.min1.thm1
2017-02-06 12:45
1.0K
lattice3__410_64.min1.thm1
2017-02-06 12:45
1.6K
lattice3__418_11.min1.thm1
2017-02-06 12:45
1.7K
lattice3__444_47.min1.thm1
2017-02-06 12:45
828
lattice3__445_50.min1.thm1
2017-02-06 12:45
1.4K
lattice3__486_67.min1.thm1
2017-02-06 12:45
1.2K
lattice3__487_36.min1.thm1
2017-02-06 12:45
1.0K
lattice3__488_16.min1.thm1
2017-02-06 12:45
1.3K
lattice3__499_67.min1.thm1
2017-02-06 12:45
1.2K
lattice3__500_36.min1.thm1
2017-02-06 12:45
1.0K
lattice3__501_16.min1.thm1
2017-02-06 12:45
1.3K
lattice3__519_14.min1.thm1
2017-02-06 12:45
829
lattice3__520_14.min1.thm1
2017-02-06 12:45
829
lattice3__521_28.min1.thm1
2017-02-06 12:45
1.9K
lattice3__523_16.min1.thm1
2017-02-06 12:45
829
lattice3__527_17.min1.thm1
2017-02-06 12:45
1.4K
lattice3__528_16.min1.thm1
2017-02-06 12:45
1.4K
lattice3__529_20.min1.thm1
2017-02-06 12:45
1.1K
lattice3__530_19.min1.thm1
2017-02-06 12:45
1.5K
lattice3__541_15.min1.thm1
2017-02-06 12:45
819
lattice3__542_26.min1.thm1
2017-02-06 12:45
1.5K
lattice3__547_17.min1.thm1
2017-02-06 12:45
832
lattice3__548_14.min1.thm1
2017-02-06 12:45
833
lattice3__549_18.min1.thm1
2017-02-06 12:45
1.2K
lattice3__550_17.min1.thm1
2017-02-06 12:45
1.2K
lattice3__563_14.min1.thm1
2017-02-06 12:45
845
lattice3__564_14.min1.thm1
2017-02-06 12:45
845
lattice3__567_16.min1.thm1
2017-02-06 12:45
845
lattice3__571_16.min1.thm1
2017-02-06 12:45
1.6K
lattice3__572_16.min1.thm1
2017-02-06 12:45
1.6K
lattice3__580_15.min1.thm1
2017-02-06 12:45
835
lattice3__581_15.min1.thm1
2017-02-06 12:45
835
lattice3__584_17.min1.thm1
2017-02-06 12:45
835
lattice3__588_17.min1.thm1
2017-02-06 12:45
1.6K
lattice3__589_14.min1.thm1
2017-02-06 12:45
1.6K
lattice3__609_20.min1.thm1
2017-02-06 12:45
268
lattice3__612_37.min1.thm1
2017-02-06 12:45
1.1K
lattice3__617_22.min1.thm1
2017-02-06 12:45
2.2K
lattice3__621_15.min1.thm1
2017-02-06 12:45
2.1K
lattice3__623_15.min1.thm1
2017-02-06 12:45
810
lattice3__641_50.min1.thm1
2017-02-06 12:45
748
lattice3__643_17.min1.thm1
2017-02-06 12:45
1.0K
lattice3__644_17.min1.thm1
2017-02-06 12:45
1.0K
lattice3__645_28.min1.thm1
2017-02-06 12:45
1.3K
lattice3__653_21.min1.thm1
2017-02-06 12:45
1.3K
lattice3__655_19.min1.thm1
2017-02-06 12:45
701
lattice3__661_46.min1.thm1
2017-02-06 12:45
718
lattice3__667_44.min1.thm1
2017-02-06 12:45
1.0K
lattice3__668_16.min1.thm1
2017-02-06 12:45
397
lattice3__670_17.min1.thm1
2017-02-06 12:45
654
lattice3__675_44.min1.thm1
2017-02-06 12:45
1.0K
lattice3__676_16.min1.thm1
2017-02-06 12:45
397
lattice3__678_17.min1.thm1
2017-02-06 12:45
654
lattice3__683_12.min1.thm1
2017-02-06 12:45
1.1K
lattice3__684_17.min1.thm1
2017-02-06 12:45
949
lattice3__692_18.min1.thm1
2017-02-06 12:45
653
lattice3__692_18.min1.thm1.tptp
2017-02-06 16:47
581
lattice3__706_14.min1.thm1
2017-02-06 12:45
844
lattice3__716_15.min1.thm1
2017-02-06 12:45
746
lattice3__717_15.min1.thm1
2017-02-06 12:45
746
lattice3__718_19.min1.thm1
2017-02-06 12:45
919
lattice3__726_61.min1.thm1
2017-02-06 12:45
1.1K
lattice3__742_14.min1.thm1
2017-02-06 12:45
844
lattice3__752_15.min1.thm1
2017-02-06 12:45
746
lattice3__753_15.min1.thm1
2017-02-06 12:45
746
lattice3__754_19.min1.thm1
2017-02-06 12:45
919
lattice3__762_61.min1.thm1
2017-02-06 12:45
1.1K
lattice3__778_21.min1.thm1
2017-02-06 12:45
1.2K
lattice3__779_21.min1.thm1
2017-02-06 12:45
1.2K
lattice3__780_55.min1.thm1
2017-02-06 12:45
1.4K
lattice3__789_21.min1.thm1
2017-02-06 12:45
1.2K
lattice3__790_21.min1.thm1
2017-02-06 12:45
1.2K
lattice3__791_21.min1.thm1
2017-02-06 12:45
1.2K
lattice3__792_21.min1.thm1
2017-02-06 12:45
1.2K
lattice3__793_35.min1.thm1
2017-02-06 12:45
1.4K
lattice3__794_29.min1.thm1
2017-02-06 12:45
1.4K
lattice3__795_29.min1.thm1
2017-02-06 12:45
1.5K
lattice3__796_27.min1.thm1
2017-02-06 12:45
1.5K
lattice3__798_35.min1.thm1
2017-02-06 12:45
1.8K
lattice3__804_16.min1.thm1
2017-02-06 12:45
1.4K
lattice3__805_16.min1.thm1
2017-02-06 12:45
1.4K
lattice3__806_21.min1.thm1
2017-02-06 12:45
1.5K
lattice3__807_35.min1.thm1
2017-02-06 12:45
1.7K
lattice3__815_21.min1.thm1
2017-02-06 12:45
1.2K
lattice3__816_21.min1.thm1
2017-02-06 12:45
1.2K
lattice3__817_55.min1.thm1
2017-02-06 12:45
1.4K
lattice3__826_21.min1.thm1
2017-02-06 12:45
1.2K
lattice3__827_21.min1.thm1
2017-02-06 12:45
1.2K
lattice3__828_21.min1.thm1
2017-02-06 12:45
1.2K
lattice3__829_21.min1.thm1
2017-02-06 12:45
1.2K
lattice3__830_35.min1.thm1
2017-02-06 12:45
1.4K
lattice3__831_29.min1.thm1
2017-02-06 12:45
1.4K
lattice3__832_29.min1.thm1
2017-02-06 12:45
1.5K
lattice3__833_27.min1.thm1
2017-02-06 12:45
1.5K
lattice3__835_35.min1.thm1
2017-02-06 12:45
1.8K
lattice3__841_16.min1.thm1
2017-02-06 12:45
1.4K
lattice3__842_16.min1.thm1
2017-02-06 12:45
1.4K
lattice3__843_21.min1.thm1
2017-02-06 12:45
1.5K
lattice3__844_35.min1.thm1
2017-02-06 12:45
1.7K
lattice3__852_18.min1.thm1
2017-02-06 12:45
651
lattice3__852_18.min1.thm1.tptp
2017-02-06 16:47
606
lattice3__858_18.min1.thm1
2017-02-06 12:45
651
lattice3__858_18.min1.thm1.tptp
2017-02-06 16:47
606
lattice3__864_21.min1.thm1
2017-02-06 12:45
1.8K
lattice3__865_12.min1.thm1
2017-02-06 12:45
767
lattice3__866_53.min1.thm1
2017-02-06 12:45
372
lattice3__873_12.min1.thm1
2017-02-06 12:45
767
lattice3__874_21.min1.thm1
2017-02-06 12:45
2.1K
lattice3__875_53.min1.thm1
2017-02-06 12:45
372
lattice3__889_45.min1.thm1
2017-02-06 12:45
443
lattice3__889_45.min1.thm1.tptp
2017-02-06 16:47
355
lattice3__891_15.min1.thm1
2017-02-06 12:45
530
lattice3__891_15.min1.thm1.tptp
2017-02-06 16:47
474
lattice3__900_45.min1.thm1
2017-02-06 12:45
443
lattice3__900_45.min1.thm1.tptp
2017-02-06 16:47
355
lattice3__902_15.min1.thm1
2017-02-06 12:45
530
lattice3__902_15.min1.thm1.tptp
2017-02-06 16:47
474
lattice3__910_24.min1.thm1
2017-02-06 12:45
845
lattice3__917_25.min1.thm1
2017-02-06 12:45
1.5K
lattice3__919_24.min1.thm1
2017-02-06 12:45
1.5K
lattice3__926_25.min1.thm1
2017-02-06 12:45
1.4K
lattice3__927_13.min1.thm1
2017-02-06 12:45
1.0K
lattice3__932_24.min1.thm1
2017-02-06 12:45
845
lattice3__939_25.min1.thm1
2017-02-06 12:45
1.5K
lattice3__941_24.min1.thm1
2017-02-06 12:45
1.5K
lattice3__948_25.min1.thm1
2017-02-06 12:45
1.4K
lattice3__949_13.min1.thm1
2017-02-06 12:45
1.0K
lattice3__967_47.min1.thm1
2017-02-06 12:45
1.9K
lattice3__969_15.min1.thm1
2017-02-06 12:45
1.7K
lattice3__970_22.min1.thm1
2017-02-06 12:45
1.8K
lattice3__978_23.min1.thm1
2017-02-06 12:45
1.2K
lattice3__979_40.min1.thm1
2017-02-06 12:45
511
lattice3__980_47.min1.thm1
2017-02-06 12:45
1.9K
lattice3__981_16.min1.thm1
2017-02-06 12:45
1.6K
lattice3__982_12.min1.thm1
2017-02-06 12:45
809
lattice3__984_22.min1.thm1
2017-02-06 12:45
1.8K
lattice3__985_21.min1.thm1
2017-02-06 12:45
1.9K
lattice3__986_25.min1.thm1
2017-02-06 12:45
1.8K
lattice3__991_14.min1.thm1
2017-02-06 12:45
1.9K
lattice3__1010_48.min1.thm1
2017-02-06 12:45
514
lattice3__1010_48.min1.thm1.tptp
2017-02-06 16:47
436
lattice3__1017_32.min1.thm1
2017-02-06 12:45
1.7K
lattice3__1020_15.min1.thm1
2017-02-06 12:45
1.1K
lattice3__1024_17.min1.thm1
2017-02-06 12:45
1.4K
lattice3__1030_15.min1.thm1
2017-02-06 12:45
1.2K
lattice3__1034_13.min1.thm1
2017-02-06 12:45
1.3K
lattice3__1036_19.min1.thm1
2017-02-06 12:45
1.7K
lattice3__1064_17.min1.thm1
2017-02-06 12:45
1.1K
lattice3__1065_17.min1.thm1
2017-02-06 12:45
1.1K
lattice3__1071_13.min1.thm1
2017-02-06 12:45
2.0K
lattice3__1072_13.min1.thm1
2017-02-06 12:45
2.1K
lattice3__1073_19.min1.thm1
2017-02-06 12:45
1.4K
lattice3__1080_21.min1.thm1
2017-02-06 12:45
1.2K
lattice3__1081_18.min1.thm1
2017-02-06 12:45
1.6K
lattice3__1082_16.min1.thm1
2017-02-06 12:45
1.6K
lattice3__1091_17.min1.thm1
2017-02-06 12:45
1.1K
lattice3__1092_17.min1.thm1
2017-02-06 12:45
1.1K
lattice3__1098_13.min1.thm1
2017-02-06 12:45
2.0K
lattice3__1099_13.min1.thm1
2017-02-06 12:45
2.1K
lattice3__1100_19.min1.thm1
2017-02-06 12:45
1.4K
lattice3__1107_21.min1.thm1
2017-02-06 12:45
1.2K
lattice3__1108_18.min1.thm1
2017-02-06 12:45
1.8K
lattice3__1109_16.min1.thm1
2017-02-06 12:45
1.8K
lattice3__1148_55.min1.thm1
2017-02-06 12:45
793
lattice3__1149_19.min1.thm1
2017-02-06 12:45
1.8K
lattice3__1156_11.min1.thm1
2017-02-06 12:45
818
lattice3__1157_11.min1.thm1
2017-02-06 12:45
662
lattice3__1158_9.min1.thm1
2017-02-06 12:45
662
lattice3__1159_17.min1.thm1
2017-02-06 12:45
2.0K
lattice3__1174_55.min1.thm1
2017-02-06 12:45
793
lattice3__1175_19.min1.thm1
2017-02-06 12:45
1.8K
lattice3__1182_11.min1.thm1
2017-02-06 12:45
818
lattice3__1183_11.min1.thm1
2017-02-06 12:45
662
lattice3__1184_9.min1.thm1
2017-02-06 12:45
662
lattice3__1185_17.min1.thm1
2017-02-06 12:45
2.0K
lattice3__1194_23.min1.thm1
2017-02-06 12:45
623
lattice3__1194_23.min1.thm1.tptp
2017-02-06 16:47
592
lattice3__1201_28.min1.thm1
2017-02-06 12:45
1.2K
lattice3__1203_19.min1.thm1
2017-02-06 12:45
698
lattice3__1212_13.min1.thm1
2017-02-06 12:45
833
lattice3__1213_40.min1.thm1
2017-02-06 12:45
947
lattice3__1214_14.min1.thm1
2017-02-06 12:45
660
lattice3__1218_17.min1.thm1
2017-02-06 12:45
686
lattice3__1224_14.min1.thm1
2017-02-06 12:45
232
lattice3__1239_23.min1.thm1
2017-02-06 12:45
623
lattice3__1239_23.min1.thm1.tptp
2017-02-06 16:47
592
lattice3__1244_58.min1.thm1
2017-02-06 12:45
803
lattice3__1247_32.min1.thm1
2017-02-06 12:45
880
lattice3__1248_21.min1.thm1
2017-02-06 12:45
638
lattice3__1256_13.min1.thm1
2017-02-06 12:45
833
lattice3__1257_40.min1.thm1
2017-02-06 12:45
947
lattice3__1258_14.min1.thm1
2017-02-06 12:45
1.7K
lattice3__1267_28.min1.thm1
2017-02-06 12:45
1.2K
lattice3__1269_19.min1.thm1
2017-02-06 12:45
1.5K
lattice3__1271_14.min1.thm1
2017-02-06 12:45
1.4K
lattice3__1272_11.min1.thm1
2017-02-06 12:45
638
lattice3__1280_28.min1.thm1
2017-02-06 12:45
803
lattice3__1285_14.min1.thm1
2017-02-06 12:45
561
lattice3__1290_18.min1.thm1
2017-02-06 12:45
515
lattice3__1291_19.min1.thm1
2017-02-06 12:45
1.5K
lattice3__1293_14.min1.thm1
2017-02-06 12:45
1.4K
lattice3__1294_11.min1.thm1
2017-02-06 12:45
734
lattice3__1303_14.min1.thm1
2017-02-06 12:45
415
lattice3__1303_14.min1.thm1.tptp
2017-02-06 16:47
353
lattice3__1304_13.min1.thm1
2017-02-06 12:45
508
lattice3__1308_14.min1.thm1
2017-02-06 12:45
833
lattice3__1309_35.min1.thm1
2017-02-06 12:45
947
lattice3__1311_18.min1.thm1
2017-02-06 12:45
667
lattice3__1340_13.min1.thm1
2017-02-06 12:45
933
lattice3__1343_15.min1.thm1
2017-02-06 12:45
612
lattice3__1343_15.min1.thm1.tptp
2017-02-06 16:47
555
lattice3__1345_22.min1.thm1
2017-02-06 12:45
1.4K
lattice3__1352_11.min1.thm1
2017-02-06 12:45
854
lattice3__1355_14.min1.thm1
2017-02-06 12:45
803
lattice3__1356_16.min1.thm1
2017-02-06 12:45
641
lattice3__1357_19.min1.thm1
2017-02-06 12:45
1.4K
lattice3__1360_12.min1.thm1
2017-02-06 12:45
929
lattice3__1365_12.min1.thm1
2017-02-06 12:45
939
lattice3__1368_19.min1.thm1
2017-02-06 12:45
1.8K
lattice3__1374_12.min1.thm1
2017-02-06 12:45
939
lattice3__1377_19.min1.thm1
2017-02-06 12:45
1.9K
lattice3__1379_25.min1.thm1
2017-02-06 12:45
231
lattice3__1382_30.min1.thm1
2017-02-06 12:45
1.8K
lattice3__1390_62.min1.thm1
2017-02-06 12:45
480
lattice3__1391_16.min1.thm1
2017-02-06 12:45
815
lattice3__1405_16.min1.thm1
2017-02-06 12:45
845
lattice3__1407_20.min1.thm1
2017-02-06 12:45
1.1K
lattice3__1408_19.min1.thm1
2017-02-06 12:45
2.5K
lattice3__1414_18.min1.thm1
2017-02-06 12:45
1.1K
lattice3__1415_17.min1.thm1
2017-02-06 12:45
1.4K
lattice3__1419_59.min1.thm1
2017-02-06 12:45
835
lattice3__1420_17.min1.thm1
2017-02-06 12:45
1.2K
lattice3__1431_16.min1.thm1
2017-02-06 12:45
845
lattice3__1433_20.min1.thm1
2017-02-06 12:45
1.1K
lattice3__1434_19.min1.thm1
2017-02-06 12:45
2.5K
lattice3__1440_18.min1.thm1
2017-02-06 12:45
1.1K
lattice3__1441_17.min1.thm1
2017-02-06 12:45
1.4K
lattice3__1445_59.min1.thm1
2017-02-06 12:45
835
lattice3__1446_17.min1.thm1
2017-02-06 12:45
1.2K
lattice3__1453_40.min1.thm1
2017-02-06 12:45
539
lattice3__1453_40.min1.thm1.tptp
2017-02-06 16:47
468
lattice3__1455_41.min1.thm1
2017-02-06 12:45
1.1K
lattice3__1463_42.min1.thm1
2017-02-06 12:45
1.8K
lattice3__1465_12.min1.thm1
2017-02-06 12:45
904
lattice3__1471_22.min1.thm1
2017-02-06 12:45
1.4K
lattice3__1479_24.min1.thm1
2017-02-06 12:45
1.1K
lattice3__1480_42.min1.thm1
2017-02-06 12:45
1.7K
lattice3__1484_44.min1.thm1
2017-02-06 12:45
1.8K
lattice3__1490_20.min1.thm1
2017-02-06 12:45
626
lattice3__1495_16.min1.thm1
2017-02-06 12:45
250
lattice3__1507_14.min1.thm1
2017-02-06 12:45
781
lattice3__1507_14.min1.thm1.tptp
2017-02-06 16:47
745
lattice3__1515_15.min1.thm1
2017-02-06 12:45
594
lattice3__1516_15.min1.thm1
2017-02-06 12:45
594
lattice3__1517_19.min1.thm1
2017-02-06 12:45
1.4K
lattice3__1525_13.min1.thm1
2017-02-06 12:45
478
lattice3__1525_13.min1.thm1.tptp
2017-02-06 16:47
402
lattice3__1547_10.min1.thm1
2017-02-06 12:45
963
lattice3__1548_31.min1.thm1
2017-02-06 12:45
851
lattice3__1549_26.min1.thm1
2017-02-06 12:45
1.5K
lattice3__1550_19.min1.thm1
2017-02-06 12:45
2.3K
lattice3__1552_17.min1.thm1
2017-02-06 12:45
2.0K
lattice3__1569_31.min1.thm1
2017-02-06 12:45
855
lattice3__1570_53.min1.thm1
2017-02-06 12:45
1.4K
lattice3__1571_31.min1.thm1
2017-02-06 12:45
957
lattice3__1572_53.min1.thm1
2017-02-06 12:45
1.5K
lattice3__1584_20.min1.thm1
2017-02-06 12:45
1.8K
lattice3__1585_36.min1.thm1
2017-02-06 12:45
1.8K
lattice3__1586_22.min1.thm1
2017-02-06 12:45
818
lattice3__1610_64.min1.thm1
2017-02-06 12:45
891
lattice3__1611_23.min1.thm1
2017-02-06 12:45
1.0K
lattice3__1617_15.min1.thm1
2017-02-06 12:45
806
lattice3__1618_19.min1.thm1
2017-02-06 12:45
1.5K
lattice3__1627_41.min1.thm1
2017-02-06 12:45
867
lattice3__1628_19.min1.thm1
2017-02-06 12:45
1.3K
lattice3__1630_11.min1.thm1
2017-02-06 12:45
794
lattice3__1631_17.min1.thm1
2017-02-06 12:45
1.7K
lattice3__1644_10.min1.thm1
2017-02-06 12:45
966
lattice3__1645_34.min1.thm1
2017-02-06 12:45
811
lattice3__1646_26.min1.thm1
2017-02-06 12:45
1.5K
lattice3__1647_19.min1.thm1
2017-02-06 12:45
2.2K
lattice3__1649_17.min1.thm1
2017-02-06 12:45
1.7K
lattice3__1667_34.min1.thm1
2017-02-06 12:45
815
lattice3__1668_56.min1.thm1
2017-02-06 12:45
907
lattice3__1669_34.min1.thm1
2017-02-06 12:45
917
lattice3__1670_56.min1.thm1
2017-02-06 12:45
1.0K
lattice3__1682_20.min1.thm1
2017-02-06 12:45
1.3K
lattice3__1683_36.min1.thm1
2017-02-06 12:45
1.3K
lattice3__1695_44.min1.thm1
2017-02-06 12:45
867
lattice3__1696_19.min1.thm1
2017-02-06 12:45
1.1K
lattice3__1698_29.min1.thm1
2017-02-06 12:45
849
lattice3__1699_21.min1.thm1
2017-02-06 12:45
894
lattice3__1700_56.min1.thm1
2017-02-06 12:45
1.5K
lattice3__1701_17.min1.thm1
2017-02-06 12:45
1.2K
lattice3__1709_29.min1.thm1
2017-02-06 12:45
849
lattice3__1710_25.min1.thm1
2017-02-06 12:45
1.5K
lattice3__1715_41.min1.thm1
2017-02-06 12:45
867
lattice3__1716_19.min1.thm1
2017-02-06 12:45
1.5K
lattice3__1725_33.min1.thm1
2017-02-06 12:45
794
lattice3__1726_17.min1.thm1
2017-02-06 12:45
1.3K
lattice3__1735_21.min1.thm1
2017-02-06 12:45
1.5K
lattice3__1736_19.min1.thm1
2017-02-06 12:45
806
lattice3__1737_17.min1.thm1
2017-02-06 12:45
1.6K
lattice3__1746_21.min1.thm1
2017-02-06 12:45
806
lattice3__1747_19.min1.thm1
2017-02-06 12:45
788
lattice3__1748_17.min1.thm1
2017-02-06 12:45
1.6K
lattice3__1754_15.min1.thm1
2017-02-06 12:45
959
lattice3__1759_19.min1.thm1
2017-02-06 12:45
1.5K
lattice3__1761_22.min1.thm1
2017-02-06 12:45
964
lattice3__1766_19.min1.thm1
2017-02-06 12:45
1.5K
lattice3__1768_17.min1.thm1
2017-02-06 12:45
964
lattice3__1779_18.min1.thm1
2017-02-06 12:45
1.8K
lattice3__1780_18.min1.thm1
2017-02-06 12:45
1.8K
lattice3__1781_19.min1.thm1
2017-02-06 12:45
2.5K
lattice3__1783_17.min1.thm1
2017-02-06 12:45
1.1K
lattice3__1784_17.min1.thm1
2017-02-06 12:45
1.1K
lattice3__1790_13.min1.thm1
2017-02-06 12:45
2.3K
lattice3__1791_13.min1.thm1
2017-02-06 12:45
1.5K
lattice3__1792_24.min1.thm1
2017-02-06 12:45
1.4K
lattice3__1799_44.min1.thm1
2017-02-06 12:45
1.9K
lattice3__1800_19.min1.thm1
2017-02-06 12:45
1.2K
lattice3__1803_40.min1.thm1
2017-02-06 12:45
1.7K
lattice3__1809_40.min1.thm1
2017-02-06 12:45
1.2K
lattice3__1811_14.min1.thm1
2017-02-06 12:45
2.1K
lattice3__1812_13.min1.thm1
2017-02-06 12:45
2.2K
lattice3__1813_19.min1.thm1
2017-02-06 12:45
2.0K
lattice3__1822_10.min1.thm1
2017-02-06 12:45
1.2K
lattice3__1823_10.min1.thm1
2017-02-06 12:45
1.2K
lattice3__1828_31.min1.thm1
2017-02-06 12:45
1.0K
lattice3__1829_16.min1.thm1
2017-02-06 12:45
1.2K
lattice3__1831_24.min1.thm1
2017-02-06 12:45
934
lattice3__1836_31.min1.thm1
2017-02-06 12:45
1.0K
lattice3__1837_16.min1.thm1
2017-02-06 12:45
1.2K
lattice3__1839_17.min1.thm1
2017-02-06 12:45
934
lattice3__1852_31.min1.thm1
2017-02-06 12:45
851
lattice3__1853_19.min1.thm1
2017-02-06 12:45
1.6K
lattice3__1855_33.min1.thm1
2017-02-06 12:45
1.5K
lattice3__1861_31.min1.thm1
2017-02-06 12:45
811
lattice3__1862_19.min1.thm1
2017-02-06 12:45
1.6K
lattice3__1864_17.min1.thm1
2017-02-06 12:45
963
lattice3__1876_15.min1.thm1
2017-02-06 12:45
1.3K
lattice3__1877_19.min1.thm1
2017-02-06 12:45
1.5K
lattice3__1880_29.min1.thm1
2017-02-06 12:45
1.5K
lattice3__1885_48.min1.thm1
2017-02-06 12:45
1.0K
lattice3__1888_10.min1.thm1
2017-02-06 12:45
491
lattice3__1889_21.min1.thm1
2017-02-06 12:45
818
lattice3__1890_19.min1.thm1
2017-02-06 12:45
1.8K
lattice3__1892_32.min1.thm1
2017-02-06 12:45
1.5K
lattice3__1893_32.min1.thm1
2017-02-06 12:45
1.7K
lattice3__1898_15.min1.thm1
2017-02-06 12:45
1.3K
lattice3__1899_19.min1.thm1
2017-02-06 12:45
1.5K
lattice3__1902_29.min1.thm1
2017-02-06 12:45
1.0K
lattice3__1907_48.min1.thm1
2017-02-06 12:45
1.0K
lattice3__1910_10.min1.thm1
2017-02-06 12:45
491
lattice3__1911_21.min1.thm1
2017-02-06 12:45
818
lattice3__1912_19.min1.thm1
2017-02-06 12:45
1.8K
lattice3__1914_32.min1.thm1
2017-02-06 12:45
1.0K
lattice3__1915_17.min1.thm1
2017-02-06 12:45
1.7K
lattice3__1929_13.min1.thm1
2017-02-06 12:45
684
lattice3__1930_21.min1.thm1
2017-02-06 12:45
818
lattice3__1931_19.min1.thm1
2017-02-06 12:45
1.8K
lattice3__1933_17.min1.thm1
2017-02-06 12:45
1.5K
lattice3__1947_10.min1.thm1
2017-02-06 12:45
819
lattice3__1948_19.min1.thm1
2017-02-06 12:45
351
lattice3__1948_19.min1.thm1.tptp
2017-02-06 16:47
273
lattice3__1949_19.min1.thm1
2017-02-06 12:45
1.5K
lattice3__1952_36.min1.thm1
2017-02-06 12:45
1.5K
lattice3__1962_13.min1.thm1
2017-02-06 12:45
415
lattice3__1962_13.min1.thm1.tptp
2017-02-06 16:47
360
lattice3__1963_34.min1.thm1
2017-02-06 12:45
670
lattice3__1964_39.min1.thm1
2017-02-06 12:45
739
lattice3__1965_17.min1.thm1
2017-02-06 12:45
970
lattice3__1966_17.min1.thm1
2017-02-06 12:45
930
lattice3__1967_19.min1.thm1
2017-02-06 12:45
1.5K
lattice3__1969_39.min1.thm1
2017-02-06 12:45
829
lattice3__1982_17.min1.thm1
2017-02-06 12:45
442
lattice3__1982_17.min1.thm1.tptp
2017-02-06 16:47
363
lattice3__1985_38.min1.thm1
2017-02-06 12:45
1.9K
lattice3__1991_17.min1.thm1
2017-02-06 12:45
1.4K
lattice3__2001_18.min1.thm1
2017-02-06 12:45
1.8K
lattice3__2006_17.min1.thm1
2017-02-06 12:45
1.5K
lattice3__2015_26.min1.thm1
2017-02-06 12:45
1.3K
lattice3__2017_13.min1.thm1
2017-02-06 12:45
1.3K
lattice3__2022_39.min1.thm1
2017-02-06 12:45
1.2K
lattice3__2023_22.min1.thm1
2017-02-06 12:45
1.5K
lattice3__2025_17.min1.thm1
2017-02-06 12:45
1.4K
lattice3__2041_23.min1.thm1
2017-02-06 12:45
1.0K
lattice3__2044_13.min1.thm1
2017-02-06 12:45
1.1K
lattice3__2054_17.min1.thm1
2017-02-06 12:45
848
lattice3__2073_46.min1.thm1
2017-02-06 12:45
1.1K
lattice3__2094_46.min1.thm1
2017-02-06 12:45
1.1K
lattice3__2109_52.min1.thm1
2017-02-06 12:45
463
lattice3__2109_52.min1.thm1.tptp
2017-02-06 16:47
400
lattice3__2110_19.min1.thm1
2017-02-06 12:45
409
lattice3__2110_19.min1.thm1.tptp
2017-02-06 16:47
351
lattice3__2114_17.min1.thm1
2017-02-06 12:45
341
lattice3__2114_17.min1.thm1.tptp
2017-02-06 16:47
276
lattice3__2115_17.min1.thm1
2017-02-06 12:45
486
lattice3__2134_14.min1.thm1
2017-02-06 12:45
670
lattice3__2135_51.min1.thm1
2017-02-06 12:45
471
lattice3__2135_51.min1.thm1.tptp
2017-02-06 16:47
408
lattice3__2136_19.min1.thm1
2017-02-06 12:45
602
lattice3__2142_8.min1.thm1
2017-02-06 12:45
517
lattice3__2142_8.min1.thm1.tptp
2017-02-06 16:47
454
lattice3__2143_20.min1.thm1
2017-02-06 12:45
638
lattice3__2144_51.min1.thm1
2017-02-06 12:45
500
lattice3__2145_17.min1.thm1
2017-02-06 12:45
815
lattice3__2156_21.min1.thm1
2017-02-06 12:45
943
lattice3__2160_24.min1.thm1
2017-02-06 12:45
1.4K
lattice3__2161_22.min1.thm1
2017-02-06 12:45
1.4K
lattice3__2175_43.min1.thm1
2017-02-06 12:45
1.2K
lattice3__2176_51.min1.thm1
2017-02-06 12:45
1.1K
lattice3__2178_12.min1.thm1
2017-02-06 12:45
2.0K
lattice3__2179_23.min1.thm1
2017-02-06 12:45
961
lattice3__2185_15.min1.thm1
2017-02-06 12:45
529
lattice3__2185_15.min1.thm1.tptp
2017-02-06 16:47
474
lattice3__2188_15.min1.thm1
2017-02-06 12:45
1.0K
lattice3__2189_34.min1.thm1
2017-02-06 12:45
1.3K
lattice3__2190_21.min1.thm1
2017-02-06 12:45
1.2K
lattice3__2196_27.min1.thm1
2017-02-06 12:45
688
lattice3__2198_18.min1.thm1
2017-02-06 12:45
607
lattice3__2200_43.min1.thm1
2017-02-06 12:45
565
lattice3__2203_23.min1.thm1
2017-02-06 12:45
1.0K
lattice3__2206_67.min1.thm1
2017-02-06 12:45
2.1K
lattice3__2207_19.min1.thm1
2017-02-06 12:45
1.2K
lattice3__2214_21.min1.thm1
2017-02-06 12:45
1.5K
lattice3__2215_19.min1.thm1
2017-02-06 12:45
326
lattice3__2216_19.min1.thm1
2017-02-06 12:45
710
lattice3__2224_18.min1.thm1
2017-02-06 12:45
630
lattice3__2225_19.min1.thm1
2017-02-06 12:45
788
lattice3__2236_53.min1.thm1
2017-02-06 12:45
588
lattice3__2237_19.min1.thm1
2017-02-06 12:45
630
lattice3__2238_19.min1.thm1
2017-02-06 12:45
630
lattice3__2239_39.min1.thm1
2017-02-06 12:45
2.4K
lattice3__2240_26.min1.thm1
2017-02-06 12:45
1.8K
lattice3__2243_29.min1.thm1
2017-02-06 12:45
1.8K
lattice3__2244_13.min1.thm1
2017-02-06 12:45
2.5K
lattice3__2245_19.min1.thm1
2017-02-06 12:45
2.2K
lattice3__2247_17.min1.thm1
2017-02-06 12:45
541
lattice3__2248_16.min1.thm1
2017-02-06 12:45
524
lattice3__2250_4.min1.thm1
2017-02-06 12:45
1.5K
lattice3__2255_43.min1.thm1
2017-02-06 12:45
474
lattice3__2256_40.min1.thm1
2017-02-06 12:45
1.7K
lattice3__2262_20.min1.thm1
2017-02-06 12:45
1.5K
lattice3__2263_26.min1.thm1
2017-02-06 12:45
1.6K
lattice3__2272_17.min1.thm1
2017-02-06 12:45
197
lattice3__2276_39.min1.thm1
2017-02-06 12:45
874
lattice3__2283_42.min1.thm1
2017-02-06 12:45
1.0K
lattice3__2284_42.min1.thm1
2017-02-06 12:45
957
lattice3__2286_24.min1.thm1
2017-02-06 12:45
525
lattice3__2287_24.min1.thm1
2017-02-06 12:45
2.3K
lattice3__2289_25.min1.thm1
2017-02-06 12:45
1.4K
lattice3__2291_17.min1.thm1
2017-02-06 12:45
848
lattice3__2293_39.min1.thm1
2017-02-06 12:45
394
lattice3__2293_39.min1.thm1.tptp
2017-02-06 16:47
313
lattice3__2296_46.min1.thm1
2017-02-06 12:45
301
lattice3__2299_17.min1.thm1
2017-02-06 12:45
2.2K
lattice3__2302_28.min1.thm1
2017-02-06 12:45
2.6K
lattice3__2307_54.min1.thm1
2017-02-06 12:45
1.9K
lattice3__2309_37.min1.thm1
2017-02-06 12:45
567
lattice3__2309_37.min1.thm1.tptp
2017-02-06 16:47
496
lattice3__2311_23.min1.thm1
2017-02-06 12:45
1.2K
lattice3__2312_19.min1.thm1
2017-02-06 12:45
1.0K
lattice3__2315_49.min1.thm1
2017-02-06 12:45
2.5K
lattice3__2320_39.min1.thm1
2017-02-06 12:45
1.8K
lattice3__2323_20.min1.thm1
2017-02-06 12:45
2.4K
lattice3__2324_32.min1.thm1
2017-02-06 12:45
914
lattice3__2324_32.min1.thm1.tptp
2017-02-06 16:47
837
lattice3__2329_24.min1.thm1
2017-02-06 12:45
1.0K
lattice3__2336_23.min1.thm1
2017-02-06 12:45
964
lattice3__2337_33.min1.thm1
2017-02-06 12:45
2.3K
lattice3__2339_17.min1.thm1
2017-02-06 12:45
193
lattice3__2343_39.min1.thm1
2017-02-06 12:45
1.0K
lattice3__2350_55.min1.thm1
2017-02-06 12:45
1.8K
lattice3__2356_17.min1.thm1
2017-02-06 12:45
838
lattice3__2358_39.min1.thm1
2017-02-06 12:45
390
lattice3__2358_39.min1.thm1.tptp
2017-02-06 16:47
309
lattice3__2361_46.min1.thm1
2017-02-06 12:45
297
lattice3__2364_17.min1.thm1
2017-02-06 12:45
2.6K
lattice3__2367_28.min1.thm1
2017-02-06 12:45
3.6K
lattice3__2373_11.min1.thm1
2017-02-06 12:45
1.0K
lattice3__2374_10.min1.thm1
2017-02-06 12:45
756
lattice3__2375_19.min1.thm1
2017-02-06 12:45
1.7K
lattice3__2377_22.min1.thm1
2017-02-06 12:45
3.5K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80