Index of /~mptp/1147/MPTP2/ilp0/polynom8
Name
Last modified
Size
Description
Parent Directory
-
polynom8__3052_24.min1.thm1
2017-02-06 12:45
2.3K
polynom8__3047_15.min1.thm1
2017-02-06 12:45
273
polynom8__3039_18.min1.thm1
2017-02-06 12:45
971
polynom8__3030_17.min1.thm1
2017-02-06 12:45
396
polynom8__3011_22.min1.thm1
2017-02-06 12:45
1.5K
polynom8__3002_22.min1.thm1
2017-02-06 12:45
1.5K
polynom8__2999_16.min1.thm1
2017-02-06 12:45
394
polynom8__2996_11.min1.thm1
2017-02-06 12:45
373
polynom8__2968_31.min1.thm1
2017-02-06 12:45
1.7K
polynom8__2958_28.min1.thm1
2017-02-06 12:45
1.7K
polynom8__2954_13.min1.thm1
2017-02-06 12:45
229
polynom8__2949_15.min1.thm1
2017-02-06 12:45
372
polynom8__2934_14.min1.thm1
2017-02-06 12:45
1.0K
polynom8__2928_23.min1.thm1
2017-02-06 12:45
1.4K
polynom8__2923_18.min1.thm1
2017-02-06 12:45
1.0K
polynom8__2921_26.min1.thm1
2017-02-06 12:45
2.4K
polynom8__2915_22.min1.thm1
2017-02-06 12:45
1.0K
polynom8__2914_58.min1.thm1
2017-02-06 12:45
1.3K
polynom8__2913_21.min1.thm1
2017-02-06 12:45
1.0K
polynom8__2910_37.min1.thm1
2017-02-06 12:45
1.8K
polynom8__2903_27.min1.thm1
2017-02-06 12:45
2.5K
polynom8__2900_31.min1.thm1
2017-02-06 12:45
1.9K
polynom8__2897_32.min1.thm1
2017-02-06 12:45
2.5K
polynom8__2893_22.min1.thm1
2017-02-06 12:45
1.0K
polynom8__2890_28.min1.thm1
2017-02-06 12:45
1.5K
polynom8__2887_20.min1.thm1
2017-02-06 12:45
1.7K
polynom8__2884_30.min1.thm1
2017-02-06 12:45
1.8K
polynom8__2876_20.min1.thm1
2017-02-06 12:45
902
polynom8__2875_57.min1.thm1
2017-02-06 12:45
1.7K
polynom8__2874_54.min1.thm1
2017-02-06 12:45
1.1K
polynom8__2872_28.min1.thm1
2017-02-06 12:45
1.2K
polynom8__2871_17.min1.thm1
2017-02-06 12:45
2.1K
polynom8__2860_33.min1.thm1
2017-02-06 12:45
1.8K
polynom8__2857_71.min1.thm1
2017-02-06 12:45
608
polynom8__2856_57.min1.thm1
2017-02-06 12:45
624
polynom8__2852_20.min1.thm1
2017-02-06 12:45
626
polynom8__2849_17.min1.thm1
2017-02-06 12:45
1.0K
polynom8__2837_35.min1.thm1
2017-02-06 12:45
2.0K
polynom8__2830_31.min1.thm1
2017-02-06 12:45
1.9K
polynom8__2826_20.min1.thm1
2017-02-06 12:45
850
polynom8__2823_22.min1.thm1
2017-02-06 12:45
1.8K
polynom8__2820_19.min1.thm1
2017-02-06 12:45
401
polynom8__2817_28.min1.thm1
2017-02-06 12:45
1.4K
polynom8__2816_30.min1.thm1
2017-02-06 12:45
902
polynom8__2807_25.min1.thm1
2017-02-06 12:45
1.9K
polynom8__2795_52.min1.thm1
2017-02-06 12:45
1.8K
polynom8__2790_24.min1.thm1
2017-02-06 12:45
940
polynom8__2785_16.min1.thm1
2017-02-06 12:45
1.3K
polynom8__2771_29.min1.thm1
2017-02-06 12:45
1.9K
polynom8__2764_30.min1.thm1
2017-02-06 12:45
1.9K
polynom8__2762_27.min1.thm1
2017-02-06 12:45
1.4K
polynom8__2759_14.min1.thm1
2017-02-06 12:45
1.3K
polynom8__2755_19.min1.thm1
2017-02-06 12:45
1.6K
polynom8__2750_28.min1.thm1
2017-02-06 12:45
1.9K
polynom8__2745_21.min1.thm1
2017-02-06 12:45
1.2K
polynom8__2744_24.min1.thm1
2017-02-06 12:45
1.0K
polynom8__2732_18.min1.thm1
2017-02-06 12:45
720
polynom8__2729_41.min1.thm1
2017-02-06 12:45
1.0K
polynom8__2727_28.min1.thm1
2017-02-06 12:45
1.4K
polynom8__2717_25.min1.thm1
2017-02-06 12:45
1.3K
polynom8__2716_33.min1.thm1
2017-02-06 12:45
1.4K
polynom8__2708_36.min1.thm1
2017-02-06 12:45
1.2K
polynom8__2706_13.min1.thm1
2017-02-06 12:45
1.9K
polynom8__2703_25.min1.thm1
2017-02-06 12:45
1.9K
polynom8__2698_13.min1.thm1
2017-02-06 12:45
1.9K
polynom8__2693_29.min1.thm1
2017-02-06 12:45
1.9K
polynom8__2687_30.min1.thm1
2017-02-06 12:45
1.9K
polynom8__2686_20.min1.thm1
2017-02-06 12:45
1.3K
polynom8__2684_33.min1.thm1
2017-02-06 12:45
1.4K
polynom8__2658_17.min1.thm1
2017-02-06 12:45
2.0K
polynom8__2657_28.min1.thm1
2017-02-06 12:45
2.3K
polynom8__2656_53.min1.thm1
2017-02-06 12:45
1.4K
polynom8__2655_13.min1.thm1
2017-02-06 12:45
1.1K
polynom8__2638_21.min1.thm1
2017-02-06 12:45
2.6K
polynom8__2633_32.min1.thm1
2017-02-06 12:45
1.0K
polynom8__2629_21.min1.thm1
2017-02-06 12:45
2.5K
polynom8__2623_19.min1.thm1
2017-02-06 12:45
756
polynom8__2621_20.min1.thm1
2017-02-06 12:45
398
polynom8__2619_42.min1.thm1
2017-02-06 12:45
1.0K
polynom8__2612_13.min1.thm1
2017-02-06 12:45
207
polynom8__2606_18.min1.thm1
2017-02-06 12:45
616
polynom8__2605_18.min1.thm1
2017-02-06 12:45
1.2K
polynom8__2604_39.min1.thm1
2017-02-06 12:45
763
polynom8__2603_19.min1.thm1
2017-02-06 12:45
766
polynom8__2602_19.min1.thm1
2017-02-06 12:45
863
polynom8__2594_65.min1.thm1
2017-02-06 12:45
796
polynom8__2590_18.min1.thm1
2017-02-06 12:45
800
polynom8__2587_76.min1.thm1
2017-02-06 12:45
1.8K
polynom8__2582_26.min1.thm1
2017-02-06 12:45
491
polynom8__2562_25.min1.thm1
2017-02-06 12:45
2.8K
polynom8__2561_55.min1.thm1
2017-02-06 12:45
2.4K
polynom8__2555_16.min1.thm1
2017-02-06 12:45
552
polynom8__2553_32.min1.thm1
2017-02-06 12:45
2.2K
polynom8__2552_32.min1.thm1
2017-02-06 12:45
1.6K
polynom8__2551_31.min1.thm1
2017-02-06 12:45
962
polynom8__2550_17.min1.thm1
2017-02-06 12:45
767
polynom8__2549_22.min1.thm1
2017-02-06 12:45
872
polynom8__2541_20.min1.thm1
2017-02-06 12:45
1.5K
polynom8__2538_16.min1.thm1
2017-02-06 12:45
592
polynom8__2537_16.min1.thm1
2017-02-06 12:45
1.2K
polynom8__2536_37.min1.thm1
2017-02-06 12:45
735
polynom8__2535_17.min1.thm1
2017-02-06 12:45
752
polynom8__2534_18.min1.thm1
2017-02-06 12:45
843
polynom8__2527_64.min1.thm1
2017-02-06 12:45
784
polynom8__2523_16.min1.thm1
2017-02-06 12:45
788
polynom8__2520_73.min1.thm1
2017-02-06 12:45
1.8K
polynom8__2515_13.min1.thm1
2017-02-06 12:45
1.4K
polynom8__2514_23.min1.thm1
2017-02-06 12:45
1.4K
polynom8__2512_44.min1.thm1
2017-02-06 12:45
1.9K
polynom8__2510_15.min1.thm1
2017-02-06 12:45
1.1K
polynom8__2493_28.min1.thm1
2017-02-06 12:45
1.8K
polynom8__2478_15.min1.thm1
2017-02-06 12:45
1.2K
polynom8__2475_16.min1.thm1
2017-02-06 12:45
906
polynom8__2474_15.min1.thm1
2017-02-06 12:45
1.2K
polynom8__2473_16.min1.thm1
2017-02-06 12:45
1.2K
polynom8__2470_18.min1.thm1
2017-02-06 12:45
1.9K
polynom8__2469_23.min1.thm1
2017-02-06 12:45
1.4K
polynom8__2454_17.min1.thm1
2017-02-06 12:45
753
polynom8__2453_53.min1.thm1
2017-02-06 12:45
1.4K
polynom8__2448_17.min1.thm1
2017-02-06 12:45
752
polynom8__2447_16.min1.thm1
2017-02-06 12:45
836
polynom8__2446_68.min1.thm1
2017-02-06 12:45
1.5K
polynom8__2429_16.min1.thm1
2017-02-06 12:45
1.2K
polynom8__2428_31.min1.thm1
2017-02-06 12:45
2.1K
polynom8__2423_32.min1.thm1
2017-02-06 12:45
1.8K
polynom8__2419_17.min1.thm1
2017-02-06 12:45
786
polynom8__2416_34.min1.thm1
2017-02-06 12:45
970
polynom8__2414_26.min1.thm1
2017-02-06 12:45
2.4K
polynom8__2412_21.min1.thm1
2017-02-06 12:45
873
polynom8__2409_17.min1.thm1
2017-02-06 12:45
786
polynom8__2401_22.min1.thm1
2017-02-06 12:45
1.0K
polynom8__2389_15.min1.thm1
2017-02-06 12:45
1.1K
polynom8__2361_18.min1.thm1
2017-02-06 12:45
1.7K
polynom8__2349_11.min1.thm1
2017-02-06 12:45
1.5K
polynom8__2347_11.min1.thm1
2017-02-06 12:45
1.5K
polynom8__2344_15.min1.thm1
2017-02-06 12:45
1.5K
polynom8__2343_16.min1.thm1
2017-02-06 12:45
1.5K
polynom8__2342_11.min1.thm1
2017-02-06 12:45
1.5K
polynom8__2339_15.min1.thm1
2017-02-06 12:45
1.5K
polynom8__2338_16.min1.thm1
2017-02-06 12:45
1.5K
polynom8__2337_11.min1.thm1
2017-02-06 12:45
1.5K
polynom8__2331_37.min1.thm1
2017-02-06 12:45
1.1K
polynom8__2330_35.min1.thm1
2017-02-06 12:45
1.2K
polynom8__2326_21.min1.thm1
2017-02-06 12:45
1.0K
polynom8__2322_15.min1.thm1
2017-02-06 12:45
1.5K
polynom8__2320_19.min1.thm1
2017-02-06 12:45
1.5K
polynom8__2319_20.min1.thm1
2017-02-06 12:45
1.5K
polynom8__2314_15.min1.thm1
2017-02-06 12:45
1.5K
polynom8__2311_19.min1.thm1
2017-02-06 12:45
1.5K
polynom8__2310_20.min1.thm1
2017-02-06 12:45
1.5K
polynom8__2282_31.min1.thm1
2017-02-06 12:45
2.7K
polynom8__2281_15.min1.thm1
2017-02-06 12:45
1.6K
polynom8__2277_25.min1.thm1
2017-02-06 12:45
2.6K
polynom8__2274_13.min1.thm1
2017-02-06 12:45
1.6K
polynom8__2271_18.min1.thm1
2017-02-06 12:45
498
polynom8__2270_17.min1.thm1
2017-02-06 12:45
1.7K
polynom8__2256_32.min1.thm1
2017-02-06 12:45
2.7K
polynom8__2254_17.min1.thm1
2017-02-06 12:45
1.6K
polynom8__2244_24.min1.thm1
2017-02-06 12:45
2.2K
polynom8__2234_16.min1.thm1
2017-02-06 12:45
1.6K
polynom8__2232_15.min1.thm1
2017-02-06 12:45
1.6K
polynom8__2209_24.min1.thm1
2017-02-06 12:45
707
polynom8__2207_14.min1.thm1.tptp
2017-02-06 16:47
369
polynom8__2207_14.min1.thm1
2017-02-06 12:45
427
polynom8__2206_24.min1.thm1
2017-02-06 12:45
705
polynom8__2204_14.min1.thm1.tptp
2017-02-06 16:47
368
polynom8__2204_14.min1.thm1
2017-02-06 12:45
426
polynom8__2203_15.min1.thm1
2017-02-06 12:45
516
polynom8__2183_16.min1.thm1
2017-02-06 12:45
839
polynom8__2181_43.min1.thm1
2017-02-06 12:45
1.0K
polynom8__2179_24.min1.thm1
2017-02-06 12:45
622
polynom8__2170_35.min1.thm1.tptp
2017-02-06 16:47
353
polynom8__2170_35.min1.thm1
2017-02-06 12:45
439
polynom8__2166_17.min1.thm1
2017-02-06 12:45
1.6K
polynom8__2164_40.min1.thm1
2017-02-06 12:45
456
polynom8__2132_13.min1.thm1
2017-02-06 12:45
229
polynom8__2103_17.min1.thm1
2017-02-06 12:45
1.5K
polynom8__2099_13.min1.thm1
2017-02-06 12:45
229
polynom8__2085_20.min1.thm1
2017-02-06 12:45
1.7K
polynom8__2084_18.min1.thm1
2017-02-06 12:45
1.6K
polynom8__2083_19.min1.thm1
2017-02-06 12:45
1.6K
polynom8__2075_20.min1.thm1
2017-02-06 12:45
1.5K
polynom8__2074_39.min1.thm1
2017-02-06 12:45
1.5K
polynom8__2071_15.min1.thm1
2017-02-06 12:45
241
polynom8__2070_49.min1.thm1
2017-02-06 12:45
1.6K
polynom8__2056_19.min1.thm1.tptp
2017-02-06 16:47
897
polynom8__2056_19.min1.thm1
2017-02-06 12:45
935
polynom8__2054_35.min1.thm1.tptp
2017-02-06 16:47
804
polynom8__2054_35.min1.thm1
2017-02-06 12:45
867
polynom8__2052_31.min1.thm1
2017-02-06 12:45
1.8K
polynom8__2049_17.min1.thm1
2017-02-06 12:45
396
polynom8__2044_24.min1.thm1.tptp
2017-02-06 16:47
722
polynom8__2044_24.min1.thm1
2017-02-06 12:45
784
polynom8__2042_31.min1.thm1
2017-02-06 12:45
1.8K
polynom8__2039_17.min1.thm1
2017-02-06 12:45
396
polynom8__2036_48.min1.thm1
2017-02-06 12:45
1.8K
polynom8__2034_18.min1.thm1
2017-02-06 12:45
482
polynom8__2032_26.min1.thm1.tptp
2017-02-06 16:47
756
polynom8__2032_26.min1.thm1
2017-02-06 12:45
818
polynom8__2030_35.min1.thm1
2017-02-06 12:45
1.8K
polynom8__2027_19.min1.thm1
2017-02-06 12:45
404
polynom8__2023_39.min1.thm1
2017-02-06 12:45
458
polynom8__2020_33.min1.thm1
2017-02-06 12:45
581
polynom8__2014_24.min1.thm1
2017-02-06 12:45
1.4K
polynom8__2009_24.min1.thm1
2017-02-06 12:45
2.9K
polynom8__2005_17.min1.thm1
2017-02-06 12:45
243
polynom8__2002_46.min1.thm1.tptp
2017-02-06 16:47
258
polynom8__2002_46.min1.thm1
2017-02-06 12:45
336
polynom8__1975_19.min1.thm1
2017-02-06 12:45
1.6K
polynom8__1974_13.min1.thm1
2017-02-06 12:45
1.4K
polynom8__1969_48.min1.thm1
2017-02-06 12:45
741
polynom8__1966_21.min1.thm1
2017-02-06 12:45
944
polynom8__1965_21.min1.thm1
2017-02-06 12:45
944
polynom8__1963_13.min1.thm1
2017-02-06 12:45
654
polynom8__1956_20.min1.thm1
2017-02-06 12:45
944
polynom8__1955_12.min1.thm1
2017-02-06 12:45
1.3K
polynom8__1952_32.min1.thm1
2017-02-06 12:45
1.5K
polynom8__1951_17.min1.thm1
2017-02-06 12:45
1.2K
polynom8__1947_11.min1.thm1
2017-02-06 12:45
223
polynom8__1939_15.min1.thm1
2017-02-06 12:45
1.1K
polynom8__1921_17.min1.thm1
2017-02-06 12:45
1.8K
polynom8__1920_11.min1.thm1
2017-02-06 12:45
1.2K
polynom8__1919_20.min1.thm1
2017-02-06 12:45
1.3K
polynom8__1917_17.min1.thm1
2017-02-06 12:45
1.2K
polynom8__1915_19.min1.thm1
2017-02-06 12:45
1.4K
polynom8__1914_25.min1.thm1
2017-02-06 12:45
1.4K
polynom8__1909_15.min1.thm1
2017-02-06 12:45
1.1K
polynom8__1891_26.min1.thm1
2017-02-06 12:45
1.4K
polynom8__1890_16.min1.thm1
2017-02-06 12:45
1.6K
polynom8__1889_23.min1.thm1
2017-02-06 12:45
1.9K
polynom8__1888_16.min1.thm1
2017-02-06 12:45
1.3K
polynom8__1884_11.min1.thm1
2017-02-06 12:45
1.3K
polynom8__1882_16.min1.thm1
2017-02-06 12:45
396
polynom8__1881_15.min1.thm1
2017-02-06 12:45
1.6K
polynom8__1879_15.min1.thm1
2017-02-06 12:45
380
polynom8__1849_20.min1.thm1
2017-02-06 12:45
1.7K
polynom8__1848_18.min1.thm1
2017-02-06 12:45
1.4K
polynom8__1847_19.min1.thm1
2017-02-06 12:45
1.4K
polynom8__1835_15.min1.thm1
2017-02-06 12:45
267
polynom8__1834_49.min1.thm1
2017-02-06 12:45
1.6K
polynom8__1820_19.min1.thm1.tptp
2017-02-06 16:47
935
polynom8__1820_19.min1.thm1
2017-02-06 12:45
1.0K
polynom8__1818_30.min1.thm1
2017-02-06 12:45
1.4K
polynom8__1813_17.min1.thm1
2017-02-06 12:45
396
polynom8__1808_24.min1.thm1.tptp
2017-02-06 16:47
754
polynom8__1808_24.min1.thm1
2017-02-06 12:45
816
polynom8__1803_17.min1.thm1
2017-02-06 12:45
396
polynom8__1798_18.min1.thm1
2017-02-06 12:45
496
polynom8__1796_26.min1.thm1.tptp
2017-02-06 16:47
770
polynom8__1796_26.min1.thm1
2017-02-06 12:45
832
polynom8__1791_19.min1.thm1
2017-02-06 12:45
404
polynom8__1785_33.min1.thm1
2017-02-06 12:45
581
polynom8__1779_24.min1.thm1
2017-02-06 12:45
1.3K
polynom8__1774_24.min1.thm1
2017-02-06 12:45
2.7K
polynom8__1770_17.min1.thm1
2017-02-06 12:45
269
polynom8__1767_46.min1.thm1.tptp
2017-02-06 16:47
258
polynom8__1767_46.min1.thm1
2017-02-06 12:45
336
polynom8__1748_15.min1.thm1
2017-02-06 12:45
1.3K
polynom8__1747_23.min1.thm1
2017-02-06 12:45
1.2K
polynom8__1742_27.min1.thm1
2017-02-06 12:45
690
polynom8__1741_13.min1.thm1
2017-02-06 12:45
547
polynom8__1738_14.min1.thm1
2017-02-06 12:45
775
polynom8__1731_17.min1.thm1
2017-02-06 12:45
1.3K
polynom8__1728_26.min1.thm1
2017-02-06 12:45
1.2K
polynom8__1717_17.min1.thm1
2017-02-06 12:45
1.3K
polynom8__1716_28.min1.thm1
2017-02-06 12:45
1.2K
polynom8__1702_14.min1.thm1
2017-02-06 12:45
654
polynom8__1698_37.min1.thm1
2017-02-06 12:45
2.7K
polynom8__1677_20.min1.thm1
2017-02-06 12:45
1.3K
polynom8__1676_19.min1.thm1
2017-02-06 12:45
1.3K
polynom8__1675_22.min1.thm1
2017-02-06 12:45
1.3K
polynom8__1674_21.min1.thm1
2017-02-06 12:45
1.3K
polynom8__1672_24.min1.thm1
2017-02-06 12:45
869
polynom8__1671_35.min1.thm1
2017-02-06 12:45
869
polynom8__1670_26.min1.thm1
2017-02-06 12:45
650
polynom8__1668_23.min1.thm1.tptp
2017-02-06 16:47
353
polynom8__1668_23.min1.thm1
2017-02-06 12:45
433
polynom8__1667_27.min1.thm1
2017-02-06 12:45
1.3K
polynom8__1666_16.min1.thm1
2017-02-06 12:45
888
polynom8__1664_31.min1.thm1
2017-02-06 12:45
869
polynom8__1663_23.min1.thm1.tptp
2017-02-06 16:47
333
polynom8__1663_23.min1.thm1
2017-02-06 12:45
413
polynom8__1662_32.min1.thm1
2017-02-06 12:45
1.3K
polynom8__1652_20.min1.thm1
2017-02-06 12:45
1.2K
polynom8__1651_19.min1.thm1
2017-02-06 12:45
1.2K
polynom8__1650_22.min1.thm1
2017-02-06 12:45
1.2K
polynom8__1649_20.min1.thm1
2017-02-06 12:45
1.2K
polynom8__1648_8.min1.thm1
2017-02-06 12:45
1.5K
polynom8__1643_13.min1.thm1
2017-02-06 12:45
1.1K
polynom8__1635_16.min1.thm1
2017-02-06 12:45
574
polynom8__1633_32.min1.thm1
2017-02-06 12:45
1.1K
polynom8__1631_16.min1.thm1
2017-02-06 12:45
908
polynom8__1624_35.min1.thm1.tptp
2017-02-06 16:47
329
polynom8__1624_35.min1.thm1
2017-02-06 12:45
415
polynom8__1619_21.min1.thm1
2017-02-06 12:45
2.0K
polynom8__1618_38.min1.thm1
2017-02-06 12:45
2.2K
polynom8__1617_20.min1.thm1
2017-02-06 12:45
569
polynom8__1616_21.min1.thm1.tptp
2017-02-06 16:47
333
polynom8__1616_21.min1.thm1
2017-02-06 12:45
413
polynom8__1615_25.min1.thm1
2017-02-06 12:45
1.3K
polynom8__1607_40.min1.thm1
2017-02-06 12:45
456
polynom8__1591_19.min1.thm1
2017-02-06 12:45
1.2K
polynom8__1565_14.min1.thm1.tptp
2017-02-06 16:47
604
polynom8__1565_14.min1.thm1
2017-02-06 12:45
686
polynom8__1561_46.min1.thm1
2017-02-06 12:45
1.6K
polynom8__1560_12.min1.thm1
2017-02-06 12:45
1.2K
polynom8__1546_29.min1.thm1
2017-02-06 12:45
1.3K
polynom8__1545_31.min1.thm1
2017-02-06 12:45
2.1K
polynom8__1543_33.min1.thm1
2017-02-06 12:45
1.5K
polynom8__1542_35.min1.thm1
2017-02-06 12:45
1.5K
polynom8__1537_31.min1.thm1
2017-02-06 12:45
2.0K
polynom8__1535_16.min1.thm1
2017-02-06 12:45
1.2K
polynom8__1533_57.min1.thm1
2017-02-06 12:45
2.0K
polynom8__1528_33.min1.thm1
2017-02-06 12:45
1.6K
polynom8__1527_33.min1.thm1
2017-02-06 12:45
2.2K
polynom8__1525_24.min1.thm1
2017-02-06 12:45
1.8K
polynom8__1524_41.min1.thm1
2017-02-06 12:45
1.9K
polynom8__1521_55.min1.thm1
2017-02-06 12:45
1.8K
polynom8__1516_35.min1.thm1
2017-02-06 12:45
3.3K
polynom8__1515_35.min1.thm1
2017-02-06 12:45
2.6K
polynom8__1514_32.min1.thm1
2017-02-06 12:45
1.5K
polynom8__1512_24.min1.thm1
2017-02-06 12:45
1.8K
polynom8__1511_43.min1.thm1
2017-02-06 12:45
1.9K
polynom8__1508_23.min1.thm1
2017-02-06 12:45
1.9K
polynom8__1505_55.min1.thm1
2017-02-06 12:45
1.8K
polynom8__1501_26.min1.thm1.tptp
2017-02-06 16:47
419
polynom8__1501_26.min1.thm1
2017-02-06 12:45
501
polynom8__1500_43.min1.thm1
2017-02-06 12:45
1.8K
polynom8__1499_53.min1.thm1
2017-02-06 12:45
633
polynom8__1496_11.min1.thm1
2017-02-06 12:45
486
polynom8__1484_24.min1.thm1
2017-02-06 12:45
1.3K
polynom8__1483_29.min1.thm1
2017-02-06 12:45
2.8K
polynom8__1482_25.min1.thm1
2017-02-06 12:45
1.2K
polynom8__1481_29.min1.thm1
2017-02-06 12:45
2.2K
polynom8__1480_42.min1.thm1
2017-02-06 12:45
1.5K
polynom8__1475_21.min1.thm1
2017-02-06 12:45
391
polynom8__1474_37.min1.thm1
2017-02-06 12:45
1.4K
polynom8__1473_46.min1.thm1
2017-02-06 12:45
487
polynom8__1470_11.min1.thm1
2017-02-06 12:45
213
polynom8__1458_14.min1.thm1.tptp
2017-02-06 16:47
529
polynom8__1458_14.min1.thm1
2017-02-06 12:45
606
polynom8__1456_8.min1.thm1
2017-02-06 12:45
500
polynom8__1454_22.min1.thm1
2017-02-06 12:45
1.0K
polynom8__1453_16.min1.thm1
2017-02-06 12:45
1.7K
polynom8__1452_22.min1.thm1
2017-02-06 12:45
1.8K
polynom8__1451_21.min1.thm1
2017-02-06 12:45
1.2K
polynom8__1449_51.min1.thm1
2017-02-06 12:45
1.1K
polynom8__1446_16.min1.thm1
2017-02-06 12:45
596
polynom8__1443_34.min1.thm1
2017-02-06 12:45
1.5K
polynom8__1437_20.min1.thm1
2017-02-06 12:45
1.6K
polynom8__1429_14.min1.thm1
2017-02-06 12:45
1.0K
polynom8__1417_14.min1.thm1
2017-02-06 12:45
542
polynom8__1401_14.min1.thm1
2017-02-06 12:45
1.0K
polynom8__1399_14.min1.thm1
2017-02-06 12:45
2.5K
polynom8__1386_14.min1.thm1
2017-02-06 12:45
486
polynom8__1385_19.min1.thm1
2017-02-06 12:45
1.6K
polynom8__1366_14.min1.thm1.tptp
2017-02-06 16:47
517
polynom8__1366_14.min1.thm1
2017-02-06 12:45
594
polynom8__1364_8.min1.thm1
2017-02-06 12:45
488
polynom8__1362_19.min1.thm1
2017-02-06 12:45
1.3K
polynom8__1361_16.min1.thm1
2017-02-06 12:45
1.8K
polynom8__1360_22.min1.thm1
2017-02-06 12:45
1.9K
polynom8__1359_18.min1.thm1
2017-02-06 12:45
1.4K
polynom8__1357_16.min1.thm1
2017-02-06 12:45
584
polynom8__1355_34.min1.thm1
2017-02-06 12:45
1.5K
polynom8__1352_20.min1.thm1
2017-02-06 12:45
1.7K
polynom8__1344_14.min1.thm1
2017-02-06 12:45
1.0K
polynom8__1331_14.min1.thm1
2017-02-06 12:45
752
polynom8__1328_33.min1.thm1
2017-02-06 12:45
1.1K
polynom8__1321_47.min1.thm1
2017-02-06 12:45
2.8K
polynom8__1320_47.min1.thm1
2017-02-06 12:45
1.6K
polynom8__1319_37.min1.thm1
2017-02-06 12:45
1.2K
polynom8__1318_50.min1.thm1
2017-02-06 12:45
1.1K
polynom8__1315_36.min1.thm1
2017-02-06 12:45
1.0K
polynom8__1314_42.min1.thm1
2017-02-06 12:45
1.6K
polynom8__1312_50.min1.thm1
2017-02-06 12:45
1.6K
polynom8__1311_39.min1.thm1
2017-02-06 12:45
1.2K
polynom8__1286_49.min1.thm1
2017-02-06 12:45
2.1K
polynom8__1285_32.min1.thm1
2017-02-06 12:45
1.5K
polynom8__1284_29.min1.thm1
2017-02-06 12:45
1.6K
polynom8__1283_45.min1.thm1
2017-02-06 12:45
2.7K
polynom8__1282_38.min1.thm1
2017-02-06 12:45
3.2K
polynom8__1281_13.min1.thm1
2017-02-06 12:45
2.7K
polynom8__1280_38.min1.thm1
2017-02-06 12:45
2.0K
polynom8__1276_21.min1.thm1
2017-02-06 12:45
2.7K
polynom8__1274_31.min1.thm1
2017-02-06 12:45
2.2K
polynom8__1270_21.min1.thm1
2017-02-06 12:45
1.9K
polynom8__1268_50.min1.thm1
2017-02-06 12:45
1.0K
polynom8__1265_13.min1.thm1
2017-02-06 12:45
253
polynom8__1258_30.min1.thm1
2017-02-06 12:45
1.8K
polynom8__1254_21.min1.thm1
2017-02-06 12:45
1.9K
polynom8__1252_49.min1.thm1
2017-02-06 12:45
623
polynom8__1249_13.min1.thm1
2017-02-06 12:45
241
polynom8__1244_17.min1.thm1
2017-02-06 12:45
1.0K
polynom8__1243_23.min1.thm1
2017-02-06 12:45
2.3K
polynom8__1242_30.min1.thm1
2017-02-06 12:45
1.6K
polynom8__1240_69.min1.thm1
2017-02-06 12:45
1.6K
polynom8__1236_17.min1.thm1
2017-02-06 12:45
2.5K
polynom8__1232_57.min1.thm1
2017-02-06 12:45
2.0K
polynom8__1231_13.min1.thm1
2017-02-06 12:45
3.1K
polynom8__1228_32.min1.thm1
2017-02-06 12:45
2.4K
polynom8__1221_57.min1.thm1
2017-02-06 12:45
2.9K
polynom8__1220_57.min1.thm1
2017-02-06 12:45
2.9K
polynom8__1219_47.min1.thm1
2017-02-06 12:45
1.5K
polynom8__1215_35.min1.thm1
2017-02-06 12:45
1.4K
polynom8__1213_19.min1.thm1
2017-02-06 12:45
1.4K
polynom8__1211_19.min1.thm1
2017-02-06 12:45
1.0K
polynom8__1210_26.min1.thm1
2017-02-06 12:45
790
polynom8__1209_31.min1.thm1
2017-02-06 12:45
2.0K
polynom8__1206_18.min1.thm1
2017-02-06 12:45
1.8K
polynom8__1202_16.min1.thm1.tptp
2017-02-06 16:47
354
polynom8__1202_16.min1.thm1
2017-02-06 12:45
431
polynom8__1198_21.min1.thm1
2017-02-06 12:45
2.7K
polynom8__1196_31.min1.thm1
2017-02-06 12:45
2.2K
polynom8__1192_21.min1.thm1
2017-02-06 12:45
1.9K
polynom8__1190_50.min1.thm1
2017-02-06 12:45
1.0K
polynom8__1187_13.min1.thm1
2017-02-06 12:45
253
polynom8__1173_28.min1.thm1
2017-02-06 12:45
489
polynom8__1172_36.min1.thm1
2017-02-06 12:45
2.3K
polynom8__1171_39.min1.thm1
2017-02-06 12:45
1.7K
polynom8__1170_39.min1.thm1
2017-02-06 12:45
3.0K
polynom8__1169_36.min1.thm1
2017-02-06 12:45
2.3K
polynom8__1168_38.min1.thm1
2017-02-06 12:45
951
polynom8__1164_64.min1.thm1
2017-02-06 12:45
2.0K
polynom8__1159_31.min1.thm1
2017-02-06 12:45
2.2K
polynom8__1155_21.min1.thm1
2017-02-06 12:45
1.9K
polynom8__1153_50.min1.thm1
2017-02-06 12:45
1.0K
polynom8__1150_13.min1.thm1
2017-02-06 12:45
253
polynom8__1145_17.min1.thm1
2017-02-06 12:45
1.9K
polynom8__1144_24.min1.thm1
2017-02-06 12:45
1.3K
polynom8__1143_31.min1.thm1
2017-02-06 12:45
1.5K
polynom8__1142_29.min1.thm1
2017-02-06 12:45
1.2K
polynom8__1138_18.min1.thm1
2017-02-06 12:45
1.2K
polynom8__1132_54.min1.thm1
2017-02-06 12:45
2.1K
polynom8__1131_50.min1.thm1
2017-02-06 12:45
2.7K
polynom8__1129_53.min1.thm1
2017-02-06 12:45
1.5K
polynom8__1128_33.min1.thm1
2017-02-06 12:45
2.4K
polynom8__1126_24.min1.thm1
2017-02-06 12:45
1.2K
polynom8__1125_32.min1.thm1
2017-02-06 12:45
2.4K
polynom8__1121_23.min1.thm1
2017-02-06 12:45
1.9K
polynom8__1119_46.min1.thm1
2017-02-06 12:45
2.3K
polynom8__1112_52.min1.thm1
2017-02-06 12:45
1.8K
polynom8__1111_54.min1.thm1
2017-02-06 12:45
1.6K
polynom8__1110_55.min1.thm1
2017-02-06 12:45
2.4K
polynom8__1109_56.min1.thm1
2017-02-06 12:45
1.1K
polynom8__1108_52.min1.thm1
2017-02-06 12:45
1.7K
polynom8__1107_50.min1.thm1
2017-02-06 12:45
1.4K
polynom8__1106_30.min1.thm1
2017-02-06 12:45
1.9K
polynom8__1103_16.min1.thm1
2017-02-06 12:45
1.8K
polynom8__1102_32.min1.thm1
2017-02-06 12:45
2.4K
polynom8__1099_29.min1.thm1
2017-02-06 12:45
1.9K
polynom8__1096_27.min1.thm1
2017-02-06 12:45
1.9K
polynom8__1095_48.min1.thm1
2017-02-06 12:45
491
polynom8__1092_16.min1.thm1.tptp
2017-02-06 16:47
396
polynom8__1092_16.min1.thm1
2017-02-06 12:45
473
polynom8__1086_31.min1.thm1
2017-02-06 12:45
2.2K
polynom8__1082_21.min1.thm1
2017-02-06 12:45
1.9K
polynom8__1080_50.min1.thm1
2017-02-06 12:45
1.0K
polynom8__1077_13.min1.thm1
2017-02-06 12:45
253
polynom8__1070_30.min1.thm1
2017-02-06 12:45
1.8K
polynom8__1066_21.min1.thm1
2017-02-06 12:45
1.9K
polynom8__1064_49.min1.thm1
2017-02-06 12:45
623
polynom8__1061_13.min1.thm1
2017-02-06 12:45
241
polynom8__1056_31.min1.thm1
2017-02-06 12:45
2.1K
polynom8__1042_19.min1.thm1
2017-02-06 12:45
959
polynom8__1041_40.min1.thm1
2017-02-06 12:45
2.9K
polynom8__1040_35.min1.thm1
2017-02-06 12:45
1.2K
polynom8__1034_26.min1.thm1
2017-02-06 12:45
1.1K
polynom8__1033_20.min1.thm1
2017-02-06 12:45
1.7K
polynom8__1032_26.min1.thm1
2017-02-06 12:45
1.8K
polynom8__1031_34.min1.thm1
2017-02-06 12:45
1.2K
polynom8__1027_23.min1.thm1
2017-02-06 12:45
637
polynom8__1026_30.min1.thm1
2017-02-06 12:45
1.2K
polynom8__1025_49.min1.thm1
2017-02-06 12:45
1.6K
polynom8__1022_16.min1.thm1
2017-02-06 12:45
1.7K
polynom8__1019_11.min1.thm1
2017-02-06 12:45
213
polynom8__1018_14.min1.thm1
2017-02-06 12:45
1.0K
polynom8__1002_14.min1.thm1
2017-02-06 12:45
562
polynom8__1001_13.min1.thm1
2017-02-06 12:45
732
polynom8__1000_20.min1.thm1
2017-02-06 12:45
1.7K
polynom8__987_14.min1.thm1
2017-02-06 12:45
891
polynom8__985_11.min1.thm1
2017-02-06 12:45
1.0K
polynom8__983_16.min1.thm1
2017-02-06 12:45
832
polynom8__982_15.min1.thm1
2017-02-06 12:45
1.3K
polynom8__969_14.min1.thm1
2017-02-06 12:45
2.1K
polynom8__953_19.min1.thm1
2017-02-06 12:45
1.6K
polynom8__950_27.min1.thm1
2017-02-06 12:45
929
polynom8__949_35.min1.thm1
2017-02-06 12:45
1.8K
polynom8__945_19.min1.thm1
2017-02-06 12:45
846
polynom8__944_31.min1.thm1
2017-02-06 12:45
487
polynom8__941_11.min1.thm1
2017-02-06 12:45
213
polynom8__930_14.min1.thm1.tptp
2017-02-06 16:47
384
polynom8__930_14.min1.thm1
2017-02-06 12:45
461
polynom8__924_16.min1.thm1
2017-02-06 12:45
402
polynom8__923_15.min1.thm1
2017-02-06 12:45
1.4K
polynom8__905_12.min1.thm1
2017-02-06 12:45
833
polynom8__904_36.min1.thm1
2017-02-06 12:45
1.8K
polynom8__903_18.min1.thm1
2017-02-06 12:45
1.4K
polynom8__893_11.min1.thm1
2017-02-06 12:45
1.1K
polynom8__879_25.min1.thm1
2017-02-06 12:45
1.0K
polynom8__878_21.min1.thm1
2017-02-06 12:45
1.2K
polynom8__877_18.min1.thm1
2017-02-06 12:45
1.7K
polynom8__876_24.min1.thm1
2017-02-06 12:45
1.7K
polynom8__875_28.min1.thm1
2017-02-06 12:45
916
polynom8__871_19.min1.thm1
2017-02-06 12:45
1.1K
polynom8__868_14.min1.thm1
2017-02-06 12:45
1.5K
polynom8__865_14.min1.thm1
2017-02-06 12:45
944
polynom8__841_14.min1.thm1
2017-02-06 12:45
885
polynom8__840_13.min1.thm1
2017-02-06 12:45
1.1K
polynom8__829_13.min1.thm1
2017-02-06 12:45
131
polynom8__825_18.min1.thm1
2017-02-06 12:45
2.2K
polynom8__823_49.min1.thm1
2017-02-06 12:45
491
polynom8__804_25.min1.thm1
2017-02-06 12:45
1.8K
polynom8__803_33.min1.thm1
2017-02-06 12:45
1.5K
polynom8__798_32.min1.thm1
2017-02-06 12:45
2.2K
polynom8__795_59.min1.thm1
2017-02-06 12:45
2.2K
polynom8__794_35.min1.thm1
2017-02-06 12:45
2.3K
polynom8__793_29.min1.thm1
2017-02-06 12:45
3.1K
polynom8__786_13.min1.thm1
2017-02-06 12:45
247
polynom8__768_17.min1.thm1
2017-02-06 12:45
2.4K
polynom8__767_32.min1.thm1
2017-02-06 12:45
1.6K
polynom8__766_24.min1.thm1
2017-02-06 12:45
1.8K
polynom8__762_17.min1.thm1
2017-02-06 12:45
2.4K
polynom8__761_32.min1.thm1
2017-02-06 12:45
1.6K
polynom8__760_24.min1.thm1
2017-02-06 12:45
1.8K
polynom8__757_16.min1.thm1
2017-02-06 12:45
2.3K
polynom8__752_32.min1.thm1
2017-02-06 12:45
2.2K
polynom8__738_18.min1.thm1
2017-02-06 12:45
642
polynom8__736_19.min1.thm1
2017-02-06 12:45
2.4K
polynom8__735_34.min1.thm1
2017-02-06 12:45
1.5K
polynom8__734_26.min1.thm1
2017-02-06 12:45
2.3K
polynom8__733_26.min1.thm1
2017-02-06 12:45
2.1K
polynom8__715_20.min1.thm1
2017-02-06 12:45
1.6K
polynom8__714_18.min1.thm1
2017-02-06 12:45
1.5K
polynom8__713_19.min1.thm1
2017-02-06 12:45
1.5K
polynom8__709_49.min1.thm1
2017-02-06 12:45
1.5K
polynom8__697_16.min1.thm1
2017-02-06 12:45
628
polynom8__695_32.min1.thm1
2017-02-06 12:45
1.7K
polynom8__694_26.min1.thm1
2017-02-06 12:45
1.4K
polynom8__693_21.min1.thm1
2017-02-06 12:45
1.5K
polynom8__692_21.min1.thm1
2017-02-06 12:45
1.4K
polynom8__690_21.min1.thm1
2017-02-06 12:45
1.5K
polynom8__689_17.min1.thm1
2017-02-06 12:45
396
polynom8__685_33.min1.thm1
2017-02-06 12:45
581
polynom8__682_10.min1.thm1
2017-02-06 12:45
2.0K
polynom8__664_27.min1.thm1
2017-02-06 12:45
1.9K
polynom8__649_30.min1.thm1
2017-02-06 12:45
3.0K
polynom8__648_24.min1.thm1
2017-02-06 12:45
1.6K
polynom8__645_20.min1.thm1
2017-02-06 12:45
2.4K
polynom8__644_22.min1.thm1
2017-02-06 12:45
2.7K
polynom8__643_27.min1.thm1
2017-02-06 12:45
3.0K
polynom8__641_24.min1.thm1
2017-02-06 12:45
1.6K
polynom8__638_20.min1.thm1
2017-02-06 12:45
2.4K
polynom8__637_22.min1.thm1
2017-02-06 12:45
2.7K
polynom8__620_37.min1.thm1
2017-02-06 12:45
1.9K
polynom8__619_24.min1.thm1
2017-02-06 12:45
1.8K
polynom8__618_32.min1.thm1
2017-02-06 12:45
1.5K
polynom8__609_24.min1.thm1
2017-02-06 12:45
1.1K
polynom8__606_16.min1.thm1
2017-02-06 12:45
1.0K
polynom8__599_53.min1.thm1
2017-02-06 12:45
1.8K
polynom8__598_28.min1.thm1
2017-02-06 12:45
2.0K
polynom8__597_24.min1.thm1
2017-02-06 12:45
2.3K
polynom8__588_17.min1.thm1
2017-02-06 12:45
2.0K
polynom8__587_19.min1.thm1
2017-02-06 12:45
1.9K
polynom8__585_36.min1.thm1
2017-02-06 12:45
1.2K
polynom8__549_67.min1.thm1
2017-02-06 12:45
1.9K
polynom8__545_72.min1.thm1
2017-02-06 12:45
1.8K
polynom8__543_62.min1.thm1
2017-02-06 12:45
2.9K
polynom8__538_25.min1.thm1
2017-02-06 12:45
2.6K
polynom8__492_19.min1.thm1
2017-02-06 12:45
1.9K
polynom8__488_33.min1.thm1
2017-02-06 12:45
3.1K
polynom8__475_15.min1.thm1
2017-02-06 12:45
1.8K
polynom8__439_16.min1.thm1
2017-02-06 12:45
1.7K
polynom8__438_11.min1.thm1
2017-02-06 12:45
1.7K
polynom8__436_16.min1.thm1
2017-02-06 12:45
1.7K
polynom8__435_19.min1.thm1
2017-02-06 12:45
1.7K
polynom8__420_11.min1.thm1
2017-02-06 12:45
1.0K
polynom8__408_17.min1.thm1
2017-02-06 12:45
918
polynom8__406_27.min1.thm1
2017-02-06 12:45
1.5K
polynom8__405_64.min1.thm1
2017-02-06 12:45
1.5K
polynom8__400_30.min1.thm1
2017-02-06 12:45
1.2K
polynom8__390_55.min1.thm1
2017-02-06 12:45
4.3K
polynom8__389_63.min1.thm1
2017-02-06 12:45
4.0K
polynom8__372_23.min1.thm1
2017-02-06 12:45
1.8K
polynom8__370_27.min1.thm1
2017-02-06 12:45
754
polynom8__369_26.min1.thm1
2017-02-06 12:45
1.6K
polynom8__360_33.min1.thm1
2017-02-06 12:45
2.5K
polynom8__358_27.min1.thm1
2017-02-06 12:45
2.1K
polynom8__355_29.min1.thm1
2017-02-06 12:45
1.2K
polynom8__354_34.min1.thm1
2017-02-06 12:45
2.0K
polynom8__353_33.min1.thm1
2017-02-06 12:45
1.3K
polynom8__345_46.min1.thm1
2017-02-06 12:45
676
polynom8__344_39.min1.thm1.tptp
2017-02-06 16:47
371
polynom8__344_39.min1.thm1
2017-02-06 12:45
435
polynom8__342_38.min1.thm1
2017-02-06 12:45
2.1K
polynom8__341_20.min1.thm1
2017-02-06 12:45
1.2K
polynom8__340_20.min1.thm1
2017-02-06 12:45
1.6K
polynom8__339_21.min1.thm1
2017-02-06 12:45
1.7K
polynom8__333_46.min1.thm1
2017-02-06 12:45
674
polynom8__332_18.min1.thm1
2017-02-06 12:45
795
polynom8__326_18.min1.thm1
2017-02-06 12:45
1.6K
polynom8__324_19.min1.thm1
2017-02-06 12:45
2.2K
polynom8__323_31.min1.thm1
2017-02-06 12:45
1.3K
polynom8__321_28.min1.thm1
2017-02-06 12:45
2.6K
polynom8__320_19.min1.thm1
2017-02-06 12:45
1.5K
polynom8__316_36.min1.thm1
2017-02-06 12:45
1.5K
polynom8__290_17.min1.thm1
2017-02-06 12:45
1.0K
polynom8__288_9.min1.thm1
2017-02-06 12:45
844
polynom8__285_16.min1.thm1
2017-02-06 12:45
376
polynom8__284_19.min1.thm1
2017-02-06 12:45
1.0K
polynom8__283_54.min1.thm1
2017-02-06 12:45
1.0K
polynom8__283_44.min1.thm1.tptp
2017-02-06 16:47
287
polynom8__283_44.min1.thm1
2017-02-06 12:45
366
polynom8__282_13.min1.thm1
2017-02-06 12:45
1.1K
polynom8__280_70.min1.thm1
2017-02-06 12:45
2.6K
polynom8__271_16.min1.thm1
2017-02-06 12:45
1.0K
polynom8__269_18.min1.thm1
2017-02-06 12:45
430
polynom8__267_31.min1.thm1
2017-02-06 12:45
1.1K
polynom8__266_27.min1.thm1
2017-02-06 12:45
1.1K
polynom8__259_22.min1.thm1
2017-02-06 12:45
606
polynom8__258_21.min1.thm1
2017-02-06 12:45
1.3K
polynom8__251_21.min1.thm1
2017-02-06 12:45
1.5K
polynom8__250_31.min1.thm1
2017-02-06 12:45
1.5K
polynom8__248_28.min1.thm1
2017-02-06 12:45
1.8K
polynom8__247_26.min1.thm1
2017-02-06 12:45
2.0K
polynom8__242_21.min1.thm1
2017-02-06 12:45
1.5K
polynom8__240_36.min1.thm1
2017-02-06 12:45
1.3K
polynom8__236_22.min1.thm1
2017-02-06 12:45
604
polynom8__235_21.min1.thm1
2017-02-06 12:45
1.3K
polynom8__234_22.min1.thm1
2017-02-06 12:45
886
polynom8__233_21.min1.thm1
2017-02-06 12:45
665
polynom8__232_22.min1.thm1
2017-02-06 12:45
1.3K
polynom8__229_21.min1.thm1
2017-02-06 12:45
1.1K
polynom8__225_20.min1.thm1
2017-02-06 12:45
1.5K
polynom8__222_19.min1.thm1
2017-02-06 12:45
392
polynom8__220_29.min1.thm1
2017-02-06 12:45
1.2K
polynom8__217_28.min1.thm1
2017-02-06 12:45
1.2K
polynom8__209_68.min1.thm1
2017-02-06 12:45
672
polynom8__206_20.min1.thm1
2017-02-06 12:45
384
polynom8__205_20.min1.thm1
2017-02-06 12:45
1.2K
polynom8__204_25.min1.thm1
2017-02-06 12:45
555
polynom8__203_21.min1.thm1
2017-02-06 12:45
777
polynom8__202_21.min1.thm1
2017-02-06 12:45
877
polynom8__194_51.min1.thm1
2017-02-06 12:45
598
polynom8__190_20.min1.thm1
2017-02-06 12:45
602
polynom8__187_78.min1.thm1
2017-02-06 12:45
881
polynom8__158_12.min1.thm1
2017-02-06 12:45
1.7K
polynom8__157_18.min1.thm1
2017-02-06 12:45
1.7K
polynom8__144_17.min1.thm1
2017-02-06 12:45
2.1K
polynom8__143_17.min1.thm1
2017-02-06 12:45
1.2K
polynom8__142_13.min1.thm1
2017-02-06 12:45
1.3K
polynom8__141_16.min1.thm1
2017-02-06 12:45
1.8K
polynom8__140_22.min1.thm1
2017-02-06 12:45
1.5K
polynom8__138_44.min1.thm1
2017-02-06 12:45
2.5K
polynom8__121_19.min1.thm1
2017-02-06 12:45
1.1K
polynom8__119_18.min1.thm1
2017-02-06 12:45
400
polynom8__116_19.min1.thm1
2017-02-06 12:45
1.1K
polynom8__115_28.min1.thm1
2017-02-06 12:45
1.6K
polynom8__114_22.min1.thm1
2017-02-06 12:45
1.1K
polynom8__113_23.min1.thm1
2017-02-06 12:45
1.2K
polynom8__90_14.min1.thm1.tptp
2017-02-06 16:47
343
polynom8__90_14.min1.thm1
2017-02-06 12:45
424
polynom8__88_8.min1.thm1
2017-02-06 12:45
1.1K
polynom8__86_17.min1.thm1
2017-02-06 12:45
1.1K
polynom8__83_31.min1.thm1
2017-02-06 12:45
1.8K
polynom8__66_17.min1.thm1
2017-02-06 12:45
655
polynom8__65_53.min1.thm1
2017-02-06 12:45
511
polynom8__58_16.min1.thm1
2017-02-06 12:45
704
polynom8__57_36.min1.thm1
2017-02-06 12:45
1.2K
polynom8__56_26.min1.thm1
2017-02-06 12:45
1.0K
polynom8__55_18.min1.thm1
2017-02-06 12:45
791
polynom8__54_14.min1.thm1
2017-02-06 12:45
897
polynom8__53_48.min1.thm1
2017-02-06 12:45
1.6K
polynom8__49_16.min1.thm1
2017-02-06 12:45
334
polynom8__46_11.min1.thm1
2017-02-06 12:45
210
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80