Index of /~mptp/1147/mptp/ilp0/eqrel_1
Name
Last modified
Size
Description
Parent Directory
-
eqrel_1__2483_19.min1.thm1
2017-02-06 12:44
1.0K
eqrel_1__2482_16.min1.thm1
2017-02-06 12:44
495
eqrel_1__2469_17.min1.thm1
2017-02-06 12:44
800
eqrel_1__2465_19.min1.thm1
2017-02-06 12:44
732
eqrel_1__2464_20.min1.thm1
2017-02-06 12:44
1.1K
eqrel_1__2463_45.min1.thm1
2017-02-06 12:44
1.4K
eqrel_1__2459_30.min1.thm1
2017-02-06 12:44
1.6K
eqrel_1__2454_38.min1.thm1
2017-02-06 12:44
1.8K
eqrel_1__2453_25.min1.thm1
2017-02-06 12:44
1.1K
eqrel_1__2452_8.min1.thm1.tptp
2017-02-06 16:47
268
eqrel_1__2452_8.min1.thm1
2017-02-06 12:44
346
eqrel_1__2442_16.min1.thm1
2017-02-06 12:44
1.2K
eqrel_1__2440_14.min1.thm1
2017-02-06 12:44
693
eqrel_1__2438_12.min1.thm1
2017-02-06 12:44
1.4K
eqrel_1__2437_33.min1.thm1
2017-02-06 12:44
786
eqrel_1__2429_17.min1.thm1
2017-02-06 12:44
1.8K
eqrel_1__2427_13.min1.thm1
2017-02-06 12:44
651
eqrel_1__2426_13.min1.thm1.tptp
2017-02-06 16:47
346
eqrel_1__2426_13.min1.thm1
2017-02-06 12:44
401
eqrel_1__2420_19.min1.thm1.tptp
2017-02-06 16:47
479
eqrel_1__2420_19.min1.thm1
2017-02-06 12:44
541
eqrel_1__2406_24.min1.thm1
2017-02-06 12:44
1.2K
eqrel_1__2405_27.min1.thm1
2017-02-06 12:44
1.4K
eqrel_1__2400_19.min1.thm1
2017-02-06 12:44
2.0K
eqrel_1__2399_29.min1.thm1
2017-02-06 12:44
1.2K
eqrel_1__2383_61.min1.thm1
2017-02-06 12:44
1.9K
eqrel_1__2382_20.min1.thm1
2017-02-06 12:44
1.1K
eqrel_1__2368_48.min1.thm1
2017-02-06 12:44
1.6K
eqrel_1__2367_27.min1.thm1.tptp
2017-02-06 16:47
696
eqrel_1__2367_27.min1.thm1
2017-02-06 12:44
757
eqrel_1__2365_28.min1.thm1.tptp
2017-02-06 16:47
648
eqrel_1__2365_28.min1.thm1
2017-02-06 12:44
722
eqrel_1__2356_18.min1.thm1
2017-02-06 12:44
1.0K
eqrel_1__2350_35.min1.thm1
2017-02-06 12:44
310
eqrel_1__2349_37.min1.thm1
2017-02-06 12:44
864
eqrel_1__2346_20.min1.thm1
2017-02-06 12:44
716
eqrel_1__2332_15.min1.thm1
2017-02-06 12:44
415
eqrel_1__2330_52.min1.thm1
2017-02-06 12:44
741
eqrel_1__2322_67.min1.thm1
2017-02-06 12:44
699
eqrel_1__2317_15.min1.thm1
2017-02-06 12:44
1.0K
eqrel_1__2316_19.min1.thm1
2017-02-06 12:44
497
eqrel_1__2315_13.min1.thm1
2017-02-06 12:44
789
eqrel_1__2314_13.min1.thm1
2017-02-06 12:44
465
eqrel_1__2311_16.min1.thm1
2017-02-06 12:44
1.1K
eqrel_1__2309_13.min1.thm1
2017-02-06 12:44
942
eqrel_1__2308_14.min1.thm1.tptp
2017-02-06 16:47
402
eqrel_1__2308_14.min1.thm1
2017-02-06 12:44
457
eqrel_1__2303_25.min1.thm1
2017-02-06 12:44
1.0K
eqrel_1__2302_16.min1.thm1
2017-02-06 12:44
677
eqrel_1__2292_17.min1.thm1
2017-02-06 12:44
537
eqrel_1__2291_19.min1.thm1
2017-02-06 12:44
780
eqrel_1__2290_15.min1.thm1
2017-02-06 12:44
1.0K
eqrel_1__2289_19.min1.thm1
2017-02-06 12:44
497
eqrel_1__2288_13.min1.thm1
2017-02-06 12:44
731
eqrel_1__2287_13.min1.thm1.tptp
2017-02-06 16:47
346
eqrel_1__2287_13.min1.thm1
2017-02-06 12:44
401
eqrel_1__2284_17.min1.thm1
2017-02-06 12:44
526
eqrel_1__2283_13.min1.thm1
2017-02-06 12:44
729
eqrel_1__2282_13.min1.thm1.tptp
2017-02-06 16:47
346
eqrel_1__2282_13.min1.thm1
2017-02-06 12:44
401
eqrel_1__2279_22.min1.thm1.tptp
2017-02-06 16:47
371
eqrel_1__2279_22.min1.thm1
2017-02-06 12:44
433
eqrel_1__2275_43.min1.thm1
2017-02-06 12:44
618
eqrel_1__2267_14.min1.thm1.tptp
2017-02-06 16:47
287
eqrel_1__2267_14.min1.thm1
2017-02-06 12:44
365
eqrel_1__2265_16.min1.thm1
2017-02-06 12:44
796
eqrel_1__2264_24.min1.thm1
2017-02-06 12:44
1.1K
eqrel_1__2263_35.min1.thm1.tptp
2017-02-06 16:47
354
eqrel_1__2263_35.min1.thm1
2017-02-06 12:44
409
eqrel_1__2251_23.min1.thm1
2017-02-06 12:44
963
eqrel_1__2223_17.min1.thm1
2017-02-06 12:44
1.8K
eqrel_1__2222_27.min1.thm1
2017-02-06 12:44
2.0K
eqrel_1__2211_15.min1.thm1
2017-02-06 12:44
1.9K
eqrel_1__2203_18.min1.thm1
2017-02-06 12:44
1.2K
eqrel_1__2202_18.min1.thm1.tptp
2017-02-06 16:47
229
eqrel_1__2202_18.min1.thm1
2017-02-06 12:44
315
eqrel_1__2200_26.min1.thm1
2017-02-06 12:44
2.1K
eqrel_1__2194_53.min1.thm1.tptp
2017-02-06 16:47
681
eqrel_1__2194_53.min1.thm1
2017-02-06 12:44
729
eqrel_1__2191_14.min1.thm1
2017-02-06 12:44
444
eqrel_1__2186_45.min1.thm1
2017-02-06 12:44
1.1K
eqrel_1__2183_15.min1.thm1
2017-02-06 12:44
402
eqrel_1__2179_15.min1.thm1
2017-02-06 12:44
369
eqrel_1__2162_17.min1.thm1
2017-02-06 12:44
506
eqrel_1__2161_17.min1.thm1
2017-02-06 12:44
822
eqrel_1__2160_20.min1.thm1
2017-02-06 12:44
517
eqrel_1__2159_15.min1.thm1
2017-02-06 12:44
611
eqrel_1__2158_13.min1.thm1
2017-02-06 12:44
1.3K
eqrel_1__2140_17.min1.thm1
2017-02-06 12:44
747
eqrel_1__2139_17.min1.thm1
2017-02-06 12:44
707
eqrel_1__2138_14.min1.thm1
2017-02-06 12:44
463
eqrel_1__2135_13.min1.thm1
2017-02-06 12:44
780
eqrel_1__2132_54.min1.thm1.tptp
2017-02-06 16:47
406
eqrel_1__2132_54.min1.thm1
2017-02-06 12:44
461
eqrel_1__2126_19.min1.thm1
2017-02-06 12:44
546
eqrel_1__2125_19.min1.thm1
2017-02-06 12:44
467
eqrel_1__2124_60.min1.thm1
2017-02-06 12:44
728
eqrel_1__2123_13.min1.thm1
2017-02-06 12:44
665
eqrel_1__2120_19.min1.thm1.tptp
2017-02-06 16:47
410
eqrel_1__2120_19.min1.thm1
2017-02-06 12:44
465
eqrel_1__2103_14.min1.thm1
2017-02-06 12:44
733
eqrel_1__2094_17.min1.thm1
2017-02-06 12:44
956
eqrel_1__2093_11.min1.thm1.tptp
2017-02-06 16:47
433
eqrel_1__2093_11.min1.thm1
2017-02-06 12:44
494
eqrel_1__2083_21.min1.thm1
2017-02-06 12:44
773
eqrel_1__2082_14.min1.thm1
2017-02-06 12:44
803
eqrel_1__2081_19.min1.thm1.tptp
2017-02-06 16:47
575
eqrel_1__2081_19.min1.thm1
2017-02-06 12:44
620
eqrel_1__2079_23.min1.thm1
2017-02-06 12:44
1.0K
eqrel_1__2075_25.min1.thm1.tptp
2017-02-06 16:47
480
eqrel_1__2075_25.min1.thm1
2017-02-06 12:44
535
eqrel_1__2072_30.min1.thm1
2017-02-06 12:44
764
eqrel_1__2071_31.min1.thm1
2017-02-06 12:44
765
eqrel_1__2056_17.min1.thm1
2017-02-06 12:44
956
eqrel_1__2055_11.min1.thm1.tptp
2017-02-06 16:47
433
eqrel_1__2055_11.min1.thm1
2017-02-06 12:44
494
eqrel_1__2045_21.min1.thm1
2017-02-06 12:44
773
eqrel_1__2044_14.min1.thm1
2017-02-06 12:44
800
eqrel_1__2043_19.min1.thm1.tptp
2017-02-06 16:47
575
eqrel_1__2043_19.min1.thm1
2017-02-06 12:44
620
eqrel_1__2041_23.min1.thm1
2017-02-06 12:44
1.0K
eqrel_1__2037_25.min1.thm1.tptp
2017-02-06 16:47
478
eqrel_1__2037_25.min1.thm1
2017-02-06 12:44
533
eqrel_1__2034_30.min1.thm1
2017-02-06 12:44
763
eqrel_1__2033_31.min1.thm1
2017-02-06 12:44
766
eqrel_1__2001_26.min1.thm1
2017-02-06 12:44
1.3K
eqrel_1__1999_13.min1.thm1
2017-02-06 12:44
823
eqrel_1__1993_17.min1.thm1.tptp
2017-02-06 16:47
367
eqrel_1__1993_17.min1.thm1
2017-02-06 12:44
438
eqrel_1__1983_15.min1.thm1
2017-02-06 12:44
538
eqrel_1__1978_25.min1.thm1
2017-02-06 12:44
1.3K
eqrel_1__1976_13.min1.thm1
2017-02-06 12:44
823
eqrel_1__1970_17.min1.thm1.tptp
2017-02-06 16:47
367
eqrel_1__1970_17.min1.thm1
2017-02-06 12:44
438
eqrel_1__1960_14.min1.thm1
2017-02-06 12:44
538
eqrel_1__1959_15.min1.thm1
2017-02-06 12:44
844
eqrel_1__1958_12.min1.thm1
2017-02-06 12:44
844
eqrel_1__1931_17.min1.thm1
2017-02-06 12:44
574
eqrel_1__1930_18.min1.thm1.tptp
2017-02-06 16:47
357
eqrel_1__1930_18.min1.thm1
2017-02-06 12:44
431
eqrel_1__1929_22.min1.thm1
2017-02-06 12:44
568
eqrel_1__1916_17.min1.thm1
2017-02-06 12:44
1.3K
eqrel_1__1915_50.min1.thm1
2017-02-06 12:44
1.1K
eqrel_1__1913_45.min1.thm1.tptp
2017-02-06 16:47
274
eqrel_1__1913_45.min1.thm1
2017-02-06 12:44
343
eqrel_1__1905_15.min1.thm1
2017-02-06 12:44
902
eqrel_1__1904_25.min1.thm1
2017-02-06 12:44
1.7K
eqrel_1__1903_50.min1.thm1
2017-02-06 12:44
926
eqrel_1__1902_41.min1.thm1.tptp
2017-02-06 16:47
347
eqrel_1__1902_41.min1.thm1
2017-02-06 12:44
425
eqrel_1__1900_19.min1.thm1
2017-02-06 12:44
740
eqrel_1__1883_19.min1.thm1
2017-02-06 12:44
1.0K
eqrel_1__1882_19.min1.thm1
2017-02-06 12:44
801
eqrel_1__1879_47.min1.thm1.tptp
2017-02-06 16:47
358
eqrel_1__1879_47.min1.thm1
2017-02-06 12:44
413
eqrel_1__1875_25.min1.thm1
2017-02-06 12:44
521
eqrel_1__1874_24.min1.thm1
2017-02-06 12:44
1.1K
eqrel_1__1873_17.min1.thm1
2017-02-06 12:44
803
eqrel_1__1868_17.min1.thm1
2017-02-06 12:44
764
eqrel_1__1867_13.min1.thm1
2017-02-06 12:44
761
eqrel_1__1866_17.min1.thm1
2017-02-06 12:44
1.0K
eqrel_1__1858_19.min1.thm1
2017-02-06 12:44
1.0K
eqrel_1__1857_22.min1.thm1
2017-02-06 12:44
841
eqrel_1__1856_22.min1.thm1
2017-02-06 12:44
469
eqrel_1__1855_25.min1.thm1
2017-02-06 12:44
941
eqrel_1__1854_13.min1.thm1
2017-02-06 12:44
747
eqrel_1__1851_26.min1.thm1
2017-02-06 12:44
955
eqrel_1__1834_18.min1.thm1
2017-02-06 12:44
472
eqrel_1__1832_23.min1.thm1
2017-02-06 12:44
1.3K
eqrel_1__1830_62.min1.thm1
2017-02-06 12:44
1.8K
eqrel_1__1827_22.min1.thm1.tptp
2017-02-06 16:47
409
eqrel_1__1827_22.min1.thm1
2017-02-06 12:44
489
eqrel_1__1826_18.min1.thm1
2017-02-06 12:44
1.4K
eqrel_1__1824_45.min1.thm1
2017-02-06 12:44
718
eqrel_1__1823_19.min1.thm1.tptp
2017-02-06 16:47
365
eqrel_1__1823_19.min1.thm1
2017-02-06 12:44
442
eqrel_1__1818_25.min1.thm1
2017-02-06 12:44
922
eqrel_1__1817_71.min1.thm1
2017-02-06 12:44
1.2K
eqrel_1__1808_53.min1.thm1
2017-02-06 12:44
470
eqrel_1__1805_22.min1.thm1
2017-02-06 12:44
461
eqrel_1__1803_27.min1.thm1
2017-02-06 12:44
1.0K
eqrel_1__1801_29.min1.thm1
2017-02-06 12:44
1.4K
eqrel_1__1800_33.min1.thm1
2017-02-06 12:44
1.3K
eqrel_1__1790_29.min1.thm1
2017-02-06 12:44
1.4K
eqrel_1__1789_33.min1.thm1
2017-02-06 12:44
1.3K
eqrel_1__1779_29.min1.thm1.tptp
2017-02-06 16:47
681
eqrel_1__1779_29.min1.thm1
2017-02-06 12:44
735
eqrel_1__1777_77.min1.thm1
2017-02-06 12:44
802
eqrel_1__1770_28.min1.thm1
2017-02-06 12:44
1.0K
eqrel_1__1761_40.min1.thm1
2017-02-06 12:44
1.1K
eqrel_1__1759_65.min1.thm1.tptp
2017-02-06 16:47
655
eqrel_1__1759_65.min1.thm1
2017-02-06 12:44
717
eqrel_1__1756_21.min1.thm1
2017-02-06 12:44
1.3K
eqrel_1__1749_40.min1.thm1
2017-02-06 12:44
1.1K
eqrel_1__1747_65.min1.thm1
2017-02-06 12:44
810
eqrel_1__1744_21.min1.thm1
2017-02-06 12:44
1.3K
eqrel_1__1738_58.min1.thm1
2017-02-06 12:44
1.0K
eqrel_1__1734_61.min1.thm1
2017-02-06 12:44
941
eqrel_1__1732_30.min1.thm1.tptp
2017-02-06 16:47
449
eqrel_1__1732_30.min1.thm1
2017-02-06 12:44
503
eqrel_1__1727_24.min1.thm1.tptp
2017-02-06 16:47
415
eqrel_1__1727_24.min1.thm1
2017-02-06 12:44
495
eqrel_1__1726_20.min1.thm1
2017-02-06 12:44
1.4K
eqrel_1__1724_47.min1.thm1
2017-02-06 12:44
726
eqrel_1__1723_21.min1.thm1.tptp
2017-02-06 16:47
367
eqrel_1__1723_21.min1.thm1
2017-02-06 12:44
444
eqrel_1__1718_24.min1.thm1.tptp
2017-02-06 16:47
415
eqrel_1__1718_24.min1.thm1
2017-02-06 12:44
495
eqrel_1__1717_20.min1.thm1
2017-02-06 12:44
1.4K
eqrel_1__1715_47.min1.thm1
2017-02-06 12:44
726
eqrel_1__1714_21.min1.thm1.tptp
2017-02-06 16:47
367
eqrel_1__1714_21.min1.thm1
2017-02-06 12:44
444
eqrel_1__1708_67.min1.thm1
2017-02-06 12:44
1.1K
eqrel_1__1704_70.min1.thm1
2017-02-06 12:44
1.1K
eqrel_1__1702_22.min1.thm1
2017-02-06 12:44
1.0K
eqrel_1__1701_13.min1.thm1
2017-02-06 12:44
1.4K
eqrel_1__1698_25.min1.thm1
2017-02-06 12:44
922
eqrel_1__1697_71.min1.thm1
2017-02-06 12:44
1.2K
eqrel_1__1691_67.min1.thm1
2017-02-06 12:44
1.1K
eqrel_1__1687_43.min1.thm1
2017-02-06 12:44
710
eqrel_1__1686_17.min1.thm1.tptp
2017-02-06 16:47
363
eqrel_1__1686_17.min1.thm1
2017-02-06 12:44
440
eqrel_1__1683_28.min1.thm1
2017-02-06 12:44
745
eqrel_1__1681_25.min1.thm1
2017-02-06 12:44
1.0K
eqrel_1__1679_73.min1.thm1
2017-02-06 12:44
1.0K
eqrel_1__1677_18.min1.thm1
2017-02-06 12:44
1.4K
eqrel_1__1674_27.min1.thm1
2017-02-06 12:44
938
eqrel_1__1673_74.min1.thm1
2017-02-06 12:44
1.2K
eqrel_1__1667_71.min1.thm1
2017-02-06 12:44
1.1K
eqrel_1__1666_45.min1.thm1
2017-02-06 12:44
718
eqrel_1__1665_46.min1.thm1.tptp
2017-02-06 16:47
278
eqrel_1__1665_46.min1.thm1
2017-02-06 12:44
356
eqrel_1__1663_19.min1.thm1.tptp
2017-02-06 16:47
365
eqrel_1__1663_19.min1.thm1
2017-02-06 12:44
442
eqrel_1__1656_45.min1.thm1
2017-02-06 12:44
521
eqrel_1__1654_20.min1.thm1
2017-02-06 12:44
617
eqrel_1__1652_22.min1.thm1
2017-02-06 12:44
1.0K
eqrel_1__1651_35.min1.thm1
2017-02-06 12:44
1.1K
eqrel_1__1649_19.min1.thm1
2017-02-06 12:44
1.2K
eqrel_1__1646_66.min1.thm1
2017-02-06 12:44
417
eqrel_1__1644_19.min1.thm1
2017-02-06 12:44
1.4K
eqrel_1__1642_45.min1.thm1
2017-02-06 12:44
718
eqrel_1__1641_19.min1.thm1.tptp
2017-02-06 16:47
365
eqrel_1__1641_19.min1.thm1
2017-02-06 12:44
442
eqrel_1__1636_67.min1.thm1
2017-02-06 12:44
1.0K
eqrel_1__1620_44.min1.thm1
2017-02-06 12:44
726
eqrel_1__1619_11.min1.thm1.tptp
2017-02-06 16:47
475
eqrel_1__1619_11.min1.thm1
2017-02-06 12:44
552
eqrel_1__1599_16.min1.thm1
2017-02-06 12:44
1.0K
eqrel_1__1597_13.min1.thm1.tptp
2017-02-06 16:47
224
eqrel_1__1597_13.min1.thm1
2017-02-06 12:44
301
eqrel_1__1595_24.min1.thm1
2017-02-06 12:44
881
eqrel_1__1585_16.min1.thm1
2017-02-06 12:44
386
eqrel_1__1583_29.min1.thm1
2017-02-06 12:44
1.0K
eqrel_1__1574_17.min1.thm1
2017-02-06 12:44
1.5K
eqrel_1__1572_35.min1.thm1
2017-02-06 12:44
1.4K
eqrel_1__1569_24.min1.thm1
2017-02-06 12:44
1.2K
eqrel_1__1568_35.min1.thm1
2017-02-06 12:44
1.4K
eqrel_1__1565_24.min1.thm1
2017-02-06 12:44
1.2K
eqrel_1__1553_15.min1.thm1
2017-02-06 12:44
870
eqrel_1__1551_45.min1.thm1
2017-02-06 12:44
767
eqrel_1__1542_17.min1.thm1
2017-02-06 12:44
1.1K
eqrel_1__1541_57.min1.thm1
2017-02-06 12:44
721
eqrel_1__1532_18.min1.thm1
2017-02-06 12:44
632
eqrel_1__1511_45.min1.thm1
2017-02-06 12:44
443
eqrel_1__1488_17.min1.thm1
2017-02-06 12:44
559
eqrel_1__1486_19.min1.thm1
2017-02-06 12:44
528
eqrel_1__1485_17.min1.thm1
2017-02-06 12:44
402
eqrel_1__1482_20.min1.thm1
2017-02-06 12:44
523
eqrel_1__1475_46.min1.thm1.tptp
2017-02-06 16:47
296
eqrel_1__1475_46.min1.thm1
2017-02-06 12:44
371
eqrel_1__1468_17.min1.thm1
2017-02-06 12:44
856
eqrel_1__1465_21.min1.thm1
2017-02-06 12:44
894
eqrel_1__1464_31.min1.thm1
2017-02-06 12:44
570
eqrel_1__1463_26.min1.thm1
2017-02-06 12:44
1.4K
eqrel_1__1462_39.min1.thm1
2017-02-06 12:44
525
eqrel_1__1461_17.min1.thm1
2017-02-06 12:44
731
eqrel_1__1460_16.min1.thm1
2017-02-06 12:44
892
eqrel_1__1452_21.min1.thm1
2017-02-06 12:44
894
eqrel_1__1451_31.min1.thm1
2017-02-06 12:44
570
eqrel_1__1450_26.min1.thm1
2017-02-06 12:44
1.4K
eqrel_1__1449_39.min1.thm1
2017-02-06 12:44
525
eqrel_1__1448_17.min1.thm1
2017-02-06 12:44
666
eqrel_1__1447_23.min1.thm1
2017-02-06 12:44
893
eqrel_1__1428_19.min1.thm1
2017-02-06 12:44
1.1K
eqrel_1__1427_16.min1.thm1
2017-02-06 12:44
523
eqrel_1__1416_29.min1.thm1
2017-02-06 12:44
1.2K
eqrel_1__1396_23.min1.thm1
2017-02-06 12:44
794
eqrel_1__1395_11.min1.thm1
2017-02-06 12:44
520
eqrel_1__1390_19.min1.thm1
2017-02-06 12:44
771
eqrel_1__1389_14.min1.thm1
2017-02-06 12:44
496
eqrel_1__1388_25.min1.thm1
2017-02-06 12:44
1.7K
eqrel_1__1374_11.min1.thm1
2017-02-06 12:44
906
eqrel_1__1351_11.min1.thm1
2017-02-06 12:44
856
eqrel_1__1345_11.min1.thm1
2017-02-06 12:44
876
eqrel_1__1337_14.min1.thm1.tptp
2017-02-06 16:47
521
eqrel_1__1337_14.min1.thm1
2017-02-06 12:44
595
eqrel_1__1317_16.min1.thm1.tptp
2017-02-06 16:47
285
eqrel_1__1317_16.min1.thm1
2017-02-06 12:44
358
eqrel_1__1316_45.min1.thm1
2017-02-06 12:44
1.0K
eqrel_1__1315_18.min1.thm1
2017-02-06 12:44
693
eqrel_1__1302_16.min1.thm1
2017-02-06 12:44
458
eqrel_1__1300_33.min1.thm1.tptp
2017-02-06 16:47
238
eqrel_1__1300_33.min1.thm1
2017-02-06 12:44
316
eqrel_1__1296_34.min1.thm1
2017-02-06 12:44
827
eqrel_1__1289_71.min1.thm1.tptp
2017-02-06 16:47
692
eqrel_1__1289_71.min1.thm1
2017-02-06 12:44
712
eqrel_1__1285_17.min1.thm1.tptp
2017-02-06 16:47
788
eqrel_1__1285_17.min1.thm1
2017-02-06 12:44
837
eqrel_1__1283_19.min1.thm1
2017-02-06 12:44
716
eqrel_1__1282_13.min1.thm1
2017-02-06 12:44
369
eqrel_1__1272_38.min1.thm1.tptp
2017-02-06 16:47
477
eqrel_1__1272_38.min1.thm1
2017-02-06 12:44
565
eqrel_1__1270_23.min1.thm1
2017-02-06 12:44
468
eqrel_1__1268_36.min1.thm1.tptp
2017-02-06 16:47
456
eqrel_1__1268_36.min1.thm1
2017-02-06 12:44
544
eqrel_1__1261_27.min1.thm1
2017-02-06 12:44
1.6K
eqrel_1__1260_24.min1.thm1
2017-02-06 12:44
565
eqrel_1__1259_21.min1.thm1
2017-02-06 12:44
788
eqrel_1__1251_17.min1.thm1
2017-02-06 12:44
776
eqrel_1__1246_26.min1.thm1
2017-02-06 12:44
1.0K
eqrel_1__1238_30.min1.thm1.tptp
2017-02-06 16:47
490
eqrel_1__1238_30.min1.thm1
2017-02-06 12:44
550
eqrel_1__1236_45.min1.thm1.tptp
2017-02-06 16:47
717
eqrel_1__1236_45.min1.thm1
2017-02-06 12:44
805
eqrel_1__1233_30.min1.thm1
2017-02-06 12:44
1.5K
eqrel_1__1229_27.min1.thm1
2017-02-06 12:44
1.5K
eqrel_1__1228_24.min1.thm1
2017-02-06 12:44
951
eqrel_1__1224_30.min1.thm1
2017-02-06 12:44
1.0K
eqrel_1__1219_17.min1.thm1
2017-02-06 12:44
849
eqrel_1__1217_18.min1.thm1
2017-02-06 12:44
900
eqrel_1__1205_35.min1.thm1
2017-02-06 12:44
377
eqrel_1__1203_20.min1.thm1
2017-02-06 12:44
516
eqrel_1__1201_40.min1.thm1
2017-02-06 12:44
571
eqrel_1__1200_15.min1.thm1
2017-02-06 12:44
819
eqrel_1__1193_18.min1.thm1
2017-02-06 12:44
679
eqrel_1__1191_21.min1.thm1
2017-02-06 12:44
1.0K
eqrel_1__1190_28.min1.thm1
2017-02-06 12:44
1.1K
eqrel_1__1170_17.min1.thm1
2017-02-06 12:44
1.0K
eqrel_1__1166_18.min1.thm1
2017-02-06 12:44
1.1K
eqrel_1__1159_52.min1.thm1
2017-02-06 12:44
1.2K
eqrel_1__1157_46.min1.thm1
2017-02-06 12:44
1.2K
eqrel_1__1153_22.min1.thm1
2017-02-06 12:44
209
eqrel_1__1142_12.min1.thm1
2017-02-06 12:44
877
eqrel_1__1141_13.min1.thm1
2017-02-06 12:44
366
eqrel_1__1129_46.min1.thm1
2017-02-06 12:44
867
eqrel_1__1127_37.min1.thm1
2017-02-06 12:44
374
eqrel_1__1126_31.min1.thm1
2017-02-06 12:44
731
eqrel_1__1125_32.min1.thm1
2017-02-06 12:44
473
eqrel_1__1116_21.min1.thm1
2017-02-06 12:44
561
eqrel_1__1114_27.min1.thm1.tptp
2017-02-06 16:47
433
eqrel_1__1114_27.min1.thm1
2017-02-06 12:44
487
eqrel_1__1112_25.min1.thm1
2017-02-06 12:44
467
eqrel_1__1111_27.min1.thm1
2017-02-06 12:44
549
eqrel_1__1103_16.min1.thm1
2017-02-06 12:44
572
eqrel_1__1098_21.min1.thm1
2017-02-06 12:44
376
eqrel_1__1097_16.min1.thm1
2017-02-06 12:44
572
eqrel_1__1075_21.min1.thm1
2017-02-06 12:44
1.2K
eqrel_1__1062_34.min1.thm1
2017-02-06 12:44
774
eqrel_1__1061_54.min1.thm1.tptp
2017-02-06 16:47
571
eqrel_1__1061_54.min1.thm1
2017-02-06 12:44
630
eqrel_1__1051_18.min1.thm1
2017-02-06 12:44
542
eqrel_1__1036_14.min1.thm1
2017-02-06 12:44
1.4K
eqrel_1__1034_19.min1.thm1
2017-02-06 12:44
1.2K
eqrel_1__1033_50.min1.thm1
2017-02-06 12:44
862
eqrel_1__1030_53.min1.thm1
2017-02-06 12:44
925
eqrel_1__1029_8.min1.thm1
2017-02-06 12:44
2.3K
eqrel_1__1012_14.min1.thm1
2017-02-06 12:44
730
eqrel_1__1008_17.min1.thm1
2017-02-06 12:44
915
eqrel_1__1005_27.min1.thm1
2017-02-06 12:44
917
eqrel_1__1003_22.min1.thm1
2017-02-06 12:44
916
eqrel_1__994_27.min1.thm1
2017-02-06 12:44
917
eqrel_1__992_22.min1.thm1
2017-02-06 12:44
916
eqrel_1__991_22.min1.thm1
2017-02-06 12:44
917
eqrel_1__974_26.min1.thm1.tptp
2017-02-06 16:47
721
eqrel_1__974_26.min1.thm1
2017-02-06 12:44
780
eqrel_1__961_26.min1.thm1.tptp
2017-02-06 16:47
721
eqrel_1__961_26.min1.thm1
2017-02-06 12:44
780
eqrel_1__940_9.min1.thm1
2017-02-06 12:44
1.1K
eqrel_1__937_18.min1.thm1.tptp
2017-02-06 16:47
524
eqrel_1__937_18.min1.thm1
2017-02-06 12:44
604
eqrel_1__932_30.min1.thm1
2017-02-06 12:44
1.2K
eqrel_1__927_47.min1.thm1
2017-02-06 12:44
1.0K
eqrel_1__924_20.min1.thm1
2017-02-06 12:44
1.9K
eqrel_1__922_18.min1.thm1
2017-02-06 12:44
1.8K
eqrel_1__921_39.min1.thm1
2017-02-06 12:44
1.7K
eqrel_1__920_28.min1.thm1
2017-02-06 12:44
1.1K
eqrel_1__902_18.min1.thm1
2017-02-06 12:44
1.2K
eqrel_1__890_32.min1.thm1
2017-02-06 12:44
858
eqrel_1__888_18.min1.thm1
2017-02-06 12:44
583
eqrel_1__886_23.min1.thm1
2017-02-06 12:44
1.7K
eqrel_1__885_21.min1.thm1
2017-02-06 12:44
1.0K
eqrel_1__884_17.min1.thm1
2017-02-06 12:44
1.2K
eqrel_1__877_16.min1.thm1
2017-02-06 12:44
601
eqrel_1__876_22.min1.thm1
2017-02-06 12:44
1.1K
eqrel_1__868_58.min1.thm1
2017-02-06 12:44
1.4K
eqrel_1__867_35.min1.thm1
2017-02-06 12:44
587
eqrel_1__865_21.min1.thm1
2017-02-06 12:44
1.4K
eqrel_1__864_28.min1.thm1
2017-02-06 12:44
653
eqrel_1__862_72.min1.thm1
2017-02-06 12:44
844
eqrel_1__854_19.min1.thm1
2017-02-06 12:44
1.5K
eqrel_1__850_24.min1.thm1
2017-02-06 12:44
1.5K
eqrel_1__845_28.min1.thm1
2017-02-06 12:44
1.6K
eqrel_1__843_23.min1.thm1
2017-02-06 12:44
1.8K
eqrel_1__841_41.min1.thm1
2017-02-06 12:44
1.0K
eqrel_1__840_26.min1.thm1
2017-02-06 12:44
1.8K
eqrel_1__836_37.min1.thm1
2017-02-06 12:44
1.9K
eqrel_1__835_42.min1.thm1
2017-02-06 12:44
2.3K
eqrel_1__819_42.min1.thm1
2017-02-06 12:44
2.4K
eqrel_1__818_19.min1.thm1
2017-02-06 12:44
1.9K
eqrel_1__815_18.min1.thm1
2017-02-06 12:44
1.7K
eqrel_1__813_42.min1.thm1
2017-02-06 12:44
1.7K
eqrel_1__812_55.min1.thm1
2017-02-06 12:44
1.7K
eqrel_1__801_52.min1.thm1
2017-02-06 12:44
322
eqrel_1__784_16.min1.thm1
2017-02-06 12:44
2.1K
eqrel_1__782_24.min1.thm1
2017-02-06 12:44
1.0K
eqrel_1__781_24.min1.thm1
2017-02-06 12:44
1.5K
eqrel_1__779_20.min1.thm1.tptp
2017-02-06 16:47
710
eqrel_1__779_20.min1.thm1
2017-02-06 12:44
790
eqrel_1__769_32.min1.thm1
2017-02-06 12:44
2.0K
eqrel_1__767_32.min1.thm1
2017-02-06 12:44
970
eqrel_1__766_62.min1.thm1
2017-02-06 12:44
1.6K
eqrel_1__765_29.min1.thm1
2017-02-06 12:44
1.9K
eqrel_1__761_27.min1.thm1
2017-02-06 12:44
1.7K
eqrel_1__758_28.min1.thm1
2017-02-06 12:44
1.1K
eqrel_1__757_22.min1.thm1
2017-02-06 12:44
2.2K
eqrel_1__755_34.min1.thm1
2017-02-06 12:44
1.1K
eqrel_1__754_33.min1.thm1
2017-02-06 12:44
1.6K
eqrel_1__750_27.min1.thm1
2017-02-06 12:44
1.5K
eqrel_1__749_29.min1.thm1
2017-02-06 12:44
2.0K
eqrel_1__748_30.min1.thm1
2017-02-06 12:44
1.1K
eqrel_1__744_34.min1.thm1
2017-02-06 12:44
1.1K
eqrel_1__743_38.min1.thm1
2017-02-06 12:44
1.9K
eqrel_1__739_22.min1.thm1
2017-02-06 12:44
2.4K
eqrel_1__737_55.min1.thm1
2017-02-06 12:44
1.7K
eqrel_1__727_35.min1.thm1
2017-02-06 12:44
2.1K
eqrel_1__726_30.min1.thm1
2017-02-06 12:44
761
eqrel_1__686_17.min1.thm1
2017-02-06 12:44
1.0K
eqrel_1__682_24.min1.thm1
2017-02-06 12:44
715
eqrel_1__681_19.min1.thm1
2017-02-06 12:44
909
eqrel_1__678_29.min1.thm1
2017-02-06 12:44
715
eqrel_1__665_17.min1.thm1
2017-02-06 12:44
550
eqrel_1__664_51.min1.thm1
2017-02-06 12:44
1.8K
eqrel_1__661_28.min1.thm1
2017-02-06 12:44
662
eqrel_1__650_17.min1.thm1.tptp
2017-02-06 16:47
429
eqrel_1__650_17.min1.thm1
2017-02-06 12:44
485
eqrel_1__649_50.min1.thm1
2017-02-06 12:44
1.3K
eqrel_1__646_18.min1.thm1
2017-02-06 12:44
666
eqrel_1__645_25.min1.thm1
2017-02-06 12:44
1.2K
eqrel_1__635_17.min1.thm1
2017-02-06 12:44
1.0K
eqrel_1__633_19.min1.thm1
2017-02-06 12:44
964
eqrel_1__623_19.min1.thm1
2017-02-06 12:44
909
eqrel_1__620_24.min1.thm1.tptp
2017-02-06 16:47
625
eqrel_1__620_24.min1.thm1
2017-02-06 12:44
679
eqrel_1__604_22.min1.thm1
2017-02-06 12:44
901
eqrel_1__599_24.min1.thm1
2017-02-06 12:44
905
eqrel_1__586_27.min1.thm1
2017-02-06 12:44
1.2K
eqrel_1__583_19.min1.thm1
2017-02-06 12:44
734
eqrel_1__582_40.min1.thm1.tptp
2017-02-06 16:47
533
eqrel_1__582_40.min1.thm1
2017-02-06 12:44
597
eqrel_1__574_35.min1.thm1.tptp
2017-02-06 16:47
533
eqrel_1__574_35.min1.thm1
2017-02-06 12:44
597
eqrel_1__569_21.min1.thm1
2017-02-06 12:44
907
eqrel_1__551_17.min1.thm1
2017-02-06 12:44
930
eqrel_1__538_14.min1.thm1
2017-02-06 12:44
344
eqrel_1__537_25.min1.thm1
2017-02-06 12:44
726
eqrel_1__526_20.min1.thm1
2017-02-06 12:44
768
eqrel_1__516_13.min1.thm1
2017-02-06 12:44
267
eqrel_1__515_17.min1.thm1
2017-02-06 12:44
872
eqrel_1__511_19.min1.thm1
2017-02-06 12:44
876
eqrel_1__510_22.min1.thm1
2017-02-06 12:44
519
eqrel_1__498_17.min1.thm1
2017-02-06 12:44
812
eqrel_1__496_15.min1.thm1
2017-02-06 12:44
267
eqrel_1__494_19.min1.thm1
2017-02-06 12:44
606
eqrel_1__493_51.min1.thm1
2017-02-06 12:44
855
eqrel_1__482_16.min1.thm1
2017-02-06 12:44
946
eqrel_1__481_15.min1.thm1
2017-02-06 12:44
608
eqrel_1__465_16.min1.thm1
2017-02-06 12:44
611
eqrel_1__462_58.min1.thm1
2017-02-06 12:44
1.3K
eqrel_1__461_37.min1.thm1
2017-02-06 12:44
581
eqrel_1__459_19.min1.thm1
2017-02-06 12:44
646
eqrel_1__458_18.min1.thm1.tptp
2017-02-06 16:47
268
eqrel_1__458_18.min1.thm1
2017-02-06 12:44
349
eqrel_1__451_19.min1.thm1
2017-02-06 12:44
692
eqrel_1__450_18.min1.thm1.tptp
2017-02-06 16:47
279
eqrel_1__450_18.min1.thm1
2017-02-06 12:44
357
eqrel_1__449_13.min1.thm1
2017-02-06 12:44
566
eqrel_1__441_19.min1.thm1
2017-02-06 12:44
726
eqrel_1__440_18.min1.thm1.tptp
2017-02-06 16:47
370
eqrel_1__440_18.min1.thm1
2017-02-06 12:44
441
eqrel_1__439_24.min1.thm1
2017-02-06 12:44
787
eqrel_1__416_22.min1.thm1
2017-02-06 12:44
2.3K
eqrel_1__409_17.min1.thm1
2017-02-06 12:44
1.9K
eqrel_1__407_58.min1.thm1
2017-02-06 12:44
2.3K
eqrel_1__406_42.min1.thm1
2017-02-06 12:44
2.1K
eqrel_1__401_33.min1.thm1
2017-02-06 12:44
1.3K
eqrel_1__398_20.min1.thm1.tptp
2017-02-06 16:47
746
eqrel_1__398_20.min1.thm1
2017-02-06 12:44
775
eqrel_1__390_44.min1.thm1
2017-02-06 12:44
2.3K
eqrel_1__389_24.min1.thm1
2017-02-06 12:44
1.4K
eqrel_1__388_27.min1.thm1
2017-02-06 12:44
1.1K
eqrel_1__385_32.min1.thm1
2017-02-06 12:44
1.6K
eqrel_1__383_27.min1.thm1
2017-02-06 12:44
1.3K
eqrel_1__380_39.min1.thm1
2017-02-06 12:44
2.0K
eqrel_1__379_27.min1.thm1
2017-02-06 12:44
1.9K
eqrel_1__376_49.min1.thm1
2017-02-06 12:44
1.8K
eqrel_1__375_39.min1.thm1
2017-02-06 12:44
2.6K
eqrel_1__372_37.min1.thm1
2017-02-06 12:44
1.7K
eqrel_1__363_44.min1.thm1
2017-02-06 12:44
2.4K
eqrel_1__361_27.min1.thm1
2017-02-06 12:44
1.3K
eqrel_1__358_32.min1.thm1
2017-02-06 12:44
1.6K
eqrel_1__356_39.min1.thm1
2017-02-06 12:44
1.8K
eqrel_1__355_19.min1.thm1
2017-02-06 12:44
1.4K
eqrel_1__353_27.min1.thm1
2017-02-06 12:44
1.1K
eqrel_1__352_27.min1.thm1
2017-02-06 12:44
1.9K
eqrel_1__349_49.min1.thm1
2017-02-06 12:44
1.9K
eqrel_1__348_39.min1.thm1
2017-02-06 12:44
2.6K
eqrel_1__345_37.min1.thm1
2017-02-06 12:44
1.7K
eqrel_1__335_13.min1.thm1
2017-02-06 12:44
1.0K
eqrel_1__334_15.min1.thm1
2017-02-06 12:44
1.5K
eqrel_1__332_19.min1.thm1
2017-02-06 12:44
1.1K
eqrel_1__331_28.min1.thm1
2017-02-06 12:44
1.7K
eqrel_1__314_33.min1.thm1
2017-02-06 12:44
819
eqrel_1__311_24.min1.thm1
2017-02-06 12:44
1.1K
eqrel_1__310_21.min1.thm1
2017-02-06 12:44
856
eqrel_1__306_62.min1.thm1
2017-02-06 12:44
1.5K
eqrel_1__305_57.min1.thm1
2017-02-06 12:44
897
eqrel_1__304_14.min1.thm1
2017-02-06 12:44
1.1K
eqrel_1__302_14.min1.thm1
2017-02-06 12:44
649
eqrel_1__292_17.min1.thm1
2017-02-06 12:44
1.7K
eqrel_1__291_35.min1.thm1
2017-02-06 12:44
573
eqrel_1__289_19.min1.thm1
2017-02-06 12:44
1.1K
eqrel_1__287_21.min1.thm1
2017-02-06 12:44
1.1K
eqrel_1__286_44.min1.thm1.tptp
2017-02-06 16:47
542
eqrel_1__286_44.min1.thm1
2017-02-06 12:44
619
eqrel_1__276_19.min1.thm1
2017-02-06 12:44
1.1K
eqrel_1__273_52.min1.thm1
2017-02-06 12:44
1.6K
eqrel_1__272_19.min1.thm1
2017-02-06 12:44
1.2K
eqrel_1__256_19.min1.thm1
2017-02-06 12:44
1.1K
eqrel_1__254_25.min1.thm1
2017-02-06 12:44
908
eqrel_1__253_57.min1.thm1
2017-02-06 12:44
1.6K
eqrel_1__242_44.min1.thm1.tptp
2017-02-06 16:47
456
eqrel_1__242_44.min1.thm1
2017-02-06 12:44
534
eqrel_1__232_17.min1.thm1
2017-02-06 12:44
1.9K
eqrel_1__229_25.min1.thm1
2017-02-06 12:44
1.1K
eqrel_1__228_26.min1.thm1
2017-02-06 12:44
715
eqrel_1__218_19.min1.thm1
2017-02-06 12:44
2.2K
eqrel_1__215_32.min1.thm1
2017-02-06 12:44
1.5K
eqrel_1__213_42.min1.thm1
2017-02-06 12:44
1.0K
eqrel_1__210_42.min1.thm1
2017-02-06 12:44
1.0K
eqrel_1__201_17.min1.thm1
2017-02-06 12:44
1.0K
eqrel_1__200_19.min1.thm1
2017-02-06 12:44
529
eqrel_1__199_24.min1.thm1
2017-02-06 12:44
698
eqrel_1__194_29.min1.thm1
2017-02-06 12:44
873
eqrel_1__187_23.min1.thm1
2017-02-06 12:44
712
eqrel_1__180_27.min1.thm1
2017-02-06 12:44
714
eqrel_1__178_16.min1.thm1.tptp
2017-02-06 16:47
419
eqrel_1__178_16.min1.thm1
2017-02-06 12:44
489
eqrel_1__162_26.min1.thm1
2017-02-06 12:44
714
eqrel_1__160_16.min1.thm1.tptp
2017-02-06 16:47
419
eqrel_1__160_16.min1.thm1
2017-02-06 12:44
489
eqrel_1__153_17.min1.thm1
2017-02-06 12:44
900
eqrel_1__152_29.min1.thm1
2017-02-06 12:44
700
eqrel_1__151_16.min1.thm1.tptp
2017-02-06 16:47
409
eqrel_1__151_16.min1.thm1
2017-02-06 12:44
479
eqrel_1__144_14.min1.thm1
2017-02-06 12:44
1.4K
eqrel_1__143_33.min1.thm1
2017-02-06 12:44
1.4K
eqrel_1__135_14.min1.thm1.tptp
2017-02-06 16:47
433
eqrel_1__135_14.min1.thm1
2017-02-06 12:44
509
eqrel_1__129_17.min1.thm1
2017-02-06 12:44
1.1K
eqrel_1__128_22.min1.thm1
2017-02-06 12:44
628
eqrel_1__125_35.min1.thm1
2017-02-06 12:44
703
eqrel_1__121_6.min1.thm1
2017-02-06 12:44
708
eqrel_1__115_35.min1.thm1
2017-02-06 12:44
797
eqrel_1__105_24.min1.thm1
2017-02-06 12:44
793
eqrel_1__102_72.min1.thm1
2017-02-06 12:44
787
eqrel_1__101_45.min1.thm1
2017-02-06 12:44
607
eqrel_1__96_28.min1.thm1
2017-02-06 12:44
1.1K
eqrel_1__91_16.min1.thm1
2017-02-06 12:44
803
eqrel_1__90_23.min1.thm1
2017-02-06 12:44
944
eqrel_1__85_16.min1.thm1
2017-02-06 12:44
620
eqrel_1__84_23.min1.thm1
2017-02-06 12:44
795
eqrel_1__69_21.min1.thm1
2017-02-06 12:44
1.1K
eqrel_1__68_30.min1.thm1
2017-02-06 12:44
551
eqrel_1__63_25.min1.thm1
2017-02-06 12:44
770
eqrel_1__54_16.min1.thm1.tptp
2017-02-06 16:47
321
eqrel_1__54_16.min1.thm1
2017-02-06 12:44
393
eqrel_1__53_21.min1.thm1
2017-02-06 12:44
286
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80