Index of /~mptp/1147/MPTP2/ilp0/lattice8
Name
Last modified
Size
Description
Parent Directory
-
lattice8__78_15.min1.thm1
2017-02-06 12:45
721
lattice8__78_15.min1.thm1.tptp
2017-02-06 16:47
652
lattice8__84_11.min1.thm1
2017-02-06 12:45
1.4K
lattice8__85_14.min1.thm1
2017-02-06 12:45
792
lattice8__90_9.min1.thm1
2017-02-06 12:45
796
lattice8__91_14.min1.thm1
2017-02-06 12:45
639
lattice8__101_67.min1.thm1
2017-02-06 12:45
1.3K
lattice8__105_33.min1.thm1
2017-02-06 12:45
1.8K
lattice8__106_19.min1.thm1
2017-02-06 12:45
341
lattice8__106_19.min1.thm1.tptp
2017-02-06 16:47
262
lattice8__108_15.min1.thm1
2017-02-06 12:45
1.1K
lattice8__117_18.min1.thm1
2017-02-06 12:45
2.3K
lattice8__120_36.min1.thm1
2017-02-06 12:45
1.3K
lattice8__121_18.min1.thm1
2017-02-06 12:45
949
lattice8__122_23.min1.thm1
2017-02-06 12:45
2.0K
lattice8__126_36.min1.thm1
2017-02-06 12:45
1.4K
lattice8__127_18.min1.thm1
2017-02-06 12:45
1.2K
lattice8__128_23.min1.thm1
2017-02-06 12:45
2.0K
lattice8__132_36.min1.thm1
2017-02-06 12:45
1.4K
lattice8__133_18.min1.thm1
2017-02-06 12:45
1.5K
lattice8__134_23.min1.thm1
2017-02-06 12:45
2.0K
lattice8__138_36.min1.thm1
2017-02-06 12:45
1.3K
lattice8__139_18.min1.thm1
2017-02-06 12:45
949
lattice8__140_23.min1.thm1
2017-02-06 12:45
2.0K
lattice8__147_34.min1.thm1
2017-02-06 12:45
2.6K
lattice8__160_29.min1.thm1
2017-02-06 12:45
222
lattice8__162_47.min1.thm1
2017-02-06 12:45
290
lattice8__165_33.min1.thm1
2017-02-06 12:45
707
lattice8__166_72.min1.thm1
2017-02-06 12:45
1.1K
lattice8__169_20.min1.thm1
2017-02-06 12:45
542
lattice8__173_21.min1.thm1
2017-02-06 12:45
923
lattice8__174_21.min1.thm1
2017-02-06 12:45
789
lattice8__182_22.min1.thm1
2017-02-06 12:45
1.5K
lattice8__183_26.min1.thm1
2017-02-06 12:45
1.5K
lattice8__185_38.min1.thm1
2017-02-06 12:45
729
lattice8__186_24.min1.thm1
2017-02-06 12:45
3.2K
lattice8__191_29.min1.thm1
2017-02-06 12:45
676
lattice8__192_29.min1.thm1
2017-02-06 12:45
2.5K
lattice8__198_29.min1.thm1
2017-02-06 12:45
676
lattice8__199_29.min1.thm1
2017-02-06 12:45
2.5K
lattice8__204_25.min1.thm1
2017-02-06 12:45
1.5K
lattice8__205_29.min1.thm1
2017-02-06 12:45
2.6K
lattice8__212_33.min1.thm1
2017-02-06 12:45
833
lattice8__218_21.min1.thm1
2017-02-06 12:45
926
lattice8__219_21.min1.thm1
2017-02-06 12:45
789
lattice8__227_22.min1.thm1
2017-02-06 12:45
1.5K
lattice8__228_26.min1.thm1
2017-02-06 12:45
1.5K
lattice8__230_38.min1.thm1
2017-02-06 12:45
729
lattice8__231_24.min1.thm1
2017-02-06 12:45
3.4K
lattice8__239_25.min1.thm1
2017-02-06 12:45
1.7K
lattice8__240_29.min1.thm1
2017-02-06 12:45
2.4K
lattice8__246_29.min1.thm1
2017-02-06 12:45
676
lattice8__247_29.min1.thm1
2017-02-06 12:45
2.5K
lattice8__253_29.min1.thm1
2017-02-06 12:45
676
lattice8__254_29.min1.thm1
2017-02-06 12:45
2.6K
lattice8__257_33.min1.thm1
2017-02-06 12:45
833
lattice8__270_18.min1.thm1
2017-02-06 12:45
2.3K
lattice8__273_36.min1.thm1
2017-02-06 12:45
1.3K
lattice8__274_18.min1.thm1
2017-02-06 12:45
949
lattice8__275_23.min1.thm1
2017-02-06 12:45
2.0K
lattice8__279_36.min1.thm1
2017-02-06 12:45
1.4K
lattice8__280_18.min1.thm1
2017-02-06 12:45
1.5K
lattice8__281_23.min1.thm1
2017-02-06 12:45
2.0K
lattice8__285_36.min1.thm1
2017-02-06 12:45
1.4K
lattice8__286_18.min1.thm1
2017-02-06 12:45
1.2K
lattice8__287_23.min1.thm1
2017-02-06 12:45
2.0K
lattice8__291_36.min1.thm1
2017-02-06 12:45
1.3K
lattice8__292_18.min1.thm1
2017-02-06 12:45
949
lattice8__293_23.min1.thm1
2017-02-06 12:45
2.0K
lattice8__296_14.min1.thm1
2017-02-06 12:45
1.7K
lattice8__301_28.min1.thm1
2017-02-06 12:45
2.8K
lattice8__302_28.min1.thm1
2017-02-06 12:45
898
lattice8__309_18.min1.thm1
2017-02-06 12:45
1.2K
lattice8__320_53.min1.thm1
2017-02-06 12:45
2.0K
lattice8__321_53.min1.thm1
2017-02-06 12:45
1.2K
lattice8__322_17.min1.thm1
2017-02-06 12:45
2.5K
lattice8__331_39.min1.thm1
2017-02-06 12:45
2.0K
lattice8__348_30.min1.thm1
2017-02-06 12:45
1.0K
lattice8__349_55.min1.thm1
2017-02-06 12:45
1.0K
lattice8__358_59.min1.thm1
2017-02-06 12:45
1.0K
lattice8__360_21.min1.thm1
2017-02-06 12:45
899
lattice8__361_19.min1.thm1
2017-02-06 12:45
855
lattice8__362_25.min1.thm1
2017-02-06 12:45
535
lattice8__366_23.min1.thm1
2017-02-06 12:45
475
lattice8__368_18.min1.thm1
2017-02-06 12:45
1.0K
lattice8__371_14.min1.thm1
2017-02-06 12:45
679
lattice8__386_18.min1.thm1
2017-02-06 12:45
2.2K
lattice8__391_18.min1.thm1
2017-02-06 12:45
2.2K
lattice8__405_22.min1.thm1
2017-02-06 12:45
1.2K
lattice8__409_50.min1.thm1
2017-02-06 12:45
1.7K
lattice8__411_14.min1.thm1
2017-02-06 12:45
1.9K
lattice8__412_17.min1.thm1
2017-02-06 12:45
2.4K
lattice8__413_30.min1.thm1
2017-02-06 12:45
2.6K
lattice8__414_24.min1.thm1
2017-02-06 12:45
2.1K
lattice8__415_38.min1.thm1
2017-02-06 12:45
1.6K
lattice8__420_41.min1.thm1
2017-02-06 12:45
1.6K
lattice8__422_44.min1.thm1
2017-02-06 12:45
1.7K
lattice8__439_36.min1.thm1
2017-02-06 12:45
611
lattice8__439_36.min1.thm1.tptp
2017-02-06 16:47
547
lattice8__440_31.min1.thm1
2017-02-06 12:45
1.2K
lattice8__441_24.min1.thm1
2017-02-06 12:45
2.2K
lattice8__442_53.min1.thm1
2017-02-06 12:45
2.4K
lattice8__445_41.min1.thm1
2017-02-06 12:45
2.9K
lattice8__446_22.min1.thm1
2017-02-06 12:45
1.7K
lattice8__449_14.min1.thm1
2017-02-06 12:45
1.4K
lattice8__450_49.min1.thm1
2017-02-06 12:45
2.2K
lattice8__452_45.min1.thm1
2017-02-06 12:45
685
lattice8__453_35.min1.thm1
2017-02-06 12:45
1.2K
lattice8__454_13.min1.thm1
2017-02-06 12:45
1.5K
lattice8__473_20.min1.thm1
2017-02-06 12:45
2.0K
lattice8__483_50.min1.thm1
2017-02-06 12:45
2.9K
lattice8__489_14.min1.thm1
2017-02-06 12:45
278
lattice8__509_53.min1.thm1
2017-02-06 12:45
1.1K
lattice8__510_25.min1.thm1
2017-02-06 12:45
1.2K
lattice8__511_56.min1.thm1
2017-02-06 12:45
1.3K
lattice8__512_50.min1.thm1
2017-02-06 12:45
756
lattice8__513_25.min1.thm1
2017-02-06 12:45
1.2K
lattice8__514_56.min1.thm1
2017-02-06 12:45
1.3K
lattice8__515_25.min1.thm1
2017-02-06 12:45
1.2K
lattice8__516_56.min1.thm1
2017-02-06 12:45
1.3K
lattice8__517_50.min1.thm1
2017-02-06 12:45
761
lattice8__518_50.min1.thm1
2017-02-06 12:45
757
lattice8__525_16.min1.thm1
2017-02-06 12:45
1.3K
lattice8__538_36.min1.thm1
2017-02-06 12:45
871
lattice8__540_34.min1.thm1
2017-02-06 12:45
943
lattice8__549_16.min1.thm1
2017-02-06 12:45
1.4K
lattice8__555_16.min1.thm1
2017-02-06 12:45
2.3K
lattice8__557_11.min1.thm1
2017-02-06 12:45
330
lattice8__558_18.min1.thm1
2017-02-06 12:45
1.0K
lattice8__562_11.min1.thm1
2017-02-06 12:45
331
lattice8__563_16.min1.thm1
2017-02-06 12:45
819
lattice8__566_16.min1.thm1
2017-02-06 12:45
1.7K
lattice8__567_59.min1.thm1
2017-02-06 12:45
1.4K
lattice8__571_11.min1.thm1
2017-02-06 12:45
373
lattice8__572_18.min1.thm1
2017-02-06 12:45
1.4K
lattice8__576_26.min1.thm1
2017-02-06 12:45
2.1K
lattice8__585_27.min1.thm1
2017-02-06 12:45
1.0K
lattice8__597_11.min1.thm1
2017-02-06 12:45
330
lattice8__598_59.min1.thm1
2017-02-06 12:45
1.4K
lattice8__600_11.min1.thm1
2017-02-06 12:45
372
lattice8__601_18.min1.thm1
2017-02-06 12:45
1.4K
lattice8__604_16.min1.thm1
2017-02-06 12:45
818
lattice8__609_16.min1.thm1
2017-02-06 12:45
1.7K
lattice8__610_26.min1.thm1
2017-02-06 12:45
2.6K
lattice8__613_26.min1.thm1
2017-02-06 12:45
2.1K
lattice8__619_16.min1.thm1
2017-02-06 12:45
2.4K
lattice8__628_59.min1.thm1
2017-02-06 12:45
1.4K
lattice8__630_11.min1.thm1
2017-02-06 12:45
372
lattice8__631_18.min1.thm1
2017-02-06 12:45
1.4K
lattice8__638_26.min1.thm1
2017-02-06 12:45
2.7K
lattice8__673_39.min1.thm1
2017-02-06 12:45
5.3K
lattice8__675_17.min1.thm1
2017-02-06 12:45
2.0K
lattice8__684_13.min1.thm1
2017-02-06 12:45
131
lattice8__690_11.min1.thm1
2017-02-06 12:45
461
lattice8__712_51.min1.thm1
2017-02-06 12:45
1.6K
lattice8__722_29.min1.thm1
2017-02-06 12:45
362
lattice8__724_26.min1.thm1
2017-02-06 12:45
620
lattice8__728_35.min1.thm1
2017-02-06 12:45
812
lattice8__729_35.min1.thm1
2017-02-06 12:45
812
lattice8__731_15.min1.thm1
2017-02-06 12:45
514
lattice8__732_21.min1.thm1
2017-02-06 12:45
371
lattice8__732_21.min1.thm1.tptp
2017-02-06 16:47
312
lattice8__736_26.min1.thm1
2017-02-06 12:45
395
lattice8__736_26.min1.thm1.tptp
2017-02-06 16:47
330
lattice8__741_34.min1.thm1
2017-02-06 12:45
356
lattice8__745_18.min1.thm1
2017-02-06 12:45
1.5K
lattice8__748_49.min1.thm1
2017-02-06 12:45
458
lattice8__748_49.min1.thm1.tptp
2017-02-06 16:47
380
lattice8__750_22.min1.thm1
2017-02-06 12:45
5.2K
lattice8__755_22.min1.thm1
2017-02-06 12:45
6.1K
lattice8__760_22.min1.thm1
2017-02-06 12:45
3.5K
lattice8__764_46.min1.thm1
2017-02-06 12:45
405
lattice8__764_46.min1.thm1.tptp
2017-02-06 16:47
329
lattice8__766_22.min1.thm1
2017-02-06 12:45
5.2K
lattice8__770_46.min1.thm1
2017-02-06 12:45
416
lattice8__770_46.min1.thm1.tptp
2017-02-06 16:47
340
lattice8__772_22.min1.thm1
2017-02-06 12:45
5.2K
lattice8__776_46.min1.thm1
2017-02-06 12:45
405
lattice8__776_46.min1.thm1.tptp
2017-02-06 16:47
329
lattice8__778_22.min1.thm1
2017-02-06 12:45
5.2K
lattice8__782_46.min1.thm1
2017-02-06 12:45
416
lattice8__782_46.min1.thm1.tptp
2017-02-06 16:47
340
lattice8__784_22.min1.thm1
2017-02-06 12:45
5.2K
lattice8__791_46.min1.thm1
2017-02-06 12:45
938
lattice8__791_46.min1.thm1.tptp
2017-02-06 16:47
855
lattice8__792_27.min1.thm1
2017-02-06 12:45
351
lattice8__794_25.min1.thm1
2017-02-06 12:45
598
lattice8__799_51.min1.thm1
2017-02-06 12:45
781
lattice8__802_36.min1.thm1
2017-02-06 12:45
966
lattice8__802_36.min1.thm1.tptp
2017-02-06 16:47
893
lattice8__805_18.min1.thm1
2017-02-06 12:45
1.0K
lattice8__805_18.min1.thm1.tptp
2017-02-06 16:47
915
lattice8__811_59.min1.thm1
2017-02-06 12:45
940
lattice8__812_30.min1.thm1
2017-02-06 12:45
1.9K
lattice8__818_51.min1.thm1
2017-02-06 12:45
781
lattice8__821_36.min1.thm1
2017-02-06 12:45
966
lattice8__821_36.min1.thm1.tptp
2017-02-06 16:47
893
lattice8__824_18.min1.thm1
2017-02-06 12:45
1.0K
lattice8__824_18.min1.thm1.tptp
2017-02-06 16:47
915
lattice8__855_35.min1.thm1
2017-02-06 12:45
812
lattice8__856_35.min1.thm1
2017-02-06 12:45
812
lattice8__857_18.min1.thm1
2017-02-06 12:45
1.6K
lattice8__860_35.min1.thm1
2017-02-06 12:45
2.5K
lattice8__861_24.min1.thm1
2017-02-06 12:45
2.5K
lattice8__865_46.min1.thm1
2017-02-06 12:45
405
lattice8__865_46.min1.thm1.tptp
2017-02-06 16:47
329
lattice8__867_24.min1.thm1
2017-02-06 12:45
4.0K
lattice8__871_46.min1.thm1
2017-02-06 12:45
416
lattice8__871_46.min1.thm1.tptp
2017-02-06 16:47
340
lattice8__877_46.min1.thm1
2017-02-06 12:45
405
lattice8__877_46.min1.thm1.tptp
2017-02-06 16:47
329
lattice8__879_24.min1.thm1
2017-02-06 12:45
4.0K
lattice8__883_36.min1.thm1
2017-02-06 12:45
2.5K
lattice8__891_46.min1.thm1
2017-02-06 12:45
416
lattice8__891_46.min1.thm1.tptp
2017-02-06 16:47
340
lattice8__901_36.min1.thm1
2017-02-06 12:45
2.6K
lattice8__923_33.min1.thm1
2017-02-06 12:45
792
lattice8__924_16.min1.thm1
2017-02-06 12:45
586
lattice8__924_16.min1.thm1.tptp
2017-02-06 16:47
530
lattice8__927_44.min1.thm1
2017-02-06 12:45
338
lattice8__927_44.min1.thm1.tptp
2017-02-06 16:47
260
lattice8__929_22.min1.thm1
2017-02-06 12:45
1.5K
lattice8__952_33.min1.thm1
2017-02-06 12:45
786
lattice8__953_33.min1.thm1
2017-02-06 12:45
786
lattice8__954_14.min1.thm1
2017-02-06 12:45
1.5K
lattice8__957_50.min1.thm1
2017-02-06 12:45
426
lattice8__957_50.min1.thm1.tptp
2017-02-06 16:47
348
lattice8__959_21.min1.thm1
2017-02-06 12:45
1.6K
lattice8__964_42.min1.thm1
2017-02-06 12:45
378
lattice8__964_42.min1.thm1.tptp
2017-02-06 16:47
302
lattice8__970_42.min1.thm1
2017-02-06 12:45
389
lattice8__970_42.min1.thm1.tptp
2017-02-06 16:47
313
lattice8__976_42.min1.thm1
2017-02-06 12:45
378
lattice8__976_42.min1.thm1.tptp
2017-02-06 16:47
302
lattice8__982_16.min1.thm1
2017-02-06 12:45
709
lattice8__982_16.min1.thm1.tptp
2017-02-06 16:47
632
lattice8__991_42.min1.thm1
2017-02-06 12:45
389
lattice8__991_42.min1.thm1.tptp
2017-02-06 16:47
313
lattice8__1002_16.min1.thm1
2017-02-06 12:45
731
lattice8__1002_16.min1.thm1.tptp
2017-02-06 16:47
654
lattice8__1016_46.min1.thm1
2017-02-06 12:45
290
lattice8__1023_32.min1.thm1
2017-02-06 12:45
1.6K
lattice8__1030_16.min1.thm1
2017-02-06 12:45
830
lattice8__1033_52.min1.thm1
2017-02-06 12:45
481
lattice8__1033_52.min1.thm1.tptp
2017-02-06 16:47
405
lattice8__1043_52.min1.thm1
2017-02-06 12:45
492
lattice8__1043_52.min1.thm1.tptp
2017-02-06 16:47
416
lattice8__1060_16.min1.thm1
2017-02-06 12:45
1.1K
lattice8__1064_21.min1.thm1
2017-02-06 12:45
3.5K
lattice8__1069_44.min1.thm1
2017-02-06 12:45
443
lattice8__1069_44.min1.thm1.tptp
2017-02-06 16:47
369
lattice8__1077_12.min1.thm1
2017-02-06 12:45
839
lattice8__1090_61.min1.thm1
2017-02-06 12:45
4.3K
lattice8__1099_44.min1.thm1
2017-02-06 12:45
443
lattice8__1099_44.min1.thm1.tptp
2017-02-06 16:47
369
lattice8__1104_12.min1.thm1
2017-02-06 12:45
839
lattice8__1113_26.min1.thm1
2017-02-06 12:45
2.7K
lattice8__1121_61.min1.thm1
2017-02-06 12:45
4.3K
lattice8__1131_21.min1.thm1
2017-02-06 12:45
3.5K
lattice8__1141_16.min1.thm1
2017-02-06 12:45
1.1K
lattice8__1145_21.min1.thm1
2017-02-06 12:45
4.0K
lattice8__1149_44.min1.thm1
2017-02-06 12:45
443
lattice8__1149_44.min1.thm1.tptp
2017-02-06 16:47
369
lattice8__1150_28.min1.thm1
2017-02-06 12:45
2.3K
lattice8__1158_39.min1.thm1
2017-02-06 12:45
1.6K
lattice8__1167_44.min1.thm1
2017-02-06 12:45
443
lattice8__1167_44.min1.thm1.tptp
2017-02-06 16:47
369
lattice8__1168_28.min1.thm1
2017-02-06 12:45
2.3K
lattice8__1177_39.min1.thm1
2017-02-06 12:45
1.6K
lattice8__1187_21.min1.thm1
2017-02-06 12:45
4.0K
lattice8__1196_16.min1.thm1
2017-02-06 12:45
1.8K
lattice8__1199_41.min1.thm1
2017-02-06 12:45
3.7K
lattice8__1206_35.min1.thm1
2017-02-06 12:45
4.0K
lattice8__1211_41.min1.thm1
2017-02-06 12:45
3.7K
lattice8__1218_35.min1.thm1
2017-02-06 12:45
4.0K
lattice8__1225_35.min1.thm1
2017-02-06 12:45
4.0K
lattice8__1231_41.min1.thm1
2017-02-06 12:45
3.7K
lattice8__1238_35.min1.thm1
2017-02-06 12:45
4.0K
lattice8__1243_41.min1.thm1
2017-02-06 12:45
3.7K
lattice8__1253_16.min1.thm1
2017-02-06 12:45
1.1K
lattice8__1258_18.min1.thm1
2017-02-06 12:45
3.8K
lattice8__1262_44.min1.thm1
2017-02-06 12:45
443
lattice8__1262_44.min1.thm1.tptp
2017-02-06 16:47
369
lattice8__1270_12.min1.thm1
2017-02-06 12:45
839
lattice8__1281_61.min1.thm1
2017-02-06 12:45
4.3K
lattice8__1290_44.min1.thm1
2017-02-06 12:45
443
lattice8__1290_44.min1.thm1.tptp
2017-02-06 16:47
369
lattice8__1295_12.min1.thm1
2017-02-06 12:45
839
lattice8__1303_26.min1.thm1
2017-02-06 12:45
2.7K
lattice8__1310_61.min1.thm1
2017-02-06 12:45
4.3K
lattice8__1321_18.min1.thm1
2017-02-06 12:45
3.8K
lattice8__1331_48.min1.thm1
2017-02-06 12:45
426
lattice8__1331_48.min1.thm1.tptp
2017-02-06 16:47
348
lattice8__1332_16.min1.thm1
2017-02-06 12:45
863
lattice8__1362_16.min1.thm1
2017-02-06 12:45
830
lattice8__1365_52.min1.thm1
2017-02-06 12:45
481
lattice8__1365_52.min1.thm1.tptp
2017-02-06 16:47
405
lattice8__1371_48.min1.thm1
2017-02-06 12:45
1.6K
lattice8__1381_52.min1.thm1
2017-02-06 12:45
492
lattice8__1381_52.min1.thm1.tptp
2017-02-06 16:47
416
lattice8__1387_48.min1.thm1
2017-02-06 12:45
1.6K
lattice8__1401_58.min1.thm1
2017-02-06 12:45
522
lattice8__1401_58.min1.thm1.tptp
2017-02-06 16:47
444
lattice8__1410_16.min1.thm1
2017-02-06 12:45
2.1K
lattice8__1413_21.min1.thm1
2017-02-06 12:45
2.0K
lattice8__1417_21.min1.thm1
2017-02-06 12:45
2.1K
lattice8__1421_21.min1.thm1
2017-02-06 12:45
2.1K
lattice8__1425_21.min1.thm1
2017-02-06 12:45
2.1K
lattice8__1429_21.min1.thm1
2017-02-06 12:45
2.1K
lattice8__1433_21.min1.thm1
2017-02-06 12:45
2.1K
lattice8__1437_21.min1.thm1
2017-02-06 12:45
2.1K
lattice8__1441_21.min1.thm1
2017-02-06 12:45
2.1K
lattice8__1457_22.min1.thm1
2017-02-06 12:45
370
lattice8__1457_22.min1.thm1.tptp
2017-02-06 16:47
293
lattice8__1464_16.min1.thm1
2017-02-06 12:45
1.4K
lattice8__1465_48.min1.thm1
2017-02-06 12:45
1.9K
lattice8__1466_23.min1.thm1
2017-02-06 12:45
2.0K
lattice8__1468_19.min1.thm1
2017-02-06 12:45
722
lattice8__1471_24.min1.thm1
2017-02-06 12:45
1.4K
lattice8__1532_14.min1.thm1
2017-02-06 12:45
569
lattice8__1571_68.min1.thm1
2017-02-06 12:45
666
lattice8__1572_18.min1.thm1
2017-02-06 12:45
667
lattice8__1584_17.min1.thm1
2017-02-06 12:45
428
lattice8__1588_38.min1.thm1
2017-02-06 12:45
880
lattice8__1589_15.min1.thm1
2017-02-06 12:45
345
lattice8__1589_15.min1.thm1.tptp
2017-02-06 16:47
266
lattice8__1591_20.min1.thm1
2017-02-06 12:45
942
lattice8__1592_45.min1.thm1
2017-02-06 12:45
1.2K
lattice8__1593_40.min1.thm1
2017-02-06 12:45
537
lattice8__1594_18.min1.thm1
2017-02-06 12:45
764
lattice8__1596_12.min1.thm1
2017-02-06 12:45
341
lattice8__1596_12.min1.thm1.tptp
2017-02-06 16:47
259
lattice8__1598_16.min1.thm1
2017-02-06 12:45
363
lattice8__1598_16.min1.thm1.tptp
2017-02-06 16:47
280
lattice8__1611_66.min1.thm1
2017-02-06 12:45
646
lattice8__1613_58.min1.thm1
2017-02-06 12:45
589
lattice8__1615_19.min1.thm1
2017-02-06 12:45
577
lattice8__1626_15.min1.thm1
2017-02-06 12:45
404
lattice8__1630_36.min1.thm1
2017-02-06 12:45
836
lattice8__1631_13.min1.thm1
2017-02-06 12:45
341
lattice8__1631_13.min1.thm1.tptp
2017-02-06 16:47
262
lattice8__1633_18.min1.thm1
2017-02-06 12:45
882
lattice8__1634_43.min1.thm1
2017-02-06 12:45
1.2K
lattice8__1635_19.min1.thm1
2017-02-06 12:45
509
lattice8__1637_12.min1.thm1
2017-02-06 12:45
416
lattice8__1639_14.min1.thm1
2017-02-06 12:45
377
lattice8__1639_14.min1.thm1.tptp
2017-02-06 16:47
296
lattice8__1656_19.min1.thm1
2017-02-06 12:45
1.9K
lattice8__1662_34.min1.thm1
2017-02-06 12:45
457
lattice8__1662_34.min1.thm1.tptp
2017-02-06 16:47
369
lattice8__1663_19.min1.thm1
2017-02-06 12:45
565
lattice8__1664_32.min1.thm1
2017-02-06 12:45
448
lattice8__1665_61.min1.thm1
2017-02-06 12:45
737
lattice8__1667_61.min1.thm1
2017-02-06 12:45
2.0K
lattice8__1668_14.min1.thm1
2017-02-06 12:45
2.7K
lattice8__1669_16.min1.thm1
2017-02-06 12:45
682
lattice8__1669_16.min1.thm1.tptp
2017-02-06 16:47
596
lattice8__1743_14.min1.thm1
2017-02-06 12:45
1.0K
lattice8__1743_14.min1.thm1.tptp
2017-02-06 16:47
1.0K
lattice8__1789_13.min1.thm1
2017-02-06 12:45
229
lattice8__1792_18.min1.thm1
2017-02-06 12:45
399
lattice8__1792_18.min1.thm1.tptp
2017-02-06 16:47
319
lattice8__1796_27.min1.thm1
2017-02-06 12:45
848
lattice8__1798_22.min1.thm1
2017-02-06 12:45
746
lattice8__1799_64.min1.thm1
2017-02-06 12:45
438
lattice8__1799_64.min1.thm1.tptp
2017-02-06 16:47
361
lattice8__1800_69.min1.thm1
2017-02-06 12:45
1.1K
lattice8__1802_21.min1.thm1
2017-02-06 12:45
801
lattice8__1817_42.min1.thm1
2017-02-06 12:45
1.1K
lattice8__1820_13.min1.thm1
2017-02-06 12:45
203
lattice8__1823_18.min1.thm1
2017-02-06 12:45
373
lattice8__1823_18.min1.thm1.tptp
2017-02-06 16:47
293
lattice8__1828_17.min1.thm1
2017-02-06 12:45
691
lattice8__1829_22.min1.thm1
2017-02-06 12:45
602
lattice8__1831_22.min1.thm1
2017-02-06 12:45
831
lattice8__1832_37.min1.thm1
2017-02-06 12:45
859
lattice8__1833_21.min1.thm1
2017-02-06 12:45
705
lattice8__1836_10.min1.thm1
2017-02-06 12:45
1.0K
lattice8__1838_14.min1.thm1
2017-02-06 12:45
518
lattice8__1838_14.min1.thm1.tptp
2017-02-06 16:47
441
lattice8__1859_10.min1.thm1
2017-02-06 12:45
1.4K
lattice8__1861_52.min1.thm1
2017-02-06 12:45
1.9K
lattice8__1862_40.min1.thm1
2017-02-06 12:45
2.1K
lattice8__1863_66.min1.thm1
2017-02-06 12:45
646
lattice8__1864_19.min1.thm1
2017-02-06 12:45
3.9K
lattice8__1876_46.min1.thm1
2017-02-06 12:45
395
lattice8__1901_42.min1.thm1
2017-02-06 12:45
721
lattice8__1903_17.min1.thm1
2017-02-06 12:45
223
lattice8__1906_22.min1.thm1
2017-02-06 12:45
399
lattice8__1906_22.min1.thm1.tptp
2017-02-06 16:47
319
lattice8__1911_20.min1.thm1
2017-02-06 12:45
743
lattice8__1913_20.min1.thm1
2017-02-06 12:45
642
lattice8__1914_47.min1.thm1
2017-02-06 12:45
1.1K
lattice8__1915_22.min1.thm1
2017-02-06 12:45
1.0K
lattice8__1916_32.min1.thm1
2017-02-06 12:45
1.1K
lattice8__1917_25.min1.thm1
2017-02-06 12:45
614
lattice8__1928_17.min1.thm1
2017-02-06 12:45
249
lattice8__1931_22.min1.thm1
2017-02-06 12:45
425
lattice8__1931_22.min1.thm1.tptp
2017-02-06 16:47
345
lattice8__1935_30.min1.thm1
2017-02-06 12:45
900
lattice8__1937_25.min1.thm1
2017-02-06 12:45
786
lattice8__1938_26.min1.thm1
2017-02-06 12:45
266
lattice8__1939_30.min1.thm1
2017-02-06 12:45
887
lattice8__1941_36.min1.thm1
2017-02-06 12:45
1.8K
lattice8__1942_54.min1.thm1
2017-02-06 12:45
882
lattice8__1944_33.min1.thm1
2017-02-06 12:45
1.9K
lattice8__1945_48.min1.thm1
2017-02-06 12:45
2.2K
lattice8__1947_37.min1.thm1
2017-02-06 12:45
1.3K
lattice8__1951_11.min1.thm1
2017-02-06 12:45
1.0K
lattice8__1962_18.min1.thm1
2017-02-06 12:45
651
lattice8__1965_18.min1.thm1
2017-02-06 12:45
651
lattice8__1966_49.min1.thm1
2017-02-06 12:45
821
lattice8__1967_30.min1.thm1
2017-02-06 12:45
514
lattice8__1968_30.min1.thm1
2017-02-06 12:45
1.3K
lattice8__1969_21.min1.thm1
2017-02-06 12:45
423
lattice8__1969_21.min1.thm1.tptp
2017-02-06 16:47
349
lattice8__1972_27.min1.thm1
2017-02-06 12:45
458
lattice8__1972_27.min1.thm1.tptp
2017-02-06 16:47
405
lattice8__1981_17.min1.thm1
2017-02-06 12:45
651
lattice8__1982_32.min1.thm1
2017-02-06 12:45
687
lattice8__1983_38.min1.thm1
2017-02-06 12:45
785
lattice8__1985_57.min1.thm1
2017-02-06 12:45
1.9K
lattice8__1986_16.min1.thm1
2017-02-06 12:45
1.1K
lattice8__1992_28.min1.thm1
2017-02-06 12:45
889
lattice8__2000_38.min1.thm1
2017-02-06 12:45
687
lattice8__2001_38.min1.thm1
2017-02-06 12:45
785
lattice8__2004_58.min1.thm1
2017-02-06 12:45
421
lattice8__2004_58.min1.thm1.tptp
2017-02-06 16:47
333
lattice8__2013_26.min1.thm1
2017-02-06 12:45
823
lattice8__2014_23.min1.thm1
2017-02-06 12:45
647
lattice8__2015_50.min1.thm1
2017-02-06 12:45
770
lattice8__2016_42.min1.thm1
2017-02-06 12:45
1.0K
lattice8__2018_62.min1.thm1
2017-02-06 12:45
1.9K
lattice8__2019_21.min1.thm1
2017-02-06 12:45
2.1K
lattice8__2020_63.min1.thm1
2017-02-06 12:45
1.6K
lattice8__2021_20.min1.thm1
2017-02-06 12:45
898
lattice8__2026_55.min1.thm1
2017-02-06 12:45
798
lattice8__2027_38.min1.thm1
2017-02-06 12:45
1.0K
lattice8__2028_74.min1.thm1
2017-02-06 12:45
1.8K
lattice8__2029_21.min1.thm1
2017-02-06 12:45
888
lattice8__2031_26.min1.thm1
2017-02-06 12:45
565
lattice8__2032_19.min1.thm1
2017-02-06 12:45
1.7K
lattice8__2034_21.min1.thm1
2017-02-06 12:45
953
lattice8__2037_31.min1.thm1
2017-02-06 12:45
555
lattice8__2042_15.min1.thm1
2017-02-06 12:45
405
lattice8__2043_52.min1.thm1
2017-02-06 12:45
1.2K
lattice8__2052_57.min1.thm1
2017-02-06 12:45
806
lattice8__2053_38.min1.thm1
2017-02-06 12:45
916
lattice8__2054_71.min1.thm1
2017-02-06 12:45
1.4K
lattice8__2056_26.min1.thm1
2017-02-06 12:45
499
lattice8__2056_26.min1.thm1.tptp
2017-02-06 16:47
417
lattice8__2057_20.min1.thm1
2017-02-06 12:45
915
lattice8__2063_14.min1.thm1
2017-02-06 12:45
601
lattice8__2066_17.min1.thm1
2017-02-06 12:45
910
lattice8__2067_37.min1.thm1
2017-02-06 12:45
692
lattice8__2068_34.min1.thm1
2017-02-06 12:45
772
lattice8__2069_21.min1.thm1
2017-02-06 12:45
1.4K
lattice8__2079_18.min1.thm1
2017-02-06 12:45
735
lattice8__2082_18.min1.thm1
2017-02-06 12:45
735
lattice8__2083_49.min1.thm1
2017-02-06 12:45
827
lattice8__2084_40.min1.thm1
2017-02-06 12:45
695
lattice8__2085_30.min1.thm1
2017-02-06 12:45
514
lattice8__2086_40.min1.thm1
2017-02-06 12:45
695
lattice8__2088_21.min1.thm1
2017-02-06 12:45
423
lattice8__2088_21.min1.thm1.tptp
2017-02-06 16:47
349
lattice8__2091_53.min1.thm1
2017-02-06 12:45
1.1K
lattice8__2093_50.min1.thm1
2017-02-06 12:45
1.3K
lattice8__2094_37.min1.thm1
2017-02-06 12:45
1.4K
lattice8__2098_30.min1.thm1
2017-02-06 12:45
337
lattice8__2098_30.min1.thm1.tptp
2017-02-06 16:47
258
lattice8__2100_13.min1.thm1
2017-02-06 12:45
1.9K
lattice8__2102_14.min1.thm1
2017-02-06 12:45
1.3K
lattice8__2102_14.min1.thm1.tptp
2017-02-06 16:47
1.3K
lattice8__2146_15.min1.thm1
2017-02-06 12:45
404
lattice8__2150_38.min1.thm1
2017-02-06 12:45
1.0K
lattice8__2151_13.min1.thm1
2017-02-06 12:45
2.0K
lattice8__2153_18.min1.thm1
2017-02-06 12:45
930
lattice8__2155_19.min1.thm1
2017-02-06 12:45
1.1K
lattice8__2157_12.min1.thm1
2017-02-06 12:45
2.2K
lattice8__2159_14.min1.thm1
2017-02-06 12:45
625
lattice8__2159_14.min1.thm1.tptp
2017-02-06 16:47
544
lattice8__2189_13.min1.thm1
2017-02-06 12:45
203
lattice8__2197_17.min1.thm1
2017-02-06 12:45
691
lattice8__2198_22.min1.thm1
2017-02-06 12:45
602
lattice8__2200_22.min1.thm1
2017-02-06 12:45
879
lattice8__2201_39.min1.thm1
2017-02-06 12:45
955
lattice8__2212_13.min1.thm1
2017-02-06 12:45
229
lattice8__2221_63.min1.thm1
2017-02-06 12:45
2.7K
lattice8__2225_22.min1.thm1
2017-02-06 12:45
848
lattice8__2226_27.min1.thm1
2017-02-06 12:45
746
lattice8__2232_14.min1.thm1
2017-02-06 12:45
1.0K
lattice8__2232_14.min1.thm1.tptp
2017-02-06 16:47
901
lattice8__2255_69.min1.thm1
2017-02-06 12:45
746
lattice8__2258_61.min1.thm1
2017-02-06 12:45
2.6K
lattice8__2282_43.min1.thm1
2017-02-06 12:45
1.1K
lattice8__2288_20.min1.thm1
2017-02-06 12:45
939
lattice8__2291_17.min1.thm1
2017-02-06 12:45
651
lattice8__2292_32.min1.thm1
2017-02-06 12:45
687
lattice8__2293_38.min1.thm1
2017-02-06 12:45
1.0K
lattice8__2295_61.min1.thm1
2017-02-06 12:45
946
lattice8__2296_62.min1.thm1
2017-02-06 12:45
1.6K
lattice8__2300_43.min1.thm1
2017-02-06 12:45
1.0K
lattice8__2301_54.min1.thm1
2017-02-06 12:45
1.3K
lattice8__2304_41.min1.thm1
2017-02-06 12:45
1.4K
lattice8__2306_15.min1.thm1
2017-02-06 12:45
1.6K
lattice8__2307_34.min1.thm1
2017-02-06 12:45
866
lattice8__2310_22.min1.thm1
2017-02-06 12:45
1.9K
lattice8__2317_40.min1.thm1
2017-02-06 12:45
439
lattice8__2319_20.min1.thm1
2017-02-06 12:45
1.5K
lattice8__2322_14.min1.thm1
2017-02-06 12:45
554
lattice8__2322_14.min1.thm1.tptp
2017-02-06 16:47
473
lattice8__2345_73.min1.thm1
2017-02-06 12:45
968
lattice8__2348_61.min1.thm1
2017-02-06 12:45
2.6K
lattice8__2373_44.min1.thm1
2017-02-06 12:45
1.1K
lattice8__2379_21.min1.thm1
2017-02-06 12:45
939
lattice8__2382_19.min1.thm1
2017-02-06 12:45
651
lattice8__2385_21.min1.thm1
2017-02-06 12:45
939
lattice8__2388_19.min1.thm1
2017-02-06 12:45
652
lattice8__2389_36.min1.thm1
2017-02-06 12:45
823
lattice8__2390_35.min1.thm1
2017-02-06 12:45
866
lattice8__2391_40.min1.thm1
2017-02-06 12:45
1.0K
lattice8__2396_47.min1.thm1
2017-02-06 12:45
1.0K
lattice8__2397_56.min1.thm1
2017-02-06 12:45
1.3K
lattice8__2399_24.min1.thm1
2017-02-06 12:45
1.3K
lattice8__2401_65.min1.thm1
2017-02-06 12:45
1.6K
lattice8__2403_35.min1.thm1
2017-02-06 12:45
868
lattice8__2404_40.min1.thm1
2017-02-06 12:45
1.0K
lattice8__2409_47.min1.thm1
2017-02-06 12:45
1.0K
lattice8__2410_56.min1.thm1
2017-02-06 12:45
1.3K
lattice8__2412_24.min1.thm1
2017-02-06 12:45
1.3K
lattice8__2414_65.min1.thm1
2017-02-06 12:45
1.6K
lattice8__2416_15.min1.thm1
2017-02-06 12:45
515
lattice8__2420_57.min1.thm1
2017-02-06 12:45
804
lattice8__2423_44.min1.thm1
2017-02-06 12:45
1.4K
lattice8__2425_18.min1.thm1
2017-02-06 12:45
1.6K
lattice8__2426_68.min1.thm1
2017-02-06 12:45
1.9K
lattice8__2436_57.min1.thm1
2017-02-06 12:45
804
lattice8__2439_44.min1.thm1
2017-02-06 12:45
1.4K
lattice8__2441_18.min1.thm1
2017-02-06 12:45
1.6K
lattice8__2442_68.min1.thm1
2017-02-06 12:45
1.9K
lattice8__2455_48.min1.thm1
2017-02-06 12:45
598
lattice8__2457_21.min1.thm1
2017-02-06 12:45
1.6K
lattice8__2461_14.min1.thm1
2017-02-06 12:45
554
lattice8__2461_14.min1.thm1.tptp
2017-02-06 16:47
473
lattice8__2488_24.min1.thm1
2017-02-06 12:45
1.6K
lattice8__2490_18.min1.thm1
2017-02-06 12:45
1.5K
lattice8__2491_25.min1.thm1
2017-02-06 12:45
1.9K
lattice8__2497_44.min1.thm1
2017-02-06 12:45
1.6K
lattice8__2499_11.min1.thm1
2017-02-06 12:45
1.2K
lattice8__2503_54.min1.thm1
2017-02-06 12:45
2.6K
lattice8__2507_34.min1.thm1
2017-02-06 12:45
2.0K
lattice8__2544_44.min1.thm1
2017-02-06 12:45
1.1K
lattice8__2550_20.min1.thm1
2017-02-06 12:45
940
lattice8__2553_18.min1.thm1
2017-02-06 12:45
651
lattice8__2556_20.min1.thm1
2017-02-06 12:45
940
lattice8__2559_18.min1.thm1
2017-02-06 12:45
652
lattice8__2562_20.min1.thm1
2017-02-06 12:45
941
lattice8__2565_18.min1.thm1
2017-02-06 12:45
653
lattice8__2566_39.min1.thm1
2017-02-06 12:45
958
lattice8__2567_35.min1.thm1
2017-02-06 12:45
871
lattice8__2568_40.min1.thm1
2017-02-06 12:45
1.0K
lattice8__2573_28.min1.thm1
2017-02-06 12:45
3.0K
lattice8__2575_44.min1.thm1
2017-02-06 12:45
1.2K
lattice8__2576_39.min1.thm1
2017-02-06 12:45
2.0K
lattice8__2579_65.min1.thm1
2017-02-06 12:45
1.6K
lattice8__2581_35.min1.thm1
2017-02-06 12:45
874
lattice8__2582_40.min1.thm1
2017-02-06 12:45
1.0K
lattice8__2587_28.min1.thm1
2017-02-06 12:45
3.0K
lattice8__2589_44.min1.thm1
2017-02-06 12:45
1.2K
lattice8__2590_39.min1.thm1
2017-02-06 12:45
2.0K
lattice8__2593_65.min1.thm1
2017-02-06 12:45
1.6K
lattice8__2595_40.min1.thm1
2017-02-06 12:45
1.0K
lattice8__2600_28.min1.thm1
2017-02-06 12:45
3.0K
lattice8__2602_44.min1.thm1
2017-02-06 12:45
1.2K
lattice8__2603_39.min1.thm1
2017-02-06 12:45
2.0K
lattice8__2606_65.min1.thm1
2017-02-06 12:45
1.6K
lattice8__2608_35.min1.thm1
2017-02-06 12:45
873
lattice8__2609_15.min1.thm1
2017-02-06 12:45
523
lattice8__2616_19.min1.thm1
2017-02-06 12:45
529
lattice8__2619_68.min1.thm1
2017-02-06 12:45
963
lattice8__2621_68.min1.thm1
2017-02-06 12:45
1.2K
lattice8__2622_48.min1.thm1
2017-02-06 12:45
1.4K
lattice8__2624_22.min1.thm1
2017-02-06 12:45
1.6K
lattice8__2625_61.min1.thm1
2017-02-06 12:45
824
lattice8__2626_73.min1.thm1
2017-02-06 12:45
1.2K
lattice8__2639_68.min1.thm1
2017-02-06 12:45
962
lattice8__2641_48.min1.thm1
2017-02-06 12:45
1.4K
lattice8__2643_22.min1.thm1
2017-02-06 12:45
1.6K
lattice8__2645_73.min1.thm1
2017-02-06 12:45
1.2K
lattice8__2649_61.min1.thm1
2017-02-06 12:45
818
lattice8__2651_61.min1.thm1
2017-02-06 12:45
668
lattice8__2652_73.min1.thm1
2017-02-06 12:45
1.2K
lattice8__2665_57.min1.thm1
2017-02-06 12:45
812
lattice8__2668_19.min1.thm1
2017-02-06 12:45
529
lattice8__2671_68.min1.thm1
2017-02-06 12:45
962
lattice8__2673_48.min1.thm1
2017-02-06 12:45
1.4K
lattice8__2675_22.min1.thm1
2017-02-06 12:45
1.6K
lattice8__2677_73.min1.thm1
2017-02-06 12:45
1.2K
lattice8__2683_61.min1.thm1
2017-02-06 12:45
668
lattice8__2684_73.min1.thm1
2017-02-06 12:45
1.2K
lattice8__2694_68.min1.thm1
2017-02-06 12:45
960
lattice8__2696_68.min1.thm1
2017-02-06 12:45
1.2K
lattice8__2697_48.min1.thm1
2017-02-06 12:45
1.4K
lattice8__2699_22.min1.thm1
2017-02-06 12:45
1.6K
lattice8__2701_73.min1.thm1
2017-02-06 12:45
1.2K
lattice8__2721_56.min1.thm1
2017-02-06 12:45
757
lattice8__2728_14.min1.thm1
2017-02-06 12:45
727
lattice8__2728_14.min1.thm1.tptp
2017-02-06 16:47
650
lattice8__2743_13.min1.thm1
2017-02-06 12:45
131
lattice8__2751_11.min1.thm1
2017-02-06 12:45
1.9K
lattice8__2761_13.min1.thm1
2017-02-06 12:45
131
lattice8__2799_25.min1.thm1
2017-02-06 12:45
2.6K
lattice8__2805_28.min1.thm1
2017-02-06 12:45
2.7K
lattice8__2809_28.min1.thm1
2017-02-06 12:45
1.9K
lattice8__2810_24.min1.thm1
2017-02-06 12:45
1.8K
lattice8__2815_54.min1.thm1
2017-02-06 12:45
438
lattice8__2816_25.min1.thm1
2017-02-06 12:45
351
lattice8__2818_33.min1.thm1
2017-02-06 12:45
558
lattice8__2818_33.min1.thm1.tptp
2017-02-06 16:47
496
lattice8__2819_21.min1.thm1
2017-02-06 12:45
1.8K
lattice8__2821_29.min1.thm1
2017-02-06 12:45
1.8K
lattice8__2827_20.min1.thm1
2017-02-06 12:45
538
lattice8__2828_30.min1.thm1
2017-02-06 12:45
362
lattice8__2830_27.min1.thm1
2017-02-06 12:45
619
lattice8__2831_43.min1.thm1
2017-02-06 12:45
712
lattice8__2833_53.min1.thm1
2017-02-06 12:45
2.3K
lattice8__2836_11.min1.thm1
2017-02-06 12:45
519
lattice8__2837_51.min1.thm1
2017-02-06 12:45
1.1K
lattice8__2838_23.min1.thm1
2017-02-06 12:45
373
lattice8__2838_23.min1.thm1.tptp
2017-02-06 16:47
296
lattice8__2839_19.min1.thm1
2017-02-06 12:45
550
lattice8__2840_62.min1.thm1
2017-02-06 12:45
791
lattice8__2843_27.min1.thm1
2017-02-06 12:45
1.9K
lattice8__2844_20.min1.thm1
2017-02-06 12:45
1.5K
lattice8__2852_43.min1.thm1
2017-02-06 12:45
1.5K
lattice8__2855_23.min1.thm1
2017-02-06 12:45
1.6K
lattice8__2856_11.min1.thm1
2017-02-06 12:45
1.3K
lattice8__2857_41.min1.thm1
2017-02-06 12:45
1.4K
lattice8__2860_32.min1.thm1
2017-02-06 12:45
580
lattice8__2860_32.min1.thm1.tptp
2017-02-06 16:47
518
lattice8__2861_45.min1.thm1
2017-02-06 12:45
1.5K
lattice8__2864_23.min1.thm1
2017-02-06 12:45
1.6K
lattice8__2865_11.min1.thm1
2017-02-06 12:45
1.3K
lattice8__2916_23.min1.thm1
2017-02-06 12:45
252
lattice8__2917_23.min1.thm1
2017-02-06 12:45
434
lattice8__2917_23.min1.thm1.tptp
2017-02-06 16:47
358
lattice8__2939_22.min1.thm1
2017-02-06 12:45
518
lattice8__2939_22.min1.thm1.tptp
2017-02-06 16:47
442
lattice8__2951_24.min1.thm1
2017-02-06 12:45
3.7K
lattice8__2954_20.min1.thm1
2017-02-06 12:45
436
lattice8__2954_20.min1.thm1.tptp
2017-02-06 16:47
360
lattice8__2979_16.min1.thm1
2017-02-06 12:45
1.5K
lattice8__2982_18.min1.thm1
2017-02-06 12:45
429
lattice8__2982_18.min1.thm1.tptp
2017-02-06 16:47
349
lattice8__2991_20.min1.thm1
2017-02-06 12:45
392
lattice8__2991_20.min1.thm1.tptp
2017-02-06 16:47
322
lattice8__2993_52.min1.thm1
2017-02-06 12:45
2.1K
lattice8__2996_55.min1.thm1
2017-02-06 12:45
2.4K
lattice8__2997_21.min1.thm1
2017-02-06 12:45
1.3K
lattice8__3000_11.min1.thm1
2017-02-06 12:45
741
lattice8__3021_16.min1.thm1
2017-02-06 12:45
1.5K
lattice8__3024_18.min1.thm1
2017-02-06 12:45
429
lattice8__3024_18.min1.thm1.tptp
2017-02-06 16:47
349
lattice8__3036_20.min1.thm1
2017-02-06 12:45
392
lattice8__3036_20.min1.thm1.tptp
2017-02-06 16:47
322
lattice8__3040_21.min1.thm1
2017-02-06 12:45
1.4K
lattice8__3043_12.min1.thm1
2017-02-06 12:45
741
lattice8__3058_32.min1.thm1
2017-02-06 12:45
223
lattice8__3070_20.min1.thm1
2017-02-06 12:45
802
lattice8__3072_34.min1.thm1
2017-02-06 12:45
405
lattice8__3072_34.min1.thm1.tptp
2017-02-06 16:47
331
lattice8__3075_75.min1.thm1
2017-02-06 12:45
502
lattice8__3075_75.min1.thm1.tptp
2017-02-06 16:47
449
lattice8__3089_19.min1.thm1
2017-02-06 12:45
376
lattice8__3089_19.min1.thm1.tptp
2017-02-06 16:47
306
lattice8__3090_19.min1.thm1
2017-02-06 12:45
376
lattice8__3090_19.min1.thm1.tptp
2017-02-06 16:47
306
lattice8__3092_9.min1.thm1
2017-02-06 12:45
1.4K
lattice8__3093_41.min1.thm1
2017-02-06 12:45
2.4K
lattice8__3096_13.min1.thm1
2017-02-06 12:45
613
lattice8__3099_35.min1.thm1
2017-02-06 12:45
805
lattice8__3101_71.min1.thm1
2017-02-06 12:45
759
lattice8__3101_71.min1.thm1.tptp
2017-02-06 16:47
711
lattice8__3103_68.min1.thm1
2017-02-06 12:45
1.2K
lattice8__3106_15.min1.thm1
2017-02-06 12:45
471
lattice8__3118_12.min1.thm1
2017-02-06 12:45
664
lattice8__3119_49.min1.thm1
2017-02-06 12:45
1.2K
lattice8__3126_16.min1.thm1
2017-02-06 12:45
1.2K
lattice8__3127_19.min1.thm1
2017-02-06 12:45
825
lattice8__3129_30.min1.thm1
2017-02-06 12:45
536
lattice8__3130_57.min1.thm1
2017-02-06 12:45
216
lattice8__3142_16.min1.thm1
2017-02-06 12:45
612
lattice8__3143_39.min1.thm1
2017-02-06 12:45
422
lattice8__3144_20.min1.thm1
2017-02-06 12:45
867
lattice8__3145_18.min1.thm1
2017-02-06 12:45
1.2K
lattice8__3151_14.min1.thm1
2017-02-06 12:45
771
lattice8__3152_19.min1.thm1
2017-02-06 12:45
967
lattice8__3158_46.min1.thm1
2017-02-06 12:45
414
lattice8__3164_18.min1.thm1
2017-02-06 12:45
376
lattice8__3164_18.min1.thm1.tptp
2017-02-06 16:47
306
lattice8__3165_19.min1.thm1
2017-02-06 12:45
1.7K
lattice8__3167_49.min1.thm1
2017-02-06 12:45
377
lattice8__3167_49.min1.thm1.tptp
2017-02-06 16:47
289
lattice8__3176_23.min1.thm1
2017-02-06 12:45
808
lattice8__3177_19.min1.thm1
2017-02-06 12:45
559
lattice8__3178_39.min1.thm1
2017-02-06 12:45
863
lattice8__3184_20.min1.thm1
2017-02-06 12:45
385
lattice8__3184_20.min1.thm1.tptp
2017-02-06 16:47
315
lattice8__3185_20.min1.thm1
2017-02-06 12:45
385
lattice8__3185_20.min1.thm1.tptp
2017-02-06 16:47
315
lattice8__3186_22.min1.thm1
2017-02-06 12:45
1.1K
lattice8__3187_20.min1.thm1
2017-02-06 12:45
2.0K
lattice8__3188_33.min1.thm1
2017-02-06 12:45
2.4K
lattice8__3200_19.min1.thm1
2017-02-06 12:45
376
lattice8__3200_19.min1.thm1.tptp
2017-02-06 16:47
306
lattice8__3201_12.min1.thm1
2017-02-06 12:45
491
lattice8__3203_23.min1.thm1
2017-02-06 12:45
680
lattice8__3204_18.min1.thm1
2017-02-06 12:45
377
lattice8__3204_18.min1.thm1.tptp
2017-02-06 16:47
307
lattice8__3205_22.min1.thm1
2017-02-06 12:45
2.1K
lattice8__3206_21.min1.thm1
2017-02-06 12:45
2.0K
lattice8__3207_22.min1.thm1
2017-02-06 12:45
1.3K
lattice8__3208_19.min1.thm1
2017-02-06 12:45
860
lattice8__3216_19.min1.thm1
2017-02-06 12:45
1.2K
lattice8__3218_19.min1.thm1
2017-02-06 12:45
1.2K
lattice8__3219_20.min1.thm1
2017-02-06 12:45
802
lattice8__3221_34.min1.thm1
2017-02-06 12:45
405
lattice8__3221_34.min1.thm1.tptp
2017-02-06 16:47
331
lattice8__3223_24.min1.thm1
2017-02-06 12:45
408
lattice8__3223_24.min1.thm1.tptp
2017-02-06 16:47
355
lattice8__3225_16.min1.thm1
2017-02-06 12:45
951
lattice8__3226_45.min1.thm1
2017-02-06 12:45
2.0K
lattice8__3232_15.min1.thm1
2017-02-06 12:45
849
lattice8__3234_20.min1.thm1
2017-02-06 12:45
1.2K
lattice8__3240_19.min1.thm1
2017-02-06 12:45
377
lattice8__3240_19.min1.thm1.tptp
2017-02-06 16:47
307
lattice8__3242_15.min1.thm1
2017-02-06 12:45
707
lattice8__3243_15.min1.thm1
2017-02-06 12:45
377
lattice8__3243_15.min1.thm1.tptp
2017-02-06 16:47
307
lattice8__3244_73.min1.thm1
2017-02-06 12:45
1.4K
lattice8__3246_16.min1.thm1
2017-02-06 12:45
1.3K
lattice8__3249_15.min1.thm1
2017-02-06 12:45
850
lattice8__3251_20.min1.thm1
2017-02-06 12:45
1.2K
lattice8__3257_19.min1.thm1
2017-02-06 12:45
380
lattice8__3257_19.min1.thm1.tptp
2017-02-06 16:47
310
lattice8__3259_15.min1.thm1
2017-02-06 12:45
718
lattice8__3260_15.min1.thm1
2017-02-06 12:45
380
lattice8__3260_15.min1.thm1.tptp
2017-02-06 16:47
310
lattice8__3261_73.min1.thm1
2017-02-06 12:45
1.4K
lattice8__3263_16.min1.thm1
2017-02-06 12:45
1.3K
lattice8__3264_13.min1.thm1
2017-02-06 12:45
808
lattice8__3268_51.min1.thm1
2017-02-06 12:45
1.2K
lattice8__3269_27.min1.thm1
2017-02-06 12:45
2.0K
lattice8__3272_24.min1.thm1
2017-02-06 12:45
1.8K
lattice8__3280_13.min1.thm1
2017-02-06 12:45
1.2K
lattice8__3281_27.min1.thm1
2017-02-06 12:45
1.9K
lattice8__3284_24.min1.thm1
2017-02-06 12:45
1.8K
lattice8__3294_15.min1.thm1
2017-02-06 12:45
853
lattice8__3296_20.min1.thm1
2017-02-06 12:45
1.2K
lattice8__3302_19.min1.thm1
2017-02-06 12:45
381
lattice8__3302_19.min1.thm1.tptp
2017-02-06 16:47
311
lattice8__3304_15.min1.thm1
2017-02-06 12:45
724
lattice8__3305_16.min1.thm1
2017-02-06 12:45
381
lattice8__3305_16.min1.thm1.tptp
2017-02-06 16:47
311
lattice8__3306_73.min1.thm1
2017-02-06 12:45
1.4K
lattice8__3308_16.min1.thm1
2017-02-06 12:45
1.3K
lattice8__3309_26.min1.thm1
2017-02-06 12:45
2.0K
lattice8__3312_15.min1.thm1
2017-02-06 12:45
854
lattice8__3314_20.min1.thm1
2017-02-06 12:45
1.2K
lattice8__3320_19.min1.thm1
2017-02-06 12:45
384
lattice8__3320_19.min1.thm1.tptp
2017-02-06 16:47
314
lattice8__3322_15.min1.thm1
2017-02-06 12:45
737
lattice8__3323_16.min1.thm1
2017-02-06 12:45
384
lattice8__3323_16.min1.thm1.tptp
2017-02-06 16:47
314
lattice8__3324_73.min1.thm1
2017-02-06 12:45
1.4K
lattice8__3326_16.min1.thm1
2017-02-06 12:45
1.3K
lattice8__3327_26.min1.thm1
2017-02-06 12:45
2.0K
lattice8__3330_15.min1.thm1
2017-02-06 12:45
854
lattice8__3332_20.min1.thm1
2017-02-06 12:45
1.2K
lattice8__3338_19.min1.thm1
2017-02-06 12:45
384
lattice8__3338_19.min1.thm1.tptp
2017-02-06 16:47
314
lattice8__3340_15.min1.thm1
2017-02-06 12:45
737
lattice8__3341_16.min1.thm1
2017-02-06 12:45
384
lattice8__3341_16.min1.thm1.tptp
2017-02-06 16:47
314
lattice8__3342_73.min1.thm1
2017-02-06 12:45
1.4K
lattice8__3344_16.min1.thm1
2017-02-06 12:45
1.3K
lattice8__3345_26.min1.thm1
2017-02-06 12:45
2.0K
lattice8__3346_13.min1.thm1
2017-02-06 12:45
817
lattice8__3353_17.min1.thm1
2017-02-06 12:45
827
lattice8__3358_26.min1.thm1
2017-02-06 12:45
476
lattice8__3361_8.min1.thm1
2017-02-06 12:45
1.5K
lattice8__3375_9.min1.thm1
2017-02-06 12:45
1.5K
lattice8__3392_17.min1.thm1
2017-02-06 12:45
823
lattice8__3397_26.min1.thm1
2017-02-06 12:45
476
lattice8__3400_6.min1.thm1
2017-02-06 12:45
1.5K
lattice8__3414_5.min1.thm1
2017-02-06 12:45
1.5K
lattice8__3431_14.min1.thm1
2017-02-06 12:45
853
lattice8__3433_19.min1.thm1
2017-02-06 12:45
1.2K
lattice8__3439_15.min1.thm1
2017-02-06 12:45
381
lattice8__3439_15.min1.thm1.tptp
2017-02-06 16:47
311
lattice8__3440_73.min1.thm1
2017-02-06 12:45
1.4K
lattice8__3442_16.min1.thm1
2017-02-06 12:45
1.3K
lattice8__3443_18.min1.thm1
2017-02-06 12:45
381
lattice8__3443_18.min1.thm1.tptp
2017-02-06 16:47
311
lattice8__3444_46.min1.thm1
2017-02-06 12:45
804
lattice8__3445_25.min1.thm1
2017-02-06 12:45
2.0K
lattice8__3448_20.min1.thm1
2017-02-06 12:45
1.6K
lattice8__3450_17.min1.thm1
2017-02-06 12:45
1.6K
lattice8__3471_68.min1.thm1
2017-02-06 12:45
1.2K
lattice8__3474_15.min1.thm1
2017-02-06 12:45
471
lattice8__3477_14.min1.thm1
2017-02-06 12:45
773
lattice8__3479_19.min1.thm1
2017-02-06 12:45
1.2K
lattice8__3485_19.min1.thm1
2017-02-06 12:45
372
lattice8__3485_19.min1.thm1.tptp
2017-02-06 16:47
302
lattice8__3487_15.min1.thm1
2017-02-06 12:45
685
lattice8__3488_16.min1.thm1
2017-02-06 12:45
372
lattice8__3488_16.min1.thm1.tptp
2017-02-06 16:47
302
lattice8__3489_71.min1.thm1
2017-02-06 12:45
1.4K
lattice8__3491_16.min1.thm1
2017-02-06 12:45
1.2K
lattice8__3492_22.min1.thm1
2017-02-06 12:45
372
lattice8__3492_22.min1.thm1.tptp
2017-02-06 16:47
302
lattice8__3495_17.min1.thm1
2017-02-06 12:45
476
lattice8__3496_19.min1.thm1
2017-02-06 12:45
372
lattice8__3496_19.min1.thm1.tptp
2017-02-06 16:47
302
lattice8__3499_17.min1.thm1
2017-02-06 12:45
1.2K
lattice8__3502_15.min1.thm1
2017-02-06 12:45
774
lattice8__3504_20.min1.thm1
2017-02-06 12:45
1.2K
lattice8__3510_19.min1.thm1
2017-02-06 12:45
372
lattice8__3510_19.min1.thm1.tptp
2017-02-06 16:47
302
lattice8__3512_15.min1.thm1
2017-02-06 12:45
686
lattice8__3513_16.min1.thm1
2017-02-06 12:45
372
lattice8__3513_16.min1.thm1.tptp
2017-02-06 16:47
302
lattice8__3514_71.min1.thm1
2017-02-06 12:45
1.4K
lattice8__3516_16.min1.thm1
2017-02-06 12:45
1.2K
lattice8__3517_22.min1.thm1
2017-02-06 12:45
372
lattice8__3517_22.min1.thm1.tptp
2017-02-06 16:47
302
lattice8__3520_17.min1.thm1
2017-02-06 12:45
476
lattice8__3521_19.min1.thm1
2017-02-06 12:45
372
lattice8__3521_19.min1.thm1.tptp
2017-02-06 16:47
302
lattice8__3524_17.min1.thm1
2017-02-06 12:45
1.2K
lattice8__3525_11.min1.thm1
2017-02-06 12:45
794
lattice8__3530_8.min1.thm1
2017-02-06 12:45
1.2K
lattice8__3531_24.min1.thm1
2017-02-06 12:45
571
lattice8__3533_58.min1.thm1
2017-02-06 12:45
1.1K
lattice8__3534_25.min1.thm1
2017-02-06 12:45
1.9K
lattice8__3542_25.min1.thm1
2017-02-06 12:45
572
lattice8__3543_58.min1.thm1
2017-02-06 12:45
1.1K
lattice8__3545_29.min1.thm1
2017-02-06 12:45
1.9K
lattice8__3556_49.min1.thm1
2017-02-06 12:45
1.2K
lattice8__3557_24.min1.thm1
2017-02-06 12:45
571
lattice8__3559_58.min1.thm1
2017-02-06 12:45
1.1K
lattice8__3560_25.min1.thm1
2017-02-06 12:45
1.9K
lattice8__3568_25.min1.thm1
2017-02-06 12:45
572
lattice8__3569_58.min1.thm1
2017-02-06 12:45
1.1K
lattice8__3571_29.min1.thm1
2017-02-06 12:45
1.9K
lattice8__3587_16.min1.thm1
2017-02-06 12:45
773
lattice8__3588_51.min1.thm1
2017-02-06 12:45
1.0K
lattice8__3589_17.min1.thm1
2017-02-06 12:45
1.5K
lattice8__3598_12.min1.thm1
2017-02-06 12:45
1.1K
lattice8__3599_16.min1.thm1
2017-02-06 12:45
1.5K
lattice8__3600_42.min1.thm1
2017-02-06 12:45
935
lattice8__3601_17.min1.thm1
2017-02-06 12:45
645
lattice8__3628_37.min1.thm1
2017-02-06 12:45
2.8K
lattice8__3631_15.min1.thm1
2017-02-06 12:45
1.8K
lattice8__3634_16.min1.thm1
2017-02-06 12:45
1.8K
lattice8__3635_35.min1.thm1
2017-02-06 12:45
1.5K
lattice8__3636_32.min1.thm1
2017-02-06 12:45
436
lattice8__3636_32.min1.thm1.tptp
2017-02-06 16:47
348
lattice8__3654_15.min1.thm1
2017-02-06 12:45
644
lattice8__3670_16.min1.thm1
2017-02-06 12:45
1.5K
lattice8__3698_17.min1.thm1
2017-02-06 12:45
852
lattice8__3699_18.min1.thm1
2017-02-06 12:45
644
lattice8__3700_18.min1.thm1
2017-02-06 12:45
644
lattice8__3701_18.min1.thm1
2017-02-06 12:45
644
lattice8__3708_15.min1.thm1
2017-02-06 12:45
769
lattice8__3709_16.min1.thm1
2017-02-06 12:45
1.3K
lattice8__3712_21.min1.thm1
2017-02-06 12:45
1.0K
lattice8__3713_21.min1.thm1
2017-02-06 12:45
624
lattice8__3717_22.min1.thm1
2017-02-06 12:45
1.0K
lattice8__3718_21.min1.thm1
2017-02-06 12:45
624
lattice8__3722_22.min1.thm1
2017-02-06 12:45
1.0K
lattice8__3723_21.min1.thm1
2017-02-06 12:45
624
lattice8__3727_21.min1.thm1
2017-02-06 12:45
1.0K
lattice8__3728_21.min1.thm1
2017-02-06 12:45
624
lattice8__3731_43.min1.thm1
2017-02-06 12:45
635
lattice8__3732_15.min1.thm1
2017-02-06 12:45
1.6K
lattice8__3733_50.min1.thm1
2017-02-06 12:45
934
lattice8__3734_15.min1.thm1
2017-02-06 12:45
1.1K
lattice8__3741_16.min1.thm1
2017-02-06 12:45
805
lattice8__3744_22.min1.thm1
2017-02-06 12:45
1.6K
lattice8__3752_37.min1.thm1
2017-02-06 12:45
1.2K
lattice8__3754_39.min1.thm1
2017-02-06 12:45
1.4K
lattice8__3755_28.min1.thm1
2017-02-06 12:45
1.3K
lattice8__3759_11.min1.thm1
2017-02-06 12:45
330
lattice8__3760_16.min1.thm1
2017-02-06 12:45
894
lattice8__3765_22.min1.thm1
2017-02-06 12:45
1.6K
lattice8__3769_11.min1.thm1
2017-02-06 12:45
330
lattice8__3770_18.min1.thm1
2017-02-06 12:45
1.1K
lattice8__3777_11.min1.thm1
2017-02-06 12:45
1.1K
lattice8__3791_13.min1.thm1
2017-02-06 12:45
408
lattice8__3791_13.min1.thm1.tptp
2017-02-06 16:47
338
lattice8__3792_17.min1.thm1
2017-02-06 12:45
928
lattice8__3793_37.min1.thm1
2017-02-06 12:45
1.2K
lattice8__3800_38.min1.thm1
2017-02-06 12:45
1.2K
lattice8__3813_21.min1.thm1
2017-02-06 12:45
544
lattice8__3813_21.min1.thm1.tptp
2017-02-06 16:47
474
lattice8__3816_22.min1.thm1
2017-02-06 12:45
1.6K
lattice8__3819_56.min1.thm1
2017-02-06 12:45
1.1K
lattice8__3826_21.min1.thm1
2017-02-06 12:45
544
lattice8__3826_21.min1.thm1.tptp
2017-02-06 16:47
474
lattice8__3833_16.min1.thm1
2017-02-06 12:45
650
lattice8__3836_54.min1.thm1
2017-02-06 12:45
1.1K
lattice8__3842_16.min1.thm1
2017-02-06 12:45
1.0K
lattice8__3850_20.min1.thm1
2017-02-06 12:45
1.5K
lattice8__3878_18.min1.thm1
2017-02-06 12:45
878
lattice8__3879_19.min1.thm1
2017-02-06 12:45
651
lattice8__3880_19.min1.thm1
2017-02-06 12:45
651
lattice8__3882_16.min1.thm1
2017-02-06 12:45
1.0K
lattice8__3883_19.min1.thm1
2017-02-06 12:45
651
lattice8__3890_20.min1.thm1
2017-02-06 12:45
709
lattice8__3895_33.min1.thm1
2017-02-06 12:45
1.3K
lattice8__3902_41.min1.thm1
2017-02-06 12:45
1.2K
lattice8__3904_43.min1.thm1
2017-02-06 12:45
1.5K
lattice8__3905_31.min1.thm1
2017-02-06 12:45
1.3K
lattice8__3907_33.min1.thm1
2017-02-06 12:45
1.3K
lattice8__3914_33.min1.thm1
2017-02-06 12:45
1.3K
lattice8__3918_16.min1.thm1
2017-02-06 12:45
1.0K
lattice8__3919_23.min1.thm1
2017-02-06 12:45
943
lattice8__3924_21.min1.thm1
2017-02-06 12:45
544
lattice8__3924_21.min1.thm1.tptp
2017-02-06 16:47
474
lattice8__3927_22.min1.thm1
2017-02-06 12:45
1.6K
lattice8__3930_56.min1.thm1
2017-02-06 12:45
1.1K
lattice8__3938_24.min1.thm1
2017-02-06 12:45
2.1K
lattice8__3941_24.min1.thm1
2017-02-06 12:45
3.7K
lattice8__3944_23.min1.thm1
2017-02-06 12:45
1.4K
lattice8__3947_67.min1.thm1
2017-02-06 12:45
2.9K
lattice8__3949_32.min1.thm1
2017-02-06 12:45
1.6K
lattice8__3956_24.min1.thm1
2017-02-06 12:45
439
lattice8__3956_24.min1.thm1.tptp
2017-02-06 16:47
374
lattice8__3968_32.min1.thm1
2017-02-06 12:45
854
lattice8__3989_17.min1.thm1
2017-02-06 12:45
2.6K
lattice8__3993_30.min1.thm1
2017-02-06 12:45
400
lattice8__3995_35.min1.thm1
2017-02-06 12:45
668
lattice8__3995_35.min1.thm1.tptp
2017-02-06 16:47
606
lattice8__3998_40.min1.thm1
2017-02-06 12:45
2.8K
lattice8__4000_32.min1.thm1
2017-02-06 12:45
588
lattice8__4003_50.min1.thm1
2017-02-06 12:45
1.1K
lattice8__4004_38.min1.thm1
2017-02-06 12:45
1.5K
lattice8__4007_24.min1.thm1
2017-02-06 12:45
743
lattice8__4008_27.min1.thm1
2017-02-06 12:45
683
lattice8__4009_28.min1.thm1
2017-02-06 12:45
389
lattice8__4010_37.min1.thm1
2017-02-06 12:45
646
lattice8__4010_37.min1.thm1.tptp
2017-02-06 16:47
584
lattice8__4011_58.min1.thm1
2017-02-06 12:45
1.1K
lattice8__4021_47.min1.thm1
2017-02-06 12:45
1.5K
lattice8__4031_18.min1.thm1
2017-02-06 12:45
815
lattice8__4031_18.min1.thm1.tptp
2017-02-06 16:47
746
lattice8__4034_16.min1.thm1
2017-02-06 12:45
398
lattice8__4035_49.min1.thm1
2017-02-06 12:45
819
lattice8__4036_20.min1.thm1
2017-02-06 12:45
771
lattice8__4040_14.min1.thm1
2017-02-06 12:45
685
lattice8__4040_14.min1.thm1.tptp
2017-02-06 16:47
608
lattice8__4049_15.min1.thm1
2017-02-06 12:45
411
lattice8__4049_15.min1.thm1.tptp
2017-02-06 16:47
341
lattice8__4051_15.min1.thm1
2017-02-06 12:45
2.1K
lattice8__4057_15.min1.thm1
2017-02-06 12:45
411
lattice8__4057_15.min1.thm1.tptp
2017-02-06 16:47
341
lattice8__4058_19.min1.thm1
2017-02-06 12:45
1.0K
lattice8__4059_32.min1.thm1
2017-02-06 12:45
487
lattice8__4059_32.min1.thm1.tptp
2017-02-06 16:47
419
lattice8__4066_18.min1.thm1
2017-02-06 12:45
1.1K
lattice8__4067_37.min1.thm1
2017-02-06 12:45
222
lattice8__4069_48.min1.thm1
2017-02-06 12:45
1.1K
lattice8__4072_44.min1.thm1
2017-02-06 12:45
1.1K
lattice8__4072_44.min1.thm1.tptp
2017-02-06 16:47
1.0K
lattice8__4084_16.min1.thm1
2017-02-06 12:45
1.6K
lattice8__4085_37.min1.thm1
2017-02-06 12:45
1.4K
lattice8__4099_24.min1.thm1
2017-02-06 12:45
439
lattice8__4099_24.min1.thm1.tptp
2017-02-06 16:47
374
lattice8__4111_32.min1.thm1
2017-02-06 12:45
854
lattice8__4132_17.min1.thm1
2017-02-06 12:45
2.6K
lattice8__4136_30.min1.thm1
2017-02-06 12:45
400
lattice8__4138_35.min1.thm1
2017-02-06 12:45
668
lattice8__4138_35.min1.thm1.tptp
2017-02-06 16:47
606
lattice8__4141_40.min1.thm1
2017-02-06 12:45
2.9K
lattice8__4143_32.min1.thm1
2017-02-06 12:45
588
lattice8__4146_50.min1.thm1
2017-02-06 12:45
1.1K
lattice8__4147_38.min1.thm1
2017-02-06 12:45
1.5K
lattice8__4150_25.min1.thm1
2017-02-06 12:45
743
lattice8__4151_28.min1.thm1
2017-02-06 12:45
683
lattice8__4152_29.min1.thm1
2017-02-06 12:45
389
lattice8__4153_37.min1.thm1
2017-02-06 12:45
646
lattice8__4153_37.min1.thm1.tptp
2017-02-06 16:47
584
lattice8__4154_58.min1.thm1
2017-02-06 12:45
1.1K
lattice8__4164_47.min1.thm1
2017-02-06 12:45
1.5K
lattice8__4183_23.min1.thm1
2017-02-06 12:45
701
lattice8__4183_23.min1.thm1.tptp
2017-02-06 16:47
654
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80