Index of /~mptp/7.13.01_4.181.1147/MPTP2/ilp0/prgcor_1
Name
Last modified
Size
Description
Parent Directory
-
prgcor_1__1955_16.min1.thm1
2017-02-06 12:45
514
prgcor_1__1952_20.min1.thm1
2017-02-06 12:45
529
prgcor_1__1949_24.min1.thm1
2017-02-06 12:45
690
prgcor_1__1944_44.min1.thm1
2017-02-06 12:45
1.0K
prgcor_1__1943_60.min1.thm1
2017-02-06 12:45
2.5K
prgcor_1__1937_44.min1.thm1
2017-02-06 12:45
1.0K
prgcor_1__1936_60.min1.thm1
2017-02-06 12:45
2.5K
prgcor_1__1933_23.min1.thm1
2017-02-06 12:45
383
prgcor_1__1928_27.min1.thm1.tptp
2017-02-06 16:47
465
prgcor_1__1928_27.min1.thm1
2017-02-06 12:45
547
prgcor_1__1925_32.min1.thm1
2017-02-06 12:45
635
prgcor_1__1924_34.min1.thm1
2017-02-06 12:45
679
prgcor_1__1923_34.min1.thm1
2017-02-06 12:45
477
prgcor_1__1922_19.min1.thm1
2017-02-06 12:45
618
prgcor_1__1918_22.min1.thm1
2017-02-06 12:45
1.5K
prgcor_1__1913_20.min1.thm1
2017-02-06 12:45
529
prgcor_1__1910_24.min1.thm1
2017-02-06 12:45
690
prgcor_1__1905_44.min1.thm1
2017-02-06 12:45
1.0K
prgcor_1__1903_23.min1.thm1
2017-02-06 12:45
624
prgcor_1__1902_60.min1.thm1
2017-02-06 12:45
1.9K
prgcor_1__1896_44.min1.thm1
2017-02-06 12:45
1.0K
prgcor_1__1894_23.min1.thm1
2017-02-06 12:45
624
prgcor_1__1893_60.min1.thm1
2017-02-06 12:45
1.9K
prgcor_1__1890_23.min1.thm1
2017-02-06 12:45
383
prgcor_1__1885_26.min1.thm1
2017-02-06 12:45
695
prgcor_1__1884_49.min1.thm1
2017-02-06 12:45
2.5K
prgcor_1__1881_22.min1.thm1
2017-02-06 12:45
1.5K
prgcor_1__1877_15.min1.thm1
2017-02-06 12:45
219
prgcor_1__1872_19.min1.thm1
2017-02-06 12:45
517
prgcor_1__1871_27.min1.thm1
2017-02-06 12:45
1.3K
prgcor_1__1868_11.min1.thm1
2017-02-06 12:45
187
prgcor_1__1855_42.min1.thm1
2017-02-06 12:45
5.0K
prgcor_1__1852_46.min1.thm1.tptp
2017-02-06 16:47
5.3K
prgcor_1__1852_46.min1.thm1
2017-02-06 12:45
5.0K
prgcor_1__1849_53.min1.thm1
2017-02-06 12:45
3.7K
prgcor_1__1847_49.min1.thm1
2017-02-06 12:45
2.4K
prgcor_1__1843_53.min1.thm1
2017-02-06 12:45
3.6K
prgcor_1__1841_49.min1.thm1
2017-02-06 12:45
2.4K
prgcor_1__1838_25.min1.thm1
2017-02-06 12:45
387
prgcor_1__1836_62.min1.thm1
2017-02-06 12:45
2.5K
prgcor_1__1830_21.min1.thm1
2017-02-06 12:45
626
prgcor_1__1829_34.min1.thm1
2017-02-06 12:45
639
prgcor_1__1828_36.min1.thm1
2017-02-06 12:45
683
prgcor_1__1827_36.min1.thm1
2017-02-06 12:45
481
prgcor_1__1824_24.min1.thm1
2017-02-06 12:45
1.6K
prgcor_1__1819_42.min1.thm1
2017-02-06 12:45
5.0K
prgcor_1__1816_46.min1.thm1.tptp
2017-02-06 16:47
5.3K
prgcor_1__1816_46.min1.thm1
2017-02-06 12:45
5.0K
prgcor_1__1813_53.min1.thm1
2017-02-06 12:45
4.8K
prgcor_1__1811_47.min1.thm1
2017-02-06 12:45
856
prgcor_1__1807_53.min1.thm1
2017-02-06 12:45
4.8K
prgcor_1__1805_47.min1.thm1
2017-02-06 12:45
856
prgcor_1__1802_25.min1.thm1
2017-02-06 12:45
387
prgcor_1__1800_21.min1.thm1
2017-02-06 12:45
626
prgcor_1__1799_61.min1.thm1
2017-02-06 12:45
1.9K
prgcor_1__1794_39.min1.thm1
2017-02-06 12:45
2.8K
prgcor_1__1791_24.min1.thm1
2017-02-06 12:45
1.6K
prgcor_1__1787_17.min1.thm1
2017-02-06 12:45
223
prgcor_1__1782_18.min1.thm1.tptp
2017-02-06 16:47
1.5K
prgcor_1__1782_18.min1.thm1
2017-02-06 12:45
1.5K
prgcor_1__1779_13.min1.thm1
2017-02-06 12:45
191
prgcor_1__1738_20.min1.thm1
2017-02-06 12:45
1.1K
prgcor_1__1737_26.min1.thm1
2017-02-06 12:45
665
prgcor_1__1736_31.min1.thm1
2017-02-06 12:45
463
prgcor_1__1725_29.min1.thm1
2017-02-06 12:45
2.1K
prgcor_1__1718_18.min1.thm1
2017-02-06 12:45
358
prgcor_1__1716_30.min1.thm1
2017-02-06 12:45
602
prgcor_1__1699_25.min1.thm1
2017-02-06 12:45
757
prgcor_1__1698_28.min1.thm1
2017-02-06 12:45
667
prgcor_1__1697_27.min1.thm1
2017-02-06 12:45
465
prgcor_1__1694_29.min1.thm1
2017-02-06 12:45
2.1K
prgcor_1__1692_13.min1.thm1
2017-02-06 12:45
659
prgcor_1__1685_25.min1.thm1
2017-02-06 12:45
757
prgcor_1__1684_28.min1.thm1
2017-02-06 12:45
667
prgcor_1__1683_32.min1.thm1
2017-02-06 12:45
465
prgcor_1__1680_13.min1.thm1
2017-02-06 12:45
659
prgcor_1__1667_58.min1.thm1
2017-02-06 12:45
779
prgcor_1__1666_59.min1.thm1
2017-02-06 12:45
894
prgcor_1__1653_14.min1.thm1
2017-02-06 12:45
885
prgcor_1__1652_29.min1.thm1
2017-02-06 12:45
743
prgcor_1__1651_43.min1.thm1
2017-02-06 12:45
1.4K
prgcor_1__1629_23.min1.thm1
2017-02-06 12:45
1.1K
prgcor_1__1628_30.min1.thm1
2017-02-06 12:45
2.3K
prgcor_1__1627_42.min1.thm1
2017-02-06 12:45
1.6K
prgcor_1__1626_32.min1.thm1
2017-02-06 12:45
1.5K
prgcor_1__1625_19.min1.thm1
2017-02-06 12:45
1.3K
prgcor_1__1622_23.min1.thm1
2017-02-06 12:45
1.7K
prgcor_1__1621_32.min1.thm1
2017-02-06 12:45
1.0K
prgcor_1__1620_44.min1.thm1
2017-02-06 12:45
1.8K
prgcor_1__1609_22.min1.thm1
2017-02-06 12:45
1.4K
prgcor_1__1608_23.min1.thm1
2017-02-06 12:45
2.5K
prgcor_1__1607_17.min1.thm1
2017-02-06 12:45
1.0K
prgcor_1__1606_47.min1.thm1
2017-02-06 12:45
1.7K
prgcor_1__1604_33.min1.thm1
2017-02-06 12:45
1.6K
prgcor_1__1603_16.min1.thm1
2017-02-06 12:45
1.1K
prgcor_1__1602_32.min1.thm1
2017-02-06 12:45
1.0K
prgcor_1__1600_31.min1.thm1
2017-02-06 12:45
1.3K
prgcor_1__1599_18.min1.thm1
2017-02-06 12:45
1.0K
prgcor_1__1598_20.min1.thm1
2017-02-06 12:45
1.2K
prgcor_1__1596_16.min1.thm1
2017-02-06 12:45
1.2K
prgcor_1__1588_25.min1.thm1
2017-02-06 12:45
2.0K
prgcor_1__1586_16.min1.thm1
2017-02-06 12:45
1.2K
prgcor_1__1585_21.min1.thm1
2017-02-06 12:45
1.3K
prgcor_1__1583_52.min1.thm1
2017-02-06 12:45
1.6K
prgcor_1__1582_33.min1.thm1
2017-02-06 12:45
1.9K
prgcor_1__1580_17.min1.thm1
2017-02-06 12:45
1.2K
prgcor_1__1573_63.min1.thm1
2017-02-06 12:45
1.8K
prgcor_1__1572_46.min1.thm1
2017-02-06 12:45
1.4K
prgcor_1__1570_72.min1.thm1
2017-02-06 12:45
2.2K
prgcor_1__1567_23.min1.thm1
2017-02-06 12:45
1.4K
prgcor_1__1563_48.min1.thm1
2017-02-06 12:45
2.6K
prgcor_1__1555_68.min1.thm1
2017-02-06 12:45
1.8K
prgcor_1__1554_39.min1.thm1
2017-02-06 12:45
2.1K
prgcor_1__1552_36.min1.thm1
2017-02-06 12:45
2.1K
prgcor_1__1551_43.min1.thm1
2017-02-06 12:45
1.9K
prgcor_1__1546_45.min1.thm1
2017-02-06 12:45
1.8K
prgcor_1__1542_23.min1.thm1
2017-02-06 12:45
1.4K
prgcor_1__1539_34.min1.thm1
2017-02-06 12:45
2.0K
prgcor_1__1534_21.min1.thm1
2017-02-06 12:45
1.0K
prgcor_1__1532_24.min1.thm1
2017-02-06 12:45
1.6K
prgcor_1__1531_22.min1.thm1
2017-02-06 12:45
1.2K
prgcor_1__1525_23.min1.thm1
2017-02-06 12:45
1.3K
prgcor_1__1524_30.min1.thm1
2017-02-06 12:45
1.9K
prgcor_1__1522_27.min1.thm1
2017-02-06 12:45
1.5K
prgcor_1__1521_24.min1.thm1
2017-02-06 12:45
1.6K
prgcor_1__1520_22.min1.thm1
2017-02-06 12:45
1.2K
prgcor_1__1517_29.min1.thm1
2017-02-06 12:45
2.0K
prgcor_1__1516_23.min1.thm1
2017-02-06 12:45
715
prgcor_1__1515_19.min1.thm1
2017-02-06 12:45
1.7K
prgcor_1__1513_32.min1.thm1
2017-02-06 12:45
2.0K
prgcor_1__1510_29.min1.thm1
2017-02-06 12:45
1.6K
prgcor_1__1509_22.min1.thm1
2017-02-06 12:45
807
prgcor_1__1508_19.min1.thm1
2017-02-06 12:45
1.7K
prgcor_1__1506_32.min1.thm1
2017-02-06 12:45
2.0K
prgcor_1__1496_63.min1.thm1
2017-02-06 12:45
1.8K
prgcor_1__1491_46.min1.thm1
2017-02-06 12:45
1.4K
prgcor_1__1489_72.min1.thm1
2017-02-06 12:45
2.2K
prgcor_1__1485_23.min1.thm1
2017-02-06 12:45
1.4K
prgcor_1__1481_48.min1.thm1
2017-02-06 12:45
2.6K
prgcor_1__1479_25.min1.thm1
2017-02-06 12:45
1.4K
prgcor_1__1474_63.min1.thm1
2017-02-06 12:45
1.8K
prgcor_1__1472_39.min1.thm1
2017-02-06 12:45
2.1K
prgcor_1__1470_36.min1.thm1
2017-02-06 12:45
2.0K
prgcor_1__1469_42.min1.thm1
2017-02-06 12:45
1.9K
prgcor_1__1464_44.min1.thm1
2017-02-06 12:45
1.8K
prgcor_1__1460_23.min1.thm1
2017-02-06 12:45
1.4K
prgcor_1__1457_34.min1.thm1
2017-02-06 12:45
2.0K
prgcor_1__1452_21.min1.thm1
2017-02-06 12:45
1.0K
prgcor_1__1450_24.min1.thm1
2017-02-06 12:45
1.6K
prgcor_1__1449_22.min1.thm1
2017-02-06 12:45
1.2K
prgcor_1__1446_29.min1.thm1
2017-02-06 12:45
1.6K
prgcor_1__1445_22.min1.thm1
2017-02-06 12:45
808
prgcor_1__1444_19.min1.thm1
2017-02-06 12:45
1.2K
prgcor_1__1442_30.min1.thm1
2017-02-06 12:45
1.5K
prgcor_1__1436_29.min1.thm1
2017-02-06 12:45
2.0K
prgcor_1__1435_23.min1.thm1
2017-02-06 12:45
716
prgcor_1__1434_19.min1.thm1
2017-02-06 12:45
1.7K
prgcor_1__1432_32.min1.thm1
2017-02-06 12:45
2.0K
prgcor_1__1426_23.min1.thm1
2017-02-06 12:45
1.3K
prgcor_1__1425_30.min1.thm1
2017-02-06 12:45
1.9K
prgcor_1__1423_27.min1.thm1
2017-02-06 12:45
1.5K
prgcor_1__1422_24.min1.thm1
2017-02-06 12:45
1.6K
prgcor_1__1421_22.min1.thm1
2017-02-06 12:45
1.2K
prgcor_1__1419_24.min1.thm1
2017-02-06 12:45
1.4K
prgcor_1__1417_18.min1.thm1
2017-02-06 12:45
672
prgcor_1__1416_17.min1.thm1
2017-02-06 12:45
803
prgcor_1__1415_44.min1.thm1
2017-02-06 12:45
1.8K
prgcor_1__1405_11.min1.thm1
2017-02-06 12:45
821
prgcor_1__1404_16.min1.thm1
2017-02-06 12:45
954
prgcor_1__1403_23.min1.thm1
2017-02-06 12:45
847
prgcor_1__1402_28.min1.thm1
2017-02-06 12:45
1.0K
prgcor_1__1401_50.min1.thm1
2017-02-06 12:45
667
prgcor_1__1399_23.min1.thm1
2017-02-06 12:45
1.8K
prgcor_1__1398_30.min1.thm1
2017-02-06 12:45
938
prgcor_1__1397_43.min1.thm1
2017-02-06 12:45
701
prgcor_1__1396_18.min1.thm1
2017-02-06 12:45
828
prgcor_1__1389_28.min1.thm1
2017-02-06 12:45
931
prgcor_1__1383_16.min1.thm1
2017-02-06 12:45
1.8K
prgcor_1__1382_50.min1.thm1
2017-02-06 12:45
667
prgcor_1__1380_23.min1.thm1
2017-02-06 12:45
2.2K
prgcor_1__1379_42.min1.thm1
2017-02-06 12:45
1.0K
prgcor_1__1378_44.min1.thm1
2017-02-06 12:45
701
prgcor_1__1377_18.min1.thm1
2017-02-06 12:45
828
prgcor_1__1370_28.min1.thm1
2017-02-06 12:45
931
prgcor_1__1369_15.min1.thm1
2017-02-06 12:45
716
prgcor_1__1361_22.min1.thm1
2017-02-06 12:45
1.6K
prgcor_1__1360_25.min1.thm1
2017-02-06 12:45
2.6K
prgcor_1__1357_16.min1.thm1
2017-02-06 12:45
1.4K
prgcor_1__1355_17.min1.thm1
2017-02-06 12:45
2.0K
prgcor_1__1351_23.min1.thm1
2017-02-06 12:45
1.2K
prgcor_1__1348_19.min1.thm1
2017-02-06 12:45
1.1K
prgcor_1__1347_24.min1.thm1
2017-02-06 12:45
1.0K
prgcor_1__1346_33.min1.thm1
2017-02-06 12:45
893
prgcor_1__1345_38.min1.thm1
2017-02-06 12:45
1.1K
prgcor_1__1343_24.min1.thm1
2017-02-06 12:45
1.4K
prgcor_1__1341_21.min1.thm1
2017-02-06 12:45
1.5K
prgcor_1__1340_16.min1.thm1
2017-02-06 12:45
2.3K
prgcor_1__1339_21.min1.thm1
2017-02-06 12:45
1.7K
prgcor_1__1337_43.min1.thm1
2017-02-06 12:45
1.6K
prgcor_1__1336_21.min1.thm1
2017-02-06 12:45
844
prgcor_1__1335_30.min1.thm1
2017-02-06 12:45
1.5K
prgcor_1__1333_35.min1.thm1
2017-02-06 12:45
1.6K
prgcor_1__1330_27.min1.thm1
2017-02-06 12:45
2.2K
prgcor_1__1329_31.min1.thm1
2017-02-06 12:45
679
prgcor_1__1327_23.min1.thm1
2017-02-06 12:45
1.4K
prgcor_1__1324_18.min1.thm1
2017-02-06 12:45
1.3K
prgcor_1__1319_34.min1.thm1
2017-02-06 12:45
462
prgcor_1__1315_50.min1.thm1
2017-02-06 12:45
665
prgcor_1__1313_23.min1.thm1
2017-02-06 12:45
2.2K
prgcor_1__1312_42.min1.thm1
2017-02-06 12:45
1.0K
prgcor_1__1311_44.min1.thm1
2017-02-06 12:45
701
prgcor_1__1310_18.min1.thm1
2017-02-06 12:45
828
prgcor_1__1303_28.min1.thm1
2017-02-06 12:45
929
prgcor_1__1302_16.min1.thm1
2017-02-06 12:45
714
prgcor_1__1292_63.min1.thm1
2017-02-06 12:45
2.7K
prgcor_1__1283_32.min1.thm1
2017-02-06 12:45
1.7K
prgcor_1__1282_50.min1.thm1
2017-02-06 12:45
665
prgcor_1__1280_23.min1.thm1
2017-02-06 12:45
691
prgcor_1__1279_19.min1.thm1
2017-02-06 12:45
1.2K
prgcor_1__1274_23.min1.thm1
2017-02-06 12:45
919
prgcor_1__1273_43.min1.thm1
2017-02-06 12:45
2.0K
prgcor_1__1268_13.min1.thm1
2017-02-06 12:45
225
prgcor_1__1264_33.min1.thm1
2017-02-06 12:45
541
prgcor_1__1253_23.min1.thm1
2017-02-06 12:45
3.5K
prgcor_1__1252_26.min1.thm1
2017-02-06 12:45
1.2K
prgcor_1__1238_15.min1.thm1
2017-02-06 12:45
614
prgcor_1__1237_51.min1.thm1
2017-02-06 12:45
1.8K
prgcor_1__1236_21.min1.thm1
2017-02-06 12:45
2.2K
prgcor_1__1235_18.min1.thm1
2017-02-06 12:45
1.1K
prgcor_1__1234_35.min1.thm1
2017-02-06 12:45
1.5K
prgcor_1__1231_15.min1.thm1
2017-02-06 12:45
773
prgcor_1__1218_21.min1.thm1
2017-02-06 12:45
5.4K
prgcor_1__1217_24.min1.thm1
2017-02-06 12:45
1.5K
prgcor_1__1216_27.min1.thm1
2017-02-06 12:45
1.2K
prgcor_1__1214_24.min1.thm1
2017-02-06 12:45
1.5K
prgcor_1__1213_16.min1.thm1
2017-02-06 12:45
1.6K
prgcor_1__1212_16.min1.thm1
2017-02-06 12:45
1.0K
prgcor_1__1211_42.min1.thm1
2017-02-06 12:45
1.8K
prgcor_1__1202_14.min1.thm1
2017-02-06 12:45
1.0K
prgcor_1__1201_45.min1.thm1
2017-02-06 12:45
3.9K
prgcor_1__1198_22.min1.thm1
2017-02-06 12:45
1.2K
prgcor_1__1196_14.min1.thm1
2017-02-06 12:45
1.0K
prgcor_1__1172_43.min1.thm1
2017-02-06 12:45
473
prgcor_1__1139_16.min1.thm1
2017-02-06 12:45
240
prgcor_1__1132_41.min1.thm1
2017-02-06 12:45
2.0K
prgcor_1__1130_28.min1.thm1
2017-02-06 12:45
1.8K
prgcor_1__1129_26.min1.thm1
2017-02-06 12:45
2.0K
prgcor_1__1128_47.min1.thm1
2017-02-06 12:45
1.8K
prgcor_1__1118_13.min1.thm1
2017-02-06 12:45
1.2K
prgcor_1__1116_22.min1.thm1.tptp
2017-02-06 16:47
1.1K
prgcor_1__1116_22.min1.thm1
2017-02-06 12:45
1.1K
prgcor_1__1113_29.min1.thm1
2017-02-06 12:45
1.8K
prgcor_1__1112_25.min1.thm1
2017-02-06 12:45
1.1K
prgcor_1__1111_42.min1.thm1
2017-02-06 12:45
1.7K
prgcor_1__1110_18.min1.thm1
2017-02-06 12:45
1.3K
prgcor_1__1105_26.min1.thm1
2017-02-06 12:45
904
prgcor_1__1087_46.min1.thm1
2017-02-06 12:45
1.7K
prgcor_1__1080_36.min1.thm1
2017-02-06 12:45
1.2K
prgcor_1__1079_28.min1.thm1
2017-02-06 12:45
1.4K
prgcor_1__1078_52.min1.thm1
2017-02-06 12:45
2.3K
prgcor_1__1074_30.min1.thm1
2017-02-06 12:45
1.3K
prgcor_1__1072_28.min1.thm1
2017-02-06 12:45
1.8K
prgcor_1__1070_30.min1.thm1
2017-02-06 12:45
1.2K
prgcor_1__1067_25.min1.thm1
2017-02-06 12:45
282
prgcor_1__1065_32.min1.thm1
2017-02-06 12:45
1.3K
prgcor_1__1064_47.min1.thm1
2017-02-06 12:45
1.8K
prgcor_1__1061_32.min1.thm1
2017-02-06 12:45
2.1K
prgcor_1__1059_32.min1.thm1
2017-02-06 12:45
1.2K
prgcor_1__1058_24.min1.thm1
2017-02-06 12:45
1.4K
prgcor_1__1056_24.min1.thm1
2017-02-06 12:45
1.2K
prgcor_1__1053_31.min1.thm1
2017-02-06 12:45
1.6K
prgcor_1__1052_25.min1.thm1
2017-02-06 12:45
1.4K
prgcor_1__1051_30.min1.thm1
2017-02-06 12:45
1.4K
prgcor_1__1048_21.min1.thm1
2017-02-06 12:45
248
prgcor_1__1033_13.min1.thm1
2017-02-06 12:45
1.2K
prgcor_1__1031_22.min1.thm1.tptp
2017-02-06 16:47
1.1K
prgcor_1__1031_22.min1.thm1
2017-02-06 12:45
1.1K
prgcor_1__1028_29.min1.thm1
2017-02-06 12:45
2.1K
prgcor_1__1027_26.min1.thm1
2017-02-06 12:45
1.0K
prgcor_1__1026_42.min1.thm1
2017-02-06 12:45
1.7K
prgcor_1__1025_18.min1.thm1
2017-02-06 12:45
1.3K
prgcor_1__1020_26.min1.thm1
2017-02-06 12:45
904
prgcor_1__999_36.min1.thm1
2017-02-06 12:45
1.2K
prgcor_1__998_28.min1.thm1
2017-02-06 12:45
1.4K
prgcor_1__990_30.min1.thm1
2017-02-06 12:45
1.3K
prgcor_1__988_33.min1.thm1
2017-02-06 12:45
1.8K
prgcor_1__987_30.min1.thm1
2017-02-06 12:45
1.2K
prgcor_1__984_25.min1.thm1
2017-02-06 12:45
282
prgcor_1__982_32.min1.thm1
2017-02-06 12:45
1.3K
prgcor_1__981_47.min1.thm1
2017-02-06 12:45
1.8K
prgcor_1__978_33.min1.thm1
2017-02-06 12:45
1.7K
prgcor_1__977_27.min1.thm1
2017-02-06 12:45
734
prgcor_1__976_24.min1.thm1
2017-02-06 12:45
1.4K
prgcor_1__974_24.min1.thm1
2017-02-06 12:45
1.2K
prgcor_1__971_31.min1.thm1
2017-02-06 12:45
1.3K
prgcor_1__967_21.min1.thm1
2017-02-06 12:45
248
prgcor_1__953_22.min1.thm1.tptp
2017-02-06 16:47
429
prgcor_1__953_22.min1.thm1
2017-02-06 12:45
511
prgcor_1__952_32.min1.thm1
2017-02-06 12:45
901
prgcor_1__951_48.min1.thm1
2017-02-06 12:45
1.8K
prgcor_1__942_13.min1.thm1
2017-02-06 12:45
1.0K
prgcor_1__940_22.min1.thm1
2017-02-06 12:45
808
prgcor_1__933_26.min1.thm1
2017-02-06 12:45
745
prgcor_1__930_33.min1.thm1
2017-02-06 12:45
5.4K
prgcor_1__929_27.min1.thm1
2017-02-06 12:45
1.4K
prgcor_1__924_26.min1.thm1
2017-02-06 12:45
1.4K
prgcor_1__921_54.min1.thm1
2017-02-06 12:45
1.1K
prgcor_1__916_54.min1.thm1
2017-02-06 12:45
1.8K
prgcor_1__913_29.min1.thm1
2017-02-06 12:45
288
prgcor_1__911_28.min1.thm1
2017-02-06 12:45
1.2K
prgcor_1__907_25.min1.thm1
2017-02-06 12:45
254
prgcor_1__901_24.min1.thm1
2017-02-06 12:45
1.6K
prgcor_1__890_20.min1.thm1
2017-02-06 12:45
1.2K
prgcor_1__889_16.min1.thm1
2017-02-06 12:45
816
prgcor_1__885_39.min1.thm1
2017-02-06 12:45
2.0K
prgcor_1__884_27.min1.thm1
2017-02-06 12:45
1.6K
prgcor_1__883_16.min1.thm1
2017-02-06 12:45
1.1K
prgcor_1__881_27.min1.thm1
2017-02-06 12:45
1.4K
prgcor_1__879_26.min1.thm1
2017-02-06 12:45
1.1K
prgcor_1__878_24.min1.thm1
2017-02-06 12:45
1.2K
prgcor_1__875_19.min1.thm1
2017-02-06 12:45
5.1K
prgcor_1__872_28.min1.thm1
2017-02-06 12:45
596
prgcor_1__866_24.min1.thm1
2017-02-06 12:45
1.2K
prgcor_1__858_54.min1.thm1
2017-02-06 12:45
2.9K
prgcor_1__855_27.min1.thm1
2017-02-06 12:45
324
prgcor_1__852_34.min1.thm1
2017-02-06 12:45
1.7K
prgcor_1__847_23.min1.thm1
2017-02-06 12:45
356
prgcor_1__839_25.min1.thm1
2017-02-06 12:45
1.4K
prgcor_1__837_21.min1.thm1
2017-02-06 12:45
833
prgcor_1__836_48.min1.thm1
2017-02-06 12:45
1.8K
prgcor_1__822_39.min1.thm1
2017-02-06 12:45
2.0K
prgcor_1__821_27.min1.thm1
2017-02-06 12:45
1.6K
prgcor_1__820_16.min1.thm1
2017-02-06 12:45
1.1K
prgcor_1__818_27.min1.thm1
2017-02-06 12:45
1.4K
prgcor_1__816_26.min1.thm1
2017-02-06 12:45
1.1K
prgcor_1__815_24.min1.thm1
2017-02-06 12:45
1.2K
prgcor_1__812_19.min1.thm1
2017-02-06 12:45
5.1K
prgcor_1__809_28.min1.thm1
2017-02-06 12:45
596
prgcor_1__803_24.min1.thm1
2017-02-06 12:45
1.2K
prgcor_1__795_54.min1.thm1
2017-02-06 12:45
2.9K
prgcor_1__792_27.min1.thm1
2017-02-06 12:45
324
prgcor_1__789_34.min1.thm1
2017-02-06 12:45
1.7K
prgcor_1__784_23.min1.thm1
2017-02-06 12:45
356
prgcor_1__776_24.min1.thm1
2017-02-06 12:45
1.4K
prgcor_1__774_21.min1.thm1
2017-02-06 12:45
833
prgcor_1__773_48.min1.thm1
2017-02-06 12:45
1.8K
prgcor_1__761_46.min1.thm1
2017-02-06 12:45
1.8K
prgcor_1__760_19.min1.thm1.tptp
2017-02-06 16:47
4.2K
prgcor_1__760_19.min1.thm1
2017-02-06 12:45
4.1K
prgcor_1__739_46.min1.thm1
2017-02-06 12:45
1.8K
prgcor_1__738_19.min1.thm1.tptp
2017-02-06 16:47
4.2K
prgcor_1__738_19.min1.thm1
2017-02-06 12:45
4.1K
prgcor_1__720_23.min1.thm1
2017-02-06 12:45
489
prgcor_1__717_15.min1.thm1
2017-02-06 12:45
224
prgcor_1__667_23.min1.thm1
2017-02-06 12:45
1.2K
prgcor_1__664_42.min1.thm1
2017-02-06 12:45
1.6K
prgcor_1__663_32.min1.thm1
2017-02-06 12:45
1.5K
prgcor_1__662_19.min1.thm1
2017-02-06 12:45
1.4K
prgcor_1__661_25.min1.thm1
2017-02-06 12:45
2.0K
prgcor_1__659_16.min1.thm1
2017-02-06 12:45
1.2K
prgcor_1__657_23.min1.thm1
2017-02-06 12:45
1.7K
prgcor_1__656_32.min1.thm1
2017-02-06 12:45
1.0K
prgcor_1__655_44.min1.thm1
2017-02-06 12:45
1.8K
prgcor_1__644_22.min1.thm1
2017-02-06 12:45
1.4K
prgcor_1__643_23.min1.thm1
2017-02-06 12:45
2.5K
prgcor_1__642_17.min1.thm1
2017-02-06 12:45
1.0K
prgcor_1__641_47.min1.thm1
2017-02-06 12:45
1.7K
prgcor_1__639_33.min1.thm1
2017-02-06 12:45
1.6K
prgcor_1__638_16.min1.thm1
2017-02-06 12:45
1.1K
prgcor_1__637_32.min1.thm1
2017-02-06 12:45
1.1K
prgcor_1__635_31.min1.thm1
2017-02-06 12:45
1.3K
prgcor_1__634_18.min1.thm1
2017-02-06 12:45
1.1K
prgcor_1__633_20.min1.thm1
2017-02-06 12:45
1.2K
prgcor_1__631_16.min1.thm1
2017-02-06 12:45
1.2K
prgcor_1__617_63.min1.thm1
2017-02-06 12:45
1.9K
prgcor_1__607_23.min1.thm1
2017-02-06 12:45
1.4K
prgcor_1__606_15.min1.thm1
2017-02-06 12:45
1.9K
prgcor_1__600_44.min1.thm1
2017-02-06 12:45
1.9K
prgcor_1__596_23.min1.thm1
2017-02-06 12:45
1.4K
prgcor_1__595_48.min1.thm1
2017-02-06 12:45
2.7K
prgcor_1__593_25.min1.thm1
2017-02-06 12:45
1.5K
prgcor_1__586_68.min1.thm1
2017-02-06 12:45
1.9K
prgcor_1__585_39.min1.thm1
2017-02-06 12:45
2.1K
prgcor_1__583_36.min1.thm1
2017-02-06 12:45
2.1K
prgcor_1__582_43.min1.thm1
2017-02-06 12:45
2.0K
prgcor_1__579_34.min1.thm1
2017-02-06 12:45
2.0K
prgcor_1__574_21.min1.thm1
2017-02-06 12:45
1.1K
prgcor_1__572_24.min1.thm1
2017-02-06 12:45
1.7K
prgcor_1__571_22.min1.thm1
2017-02-06 12:45
1.2K
prgcor_1__565_23.min1.thm1
2017-02-06 12:45
1.2K
prgcor_1__564_30.min1.thm1
2017-02-06 12:45
1.9K
prgcor_1__562_27.min1.thm1
2017-02-06 12:45
1.5K
prgcor_1__561_24.min1.thm1
2017-02-06 12:45
1.7K
prgcor_1__560_22.min1.thm1
2017-02-06 12:45
1.2K
prgcor_1__557_29.min1.thm1
2017-02-06 12:45
2.1K
prgcor_1__556_23.min1.thm1
2017-02-06 12:45
725
prgcor_1__555_19.min1.thm1
2017-02-06 12:45
1.7K
prgcor_1__553_32.min1.thm1
2017-02-06 12:45
2.0K
prgcor_1__550_29.min1.thm1
2017-02-06 12:45
1.6K
prgcor_1__549_22.min1.thm1
2017-02-06 12:45
823
prgcor_1__548_19.min1.thm1
2017-02-06 12:45
1.7K
prgcor_1__546_32.min1.thm1
2017-02-06 12:45
2.0K
prgcor_1__537_63.min1.thm1
2017-02-06 12:45
1.9K
prgcor_1__524_23.min1.thm1
2017-02-06 12:45
1.4K
prgcor_1__523_15.min1.thm1
2017-02-06 12:45
1.9K
prgcor_1__517_44.min1.thm1
2017-02-06 12:45
1.9K
prgcor_1__513_23.min1.thm1
2017-02-06 12:45
1.4K
prgcor_1__512_48.min1.thm1
2017-02-06 12:45
2.7K
prgcor_1__510_25.min1.thm1
2017-02-06 12:45
1.5K
prgcor_1__505_63.min1.thm1
2017-02-06 12:45
1.9K
prgcor_1__503_39.min1.thm1
2017-02-06 12:45
2.1K
prgcor_1__501_36.min1.thm1
2017-02-06 12:45
2.2K
prgcor_1__500_42.min1.thm1
2017-02-06 12:45
2.0K
prgcor_1__497_34.min1.thm1
2017-02-06 12:45
2.0K
prgcor_1__492_21.min1.thm1
2017-02-06 12:45
1.1K
prgcor_1__490_24.min1.thm1
2017-02-06 12:45
1.7K
prgcor_1__489_22.min1.thm1
2017-02-06 12:45
1.2K
prgcor_1__486_29.min1.thm1
2017-02-06 12:45
1.5K
prgcor_1__483_29.min1.thm1
2017-02-06 12:45
2.1K
prgcor_1__482_23.min1.thm1
2017-02-06 12:45
726
prgcor_1__481_19.min1.thm1
2017-02-06 12:45
1.7K
prgcor_1__479_32.min1.thm1
2017-02-06 12:45
2.0K
prgcor_1__476_29.min1.thm1
2017-02-06 12:45
1.6K
prgcor_1__475_22.min1.thm1
2017-02-06 12:45
824
prgcor_1__474_19.min1.thm1
2017-02-06 12:45
1.2K
prgcor_1__472_30.min1.thm1
2017-02-06 12:45
1.5K
prgcor_1__466_23.min1.thm1
2017-02-06 12:45
1.2K
prgcor_1__465_30.min1.thm1
2017-02-06 12:45
1.9K
prgcor_1__463_27.min1.thm1
2017-02-06 12:45
1.5K
prgcor_1__462_24.min1.thm1
2017-02-06 12:45
1.7K
prgcor_1__461_22.min1.thm1
2017-02-06 12:45
1.2K
prgcor_1__457_24.min1.thm1
2017-02-06 12:45
1.5K
prgcor_1__455_18.min1.thm1
2017-02-06 12:45
688
prgcor_1__454_17.min1.thm1
2017-02-06 12:45
815
prgcor_1__453_44.min1.thm1
2017-02-06 12:45
1.8K
prgcor_1__443_21.min1.thm1
2017-02-06 12:45
1.7K
prgcor_1__441_43.min1.thm1
2017-02-06 12:45
1.7K
prgcor_1__440_21.min1.thm1
2017-02-06 12:45
849
prgcor_1__439_11.min1.thm1
2017-02-06 12:45
818
prgcor_1__438_16.min1.thm1
2017-02-06 12:45
953
prgcor_1__437_21.min1.thm1
2017-02-06 12:45
846
prgcor_1__436_28.min1.thm1
2017-02-06 12:45
1.1K
prgcor_1__435_45.min1.thm1
2017-02-06 12:45
675
prgcor_1__434_16.min1.thm1
2017-02-06 12:45
1.8K
prgcor_1__431_22.min1.thm1
2017-02-06 12:45
1.6K
prgcor_1__430_25.min1.thm1
2017-02-06 12:45
2.7K
prgcor_1__429_21.min1.thm1
2017-02-06 12:45
1.3K
prgcor_1__427_52.min1.thm1
2017-02-06 12:45
1.6K
prgcor_1__426_33.min1.thm1
2017-02-06 12:45
1.9K
prgcor_1__424_17.min1.thm1
2017-02-06 12:45
1.2K
prgcor_1__421_30.min1.thm1
2017-02-06 12:45
1.5K
prgcor_1__419_35.min1.thm1
2017-02-06 12:45
1.8K
prgcor_1__416_27.min1.thm1
2017-02-06 12:45
2.2K
prgcor_1__415_31.min1.thm1
2017-02-06 12:45
703
prgcor_1__413_23.min1.thm1
2017-02-06 12:45
1.4K
prgcor_1__412_32.min1.thm1
2017-02-06 12:45
2.8K
prgcor_1__410_18.min1.thm1
2017-02-06 12:45
1.4K
prgcor_1__408_16.min1.thm1
2017-02-06 12:45
1.4K
prgcor_1__406_17.min1.thm1
2017-02-06 12:45
2.0K
prgcor_1__402_23.min1.thm1
2017-02-06 12:45
1.2K
prgcor_1__398_34.min1.thm1
2017-02-06 12:45
466
prgcor_1__394_50.min1.thm1
2017-02-06 12:45
675
prgcor_1__392_23.min1.thm1
2017-02-06 12:45
2.3K
prgcor_1__391_42.min1.thm1
2017-02-06 12:45
1.0K
prgcor_1__390_44.min1.thm1
2017-02-06 12:45
710
prgcor_1__389_18.min1.thm1
2017-02-06 12:45
839
prgcor_1__382_28.min1.thm1
2017-02-06 12:45
945
prgcor_1__381_15.min1.thm1
2017-02-06 12:45
736
prgcor_1__374_23.min1.thm1
2017-02-06 12:45
1.8K
prgcor_1__373_30.min1.thm1
2017-02-06 12:45
951
prgcor_1__372_43.min1.thm1
2017-02-06 12:45
710
prgcor_1__371_18.min1.thm1
2017-02-06 12:45
839
prgcor_1__364_28.min1.thm1
2017-02-06 12:45
945
prgcor_1__356_22.min1.thm1
2017-02-06 12:45
1.0K
prgcor_1__355_38.min1.thm1
2017-02-06 12:45
1.1K
prgcor_1__353_24.min1.thm1
2017-02-06 12:45
1.4K
prgcor_1__351_21.min1.thm1
2017-02-06 12:45
1.5K
prgcor_1__350_16.min1.thm1
2017-02-06 12:45
2.8K
prgcor_1__349_50.min1.thm1
2017-02-06 12:45
673
prgcor_1__347_23.min1.thm1
2017-02-06 12:45
2.3K
prgcor_1__346_42.min1.thm1
2017-02-06 12:45
1.0K
prgcor_1__345_44.min1.thm1
2017-02-06 12:45
710
prgcor_1__344_18.min1.thm1
2017-02-06 12:45
839
prgcor_1__337_28.min1.thm1
2017-02-06 12:45
1.5K
prgcor_1__336_16.min1.thm1
2017-02-06 12:45
1.3K
prgcor_1__330_13.min1.thm1
2017-02-06 12:45
1.2K
prgcor_1__329_27.min1.thm1
2017-02-06 12:45
955
prgcor_1__324_21.min1.thm1
2017-02-06 12:45
3.2K
prgcor_1__322_50.min1.thm1
2017-02-06 12:45
673
prgcor_1__320_23.min1.thm1
2017-02-06 12:45
695
prgcor_1__319_19.min1.thm1
2017-02-06 12:45
1.2K
prgcor_1__314_23.min1.thm1
2017-02-06 12:45
926
prgcor_1__313_43.min1.thm1
2017-02-06 12:45
2.0K
prgcor_1__308_13.min1.thm1
2017-02-06 12:45
222
prgcor_1__307_45.min1.thm1
2017-02-06 12:45
1.4K
prgcor_1__254_24.min1.thm1
2017-02-06 12:45
1.7K
prgcor_1__241_38.min1.thm1
2017-02-06 12:45
605
prgcor_1__234_28.min1.thm1
2017-02-06 12:45
2.2K
prgcor_1__230_16.min1.thm1
2017-02-06 12:45
1.1K
prgcor_1__227_15.min1.thm1
2017-02-06 12:45
2.0K
prgcor_1__215_14.min1.thm1
2017-02-06 12:45
705
prgcor_1__211_12.min1.thm1
2017-02-06 12:45
1.7K
prgcor_1__198_35.min1.thm1
2017-02-06 12:45
448
prgcor_1__182_14.min1.thm1
2017-02-06 12:45
705
prgcor_1__180_42.min1.thm1
2017-02-06 12:45
1.1K
prgcor_1__177_12.min1.thm1
2017-02-06 12:45
1.7K
prgcor_1__163_39.min1.thm1
2017-02-06 12:45
1.6K
prgcor_1__161_23.min1.thm1
2017-02-06 12:45
1.3K
prgcor_1__160_35.min1.thm1
2017-02-06 12:45
448
prgcor_1__159_28.min1.thm1
2017-02-06 12:45
1.9K
prgcor_1__157_25.min1.thm1
2017-02-06 12:45
1.5K
prgcor_1__156_12.min1.thm1
2017-02-06 12:45
1.7K
prgcor_1__140_19.min1.thm1
2017-02-06 12:45
1.6K
prgcor_1__139_18.min1.thm1
2017-02-06 12:45
1.0K
prgcor_1__134_20.min1.thm1
2017-02-06 12:45
1.0K
prgcor_1__131_11.min1.thm1
2017-02-06 12:45
266
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80