Index of /~mptp/7.13.01_4.181.1147/MPTP2/ilp0/twoscomp
Name
Last modified
Size
Description
Parent Directory
-
twoscomp__48_32.min1.thm1
2017-02-06 12:44
1.8K
twoscomp__49_16.min1.thm1
2017-02-06 12:44
1.5K
twoscomp__354_23.min1.thm1
2017-02-06 12:44
1.4K
twoscomp__356_22.min1.thm1
2017-02-06 12:44
1.1K
twoscomp__364_32.min1.thm1
2017-02-06 12:44
953
twoscomp__366_39.min1.thm1
2017-02-06 12:44
1.2K
twoscomp__378_22.min1.thm1
2017-02-06 12:44
960
twoscomp__386_40.min1.thm1
2017-02-06 12:44
1.0K
twoscomp__387_8.min1.thm1
2017-02-06 12:44
633
twoscomp__388_39.min1.thm1
2017-02-06 12:44
1.1K
twoscomp__389_8.min1.thm1
2017-02-06 12:44
1.1K
twoscomp__390_39.min1.thm1
2017-02-06 12:44
1.1K
twoscomp__391_8.min1.thm1
2017-02-06 12:44
1.1K
twoscomp__392_38.min1.thm1
2017-02-06 12:44
964
twoscomp__393_8.min1.thm1
2017-02-06 12:44
729
twoscomp__394_47.min1.thm1
2017-02-06 12:44
1.5K
twoscomp__395_8.min1.thm1
2017-02-06 12:44
1.3K
twoscomp__396_46.min1.thm1
2017-02-06 12:44
1.6K
twoscomp__397_8.min1.thm1
2017-02-06 12:44
1.4K
twoscomp__398_46.min1.thm1
2017-02-06 12:44
1.8K
twoscomp__399_8.min1.thm1
2017-02-06 12:44
1.2K
twoscomp__400_45.min1.thm1
2017-02-06 12:44
1.3K
twoscomp__401_8.min1.thm1
2017-02-06 12:44
1.5K
twoscomp__402_46.min1.thm1
2017-02-06 12:44
1.8K
twoscomp__403_8.min1.thm1
2017-02-06 12:44
1.4K
twoscomp__404_52.min1.thm1
2017-02-06 12:44
1.8K
twoscomp__405_8.min1.thm1
2017-02-06 12:44
1.5K
twoscomp__406_52.min1.thm1
2017-02-06 12:44
2.1K
twoscomp__407_8.min1.thm1
2017-02-06 12:44
1.5K
twoscomp__408_46.min1.thm1
2017-02-06 12:44
1.8K
twoscomp__409_8.min1.thm1
2017-02-06 12:44
1.2K
twoscomp__417_40.min1.thm1
2017-02-06 12:44
1.0K
twoscomp__418_8.min1.thm1
2017-02-06 12:44
630
twoscomp__419_39.min1.thm1
2017-02-06 12:44
1.1K
twoscomp__420_8.min1.thm1
2017-02-06 12:44
1.7K
twoscomp__421_39.min1.thm1
2017-02-06 12:44
1.1K
twoscomp__422_8.min1.thm1
2017-02-06 12:44
1.5K
twoscomp__423_38.min1.thm1
2017-02-06 12:44
962
twoscomp__424_8.min1.thm1
2017-02-06 12:44
556
twoscomp__425_40.min1.thm1
2017-02-06 12:44
1.7K
twoscomp__426_8.min1.thm1
2017-02-06 12:44
1.5K
twoscomp__427_46.min1.thm1
2017-02-06 12:44
1.6K
twoscomp__428_8.min1.thm1
2017-02-06 12:44
1.3K
twoscomp__429_46.min1.thm1
2017-02-06 12:44
1.9K
twoscomp__430_8.min1.thm1
2017-02-06 12:44
1.2K
twoscomp__431_45.min1.thm1
2017-02-06 12:44
1.0K
twoscomp__432_8.min1.thm1
2017-02-06 12:44
1.5K
twoscomp__433_46.min1.thm1
2017-02-06 12:44
1.9K
twoscomp__434_8.min1.thm1
2017-02-06 12:44
1.3K
twoscomp__435_45.min1.thm1
2017-02-06 12:44
1.7K
twoscomp__436_8.min1.thm1
2017-02-06 12:44
1.4K
twoscomp__437_45.min1.thm1
2017-02-06 12:44
1.8K
twoscomp__438_8.min1.thm1
2017-02-06 12:44
1.5K
twoscomp__439_46.min1.thm1
2017-02-06 12:44
1.8K
twoscomp__440_8.min1.thm1
2017-02-06 12:44
1.2K
twoscomp__447_42.min1.thm1
2017-02-06 12:44
1.0K
twoscomp__448_8.min1.thm1
2017-02-06 12:44
2.1K
twoscomp__449_41.min1.thm1
2017-02-06 12:44
1.1K
twoscomp__450_8.min1.thm1
2017-02-06 12:44
2.4K
twoscomp__451_41.min1.thm1
2017-02-06 12:44
1.1K
twoscomp__452_8.min1.thm1
2017-02-06 12:44
2.3K
twoscomp__453_40.min1.thm1
2017-02-06 12:44
969
twoscomp__454_8.min1.thm1
2017-02-06 12:44
2.1K
twoscomp__455_49.min1.thm1
2017-02-06 12:44
1.5K
twoscomp__456_8.min1.thm1
2017-02-06 12:44
2.3K
twoscomp__457_48.min1.thm1
2017-02-06 12:44
1.6K
twoscomp__458_8.min1.thm1
2017-02-06 12:44
2.5K
twoscomp__459_48.min1.thm1
2017-02-06 12:44
1.7K
twoscomp__460_8.min1.thm1
2017-02-06 12:44
2.2K
twoscomp__461_47.min1.thm1
2017-02-06 12:44
1.3K
twoscomp__462_8.min1.thm1
2017-02-06 12:44
2.1K
twoscomp__857_25.min1.thm1
2017-02-06 12:44
1.6K
twoscomp__868_24.min1.thm1
2017-02-06 12:44
1.5K
twoscomp__894_52.min1.thm1
2017-02-06 12:44
1.1K
twoscomp__895_8.min1.thm1
2017-02-06 12:44
858
twoscomp__896_51.min1.thm1
2017-02-06 12:44
1.2K
twoscomp__897_8.min1.thm1
2017-02-06 12:44
1.5K
twoscomp__898_51.min1.thm1
2017-02-06 12:44
1.2K
twoscomp__899_8.min1.thm1
2017-02-06 12:44
1.5K
twoscomp__900_41.min1.thm1
2017-02-06 12:44
1.8K
twoscomp__901_8.min1.thm1
2017-02-06 12:44
1.1K
twoscomp__902_51.min1.thm1
2017-02-06 12:44
1.2K
twoscomp__903_8.min1.thm1
2017-02-06 12:44
1.4K
twoscomp__904_41.min1.thm1
2017-02-06 12:44
1.8K
twoscomp__905_8.min1.thm1
2017-02-06 12:44
1.1K
twoscomp__906_50.min1.thm1
2017-02-06 12:44
1.2K
twoscomp__907_8.min1.thm1
2017-02-06 12:44
1.4K
twoscomp__908_40.min1.thm1
2017-02-06 12:44
1.2K
twoscomp__909_8.min1.thm1
2017-02-06 12:44
729
twoscomp__918_8.min1.thm1
2017-02-06 12:44
1.7K
twoscomp__920_8.min1.thm1
2017-02-06 12:44
1.6K
twoscomp__922_8.min1.thm1
2017-02-06 12:44
1.8K
twoscomp__924_8.min1.thm1
2017-02-06 12:44
1.2K
twoscomp__926_8.min1.thm1
2017-02-06 12:44
1.2K
twoscomp__928_8.min1.thm1
2017-02-06 12:44
1.6K
twoscomp__930_8.min1.thm1
2017-02-06 12:44
1.8K
twoscomp__932_8.min1.thm1
2017-02-06 12:44
1.5K
twoscomp__941_8.min1.thm1
2017-02-06 12:44
1.7K
twoscomp__943_8.min1.thm1
2017-02-06 12:44
1.2K
twoscomp__945_8.min1.thm1
2017-02-06 12:44
1.8K
twoscomp__947_8.min1.thm1
2017-02-06 12:44
1.6K
twoscomp__949_8.min1.thm1
2017-02-06 12:44
1.8K
twoscomp__951_8.min1.thm1
2017-02-06 12:44
1.5K
twoscomp__953_8.min1.thm1
2017-02-06 12:44
1.3K
twoscomp__955_8.min1.thm1
2017-02-06 12:44
1.6K
twoscomp__964_8.min1.thm1
2017-02-06 12:44
1.3K
twoscomp__966_8.min1.thm1
2017-02-06 12:44
1.8K
twoscomp__968_8.min1.thm1
2017-02-06 12:44
1.6K
twoscomp__970_8.min1.thm1
2017-02-06 12:44
1.8K
twoscomp__972_8.min1.thm1
2017-02-06 12:44
1.5K
twoscomp__974_8.min1.thm1
2017-02-06 12:44
1.8K
twoscomp__976_8.min1.thm1
2017-02-06 12:44
1.7K
twoscomp__978_8.min1.thm1
2017-02-06 12:44
1.3K
twoscomp__986_42.min1.thm1
2017-02-06 12:44
1.2K
twoscomp__987_8.min1.thm1
2017-02-06 12:44
630
twoscomp__989_8.min1.thm1
2017-02-06 12:44
1.9K
twoscomp__991_8.min1.thm1
2017-02-06 12:44
1.5K
twoscomp__993_8.min1.thm1
2017-02-06 12:44
1.9K
twoscomp__995_8.min1.thm1
2017-02-06 12:44
1.5K
twoscomp__997_8.min1.thm1
2017-02-06 12:44
1.9K
twoscomp__999_8.min1.thm1
2017-02-06 12:44
1.7K
twoscomp__1001_8.min1.thm1
2017-02-06 12:44
581
twoscomp__1010_8.min1.thm1
2017-02-06 12:44
1.6K
twoscomp__1012_8.min1.thm1
2017-02-06 12:44
2.2K
twoscomp__1014_8.min1.thm1
2017-02-06 12:44
1.9K
twoscomp__1016_8.min1.thm1
2017-02-06 12:44
1.3K
twoscomp__1018_8.min1.thm1
2017-02-06 12:44
1.2K
twoscomp__1020_8.min1.thm1
2017-02-06 12:44
2.0K
twoscomp__1022_8.min1.thm1
2017-02-06 12:44
1.5K
twoscomp__1024_8.min1.thm1
2017-02-06 12:44
1.7K
twoscomp__1033_8.min1.thm1
2017-02-06 12:44
1.9K
twoscomp__1035_8.min1.thm1
2017-02-06 12:44
1.3K
twoscomp__1037_8.min1.thm1
2017-02-06 12:44
1.7K
twoscomp__1039_8.min1.thm1
2017-02-06 12:44
2.0K
twoscomp__1041_8.min1.thm1
2017-02-06 12:44
1.8K
twoscomp__1043_8.min1.thm1
2017-02-06 12:44
2.0K
twoscomp__1045_8.min1.thm1
2017-02-06 12:44
1.1K
twoscomp__1047_8.min1.thm1
2017-02-06 12:44
1.7K
twoscomp__1056_8.min1.thm1
2017-02-06 12:44
1.3K
twoscomp__1058_8.min1.thm1
2017-02-06 12:44
1.8K
twoscomp__1060_8.min1.thm1
2017-02-06 12:44
2.0K
twoscomp__1062_8.min1.thm1
2017-02-06 12:44
1.5K
twoscomp__1064_8.min1.thm1
2017-02-06 12:44
2.0K
twoscomp__1066_8.min1.thm1
2017-02-06 12:44
1.6K
twoscomp__1068_8.min1.thm1
2017-02-06 12:44
1.7K
twoscomp__1070_8.min1.thm1
2017-02-06 12:44
1.3K
twoscomp__1079_8.min1.thm1
2017-02-06 12:44
2.1K
twoscomp__1081_8.min1.thm1
2017-02-06 12:44
2.3K
twoscomp__1084_8.min1.thm1
2017-02-06 12:44
2.1K
twoscomp__1087_8.min1.thm1
2017-02-06 12:44
2.1K
twoscomp__1089_8.min1.thm1
2017-02-06 12:44
2.4K
twoscomp__1091_8.min1.thm1
2017-02-06 12:44
2.4K
twoscomp__1105_13.min1.thm1
2017-02-06 12:44
2.5K
twoscomp__1113_11.min1.thm1
2017-02-06 12:44
1.6K
twoscomp__1121_14.min1.thm1
2017-02-06 12:44
792
twoscomp__1131_13.min1.thm1
2017-02-06 12:44
2.5K
twoscomp__1139_11.min1.thm1
2017-02-06 12:44
1.6K
twoscomp__1147_14.min1.thm1
2017-02-06 12:44
790
twoscomp__1157_13.min1.thm1
2017-02-06 12:44
3.3K
twoscomp__1174_18.min1.thm1
2017-02-06 12:44
320
twoscomp__1175_17.min1.thm1
2017-02-06 12:44
1.3K
twoscomp__1183_51.min1.thm1
2017-02-06 12:44
761
twoscomp__1184_17.min1.thm1
2017-02-06 12:44
637
twoscomp__1192_39.min1.thm1
2017-02-06 12:44
447
twoscomp__1192_39.min1.thm1.tptp
2017-02-06 16:46
380
twoscomp__1193_17.min1.thm1
2017-02-06 12:44
650
twoscomp__1200_39.min1.thm1
2017-02-06 12:44
447
twoscomp__1200_39.min1.thm1.tptp
2017-02-06 16:46
380
twoscomp__1201_14.min1.thm1
2017-02-06 12:44
695
twoscomp__1210_18.min1.thm1
2017-02-06 12:44
320
twoscomp__1211_17.min1.thm1
2017-02-06 12:44
1.3K
twoscomp__1219_56.min1.thm1
2017-02-06 12:44
759
twoscomp__1220_17.min1.thm1
2017-02-06 12:44
634
twoscomp__1228_44.min1.thm1
2017-02-06 12:44
446
twoscomp__1228_44.min1.thm1.tptp
2017-02-06 16:46
379
twoscomp__1229_17.min1.thm1
2017-02-06 12:44
649
twoscomp__1237_44.min1.thm1
2017-02-06 12:44
446
twoscomp__1237_44.min1.thm1.tptp
2017-02-06 16:46
379
twoscomp__1238_14.min1.thm1
2017-02-06 12:44
694
twoscomp__1249_64.min1.thm1
2017-02-06 12:44
805
twoscomp__1250_17.min1.thm1
2017-02-06 12:44
1.6K
twoscomp__1262_70.min1.thm1
2017-02-06 12:44
891
twoscomp__1264_52.min1.thm1
2017-02-06 12:44
677
twoscomp__1264_52.min1.thm1.tptp
2017-02-06 16:46
610
twoscomp__1265_17.min1.thm1
2017-02-06 12:44
2.3K
twoscomp__1277_17.min1.thm1
2017-02-06 12:44
1.2K
twoscomp__1280_14.min1.thm1
2017-02-06 12:44
2.8K
twoscomp__1281_56.min1.thm1
2017-02-06 12:44
1.0K
twoscomp__1282_56.min1.thm1
2017-02-06 12:44
1.0K
twoscomp__1283_47.min1.thm1
2017-02-06 12:44
1.0K
twoscomp__1284_40.min1.thm1
2017-02-06 12:44
660
twoscomp__1285_14.min1.thm1
2017-02-06 12:44
1.0K
twoscomp__1297_70.min1.thm1
2017-02-06 12:44
1.0K
twoscomp__1299_61.min1.thm1
2017-02-06 12:44
1.5K
twoscomp__1300_32.min1.thm1
2017-02-06 12:44
1.0K
twoscomp__1301_14.min1.thm1
2017-02-06 12:44
904
twoscomp__1310_70.min1.thm1
2017-02-06 12:44
1.0K
twoscomp__1311_17.min1.thm1
2017-02-06 12:44
1.1K
twoscomp__1321_58.min1.thm1
2017-02-06 12:44
658
twoscomp__1322_64.min1.thm1
2017-02-06 12:44
805
twoscomp__1324_12.min1.thm1
2017-02-06 12:44
342
twoscomp__1325_14.min1.thm1
2017-02-06 12:44
690
twoscomp__1333_42.min1.thm1
2017-02-06 12:44
827
twoscomp__1334_17.min1.thm1
2017-02-06 12:44
872
twoscomp__1342_42.min1.thm1
2017-02-06 12:44
827
twoscomp__1343_14.min1.thm1
2017-02-06 12:44
917
twoscomp__1360_28.min1.thm1
2017-02-06 12:44
589
twoscomp__1360_28.min1.thm1.tptp
2017-02-06 16:46
522
twoscomp__1361_40.min1.thm1
2017-02-06 12:44
770
twoscomp__1364_28.min1.thm1
2017-02-06 12:44
447
twoscomp__1364_28.min1.thm1.tptp
2017-02-06 16:46
380
twoscomp__1365_53.min1.thm1
2017-02-06 12:44
650
twoscomp__1380_59.min1.thm1
2017-02-06 12:44
1.5K
twoscomp__1381_27.min1.thm1
2017-02-06 12:44
1.4K
twoscomp__1382_16.min1.thm1
2017-02-06 12:44
1.6K
twoscomp__1395_28.min1.thm1
2017-02-06 12:44
1.0K
twoscomp__1396_40.min1.thm1
2017-02-06 12:44
1.0K
twoscomp__1399_48.min1.thm1
2017-02-06 12:44
945
twoscomp__1414_59.min1.thm1
2017-02-06 12:44
1.7K
twoscomp__1415_27.min1.thm1
2017-02-06 12:44
1.4K
twoscomp__1416_16.min1.thm1
2017-02-06 12:44
1.7K
twoscomp__1429_28.min1.thm1
2017-02-06 12:44
588
twoscomp__1429_28.min1.thm1.tptp
2017-02-06 16:46
521
twoscomp__1430_40.min1.thm1
2017-02-06 12:44
769
twoscomp__1433_28.min1.thm1
2017-02-06 12:44
446
twoscomp__1433_28.min1.thm1.tptp
2017-02-06 16:46
379
twoscomp__1434_53.min1.thm1
2017-02-06 12:44
649
twoscomp__1449_64.min1.thm1
2017-02-06 12:44
1.5K
twoscomp__1450_25.min1.thm1
2017-02-06 12:44
1.2K
twoscomp__1451_16.min1.thm1
2017-02-06 12:44
1.6K
twoscomp__1464_28.min1.thm1
2017-02-06 12:44
1.0K
twoscomp__1465_40.min1.thm1
2017-02-06 12:44
1.0K
twoscomp__1468_28.min1.thm1
2017-02-06 12:44
827
twoscomp__1469_53.min1.thm1
2017-02-06 12:44
872
twoscomp__1484_64.min1.thm1
2017-02-06 12:44
1.7K
twoscomp__1485_25.min1.thm1
2017-02-06 12:44
1.2K
twoscomp__1486_16.min1.thm1
2017-02-06 12:44
1.7K
twoscomp__1493_14.min1.thm1
2017-02-06 12:44
2.3K
twoscomp__1510_56.min1.thm1
2017-02-06 12:44
1.1K
twoscomp__1513_37.min1.thm1
2017-02-06 12:44
615
twoscomp__1513_62.min1.thm1
2017-02-06 12:44
1.7K
twoscomp__1515_52.min1.thm1
2017-02-06 12:44
1.2K
twoscomp__1517_55.min1.thm1
2017-02-06 12:44
787
twoscomp__1517_55.min1.thm1.tptp
2017-02-06 16:46
732
twoscomp__1518_42.min1.thm1
2017-02-06 12:44
823
twoscomp__1519_37.min1.thm1
2017-02-06 12:44
825
twoscomp__1520_42.min1.thm1
2017-02-06 12:44
613
twoscomp__1520_67.min1.thm1
2017-02-06 12:44
1.7K
twoscomp__1521_17.min1.thm1
2017-02-06 12:44
1.5K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80