Index of /~mptp/1147/MPTP2/ilp0/nat_3
Name
Last modified
Size
Description
Parent Directory
-
nat_3__2713_19.min1.thm1
2017-02-06 12:44
1.8K
nat_3__2711_21.min1.thm1
2017-02-06 12:44
1.7K
nat_3__2710_19.min1.thm1
2017-02-06 12:44
1.7K
nat_3__2709_15.min1.thm1
2017-02-06 12:44
1.4K
nat_3__2695_19.min1.thm1
2017-02-06 12:44
1.6K
nat_3__2692_11.min1.thm1
2017-02-06 12:44
255
nat_3__2688_21.min1.thm1
2017-02-06 12:44
616
nat_3__2683_26.min1.thm1
2017-02-06 12:44
642
nat_3__2676_16.min1.thm1
2017-02-06 12:44
545
nat_3__2673_48.min1.thm1
2017-02-06 12:44
693
nat_3__2658_30.min1.thm1
2017-02-06 12:44
1.3K
nat_3__2653_36.min1.thm1
2017-02-06 12:44
1.6K
nat_3__2651_30.min1.thm1
2017-02-06 12:44
1.5K
nat_3__2649_28.min1.thm1
2017-02-06 12:44
1.8K
nat_3__2648_23.min1.thm1
2017-02-06 12:44
836
nat_3__2644_24.min1.thm1
2017-02-06 12:44
1.5K
nat_3__2643_21.min1.thm1
2017-02-06 12:44
1.8K
nat_3__2639_17.min1.thm1
2017-02-06 12:44
794
nat_3__2638_23.min1.thm1
2017-02-06 12:44
835
nat_3__2633_23.min1.thm1
2017-02-06 12:44
747
nat_3__2632_22.min1.thm1
2017-02-06 12:44
1.4K
nat_3__2630_17.min1.thm1
2017-02-06 12:44
1.2K
nat_3__2628_21.min1.thm1
2017-02-06 12:44
1.3K
nat_3__2626_34.min1.thm1
2017-02-06 12:44
1.0K
nat_3__2615_20.min1.thm1
2017-02-06 12:44
1.8K
nat_3__2611_28.min1.thm1
2017-02-06 12:44
1.4K
nat_3__2598_48.min1.thm1.tptp
2017-02-06 16:47
402
nat_3__2598_48.min1.thm1
2017-02-06 12:44
494
nat_3__2595_24.min1.thm1
2017-02-06 12:44
1.4K
nat_3__2589_14.min1.thm1.tptp
2017-02-06 16:47
415
nat_3__2589_14.min1.thm1
2017-02-06 12:44
480
nat_3__2582_25.min1.thm1
2017-02-06 12:44
767
nat_3__2581_24.min1.thm1
2017-02-06 12:44
1.5K
nat_3__2579_19.min1.thm1
2017-02-06 12:44
1.2K
nat_3__2577_25.min1.thm1
2017-02-06 12:44
1.6K
nat_3__2561_13.min1.thm1
2017-02-06 12:44
315
nat_3__2551_19.min1.thm1
2017-02-06 12:44
487
nat_3__2550_33.min1.thm1
2017-02-06 12:44
1.0K
nat_3__2546_67.min1.thm1
2017-02-06 12:44
1.6K
nat_3__2545_21.min1.thm1
2017-02-06 12:44
1.1K
nat_3__2544_19.min1.thm1
2017-02-06 12:44
577
nat_3__2542_29.min1.thm1
2017-02-06 12:44
253
nat_3__2540_25.min1.thm1
2017-02-06 12:44
1.1K
nat_3__2537_26.min1.thm1
2017-02-06 12:44
258
nat_3__2515_30.min1.thm1
2017-02-06 12:44
2.2K
nat_3__2514_30.min1.thm1
2017-02-06 12:44
1.5K
nat_3__2513_33.min1.thm1
2017-02-06 12:44
2.3K
nat_3__2510_13.min1.thm1
2017-02-06 12:44
237
nat_3__2509_45.min1.thm1
2017-02-06 12:44
1.4K
nat_3__2508_52.min1.thm1
2017-02-06 12:44
1.4K
nat_3__2505_15.min1.thm1
2017-02-06 12:44
2.5K
nat_3__2497_17.min1.thm1
2017-02-06 12:44
1.2K
nat_3__2496_32.min1.thm1
2017-02-06 12:44
572
nat_3__2495_10.min1.thm1.tptp
2017-02-06 16:47
338
nat_3__2495_10.min1.thm1
2017-02-06 12:44
403
nat_3__2483_39.min1.thm1
2017-02-06 12:44
1.4K
nat_3__2478_31.min1.thm1
2017-02-06 12:44
1.7K
nat_3__2476_33.min1.thm1
2017-02-06 12:44
2.2K
nat_3__2473_39.min1.thm1
2017-02-06 12:44
3.1K
nat_3__2472_43.min1.thm1
2017-02-06 12:44
2.1K
nat_3__2471_35.min1.thm1
2017-02-06 12:44
1.9K
nat_3__2467_33.min1.thm1
2017-02-06 12:44
2.2K
nat_3__2464_39.min1.thm1
2017-02-06 12:44
3.1K
nat_3__2463_43.min1.thm1
2017-02-06 12:44
2.1K
nat_3__2462_35.min1.thm1
2017-02-06 12:44
1.9K
nat_3__2454_39.min1.thm1
2017-02-06 12:44
1.4K
nat_3__2449_31.min1.thm1
2017-02-06 12:44
1.7K
nat_3__2447_33.min1.thm1
2017-02-06 12:44
2.2K
nat_3__2444_39.min1.thm1
2017-02-06 12:44
3.1K
nat_3__2443_43.min1.thm1
2017-02-06 12:44
2.1K
nat_3__2442_35.min1.thm1
2017-02-06 12:44
1.9K
nat_3__2437_33.min1.thm1
2017-02-06 12:44
2.2K
nat_3__2434_39.min1.thm1
2017-02-06 12:44
3.1K
nat_3__2433_43.min1.thm1
2017-02-06 12:44
2.1K
nat_3__2432_35.min1.thm1
2017-02-06 12:44
1.9K
nat_3__2427_20.min1.thm1
2017-02-06 12:44
1.2K
nat_3__2420_35.min1.thm1
2017-02-06 12:44
1.5K
nat_3__2419_27.min1.thm1
2017-02-06 12:44
1.8K
nat_3__2418_31.min1.thm1
2017-02-06 12:44
2.2K
nat_3__2417_26.min1.thm1
2017-02-06 12:44
2.1K
nat_3__2416_26.min1.thm1
2017-02-06 12:44
2.1K
nat_3__2412_13.min1.thm1
2017-02-06 12:44
284
nat_3__2411_56.min1.thm1
2017-02-06 12:44
1.6K
nat_3__2410_12.min1.thm1
2017-02-06 12:44
1.1K
nat_3__2409_52.min1.thm1
2017-02-06 12:44
1.4K
nat_3__2406_18.min1.thm1
2017-02-06 12:44
587
nat_3__2404_44.min1.thm1.tptp
2017-02-06 16:47
324
nat_3__2404_44.min1.thm1
2017-02-06 12:44
416
nat_3__2395_17.min1.thm1
2017-02-06 12:44
454
nat_3__2387_17.min1.thm1
2017-02-06 12:44
1.6K
nat_3__2386_30.min1.thm1
2017-02-06 12:44
1.4K
nat_3__2385_26.min1.thm1
2017-02-06 12:44
1.3K
nat_3__2376_34.min1.thm1
2017-02-06 12:44
1.4K
nat_3__2375_25.min1.thm1
2017-02-06 12:44
1.3K
nat_3__2367_33.min1.thm1
2017-02-06 12:44
1.0K
nat_3__2366_38.min1.thm1
2017-02-06 12:44
886
nat_3__2365_36.min1.thm1
2017-02-06 12:44
666
nat_3__2362_23.min1.thm1
2017-02-06 12:44
881
nat_3__2361_29.min1.thm1
2017-02-06 12:44
765
nat_3__2360_38.min1.thm1
2017-02-06 12:44
1.0K
nat_3__2356_23.min1.thm1
2017-02-06 12:44
1.7K
nat_3__2352_15.min1.thm1
2017-02-06 12:44
292
nat_3__2351_50.min1.thm1
2017-02-06 12:44
1.6K
nat_3__2349_22.min1.thm1
2017-02-06 12:44
831
nat_3__2324_21.min1.thm1
2017-02-06 12:44
843
nat_3__2323_26.min1.thm1
2017-02-06 12:44
843
nat_3__2315_15.min1.thm1
2017-02-06 12:44
292
nat_3__2314_54.min1.thm1
2017-02-06 12:44
1.5K
nat_3__2295_39.min1.thm1
2017-02-06 12:44
628
nat_3__2292_49.min1.thm1
2017-02-06 12:44
871
nat_3__2290_29.min1.thm1
2017-02-06 12:44
2.4K
nat_3__2288_54.min1.thm1
2017-02-06 12:44
1.5K
nat_3__2282_23.min1.thm1
2017-02-06 12:44
2.0K
nat_3__2280_56.min1.thm1
2017-02-06 12:44
1.5K
nat_3__2279_30.min1.thm1
2017-02-06 12:44
717
nat_3__2273_29.min1.thm1
2017-02-06 12:44
464
nat_3__2266_23.min1.thm1
2017-02-06 12:44
699
nat_3__2253_15.min1.thm1
2017-02-06 12:44
292
nat_3__2252_54.min1.thm1
2017-02-06 12:44
1.5K
nat_3__2228_23.min1.thm1
2017-02-06 12:44
2.7K
nat_3__2217_38.min1.thm1
2017-02-06 12:44
1.0K
nat_3__2214_20.min1.thm1
2017-02-06 12:44
1.4K
nat_3__2212_29.min1.thm1
2017-02-06 12:44
1.6K
nat_3__2211_31.min1.thm1
2017-02-06 12:44
1.7K
nat_3__2208_26.min1.thm1
2017-02-06 12:44
929
nat_3__2202_22.min1.thm1
2017-02-06 12:44
1.4K
nat_3__2196_33.min1.thm1
2017-02-06 12:44
1.0K
nat_3__2192_20.min1.thm1
2017-02-06 12:44
1.4K
nat_3__2190_29.min1.thm1
2017-02-06 12:44
1.6K
nat_3__2179_26.min1.thm1
2017-02-06 12:44
927
nat_3__2173_22.min1.thm1
2017-02-06 12:44
1.4K
nat_3__2161_23.min1.thm1
2017-02-06 12:44
2.7K
nat_3__2150_38.min1.thm1
2017-02-06 12:44
1.0K
nat_3__2147_20.min1.thm1
2017-02-06 12:44
1.4K
nat_3__2145_29.min1.thm1
2017-02-06 12:44
1.6K
nat_3__2144_31.min1.thm1
2017-02-06 12:44
1.7K
nat_3__2141_26.min1.thm1
2017-02-06 12:44
928
nat_3__2135_22.min1.thm1
2017-02-06 12:44
1.4K
nat_3__2129_33.min1.thm1
2017-02-06 12:44
1.0K
nat_3__2125_20.min1.thm1
2017-02-06 12:44
1.4K
nat_3__2123_29.min1.thm1
2017-02-06 12:44
1.6K
nat_3__2112_26.min1.thm1
2017-02-06 12:44
928
nat_3__2106_22.min1.thm1
2017-02-06 12:44
1.4K
nat_3__2100_20.min1.thm1
2017-02-06 12:44
2.1K
nat_3__2095_15.min1.thm1
2017-02-06 12:44
356
nat_3__2092_30.min1.thm1
2017-02-06 12:44
2.1K
nat_3__2090_24.min1.thm1
2017-02-06 12:44
2.1K
nat_3__2088_30.min1.thm1
2017-02-06 12:44
2.1K
nat_3__2086_24.min1.thm1
2017-02-06 12:44
2.1K
nat_3__2085_25.min1.thm1
2017-02-06 12:44
766
nat_3__2084_22.min1.thm1
2017-02-06 12:44
1.9K
nat_3__2080_19.min1.thm1
2017-02-06 12:44
731
nat_3__2077_12.min1.thm1
2017-02-06 12:44
1.1K
nat_3__2076_22.min1.thm1
2017-02-06 12:44
1.9K
nat_3__2075_16.min1.thm1
2017-02-06 12:44
2.2K
nat_3__2073_52.min1.thm1
2017-02-06 12:44
1.4K
nat_3__2071_24.min1.thm1
2017-02-06 12:44
765
nat_3__2056_23.min1.thm1
2017-02-06 12:44
2.7K
nat_3__2041_23.min1.thm1
2017-02-06 12:44
2.7K
nat_3__2033_23.min1.thm1
2017-02-06 12:44
2.5K
nat_3__2027_15.min1.thm1
2017-02-06 12:44
356
nat_3__2023_23.min1.thm1
2017-02-06 12:44
1.9K
nat_3__2020_24.min1.thm1
2017-02-06 12:44
766
nat_3__2019_23.min1.thm1
2017-02-06 12:44
1.9K
nat_3__2016_24.min1.thm1
2017-02-06 12:44
766
nat_3__2015_23.min1.thm1
2017-02-06 12:44
2.0K
nat_3__2010_19.min1.thm1
2017-02-06 12:44
731
nat_3__2009_23.min1.thm1
2017-02-06 12:44
2.0K
nat_3__2007_13.min1.thm1
2017-02-06 12:44
843
nat_3__2006_16.min1.thm1
2017-02-06 12:44
2.2K
nat_3__2004_52.min1.thm1
2017-02-06 12:44
1.4K
nat_3__1991_26.min1.thm1
2017-02-06 12:44
2.0K
nat_3__1990_26.min1.thm1
2017-02-06 12:44
1.5K
nat_3__1989_10.min1.thm1
2017-02-06 12:44
1.1K
nat_3__1988_18.min1.thm1
2017-02-06 12:44
1.6K
nat_3__1985_18.min1.thm1
2017-02-06 12:44
1.1K
nat_3__1984_15.min1.thm1
2017-02-06 12:44
1.3K
nat_3__1983_13.min1.thm1
2017-02-06 12:44
2.5K
nat_3__1971_27.min1.thm1
2017-02-06 12:44
2.0K
nat_3__1970_29.min1.thm1
2017-02-06 12:44
1.3K
nat_3__1969_47.min1.thm1
2017-02-06 12:44
2.2K
nat_3__1968_52.min1.thm1
2017-02-06 12:44
1.4K
nat_3__1955_38.min1.thm1
2017-02-06 12:44
2.1K
nat_3__1954_40.min1.thm1
2017-02-06 12:44
2.1K
nat_3__1953_42.min1.thm1
2017-02-06 12:44
1.5K
nat_3__1951_52.min1.thm1
2017-02-06 12:44
1.4K
nat_3__1935_37.min1.thm1
2017-02-06 12:44
2.1K
nat_3__1934_39.min1.thm1
2017-02-06 12:44
2.1K
nat_3__1933_41.min1.thm1
2017-02-06 12:44
1.4K
nat_3__1932_45.min1.thm1
2017-02-06 12:44
2.4K
nat_3__1931_52.min1.thm1
2017-02-06 12:44
1.4K
nat_3__1918_17.min1.thm1
2017-02-06 12:44
1.5K
nat_3__1917_18.min1.thm1
2017-02-06 12:44
872
nat_3__1916_24.min1.thm1
2017-02-06 12:44
1.0K
nat_3__1914_38.min1.thm1
2017-02-06 12:44
2.1K
nat_3__1909_33.min1.thm1
2017-02-06 12:44
1.6K
nat_3__1908_25.min1.thm1
2017-02-06 12:44
1.6K
nat_3__1897_61.min1.thm1
2017-02-06 12:44
767
nat_3__1882_28.min1.thm1
2017-02-06 12:44
1.4K
nat_3__1881_22.min1.thm1
2017-02-06 12:44
615
nat_3__1880_25.min1.thm1
2017-02-06 12:44
876
nat_3__1875_28.min1.thm1
2017-02-06 12:44
1.4K
nat_3__1874_22.min1.thm1
2017-02-06 12:44
615
nat_3__1873_25.min1.thm1
2017-02-06 12:44
876
nat_3__1870_16.min1.thm1
2017-02-06 12:44
2.6K
nat_3__1867_13.min1.thm1
2017-02-06 12:44
445
nat_3__1848_18.min1.thm1
2017-02-06 12:44
2.6K
nat_3__1846_29.min1.thm1
2017-02-06 12:44
1.7K
nat_3__1844_26.min1.thm1
2017-02-06 12:44
469
nat_3__1843_21.min1.thm1
2017-02-06 12:44
1.0K
nat_3__1842_38.min1.thm1
2017-02-06 12:44
1.1K
nat_3__1841_13.min1.thm1
2017-02-06 12:44
435
nat_3__1840_35.min1.thm1
2017-02-06 12:44
1.5K
nat_3__1837_24.min1.thm1
2017-02-06 12:44
1.2K
nat_3__1822_21.min1.thm1
2017-02-06 12:44
1.2K
nat_3__1821_21.min1.thm1
2017-02-06 12:44
1.0K
nat_3__1820_33.min1.thm1
2017-02-06 12:44
1.1K
nat_3__1819_35.min1.thm1
2017-02-06 12:44
1.5K
nat_3__1816_18.min1.thm1
2017-02-06 12:44
1.0K
nat_3__1814_38.min1.thm1
2017-02-06 12:44
1.1K
nat_3__1813_13.min1.thm1
2017-02-06 12:44
436
nat_3__1812_35.min1.thm1
2017-02-06 12:44
1.5K
nat_3__1809_24.min1.thm1
2017-02-06 12:44
1.2K
nat_3__1808_24.min1.thm1
2017-02-06 12:44
1.2K
nat_3__1806_21.min1.thm1.tptp
2017-02-06 16:47
521
nat_3__1806_21.min1.thm1
2017-02-06 12:44
575
nat_3__1802_18.min1.thm1
2017-02-06 12:44
585
nat_3__1789_16.min1.thm1.tptp
2017-02-06 16:47
278
nat_3__1789_16.min1.thm1
2017-02-06 12:44
361
nat_3__1788_28.min1.thm1.tptp
2017-02-06 16:47
326
nat_3__1788_28.min1.thm1
2017-02-06 12:44
399
nat_3__1779_16.min1.thm1.tptp
2017-02-06 16:47
326
nat_3__1779_16.min1.thm1
2017-02-06 12:44
409
nat_3__1778_33.min1.thm1
2017-02-06 12:44
755
nat_3__1769_17.min1.thm1
2017-02-06 12:44
1.1K
nat_3__1768_15.min1.thm1
2017-02-06 12:44
393
nat_3__1761_15.min1.thm1.tptp
2017-02-06 16:47
252
nat_3__1761_15.min1.thm1
2017-02-06 12:44
317
nat_3__1757_19.min1.thm1
2017-02-06 12:44
390
nat_3__1756_17.min1.thm1
2017-02-06 12:44
647
nat_3__1755_26.min1.thm1
2017-02-06 12:44
1.0K
nat_3__1753_38.min1.thm1
2017-02-06 12:44
2.1K
nat_3__1746_15.min1.thm1
2017-02-06 12:44
966
nat_3__1744_24.min1.thm1
2017-02-06 12:44
506
nat_3__1736_17.min1.thm1
2017-02-06 12:44
842
nat_3__1735_15.min1.thm1
2017-02-06 12:44
393
nat_3__1729_17.min1.thm1
2017-02-06 12:44
685
nat_3__1728_35.min1.thm1
2017-02-06 12:44
1.6K
nat_3__1718_21.min1.thm1.tptp
2017-02-06 16:47
280
nat_3__1718_21.min1.thm1
2017-02-06 12:44
357
nat_3__1705_16.min1.thm1.tptp
2017-02-06 16:47
243
nat_3__1705_16.min1.thm1
2017-02-06 12:44
325
nat_3__1704_13.min1.thm1
2017-02-06 12:44
411
nat_3__1703_24.min1.thm1
2017-02-06 12:44
1.5K
nat_3__1702_13.min1.thm1
2017-02-06 12:44
445
nat_3__1701_33.min1.thm1
2017-02-06 12:44
774
nat_3__1690_17.min1.thm1
2017-02-06 12:44
1.2K
nat_3__1689_39.min1.thm1
2017-02-06 12:44
1.5K
nat_3__1688_27.min1.thm1
2017-02-06 12:44
1.3K
nat_3__1678_32.min1.thm1
2017-02-06 12:44
636
nat_3__1675_18.min1.thm1
2017-02-06 12:44
2.6K
nat_3__1674_48.min1.thm1
2017-02-06 12:44
2.0K
nat_3__1673_17.min1.thm1
2017-02-06 12:44
1.1K
nat_3__1672_35.min1.thm1
2017-02-06 12:44
517
nat_3__1665_37.min1.thm1
2017-02-06 12:44
930
nat_3__1654_17.min1.thm1
2017-02-06 12:44
1.0K
nat_3__1653_30.min1.thm1
2017-02-06 12:44
1.2K
nat_3__1652_23.min1.thm1
2017-02-06 12:44
869
nat_3__1650_10.min1.thm1.tptp
2017-02-06 16:47
335
nat_3__1650_10.min1.thm1
2017-02-06 12:44
400
nat_3__1640_17.min1.thm1
2017-02-06 12:44
724
nat_3__1639_13.min1.thm1
2017-02-06 12:44
1.0K
nat_3__1638_33.min1.thm1
2017-02-06 12:44
1.4K
nat_3__1637_31.min1.thm1
2017-02-06 12:44
515
nat_3__1627_16.min1.thm1
2017-02-06 12:44
1.3K
nat_3__1626_24.min1.thm1
2017-02-06 12:44
806
nat_3__1625_33.min1.thm1
2017-02-06 12:44
474
nat_3__1613_19.min1.thm1
2017-02-06 12:44
933
nat_3__1612_27.min1.thm1
2017-02-06 12:44
674
nat_3__1611_18.min1.thm1
2017-02-06 12:44
530
nat_3__1607_19.min1.thm1
2017-02-06 12:44
900
nat_3__1606_32.min1.thm1
2017-02-06 12:44
440
nat_3__1603_11.min1.thm1
2017-02-06 12:44
176
nat_3__1602_35.min1.thm1
2017-02-06 12:44
895
nat_3__1594_17.min1.thm1
2017-02-06 12:44
1.0K
nat_3__1592_25.min1.thm1
2017-02-06 12:44
568
nat_3__1584_17.min1.thm1
2017-02-06 12:44
742
nat_3__1567_17.min1.thm1
2017-02-06 12:44
1.2K
nat_3__1566_31.min1.thm1
2017-02-06 12:44
1.2K
nat_3__1565_54.min1.thm1
2017-02-06 12:44
1.5K
nat_3__1555_16.min1.thm1
2017-02-06 12:44
364
nat_3__1554_20.min1.thm1
2017-02-06 12:44
571
nat_3__1553_21.min1.thm1
2017-02-06 12:44
491
nat_3__1546_17.min1.thm1
2017-02-06 12:44
329
nat_3__1544_50.min1.thm1
2017-02-06 12:44
1.5K
nat_3__1526_14.min1.thm1.tptp
2017-02-06 16:47
385
nat_3__1526_14.min1.thm1
2017-02-06 12:44
462
nat_3__1524_10.min1.thm1
2017-02-06 12:44
390
nat_3__1522_27.min1.thm1
2017-02-06 12:44
1.9K
nat_3__1521_35.min1.thm1
2017-02-06 12:44
455
nat_3__1511_13.min1.thm1
2017-02-06 12:44
435
nat_3__1502_20.min1.thm1
2017-02-06 12:44
2.2K
nat_3__1501_11.min1.thm1
2017-02-06 12:44
762
nat_3__1498_41.min1.thm1
2017-02-06 12:44
1.5K
nat_3__1497_19.min1.thm1
2017-02-06 12:44
1.1K
nat_3__1496_27.min1.thm1
2017-02-06 12:44
1.1K
nat_3__1483_17.min1.thm1
2017-02-06 12:44
1.8K
nat_3__1481_19.min1.thm1
2017-02-06 12:44
1.1K
nat_3__1480_24.min1.thm1
2017-02-06 12:44
1.1K
nat_3__1464_29.min1.thm1
2017-02-06 12:44
1.4K
nat_3__1463_47.min1.thm1
2017-02-06 12:44
823
nat_3__1453_17.min1.thm1
2017-02-06 12:44
2.9K
nat_3__1451_33.min1.thm1
2017-02-06 12:44
1.4K
nat_3__1445_19.min1.thm1
2017-02-06 12:44
686
nat_3__1437_19.min1.thm1
2017-02-06 12:44
686
nat_3__1433_16.min1.thm1
2017-02-06 12:44
836
nat_3__1432_21.min1.thm1
2017-02-06 12:44
832
nat_3__1426_24.min1.thm1
2017-02-06 12:44
1.1K
nat_3__1424_31.min1.thm1
2017-02-06 12:44
1.1K
nat_3__1423_31.min1.thm1
2017-02-06 12:44
1.1K
nat_3__1422_23.min1.thm1
2017-02-06 12:44
1.1K
nat_3__1413_23.min1.thm1
2017-02-06 12:44
1.1K
nat_3__1412_23.min1.thm1
2017-02-06 12:44
1.1K
nat_3__1410_13.min1.thm1
2017-02-06 12:44
435
nat_3__1400_17.min1.thm1
2017-02-06 12:44
1.2K
nat_3__1399_45.min1.thm1
2017-02-06 12:44
1.4K
nat_3__1395_31.min1.thm1
2017-02-06 12:44
961
nat_3__1387_23.min1.thm1
2017-02-06 12:44
450
nat_3__1385_16.min1.thm1.tptp
2017-02-06 16:47
227
nat_3__1385_16.min1.thm1
2017-02-06 12:44
304
nat_3__1379_17.min1.thm1
2017-02-06 12:44
1.0K
nat_3__1378_33.min1.thm1
2017-02-06 12:44
883
nat_3__1365_27.min1.thm1
2017-02-06 12:44
2.3K
nat_3__1360_28.min1.thm1
2017-02-06 12:44
2.7K
nat_3__1358_50.min1.thm1
2017-02-06 12:44
2.0K
nat_3__1355_35.min1.thm1
2017-02-06 12:44
895
nat_3__1349_17.min1.thm1
2017-02-06 12:44
1.4K
nat_3__1348_34.min1.thm1
2017-02-06 12:44
1.6K
nat_3__1347_15.min1.thm1
2017-02-06 12:44
368
nat_3__1346_23.min1.thm1
2017-02-06 12:44
429
nat_3__1344_15.min1.thm1
2017-02-06 12:44
374
nat_3__1335_17.min1.thm1
2017-02-06 12:44
1.2K
nat_3__1334_34.min1.thm1
2017-02-06 12:44
2.3K
nat_3__1333_15.min1.thm1
2017-02-06 12:44
368
nat_3__1332_23.min1.thm1
2017-02-06 12:44
404
nat_3__1330_15.min1.thm1
2017-02-06 12:44
374
nat_3__1320_17.min1.thm1
2017-02-06 12:44
2.3K
nat_3__1319_21.min1.thm1
2017-02-06 12:44
481
nat_3__1316_23.min1.thm1
2017-02-06 12:44
2.6K
nat_3__1306_17.min1.thm1
2017-02-06 12:44
1.6K
nat_3__1305_21.min1.thm1
2017-02-06 12:44
1.0K
nat_3__1302_23.min1.thm1
2017-02-06 12:44
1.6K
nat_3__1301_17.min1.thm1
2017-02-06 12:44
431
nat_3__1300_18.min1.thm1
2017-02-06 12:44
440
nat_3__1299_23.min1.thm1
2017-02-06 12:44
1.4K
nat_3__1288_14.min1.thm1
2017-02-06 12:44
1.1K
nat_3__1279_45.min1.thm1
2017-02-06 12:44
2.3K
nat_3__1278_24.min1.thm1
2017-02-06 12:44
2.4K
nat_3__1272_39.min1.thm1
2017-02-06 12:44
927
nat_3__1271_18.min1.thm1
2017-02-06 12:44
1.8K
nat_3__1265_45.min1.thm1
2017-02-06 12:44
2.3K
nat_3__1264_24.min1.thm1
2017-02-06 12:44
2.4K
nat_3__1258_39.min1.thm1
2017-02-06 12:44
927
nat_3__1257_18.min1.thm1
2017-02-06 12:44
1.8K
nat_3__1253_16.min1.thm1
2017-02-06 12:44
771
nat_3__1252_39.min1.thm1
2017-02-06 12:44
1.0K
nat_3__1246_42.min1.thm1
2017-02-06 12:44
899
nat_3__1241_21.min1.thm1
2017-02-06 12:44
1.6K
nat_3__1240_27.min1.thm1
2017-02-06 12:44
1.6K
nat_3__1234_23.min1.thm1
2017-02-06 12:44
424
nat_3__1233_21.min1.thm1
2017-02-06 12:44
384
nat_3__1228_23.min1.thm1
2017-02-06 12:44
1.7K
nat_3__1227_22.min1.thm1
2017-02-06 12:44
715
nat_3__1226_22.min1.thm1
2017-02-06 12:44
1.9K
nat_3__1216_39.min1.thm1
2017-02-06 12:44
1.6K
nat_3__1215_25.min1.thm1
2017-02-06 12:44
916
nat_3__1214_31.min1.thm1
2017-02-06 12:44
480
nat_3__1213_29.min1.thm1
2017-02-06 12:44
606
nat_3__1209_13.min1.thm1
2017-02-06 12:44
182
nat_3__1208_42.min1.thm1
2017-02-06 12:44
899
nat_3__1192_19.min1.thm1
2017-02-06 12:44
421
nat_3__1182_32.min1.thm1
2017-02-06 12:44
666
nat_3__1181_31.min1.thm1
2017-02-06 12:44
1.2K
nat_3__1171_16.min1.thm1
2017-02-06 12:44
1.4K
nat_3__1156_19.min1.thm1
2017-02-06 12:44
364
nat_3__1155_30.min1.thm1
2017-02-06 12:44
364
nat_3__1142_22.min1.thm1
2017-02-06 12:44
1.8K
nat_3__1141_30.min1.thm1
2017-02-06 12:44
1.2K
nat_3__1140_22.min1.thm1
2017-02-06 12:44
915
nat_3__1136_18.min1.thm1
2017-02-06 12:44
431
nat_3__1135_22.min1.thm1
2017-02-06 12:44
708
nat_3__1132_13.min1.thm1
2017-02-06 12:44
216
nat_3__1130_34.min1.thm1.tptp
2017-02-06 16:47
443
nat_3__1130_34.min1.thm1
2017-02-06 12:44
495
nat_3__1128_29.min1.thm1
2017-02-06 12:44
630
nat_3__1127_22.min1.thm1
2017-02-06 12:44
1.1K
nat_3__1126_22.min1.thm1
2017-02-06 12:44
766
nat_3__1122_27.min1.thm1
2017-02-06 12:44
1.9K
nat_3__1121_35.min1.thm1
2017-02-06 12:44
1.2K
nat_3__1120_26.min1.thm1
2017-02-06 12:44
927
nat_3__1116_31.min1.thm1.tptp
2017-02-06 16:47
445
nat_3__1116_31.min1.thm1
2017-02-06 12:44
518
nat_3__1115_26.min1.thm1
2017-02-06 12:44
722
nat_3__1112_17.min1.thm1
2017-02-06 12:44
224
nat_3__1108_24.min1.thm1
2017-02-06 12:44
1.1K
nat_3__1107_25.min1.thm1
2017-02-06 12:44
632
nat_3__1106_23.min1.thm1
2017-02-06 12:44
637
nat_3__1104_23.min1.thm1
2017-02-06 12:44
770
nat_3__1097_16.min1.thm1
2017-02-06 12:44
608
nat_3__1095_41.min1.thm1
2017-02-06 12:44
877
nat_3__1090_17.min1.thm1
2017-02-06 12:44
375
nat_3__1088_43.min1.thm1.tptp
2017-02-06 16:47
250
nat_3__1088_43.min1.thm1
2017-02-06 12:44
328
nat_3__1083_14.min1.thm1
2017-02-06 12:44
1.3K
nat_3__1080_42.min1.thm1
2017-02-06 12:44
930
nat_3__1069_19.min1.thm1
2017-02-06 12:44
2.1K
nat_3__1062_21.min1.thm1
2017-02-06 12:44
2.6K
nat_3__1058_23.min1.thm1
2017-02-06 12:44
1.5K
nat_3__1045_28.min1.thm1
2017-02-06 12:44
1.7K
nat_3__1036_21.min1.thm1
2017-02-06 12:44
2.5K
nat_3__1013_23.min1.thm1
2017-02-06 12:44
1.5K
nat_3__1004_32.min1.thm1
2017-02-06 12:44
213
nat_3__984_28.min1.thm1
2017-02-06 12:44
1.5K
nat_3__977_14.min1.thm1
2017-02-06 12:44
633
nat_3__964_14.min1.thm1
2017-02-06 12:44
633
nat_3__959_31.min1.thm1
2017-02-06 12:44
1.7K
nat_3__956_31.min1.thm1
2017-02-06 12:44
1.7K
nat_3__941_42.min1.thm1
2017-02-06 12:44
1.2K
nat_3__935_34.min1.thm1
2017-02-06 12:44
1.0K
nat_3__915_19.min1.thm1
2017-02-06 12:44
1.6K
nat_3__914_20.min1.thm1
2017-02-06 12:44
1.1K
nat_3__912_24.min1.thm1.tptp
2017-02-06 16:47
359
nat_3__912_24.min1.thm1
2017-02-06 12:44
430
nat_3__910_28.min1.thm1
2017-02-06 12:44
1.5K
nat_3__900_12.min1.thm1
2017-02-06 12:44
434
nat_3__898_15.min1.thm1.tptp
2017-02-06 16:47
395
nat_3__898_15.min1.thm1
2017-02-06 12:44
470
nat_3__896_50.min1.thm1
2017-02-06 12:44
930
nat_3__894_30.min1.thm1
2017-02-06 12:44
1.7K
nat_3__893_26.min1.thm1
2017-02-06 12:44
1.5K
nat_3__891_23.min1.thm1
2017-02-06 12:44
1.2K
nat_3__878_16.min1.thm1.tptp
2017-02-06 16:47
483
nat_3__878_16.min1.thm1
2017-02-06 12:44
557
nat_3__877_25.min1.thm1
2017-02-06 12:44
598
nat_3__867_38.min1.thm1
2017-02-06 12:44
1.2K
nat_3__866_53.min1.thm1
2017-02-06 12:44
1.0K
nat_3__857_17.min1.thm1.tptp
2017-02-06 16:47
419
nat_3__857_17.min1.thm1
2017-02-06 12:44
481
nat_3__854_15.min1.thm1
2017-02-06 12:44
1.4K
nat_3__839_31.min1.thm1
2017-02-06 12:44
318
nat_3__825_31.min1.thm1
2017-02-06 12:44
318
nat_3__809_19.min1.thm1.tptp
2017-02-06 16:47
590
nat_3__809_19.min1.thm1
2017-02-06 12:44
659
nat_3__808_27.min1.thm1.tptp
2017-02-06 16:47
590
nat_3__808_27.min1.thm1
2017-02-06 12:44
659
nat_3__804_19.min1.thm1.tptp
2017-02-06 16:47
588
nat_3__804_19.min1.thm1
2017-02-06 12:44
656
nat_3__803_27.min1.thm1.tptp
2017-02-06 16:47
588
nat_3__803_27.min1.thm1
2017-02-06 12:44
656
nat_3__800_15.min1.thm1
2017-02-06 12:44
330
nat_3__787_21.min1.thm1
2017-02-06 12:44
1.5K
nat_3__786_44.min1.thm1
2017-02-06 12:44
965
nat_3__785_16.min1.thm1
2017-02-06 12:44
782
nat_3__783_28.min1.thm1
2017-02-06 12:44
708
nat_3__779_21.min1.thm1
2017-02-06 12:44
1.0K
nat_3__776_13.min1.thm1
2017-02-06 12:44
216
nat_3__755_38.min1.thm1
2017-02-06 12:44
1.2K
nat_3__754_53.min1.thm1
2017-02-06 12:44
1.0K
nat_3__745_17.min1.thm1.tptp
2017-02-06 16:47
419
nat_3__745_17.min1.thm1
2017-02-06 12:44
481
nat_3__742_15.min1.thm1
2017-02-06 12:44
1.4K
nat_3__727_31.min1.thm1
2017-02-06 12:44
318
nat_3__713_31.min1.thm1
2017-02-06 12:44
318
nat_3__697_19.min1.thm1.tptp
2017-02-06 16:47
590
nat_3__697_19.min1.thm1
2017-02-06 12:44
659
nat_3__696_27.min1.thm1.tptp
2017-02-06 16:47
590
nat_3__696_27.min1.thm1
2017-02-06 12:44
659
nat_3__692_19.min1.thm1.tptp
2017-02-06 16:47
588
nat_3__692_19.min1.thm1
2017-02-06 12:44
656
nat_3__691_27.min1.thm1.tptp
2017-02-06 16:47
588
nat_3__691_27.min1.thm1
2017-02-06 12:44
656
nat_3__688_15.min1.thm1
2017-02-06 12:44
330
nat_3__675_21.min1.thm1
2017-02-06 12:44
1.5K
nat_3__674_44.min1.thm1
2017-02-06 12:44
965
nat_3__673_16.min1.thm1
2017-02-06 12:44
782
nat_3__671_28.min1.thm1
2017-02-06 12:44
708
nat_3__667_21.min1.thm1
2017-02-06 12:44
1.0K
nat_3__664_13.min1.thm1
2017-02-06 12:44
216
nat_3__642_35.min1.thm1
2017-02-06 12:44
674
nat_3__641_39.min1.thm1
2017-02-06 12:44
792
nat_3__637_35.min1.thm1
2017-02-06 12:44
810
nat_3__634_13.min1.thm1
2017-02-06 12:44
182
nat_3__625_17.min1.thm1
2017-02-06 12:44
742
nat_3__624_15.min1.thm1
2017-02-06 12:44
1.3K
nat_3__622_22.min1.thm1
2017-02-06 12:44
1.2K
nat_3__616_22.min1.thm1
2017-02-06 12:44
1.7K
nat_3__615_20.min1.thm1
2017-02-06 12:44
750
nat_3__600_19.min1.thm1
2017-02-06 12:44
1.4K
nat_3__599_25.min1.thm1.tptp
2017-02-06 16:47
320
nat_3__599_25.min1.thm1
2017-02-06 12:44
397
nat_3__588_16.min1.thm1
2017-02-06 12:44
1.5K
nat_3__576_16.min1.thm1
2017-02-06 12:44
1.3K
nat_3__575_24.min1.thm1
2017-02-06 12:44
1.1K
nat_3__562_17.min1.thm1
2017-02-06 12:44
368
nat_3__561_27.min1.thm1
2017-02-06 12:44
368
nat_3__549_21.min1.thm1
2017-02-06 12:44
2.3K
nat_3__548_26.min1.thm1
2017-02-06 12:44
1.4K
nat_3__547_18.min1.thm1
2017-02-06 12:44
608
nat_3__546_18.min1.thm1
2017-02-06 12:44
612
nat_3__542_21.min1.thm1.tptp
2017-02-06 16:47
396
nat_3__542_21.min1.thm1
2017-02-06 12:44
473
nat_3__539_13.min1.thm1
2017-02-06 12:44
216
nat_3__523_16.min1.thm1
2017-02-06 12:44
411
nat_3__522_9.min1.thm1
2017-02-06 12:44
176
nat_3__511_14.min1.thm1.tptp
2017-02-06 16:47
335
nat_3__511_14.min1.thm1
2017-02-06 12:44
412
nat_3__509_10.min1.thm1
2017-02-06 12:44
340
nat_3__507_26.min1.thm1
2017-02-06 12:44
1.1K
nat_3__503_32.min1.thm1
2017-02-06 12:44
2.2K
nat_3__502_59.min1.thm1
2017-02-06 12:44
611
nat_3__491_14.min1.thm1
2017-02-06 12:44
602
nat_3__488_38.min1.thm1
2017-02-06 12:44
1.2K
nat_3__487_34.min1.thm1
2017-02-06 12:44
1.3K
nat_3__478_45.min1.thm1
2017-02-06 12:44
1.0K
nat_3__477_57.min1.thm1
2017-02-06 12:44
865
nat_3__472_67.min1.thm1
2017-02-06 12:44
1.6K
nat_3__471_67.min1.thm1.tptp
2017-02-06 16:47
707
nat_3__471_67.min1.thm1
2017-02-06 12:44
784
nat_3__451_32.min1.thm1
2017-02-06 12:44
645
nat_3__450_32.min1.thm1
2017-02-06 12:44
1.7K
nat_3__446_35.min1.thm1
2017-02-06 12:44
717
nat_3__438_22.min1.thm1
2017-02-06 12:44
2.1K
nat_3__432_19.min1.thm1
2017-02-06 12:44
2.1K
nat_3__428_16.min1.thm1
2017-02-06 12:44
2.2K
nat_3__427_21.min1.thm1
2017-02-06 12:44
2.4K
nat_3__426_13.min1.thm1
2017-02-06 12:44
2.3K
nat_3__420_19.min1.thm1
2017-02-06 12:44
1.1K
nat_3__417_25.min1.thm1
2017-02-06 12:44
1.5K
nat_3__409_39.min1.thm1
2017-02-06 12:44
2.5K
nat_3__407_18.min1.thm1
2017-02-06 12:44
1.4K
nat_3__406_11.min1.thm1
2017-02-06 12:44
1.1K
nat_3__405_33.min1.thm1
2017-02-06 12:44
1.8K
nat_3__399_14.min1.thm1
2017-02-06 12:44
2.0K
nat_3__398_8.min1.thm1
2017-02-06 12:44
1.0K
nat_3__397_37.min1.thm1
2017-02-06 12:44
1.4K
nat_3__390_23.min1.thm1
2017-02-06 12:44
1.8K
nat_3__388_15.min1.thm1
2017-02-06 12:44
1.6K
nat_3__387_32.min1.thm1
2017-02-06 12:44
2.4K
nat_3__372_13.min1.thm1
2017-02-06 12:44
1.6K
nat_3__371_31.min1.thm1
2017-02-06 12:44
2.3K
nat_3__360_25.min1.thm1
2017-02-06 12:44
1.8K
nat_3__353_29.min1.thm1
2017-02-06 12:44
1.9K
nat_3__343_27.min1.thm1
2017-02-06 12:44
1.3K
nat_3__333_16.min1.thm1
2017-02-06 12:44
1.5K
nat_3__332_33.min1.thm1
2017-02-06 12:44
1.6K
nat_3__319_16.min1.thm1
2017-02-06 12:44
1.0K
nat_3__318_33.min1.thm1
2017-02-06 12:44
1.1K
nat_3__305_19.min1.thm1
2017-02-06 12:44
1.2K
nat_3__303_17.min1.thm1
2017-02-06 12:44
869
nat_3__302_28.min1.thm1.tptp
2017-02-06 16:47
430
nat_3__302_28.min1.thm1
2017-02-06 12:44
507
nat_3__297_44.min1.thm1
2017-02-06 12:44
1.0K
nat_3__288_19.min1.thm1
2017-02-06 12:44
1.0K
nat_3__285_25.min1.thm1
2017-02-06 12:44
270
nat_3__267_14.min1.thm1.tptp
2017-02-06 16:47
453
nat_3__267_14.min1.thm1
2017-02-06 12:44
508
nat_3__262_18.min1.thm1
2017-02-06 12:44
1.6K
nat_3__252_25.min1.thm1
2017-02-06 12:44
1.7K
nat_3__250_24.min1.thm1
2017-02-06 12:44
675
nat_3__249_30.min1.thm1
2017-02-06 12:44
852
nat_3__248_22.min1.thm1
2017-02-06 12:44
1.1K
nat_3__244_23.min1.thm1
2017-02-06 12:44
950
nat_3__243_21.min1.thm1
2017-02-06 12:44
529
nat_3__239_18.min1.thm1
2017-02-06 12:44
2.0K
nat_3__234_45.min1.thm1
2017-02-06 12:44
1.0K
nat_3__233_30.min1.thm1
2017-02-06 12:44
889
nat_3__218_14.min1.thm1.tptp
2017-02-06 16:47
409
nat_3__218_14.min1.thm1
2017-02-06 12:44
468
nat_3__216_36.min1.thm1
2017-02-06 12:44
1.1K
nat_3__212_19.min1.thm1.tptp
2017-02-06 16:47
272
nat_3__212_19.min1.thm1
2017-02-06 12:44
337
nat_3__211_22.min1.thm1
2017-02-06 12:44
2.5K
nat_3__186_17.min1.thm1
2017-02-06 12:44
679
nat_3__185_30.min1.thm1
2017-02-06 12:44
855
nat_3__175_29.min1.thm1
2017-02-06 12:44
1.8K
nat_3__173_20.min1.thm1
2017-02-06 12:44
1.7K
nat_3__170_17.min1.thm1
2017-02-06 12:44
421
nat_3__169_23.min1.thm1
2017-02-06 12:44
556
nat_3__163_17.min1.thm1
2017-02-06 12:44
1.7K
nat_3__162_18.min1.thm1
2017-02-06 12:44
1.4K
nat_3__160_22.min1.thm1
2017-02-06 12:44
2.1K
nat_3__159_24.min1.thm1
2017-02-06 12:44
2.0K
nat_3__158_15.min1.thm1
2017-02-06 12:44
2.2K
nat_3__149_37.min1.thm1
2017-02-06 12:44
1.0K
nat_3__140_17.min1.thm1
2017-02-06 12:44
2.4K
nat_3__139_35.min1.thm1
2017-02-06 12:44
2.2K
nat_3__138_13.min1.thm1
2017-02-06 12:44
1.2K
nat_3__137_39.min1.thm1
2017-02-06 12:44
1.1K
nat_3__127_17.min1.thm1
2017-02-06 12:44
629
nat_3__126_30.min1.thm1
2017-02-06 12:44
1.5K
nat_3__125_35.min1.thm1
2017-02-06 12:44
891
nat_3__124_14.min1.thm1
2017-02-06 12:44
1.0K
nat_3__116_14.min1.thm1.tptp
2017-02-06 16:47
251
nat_3__116_14.min1.thm1
2017-02-06 12:44
332
nat_3__114_10.min1.thm1
2017-02-06 12:44
1.6K
nat_3__111_30.min1.thm1
2017-02-06 12:44
1.4K
nat_3__102_24.min1.thm1
2017-02-06 12:44
1.5K
nat_3__96_47.min1.thm1
2017-02-06 12:44
2.1K
nat_3__87_16.min1.thm1
2017-02-06 12:44
1.3K
nat_3__72_14.min1.thm1
2017-02-06 12:44
502
nat_3__66_19.min1.thm1
2017-02-06 12:44
1.0K
nat_3__65_16.min1.thm1
2017-02-06 12:44
531
nat_3__55_15.min1.thm1
2017-02-06 12:44
834
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80