Index of /~mptp/1147/MPTP2/ilp0/ncfcont2
Name
Last modified
Size
Description
Parent Directory
-
ncfcont2__126_15.min1.thm1
2017-02-06 12:44
2.4K
ncfcont2__127_22.min1.thm1
2017-02-06 12:44
494
ncfcont2__135_15.min1.thm1
2017-02-06 12:44
238
ncfcont2__149_15.min1.thm1
2017-02-06 12:44
2.4K
ncfcont2__150_22.min1.thm1
2017-02-06 12:44
494
ncfcont2__158_15.min1.thm1
2017-02-06 12:44
238
ncfcont2__172_15.min1.thm1
2017-02-06 12:44
2.4K
ncfcont2__173_22.min1.thm1
2017-02-06 12:44
494
ncfcont2__181_15.min1.thm1
2017-02-06 12:44
238
ncfcont2__195_44.min1.thm1
2017-02-06 12:44
2.2K
ncfcont2__197_24.min1.thm1
2017-02-06 12:44
2.5K
ncfcont2__198_44.min1.thm1
2017-02-06 12:44
2.1K
ncfcont2__199_27.min1.thm1
2017-02-06 12:44
2.5K
ncfcont2__206_12.min1.thm1
2017-02-06 12:44
919
ncfcont2__216_13.min1.thm1
2017-02-06 12:44
1.0K
ncfcont2__222_11.min1.thm1
2017-02-06 12:44
966
ncfcont2__223_23.min1.thm1
2017-02-06 12:44
2.3K
ncfcont2__226_11.min1.thm1
2017-02-06 12:44
836
ncfcont2__227_23.min1.thm1
2017-02-06 12:44
2.3K
ncfcont2__238_47.min1.thm1
2017-02-06 12:44
3.1K
ncfcont2__252_44.min1.thm1
2017-02-06 12:44
2.2K
ncfcont2__254_24.min1.thm1
2017-02-06 12:44
2.5K
ncfcont2__255_44.min1.thm1
2017-02-06 12:44
2.1K
ncfcont2__256_27.min1.thm1
2017-02-06 12:44
2.5K
ncfcont2__257_37.min1.thm1
2017-02-06 12:44
1.4K
ncfcont2__263_12.min1.thm1
2017-02-06 12:44
919
ncfcont2__273_13.min1.thm1
2017-02-06 12:44
1.0K
ncfcont2__279_11.min1.thm1
2017-02-06 12:44
966
ncfcont2__280_23.min1.thm1
2017-02-06 12:44
2.3K
ncfcont2__283_11.min1.thm1
2017-02-06 12:44
836
ncfcont2__284_23.min1.thm1
2017-02-06 12:44
2.3K
ncfcont2__295_47.min1.thm1
2017-02-06 12:44
3.1K
ncfcont2__309_44.min1.thm1
2017-02-06 12:44
2.2K
ncfcont2__311_24.min1.thm1
2017-02-06 12:44
2.5K
ncfcont2__312_44.min1.thm1
2017-02-06 12:44
2.1K
ncfcont2__313_27.min1.thm1
2017-02-06 12:44
2.5K
ncfcont2__320_12.min1.thm1
2017-02-06 12:44
919
ncfcont2__330_13.min1.thm1
2017-02-06 12:44
1.0K
ncfcont2__336_11.min1.thm1
2017-02-06 12:44
966
ncfcont2__337_23.min1.thm1
2017-02-06 12:44
2.3K
ncfcont2__340_11.min1.thm1
2017-02-06 12:44
836
ncfcont2__341_23.min1.thm1
2017-02-06 12:44
2.3K
ncfcont2__352_47.min1.thm1
2017-02-06 12:44
3.1K
ncfcont2__366_44.min1.thm1
2017-02-06 12:44
2.2K
ncfcont2__368_24.min1.thm1
2017-02-06 12:44
2.5K
ncfcont2__369_44.min1.thm1
2017-02-06 12:44
2.1K
ncfcont2__370_27.min1.thm1
2017-02-06 12:44
2.5K
ncfcont2__371_37.min1.thm1
2017-02-06 12:44
1.4K
ncfcont2__373_29.min1.thm1
2017-02-06 12:44
3.2K
ncfcont2__377_12.min1.thm1
2017-02-06 12:44
919
ncfcont2__387_13.min1.thm1
2017-02-06 12:44
1.0K
ncfcont2__393_11.min1.thm1
2017-02-06 12:44
966
ncfcont2__394_23.min1.thm1
2017-02-06 12:44
2.3K
ncfcont2__397_11.min1.thm1
2017-02-06 12:44
836
ncfcont2__398_23.min1.thm1
2017-02-06 12:44
2.3K
ncfcont2__422_44.min1.thm1
2017-02-06 12:44
2.2K
ncfcont2__424_24.min1.thm1
2017-02-06 12:44
2.5K
ncfcont2__425_44.min1.thm1
2017-02-06 12:44
2.1K
ncfcont2__426_27.min1.thm1
2017-02-06 12:44
2.5K
ncfcont2__433_12.min1.thm1
2017-02-06 12:44
919
ncfcont2__443_13.min1.thm1
2017-02-06 12:44
1.0K
ncfcont2__449_11.min1.thm1
2017-02-06 12:44
966
ncfcont2__450_23.min1.thm1
2017-02-06 12:44
2.3K
ncfcont2__453_11.min1.thm1
2017-02-06 12:44
836
ncfcont2__454_23.min1.thm1
2017-02-06 12:44
2.3K
ncfcont2__478_44.min1.thm1
2017-02-06 12:44
2.2K
ncfcont2__480_24.min1.thm1
2017-02-06 12:44
2.5K
ncfcont2__481_44.min1.thm1
2017-02-06 12:44
2.1K
ncfcont2__482_27.min1.thm1
2017-02-06 12:44
2.5K
ncfcont2__489_12.min1.thm1
2017-02-06 12:44
919
ncfcont2__499_13.min1.thm1
2017-02-06 12:44
1.0K
ncfcont2__505_11.min1.thm1
2017-02-06 12:44
966
ncfcont2__506_23.min1.thm1
2017-02-06 12:44
2.3K
ncfcont2__509_11.min1.thm1
2017-02-06 12:44
836
ncfcont2__510_23.min1.thm1
2017-02-06 12:44
2.3K
ncfcont2__533_20.min1.thm1
2017-02-06 12:44
2.5K
ncfcont2__535_23.min1.thm1
2017-02-06 12:44
3.1K
ncfcont2__537_13.min1.thm1
2017-02-06 12:44
189
ncfcont2__548_17.min1.thm1
2017-02-06 12:44
352
ncfcont2__548_17.min1.thm1.tptp
2017-02-06 16:47
264
ncfcont2__556_39.min1.thm1
2017-02-06 12:44
2.3K
ncfcont2__557_38.min1.thm1
2017-02-06 12:44
4.5K
ncfcont2__558_35.min1.thm1
2017-02-06 12:44
2.0K
ncfcont2__559_27.min1.thm1
2017-02-06 12:44
1.3K
ncfcont2__560_15.min1.thm1
2017-02-06 12:44
870
ncfcont2__561_47.min1.thm1
2017-02-06 12:44
1.0K
ncfcont2__561_47.min1.thm1.tptp
2017-02-06 16:47
951
ncfcont2__566_16.min1.thm1
2017-02-06 12:44
503
ncfcont2__568_25.min1.thm1
2017-02-06 12:44
1.2K
ncfcont2__574_17.min1.thm1
2017-02-06 12:44
352
ncfcont2__574_17.min1.thm1.tptp
2017-02-06 16:47
264
ncfcont2__599_20.min1.thm1
2017-02-06 12:44
2.5K
ncfcont2__603_13.min1.thm1
2017-02-06 12:44
189
ncfcont2__614_17.min1.thm1
2017-02-06 12:44
352
ncfcont2__614_17.min1.thm1.tptp
2017-02-06 16:47
264
ncfcont2__622_38.min1.thm1
2017-02-06 12:44
2.4K
ncfcont2__623_37.min1.thm1
2017-02-06 12:44
4.2K
ncfcont2__624_33.min1.thm1
2017-02-06 12:44
2.2K
ncfcont2__625_26.min1.thm1
2017-02-06 12:44
1.3K
ncfcont2__626_15.min1.thm1
2017-02-06 12:44
870
ncfcont2__627_47.min1.thm1
2017-02-06 12:44
1.0K
ncfcont2__627_47.min1.thm1.tptp
2017-02-06 16:47
951
ncfcont2__632_17.min1.thm1
2017-02-06 12:44
867
ncfcont2__634_26.min1.thm1
2017-02-06 12:44
1.3K
ncfcont2__640_17.min1.thm1
2017-02-06 12:44
352
ncfcont2__640_17.min1.thm1.tptp
2017-02-06 16:47
264
ncfcont2__666_20.min1.thm1
2017-02-06 12:44
2.5K
ncfcont2__668_23.min1.thm1
2017-02-06 12:44
3.1K
ncfcont2__670_13.min1.thm1
2017-02-06 12:44
189
ncfcont2__681_17.min1.thm1
2017-02-06 12:44
352
ncfcont2__681_17.min1.thm1.tptp
2017-02-06 16:47
264
ncfcont2__689_38.min1.thm1
2017-02-06 12:44
2.3K
ncfcont2__690_37.min1.thm1
2017-02-06 12:44
4.4K
ncfcont2__691_33.min1.thm1
2017-02-06 12:44
2.0K
ncfcont2__692_26.min1.thm1
2017-02-06 12:44
1.3K
ncfcont2__693_15.min1.thm1
2017-02-06 12:44
870
ncfcont2__694_47.min1.thm1
2017-02-06 12:44
1.0K
ncfcont2__694_47.min1.thm1.tptp
2017-02-06 16:47
951
ncfcont2__699_16.min1.thm1
2017-02-06 12:44
503
ncfcont2__701_25.min1.thm1
2017-02-06 12:44
1.2K
ncfcont2__707_17.min1.thm1
2017-02-06 12:44
352
ncfcont2__707_17.min1.thm1.tptp
2017-02-06 16:47
264
ncfcont2__730_21.min1.thm1
2017-02-06 12:44
2.2K
ncfcont2__740_20.min1.thm1
2017-02-06 12:44
2.3K
ncfcont2__750_21.min1.thm1
2017-02-06 12:44
2.2K
ncfcont2__762_20.min1.thm1
2017-02-06 12:44
2.5K
ncfcont2__764_25.min1.thm1
2017-02-06 12:44
3.3K
ncfcont2__772_13.min1.thm1
2017-02-06 12:44
242
ncfcont2__796_20.min1.thm1
2017-02-06 12:44
2.5K
ncfcont2__798_25.min1.thm1
2017-02-06 12:44
3.0K
ncfcont2__806_13.min1.thm1
2017-02-06 12:44
242
ncfcont2__819_24.min1.thm1
2017-02-06 12:44
1.3K
ncfcont2__830_20.min1.thm1
2017-02-06 12:44
2.5K
ncfcont2__832_25.min1.thm1
2017-02-06 12:44
3.0K
ncfcont2__844_15.min1.thm1
2017-02-06 12:44
250
ncfcont2__857_26.min1.thm1
2017-02-06 12:44
1.4K
ncfcont2__881_15.min1.thm1
2017-02-06 12:44
324
ncfcont2__881_15.min1.thm1.tptp
2017-02-06 16:47
236
ncfcont2__884_36.min1.thm1
2017-02-06 12:44
1.4K
ncfcont2__886_15.min1.thm1
2017-02-06 12:44
2.5K
ncfcont2__908_15.min1.thm1
2017-02-06 12:44
324
ncfcont2__908_15.min1.thm1.tptp
2017-02-06 16:47
236
ncfcont2__911_36.min1.thm1
2017-02-06 12:44
1.4K
ncfcont2__913_15.min1.thm1
2017-02-06 12:44
2.5K
ncfcont2__935_15.min1.thm1
2017-02-06 12:44
324
ncfcont2__935_15.min1.thm1.tptp
2017-02-06 16:47
236
ncfcont2__938_36.min1.thm1
2017-02-06 12:44
1.4K
ncfcont2__940_15.min1.thm1
2017-02-06 12:44
2.5K
ncfcont2__962_15.min1.thm1
2017-02-06 12:44
324
ncfcont2__962_15.min1.thm1.tptp
2017-02-06 16:47
236
ncfcont2__967_15.min1.thm1
2017-02-06 12:44
1.7K
ncfcont2__989_15.min1.thm1
2017-02-06 12:44
324
ncfcont2__989_15.min1.thm1.tptp
2017-02-06 16:47
236
ncfcont2__994_15.min1.thm1
2017-02-06 12:44
1.7K
ncfcont2__1016_15.min1.thm1
2017-02-06 12:44
324
ncfcont2__1016_15.min1.thm1.tptp
2017-02-06 16:47
236
ncfcont2__1021_15.min1.thm1
2017-02-06 12:44
1.7K
ncfcont2__1032_21.min1.thm1
2017-02-06 12:44
2.4K
ncfcont2__1040_13.min1.thm1
2017-02-06 12:44
1.0K
ncfcont2__1056_21.min1.thm1
2017-02-06 12:44
2.4K
ncfcont2__1064_13.min1.thm1
2017-02-06 12:44
1.0K
ncfcont2__1080_21.min1.thm1
2017-02-06 12:44
2.4K
ncfcont2__1088_13.min1.thm1
2017-02-06 12:44
1.0K
ncfcont2__1106_17.min1.thm1
2017-02-06 12:44
2.2K
ncfcont2__1116_14.min1.thm1
2017-02-06 12:44
1.5K
ncfcont2__1117_24.min1.thm1
2017-02-06 12:44
2.2K
ncfcont2__1125_19.min1.thm1
2017-02-06 12:44
1.2K
ncfcont2__1125_19.min1.thm1.tptp
2017-02-06 16:47
1.1K
ncfcont2__1137_44.min1.thm1
2017-02-06 12:44
1.5K
ncfcont2__1138_19.min1.thm1
2017-02-06 12:44
1.0K
ncfcont2__1138_19.min1.thm1.tptp
2017-02-06 16:47
916
ncfcont2__1140_47.min1.thm1
2017-02-06 12:44
1.8K
ncfcont2__1150_37.min1.thm1
2017-02-06 12:44
3.1K
ncfcont2__1154_44.min1.thm1
2017-02-06 12:44
1.5K
ncfcont2__1155_19.min1.thm1
2017-02-06 12:44
1.0K
ncfcont2__1155_19.min1.thm1.tptp
2017-02-06 16:47
914
ncfcont2__1166_31.min1.thm1
2017-02-06 12:44
3.1K
ncfcont2__1174_19.min1.thm1
2017-02-06 12:44
888
ncfcont2__1175_25.min1.thm1
2017-02-06 12:44
887
ncfcont2__1182_14.min1.thm1
2017-02-06 12:44
1.6K
ncfcont2__1184_14.min1.thm1
2017-02-06 12:44
603
ncfcont2__1188_22.min1.thm1
2017-02-06 12:44
1.8K
ncfcont2__1189_30.min1.thm1
2017-02-06 12:44
4.2K
ncfcont2__1192_14.min1.thm1
2017-02-06 12:44
1.7K
ncfcont2__1194_26.min1.thm1
2017-02-06 12:44
4.3K
ncfcont2__1196_19.min1.thm1
2017-02-06 12:44
1.3K
ncfcont2__1207_21.min1.thm1
2017-02-06 12:44
1.6K
ncfcont2__1209_19.min1.thm1
2017-02-06 12:44
592
ncfcont2__1210_25.min1.thm1
2017-02-06 12:44
591
ncfcont2__1211_30.min1.thm1
2017-02-06 12:44
1.0K
ncfcont2__1221_16.min1.thm1
2017-02-06 12:44
1.7K
ncfcont2__1261_17.min1.thm1
2017-02-06 12:44
2.2K
ncfcont2__1271_14.min1.thm1
2017-02-06 12:44
1.5K
ncfcont2__1272_24.min1.thm1
2017-02-06 12:44
2.2K
ncfcont2__1280_19.min1.thm1
2017-02-06 12:44
1.2K
ncfcont2__1280_19.min1.thm1.tptp
2017-02-06 16:47
1.1K
ncfcont2__1292_44.min1.thm1
2017-02-06 12:44
1.5K
ncfcont2__1293_19.min1.thm1
2017-02-06 12:44
1.0K
ncfcont2__1293_19.min1.thm1.tptp
2017-02-06 16:47
916
ncfcont2__1295_47.min1.thm1
2017-02-06 12:44
1.8K
ncfcont2__1305_37.min1.thm1
2017-02-06 12:44
3.1K
ncfcont2__1309_44.min1.thm1
2017-02-06 12:44
1.5K
ncfcont2__1310_19.min1.thm1
2017-02-06 12:44
1.0K
ncfcont2__1310_19.min1.thm1.tptp
2017-02-06 16:47
914
ncfcont2__1321_30.min1.thm1
2017-02-06 12:44
3.1K
ncfcont2__1329_19.min1.thm1
2017-02-06 12:44
888
ncfcont2__1330_25.min1.thm1
2017-02-06 12:44
887
ncfcont2__1337_14.min1.thm1
2017-02-06 12:44
1.6K
ncfcont2__1339_14.min1.thm1
2017-02-06 12:44
603
ncfcont2__1343_22.min1.thm1
2017-02-06 12:44
1.8K
ncfcont2__1344_30.min1.thm1
2017-02-06 12:44
4.2K
ncfcont2__1347_14.min1.thm1
2017-02-06 12:44
1.7K
ncfcont2__1349_26.min1.thm1
2017-02-06 12:44
4.3K
ncfcont2__1351_19.min1.thm1
2017-02-06 12:44
1.3K
ncfcont2__1362_21.min1.thm1
2017-02-06 12:44
1.6K
ncfcont2__1364_19.min1.thm1
2017-02-06 12:44
592
ncfcont2__1365_25.min1.thm1
2017-02-06 12:44
591
ncfcont2__1366_30.min1.thm1
2017-02-06 12:44
1.0K
ncfcont2__1376_16.min1.thm1
2017-02-06 12:44
1.7K
ncfcont2__1416_17.min1.thm1
2017-02-06 12:44
2.2K
ncfcont2__1426_14.min1.thm1
2017-02-06 12:44
1.5K
ncfcont2__1427_24.min1.thm1
2017-02-06 12:44
2.2K
ncfcont2__1435_19.min1.thm1
2017-02-06 12:44
1.2K
ncfcont2__1435_19.min1.thm1.tptp
2017-02-06 16:47
1.1K
ncfcont2__1447_44.min1.thm1
2017-02-06 12:44
1.5K
ncfcont2__1448_19.min1.thm1
2017-02-06 12:44
1.0K
ncfcont2__1448_19.min1.thm1.tptp
2017-02-06 16:47
916
ncfcont2__1450_47.min1.thm1
2017-02-06 12:44
1.8K
ncfcont2__1460_37.min1.thm1
2017-02-06 12:44
3.1K
ncfcont2__1464_44.min1.thm1
2017-02-06 12:44
1.5K
ncfcont2__1465_19.min1.thm1
2017-02-06 12:44
1.0K
ncfcont2__1465_19.min1.thm1.tptp
2017-02-06 16:47
914
ncfcont2__1476_30.min1.thm1
2017-02-06 12:44
3.1K
ncfcont2__1484_19.min1.thm1
2017-02-06 12:44
888
ncfcont2__1485_25.min1.thm1
2017-02-06 12:44
887
ncfcont2__1492_14.min1.thm1
2017-02-06 12:44
1.6K
ncfcont2__1494_14.min1.thm1
2017-02-06 12:44
603
ncfcont2__1498_22.min1.thm1
2017-02-06 12:44
1.8K
ncfcont2__1499_30.min1.thm1
2017-02-06 12:44
4.2K
ncfcont2__1502_14.min1.thm1
2017-02-06 12:44
1.7K
ncfcont2__1504_26.min1.thm1
2017-02-06 12:44
4.3K
ncfcont2__1506_19.min1.thm1
2017-02-06 12:44
1.3K
ncfcont2__1517_21.min1.thm1
2017-02-06 12:44
1.6K
ncfcont2__1519_19.min1.thm1
2017-02-06 12:44
592
ncfcont2__1520_25.min1.thm1
2017-02-06 12:44
591
ncfcont2__1521_30.min1.thm1
2017-02-06 12:44
1.0K
ncfcont2__1531_16.min1.thm1
2017-02-06 12:44
1.7K
ncfcont2__1564_70.min1.thm1
2017-02-06 12:44
2.8K
ncfcont2__1569_65.min1.thm1
2017-02-06 12:44
2.8K
ncfcont2__1574_65.min1.thm1
2017-02-06 12:44
2.8K
ncfcont2__1581_23.min1.thm1
2017-02-06 12:44
2.1K
ncfcont2__1581_23.min1.thm1.tptp
2017-02-06 16:47
2.2K
ncfcont2__1585_33.min1.thm1
2017-02-06 12:44
2.2K
ncfcont2__1585_33.min1.thm1.tptp
2017-02-06 16:47
2.3K
ncfcont2__1589_33.min1.thm1
2017-02-06 12:44
2.2K
ncfcont2__1589_33.min1.thm1.tptp
2017-02-06 16:47
2.3K
ncfcont2__1593_33.min1.thm1
2017-02-06 12:44
2.2K
ncfcont2__1593_33.min1.thm1.tptp
2017-02-06 16:47
2.3K
ncfcont2__1615_22.min1.thm1
2017-02-06 12:44
1.1K
ncfcont2__1620_19.min1.thm1
2017-02-06 12:44
1.6K
ncfcont2__1635_37.min1.thm1
2017-02-06 12:44
2.3K
ncfcont2__1636_39.min1.thm1
2017-02-06 12:44
1.4K
ncfcont2__1639_26.min1.thm1
2017-02-06 12:44
1.3K
ncfcont2__1640_26.min1.thm1
2017-02-06 12:44
3.3K
ncfcont2__1642_14.min1.thm1
2017-02-06 12:44
464
ncfcont2__1650_34.min1.thm1
2017-02-06 12:44
1.6K
ncfcont2__1651_19.min1.thm1
2017-02-06 12:44
1.6K
ncfcont2__1679_25.min1.thm1
2017-02-06 12:44
1.7K
ncfcont2__1680_17.min1.thm1
2017-02-06 12:44
2.0K
ncfcont2__1691_24.min1.thm1
2017-02-06 12:44
1.1K
ncfcont2__1692_23.min1.thm1
2017-02-06 12:44
2.5K
ncfcont2__1695_14.min1.thm1
2017-02-06 12:44
246
ncfcont2__1704_19.min1.thm1
2017-02-06 12:44
1.8K
ncfcont2__1705_17.min1.thm1
2017-02-06 12:44
1.3K
ncfcont2__1730_23.min1.thm1
2017-02-06 12:44
2.0K
ncfcont2__1731_19.min1.thm1
2017-02-06 12:44
1.1K
ncfcont2__1733_11.min1.thm1
2017-02-06 12:44
1.7K
ncfcont2__1735_61.min1.thm1
2017-02-06 12:44
925
ncfcont2__1766_45.min1.thm1
2017-02-06 12:44
1.4K
ncfcont2__1770_16.min1.thm1
2017-02-06 12:44
1.0K
ncfcont2__1797_22.min1.thm1
2017-02-06 12:44
1.4K
ncfcont2__1811_18.min1.thm1
2017-02-06 12:44
1.3K
ncfcont2__1815_41.min1.thm1
2017-02-06 12:44
3.2K
ncfcont2__1816_15.min1.thm1
2017-02-06 12:44
1.0K
ncfcont2__1816_15.min1.thm1.tptp
2017-02-06 16:47
914
ncfcont2__1821_9.min1.thm1
2017-02-06 12:44
1.2K
ncfcont2__1832_29.min1.thm1
2017-02-06 12:44
1.8K
ncfcont2__1835_18.min1.thm1
2017-02-06 12:44
1.0K
ncfcont2__1848_16.min1.thm1
2017-02-06 12:44
1.1K
ncfcont2__1853_14.min1.thm1
2017-02-06 12:44
930
ncfcont2__1868_16.min1.thm1
2017-02-06 12:44
1.8K
ncfcont2__1871_16.min1.thm1
2017-02-06 12:44
1.8K
ncfcont2__1872_40.min1.thm1
2017-02-06 12:44
881
ncfcont2__1877_40.min1.thm1
2017-02-06 12:44
882
ncfcont2__1883_77.min1.thm1
2017-02-06 12:44
868
ncfcont2__1887_23.min1.thm1
2017-02-06 12:44
1.4K
ncfcont2__1892_12.min1.thm1
2017-02-06 12:44
2.1K
ncfcont2__1893_7.min1.thm1
2017-02-06 12:44
858
ncfcont2__1906_49.min1.thm1
2017-02-06 12:44
1.0K
ncfcont2__1910_40.min1.thm1
2017-02-06 12:44
3.0K
ncfcont2__1914_64.min1.thm1
2017-02-06 12:44
1.3K
ncfcont2__1914_64.min1.thm1.tptp
2017-02-06 16:47
1.2K
ncfcont2__1917_16.min1.thm1
2017-02-06 12:44
964
ncfcont2__1943_36.min1.thm1
2017-02-06 12:44
2.3K
ncfcont2__1944_44.min1.thm1
2017-02-06 12:44
1.3K
ncfcont2__1948_18.min1.thm1
2017-02-06 12:44
732
ncfcont2__1960_48.min1.thm1
2017-02-06 12:44
795
ncfcont2__1960_48.min1.thm1.tptp
2017-02-06 16:47
714
ncfcont2__1989_39.min1.thm1
2017-02-06 12:44
2.0K
ncfcont2__1992_20.min1.thm1
2017-02-06 12:44
396
ncfcont2__1997_10.min1.thm1
2017-02-06 12:44
338
ncfcont2__1999_18.min1.thm1
2017-02-06 12:44
416
ncfcont2__2001_25.min1.thm1
2017-02-06 12:44
465
ncfcont2__2001_25.min1.thm1.tptp
2017-02-06 16:47
388
ncfcont2__2002_17.min1.thm1
2017-02-06 12:44
555
ncfcont2__2004_37.min1.thm1
2017-02-06 12:44
1.9K
ncfcont2__2009_17.min1.thm1
2017-02-06 12:44
2.1K
ncfcont2__2010_17.min1.thm1
2017-02-06 12:44
872
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80