Index of /~mptp/7.13.01_4.181.1147/MPTP2/ilp0/funct_6
Name
Last modified
Size
Description
Parent Directory
-
funct_6__345_66.min1.thm1
2017-02-06 12:45
2.4K
funct_6__1233_30.min1.thm1
2017-02-06 12:45
2.0K
funct_6__2405_19.min1.thm1
2017-02-06 12:45
2.0K
funct_6__1521_4.min1.thm1
2017-02-06 12:45
2.0K
funct_6__2301_64.min1.thm1
2017-02-06 12:45
2.0K
funct_6__2518_17.min1.thm1
2017-02-06 12:45
1.9K
funct_6__2040_21.min1.thm1
2017-02-06 12:45
1.9K
funct_6__732_17.min1.thm1
2017-02-06 12:45
1.9K
funct_6__722_39.min1.thm1
2017-02-06 12:45
1.9K
funct_6__2101_32.min1.thm1
2017-02-06 12:45
1.8K
funct_6__1924_47.min1.thm1
2017-02-06 12:45
1.8K
funct_6__2076_22.min1.thm1
2017-02-06 12:45
1.8K
funct_6__728_49.min1.thm1
2017-02-06 12:45
1.8K
funct_6__720_49.min1.thm1
2017-02-06 12:45
1.8K
funct_6__1119_33.min1.thm1
2017-02-06 12:45
1.8K
funct_6__1929_26.min1.thm1
2017-02-06 12:45
1.8K
funct_6__1746_19.min1.thm1
2017-02-06 12:45
1.8K
funct_6__1228_48.min1.thm1
2017-02-06 12:45
1.7K
funct_6__2233_32.min1.thm1
2017-02-06 12:45
1.7K
funct_6__1632_22.min1.thm1
2017-02-06 12:45
1.7K
funct_6__174_25.min1.thm1
2017-02-06 12:45
1.7K
funct_6__2356_30.min1.thm1
2017-02-06 12:45
1.7K
funct_6__2131_33.min1.thm1
2017-02-06 12:45
1.7K
funct_6__1768_21.min1.thm1
2017-02-06 12:45
1.7K
funct_6__1465_47.min1.thm1
2017-02-06 12:45
1.7K
funct_6__2217_58.min1.thm1
2017-02-06 12:45
1.7K
funct_6__296_51.min1.thm1
2017-02-06 12:45
1.7K
funct_6__1253_25.min1.thm1
2017-02-06 12:45
1.7K
funct_6__297_62.min1.thm1
2017-02-06 12:45
1.7K
funct_6__695_64.min1.thm1
2017-02-06 12:45
1.7K
funct_6__1244_45.min1.thm1
2017-02-06 12:45
1.6K
funct_6__1388_28.min1.thm1
2017-02-06 12:45
1.6K
funct_6__1770_15.min1.thm1
2017-02-06 12:45
1.6K
funct_6__1692_19.min1.thm1
2017-02-06 12:45
1.6K
funct_6__333_17.min1.thm1
2017-02-06 12:45
1.6K
funct_6__262_60.min1.thm1
2017-02-06 12:45
1.6K
funct_6__240_61.min1.thm1
2017-02-06 12:45
1.6K
funct_6__135_53.min1.thm1
2017-02-06 12:45
1.6K
funct_6__1361_33.min1.thm1
2017-02-06 12:45
1.6K
funct_6__1339_33.min1.thm1
2017-02-06 12:45
1.6K
funct_6__2257_32.min1.thm1
2017-02-06 12:45
1.6K
funct_6__443_54.min1.thm1
2017-02-06 12:45
1.6K
funct_6__2304_41.min1.thm1
2017-02-06 12:45
1.6K
funct_6__1444_24.min1.thm1
2017-02-06 12:45
1.6K
funct_6__2578_21.min1.thm1
2017-02-06 12:45
1.6K
funct_6__2517_42.min1.thm1
2017-02-06 12:45
1.6K
funct_6__1763_19.min1.thm1
2017-02-06 12:45
1.5K
funct_6__537_54.min1.thm1
2017-02-06 12:45
1.5K
funct_6__207_24.min1.thm1
2017-02-06 12:45
1.5K
funct_6__790_17.min1.thm1
2017-02-06 12:45
1.5K
funct_6__301_52.min1.thm1
2017-02-06 12:45
1.5K
funct_6__99_17.min1.thm1
2017-02-06 12:45
1.5K
funct_6__1505_21.min1.thm1
2017-02-06 12:45
1.5K
funct_6__2571_21.min1.thm1
2017-02-06 12:45
1.5K
funct_6__2562_21.min1.thm1
2017-02-06 12:45
1.5K
funct_6__1691_17.min1.thm1
2017-02-06 12:45
1.5K
funct_6__1687_18.min1.thm1
2017-02-06 12:45
1.5K
funct_6__1054_20.min1.thm1
2017-02-06 12:45
1.5K
funct_6__1762_19.min1.thm1
2017-02-06 12:45
1.5K
funct_6__2243_21.min1.thm1
2017-02-06 12:45
1.5K
funct_6__2086_32.min1.thm1
2017-02-06 12:45
1.5K
funct_6__2113_40.min1.thm1
2017-02-06 12:45
1.5K
funct_6__2559_41.min1.thm1
2017-02-06 12:45
1.5K
funct_6__1911_39.min1.thm1
2017-02-06 12:45
1.5K
funct_6__2441_17.min1.thm1
2017-02-06 12:45
1.5K
funct_6__1946_37.min1.thm1
2017-02-06 12:45
1.5K
funct_6__1905_39.min1.thm1
2017-02-06 12:45
1.5K
funct_6__1845_17.min1.thm1
2017-02-06 12:45
1.5K
funct_6__2289_29.min1.thm1
2017-02-06 12:45
1.5K
funct_6__2285_29.min1.thm1
2017-02-06 12:45
1.5K
funct_6__1473_17.min1.thm1
2017-02-06 12:45
1.5K
funct_6__1716_29.min1.thm1
2017-02-06 12:45
1.5K
funct_6__2034_56.min1.thm1
2017-02-06 12:45
1.4K
funct_6__948_17.min1.thm1
2017-02-06 12:45
1.4K
funct_6__2250_58.min1.thm1
2017-02-06 12:45
1.4K
funct_6__2227_63.min1.thm1
2017-02-06 12:45
1.4K
funct_6__270_17.min1.thm1
2017-02-06 12:45
1.4K
funct_6__267_50.min1.thm1
2017-02-06 12:45
1.4K
funct_6__1100_26.min1.thm1
2017-02-06 12:45
1.4K
funct_6__2049_64.min1.thm1
2017-02-06 12:45
1.4K
funct_6__765_17.min1.thm1
2017-02-06 12:45
1.4K
funct_6__173_39.min1.thm1
2017-02-06 12:45
1.4K
funct_6__1962_35.min1.thm1
2017-02-06 12:45
1.4K
funct_6__1065_61.min1.thm1
2017-02-06 12:45
1.4K
funct_6__731_12.min1.thm1
2017-02-06 12:45
1.4K
funct_6__2070_54.min1.thm1
2017-02-06 12:45
1.4K
funct_6__704_12.min1.thm1
2017-02-06 12:45
1.4K
funct_6__2080_27.min1.thm1
2017-02-06 12:45
1.4K
funct_6__2137_26.min1.thm1
2017-02-06 12:45
1.4K
funct_6__1531_16.min1.thm1
2017-02-06 12:45
1.4K
funct_6__1386_21.min1.thm1
2017-02-06 12:45
1.4K
funct_6__1215_20.min1.thm1
2017-02-06 12:45
1.4K
funct_6__2375_45.min1.thm1
2017-02-06 12:45
1.4K
funct_6__2091_61.min1.thm1
2017-02-06 12:45
1.4K
funct_6__2340_23.min1.thm1
2017-02-06 12:45
1.4K
funct_6__1769_39.min1.thm1
2017-02-06 12:45
1.3K
funct_6__711_19.min1.thm1
2017-02-06 12:45
1.3K
funct_6__2364_17.min1.thm1
2017-02-06 12:45
1.3K
funct_6__1368_62.min1.thm1
2017-02-06 12:45
1.3K
funct_6__1346_62.min1.thm1
2017-02-06 12:45
1.3K
funct_6__390_10.min1.thm1
2017-02-06 12:45
1.3K
funct_6__175_24.min1.thm1
2017-02-06 12:45
1.3K
funct_6__830_30.min1.thm1
2017-02-06 12:45
1.3K
funct_6__1026_22.min1.thm1
2017-02-06 12:45
1.3K
funct_6__2007_19.min1.thm1
2017-02-06 12:45
1.3K
funct_6__285_46.min1.thm1
2017-02-06 12:45
1.3K
funct_6__1380_28.min1.thm1
2017-02-06 12:45
1.3K
funct_6__1175_44.min1.thm1
2017-02-06 12:45
1.3K
funct_6__1117_58.min1.thm1
2017-02-06 12:45
1.3K
funct_6__424_39.min1.thm1
2017-02-06 12:45
1.3K
funct_6__2349_23.min1.thm1
2017-02-06 12:45
1.3K
funct_6__2511_57.min1.thm1
2017-02-06 12:45
1.3K
funct_6__2377_17.min1.thm1
2017-02-06 12:45
1.3K
funct_6__2135_34.min1.thm1
2017-02-06 12:45
1.3K
funct_6__2249_32.min1.thm1
2017-02-06 12:45
1.3K
funct_6__475_17.min1.thm1
2017-02-06 12:45
1.3K
funct_6__93_34.min1.thm1
2017-02-06 12:45
1.3K
funct_6__494_17.min1.thm1
2017-02-06 12:45
1.3K
funct_6__1154_36.min1.thm1
2017-02-06 12:45
1.3K
funct_6__1470_25.min1.thm1
2017-02-06 12:45
1.3K
funct_6__1597_29.min1.thm1
2017-02-06 12:45
1.3K
funct_6__1575_29.min1.thm1
2017-02-06 12:45
1.3K
funct_6__1543_39.min1.thm1
2017-02-06 12:45
1.3K
funct_6__2303_26.min1.thm1
2017-02-06 12:45
1.3K
funct_6__810_31.min1.thm1
2017-02-06 12:45
1.3K
funct_6__1660_45.min1.thm1
2017-02-06 12:45
1.3K
funct_6__544_37.min1.thm1
2017-02-06 12:45
1.3K
funct_6__1443_27.min1.thm1
2017-02-06 12:45
1.3K
funct_6__1438_23.min1.thm1
2017-02-06 12:45
1.3K
funct_6__1854_65.min1.thm1
2017-02-06 12:45
1.3K
funct_6__208_44.min1.thm1
2017-02-06 12:45
1.3K
funct_6__1968_55.min1.thm1
2017-02-06 12:45
1.3K
funct_6__367_17.min1.thm1
2017-02-06 12:45
1.2K
funct_6__1155_30.min1.thm1
2017-02-06 12:45
1.2K
funct_6__2124_38.min1.thm1
2017-02-06 12:45
1.2K
funct_6__2437_55.min1.thm1
2017-02-06 12:45
1.2K
funct_6__1841_54.min1.thm1
2017-02-06 12:45
1.2K
funct_6__1931_19.min1.thm1
2017-02-06 12:45
1.2K
funct_6__965_17.min1.thm1
2017-02-06 12:45
1.2K
funct_6__2125_23.min1.thm1
2017-02-06 12:45
1.2K
funct_6__890_53.min1.thm1
2017-02-06 12:45
1.2K
funct_6__92_34.min1.thm1
2017-02-06 12:45
1.2K
funct_6__1667_22.min1.thm1
2017-02-06 12:45
1.2K
funct_6__909_32.min1.thm1
2017-02-06 12:45
1.2K
funct_6__380_17.min1.thm1
2017-02-06 12:45
1.2K
funct_6__891_21.min1.thm1
2017-02-06 12:45
1.2K
funct_6__908_23.min1.thm1
2017-02-06 12:45
1.2K
funct_6__885_40.min1.thm1
2017-02-06 12:45
1.2K
funct_6__2376_32.min1.thm1
2017-02-06 12:45
1.2K
funct_6__2294_54.min1.thm1
2017-02-06 12:45
1.2K
funct_6__1982_28.min1.thm1
2017-02-06 12:45
1.2K
funct_6__2258_25.min1.thm1
2017-02-06 12:45
1.2K
funct_6__505_11.min1.thm1
2017-02-06 12:45
1.2K
funct_6__1712_44.min1.thm1
2017-02-06 12:45
1.2K
funct_6__268_63.min1.thm1
2017-02-06 12:45
1.2K
funct_6__265_62.min1.thm1
2017-02-06 12:45
1.2K
funct_6__134_51.min1.thm1
2017-02-06 12:45
1.2K
funct_6__821_13.min1.thm1
2017-02-06 12:45
1.2K
funct_6__697_14.min1.thm1
2017-02-06 12:45
1.2K
funct_6__1446_17.min1.thm1
2017-02-06 12:45
1.2K
funct_6__1262_14.min1.thm1
2017-02-06 12:45
1.2K
funct_6__468_16.min1.thm1
2017-02-06 12:45
1.2K
funct_6__2142_43.min1.thm1
2017-02-06 12:45
1.2K
funct_6__2454_17.min1.thm1
2017-02-06 12:45
1.2K
funct_6__1255_18.min1.thm1
2017-02-06 12:45
1.2K
funct_6__1025_13.min1.thm1
2017-02-06 12:45
1.2K
funct_6__1761_20.min1.thm1
2017-02-06 12:45
1.2K
funct_6__2037_65.min1.thm1
2017-02-06 12:45
1.2K
funct_6__538_21.min1.thm1
2017-02-06 12:45
1.2K
funct_6__2354_66.min1.thm1
2017-02-06 12:45
1.2K
funct_6__1758_16.min1.thm1
2017-02-06 12:45
1.2K
funct_6__132_69.min1.thm1
2017-02-06 12:45
1.2K
funct_6__2484_17.min1.thm1
2017-02-06 12:45
1.2K
funct_6__2406_17.min1.thm1
2017-02-06 12:45
1.2K
funct_6__1965_30.min1.thm1
2017-02-06 12:45
1.2K
funct_6__1024_25.min1.thm1
2017-02-06 12:45
1.2K
funct_6__280_36.min1.thm1
2017-02-06 12:45
1.2K
funct_6__824_21.min1.thm1
2017-02-06 12:45
1.2K
funct_6__193_21.min1.thm1
2017-02-06 12:45
1.1K
funct_6__1491_42.min1.thm1
2017-02-06 12:45
1.1K
funct_6__1092_62.min1.thm1
2017-02-06 12:45
1.1K
funct_6__430_36.min1.thm1
2017-02-06 12:45
1.1K
funct_6__1088_62.min1.thm1
2017-02-06 12:45
1.1K
funct_6__2072_64.min1.thm1
2017-02-06 12:45
1.1K
funct_6__1734_29.min1.thm1
2017-02-06 12:45
1.1K
funct_6__887_24.min1.thm1
2017-02-06 12:45
1.1K
funct_6__911_19.min1.thm1
2017-02-06 12:45
1.1K
funct_6__2402_64.min1.thm1
2017-02-06 12:45
1.1K
funct_6__1858_45.min1.thm1
2017-02-06 12:45
1.1K
funct_6__1963_55.min1.thm1
2017-02-06 12:45
1.1K
funct_6__2278_31.min1.thm1
2017-02-06 12:45
1.1K
funct_6__2276_31.min1.thm1
2017-02-06 12:45
1.1K
funct_6__775_17.min1.thm1
2017-02-06 12:45
1.1K
funct_6__1006_17.min1.thm1
2017-02-06 12:45
1.1K
funct_6__2580_19.min1.thm1
2017-02-06 12:45
1.1K
funct_6__1230_37.min1.thm1
2017-02-06 12:45
1.1K
funct_6__901_33.min1.thm1
2017-02-06 12:45
1.1K
funct_6__880_33.min1.thm1
2017-02-06 12:45
1.1K
funct_6__2027_33.min1.thm1
2017-02-06 12:45
1.1K
funct_6__489_59.min1.thm1
2017-02-06 12:45
1.1K
funct_6__485_63.min1.thm1
2017-02-06 12:45
1.1K
funct_6__177_40.min1.thm1
2017-02-06 12:45
1.1K
funct_6__1120_20.min1.thm1
2017-02-06 12:45
1.1K
funct_6__2102_62.min1.thm1
2017-02-06 12:45
1.1K
funct_6__1718_34.min1.thm1
2017-02-06 12:45
1.1K
funct_6__530_48.min1.thm1
2017-02-06 12:45
1.1K
funct_6__416_48.min1.thm1
2017-02-06 12:45
1.1K
funct_6__1249_28.min1.thm1
2017-02-06 12:45
1.1K
funct_6__1177_17.min1.thm1
2017-02-06 12:45
1.1K
funct_6__2064_31.min1.thm1
2017-02-06 12:45
1.1K
funct_6__1003_30.min1.thm1
2017-02-06 12:45
1.1K
funct_6__2106_31.min1.thm1
2017-02-06 12:45
1.1K
funct_6__2307_26.min1.thm1
2017-02-06 12:45
1.1K
funct_6__1211_24.min1.thm1
2017-02-06 12:45
1.1K
funct_6__1219_49.min1.thm1
2017-02-06 12:45
1.1K
funct_6__2342_22.min1.thm1
2017-02-06 12:45
1.1K
funct_6__105_36.min1.thm1
2017-02-06 12:45
1.1K
funct_6__2419_17.min1.thm1
2017-02-06 12:45
1.1K
funct_6__1997_36.min1.thm1
2017-02-06 12:45
1.0K
funct_6__258_43.min1.thm1
2017-02-06 12:45
1.0K
funct_6__1964_28.min1.thm1
2017-02-06 12:45
1.0K
funct_6__2582_17.min1.thm1
2017-02-06 12:45
1.0K
funct_6__2469_19.min1.thm1
2017-02-06 12:45
1.0K
funct_6__976_19.min1.thm1
2017-02-06 12:45
1.0K
funct_6__2625_54.min1.thm1
2017-02-06 12:45
1.0K
funct_6__672_19.min1.thm1
2017-02-06 12:45
1.0K
funct_6__645_19.min1.thm1
2017-02-06 12:45
1.0K
funct_6__2605_54.min1.thm1
2017-02-06 12:45
1.0K
funct_6__2140_24.min1.thm1
2017-02-06 12:45
1.0K
funct_6__758_17.min1.thm1
2017-02-06 12:45
1.0K
funct_6__2192_32.min1.thm1
2017-02-06 12:45
1.0K
funct_6__2075_31.min1.thm1
2017-02-06 12:45
1.0K
funct_6__2234_27.min1.thm1
2017-02-06 12:45
1.0K
funct_6__861_38.min1.thm1
2017-02-06 12:45
1.0K
funct_6__1206_28.min1.thm1
2017-02-06 12:45
1.0K
funct_6__2014_62.min1.thm1
2017-02-06 12:45
1.0K
funct_6__884_32.min1.thm1
2017-02-06 12:45
1.0K
funct_6__931_66.min1.thm1
2017-02-06 12:45
1.0K
funct_6__2001_46.min1.thm1
2017-02-06 12:45
1.0K
funct_6__1542_59.min1.thm1
2017-02-06 12:45
1.0K
funct_6__1391_19.min1.thm1
2017-02-06 12:45
1.0K
funct_6__828_21.min1.thm1
2017-02-06 12:45
1.0K
funct_6__1720_19.min1.thm1
2017-02-06 12:45
1.0K
funct_6__1256_19.min1.thm1
2017-02-06 12:45
1.0K
funct_6__1885_19.min1.thm1
2017-02-06 12:45
1.0K
funct_6__1657_39.min1.thm1
2017-02-06 12:45
1.0K
funct_6__1759_14.min1.thm1
2017-02-06 12:45
1.0K
funct_6__1250_31.min1.thm1
2017-02-06 12:45
1.0K
funct_6__987_28.min1.thm1
2017-02-06 12:45
1.0K
funct_6__2440_42.min1.thm1
2017-02-06 12:45
1.0K
funct_6__1844_42.min1.thm1
2017-02-06 12:45
1.0K
funct_6__1694_48.min1.thm1
2017-02-06 12:45
1.0K
funct_6__192_32.min1.thm1
2017-02-06 12:45
1.0K
funct_6__2381_32.min1.thm1
2017-02-06 12:45
1.0K
funct_6__151_55.min1.thm1
2017-02-06 12:45
1.0K
funct_6__1740_20.min1.thm1
2017-02-06 12:45
1.0K
funct_6__1208_18.min1.thm1
2017-02-06 12:45
1.0K
funct_6__316_19.min1.thm1
2017-02-06 12:45
1.0K
funct_6__1472_34.min1.thm1
2017-02-06 12:45
1.0K
funct_6__1601_18.min1.thm1
2017-02-06 12:45
1.0K
funct_6__1018_31.min1.thm1
2017-02-06 12:45
1.0K
funct_6__1590_18.min1.thm1
2017-02-06 12:45
1.0K
funct_6__362_66.min1.thm1
2017-02-06 12:45
1.0K
funct_6__358_70.min1.thm1
2017-02-06 12:45
1.0K
funct_6__2322_45.min1.thm1
2017-02-06 12:45
1.0K
funct_6__1393_15.min1.thm1
2017-02-06 12:45
1.0K
funct_6__1000_29.min1.thm1
2017-02-06 12:45
1.0K
funct_6__343_45.min1.thm1
2017-02-06 12:45
1.0K
funct_6__321_17.min1.thm1
2017-02-06 12:45
1.0K
funct_6__1302_17.min1.thm1
2017-02-06 12:45
1.0K
funct_6__1456_29.min1.thm1
2017-02-06 12:45
1.0K
funct_6__1469_21.min1.thm1
2017-02-06 12:45
1.0K
funct_6__860_39.min1.thm1
2017-02-06 12:45
1.0K
funct_6__800_13.min1.thm1
2017-02-06 12:45
1.0K
funct_6__1466_29.min1.thm1
2017-02-06 12:45
1.0K
funct_6__236_43.min1.thm1
2017-02-06 12:45
1.0K
funct_6__1271_19.min1.thm1
2017-02-06 12:45
1.0K
funct_6__2260_19.min1.thm1
2017-02-06 12:45
1.0K
funct_6__834_72.min1.thm1
2017-02-06 12:45
1.0K
funct_6__1102_19.min1.thm1
2017-02-06 12:45
1.0K
funct_6__1263_25.min1.thm1
2017-02-06 12:45
1.0K
funct_6__331_66.min1.thm1
2017-02-06 12:45
1.0K
funct_6__2533_43.min1.thm1
2017-02-06 12:45
972
funct_6__519_51.min1.thm1
2017-02-06 12:45
972
funct_6__165_51.min1.thm1
2017-02-06 12:45
972
funct_6__1922_33.min1.thm1
2017-02-06 12:45
967
funct_6__1927_33.min1.thm1
2017-02-06 12:45
966
funct_6__2139_19.min1.thm1
2017-02-06 12:45
965
funct_6__1614_20.min1.thm1
2017-02-06 12:45
965
funct_6__1611_25.min1.thm1
2017-02-06 12:45
965
funct_6__900_32.min1.thm1
2017-02-06 12:45
964
funct_6__879_32.min1.thm1
2017-02-06 12:45
964
funct_6__1252_33.min1.thm1
2017-02-06 12:45
962
funct_6__940_61.min1.thm1
2017-02-06 12:45
962
funct_6__1994_25.min1.thm1
2017-02-06 12:45
959
funct_6__1743_33.min1.thm1
2017-02-06 12:45
958
funct_6__819_23.min1.thm1
2017-02-06 12:45
958
funct_6__2426_14.min1.thm1
2017-02-06 12:45
957
funct_6__1976_52.min1.thm1
2017-02-06 12:45
957
funct_6__1830_14.min1.thm1
2017-02-06 12:45
957
funct_6__990_17.min1.thm1
2017-02-06 12:45
956
funct_6__960_41.min1.thm1
2017-02-06 12:45
955
funct_6__115_24.min1.thm1
2017-02-06 12:45
953
funct_6__519_51.min1.thm1.tptp
2017-02-06 16:47
950
funct_6__2425_29.min1.thm1
2017-02-06 12:45
947
funct_6__1829_29.min1.thm1
2017-02-06 12:45
947
funct_6__1098_28.min1.thm1
2017-02-06 12:45
947
funct_6__870_23.min1.thm1
2017-02-06 12:45
947
funct_6__2175_19.min1.thm1
2017-02-06 12:45
945
funct_6__1804_19.min1.thm1
2017-02-06 12:45
945
funct_6__76_17.min1.thm1
2017-02-06 12:45
945
funct_6__1454_35.min1.thm1
2017-02-06 12:45
944
funct_6__157_48.min1.thm1
2017-02-06 12:45
944
funct_6__1214_26.min1.thm1
2017-02-06 12:45
943
funct_6__1210_27.min1.thm1
2017-02-06 12:45
943
funct_6__1150_26.min1.thm1
2017-02-06 12:45
943
funct_6__1432_26.min1.thm1
2017-02-06 12:45
942
funct_6__1151_26.min1.thm1
2017-02-06 12:45
942
funct_6__2483_55.min1.thm1
2017-02-06 12:45
941
funct_6__124_28.min1.thm1
2017-02-06 12:45
941
funct_6__2025_20.min1.thm1
2017-02-06 12:45
940
funct_6__198_19.min1.thm1
2017-02-06 12:45
935
funct_6__84_37.min1.thm1
2017-02-06 12:45
935
funct_6__303_17.min1.thm1
2017-02-06 12:45
933
funct_6__2063_19.min1.thm1
2017-02-06 12:45
932
funct_6__2396_66.min1.thm1
2017-02-06 12:45
930
funct_6__62_30.min1.thm1
2017-02-06 12:45
930
funct_6__2293_23.min1.thm1
2017-02-06 12:45
928
funct_6__1749_48.min1.thm1
2017-02-06 12:45
928
funct_6__1519_4.min1.thm1
2017-02-06 12:45
926
funct_6__281_75.min1.thm1
2017-02-06 12:45
926
funct_6__436_21.min1.thm1
2017-02-06 12:45
924
funct_6__522_32.min1.thm1
2017-02-06 12:45
922
funct_6__1179_33.min1.thm1
2017-02-06 12:45
916
funct_6__889_43.min1.thm1
2017-02-06 12:45
916
funct_6__1310_35.min1.thm1
2017-02-06 12:45
915
funct_6__1197_35.min1.thm1
2017-02-06 12:45
915
funct_6__1130_35.min1.thm1
2017-02-06 12:45
915
funct_6__1118_33.min1.thm1
2017-02-06 12:45
915
funct_6__2210_29.min1.thm1
2017-02-06 12:45
913
funct_6__106_32.min1.thm1
2017-02-06 12:45
912
funct_6__1711_28.min1.thm1
2017-02-06 12:45
908
funct_6__143_48.min1.thm1
2017-02-06 12:45
908
funct_6__1017_48.min1.thm1
2017-02-06 12:45
906
funct_6__1703_22.min1.thm1
2017-02-06 12:45
905
funct_6__2120_25.min1.thm1
2017-02-06 12:45
904
funct_6__1180_27.min1.thm1
2017-02-06 12:45
902
funct_6__1624_19.min1.thm1
2017-02-06 12:45
901
funct_6__2051_73.min1.thm1
2017-02-06 12:45
898
funct_6__1359_34.min1.thm1
2017-02-06 12:45
896
funct_6__1337_34.min1.thm1
2017-02-06 12:45
895
funct_6__2626_19.min1.thm1
2017-02-06 12:45
893
funct_6__2606_19.min1.thm1
2017-02-06 12:45
893
funct_6__507_17.min1.thm1
2017-02-06 12:45
893
funct_6__2230_44.min1.thm1
2017-02-06 12:45
890
funct_6__392_17.min1.thm1
2017-02-06 12:45
890
funct_6__2077_19.min1.thm1
2017-02-06 12:45
887
funct_6__2145_15.min1.thm1
2017-02-06 12:45
885
funct_6__2323_19.min1.thm1
2017-02-06 12:45
881
funct_6__1993_55.min1.thm1
2017-02-06 12:45
881
funct_6__1581_23.min1.thm1
2017-02-06 12:45
877
funct_6__152_23.min1.thm1
2017-02-06 12:45
877
funct_6__1608_17.min1.thm1
2017-02-06 12:45
875
funct_6__2292_22.min1.thm1
2017-02-06 12:45
874
funct_6__2288_22.min1.thm1
2017-02-06 12:45
874
funct_6__2236_46.min1.thm1
2017-02-06 12:45
873
funct_6__2219_28.min1.thm1
2017-02-06 12:45
872
funct_6__1881_17.min1.thm1
2017-02-06 12:45
871
funct_6__2046_36.min1.thm1
2017-02-06 12:45
869
funct_6__1022_17.min1.thm1
2017-02-06 12:45
869
funct_6__1919_22.min1.thm1
2017-02-06 12:45
868
funct_6__407_31.min1.thm1
2017-02-06 12:45
867
funct_6__2380_31.min1.thm1
2017-02-06 12:45
866
funct_6__1360_31.min1.thm1
2017-02-06 12:45
864
funct_6__1338_31.min1.thm1
2017-02-06 12:45
863
funct_6__1001_20.min1.thm1
2017-02-06 12:45
863
funct_6__2284_36.min1.thm1
2017-02-06 12:45
862
funct_6__2256_21.min1.thm1
2017-02-06 12:45
862
funct_6__1955_36.min1.thm1
2017-02-06 12:45
862
funct_6__2438_45.min1.thm1
2017-02-06 12:45
860
funct_6__1842_45.min1.thm1
2017-02-06 12:45
860
funct_6__2570_36.min1.thm1
2017-02-06 12:45
858
funct_6__1112_25.min1.thm1
2017-02-06 12:45
857
funct_6__2051_73.min1.thm1.tptp
2017-02-06 16:47
856
funct_6__713_66.min1.thm1
2017-02-06 12:45
856
funct_6__1296_28.min1.thm1
2017-02-06 12:45
851
funct_6__981_28.min1.thm1
2017-02-06 12:45
851
funct_6__832_63.min1.thm1
2017-02-06 12:45
850
funct_6__329_59.min1.thm1
2017-02-06 12:45
850
funct_6__2415_50.min1.thm1
2017-02-06 12:45
848
funct_6__1399_19.min1.thm1
2017-02-06 12:45
845
funct_6__283_48.min1.thm1
2017-02-06 12:45
842
funct_6__2255_21.min1.thm1
2017-02-06 12:45
840
funct_6__2229_56.min1.thm1
2017-02-06 12:45
840
funct_6__614_45.min1.thm1
2017-02-06 12:45
840
funct_6__1066_16.min1.thm1
2017-02-06 12:45
838
funct_6__1173_19.min1.thm1
2017-02-06 12:45
837
funct_6__2400_18.min1.thm1
2017-02-06 12:45
835
funct_6__1176_37.min1.thm1
2017-02-06 12:45
835
funct_6__1181_17.min1.thm1
2017-02-06 12:45
833
funct_6__378_57.min1.thm1
2017-02-06 12:45
829
funct_6__2577_48.min1.thm1
2017-02-06 12:45
828
funct_6__366_39.min1.thm1
2017-02-06 12:45
828
funct_6__1588_24.min1.thm1
2017-02-06 12:45
824
funct_6__1379_26.min1.thm1
2017-02-06 12:45
824
funct_6__166_21.min1.thm1
2017-02-06 12:45
824
funct_6__114_25.min1.thm1
2017-02-06 12:45
824
funct_6__1992_46.min1.thm1
2017-02-06 12:45
823
funct_6__1599_19.min1.thm1
2017-02-06 12:45
823
funct_6__2095_17.min1.thm1
2017-02-06 12:45
820
funct_6__1933_43.min1.thm1
2017-02-06 12:45
820
funct_6__748_19.min1.thm1
2017-02-06 12:45
820
funct_6__1610_8.min1.thm1
2017-02-06 12:45
818
funct_6__1996_18.min1.thm1
2017-02-06 12:45
813
funct_6__149_26.min1.thm1
2017-02-06 12:45
813
funct_6__1483_44.min1.thm1
2017-02-06 12:45
812
funct_6__1702_45.min1.thm1
2017-02-06 12:45
811
funct_6__1651_24.min1.thm1
2017-02-06 12:45
803
funct_6__1587_27.min1.thm1
2017-02-06 12:45
803
funct_6__1953_19.min1.thm1
2017-02-06 12:45
801
funct_6__1213_40.min1.thm1
2017-02-06 12:45
801
funct_6__163_23.min1.thm1
2017-02-06 12:45
801
funct_6__116_28.min1.thm1
2017-02-06 12:45
801
funct_6__1223_26.min1.thm1
2017-02-06 12:45
800
funct_6__429_30.min1.thm1
2017-02-06 12:45
799
funct_6__2255_21.min1.thm1.tptp
2017-02-06 16:47
798
funct_6__2229_56.min1.thm1.tptp
2017-02-06 16:47
798
funct_6__2006_29.min1.thm1
2017-02-06 12:45
798
funct_6__1147_26.min1.thm1
2017-02-06 12:45
797
funct_6__1097_42.min1.thm1
2017-02-06 12:45
797
funct_6__160_38.min1.thm1
2017-02-06 12:45
796
funct_6__1243_40.min1.thm1
2017-02-06 12:45
795
funct_6__2358_21.min1.thm1
2017-02-06 12:45
794
funct_6__1387_19.min1.thm1
2017-02-06 12:45
793
funct_6__2617_36.min1.thm1
2017-02-06 12:45
792
funct_6__1384_24.min1.thm1
2017-02-06 12:45
792
funct_6__54_43.min1.thm1
2017-02-06 12:45
792
funct_6__2597_36.min1.thm1
2017-02-06 12:45
791
funct_6__2015_21.min1.thm1
2017-02-06 12:45
791
funct_6__123_22.min1.thm1
2017-02-06 12:45
789
funct_6__961_29.min1.thm1
2017-02-06 12:45
788
funct_6__1710_23.min1.thm1
2017-02-06 12:45
786
funct_6__1153_24.min1.thm1
2017-02-06 12:45
786
funct_6__146_39.min1.thm1
2017-02-06 12:45
786
funct_6__2146_17.min1.thm1
2017-02-06 12:45
780
funct_6__1717_51.min1.thm1
2017-02-06 12:45
780
funct_6__2095_17.min1.thm1.tptp
2017-02-06 16:47
778
funct_6__1435_21.min1.thm1
2017-02-06 12:45
778
funct_6__1434_21.min1.thm1
2017-02-06 12:45
778
funct_6__688_31.min1.thm1
2017-02-06 12:45
778
funct_6__493_45.min1.thm1
2017-02-06 12:45
776
funct_6__1168_28.min1.thm1
2017-02-06 12:45
775
funct_6__2532_39.min1.thm1
2017-02-06 12:45
774
funct_6__2505_37.min1.thm1
2017-02-06 12:45
774
funct_6__474_41.min1.thm1
2017-02-06 12:45
772
funct_6__302_52.min1.thm1
2017-02-06 12:45
772
funct_6__295_28.min1.thm1
2017-02-06 12:45
770
funct_6__1023_15.min1.thm1
2017-02-06 12:45
769
funct_6__1005_20.min1.thm1
2017-02-06 12:45
769
funct_6__1626_12.min1.thm1
2017-02-06 12:45
768
funct_6__1582_71.min1.thm1
2017-02-06 12:45
768
funct_6__1977_43.min1.thm1
2017-02-06 12:45
767
funct_6__2241_19.min1.thm1
2017-02-06 12:45
766
funct_6__1397_29.min1.thm1
2017-02-06 12:45
766
funct_6__869_37.min1.thm1
2017-02-06 12:45
766
funct_6__463_54.min1.thm1
2017-02-06 12:45
766
funct_6__1920_38.min1.thm1
2017-02-06 12:45
764
funct_6__379_45.min1.thm1
2017-02-06 12:45
763
funct_6__934_24.min1.thm1
2017-02-06 12:45
762
funct_6__2468_48.min1.thm1
2017-02-06 12:45
761
funct_6__2300_52.min1.thm1
2017-02-06 12:45
761
funct_6__1199_36.min1.thm1
2017-02-06 12:45
761
funct_6__1139_36.min1.thm1
2017-02-06 12:45
761
funct_6__458_59.min1.thm1
2017-02-06 12:45
761
funct_6__1140_37.min1.thm1
2017-02-06 12:45
760
funct_6__841_37.min1.thm1
2017-02-06 12:45
760
funct_6__1288_36.min1.thm1
2017-02-06 12:45
759
funct_6__1198_36.min1.thm1
2017-02-06 12:45
759
funct_6__1169_36.min1.thm1
2017-02-06 12:45
759
funct_6__1113_36.min1.thm1
2017-02-06 12:45
759
funct_6__811_36.min1.thm1
2017-02-06 12:45
759
funct_6__1709_21.min1.thm1
2017-02-06 12:45
758
funct_6__897_35.min1.thm1
2017-02-06 12:45
758
funct_6__888_31.min1.thm1
2017-02-06 12:45
758
funct_6__876_35.min1.thm1
2017-02-06 12:45
758
funct_6__2545_24.min1.thm1
2017-02-06 12:45
756
funct_6__547_19.min1.thm1
2017-02-06 12:45
755
funct_6__2061_26.min1.thm1
2017-02-06 12:45
752
funct_6__850_19.min1.thm1
2017-02-06 12:45
752
funct_6__2618_19.min1.thm1
2017-02-06 12:45
751
funct_6__2598_19.min1.thm1
2017-02-06 12:45
751
funct_6__2363_42.min1.thm1
2017-02-06 12:45
751
funct_6__1145_33.min1.thm1
2017-02-06 12:45
751
funct_6__2514_22.min1.thm1
2017-02-06 12:45
750
funct_6__1506_32.min1.thm1
2017-02-06 12:45
750
funct_6__825_28.min1.thm1
2017-02-06 12:45
750
funct_6__838_20.min1.thm1
2017-02-06 12:45
748
funct_6__158_38.min1.thm1
2017-02-06 12:45
746
funct_6__257_36.min1.thm1
2017-02-06 12:45
745
funct_6__235_36.min1.thm1
2017-02-06 12:45
745
funct_6__2404_42.min1.thm1
2017-02-06 12:45
744
funct_6__1129_22.min1.thm1
2017-02-06 12:45
744
funct_6__1719_13.min1.thm1
2017-02-06 12:45
742
funct_6__1650_24.min1.thm1
2017-02-06 12:45
742
funct_6__1295_22.min1.thm1
2017-02-06 12:45
742
funct_6__1375_36.min1.thm1
2017-02-06 12:45
741
funct_6__1374_36.min1.thm1
2017-02-06 12:45
741
funct_6__2372_21.min1.thm1
2017-02-06 12:45
739
funct_6__1484_28.min1.thm1
2017-02-06 12:45
737
funct_6__125_19.min1.thm1
2017-02-06 12:45
736
funct_6__1246_24.min1.thm1
2017-02-06 12:45
735
funct_6__1229_29.min1.thm1
2017-02-06 12:45
735
funct_6__65_17.min1.thm1
2017-02-06 12:45
735
funct_6__1596_73.min1.thm1
2017-02-06 12:45
732
funct_6__1574_73.min1.thm1
2017-02-06 12:45
732
funct_6__1471_19.min1.thm1
2017-02-06 12:45
732
funct_6__604_41.min1.thm1
2017-02-06 12:45
731
funct_6__920_27.min1.thm1
2017-02-06 12:45
730
funct_6__845_59.min1.thm1
2017-02-06 12:45
730
funct_6__446_19.min1.thm1
2017-02-06 12:45
730
funct_6__1535_20.min1.thm1
2017-02-06 12:45
728
funct_6__764_30.min1.thm1
2017-02-06 12:45
728
funct_6__484_56.min1.thm1
2017-02-06 12:45
728
funct_6__457_52.min1.thm1
2017-02-06 12:45
728
funct_6__670_26.min1.thm1
2017-02-06 12:45
727
funct_6__643_26.min1.thm1
2017-02-06 12:45
725
funct_6__144_39.min1.thm1
2017-02-06 12:45
724
funct_6__1717_51.min1.thm1.tptp
2017-02-06 16:47
723
funct_6__1270_13.min1.thm1
2017-02-06 12:45
723
funct_6__2398_69.min1.thm1
2017-02-06 12:45
722
funct_6__549_17.min1.thm1
2017-02-06 12:45
722
funct_6__656_16.min1.thm1
2017-02-06 12:45
720
funct_6__122_21.min1.thm1
2017-02-06 12:45
720
funct_6__2004_34.min1.thm1
2017-02-06 12:45
719
funct_6__899_19.min1.thm1
2017-02-06 12:45
718
funct_6__878_19.min1.thm1
2017-02-06 12:45
718
funct_6__629_16.min1.thm1
2017-02-06 12:45
718
funct_6__1960_33.min1.thm1
2017-02-06 12:45
717
funct_6__1582_71.min1.thm1.tptp
2017-02-06 16:47
717
funct_6__2394_38.min1.thm1
2017-02-06 12:45
715
funct_6__2388_40.min1.thm1
2017-02-06 12:45
715
funct_6__1626_12.min1.thm1.tptp
2017-02-06 16:47
715
funct_6__1981_29.min1.thm1
2017-02-06 12:45
711
funct_6__1517_35.min1.thm1
2017-02-06 12:45
711
funct_6__1148_18.min1.thm1
2017-02-06 12:45
711
funct_6__827_17.min1.thm1
2017-02-06 12:45
710
funct_6__2449_28.min1.thm1
2017-02-06 12:45
709
funct_6__462_47.min1.thm1
2017-02-06 12:45
707
funct_6__1398_20.min1.thm1
2017-02-06 12:45
706
funct_6__2277_30.min1.thm1
2017-02-06 12:45
704
funct_6__2242_35.min1.thm1
2017-02-06 12:45
704
funct_6__2206_29.min1.thm1
2017-02-06 12:45
703
funct_6__357_51.min1.thm1
2017-02-06 12:45
703
funct_6__2512_66.min1.thm1
2017-02-06 12:45
702
funct_6__2389_27.min1.thm1
2017-02-06 12:45
702
funct_6__2529_66.min1.thm1
2017-02-06 12:45
701
funct_6__376_54.min1.thm1
2017-02-06 12:45
701
funct_6__2509_24.min1.thm1
2017-02-06 12:45
698
funct_6__2418_28.min1.thm1
2017-02-06 12:45
698
funct_6__1859_34.min1.thm1
2017-02-06 12:45
695
funct_6__1060_34.min1.thm1
2017-02-06 12:45
695
funct_6__448_17.min1.thm1
2017-02-06 12:45
695
funct_6__161_24.min1.thm1
2017-02-06 12:45
693
funct_6__831_38.min1.thm1
2017-02-06 12:45
691
funct_6__727_53.min1.thm1
2017-02-06 12:45
691
funct_6__719_53.min1.thm1
2017-02-06 12:45
689
funct_6__2378_21.min1.thm1
2017-02-06 12:45
688
funct_6__2321_17.min1.thm1
2017-02-06 12:45
687
funct_6__1442_34.min1.thm1
2017-02-06 12:45
683
funct_6__1436_34.min1.thm1
2017-02-06 12:45
682
funct_6__2103_34.min1.thm1
2017-02-06 12:45
681
funct_6__2567_37.min1.thm1
2017-02-06 12:45
680
funct_6__1596_73.min1.thm1.tptp
2017-02-06 16:47
679
funct_6__1574_73.min1.thm1.tptp
2017-02-06 16:47
679
funct_6__1863_17.min1.thm1
2017-02-06 12:45
677
funct_6__1745_38.min1.thm1
2017-02-06 12:45
675
funct_6__1690_21.min1.thm1
2017-02-06 12:45
674
funct_6__1686_21.min1.thm1
2017-02-06 12:45
674
funct_6__1532_68.min1.thm1
2017-02-06 12:45
674
funct_6__2173_26.min1.thm1
2017-02-06 12:45
673
funct_6__1802_26.min1.thm1
2017-02-06 12:45
673
funct_6__2393_53.min1.thm1
2017-02-06 12:45
672
funct_6__2448_53.min1.thm1
2017-02-06 12:45
671
funct_6__868_21.min1.thm1
2017-02-06 12:45
671
funct_6__1967_21.min1.thm1
2017-02-06 12:45
670
funct_6__147_25.min1.thm1
2017-02-06 12:45
670
funct_6__2586_20.min1.thm1
2017-02-06 12:45
668
funct_6__808_12.min1.thm1
2017-02-06 12:45
668
funct_6__1279_71.min1.thm1
2017-02-06 12:45
667
funct_6__425_23.min1.thm1
2017-02-06 12:45
667
funct_6__942_30.min1.thm1
2017-02-06 12:45
665
funct_6__1222_39.min1.thm1
2017-02-06 12:45
663
funct_6__2535_75.min1.thm1
2017-02-06 12:45
662
funct_6__1615_21.min1.thm1
2017-02-06 12:45
661
funct_6__473_34.min1.thm1
2017-02-06 12:45
658
funct_6__294_18.min1.thm1
2017-02-06 12:45
654
funct_6__2047_20.min1.thm1
2017-02-06 12:45
652
funct_6__606_46.min1.thm1
2017-02-06 12:45
651
funct_6__117_21.min1.thm1
2017-02-06 12:45
650
funct_6__1398_20.min1.thm1.tptp
2017-02-06 16:47
647
funct_6__1439_17.min1.thm1
2017-02-06 12:45
646
funct_6__1301_17.min1.thm1
2017-02-06 12:45
645
funct_6__985_22.min1.thm1
2017-02-06 12:45
645
funct_6__1862_19.min1.thm1
2017-02-06 12:45
642
funct_6__2383_31.min1.thm1
2017-02-06 12:45
638
funct_6__1428_33.min1.thm1
2017-02-06 12:45
638
funct_6__1297_33.min1.thm1
2017-02-06 12:45
638
funct_6__982_33.min1.thm1
2017-02-06 12:45
638
funct_6__2337_24.min1.thm1
2017-02-06 12:45
637
funct_6__1979_23.min1.thm1
2017-02-06 12:45
637
funct_6__2537_67.min1.thm1
2017-02-06 12:45
636
funct_6__2507_67.min1.thm1
2017-02-06 12:45
636
funct_6__1818_16.min1.thm1
2017-02-06 12:45
636
funct_6__2004_34.min1.thm1.tptp
2017-02-06 16:47
633
funct_6__1305_30.min1.thm1
2017-02-06 12:45
632
funct_6__1019_17.min1.thm1
2017-02-06 12:45
631
funct_6__686_15.min1.thm1
2017-02-06 12:45
628
funct_6__470_33.min1.thm1
2017-02-06 12:45
628
funct_6__747_25.min1.thm1
2017-02-06 12:45
620
funct_6__471_46.min1.thm1
2017-02-06 12:45
620
funct_6__261_36.min1.thm1
2017-02-06 12:45
620
funct_6__239_36.min1.thm1
2017-02-06 12:45
620
funct_6__2475_15.min1.thm1
2017-02-06 12:45
619
funct_6__2275_20.min1.thm1
2017-02-06 12:45
619
funct_6__2272_20.min1.thm1
2017-02-06 12:45
619
funct_6__2535_75.min1.thm1.tptp
2017-02-06 16:47
618
funct_6__1745_38.min1.thm1.tptp
2017-02-06 16:47
618
funct_6__1690_21.min1.thm1.tptp
2017-02-06 16:47
617
funct_6__1686_21.min1.thm1.tptp
2017-02-06 16:47
617
funct_6__2393_53.min1.thm1.tptp
2017-02-06 16:47
615
funct_6__1497_16.min1.thm1
2017-02-06 12:45
615
funct_6__1656_38.min1.thm1
2017-02-06 12:45
613
funct_6__1394_17.min1.thm1
2017-02-06 12:45
611
funct_6__1676_20.min1.thm1
2017-02-06 12:45
610
funct_6__2371_16.min1.thm1
2017-02-06 12:45
608
funct_6__2216_16.min1.thm1
2017-02-06 12:45
608
funct_6__1442_34.min1.thm1.tptp
2017-02-06 16:47
608
funct_6__536_45.min1.thm1
2017-02-06 12:45
608
funct_6__442_45.min1.thm1
2017-02-06 12:45
608
funct_6__1436_34.min1.thm1.tptp
2017-02-06 16:47
607
funct_6__1251_19.min1.thm1
2017-02-06 12:45
606
funct_6__2143_22.min1.thm1
2017-02-06 12:45
603
funct_6__2341_35.min1.thm1
2017-02-06 12:45
602
funct_6__905_21.min1.thm1
2017-02-06 12:45
602
funct_6__1564_63.min1.thm1
2017-02-06 12:45
601
funct_6__1430_18.min1.thm1
2017-02-06 12:45
598
funct_6__1299_17.min1.thm1
2017-02-06 12:45
598
funct_6__1004_15.min1.thm1
2017-02-06 12:45
598
funct_6__984_17.min1.thm1
2017-02-06 12:45
598
funct_6__1819_33.min1.thm1
2017-02-06 12:45
596
funct_6__2453_37.min1.thm1
2017-02-06 12:45
595
funct_6__1485_15.min1.thm1
2017-02-06 12:45
595
funct_6__2537_67.min1.thm1.tptp
2017-02-06 16:47
592
funct_6__2507_67.min1.thm1.tptp
2017-02-06 16:47
592
funct_6__2318_15.min1.thm1
2017-02-06 12:45
588
funct_6__1940_15.min1.thm1
2017-02-06 12:45
588
funct_6__1729_15.min1.thm1
2017-02-06 12:45
588
funct_6__1320_28.min1.thm1
2017-02-06 12:45
588
funct_6__1205_15.min1.thm1
2017-02-06 12:45
588
funct_6__755_40.min1.thm1
2017-02-06 12:45
588
funct_6__529_27.min1.thm1
2017-02-06 12:45
588
funct_6__415_14.min1.thm1
2017-02-06 12:45
588
funct_6__2475_15.min1.thm1.tptp
2017-02-06 16:47
586
funct_6__2159_16.min1.thm1
2017-02-06 12:45
586
funct_6__1788_16.min1.thm1
2017-02-06 12:45
586
funct_6__63_19.min1.thm1
2017-02-06 12:45
586
funct_6__669_32.min1.thm1
2017-02-06 12:45
585
funct_6__642_32.min1.thm1
2017-02-06 12:45
583
funct_6__2026_28.min1.thm1
2017-02-06 12:45
582
funct_6__602_39.min1.thm1
2017-02-06 12:45
582
funct_6__1771_41.min1.thm1
2017-02-06 12:45
581
funct_6__2330_26.min1.thm1
2017-02-06 12:45
580
funct_6__1980_37.min1.thm1
2017-02-06 12:45
580
funct_6__974_33.min1.thm1
2017-02-06 12:45
580
funct_6__959_27.min1.thm1
2017-02-06 12:45
580
funct_6__924_14.min1.thm1
2017-02-06 12:45
579
funct_6__1861_15.min1.thm1
2017-02-06 12:45
578
funct_6__315_40.min1.thm1
2017-02-06 12:45
578
funct_6__61_27.min1.thm1
2017-02-06 12:45
578
funct_6__746_24.min1.thm1
2017-02-06 12:45
574
funct_6__492_32.min1.thm1
2017-02-06 12:45
570
funct_6__488_31.min1.thm1
2017-02-06 12:45
570
funct_6__365_33.min1.thm1
2017-02-06 12:45
570
funct_6__361_32.min1.thm1
2017-02-06 12:45
570
funct_6__320_38.min1.thm1
2017-02-06 12:45
570
funct_6__1991_34.min1.thm1
2017-02-06 12:45
568
funct_6__2386_38.min1.thm1
2017-02-06 12:45
567
funct_6__328_29.min1.thm1
2017-02-06 12:45
567
funct_6__774_33.min1.thm1
2017-02-06 12:45
566
funct_6__1627_33.min1.thm1
2017-02-06 12:45
565
funct_6__2275_20.min1.thm1.tptp
2017-02-06 16:47
562
funct_6__2272_20.min1.thm1.tptp
2017-02-06 16:47
562
funct_6__300_34.min1.thm1
2017-02-06 12:45
562
funct_6__220_36.min1.thm1
2017-02-06 12:45
562
funct_6__98_34.min1.thm1
2017-02-06 12:45
562
funct_6__82_36.min1.thm1
2017-02-06 12:45
562
funct_6__1273_17.min1.thm1
2017-02-06 12:45
559
funct_6__773_26.min1.thm1
2017-02-06 12:45
558
funct_6__470_33.min1.thm1.tptp
2017-02-06 16:47
557
funct_6__1988_35.min1.thm1
2017-02-06 12:45
554
funct_6__586_61.min1.thm1
2017-02-06 12:45
554
funct_6__2136_26.min1.thm1
2017-02-06 12:45
552
funct_6__1820_25.min1.thm1
2017-02-06 12:45
552
funct_6__2002_36.min1.thm1
2017-02-06 12:45
549
funct_6__1750_17.min1.thm1
2017-02-06 12:45
547
funct_6__471_46.min1.thm1.tptp
2017-02-06 16:47
547
funct_6__1983_27.min1.thm1
2017-02-06 12:45
545
funct_6__1564_63.min1.thm1.tptp
2017-02-06 16:47
545
funct_6__2232_32.min1.thm1
2017-02-06 12:45
540
funct_6__1508_24.min1.thm1
2017-02-06 12:45
540
funct_6__788_37.min1.thm1
2017-02-06 12:45
537
funct_6__2330_26.min1.thm1.tptp
2017-02-06 16:47
536
funct_6__127_28.min1.thm1
2017-02-06 12:45
536
funct_6__1822_31.min1.thm1
2017-02-06 12:45
535
funct_6__705_27.min1.thm1
2017-02-06 12:45
535
funct_6__277_32.min1.thm1
2017-02-06 12:45
535
funct_6__1565_16.min1.thm1
2017-02-06 12:45
532
funct_6__2172_33.min1.thm1
2017-02-06 12:45
531
funct_6__1801_33.min1.thm1
2017-02-06 12:45
531
funct_6__279_25.min1.thm1
2017-02-06 12:45
531
funct_6__2143_22.min1.thm1.tptp
2017-02-06 16:47
529
funct_6__986_22.min1.thm1
2017-02-06 12:45
529
funct_6__1851_26.min1.thm1
2017-02-06 12:45
528
funct_6__1529_26.min1.thm1
2017-02-06 12:45
526
funct_6__2453_37.min1.thm1.tptp
2017-02-06 16:47
525
funct_6__1395_31.min1.thm1
2017-02-06 12:45
523
funct_6__1722_24.min1.thm1
2017-02-06 12:45
522
funct_6__150_37.min1.thm1
2017-02-06 12:45
522
funct_6__2119_19.min1.thm1
2017-02-06 12:45
520
funct_6__465_26.min1.thm1
2017-02-06 12:45
520
funct_6__164_35.min1.thm1
2017-02-06 12:45
520
funct_6__898_44.min1.thm1
2017-02-06 12:45
518
funct_6__877_44.min1.thm1
2017-02-06 12:45
518
funct_6__2193_37.min1.thm1
2017-02-06 12:45
517
funct_6__1669_11.min1.thm1
2017-02-06 12:45
517
funct_6__460_26.min1.thm1
2017-02-06 12:45
516
funct_6__1536_25.min1.thm1
2017-02-06 12:45
513
funct_6__1498_24.min1.thm1
2017-02-06 12:45
513
funct_6__867_17.min1.thm1
2017-02-06 12:45
513
funct_6__2432_24.min1.thm1
2017-02-06 12:45
512
funct_6__1836_24.min1.thm1
2017-02-06 12:45
512
funct_6__789_22.min1.thm1
2017-02-06 12:45
512
funct_6__607_17.min1.thm1
2017-02-06 12:45
509
funct_6__1429_42.min1.thm1
2017-02-06 12:45
508
funct_6__1298_42.min1.thm1
2017-02-06 12:45
508
funct_6__1207_43.min1.thm1
2017-02-06 12:45
508
funct_6__1146_42.min1.thm1
2017-02-06 12:45
508
funct_6__983_42.min1.thm1
2017-02-06 12:45
508
funct_6__826_42.min1.thm1
2017-02-06 12:45
508
funct_6__669_32.min1.thm1.tptp
2017-02-06 16:47
508
funct_6__278_24.min1.thm1
2017-02-06 12:45
508
funct_6__243_25.min1.thm1
2017-02-06 12:45
508
funct_6__221_24.min1.thm1
2017-02-06 12:45
508
funct_6__1020_29.min1.thm1
2017-02-06 12:45
507
funct_6__708_51.min1.thm1
2017-02-06 12:45
507
funct_6__687_29.min1.thm1
2017-02-06 12:45
507
funct_6__642_32.min1.thm1.tptp
2017-02-06 16:47
506
funct_6__2451_71.min1.thm1
2017-02-06 12:45
503
funct_6__1771_41.min1.thm1.tptp
2017-02-06 16:47
501
funct_6__492_32.min1.thm1.tptp
2017-02-06 16:47
499
funct_6__488_31.min1.thm1.tptp
2017-02-06 16:47
499
funct_6__365_33.min1.thm1.tptp
2017-02-06 16:47
499
funct_6__361_32.min1.thm1.tptp
2017-02-06 16:47
499
funct_6__921_32.min1.thm1
2017-02-06 12:45
496
funct_6__435_15.min1.thm1
2017-02-06 12:45
496
funct_6__1627_33.min1.thm1.tptp
2017-02-06 16:47
492
funct_6__2311_36.min1.thm1
2017-02-06 12:45
487
funct_6__2344_27.min1.thm1
2017-02-06 12:45
486
funct_6__2002_36.min1.thm1.tptp
2017-02-06 16:47
486
funct_6__1613_23.min1.thm1
2017-02-06 12:45
486
funct_6__989_28.min1.thm1
2017-02-06 12:45
485
funct_6__964_28.min1.thm1
2017-02-06 12:45
485
funct_6__1441_23.min1.thm1
2017-02-06 12:45
478
funct_6__1273_17.min1.thm1.tptp
2017-02-06 16:47
473
funct_6__2039_34.min1.thm1
2017-02-06 12:45
464
funct_6__2033_34.min1.thm1
2017-02-06 12:45
464
funct_6__1748_27.min1.thm1
2017-02-06 12:45
464
funct_6__605_33.min1.thm1
2017-02-06 12:45
458
funct_6__150_37.min1.thm1.tptp
2017-02-06 16:47
455
funct_6__2172_33.min1.thm1.tptp
2017-02-06 16:47
454
funct_6__1801_33.min1.thm1.tptp
2017-02-06 16:47
454
funct_6__607_17.min1.thm1.tptp
2017-02-06 16:47
454
funct_6__2384_39.min1.thm1
2017-02-06 12:45
453
funct_6__898_44.min1.thm1.tptp
2017-02-06 16:47
453
funct_6__877_44.min1.thm1.tptp
2017-02-06 16:47
453
funct_6__164_35.min1.thm1.tptp
2017-02-06 16:47
453
funct_6__2074_33.min1.thm1
2017-02-06 12:45
450
funct_6__2069_33.min1.thm1
2017-02-06 12:45
450
funct_6__465_26.min1.thm1.tptp
2017-02-06 16:47
449
funct_6__1563_34.min1.thm1
2017-02-06 12:45
445
funct_6__460_26.min1.thm1.tptp
2017-02-06 16:47
445
funct_6__1429_42.min1.thm1.tptp
2017-02-06 16:47
443
funct_6__1298_42.min1.thm1.tptp
2017-02-06 16:47
443
funct_6__1207_43.min1.thm1.tptp
2017-02-06 16:47
443
funct_6__1146_42.min1.thm1.tptp
2017-02-06 16:47
443
funct_6__983_42.min1.thm1.tptp
2017-02-06 16:47
443
funct_6__826_42.min1.thm1.tptp
2017-02-06 16:47
443
funct_6__1178_36.min1.thm1
2017-02-06 12:45
440
funct_6__2104_32.min1.thm1
2017-02-06 12:45
438
funct_6__594_17.min1.thm1
2017-02-06 12:45
438
funct_6__756_19.min1.thm1
2017-02-06 12:45
437
funct_6__2350_23.min1.thm1
2017-02-06 12:45
436
funct_6__2222_30.min1.thm1
2017-02-06 12:45
432
funct_6__75_32.min1.thm1
2017-02-06 12:45
430
funct_6__921_32.min1.thm1.tptp
2017-02-06 16:47
425
funct_6__2353_30.min1.thm1
2017-02-06 12:45
424
funct_6__1585_32.min1.thm1
2017-02-06 12:45
422
funct_6__1583_23.min1.thm1
2017-02-06 12:45
420
funct_6__963_31.min1.thm1
2017-02-06 12:45
418
funct_6__2344_27.min1.thm1.tptp
2017-02-06 16:47
417
funct_6__989_28.min1.thm1.tptp
2017-02-06 16:47
416
funct_6__964_28.min1.thm1.tptp
2017-02-06 16:47
416
funct_6__2205_22.min1.thm1
2017-02-06 12:45
413
funct_6__603_29.min1.thm1
2017-02-06 12:45
413
funct_6__605_33.min1.thm1.tptp
2017-02-06 16:47
403
funct_6__1671_19.min1.thm1
2017-02-06 12:45
402
funct_6__2332_23.min1.thm1
2017-02-06 12:45
400
funct_6__2039_34.min1.thm1.tptp
2017-02-06 16:47
396
funct_6__2033_34.min1.thm1.tptp
2017-02-06 16:47
396
funct_6__846_33.min1.thm1
2017-02-06 12:45
392
funct_6__2016_31.min1.thm1
2017-02-06 12:45
391
funct_6__947_30.min1.thm1
2017-02-06 12:45
391
funct_6__520_28.min1.thm1
2017-02-06 12:45
390
funct_6__403_30.min1.thm1
2017-02-06 12:45
390
funct_6__594_17.min1.thm1.tptp
2017-02-06 16:47
386
funct_6__58_28.min1.thm1
2017-02-06 12:45
385
funct_6__210_28.min1.thm1
2017-02-06 12:45
384
funct_6__2074_33.min1.thm1.tptp
2017-02-06 16:47
382
funct_6__2069_33.min1.thm1.tptp
2017-02-06 16:47
382
funct_6__615_17.min1.thm1
2017-02-06 12:45
380
funct_6__2222_30.min1.thm1.tptp
2017-02-06 16:47
377
funct_6__1265_25.min1.thm1
2017-02-06 12:45
377
funct_6__2384_39.min1.thm1.tptp
2017-02-06 16:47
376
funct_6__1468_28.min1.thm1
2017-02-06 12:45
372
funct_6__2104_32.min1.thm1.tptp
2017-02-06 16:47
371
funct_6__2353_30.min1.thm1.tptp
2017-02-06 16:47
369
funct_6__1585_32.min1.thm1.tptp
2017-02-06 16:47
367
funct_6__531_37.min1.thm1
2017-02-06 12:45
367
funct_6__417_37.min1.thm1
2017-02-06 12:45
367
funct_6__756_19.min1.thm1.tptp
2017-02-06 16:47
365
funct_6__75_32.min1.thm1.tptp
2017-02-06 16:47
365
funct_6__1563_34.min1.thm1.tptp
2017-02-06 16:47
364
funct_6__580_16.min1.thm1
2017-02-06 12:45
364
funct_6__1178_36.min1.thm1.tptp
2017-02-06 16:47
363
funct_6__2196_15.min1.thm1
2017-02-06 12:45
360
funct_6__603_29.min1.thm1.tptp
2017-02-06 16:47
358
funct_6__564_16.min1.thm1
2017-02-06 12:45
354
funct_6__963_31.min1.thm1.tptp
2017-02-06 16:47
340
funct_6__2205_22.min1.thm1.tptp
2017-02-06 16:47
336
funct_6__1516_46.min1.thm1
2017-02-06 12:45
332
funct_6__1462_13.min1.thm1
2017-02-06 12:45
331
funct_6__1671_19.min1.thm1.tptp
2017-02-06 16:47
330
funct_6__593_40.min1.thm1
2017-02-06 12:45
326
funct_6__615_17.min1.thm1.tptp
2017-02-06 16:47
325
funct_6__2332_23.min1.thm1.tptp
2017-02-06 16:47
323
funct_6__846_33.min1.thm1.tptp
2017-02-06 16:47
319
funct_6__2016_31.min1.thm1.tptp
2017-02-06 16:47
318
funct_6__947_30.min1.thm1.tptp
2017-02-06 16:47
318
funct_6__520_28.min1.thm1.tptp
2017-02-06 16:47
317
funct_6__403_30.min1.thm1.tptp
2017-02-06 16:47
317
funct_6__1265_25.min1.thm1.tptp
2017-02-06 16:47
312
funct_6__58_28.min1.thm1.tptp
2017-02-06 16:47
312
funct_6__210_28.min1.thm1.tptp
2017-02-06 16:47
311
funct_6__2416_16.min1.thm1
2017-02-06 12:45
302
funct_6__601_26.min1.thm1
2017-02-06 12:45
301
funct_6__1636_14.min1.thm1
2017-02-06 12:45
286
funct_6__1987_21.min1.thm1
2017-02-06 12:45
283
funct_6__2196_15.min1.thm1.tptp
2017-02-06 16:47
280
funct_6__873_17.min1.thm1
2017-02-06 12:45
275
funct_6__1462_13.min1.thm1.tptp
2017-02-06 16:47
266
funct_6__1603_13.min1.thm1
2017-02-06 12:45
238
funct_6__1670_21.min1.thm1
2017-02-06 12:45
236
funct_6__601_26.min1.thm1.tptp
2017-02-06 16:47
227
funct_6__1376_15.min1.thm1
2017-02-06 12:45
208
funct_6__1052_29.min1.thm1
2017-02-06 12:45
134
funct_6__2194_31.min1.thm1
2017-02-06 12:45
130
funct_6__782_13.min1.thm1
2017-02-06 12:45
130
funct_6__676_13.min1.thm1
2017-02-06 12:45
130
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80