Index of /~mptp/7.13.01_4.181.1147/mptp/ilp0/sheffer2
Name
Last modified
Size
Description
Parent Directory
-
sheffer2__1349_17.min1.thm1
2017-02-06 12:46
3.5K
sheffer2__695_19.min1.thm1
2017-02-06 12:46
3.4K
sheffer2__1359_17.min1.thm1
2017-02-06 12:46
3.3K
sheffer2__1315_17.min1.thm1
2017-02-06 12:46
3.3K
sheffer2__1442_17.min1.thm1
2017-02-06 12:46
3.2K
sheffer2__1452_17.min1.thm1
2017-02-06 12:46
3.1K
sheffer2__1463_17.min1.thm1
2017-02-06 12:46
3.0K
sheffer2__1327_63.min1.thm1
2017-02-06 12:46
3.0K
sheffer2__1071_17.min1.thm1
2017-02-06 12:46
2.8K
sheffer2__1529_17.min1.thm1
2017-02-06 12:46
2.8K
sheffer2__1136_17.min1.thm1
2017-02-06 12:46
2.8K
sheffer2__1116_17.min1.thm1
2017-02-06 12:46
2.8K
sheffer2__970_17.min1.thm1
2017-02-06 12:46
2.8K
sheffer2__1080_17.min1.thm1
2017-02-06 12:46
2.8K
sheffer2__924_17.min1.thm1
2017-02-06 12:46
2.7K
sheffer2__66_17.min1.thm1
2017-02-06 12:46
2.6K
sheffer2__980_17.min1.thm1
2017-02-06 12:46
2.6K
sheffer2__1461_78.min1.thm1
2017-02-06 12:46
2.5K
sheffer2__1225_52.min1.thm1
2017-02-06 12:46
2.5K
sheffer2__934_17.min1.thm1
2017-02-06 12:46
2.5K
sheffer2__1338_17.min1.thm1
2017-02-06 12:46
2.5K
sheffer2__1371_27.min1.thm1
2017-02-06 12:46
2.5K
sheffer2__1391_17.min1.thm1
2017-02-06 12:46
2.4K
sheffer2__140_17.min1.thm1
2017-02-06 12:46
2.4K
sheffer2__1400_17.min1.thm1
2017-02-06 12:46
2.4K
sheffer2__1247_17.min1.thm1
2017-02-06 12:46
2.3K
sheffer2__1125_17.min1.thm1
2017-02-06 12:46
2.3K
sheffer2__77_17.min1.thm1
2017-02-06 12:46
2.3K
sheffer2__1519_17.min1.thm1
2017-02-06 12:46
2.3K
sheffer2__504_17.min1.thm1
2017-02-06 12:46
2.3K
sheffer2__1419_17.min1.thm1
2017-02-06 12:46
2.2K
sheffer2__1451_25.min1.thm1
2017-02-06 12:46
2.2K
sheffer2__1409_17.min1.thm1
2017-02-06 12:46
2.2K
sheffer2__1146_17.min1.thm1
2017-02-06 12:46
2.2K
sheffer2__1538_17.min1.thm1
2017-02-06 12:46
2.2K
sheffer2__1199_17.min1.thm1
2017-02-06 12:46
2.2K
sheffer2__694_16.min1.thm1
2017-02-06 12:46
2.2K
sheffer2__1429_50.min1.thm1
2017-02-06 12:46
2.2K
sheffer2__877_17.min1.thm1
2017-02-06 12:46
2.2K
sheffer2__1499_17.min1.thm1
2017-02-06 12:46
2.1K
sheffer2__1256_17.min1.thm1
2017-02-06 12:46
2.1K
sheffer2__65_44.min1.thm1
2017-02-06 12:46
2.1K
sheffer2__561_17.min1.thm1
2017-02-06 12:46
2.1K
sheffer2__1190_17.min1.thm1
2017-02-06 12:46
2.1K
sheffer2__97_17.min1.thm1
2017-02-06 12:46
2.1K
sheffer2__807_17.min1.thm1
2017-02-06 12:46
2.1K
sheffer2__642_17.min1.thm1
2017-02-06 12:46
2.0K
sheffer2__886_62.min1.thm1
2017-02-06 12:46
2.0K
sheffer2__88_17.min1.thm1
2017-02-06 12:46
2.0K
sheffer2__1329_14.min1.thm1
2017-02-06 12:46
2.0K
sheffer2__1381_17.min1.thm1
2017-02-06 12:46
2.0K
sheffer2__1358_28.min1.thm1
2017-02-06 12:46
2.0K
sheffer2__1329_14.min1.thm1.tptp
2017-02-06 16:47
2.0K
sheffer2__1528_28.min1.thm1
2017-02-06 12:46
2.0K
sheffer2__843_17.min1.thm1
2017-02-06 12:46
2.0K
sheffer2__1428_12.min1.thm1
2017-02-06 12:46
2.0K
sheffer2__484_17.min1.thm1
2017-02-06 12:46
2.0K
sheffer2__943_17.min1.thm1
2017-02-06 12:46
2.0K
sheffer2__515_17.min1.thm1
2017-02-06 12:46
1.9K
sheffer2__1508_44.min1.thm1
2017-02-06 12:46
1.9K
sheffer2__597_17.min1.thm1
2017-02-06 12:46
1.9K
sheffer2__756_17.min1.thm1
2017-02-06 12:46
1.9K
sheffer2__1224_32.min1.thm1
2017-02-06 12:46
1.9K
sheffer2__897_17.min1.thm1
2017-02-06 12:46
1.9K
sheffer2__651_17.min1.thm1
2017-02-06 12:46
1.9K
sheffer2__464_17.min1.thm1
2017-02-06 12:46
1.9K
sheffer2__542_17.min1.thm1
2017-02-06 12:46
1.9K
sheffer2__76_44.min1.thm1
2017-02-06 12:46
1.9K
sheffer2__1408_28.min1.thm1
2017-02-06 12:46
1.9K
sheffer2__570_17.min1.thm1
2017-02-06 12:46
1.9K
sheffer2__150_17.min1.thm1
2017-02-06 12:46
1.9K
sheffer2__1472_38.min1.thm1
2017-02-06 12:46
1.9K
sheffer2__1105_17.min1.thm1
2017-02-06 12:46
1.8K
sheffer2__1236_58.min1.thm1
2017-02-06 12:46
1.8K
sheffer2__312_17.min1.thm1
2017-02-06 12:46
1.8K
sheffer2__1155_38.min1.thm1
2017-02-06 12:46
1.8K
sheffer2__623_17.min1.thm1
2017-02-06 12:46
1.8K
sheffer2__353_17.min1.thm1
2017-02-06 12:46
1.8K
sheffer2__1441_9.min1.thm1
2017-02-06 12:46
1.8K
sheffer2__1418_6.min1.thm1
2017-02-06 12:46
1.8K
sheffer2__1390_6.min1.thm1
2017-02-06 12:46
1.8K
sheffer2__1348_9.min1.thm1
2017-02-06 12:46
1.8K
sheffer2__1314_10.min1.thm1
2017-02-06 12:46
1.8K
sheffer2__989_17.min1.thm1
2017-02-06 12:46
1.8K
sheffer2__765_17.min1.thm1
2017-02-06 12:46
1.8K
sheffer2__747_17.min1.thm1
2017-02-06 12:46
1.8K
sheffer2__816_38.min1.thm1
2017-02-06 12:46
1.8K
sheffer2__1547_40.min1.thm1
2017-02-06 12:46
1.8K
sheffer2__473_17.min1.thm1
2017-02-06 12:46
1.8K
sheffer2__632_17.min1.thm1
2017-02-06 12:46
1.8K
sheffer2__933_15.min1.thm1
2017-02-06 12:46
1.8K
sheffer2__560_4.min1.thm1
2017-02-06 12:46
1.7K
sheffer2__852_17.min1.thm1
2017-02-06 12:46
1.7K
sheffer2__979_15.min1.thm1
2017-02-06 12:46
1.7K
sheffer2__1181_17.min1.thm1
2017-02-06 12:46
1.7K
sheffer2__1053_17.min1.thm1
2017-02-06 12:46
1.7K
sheffer2__605_17.min1.thm1
2017-02-06 12:46
1.7K
sheffer2__401_17.min1.thm1
2017-02-06 12:46
1.7K
sheffer2__363_17.min1.thm1
2017-02-06 12:46
1.7K
sheffer2__532_17.min1.thm1
2017-02-06 12:46
1.7K
sheffer2__391_17.min1.thm1
2017-02-06 12:46
1.7K
sheffer2__1013_17.min1.thm1
2017-02-06 12:46
1.7K
sheffer2__551_17.min1.thm1
2017-02-06 12:46
1.6K
sheffer2__455_17.min1.thm1
2017-02-06 12:46
1.6K
sheffer2__1154_72.min1.thm1
2017-02-06 12:46
1.6K
sheffer2__1373_14.min1.thm1
2017-02-06 12:46
1.6K
sheffer2__1165_17.min1.thm1
2017-02-06 12:46
1.6K
sheffer2__1373_14.min1.thm1.tptp
2017-02-06 16:47
1.6K
sheffer2__1207_17.min1.thm1
2017-02-06 12:46
1.6K
sheffer2__1399_72.min1.thm1
2017-02-06 12:46
1.6K
sheffer2__1115_4.min1.thm1
2017-02-06 12:46
1.6K
sheffer2__951_17.min1.thm1
2017-02-06 12:46
1.6K
sheffer2__1325_48.min1.thm1
2017-02-06 12:46
1.6K
sheffer2__815_70.min1.thm1
2017-02-06 12:46
1.6K
sheffer2__1215_17.min1.thm1
2017-02-06 12:46
1.6K
sheffer2__131_17.min1.thm1
2017-02-06 12:46
1.6K
sheffer2__1255_56.min1.thm1
2017-02-06 12:46
1.6K
sheffer2__650_66.min1.thm1
2017-02-06 12:46
1.6K
sheffer2__417_17.min1.thm1
2017-02-06 12:46
1.6K
sheffer2__885_66.min1.thm1
2017-02-06 12:46
1.6K
sheffer2__905_17.min1.thm1
2017-02-06 12:46
1.6K
sheffer2__860_17.min1.thm1
2017-02-06 12:46
1.6K
sheffer2__301_17.min1.thm1
2017-02-06 12:46
1.6K
sheffer2__292_17.min1.thm1
2017-02-06 12:46
1.6K
sheffer2__217_17.min1.thm1
2017-02-06 12:46
1.6K
sheffer2__614_17.min1.thm1
2017-02-06 12:46
1.5K
sheffer2__329_17.min1.thm1
2017-02-06 12:46
1.5K
sheffer2__1490_17.min1.thm1
2017-02-06 12:46
1.5K
sheffer2__225_17.min1.thm1
2017-02-06 12:46
1.5K
sheffer2__352_62.min1.thm1
2017-02-06 12:46
1.5K
sheffer2__283_17.min1.thm1
2017-02-06 12:46
1.5K
sheffer2__208_17.min1.thm1
2017-02-06 12:46
1.5K
sheffer2__1134_74.min1.thm1
2017-02-06 12:46
1.5K
sheffer2__968_70.min1.thm1
2017-02-06 12:46
1.5K
sheffer2__1264_17.min1.thm1
2017-02-06 12:46
1.5K
sheffer2__1079_66.min1.thm1
2017-02-06 12:46
1.5K
sheffer2__1070_68.min1.thm1
2017-02-06 12:46
1.5K
sheffer2__922_70.min1.thm1
2017-02-06 12:46
1.5K
sheffer2__493_17.min1.thm1
2017-02-06 12:46
1.5K
sheffer2__337_17.min1.thm1
2017-02-06 12:46
1.5K
sheffer2__87_32.min1.thm1
2017-02-06 12:46
1.5K
sheffer2__1507_52.min1.thm1
2017-02-06 12:46
1.4K
sheffer2__1471_52.min1.thm1
2017-02-06 12:46
1.4K
sheffer2__139_70.min1.thm1
2017-02-06 12:46
1.4K
sheffer2__826_17.min1.thm1
2017-02-06 12:46
1.4K
sheffer2__1337_48.min1.thm1
2017-02-06 12:46
1.4K
sheffer2__997_17.min1.thm1
2017-02-06 12:46
1.4K
sheffer2__514_26.min1.thm1
2017-02-06 12:46
1.4K
sheffer2__578_17.min1.thm1
2017-02-06 12:46
1.4K
sheffer2__149_4.min1.thm1
2017-02-06 12:46
1.4K
sheffer2__200_17.min1.thm1
2017-02-06 12:46
1.4K
sheffer2__159_17.min1.thm1
2017-02-06 12:46
1.4K
sheffer2__876_48.min1.thm1
2017-02-06 12:46
1.4K
sheffer2__1558_50.min1.thm1
2017-02-06 12:46
1.4K
sheffer2__1537_52.min1.thm1
2017-02-06 12:46
1.4K
sheffer2__587_17.min1.thm1
2017-02-06 12:46
1.4K
sheffer2__426_17.min1.thm1
2017-02-06 12:46
1.4K
sheffer2__1144_70.min1.thm1
2017-02-06 12:46
1.4K
sheffer2__408_42.min1.thm1
2017-02-06 12:46
1.4K
sheffer2__1482_17.min1.thm1
2017-02-06 12:46
1.4K
sheffer2__483_42.min1.thm1
2017-02-06 12:46
1.4K
sheffer2__773_17.min1.thm1
2017-02-06 12:46
1.4K
sheffer2__1380_44.min1.thm1
2017-02-06 12:46
1.4K
sheffer2__345_17.min1.thm1
2017-02-06 12:46
1.4K
sheffer2__805_70.min1.thm1
2017-02-06 12:46
1.4K
sheffer2__868_17.min1.thm1
2017-02-06 12:46
1.4K
sheffer2__503_30.min1.thm1
2017-02-06 12:46
1.4K
sheffer2__1096_17.min1.thm1
2017-02-06 12:46
1.4K
sheffer2__1088_17.min1.thm1
2017-02-06 12:46
1.4K
sheffer2__730_17.min1.thm1
2017-02-06 12:46
1.4K
sheffer2__722_17.min1.thm1
2017-02-06 12:46
1.4K
sheffer2__1021_17.min1.thm1
2017-02-06 12:46
1.3K
sheffer2__1214_60.min1.thm1
2017-02-06 12:46
1.3K
sheffer2__523_17.min1.thm1
2017-02-06 12:46
1.3K
sheffer2__604_58.min1.thm1
2017-02-06 12:46
1.3K
sheffer2__113_17.min1.thm1
2017-02-06 12:46
1.3K
sheffer2__242_17.min1.thm1
2017-02-06 12:46
1.3K
sheffer2__105_17.min1.thm1
2017-02-06 12:46
1.3K
sheffer2__797_17.min1.thm1
2017-02-06 12:46
1.3K
sheffer2__569_54.min1.thm1
2017-02-06 12:46
1.3K
sheffer2__1546_46.min1.thm1
2017-02-06 12:46
1.3K
sheffer2__1235_46.min1.thm1
2017-02-06 12:46
1.3K
sheffer2__224_50.min1.thm1
2017-02-06 12:46
1.3K
sheffer2__251_17.min1.thm1
2017-02-06 12:46
1.3K
sheffer2__192_17.min1.thm1
2017-02-06 12:46
1.3K
sheffer2__320_17.min1.thm1
2017-02-06 12:46
1.3K
sheffer2__1304_17.min1.thm1
2017-02-06 12:46
1.3K
sheffer2__1296_17.min1.thm1
2017-02-06 12:46
1.3K
sheffer2__1288_17.min1.thm1
2017-02-06 12:46
1.3K
sheffer2__1280_17.min1.thm1
2017-02-06 12:46
1.3K
sheffer2__1518_44.min1.thm1
2017-02-06 12:46
1.3K
sheffer2__1481_30.min1.thm1
2017-02-06 12:46
1.3K
sheffer2__1173_17.min1.thm1
2017-02-06 12:46
1.3K
sheffer2__959_17.min1.thm1
2017-02-06 12:46
1.3K
sheffer2__1295_46.min1.thm1
2017-02-06 12:46
1.3K
sheffer2__1279_44.min1.thm1
2017-02-06 12:46
1.3K
sheffer2__168_17.min1.thm1
2017-02-06 12:46
1.3K
sheffer2__1045_17.min1.thm1
2017-02-06 12:46
1.3K
sheffer2__1037_17.min1.thm1
2017-02-06 12:46
1.3K
sheffer2__1029_17.min1.thm1
2017-02-06 12:46
1.3K
sheffer2__382_17.min1.thm1
2017-02-06 12:46
1.3K
sheffer2__913_17.min1.thm1
2017-02-06 12:46
1.2K
sheffer2__184_17.min1.thm1
2017-02-06 12:46
1.2K
sheffer2__373_17.min1.thm1
2017-02-06 12:46
1.2K
sheffer2__1498_38.min1.thm1
2017-02-06 12:46
1.2K
sheffer2__1246_52.min1.thm1
2017-02-06 12:46
1.2K
sheffer2__121_17.min1.thm1
2017-02-06 12:46
1.2K
sheffer2__1206_32.min1.thm1
2017-02-06 12:46
1.2K
sheffer2__1198_32.min1.thm1
2017-02-06 12:46
1.2K
sheffer2__416_54.min1.thm1
2017-02-06 12:46
1.2K
sheffer2__1044_30.min1.thm1
2017-02-06 12:46
1.2K
sheffer2__1036_30.min1.thm1
2017-02-06 12:46
1.2K
sheffer2__1028_30.min1.thm1
2017-02-06 12:46
1.2K
sheffer2__336_38.min1.thm1
2017-02-06 12:46
1.2K
sheffer2__1061_17.min1.thm1
2017-02-06 12:46
1.2K
sheffer2__275_17.min1.thm1
2017-02-06 12:46
1.2K
sheffer2__267_17.min1.thm1
2017-02-06 12:46
1.2K
sheffer2__259_17.min1.thm1
2017-02-06 12:46
1.2K
sheffer2__1005_17.min1.thm1
2017-02-06 12:46
1.2K
sheffer2__444_17.min1.thm1
2017-02-06 12:46
1.2K
sheffer2__683_17.min1.thm1
2017-02-06 12:46
1.2K
sheffer2__682_30.min1.thm1
2017-02-06 12:46
1.2K
sheffer2__463_65.min1.thm1
2017-02-06 12:46
1.2K
sheffer2__1489_30.min1.thm1
2017-02-06 12:46
1.1K
sheffer2__381_18.min1.thm1
2017-02-06 12:46
1.1K
sheffer2__622_46.min1.thm1
2017-02-06 12:46
1.1K
sheffer2__596_30.min1.thm1
2017-02-06 12:46
1.1K
sheffer2__550_42.min1.thm1
2017-02-06 12:46
1.1K
sheffer2__541_30.min1.thm1
2017-02-06 12:46
1.1K
sheffer2__390_42.min1.thm1
2017-02-06 12:46
1.1K
sheffer2__344_42.min1.thm1
2017-02-06 12:46
1.1K
sheffer2__372_42.min1.thm1
2017-02-06 12:46
1.1K
sheffer2__130_26.min1.thm1
2017-02-06 12:46
1.1K
sheffer2__436_17.min1.thm1
2017-02-06 12:46
1.1K
sheffer2__176_17.min1.thm1
2017-02-06 12:46
1.1K
sheffer2__834_17.min1.thm1
2017-02-06 12:46
1.1K
sheffer2__1272_17.min1.thm1
2017-02-06 12:46
1.1K
sheffer2__41_13.min1.thm1
2017-02-06 12:46
1.1K
sheffer2__789_17.min1.thm1
2017-02-06 12:46
1.1K
sheffer2__781_17.min1.thm1
2017-02-06 12:46
1.1K
sheffer2__738_17.min1.thm1
2017-02-06 12:46
1.1K
sheffer2__531_38.min1.thm1
2017-02-06 12:46
1.1K
sheffer2__950_38.min1.thm1
2017-02-06 12:46
1.1K
sheffer2__158_32.min1.thm1
2017-02-06 12:46
1.1K
sheffer2__104_56.min1.thm1
2017-02-06 12:46
1.1K
sheffer2__96_56.min1.thm1
2017-02-06 12:46
1.1K
sheffer2__435_30.min1.thm1
2017-02-06 12:46
1.1K
sheffer2__904_38.min1.thm1
2017-02-06 12:46
1.1K
sheffer2__233_17.min1.thm1
2017-02-06 12:46
1.0K
sheffer2__1368_34.min1.thm1
2017-02-06 12:46
1.0K
sheffer2__400_20.min1.thm1
2017-02-06 12:46
1.0K
sheffer2__362_20.min1.thm1
2017-02-06 12:46
1.0K
sheffer2__328_32.min1.thm1
2017-02-06 12:46
1.0K
sheffer2__311_14.min1.thm1
2017-02-06 12:46
1.0K
sheffer2__300_20.min1.thm1
2017-02-06 12:46
1.0K
sheffer2__291_26.min1.thm1
2017-02-06 12:46
1.0K
sheffer2__282_32.min1.thm1
2017-02-06 12:46
1.0K
sheffer2__216_26.min1.thm1
2017-02-06 12:46
1.0K
sheffer2__207_32.min1.thm1
2017-02-06 12:46
1.0K
sheffer2__1557_32.min1.thm1
2017-02-06 12:46
1.0K
sheffer2__1263_32.min1.thm1
2017-02-06 12:46
1.0K
sheffer2__1180_32.min1.thm1
2017-02-06 12:46
1.0K
sheffer2__1164_30.min1.thm1
2017-02-06 12:46
1.0K
sheffer2__1104_30.min1.thm1
2017-02-06 12:46
1.0K
sheffer2__1052_32.min1.thm1
2017-02-06 12:46
1.0K
sheffer2__1172_32.min1.thm1
2017-02-06 12:46
1.0K
sheffer2__1020_32.min1.thm1
2017-02-06 12:46
1.0K
sheffer2__1012_30.min1.thm1
2017-02-06 12:46
1.0K
sheffer2__996_30.min1.thm1
2017-02-06 12:46
1.0K
sheffer2__42_19.min1.thm1
2017-02-06 12:46
1.0K
sheffer2__1431_14.min1.thm1
2017-02-06 12:46
1.0K
sheffer2__1227_14.min1.thm1
2017-02-06 12:46
1.0K
sheffer2__888_14.min1.thm1
2017-02-06 12:46
1.0K
sheffer2__896_30.min1.thm1
2017-02-06 12:46
1.0K
sheffer2__796_32.min1.thm1
2017-02-06 12:46
1.0K
sheffer2__788_30.min1.thm1
2017-02-06 12:46
1.0K
sheffer2__780_30.min1.thm1
2017-02-06 12:46
1.0K
sheffer2__1303_32.min1.thm1
2017-02-06 12:46
1.0K
sheffer2__1287_34.min1.thm1
2017-02-06 12:46
1.0K
sheffer2__1095_30.min1.thm1
2017-02-06 12:46
1.0K
sheffer2__1087_30.min1.thm1
2017-02-06 12:46
1.0K
sheffer2__942_30.min1.thm1
2017-02-06 12:46
1.0K
sheffer2__1431_14.min1.thm1.tptp
2017-02-06 16:47
1.0K
sheffer2__1227_14.min1.thm1.tptp
2017-02-06 16:47
1.0K
sheffer2__764_30.min1.thm1
2017-02-06 12:46
1.0K
sheffer2__746_34.min1.thm1
2017-02-06 12:46
1.0K
sheffer2__737_30.min1.thm1
2017-02-06 12:46
1.0K
sheffer2__1238_14.min1.thm1
2017-02-06 12:46
1.0K
sheffer2__888_14.min1.thm1.tptp
2017-02-06 16:47
1.0K
sheffer2__183_36.min1.thm1
2017-02-06 12:46
1.0K
sheffer2__1189_26.min1.thm1
2017-02-06 12:46
1.0K
sheffer2__1510_14.min1.thm1
2017-02-06 12:46
955
sheffer2__631_30.min1.thm1
2017-02-06 12:46
952
sheffer2__586_20.min1.thm1
2017-02-06 12:46
952
sheffer2__425_20.min1.thm1
2017-02-06 12:46
952
sheffer2__1238_14.min1.thm1.tptp
2017-02-06 16:47
934
sheffer2__52_15.min1.thm1
2017-02-06 12:46
930
sheffer2__1510_14.min1.thm1.tptp
2017-02-06 16:47
926
sheffer2__577_30.min1.thm1
2017-02-06 12:46
911
sheffer2__472_30.min1.thm1
2017-02-06 12:46
911
sheffer2__454_30.min1.thm1
2017-02-06 12:46
911
sheffer2__443_30.min1.thm1
2017-02-06 12:46
911
sheffer2__250_14.min1.thm1
2017-02-06 12:46
911
sheffer2__241_26.min1.thm1
2017-02-06 12:46
911
sheffer2__232_30.min1.thm1
2017-02-06 12:46
911
sheffer2__191_30.min1.thm1
2017-02-06 12:46
911
sheffer2__1271_18.min1.thm1
2017-02-06 12:46
906
sheffer2__1060_18.min1.thm1
2017-02-06 12:46
906
sheffer2__1004_18.min1.thm1
2017-02-06 12:46
906
sheffer2__1549_14.min1.thm1
2017-02-06 12:46
889
sheffer2__1549_14.min1.thm1.tptp
2017-02-06 16:47
860
sheffer2__522_26.min1.thm1
2017-02-06 12:46
847
sheffer2__199_26.min1.thm1
2017-02-06 12:46
847
sheffer2__175_26.min1.thm1
2017-02-06 12:46
847
sheffer2__708_14.min1.thm1
2017-02-06 12:46
802
sheffer2__1124_26.min1.thm1
2017-02-06 12:46
798
sheffer2__988_26.min1.thm1
2017-02-06 12:46
798
sheffer2__958_26.min1.thm1
2017-02-06 12:46
798
sheffer2__671_17.min1.thm1
2017-02-06 12:46
788
sheffer2__670_69.min1.thm1
2017-02-06 12:46
784
sheffer2__319_18.min1.thm1
2017-02-06 12:46
783
sheffer2__274_18.min1.thm1
2017-02-06 12:46
783
sheffer2__266_18.min1.thm1
2017-02-06 12:46
783
sheffer2__258_18.min1.thm1
2017-02-06 12:46
783
sheffer2__912_26.min1.thm1
2017-02-06 12:46
780
sheffer2__867_26.min1.thm1
2017-02-06 12:46
780
sheffer2__859_26.min1.thm1
2017-02-06 12:46
780
sheffer2__851_26.min1.thm1
2017-02-06 12:46
780
sheffer2__842_26.min1.thm1
2017-02-06 12:46
780
sheffer2__833_26.min1.thm1
2017-02-06 12:46
780
sheffer2__825_26.min1.thm1
2017-02-06 12:46
780
sheffer2__772_26.min1.thm1
2017-02-06 12:46
780
sheffer2__755_26.min1.thm1
2017-02-06 12:46
780
sheffer2__729_26.min1.thm1
2017-02-06 12:46
780
sheffer2__721_26.min1.thm1
2017-02-06 12:46
780
sheffer2__120_30.min1.thm1
2017-02-06 12:46
775
sheffer2__112_30.min1.thm1
2017-02-06 12:46
757
sheffer2__613_20.min1.thm1
2017-02-06 12:46
753
sheffer2__492_26.min1.thm1
2017-02-06 12:46
753
sheffer2__167_20.min1.thm1
2017-02-06 12:46
753
sheffer2__1578_11.min1.thm1
2017-02-06 12:46
752
sheffer2__1575_11.min1.thm1
2017-02-06 12:46
716
sheffer2__1157_14.min1.thm1
2017-02-06 12:46
709
sheffer2__818_14.min1.thm1
2017-02-06 12:46
694
sheffer2__660_62.min1.thm1
2017-02-06 12:46
679
sheffer2__661_17.min1.thm1
2017-02-06 12:46
642
sheffer2__1568_14.min1.thm1
2017-02-06 12:46
582
sheffer2__703_14.min1.thm1
2017-02-06 12:46
509
sheffer2__1565_14.min1.thm1
2017-02-06 12:46
396
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80