Index of /~mptp/7.13.01_4.181.1147/MPTP2/ilp0/vectsp_5
Name
Last modified
Size
Description
Parent Directory
-
vectsp_5__2199_17.min1.thm1
2017-02-06 12:46
1.6K
vectsp_5__2179_33.min1.thm1
2017-02-06 12:46
1.7K
vectsp_5__2177_16.min1.thm1
2017-02-06 12:46
1.3K
vectsp_5__2173_30.min1.thm1
2017-02-06 12:46
2.0K
vectsp_5__2169_34.min1.thm1
2017-02-06 12:46
1.6K
vectsp_5__2164_19.min1.thm1
2017-02-06 12:46
1.3K
vectsp_5__2161_14.min1.thm1
2017-02-06 12:46
1.9K
vectsp_5__2154_36.min1.thm1.tptp
2017-02-06 16:46
257
vectsp_5__2154_36.min1.thm1
2017-02-06 12:46
343
vectsp_5__2152_36.min1.thm1.tptp
2017-02-06 16:46
257
vectsp_5__2152_36.min1.thm1
2017-02-06 12:46
343
vectsp_5__2150_48.min1.thm1
2017-02-06 12:46
1.6K
vectsp_5__2148_32.min1.thm1.tptp
2017-02-06 16:46
493
vectsp_5__2148_32.min1.thm1
2017-02-06 12:46
566
vectsp_5__2147_32.min1.thm1.tptp
2017-02-06 16:46
493
vectsp_5__2147_32.min1.thm1
2017-02-06 12:46
566
vectsp_5__2146_15.min1.thm1
2017-02-06 12:46
2.3K
vectsp_5__2122_27.min1.thm1
2017-02-06 12:46
1.9K
vectsp_5__2101_14.min1.thm1.tptp
2017-02-06 16:46
1.7K
vectsp_5__2101_14.min1.thm1
2017-02-06 12:46
1.7K
vectsp_5__2100_26.min1.thm1
2017-02-06 12:46
3.1K
vectsp_5__2090_30.min1.thm1
2017-02-06 12:46
1.9K
vectsp_5__2085_30.min1.thm1
2017-02-06 12:46
1.9K
vectsp_5__2081_33.min1.thm1
2017-02-06 12:46
1.6K
vectsp_5__2075_48.min1.thm1
2017-02-06 12:46
1.5K
vectsp_5__2062_13.min1.thm1
2017-02-06 12:46
1.8K
vectsp_5__2059_13.min1.thm1
2017-02-06 12:46
1.8K
vectsp_5__2035_19.min1.thm1
2017-02-06 12:46
1.8K
vectsp_5__1935_28.min1.thm1
2017-02-06 12:46
1.6K
vectsp_5__1934_15.min1.thm1
2017-02-06 12:46
1.6K
vectsp_5__1932_15.min1.thm1
2017-02-06 12:46
1.6K
vectsp_5__1930_58.min1.thm1
2017-02-06 12:46
603
vectsp_5__1913_20.min1.thm1
2017-02-06 12:46
690
vectsp_5__1910_16.min1.thm1
2017-02-06 12:46
2.1K
vectsp_5__1908_16.min1.thm1
2017-02-06 12:46
2.1K
vectsp_5__1887_27.min1.thm1
2017-02-06 12:46
1.6K
vectsp_5__1886_15.min1.thm1
2017-02-06 12:46
1.6K
vectsp_5__1884_15.min1.thm1
2017-02-06 12:46
1.6K
vectsp_5__1882_58.min1.thm1
2017-02-06 12:46
603
vectsp_5__1865_20.min1.thm1
2017-02-06 12:46
690
vectsp_5__1862_16.min1.thm1
2017-02-06 12:46
2.1K
vectsp_5__1860_16.min1.thm1
2017-02-06 12:46
2.1K
vectsp_5__1840_17.min1.thm1
2017-02-06 12:46
2.9K
vectsp_5__1839_31.min1.thm1
2017-02-06 12:46
1.8K
vectsp_5__1830_17.min1.thm1
2017-02-06 12:46
2.9K
vectsp_5__1829_31.min1.thm1
2017-02-06 12:46
1.8K
vectsp_5__1820_17.min1.thm1
2017-02-06 12:46
3.7K
vectsp_5__1819_31.min1.thm1
2017-02-06 12:46
1.8K
vectsp_5__1810_17.min1.thm1
2017-02-06 12:46
3.7K
vectsp_5__1809_31.min1.thm1
2017-02-06 12:46
1.8K
vectsp_5__1800_17.min1.thm1
2017-02-06 12:46
3.4K
vectsp_5__1799_31.min1.thm1
2017-02-06 12:46
1.8K
vectsp_5__1784_72.min1.thm1
2017-02-06 12:46
3.2K
vectsp_5__1783_30.min1.thm1
2017-02-06 12:46
2.9K
vectsp_5__1781_74.min1.thm1
2017-02-06 12:46
4.2K
vectsp_5__1779_35.min1.thm1
2017-02-06 12:46
1.7K
vectsp_5__1778_30.min1.thm1
2017-02-06 12:46
2.9K
vectsp_5__1767_72.min1.thm1
2017-02-06 12:46
3.2K
vectsp_5__1766_30.min1.thm1
2017-02-06 12:46
2.9K
vectsp_5__1764_74.min1.thm1
2017-02-06 12:46
4.2K
vectsp_5__1762_35.min1.thm1
2017-02-06 12:46
1.7K
vectsp_5__1761_30.min1.thm1
2017-02-06 12:46
2.9K
vectsp_5__1751_19.min1.thm1
2017-02-06 12:46
3.0K
vectsp_5__1750_23.min1.thm1
2017-02-06 12:46
3.2K
vectsp_5__1749_32.min1.thm1
2017-02-06 12:46
4.7K
vectsp_5__1741_19.min1.thm1
2017-02-06 12:46
3.5K
vectsp_5__1740_21.min1.thm1
2017-02-06 12:46
2.5K
vectsp_5__1736_35.min1.thm1
2017-02-06 12:46
2.0K
vectsp_5__1721_13.min1.thm1
2017-02-06 12:46
1.8K
vectsp_5__1720_17.min1.thm1
2017-02-06 12:46
1.8K
vectsp_5__1718_19.min1.thm1
2017-02-06 12:46
2.5K
vectsp_5__1717_31.min1.thm1
2017-02-06 12:46
2.7K
vectsp_5__1716_21.min1.thm1
2017-02-06 12:46
3.1K
vectsp_5__1715_22.min1.thm1
2017-02-06 12:46
2.0K
vectsp_5__1714_12.min1.thm1
2017-02-06 12:46
1.8K
vectsp_5__1713_20.min1.thm1
2017-02-06 12:46
2.0K
vectsp_5__1711_12.min1.thm1
2017-02-06 12:46
1.8K
vectsp_5__1709_29.min1.thm1
2017-02-06 12:46
2.6K
vectsp_5__1707_29.min1.thm1
2017-02-06 12:46
2.0K
vectsp_5__1706_25.min1.thm1
2017-02-06 12:46
2.1K
vectsp_5__1701_42.min1.thm1
2017-02-06 12:46
1.5K
vectsp_5__1699_20.min1.thm1
2017-02-06 12:46
2.9K
vectsp_5__1698_21.min1.thm1.tptp
2017-02-06 16:46
576
vectsp_5__1698_21.min1.thm1
2017-02-06 12:46
644
vectsp_5__1695_42.min1.thm1
2017-02-06 12:46
791
vectsp_5__1685_65.min1.thm1
2017-02-06 12:46
3.3K
vectsp_5__1675_17.min1.thm1
2017-02-06 12:46
2.4K
vectsp_5__1674_11.min1.thm1
2017-02-06 12:46
1.9K
vectsp_5__1673_18.min1.thm1
2017-02-06 12:46
2.0K
vectsp_5__1672_22.min1.thm1
2017-02-06 12:46
2.1K
vectsp_5__1670_18.min1.thm1
2017-02-06 12:46
3.4K
vectsp_5__1668_24.min1.thm1
2017-02-06 12:46
2.4K
vectsp_5__1667_15.min1.thm1
2017-02-06 12:46
2.2K
vectsp_5__1666_13.min1.thm1
2017-02-06 12:46
1.9K
vectsp_5__1664_24.min1.thm1
2017-02-06 12:46
2.1K
vectsp_5__1663_13.min1.thm1
2017-02-06 12:46
2.2K
vectsp_5__1662_20.min1.thm1
2017-02-06 12:46
1.9K
vectsp_5__1653_15.min1.thm1
2017-02-06 12:46
1.7K
vectsp_5__1652_53.min1.thm1
2017-02-06 12:46
1.5K
vectsp_5__1651_43.min1.thm1
2017-02-06 12:46
2.3K
vectsp_5__1633_33.min1.thm1
2017-02-06 12:46
2.3K
vectsp_5__1632_20.min1.thm1
2017-02-06 12:46
2.0K
vectsp_5__1631_33.min1.thm1
2017-02-06 12:46
2.0K
vectsp_5__1630_18.min1.thm1
2017-02-06 12:46
726
vectsp_5__1628_20.min1.thm1
2017-02-06 12:46
2.2K
vectsp_5__1627_14.min1.thm1
2017-02-06 12:46
1.5K
vectsp_5__1626_18.min1.thm1
2017-02-06 12:46
2.2K
vectsp_5__1624_14.min1.thm1
2017-02-06 12:46
1.5K
vectsp_5__1622_51.min1.thm1
2017-02-06 12:46
657
vectsp_5__1620_24.min1.thm1
2017-02-06 12:46
2.3K
vectsp_5__1618_23.min1.thm1
2017-02-06 12:46
1.5K
vectsp_5__1616_19.min1.thm1
2017-02-06 12:46
2.9K
vectsp_5__1614_17.min1.thm1
2017-02-06 12:46
2.2K
vectsp_5__1613_15.min1.thm1
2017-02-06 12:46
2.2K
vectsp_5__1611_15.min1.thm1
2017-02-06 12:46
2.9K
vectsp_5__1607_19.min1.thm1
2017-02-06 12:46
2.9K
vectsp_5__1606_16.min1.thm1
2017-02-06 12:46
1.7K
vectsp_5__1605_23.min1.thm1
2017-02-06 12:46
3.1K
vectsp_5__1603_15.min1.thm1
2017-02-06 12:46
1.7K
vectsp_5__1601_41.min1.thm1.tptp
2017-02-06 16:46
278
vectsp_5__1601_41.min1.thm1
2017-02-06 12:46
356
vectsp_5__1596_26.min1.thm1
2017-02-06 12:46
1.5K
vectsp_5__1591_16.min1.thm1
2017-02-06 12:46
438
vectsp_5__1589_21.min1.thm1
2017-02-06 12:46
2.7K
vectsp_5__1588_48.min1.thm1
2017-02-06 12:46
2.9K
vectsp_5__1587_25.min1.thm1
2017-02-06 12:46
1.9K
vectsp_5__1586_17.min1.thm1
2017-02-06 12:46
1.7K
vectsp_5__1584_25.min1.thm1
2017-02-06 12:46
2.1K
vectsp_5__1579_23.min1.thm1
2017-02-06 12:46
2.1K
vectsp_5__1578_23.min1.thm1
2017-02-06 12:46
2.7K
vectsp_5__1577_29.min1.thm1
2017-02-06 12:46
2.4K
vectsp_5__1576_25.min1.thm1
2017-02-06 12:46
2.2K
vectsp_5__1575_25.min1.thm1
2017-02-06 12:46
2.5K
vectsp_5__1574_18.min1.thm1
2017-02-06 12:46
3.3K
vectsp_5__1572_29.min1.thm1
2017-02-06 12:46
2.4K
vectsp_5__1571_25.min1.thm1
2017-02-06 12:46
2.2K
vectsp_5__1570_25.min1.thm1
2017-02-06 12:46
2.3K
vectsp_5__1569_16.min1.thm1
2017-02-06 12:46
2.0K
vectsp_5__1554_19.min1.thm1
2017-02-06 12:46
2.3K
vectsp_5__1547_19.min1.thm1
2017-02-06 12:46
2.3K
vectsp_5__1544_35.min1.thm1
2017-02-06 12:46
2.0K
vectsp_5__1537_39.min1.thm1
2017-02-06 12:46
2.2K
vectsp_5__1528_14.min1.thm1
2017-02-06 12:46
548
vectsp_5__1525_36.min1.thm1
2017-02-06 12:46
2.0K
vectsp_5__1524_14.min1.thm1
2017-02-06 12:46
1.8K
vectsp_5__1523_32.min1.thm1
2017-02-06 12:46
2.0K
vectsp_5__1521_14.min1.thm1
2017-02-06 12:46
1.8K
vectsp_5__1514_21.min1.thm1
2017-02-06 12:46
3.3K
vectsp_5__1508_16.min1.thm1
2017-02-06 12:46
2.1K
vectsp_5__1504_21.min1.thm1
2017-02-06 12:46
2.0K
vectsp_5__1495_18.min1.thm1
2017-02-06 12:46
2.4K
vectsp_5__1493_12.min1.thm1
2017-02-06 12:46
3.1K
vectsp_5__1492_18.min1.thm1
2017-02-06 12:46
2.4K
vectsp_5__1490_12.min1.thm1
2017-02-06 12:46
3.2K
vectsp_5__1474_17.min1.thm1
2017-02-06 12:46
3.0K
vectsp_5__1473_13.min1.thm1
2017-02-06 12:46
1.7K
vectsp_5__1466_17.min1.thm1
2017-02-06 12:46
2.4K
vectsp_5__1465_36.min1.thm1
2017-02-06 12:46
2.4K
vectsp_5__1464_31.min1.thm1
2017-02-06 12:46
2.3K
vectsp_5__1455_17.min1.thm1
2017-02-06 12:46
2.6K
vectsp_5__1454_49.min1.thm1
2017-02-06 12:46
3.1K
vectsp_5__1446_70.min1.thm1
2017-02-06 12:46
1.1K
vectsp_5__1440_16.min1.thm1
2017-02-06 12:46
3.1K
vectsp_5__1439_25.min1.thm1
2017-02-06 12:46
2.6K
vectsp_5__1438_33.min1.thm1
2017-02-06 12:46
1.8K
vectsp_5__1431_17.min1.thm1
2017-02-06 12:46
2.7K
vectsp_5__1430_37.min1.thm1
2017-02-06 12:46
2.7K
vectsp_5__1429_31.min1.thm1
2017-02-06 12:46
1.8K
vectsp_5__1421_17.min1.thm1
2017-02-06 12:46
2.4K
vectsp_5__1420_36.min1.thm1
2017-02-06 12:46
2.3K
vectsp_5__1412_17.min1.thm1
2017-02-06 12:46
1.9K
vectsp_5__1411_38.min1.thm1
2017-02-06 12:46
1.8K
vectsp_5__1401_21.min1.thm1
2017-02-06 12:46
2.4K
vectsp_5__1400_35.min1.thm1
2017-02-06 12:46
2.0K
vectsp_5__1398_38.min1.thm1
2017-02-06 12:46
2.0K
vectsp_5__1388_18.min1.thm1
2017-02-06 12:46
2.0K
vectsp_5__1384_20.min1.thm1
2017-02-06 12:46
2.4K
vectsp_5__1383_15.min1.thm1
2017-02-06 12:46
2.0K
vectsp_5__1380_31.min1.thm1
2017-02-06 12:46
1.9K
vectsp_5__1379_51.min1.thm1
2017-02-06 12:46
2.8K
vectsp_5__1373_23.min1.thm1
2017-02-06 12:46
1.9K
vectsp_5__1372_26.min1.thm1
2017-02-06 12:46
2.2K
vectsp_5__1371_41.min1.thm1
2017-02-06 12:46
2.7K
vectsp_5__1367_24.min1.thm1
2017-02-06 12:46
2.3K
vectsp_5__1366_26.min1.thm1
2017-02-06 12:46
1.9K
vectsp_5__1365_29.min1.thm1
2017-02-06 12:46
2.2K
vectsp_5__1364_44.min1.thm1
2017-02-06 12:46
3.1K
vectsp_5__1353_28.min1.thm1
2017-02-06 12:46
2.8K
vectsp_5__1342_23.min1.thm1
2017-02-06 12:46
1.9K
vectsp_5__1341_26.min1.thm1
2017-02-06 12:46
2.2K
vectsp_5__1340_41.min1.thm1
2017-02-06 12:46
2.7K
vectsp_5__1337_25.min1.thm1
2017-02-06 12:46
2.1K
vectsp_5__1336_25.min1.thm1
2017-02-06 12:46
2.1K
vectsp_5__1332_36.min1.thm1
2017-02-06 12:46
2.0K
vectsp_5__1327_25.min1.thm1
2017-02-06 12:46
2.8K
vectsp_5__1325_19.min1.thm1
2017-02-06 12:46
2.0K
vectsp_5__1323_24.min1.thm1
2017-02-06 12:46
2.4K
vectsp_5__1314_29.min1.thm1
2017-02-06 12:46
2.3K
vectsp_5__1311_20.min1.thm1
2017-02-06 12:46
2.9K
vectsp_5__1310_32.min1.thm1
2017-02-06 12:46
2.5K
vectsp_5__1309_19.min1.thm1
2017-02-06 12:46
2.0K
vectsp_5__1304_22.min1.thm1
2017-02-06 12:46
2.8K
vectsp_5__1303_36.min1.thm1
2017-02-06 12:46
3.0K
vectsp_5__1302_21.min1.thm1
2017-02-06 12:46
2.1K
vectsp_5__1299_21.min1.thm1
2017-02-06 12:46
2.1K
vectsp_5__1290_41.min1.thm1
2017-02-06 12:46
624
vectsp_5__1288_35.min1.thm1
2017-02-06 12:46
2.1K
vectsp_5__1287_49.min1.thm1
2017-02-06 12:46
2.0K
vectsp_5__1283_18.min1.thm1
2017-02-06 12:46
2.2K
vectsp_5__1279_31.min1.thm1
2017-02-06 12:46
2.8K
vectsp_5__1271_22.min1.thm1
2017-02-06 12:46
1.0K
vectsp_5__1263_29.min1.thm1
2017-02-06 12:46
2.2K
vectsp_5__1262_24.min1.thm1
2017-02-06 12:46
1.0K
vectsp_5__1235_27.min1.thm1
2017-02-06 12:46
2.5K
vectsp_5__1234_26.min1.thm1
2017-02-06 12:46
736
vectsp_5__1233_41.min1.thm1
2017-02-06 12:46
918
vectsp_5__1232_37.min1.thm1
2017-02-06 12:46
2.4K
vectsp_5__1227_36.min1.thm1.tptp
2017-02-06 16:46
638
vectsp_5__1227_36.min1.thm1
2017-02-06 12:46
697
vectsp_5__1220_51.min1.thm1
2017-02-06 12:46
1.2K
vectsp_5__1215_32.min1.thm1
2017-02-06 12:46
2.5K
vectsp_5__1214_27.min1.thm1
2017-02-06 12:46
1.9K
vectsp_5__1213_30.min1.thm1
2017-02-06 12:46
2.2K
vectsp_5__1212_45.min1.thm1
2017-02-06 12:46
2.7K
vectsp_5__1208_24.min1.thm1
2017-02-06 12:46
2.7K
vectsp_5__1207_41.min1.thm1
2017-02-06 12:46
843
vectsp_5__1204_22.min1.thm1
2017-02-06 12:46
1.5K
vectsp_5__1202_26.min1.thm1
2017-02-06 12:46
726
vectsp_5__1199_28.min1.thm1
2017-02-06 12:46
623
vectsp_5__1196_28.min1.thm1
2017-02-06 12:46
2.5K
vectsp_5__1195_23.min1.thm1
2017-02-06 12:46
2.0K
vectsp_5__1194_23.min1.thm1
2017-02-06 12:46
2.0K
vectsp_5__1186_33.min1.thm1
2017-02-06 12:46
2.0K
vectsp_5__1184_25.min1.thm1
2017-02-06 12:46
3.4K
vectsp_5__1183_18.min1.thm1
2017-02-06 12:46
824
vectsp_5__1181_21.min1.thm1
2017-02-06 12:46
1.0K
vectsp_5__1178_24.min1.thm1
2017-02-06 12:46
626
vectsp_5__1175_27.min1.thm1
2017-02-06 12:46
1.1K
vectsp_5__1174_28.min1.thm1
2017-02-06 12:46
705
vectsp_5__1173_42.min1.thm1
2017-02-06 12:46
2.6K
vectsp_5__1170_23.min1.thm1
2017-02-06 12:46
2.7K
vectsp_5__1169_39.min1.thm1
2017-02-06 12:46
832
vectsp_5__1166_24.min1.thm1
2017-02-06 12:46
718
vectsp_5__1163_26.min1.thm1
2017-02-06 12:46
619
vectsp_5__1157_26.min1.thm1
2017-02-06 12:46
454
vectsp_5__1154_33.min1.thm1
2017-02-06 12:46
1.2K
vectsp_5__1153_34.min1.thm1
2017-02-06 12:46
834
vectsp_5__1152_49.min1.thm1
2017-02-06 12:46
2.6K
vectsp_5__1149_29.min1.thm1
2017-02-06 12:46
2.7K
vectsp_5__1148_29.min1.thm1
2017-02-06 12:46
3.4K
vectsp_5__1145_64.min1.thm1
2017-02-06 12:46
3.7K
vectsp_5__1144_46.min1.thm1
2017-02-06 12:46
1.3K
vectsp_5__1139_33.min1.thm1
2017-02-06 12:46
1.2K
vectsp_5__1138_34.min1.thm1
2017-02-06 12:46
838
vectsp_5__1137_49.min1.thm1
2017-02-06 12:46
2.6K
vectsp_5__1134_29.min1.thm1
2017-02-06 12:46
2.7K
vectsp_5__1133_29.min1.thm1
2017-02-06 12:46
3.4K
vectsp_5__1130_64.min1.thm1
2017-02-06 12:46
3.7K
vectsp_5__1129_46.min1.thm1
2017-02-06 12:46
1.3K
vectsp_5__1125_28.min1.thm1
2017-02-06 12:46
1.6K
vectsp_5__1123_49.min1.thm1
2017-02-06 12:46
949
vectsp_5__1122_41.min1.thm1
2017-02-06 12:46
844
vectsp_5__1119_41.min1.thm1
2017-02-06 12:46
843
vectsp_5__1116_26.min1.thm1
2017-02-06 12:46
728
vectsp_5__1113_28.min1.thm1
2017-02-06 12:46
627
vectsp_5__1110_26.min1.thm1
2017-02-06 12:46
726
vectsp_5__1107_28.min1.thm1
2017-02-06 12:46
627
vectsp_5__1095_45.min1.thm1
2017-02-06 12:46
602
vectsp_5__1093_42.min1.thm1
2017-02-06 12:46
1.2K
vectsp_5__1092_52.min1.thm1
2017-02-06 12:46
2.7K
vectsp_5__1091_38.min1.thm1
2017-02-06 12:46
832
vectsp_5__1088_23.min1.thm1
2017-02-06 12:46
718
vectsp_5__1085_26.min1.thm1.tptp
2017-02-06 16:46
460
vectsp_5__1085_26.min1.thm1
2017-02-06 12:46
515
vectsp_5__1074_26.min1.thm1.tptp
2017-02-06 16:46
422
vectsp_5__1074_26.min1.thm1
2017-02-06 12:46
502
vectsp_5__1071_51.min1.thm1
2017-02-06 12:46
143
vectsp_5__1070_30.min1.thm1
2017-02-06 12:46
1.4K
vectsp_5__1051_17.min1.thm1
2017-02-06 12:46
209
vectsp_5__1004_71.min1.thm1.tptp
2017-02-06 16:46
700
vectsp_5__1004_71.min1.thm1
2017-02-06 12:46
749
vectsp_5__1002_44.min1.thm1
2017-02-06 12:46
2.2K
vectsp_5__973_15.min1.thm1
2017-02-06 12:46
1.5K
vectsp_5__959_16.min1.thm1.tptp
2017-02-06 16:46
325
vectsp_5__959_16.min1.thm1
2017-02-06 12:46
405
vectsp_5__947_19.min1.thm1.tptp
2017-02-06 16:46
394
vectsp_5__947_19.min1.thm1
2017-02-06 12:46
446
vectsp_5__945_22.min1.thm1.tptp
2017-02-06 16:46
450
vectsp_5__945_22.min1.thm1
2017-02-06 12:46
513
vectsp_5__944_53.min1.thm1.tptp
2017-02-06 16:46
450
vectsp_5__944_53.min1.thm1
2017-02-06 12:46
513
vectsp_5__941_23.min1.thm1.tptp
2017-02-06 16:46
454
vectsp_5__941_23.min1.thm1
2017-02-06 12:46
517
vectsp_5__940_55.min1.thm1.tptp
2017-02-06 16:46
454
vectsp_5__940_55.min1.thm1
2017-02-06 12:46
517
vectsp_5__924_21.min1.thm1
2017-02-06 12:46
708
vectsp_5__923_21.min1.thm1
2017-02-06 12:46
887
vectsp_5__922_24.min1.thm1
2017-02-06 12:46
1.2K
vectsp_5__921_19.min1.thm1
2017-02-06 12:46
1.3K
vectsp_5__919_45.min1.thm1
2017-02-06 12:46
2.5K
vectsp_5__918_44.min1.thm1
2017-02-06 12:46
135
vectsp_5__917_42.min1.thm1.tptp
2017-02-06 16:46
355
vectsp_5__917_42.min1.thm1
2017-02-06 12:46
441
vectsp_5__913_20.min1.thm1
2017-02-06 12:46
444
vectsp_5__912_10.min1.thm1
2017-02-06 12:46
769
vectsp_5__910_21.min1.thm1
2017-02-06 12:46
947
vectsp_5__909_31.min1.thm1
2017-02-06 12:46
642
vectsp_5__901_16.min1.thm1
2017-02-06 12:46
629
vectsp_5__898_20.min1.thm1
2017-02-06 12:46
659
vectsp_5__894_22.min1.thm1
2017-02-06 12:46
1.1K
vectsp_5__892_31.min1.thm1
2017-02-06 12:46
137
vectsp_5__891_31.min1.thm1.tptp
2017-02-06 16:46
542
vectsp_5__891_31.min1.thm1
2017-02-06 12:46
601
vectsp_5__861_17.min1.thm1
2017-02-06 12:46
1.1K
vectsp_5__858_16.min1.thm1.tptp
2017-02-06 16:46
561
vectsp_5__858_16.min1.thm1
2017-02-06 12:46
633
vectsp_5__857_28.min1.thm1
2017-02-06 12:46
506
vectsp_5__856_22.min1.thm1
2017-02-06 12:46
2.7K
vectsp_5__852_16.min1.thm1.tptp
2017-02-06 16:46
561
vectsp_5__852_16.min1.thm1
2017-02-06 12:46
633
vectsp_5__851_28.min1.thm1
2017-02-06 12:46
506
vectsp_5__850_22.min1.thm1
2017-02-06 12:46
2.7K
vectsp_5__845_23.min1.thm1
2017-02-06 12:46
2.9K
vectsp_5__844_24.min1.thm1
2017-02-06 12:46
2.9K
vectsp_5__841_28.min1.thm1
2017-02-06 12:46
2.0K
vectsp_5__839_32.min1.thm1
2017-02-06 12:46
3.3K
vectsp_5__837_30.min1.thm1
2017-02-06 12:46
1.7K
vectsp_5__836_43.min1.thm1
2017-02-06 12:46
2.6K
vectsp_5__832_28.min1.thm1
2017-02-06 12:46
2.0K
vectsp_5__830_32.min1.thm1
2017-02-06 12:46
2.5K
vectsp_5__828_30.min1.thm1
2017-02-06 12:46
1.7K
vectsp_5__827_43.min1.thm1
2017-02-06 12:46
2.6K
vectsp_5__825_35.min1.thm1
2017-02-06 12:46
1.6K
vectsp_5__824_37.min1.thm1.tptp
2017-02-06 16:46
280
vectsp_5__824_37.min1.thm1
2017-02-06 12:46
358
vectsp_5__823_19.min1.thm1.tptp
2017-02-06 16:46
368
vectsp_5__823_19.min1.thm1
2017-02-06 12:46
434
vectsp_5__820_21.min1.thm1
2017-02-06 12:46
1.7K
vectsp_5__819_28.min1.thm1
2017-02-06 12:46
1.7K
vectsp_5__818_40.min1.thm1
2017-02-06 12:46
2.6K
vectsp_5__817_35.min1.thm1
2017-02-06 12:46
1.6K
vectsp_5__816_37.min1.thm1.tptp
2017-02-06 16:46
278
vectsp_5__816_37.min1.thm1
2017-02-06 12:46
356
vectsp_5__815_19.min1.thm1.tptp
2017-02-06 16:46
366
vectsp_5__815_19.min1.thm1
2017-02-06 12:46
432
vectsp_5__812_21.min1.thm1
2017-02-06 12:46
1.7K
vectsp_5__792_20.min1.thm1
2017-02-06 12:46
2.0K
vectsp_5__791_26.min1.thm1
2017-02-06 12:46
2.0K
vectsp_5__776_30.min1.thm1
2017-02-06 12:46
1.7K
vectsp_5__765_24.min1.thm1
2017-02-06 12:46
1.9K
vectsp_5__760_50.min1.thm1
2017-02-06 12:46
2.0K
vectsp_5__724_20.min1.thm1
2017-02-06 12:46
2.3K
vectsp_5__722_23.min1.thm1
2017-02-06 12:46
3.2K
vectsp_5__721_54.min1.thm1
2017-02-06 12:46
2.4K
vectsp_5__720_23.min1.thm1
2017-02-06 12:46
2.1K
vectsp_5__716_37.min1.thm1
2017-02-06 12:46
722
vectsp_5__710_45.min1.thm1
2017-02-06 12:46
2.7K
vectsp_5__707_28.min1.thm1
2017-02-06 12:46
1.7K
vectsp_5__706_53.min1.thm1
2017-02-06 12:46
2.6K
vectsp_5__695_67.min1.thm1
2017-02-06 12:46
874
vectsp_5__693_46.min1.thm1
2017-02-06 12:46
2.8K
vectsp_5__692_12.min1.thm1
2017-02-06 12:46
1.8K
vectsp_5__689_46.min1.thm1
2017-02-06 12:46
2.2K
vectsp_5__688_12.min1.thm1
2017-02-06 12:46
1.8K
vectsp_5__666_20.min1.thm1
2017-02-06 12:46
2.0K
vectsp_5__665_26.min1.thm1
2017-02-06 12:46
2.0K
vectsp_5__663_32.min1.thm1
2017-02-06 12:46
2.8K
vectsp_5__662_25.min1.thm1
2017-02-06 12:46
2.3K
vectsp_5__661_29.min1.thm1.tptp
2017-02-06 16:46
454
vectsp_5__661_29.min1.thm1
2017-02-06 12:46
516
vectsp_5__660_15.min1.thm1
2017-02-06 12:46
1.8K
vectsp_5__659_12.min1.thm1
2017-02-06 12:46
2.1K
vectsp_5__654_39.min1.thm1.tptp
2017-02-06 16:46
514
vectsp_5__654_39.min1.thm1
2017-02-06 12:46
576
vectsp_5__633_22.min1.thm1
2017-02-06 12:46
2.0K
vectsp_5__632_14.min1.thm1
2017-02-06 12:46
2.0K
vectsp_5__630_22.min1.thm1
2017-02-06 12:46
2.0K
vectsp_5__613_62.min1.thm1
2017-02-06 12:46
657
vectsp_5__611_42.min1.thm1
2017-02-06 12:46
2.8K
vectsp_5__610_12.min1.thm1
2017-02-06 12:46
2.2K
vectsp_5__609_32.min1.thm1
2017-02-06 12:46
2.7K
vectsp_5__608_43.min1.thm1
2017-02-06 12:46
582
vectsp_5__607_42.min1.thm1
2017-02-06 12:46
2.5K
vectsp_5__602_19.min1.thm1
2017-02-06 12:46
852
vectsp_5__586_17.min1.thm1
2017-02-06 12:46
1.1K
vectsp_5__579_19.min1.thm1
2017-02-06 12:46
2.3K
vectsp_5__578_23.min1.thm1
2017-02-06 12:46
2.0K
vectsp_5__577_14.min1.thm1
2017-02-06 12:46
1.8K
vectsp_5__560_17.min1.thm1.tptp
2017-02-06 16:46
641
vectsp_5__560_17.min1.thm1
2017-02-06 12:46
712
vectsp_5__544_59.min1.thm1
2017-02-06 12:46
5.1K
vectsp_5__532_4.min1.thm1
2017-02-06 12:46
2.9K
vectsp_5__530_42.min1.thm1
2017-02-06 12:46
2.2K
vectsp_5__528_35.min1.thm1
2017-02-06 12:46
1.8K
vectsp_5__527_33.min1.thm1
2017-02-06 12:46
2.2K
vectsp_5__526_13.min1.thm1
2017-02-06 12:46
1.5K
vectsp_5__517_29.min1.thm1
2017-02-06 12:46
2.0K
vectsp_5__504_31.min1.thm1
2017-02-06 12:46
1.7K
vectsp_5__494_24.min1.thm1
2017-02-06 12:46
2.6K
vectsp_5__493_30.min1.thm1.tptp
2017-02-06 16:46
420
vectsp_5__493_30.min1.thm1
2017-02-06 12:46
495
vectsp_5__492_18.min1.thm1
2017-02-06 12:46
2.7K
vectsp_5__481_16.min1.thm1
2017-02-06 12:46
1.7K
vectsp_5__478_6.min1.thm1
2017-02-06 12:46
2.4K
vectsp_5__476_45.min1.thm1
2017-02-06 12:46
2.7K
vectsp_5__461_33.min1.thm1
2017-02-06 12:46
2.3K
vectsp_5__460_74.min1.thm1
2017-02-06 12:46
2.5K
vectsp_5__450_49.min1.thm1
2017-02-06 12:46
1.7K
vectsp_5__448_49.min1.thm1
2017-02-06 12:46
1.7K
vectsp_5__442_17.min1.thm1.tptp
2017-02-06 16:46
442
vectsp_5__442_17.min1.thm1
2017-02-06 12:46
522
vectsp_5__441_73.min1.thm1
2017-02-06 12:46
2.3K
vectsp_5__435_41.min1.thm1
2017-02-06 12:46
2.5K
vectsp_5__434_26.min1.thm1.tptp
2017-02-06 16:46
495
vectsp_5__434_26.min1.thm1
2017-02-06 12:46
562
vectsp_5__433_26.min1.thm1
2017-02-06 12:46
2.4K
vectsp_5__422_61.min1.thm1
2017-02-06 12:46
298
vectsp_5__409_17.min1.thm1
2017-02-06 12:46
3.2K
vectsp_5__405_34.min1.thm1
2017-02-06 12:46
1.5K
vectsp_5__403_48.min1.thm1
2017-02-06 12:46
1.5K
vectsp_5__391_21.min1.thm1
2017-02-06 12:46
2.9K
vectsp_5__390_19.min1.thm1
2017-02-06 12:46
2.5K
vectsp_5__382_40.min1.thm1
2017-02-06 12:46
1.9K
vectsp_5__379_24.min1.thm1
2017-02-06 12:46
2.9K
vectsp_5__377_20.min1.thm1
2017-02-06 12:46
2.2K
vectsp_5__376_19.min1.thm1
2017-02-06 12:46
2.2K
vectsp_5__375_29.min1.thm1
2017-02-06 12:46
2.3K
vectsp_5__374_12.min1.thm1
2017-02-06 12:46
2.1K
vectsp_5__370_39.min1.thm1
2017-02-06 12:46
2.9K
vectsp_5__367_21.min1.thm1
2017-02-06 12:46
2.9K
vectsp_5__365_23.min1.thm1
2017-02-06 12:46
2.3K
vectsp_5__364_22.min1.thm1
2017-02-06 12:46
2.2K
vectsp_5__363_32.min1.thm1
2017-02-06 12:46
2.3K
vectsp_5__362_13.min1.thm1
2017-02-06 12:46
2.1K
vectsp_5__358_40.min1.thm1
2017-02-06 12:46
2.9K
vectsp_5__343_17.min1.thm1
2017-02-06 12:46
2.2K
vectsp_5__342_16.min1.thm1
2017-02-06 12:46
1.8K
vectsp_5__341_50.min1.thm1
2017-02-06 12:46
1.9K
vectsp_5__329_17.min1.thm1
2017-02-06 12:46
2.2K
vectsp_5__327_50.min1.thm1
2017-02-06 12:46
2.7K
vectsp_5__326_27.min1.thm1
2017-02-06 12:46
1.5K
vectsp_5__319_16.min1.thm1
2017-02-06 12:46
1.8K
vectsp_5__316_50.min1.thm1
2017-02-06 12:46
2.7K
vectsp_5__304_48.min1.thm1
2017-02-06 12:46
1.7K
vectsp_5__302_48.min1.thm1
2017-02-06 12:46
1.7K
vectsp_5__295_15.min1.thm1
2017-02-06 12:46
842
vectsp_5__292_28.min1.thm1
2017-02-06 12:46
2.7K
vectsp_5__291_25.min1.thm1
2017-02-06 12:46
3.0K
vectsp_5__288_18.min1.thm1
2017-02-06 12:46
2.2K
vectsp_5__287_13.min1.thm1
2017-02-06 12:46
2.0K
vectsp_5__282_34.min1.thm1
2017-02-06 12:46
2.9K
vectsp_5__271_27.min1.thm1
2017-02-06 12:46
2.9K
vectsp_5__270_24.min1.thm1
2017-02-06 12:46
3.0K
vectsp_5__267_18.min1.thm1
2017-02-06 12:46
2.2K
vectsp_5__266_12.min1.thm1
2017-02-06 12:46
2.0K
vectsp_5__261_34.min1.thm1
2017-02-06 12:46
2.9K
vectsp_5__243_22.min1.thm1
2017-02-06 12:46
1.1K
vectsp_5__235_52.min1.thm1
2017-02-06 12:46
638
vectsp_5__234_53.min1.thm1
2017-02-06 12:46
1.9K
vectsp_5__233_22.min1.thm1
2017-02-06 12:46
1.7K
vectsp_5__231_19.min1.thm1
2017-02-06 12:46
2.3K
vectsp_5__209_16.min1.thm1
2017-02-06 12:46
2.7K
vectsp_5__208_24.min1.thm1
2017-02-06 12:46
3.0K
vectsp_5__207_18.min1.thm1
2017-02-06 12:46
1.9K
vectsp_5__206_33.min1.thm1
2017-02-06 12:46
1.6K
vectsp_5__205_40.min1.thm1.tptp
2017-02-06 16:46
264
vectsp_5__205_40.min1.thm1
2017-02-06 12:46
342
vectsp_5__197_17.min1.thm1
2017-02-06 12:46
2.8K
vectsp_5__195_75.min1.thm1.tptp
2017-02-06 16:46
647
vectsp_5__195_75.min1.thm1
2017-02-06 12:46
705
vectsp_5__193_75.min1.thm1
2017-02-06 12:46
2.6K
vectsp_5__192_51.min1.thm1
2017-02-06 12:46
2.8K
vectsp_5__186_14.min1.thm1
2017-02-06 12:46
356
vectsp_5__182_32.min1.thm1
2017-02-06 12:46
2.9K
vectsp_5__177_32.min1.thm1
2017-02-06 12:46
2.7K
vectsp_5__174_16.min1.thm1
2017-02-06 12:46
334
vectsp_5__165_17.min1.thm1
2017-02-06 12:46
2.9K
vectsp_5__163_37.min1.thm1
2017-02-06 12:46
2.1K
vectsp_5__159_18.min1.thm1
2017-02-06 12:46
500
vectsp_5__157_37.min1.thm1
2017-02-06 12:46
2.0K
vectsp_5__154_39.min1.thm1
2017-02-06 12:46
2.9K
vectsp_5__145_15.min1.thm1
2017-02-06 12:46
540
vectsp_5__142_19.min1.thm1
2017-02-06 12:46
2.0K
vectsp_5__141_28.min1.thm1
2017-02-06 12:46
684
vectsp_5__140_22.min1.thm1
2017-02-06 12:46
2.2K
vectsp_5__139_16.min1.thm1
2017-02-06 12:46
1.4K
vectsp_5__138_28.min1.thm1
2017-02-06 12:46
2.3K
vectsp_5__136_52.min1.thm1
2017-02-06 12:46
2.0K
vectsp_5__134_73.min1.thm1
2017-02-06 12:46
3.1K
vectsp_5__133_34.min1.thm1
2017-02-06 12:46
664
vectsp_5__132_28.min1.thm1
2017-02-06 12:46
2.6K
vectsp_5__131_17.min1.thm1
2017-02-06 12:46
2.2K
vectsp_5__129_16.min1.thm1
2017-02-06 12:46
1.4K
vectsp_5__113_15.min1.thm1
2017-02-06 12:46
752
vectsp_5__111_16.min1.thm1
2017-02-06 12:46
2.6K
vectsp_5__110_48.min1.thm1
2017-02-06 12:46
2.0K
vectsp_5__103_16.min1.thm1
2017-02-06 12:46
2.6K
vectsp_5__102_48.min1.thm1
2017-02-06 12:46
2.0K
vectsp_5__88_52.min1.thm1
2017-02-06 12:46
2.0K
vectsp_5__86_21.min1.thm1
2017-02-06 12:46
2.3K
vectsp_5__85_26.min1.thm1
2017-02-06 12:46
2.5K
vectsp_5__78_23.min1.thm1
2017-02-06 12:46
2.3K
vectsp_5__77_28.min1.thm1
2017-02-06 12:46
2.5K
vectsp_5__67_16.min1.thm1
2017-02-06 12:46
2.6K
vectsp_5__65_28.min1.thm1
2017-02-06 12:46
1.6K
vectsp_5__64_22.min1.thm1
2017-02-06 12:46
1.8K
vectsp_5__63_37.min1.thm1.tptp
2017-02-06 16:46
421
vectsp_5__63_37.min1.thm1
2017-02-06 12:46
499
vectsp_5__61_18.min1.thm1
2017-02-06 12:46
1.9K
vectsp_5__60_56.min1.thm1
2017-02-06 12:46
2.0K
vectsp_5__54_6.min1.thm1
2017-02-06 12:46
2.7K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80