Index of /~mptp/1147/MPTP2/ilp0/topgen_3
Name
Last modified
Size
Description
Parent Directory
-
topgen_3__2437_17.min1.thm1
2017-02-06 12:45
1.4K
topgen_3__2436_43.min1.thm1
2017-02-06 12:45
735
topgen_3__2435_10.min1.thm1
2017-02-06 12:45
234
topgen_3__2434_27.min1.thm1.tptp
2017-02-06 16:46
610
topgen_3__2434_27.min1.thm1
2017-02-06 12:45
648
topgen_3__2426_17.min1.thm1
2017-02-06 12:45
759
topgen_3__2425_38.min1.thm1
2017-02-06 12:45
605
topgen_3__2424_39.min1.thm1
2017-02-06 12:45
721
topgen_3__2423_32.min1.thm1
2017-02-06 12:45
1.0K
topgen_3__2422_13.min1.thm1
2017-02-06 12:45
803
topgen_3__2421_30.min1.thm1
2017-02-06 12:45
947
topgen_3__2419_10.min1.thm1
2017-02-06 12:45
554
topgen_3__2417_19.min1.thm1
2017-02-06 12:45
563
topgen_3__2416_27.min1.thm1
2017-02-06 12:45
1.2K
topgen_3__2414_16.min1.thm1
2017-02-06 12:45
830
topgen_3__2413_36.min1.thm1
2017-02-06 12:45
731
topgen_3__2407_24.min1.thm1.tptp
2017-02-06 16:46
246
topgen_3__2407_24.min1.thm1
2017-02-06 12:45
325
topgen_3__2406_27.min1.thm1.tptp
2017-02-06 16:46
606
topgen_3__2406_27.min1.thm1
2017-02-06 12:45
644
topgen_3__2397_11.min1.thm1
2017-02-06 12:45
879
topgen_3__2396_20.min1.thm1
2017-02-06 12:45
831
topgen_3__2395_18.min1.thm1
2017-02-06 12:45
868
topgen_3__2394_21.min1.thm1
2017-02-06 12:45
1.0K
topgen_3__2388_52.min1.thm1
2017-02-06 12:45
797
topgen_3__2387_26.min1.thm1
2017-02-06 12:45
688
topgen_3__2386_31.min1.thm1.tptp
2017-02-06 16:46
438
topgen_3__2386_31.min1.thm1
2017-02-06 12:45
500
topgen_3__2381_19.min1.thm1
2017-02-06 12:45
584
topgen_3__2380_36.min1.thm1
2017-02-06 12:45
786
topgen_3__2379_28.min1.thm1
2017-02-06 12:45
1.1K
topgen_3__2378_16.min1.thm1
2017-02-06 12:45
842
topgen_3__2377_54.min1.thm1
2017-02-06 12:45
710
topgen_3__2376_51.min1.thm1
2017-02-06 12:45
1.2K
topgen_3__2370_42.min1.thm1.tptp
2017-02-06 16:46
610
topgen_3__2370_42.min1.thm1
2017-02-06 12:45
648
topgen_3__2361_17.min1.thm1
2017-02-06 12:45
1.1K
topgen_3__2360_35.min1.thm1
2017-02-06 12:45
1.2K
topgen_3__2359_28.min1.thm1
2017-02-06 12:45
1.1K
topgen_3__2349_37.min1.thm1
2017-02-06 12:45
1.1K
topgen_3__2348_13.min1.thm1
2017-02-06 12:45
598
topgen_3__2346_40.min1.thm1.tptp
2017-02-06 16:46
610
topgen_3__2346_40.min1.thm1
2017-02-06 12:45
648
topgen_3__2337_14.min1.thm1
2017-02-06 12:45
880
topgen_3__2327_20.min1.thm1.tptp
2017-02-06 16:46
723
topgen_3__2327_20.min1.thm1
2017-02-06 12:45
800
topgen_3__2312_32.min1.thm1
2017-02-06 12:45
437
topgen_3__2307_19.min1.thm1
2017-02-06 12:45
384
topgen_3__2305_21.min1.thm1
2017-02-06 12:45
2.7K
topgen_3__2304_33.min1.thm1
2017-02-06 12:45
2.6K
topgen_3__2301_61.min1.thm1
2017-02-06 12:45
928
topgen_3__2300_21.min1.thm1
2017-02-06 12:45
213
topgen_3__2293_28.min1.thm1
2017-02-06 12:45
828
topgen_3__2292_28.min1.thm1
2017-02-06 12:45
828
topgen_3__2291_46.min1.thm1
2017-02-06 12:45
1.8K
topgen_3__2289_51.min1.thm1
2017-02-06 12:45
1.8K
topgen_3__2288_21.min1.thm1
2017-02-06 12:45
269
topgen_3__2287_40.min1.thm1
2017-02-06 12:45
1.1K
topgen_3__2285_27.min1.thm1
2017-02-06 12:45
1.3K
topgen_3__2284_24.min1.thm1
2017-02-06 12:45
1.0K
topgen_3__2280_23.min1.thm1
2017-02-06 12:45
2.4K
topgen_3__2279_21.min1.thm1
2017-02-06 12:45
640
topgen_3__2278_33.min1.thm1
2017-02-06 12:45
1.3K
topgen_3__2276_48.min1.thm1
2017-02-06 12:45
850
topgen_3__2275_23.min1.thm1
2017-02-06 12:45
217
topgen_3__2274_33.min1.thm1
2017-02-06 12:45
1.3K
topgen_3__2272_48.min1.thm1
2017-02-06 12:45
850
topgen_3__2271_23.min1.thm1
2017-02-06 12:45
217
topgen_3__2270_21.min1.thm1
2017-02-06 12:45
640
topgen_3__2267_15.min1.thm1
2017-02-06 12:45
307
topgen_3__2262_21.min1.thm1
2017-02-06 12:45
1.0K
topgen_3__2261_46.min1.thm1
2017-02-06 12:45
846
topgen_3__2260_21.min1.thm1
2017-02-06 12:45
213
topgen_3__2241_50.min1.thm1
2017-02-06 12:45
1.0K
topgen_3__2240_12.min1.thm1
2017-02-06 12:45
619
topgen_3__2239_20.min1.thm1.tptp
2017-02-06 16:46
274
topgen_3__2239_20.min1.thm1
2017-02-06 12:45
342
topgen_3__2232_72.min1.thm1
2017-02-06 12:45
1.5K
topgen_3__2230_19.min1.thm1
2017-02-06 12:45
691
topgen_3__2226_42.min1.thm1.tptp
2017-02-06 16:46
603
topgen_3__2226_42.min1.thm1
2017-02-06 12:45
641
topgen_3__2225_39.min1.thm1
2017-02-06 12:45
743
topgen_3__2224_14.min1.thm1.tptp
2017-02-06 16:46
273
topgen_3__2224_14.min1.thm1
2017-02-06 12:45
338
topgen_3__2223_39.min1.thm1
2017-02-06 12:45
533
topgen_3__2222_43.min1.thm1
2017-02-06 12:45
377
topgen_3__2212_17.min1.thm1
2017-02-06 12:45
1.5K
topgen_3__2211_13.min1.thm1
2017-02-06 12:45
409
topgen_3__2210_16.min1.thm1
2017-02-06 12:45
401
topgen_3__2205_19.min1.thm1.tptp
2017-02-06 16:46
274
topgen_3__2205_19.min1.thm1
2017-02-06 12:45
339
topgen_3__2192_17.min1.thm1
2017-02-06 12:45
1.3K
topgen_3__2191_37.min1.thm1
2017-02-06 12:45
735
topgen_3__2188_31.min1.thm1
2017-02-06 12:45
892
topgen_3__2178_17.min1.thm1
2017-02-06 12:45
797
topgen_3__2177_35.min1.thm1
2017-02-06 12:45
725
topgen_3__2175_29.min1.thm1
2017-02-06 12:45
822
topgen_3__2165_19.min1.thm1
2017-02-06 12:45
1.0K
topgen_3__2164_22.min1.thm1
2017-02-06 12:45
846
topgen_3__2163_42.min1.thm1
2017-02-06 12:45
1.6K
topgen_3__2153_14.min1.thm1
2017-02-06 12:45
873
topgen_3__2143_19.min1.thm1
2017-02-06 12:45
811
topgen_3__2142_53.min1.thm1
2017-02-06 12:45
894
topgen_3__2130_18.min1.thm1
2017-02-06 12:45
846
topgen_3__2128_32.min1.thm1
2017-02-06 12:45
475
topgen_3__2122_21.min1.thm1
2017-02-06 12:45
2.9K
topgen_3__2121_38.min1.thm1
2017-02-06 12:45
2.8K
topgen_3__2117_77.min1.thm1.tptp
2017-02-06 16:46
849
topgen_3__2117_77.min1.thm1
2017-02-06 12:45
891
topgen_3__2116_23.min1.thm1
2017-02-06 12:45
205
topgen_3__2110_23.min1.thm1
2017-02-06 12:45
2.4K
topgen_3__2109_35.min1.thm1
2017-02-06 12:45
731
topgen_3__2108_35.min1.thm1
2017-02-06 12:45
731
topgen_3__2107_45.min1.thm1
2017-02-06 12:45
1.6K
topgen_3__2102_23.min1.thm1
2017-02-06 12:45
1.9K
topgen_3__2099_15.min1.thm1
2017-02-06 12:45
291
topgen_3__2095_20.min1.thm1
2017-02-06 12:45
404
topgen_3__2093_21.min1.thm1
2017-02-06 12:45
1.3K
topgen_3__2092_23.min1.thm1.tptp
2017-02-06 16:46
306
topgen_3__2092_23.min1.thm1
2017-02-06 12:45
380
topgen_3__2091_27.min1.thm1
2017-02-06 12:45
1.0K
topgen_3__2090_48.min1.thm1.tptp
2017-02-06 16:46
747
topgen_3__2090_48.min1.thm1
2017-02-06 12:45
793
topgen_3__2088_23.min1.thm1
2017-02-06 12:45
205
topgen_3__2070_43.min1.thm1
2017-02-06 12:45
1.3K
topgen_3__2068_24.min1.thm1
2017-02-06 12:45
1.2K
topgen_3__2067_17.min1.thm1
2017-02-06 12:45
756
topgen_3__2066_36.min1.thm1.tptp
2017-02-06 16:46
515
topgen_3__2066_36.min1.thm1
2017-02-06 12:45
551
topgen_3__2054_14.min1.thm1
2017-02-06 12:45
783
topgen_3__2048_14.min1.thm1
2017-02-06 12:45
924
topgen_3__2047_8.min1.thm1
2017-02-06 12:45
224
topgen_3__2046_19.min1.thm1
2017-02-06 12:45
523
topgen_3__2038_17.min1.thm1
2017-02-06 12:45
753
topgen_3__2037_22.min1.thm1
2017-02-06 12:45
1.4K
topgen_3__2033_47.min1.thm1
2017-02-06 12:45
1.0K
topgen_3__2032_11.min1.thm1.tptp
2017-02-06 16:46
442
topgen_3__2032_11.min1.thm1
2017-02-06 12:45
516
topgen_3__2027_36.min1.thm1.tptp
2017-02-06 16:46
515
topgen_3__2027_36.min1.thm1
2017-02-06 12:45
551
topgen_3__2016_68.min1.thm1
2017-02-06 12:45
1.1K
topgen_3__2015_69.min1.thm1
2017-02-06 12:45
828
topgen_3__2004_18.min1.thm1
2017-02-06 12:45
734
topgen_3__2002_32.min1.thm1
2017-02-06 12:45
444
topgen_3__1997_20.min1.thm1
2017-02-06 12:45
586
topgen_3__1995_21.min1.thm1
2017-02-06 12:45
1.5K
topgen_3__1992_57.min1.thm1
2017-02-06 12:45
1.2K
topgen_3__1991_15.min1.thm1.tptp
2017-02-06 16:46
449
topgen_3__1991_15.min1.thm1
2017-02-06 12:45
514
topgen_3__1990_17.min1.thm1.tptp
2017-02-06 16:46
305
topgen_3__1990_17.min1.thm1
2017-02-06 12:45
373
topgen_3__1989_23.min1.thm1.tptp
2017-02-06 16:46
360
topgen_3__1989_23.min1.thm1
2017-02-06 12:45
426
topgen_3__1986_23.min1.thm1
2017-02-06 12:45
539
topgen_3__1973_21.min1.thm1
2017-02-06 12:45
1.7K
topgen_3__1972_17.min1.thm1
2017-02-06 12:45
703
topgen_3__1971_38.min1.thm1
2017-02-06 12:45
749
topgen_3__1964_10.min1.thm1
2017-02-06 12:45
238
topgen_3__1949_52.min1.thm1
2017-02-06 12:45
706
topgen_3__1948_46.min1.thm1
2017-02-06 12:45
672
topgen_3__1947_29.min1.thm1
2017-02-06 12:45
1.0K
topgen_3__1944_42.min1.thm1.tptp
2017-02-06 16:46
529
topgen_3__1944_42.min1.thm1
2017-02-06 12:45
583
topgen_3__1943_42.min1.thm1
2017-02-06 12:45
683
topgen_3__1940_38.min1.thm1.tptp
2017-02-06 16:46
563
topgen_3__1940_38.min1.thm1
2017-02-06 12:45
627
topgen_3__1938_45.min1.thm1
2017-02-06 12:45
830
topgen_3__1932_17.min1.thm1
2017-02-06 12:45
959
topgen_3__1929_12.min1.thm1
2017-02-06 12:45
1.5K
topgen_3__1928_38.min1.thm1
2017-02-06 12:45
1.3K
topgen_3__1927_19.min1.thm1.tptp
2017-02-06 16:46
519
topgen_3__1927_19.min1.thm1
2017-02-06 12:45
573
topgen_3__1922_11.min1.thm1
2017-02-06 12:45
488
topgen_3__1920_24.min1.thm1
2017-02-06 12:45
1.1K
topgen_3__1917_15.min1.thm1
2017-02-06 12:45
253
topgen_3__1912_14.min1.thm1
2017-02-06 12:45
1.6K
topgen_3__1910_17.min1.thm1
2017-02-06 12:45
1.0K
topgen_3__1908_21.min1.thm1
2017-02-06 12:45
537
topgen_3__1906_24.min1.thm1
2017-02-06 12:45
559
topgen_3__1892_14.min1.thm1
2017-02-06 12:45
1.2K
topgen_3__1890_19.min1.thm1.tptp
2017-02-06 16:46
309
topgen_3__1890_19.min1.thm1
2017-02-06 12:45
390
topgen_3__1889_28.min1.thm1
2017-02-06 12:45
573
topgen_3__1887_43.min1.thm1
2017-02-06 12:45
480
topgen_3__1882_30.min1.thm1.tptp
2017-02-06 16:46
343
topgen_3__1882_30.min1.thm1
2017-02-06 12:45
421
topgen_3__1880_22.min1.thm1
2017-02-06 12:45
507
topgen_3__1878_19.min1.thm1
2017-02-06 12:45
1.4K
topgen_3__1877_16.min1.thm1
2017-02-06 12:45
576
topgen_3__1876_18.min1.thm1.tptp
2017-02-06 16:46
330
topgen_3__1876_18.min1.thm1
2017-02-06 12:45
407
topgen_3__1875_31.min1.thm1
2017-02-06 12:45
304
topgen_3__1872_55.min1.thm1
2017-02-06 12:45
671
topgen_3__1868_17.min1.thm1
2017-02-06 12:45
1.2K
topgen_3__1863_19.min1.thm1
2017-02-06 12:45
1.5K
topgen_3__1862_35.min1.thm1
2017-02-06 12:45
1.0K
topgen_3__1859_15.min1.thm1
2017-02-06 12:45
885
topgen_3__1858_15.min1.thm1
2017-02-06 12:45
620
topgen_3__1852_37.min1.thm1
2017-02-06 12:45
488
topgen_3__1851_24.min1.thm1
2017-02-06 12:45
825
topgen_3__1848_14.min1.thm1
2017-02-06 12:45
747
topgen_3__1845_13.min1.thm1
2017-02-06 12:45
673
topgen_3__1841_37.min1.thm1
2017-02-06 12:45
657
topgen_3__1840_31.min1.thm1
2017-02-06 12:45
352
topgen_3__1837_61.min1.thm1
2017-02-06 12:45
719
topgen_3__1827_16.min1.thm1
2017-02-06 12:45
669
topgen_3__1825_18.min1.thm1
2017-02-06 12:45
452
topgen_3__1824_72.min1.thm1.tptp
2017-02-06 16:46
415
topgen_3__1824_72.min1.thm1
2017-02-06 12:45
475
topgen_3__1811_43.min1.thm1
2017-02-06 12:45
1.2K
topgen_3__1810_29.min1.thm1
2017-02-06 12:45
693
topgen_3__1806_43.min1.thm1
2017-02-06 12:45
916
topgen_3__1805_20.min1.thm1
2017-02-06 12:45
650
topgen_3__1804_29.min1.thm1
2017-02-06 12:45
490
topgen_3__1799_43.min1.thm1
2017-02-06 12:45
766
topgen_3__1798_33.min1.thm1
2017-02-06 12:45
718
topgen_3__1795_13.min1.thm1
2017-02-06 12:45
305
topgen_3__1783_17.min1.thm1
2017-02-06 12:45
572
topgen_3__1782_34.min1.thm1.tptp
2017-02-06 16:46
279
topgen_3__1782_34.min1.thm1
2017-02-06 12:45
359
topgen_3__1781_25.min1.thm1
2017-02-06 12:45
377
topgen_3__1774_17.min1.thm1
2017-02-06 12:45
913
topgen_3__1772_34.min1.thm1
2017-02-06 12:45
1.2K
topgen_3__1771_19.min1.thm1
2017-02-06 12:45
818
topgen_3__1770_21.min1.thm1
2017-02-06 12:45
744
topgen_3__1767_17.min1.thm1
2017-02-06 12:45
1.5K
topgen_3__1766_35.min1.thm1
2017-02-06 12:45
2.2K
topgen_3__1764_23.min1.thm1
2017-02-06 12:45
1.8K
topgen_3__1763_35.min1.thm1
2017-02-06 12:45
2.2K
topgen_3__1761_23.min1.thm1
2017-02-06 12:45
1.8K
topgen_3__1760_18.min1.thm1
2017-02-06 12:45
1.5K
topgen_3__1750_30.min1.thm1
2017-02-06 12:45
475
topgen_3__1749_52.min1.thm1
2017-02-06 12:45
1.0K
topgen_3__1747_39.min1.thm1
2017-02-06 12:45
1.2K
topgen_3__1746_28.min1.thm1
2017-02-06 12:45
408
topgen_3__1744_25.min1.thm1
2017-02-06 12:45
353
topgen_3__1740_70.min1.thm1
2017-02-06 12:45
456
topgen_3__1739_49.min1.thm1
2017-02-06 12:45
1.3K
topgen_3__1738_20.min1.thm1
2017-02-06 12:45
769
topgen_3__1737_46.min1.thm1
2017-02-06 12:45
417
topgen_3__1735_48.min1.thm1
2017-02-06 12:45
1.6K
topgen_3__1732_68.min1.thm1
2017-02-06 12:45
1.3K
topgen_3__1731_37.min1.thm1
2017-02-06 12:45
613
topgen_3__1730_37.min1.thm1
2017-02-06 12:45
1.0K
topgen_3__1728_56.min1.thm1
2017-02-06 12:45
386
topgen_3__1727_32.min1.thm1.tptp
2017-02-06 16:46
277
topgen_3__1727_32.min1.thm1
2017-02-06 12:45
357
topgen_3__1725_43.min1.thm1.tptp
2017-02-06 16:46
343
topgen_3__1725_43.min1.thm1
2017-02-06 12:45
421
topgen_3__1723_34.min1.thm1
2017-02-06 12:45
788
topgen_3__1722_50.min1.thm1
2017-02-06 12:45
504
topgen_3__1721_16.min1.thm1.tptp
2017-02-06 16:46
395
topgen_3__1721_16.min1.thm1
2017-02-06 12:45
475
topgen_3__1720_32.min1.thm1
2017-02-06 12:45
628
topgen_3__1718_31.min1.thm1
2017-02-06 12:45
686
topgen_3__1714_22.min1.thm1
2017-02-06 12:45
1.0K
topgen_3__1708_30.min1.thm1
2017-02-06 12:45
863
topgen_3__1707_28.min1.thm1.tptp
2017-02-06 16:46
274
topgen_3__1707_28.min1.thm1
2017-02-06 12:45
355
topgen_3__1706_25.min1.thm1
2017-02-06 12:45
747
topgen_3__1704_31.min1.thm1
2017-02-06 12:45
730
topgen_3__1701_19.min1.thm1.tptp
2017-02-06 16:46
558
topgen_3__1701_19.min1.thm1
2017-02-06 12:45
619
topgen_3__1700_15.min1.thm1
2017-02-06 12:45
725
topgen_3__1699_15.min1.thm1
2017-02-06 12:45
725
topgen_3__1688_19.min1.thm1
2017-02-06 12:45
590
topgen_3__1687_19.min1.thm1.tptp
2017-02-06 16:46
309
topgen_3__1687_19.min1.thm1
2017-02-06 12:45
378
topgen_3__1686_33.min1.thm1
2017-02-06 12:45
714
topgen_3__1685_13.min1.thm1
2017-02-06 12:45
475
topgen_3__1684_16.min1.thm1.tptp
2017-02-06 16:46
355
topgen_3__1684_16.min1.thm1
2017-02-06 12:45
418
topgen_3__1682_23.min1.thm1
2017-02-06 12:45
461
topgen_3__1677_44.min1.thm1.tptp
2017-02-06 16:46
284
topgen_3__1677_44.min1.thm1
2017-02-06 12:45
352
topgen_3__1667_41.min1.thm1.tptp
2017-02-06 16:46
553
topgen_3__1667_41.min1.thm1
2017-02-06 12:45
631
topgen_3__1666_56.min1.thm1
2017-02-06 12:45
844
topgen_3__1658_75.min1.thm1
2017-02-06 12:45
846
topgen_3__1657_14.min1.thm1
2017-02-06 12:45
928
topgen_3__1656_39.min1.thm1
2017-02-06 12:45
945
topgen_3__1655_13.min1.thm1
2017-02-06 12:45
286
topgen_3__1647_16.min1.thm1
2017-02-06 12:45
481
topgen_3__1641_37.min1.thm1
2017-02-06 12:45
2.4K
topgen_3__1638_26.min1.thm1
2017-02-06 12:45
1.8K
topgen_3__1637_37.min1.thm1
2017-02-06 12:45
2.4K
topgen_3__1624_30.min1.thm1
2017-02-06 12:45
2.9K
topgen_3__1622_30.min1.thm1
2017-02-06 12:45
2.9K
topgen_3__1612_28.min1.thm1
2017-02-06 12:45
1.9K
topgen_3__1611_17.min1.thm1
2017-02-06 12:45
1.0K
topgen_3__1607_35.min1.thm1
2017-02-06 12:45
921
topgen_3__1604_26.min1.thm1
2017-02-06 12:45
903
topgen_3__1602_36.min1.thm1.tptp
2017-02-06 16:46
293
topgen_3__1602_36.min1.thm1
2017-02-06 12:45
356
topgen_3__1579_17.min1.thm1
2017-02-06 12:45
2.3K
topgen_3__1578_71.min1.thm1.tptp
2017-02-06 16:46
696
topgen_3__1578_71.min1.thm1
2017-02-06 12:45
777
topgen_3__1571_13.min1.thm1
2017-02-06 12:45
2.1K
topgen_3__1570_35.min1.thm1
2017-02-06 12:45
922
topgen_3__1569_18.min1.thm1
2017-02-06 12:45
2.0K
topgen_3__1567_18.min1.thm1
2017-02-06 12:45
1.8K
topgen_3__1566_13.min1.thm1
2017-02-06 12:45
2.5K
topgen_3__1560_34.min1.thm1
2017-02-06 12:45
1.7K
topgen_3__1550_72.min1.thm1
2017-02-06 12:45
2.6K
topgen_3__1547_28.min1.thm1
2017-02-06 12:45
2.2K
topgen_3__1546_42.min1.thm1
2017-02-06 12:45
1.3K
topgen_3__1545_19.min1.thm1.tptp
2017-02-06 16:46
342
topgen_3__1545_19.min1.thm1
2017-02-06 12:45
408
topgen_3__1542_14.min1.thm1
2017-02-06 12:45
1.4K
topgen_3__1529_43.min1.thm1.tptp
2017-02-06 16:46
502
topgen_3__1529_43.min1.thm1
2017-02-06 12:45
579
topgen_3__1515_14.min1.thm1
2017-02-06 12:45
1.4K
topgen_3__1507_30.min1.thm1
2017-02-06 12:45
573
topgen_3__1506_14.min1.thm1
2017-02-06 12:45
1.1K
topgen_3__1489_22.min1.thm1
2017-02-06 12:45
3.1K
topgen_3__1481_21.min1.thm1
2017-02-06 12:45
1.8K
topgen_3__1480_26.min1.thm1
2017-02-06 12:45
2.6K
topgen_3__1478_29.min1.thm1
2017-02-06 12:45
1.9K
topgen_3__1472_25.min1.thm1
2017-02-06 12:45
2.1K
topgen_3__1466_27.min1.thm1
2017-02-06 12:45
573
topgen_3__1464_16.min1.thm1
2017-02-06 12:45
1.1K
topgen_3__1450_30.min1.thm1
2017-02-06 12:45
573
topgen_3__1449_14.min1.thm1
2017-02-06 12:45
1.1K
topgen_3__1423_26.min1.thm1
2017-02-06 12:45
1.6K
topgen_3__1422_54.min1.thm1
2017-02-06 12:45
1.4K
topgen_3__1411_19.min1.thm1
2017-02-06 12:45
1.6K
topgen_3__1410_25.min1.thm1.tptp
2017-02-06 16:46
276
topgen_3__1410_25.min1.thm1
2017-02-06 12:45
350
topgen_3__1409_15.min1.thm1
2017-02-06 12:45
388
topgen_3__1389_17.min1.thm1
2017-02-06 12:45
1.2K
topgen_3__1387_19.min1.thm1
2017-02-06 12:45
911
topgen_3__1386_18.min1.thm1
2017-02-06 12:45
1.0K
topgen_3__1384_14.min1.thm1
2017-02-06 12:45
1.0K
topgen_3__1379_20.min1.thm1
2017-02-06 12:45
826
topgen_3__1373_20.min1.thm1
2017-02-06 12:45
826
topgen_3__1360_19.min1.thm1
2017-02-06 12:45
886
topgen_3__1359_19.min1.thm1
2017-02-06 12:45
796
topgen_3__1358_43.min1.thm1
2017-02-06 12:45
514
topgen_3__1357_15.min1.thm1.tptp
2017-02-06 16:46
224
topgen_3__1357_15.min1.thm1
2017-02-06 12:45
305
topgen_3__1353_16.min1.thm1
2017-02-06 12:45
1.6K
topgen_3__1352_44.min1.thm1.tptp
2017-02-06 16:46
242
topgen_3__1352_44.min1.thm1
2017-02-06 12:45
320
topgen_3__1348_30.min1.thm1
2017-02-06 12:45
722
topgen_3__1347_19.min1.thm1
2017-02-06 12:45
1.0K
topgen_3__1346_28.min1.thm1
2017-02-06 12:45
611
topgen_3__1345_53.min1.thm1
2017-02-06 12:45
709
topgen_3__1344_25.min1.thm1
2017-02-06 12:45
622
topgen_3__1342_12.min1.thm1
2017-02-06 12:45
468
topgen_3__1340_19.min1.thm1
2017-02-06 12:45
1.3K
topgen_3__1339_25.min1.thm1
2017-02-06 12:45
748
topgen_3__1335_15.min1.thm1.tptp
2017-02-06 16:46
221
topgen_3__1335_15.min1.thm1
2017-02-06 12:45
302
topgen_3__1334_17.min1.thm1.tptp
2017-02-06 16:46
504
topgen_3__1334_17.min1.thm1
2017-02-06 12:45
559
topgen_3__1311_11.min1.thm1
2017-02-06 12:45
428
topgen_3__1304_16.min1.thm1
2017-02-06 12:45
664
topgen_3__1303_34.min1.thm1
2017-02-06 12:45
452
topgen_3__1302_17.min1.thm1
2017-02-06 12:45
435
topgen_3__1294_26.min1.thm1
2017-02-06 12:45
869
topgen_3__1293_29.min1.thm1.tptp
2017-02-06 16:46
274
topgen_3__1293_29.min1.thm1
2017-02-06 12:45
355
topgen_3__1292_28.min1.thm1
2017-02-06 12:45
641
topgen_3__1290_32.min1.thm1
2017-02-06 12:45
661
topgen_3__1288_23.min1.thm1
2017-02-06 12:45
920
topgen_3__1283_15.min1.thm1
2017-02-06 12:45
598
topgen_3__1275_30.min1.thm1
2017-02-06 12:45
1.4K
topgen_3__1273_50.min1.thm1
2017-02-06 12:45
2.1K
topgen_3__1272_13.min1.thm1
2017-02-06 12:45
1.2K
topgen_3__1271_14.min1.thm1
2017-02-06 12:45
1.2K
topgen_3__1270_14.min1.thm1
2017-02-06 12:45
1.2K
topgen_3__1269_15.min1.thm1
2017-02-06 12:45
547
topgen_3__1266_69.min1.thm1
2017-02-06 12:45
827
topgen_3__1265_14.min1.thm1
2017-02-06 12:45
1.2K
topgen_3__1264_38.min1.thm1
2017-02-06 12:45
810
topgen_3__1263_14.min1.thm1.tptp
2017-02-06 16:46
413
topgen_3__1263_14.min1.thm1
2017-02-06 12:45
467
topgen_3__1257_26.min1.thm1
2017-02-06 12:45
923
topgen_3__1252_16.min1.thm1
2017-02-06 12:45
600
topgen_3__1248_15.min1.thm1
2017-02-06 12:45
547
topgen_3__1245_69.min1.thm1
2017-02-06 12:45
825
topgen_3__1244_26.min1.thm1
2017-02-06 12:45
920
topgen_3__1239_16.min1.thm1
2017-02-06 12:45
598
topgen_3__1232_28.min1.thm1
2017-02-06 12:45
798
topgen_3__1228_30.min1.thm1
2017-02-06 12:45
1.5K
topgen_3__1226_50.min1.thm1
2017-02-06 12:45
1.8K
topgen_3__1225_13.min1.thm1
2017-02-06 12:45
1.2K
topgen_3__1224_15.min1.thm1
2017-02-06 12:45
547
topgen_3__1221_69.min1.thm1
2017-02-06 12:45
826
topgen_3__1220_14.min1.thm1
2017-02-06 12:45
1.2K
topgen_3__1218_14.min1.thm1
2017-02-06 12:45
1.1K
topgen_3__1217_14.min1.thm1
2017-02-06 12:45
619
topgen_3__1214_26.min1.thm1
2017-02-06 12:45
850
topgen_3__1206_15.min1.thm1
2017-02-06 12:45
545
topgen_3__1204_69.min1.thm1
2017-02-06 12:45
824
topgen_3__1203_26.min1.thm1
2017-02-06 12:45
849
topgen_3__1187_44.min1.thm1
2017-02-06 12:45
1.4K
topgen_3__1186_57.min1.thm1
2017-02-06 12:45
746
topgen_3__1185_27.min1.thm1
2017-02-06 12:45
595
topgen_3__1161_17.min1.thm1
2017-02-06 12:45
400
topgen_3__1160_28.min1.thm1
2017-02-06 12:45
666
topgen_3__1157_17.min1.thm1
2017-02-06 12:45
703
topgen_3__1156_16.min1.thm1
2017-02-06 12:45
542
topgen_3__1155_16.min1.thm1
2017-02-06 12:45
669
topgen_3__1142_48.min1.thm1
2017-02-06 12:45
1.0K
topgen_3__1141_19.min1.thm1
2017-02-06 12:45
1.0K
topgen_3__1140_15.min1.thm1.tptp
2017-02-06 16:46
224
topgen_3__1140_15.min1.thm1
2017-02-06 12:45
305
topgen_3__1139_12.min1.thm1
2017-02-06 12:45
617
topgen_3__1136_19.min1.thm1.tptp
2017-02-06 16:46
450
topgen_3__1136_19.min1.thm1
2017-02-06 12:45
503
topgen_3__1119_27.min1.thm1
2017-02-06 12:45
460
topgen_3__1118_28.min1.thm1
2017-02-06 12:45
956
topgen_3__1117_15.min1.thm1
2017-02-06 12:45
430
topgen_3__1116_44.min1.thm1
2017-02-06 12:45
817
topgen_3__1114_19.min1.thm1
2017-02-06 12:45
1.3K
topgen_3__1113_13.min1.thm1
2017-02-06 12:45
494
topgen_3__1112_14.min1.thm1
2017-02-06 12:45
494
topgen_3__1108_28.min1.thm1
2017-02-06 12:45
1.2K
topgen_3__1106_15.min1.thm1.tptp
2017-02-06 16:46
225
topgen_3__1106_15.min1.thm1
2017-02-06 12:45
306
topgen_3__1105_11.min1.thm1
2017-02-06 12:45
557
topgen_3__1102_18.min1.thm1
2017-02-06 12:45
2.2K
topgen_3__1101_22.min1.thm1
2017-02-06 12:45
1.1K
topgen_3__1099_14.min1.thm1
2017-02-06 12:45
685
topgen_3__1089_19.min1.thm1
2017-02-06 12:45
717
topgen_3__1088_13.min1.thm1
2017-02-06 12:45
225
topgen_3__1087_37.min1.thm1
2017-02-06 12:45
457
topgen_3__1086_26.min1.thm1
2017-02-06 12:45
528
topgen_3__1070_16.min1.thm1
2017-02-06 12:45
717
topgen_3__1068_44.min1.thm1
2017-02-06 12:45
869
topgen_3__1067_47.min1.thm1
2017-02-06 12:45
370
topgen_3__1066_34.min1.thm1
2017-02-06 12:45
767
topgen_3__1065_42.min1.thm1
2017-02-06 12:45
415
topgen_3__1064_44.min1.thm1
2017-02-06 12:45
1.3K
topgen_3__1056_19.min1.thm1
2017-02-06 12:45
498
topgen_3__1050_27.min1.thm1
2017-02-06 12:45
454
topgen_3__1046_18.min1.thm1
2017-02-06 12:45
943
topgen_3__1044_58.min1.thm1
2017-02-06 12:45
1.1K
topgen_3__1043_21.min1.thm1
2017-02-06 12:45
695
topgen_3__1037_16.min1.thm1
2017-02-06 12:45
1.6K
topgen_3__1036_42.min1.thm1
2017-02-06 12:45
685
topgen_3__1033_72.min1.thm1
2017-02-06 12:45
800
topgen_3__1019_12.min1.thm1
2017-02-06 12:45
949
topgen_3__1016_27.min1.thm1
2017-02-06 12:45
453
topgen_3__1014_58.min1.thm1
2017-02-06 12:45
1.1K
topgen_3__1010_16.min1.thm1
2017-02-06 12:45
1.6K
topgen_3__1009_15.min1.thm1
2017-02-06 12:45
705
topgen_3__1005_42.min1.thm1
2017-02-06 12:45
685
topgen_3__1002_70.min1.thm1
2017-02-06 12:45
800
topgen_3__987_27.min1.thm1
2017-02-06 12:45
453
topgen_3__985_58.min1.thm1
2017-02-06 12:45
1.1K
topgen_3__981_12.min1.thm1
2017-02-06 12:45
946
topgen_3__980_15.min1.thm1
2017-02-06 12:45
705
topgen_3__976_42.min1.thm1
2017-02-06 12:45
685
topgen_3__973_69.min1.thm1
2017-02-06 12:45
867
topgen_3__962_12.min1.thm1
2017-02-06 12:45
1.1K
topgen_3__959_27.min1.thm1
2017-02-06 12:45
453
topgen_3__957_58.min1.thm1
2017-02-06 12:45
1.1K
topgen_3__953_17.min1.thm1
2017-02-06 12:45
1.1K
topgen_3__950_42.min1.thm1
2017-02-06 12:45
685
topgen_3__947_56.min1.thm1
2017-02-06 12:45
1.0K
topgen_3__935_12.min1.thm1
2017-02-06 12:45
1.1K
topgen_3__934_27.min1.thm1
2017-02-06 12:45
454
topgen_3__932_58.min1.thm1
2017-02-06 12:45
1.0K
topgen_3__928_12.min1.thm1
2017-02-06 12:45
1.0K
topgen_3__927_13.min1.thm1
2017-02-06 12:45
1.0K
topgen_3__923_27.min1.thm1
2017-02-06 12:45
385
topgen_3__922_42.min1.thm1
2017-02-06 12:45
685
topgen_3__919_56.min1.thm1
2017-02-06 12:45
1.0K
topgen_3__910_40.min1.thm1
2017-02-06 12:45
479
topgen_3__908_19.min1.thm1.tptp
2017-02-06 16:46
632
topgen_3__908_19.min1.thm1
2017-02-06 12:45
677
topgen_3__903_45.min1.thm1.tptp
2017-02-06 16:46
526
topgen_3__903_45.min1.thm1
2017-02-06 12:45
580
topgen_3__895_20.min1.thm1
2017-02-06 12:45
1.3K
topgen_3__894_21.min1.thm1
2017-02-06 12:45
1.0K
topgen_3__893_18.min1.thm1
2017-02-06 12:45
389
topgen_3__888_20.min1.thm1
2017-02-06 12:45
1.7K
topgen_3__887_47.min1.thm1.tptp
2017-02-06 16:46
258
topgen_3__887_47.min1.thm1
2017-02-06 12:45
336
topgen_3__882_21.min1.thm1
2017-02-06 12:45
1.5K
topgen_3__881_27.min1.thm1
2017-02-06 12:45
1.9K
topgen_3__880_16.min1.thm1
2017-02-06 12:45
1.2K
topgen_3__879_21.min1.thm1
2017-02-06 12:45
1.5K
topgen_3__877_19.min1.thm1
2017-02-06 12:45
1.2K
topgen_3__876_20.min1.thm1
2017-02-06 12:45
1.2K
topgen_3__875_16.min1.thm1
2017-02-06 12:45
1.0K
topgen_3__874_15.min1.thm1
2017-02-06 12:45
1.1K
topgen_3__872_16.min1.thm1
2017-02-06 12:45
1.3K
topgen_3__871_15.min1.thm1
2017-02-06 12:45
1.2K
topgen_3__869_21.min1.thm1
2017-02-06 12:45
1.0K
topgen_3__868_17.min1.thm1
2017-02-06 12:45
1.3K
topgen_3__865_16.min1.thm1
2017-02-06 12:45
1.0K
topgen_3__864_16.min1.thm1
2017-02-06 12:45
889
topgen_3__861_16.min1.thm1
2017-02-06 12:45
1.2K
topgen_3__860_16.min1.thm1
2017-02-06 12:45
1.0K
topgen_3__859_16.min1.thm1
2017-02-06 12:45
1.3K
topgen_3__858_17.min1.thm1
2017-02-06 12:45
1.3K
topgen_3__856_16.min1.thm1
2017-02-06 12:45
543
topgen_3__855_50.min1.thm1
2017-02-06 12:45
965
topgen_3__854_16.min1.thm1.tptp
2017-02-06 16:46
388
topgen_3__854_16.min1.thm1
2017-02-06 12:45
450
topgen_3__853_22.min1.thm1
2017-02-06 12:45
926
topgen_3__851_23.min1.thm1
2017-02-06 12:45
655
topgen_3__847_23.min1.thm1
2017-02-06 12:45
655
topgen_3__837_46.min1.thm1
2017-02-06 12:45
451
topgen_3__835_18.min1.thm1
2017-02-06 12:45
1.1K
topgen_3__834_73.min1.thm1.tptp
2017-02-06 16:46
520
topgen_3__834_73.min1.thm1
2017-02-06 12:45
575
topgen_3__824_12.min1.thm1
2017-02-06 12:45
748
topgen_3__809_17.min1.thm1
2017-02-06 12:45
729
topgen_3__808_31.min1.thm1
2017-02-06 12:45
1.0K
topgen_3__807_29.min1.thm1
2017-02-06 12:45
935
topgen_3__789_27.min1.thm1
2017-02-06 12:45
1.4K
topgen_3__785_15.min1.thm1
2017-02-06 12:45
941
topgen_3__783_8.min1.thm1
2017-02-06 12:45
234
topgen_3__781_19.min1.thm1
2017-02-06 12:45
1.2K
topgen_3__780_21.min1.thm1
2017-02-06 12:45
1.4K
topgen_3__779_28.min1.thm1
2017-02-06 12:45
1.8K
topgen_3__773_21.min1.thm1
2017-02-06 12:45
1.4K
topgen_3__771_22.min1.thm1
2017-02-06 12:45
1.4K
topgen_3__766_19.min1.thm1
2017-02-06 12:45
743
topgen_3__765_21.min1.thm1
2017-02-06 12:45
1.4K
topgen_3__759_23.min1.thm1
2017-02-06 12:45
665
topgen_3__758_20.min1.thm1
2017-02-06 12:45
879
topgen_3__757_21.min1.thm1.tptp
2017-02-06 16:46
433
topgen_3__757_21.min1.thm1
2017-02-06 12:45
508
topgen_3__756_20.min1.thm1
2017-02-06 12:45
567
topgen_3__733_20.min1.thm1
2017-02-06 12:45
853
topgen_3__732_12.min1.thm1
2017-02-06 12:45
2.0K
topgen_3__731_39.min1.thm1
2017-02-06 12:45
1.1K
topgen_3__728_41.min1.thm1
2017-02-06 12:45
1.4K
topgen_3__727_14.min1.thm1
2017-02-06 12:45
1.3K
topgen_3__726_50.min1.thm1
2017-02-06 12:45
686
topgen_3__722_16.min1.thm1
2017-02-06 12:45
1.8K
topgen_3__721_10.min1.thm1
2017-02-06 12:45
223
topgen_3__718_31.min1.thm1
2017-02-06 12:45
925
topgen_3__717_27.min1.thm1
2017-02-06 12:45
837
topgen_3__712_37.min1.thm1
2017-02-06 12:45
2.4K
topgen_3__711_25.min1.thm1
2017-02-06 12:45
1.5K
topgen_3__710_42.min1.thm1
2017-02-06 12:45
504
topgen_3__699_20.min1.thm1
2017-02-06 12:45
608
topgen_3__690_36.min1.thm1
2017-02-06 12:45
1.3K
topgen_3__689_15.min1.thm1
2017-02-06 12:45
1.4K
topgen_3__686_15.min1.thm1
2017-02-06 12:45
1.4K
topgen_3__678_21.min1.thm1
2017-02-06 12:45
905
topgen_3__656_14.min1.thm1
2017-02-06 12:45
741
topgen_3__653_34.min1.thm1
2017-02-06 12:45
861
topgen_3__652_22.min1.thm1
2017-02-06 12:45
875
topgen_3__651_17.min1.thm1
2017-02-06 12:45
663
topgen_3__650_41.min1.thm1.tptp
2017-02-06 16:46
363
topgen_3__650_41.min1.thm1
2017-02-06 12:45
449
topgen_3__649_49.min1.thm1
2017-02-06 12:45
404
topgen_3__646_18.min1.thm1
2017-02-06 12:45
883
topgen_3__645_24.min1.thm1
2017-02-06 12:45
903
topgen_3__644_19.min1.thm1
2017-02-06 12:45
675
topgen_3__643_43.min1.thm1.tptp
2017-02-06 16:46
373
topgen_3__643_43.min1.thm1
2017-02-06 12:45
459
topgen_3__642_51.min1.thm1
2017-02-06 12:45
408
topgen_3__622_27.min1.thm1
2017-02-06 12:45
1.4K
topgen_3__618_17.min1.thm1
2017-02-06 12:45
1.0K
topgen_3__616_12.min1.thm1.tptp
2017-02-06 16:46
207
topgen_3__616_12.min1.thm1
2017-02-06 12:45
290
topgen_3__614_19.min1.thm1
2017-02-06 12:45
1.2K
topgen_3__613_20.min1.thm1
2017-02-06 12:45
1.4K
topgen_3__612_27.min1.thm1
2017-02-06 12:45
1.8K
topgen_3__606_20.min1.thm1
2017-02-06 12:45
1.4K
topgen_3__604_21.min1.thm1
2017-02-06 12:45
1.4K
topgen_3__599_19.min1.thm1
2017-02-06 12:45
790
topgen_3__598_20.min1.thm1
2017-02-06 12:45
1.4K
topgen_3__592_26.min1.thm1
2017-02-06 12:45
774
topgen_3__591_20.min1.thm1.tptp
2017-02-06 16:46
433
topgen_3__591_20.min1.thm1
2017-02-06 12:45
508
topgen_3__590_19.min1.thm1
2017-02-06 12:45
609
topgen_3__567_40.min1.thm1
2017-02-06 12:45
1.4K
topgen_3__563_12.min1.thm1
2017-02-06 12:45
2.0K
topgen_3__562_39.min1.thm1
2017-02-06 12:45
1.1K
topgen_3__561_48.min1.thm1
2017-02-06 12:45
692
topgen_3__557_15.min1.thm1
2017-02-06 12:45
1.8K
topgen_3__555_10.min1.thm1.tptp
2017-02-06 16:46
215
topgen_3__555_10.min1.thm1
2017-02-06 12:45
294
topgen_3__549_39.min1.thm1
2017-02-06 12:45
925
topgen_3__548_35.min1.thm1
2017-02-06 12:45
837
topgen_3__543_37.min1.thm1
2017-02-06 12:45
2.4K
topgen_3__542_29.min1.thm1
2017-02-06 12:45
1.4K
topgen_3__541_42.min1.thm1
2017-02-06 12:45
504
topgen_3__530_20.min1.thm1
2017-02-06 12:45
833
topgen_3__521_36.min1.thm1
2017-02-06 12:45
1.3K
topgen_3__520_15.min1.thm1
2017-02-06 12:45
1.4K
topgen_3__517_15.min1.thm1
2017-02-06 12:45
1.4K
topgen_3__509_21.min1.thm1
2017-02-06 12:45
905
topgen_3__489_14.min1.thm1
2017-02-06 12:45
881
topgen_3__481_49.min1.thm1
2017-02-06 12:45
473
topgen_3__480_45.min1.thm1
2017-02-06 12:45
948
topgen_3__479_47.min1.thm1
2017-02-06 12:45
948
topgen_3__468_17.min1.thm1
2017-02-06 12:45
741
topgen_3__467_19.min1.thm1
2017-02-06 12:45
657
topgen_3__466_22.min1.thm1
2017-02-06 12:45
1.1K
topgen_3__465_14.min1.thm1
2017-02-06 12:45
675
topgen_3__464_37.min1.thm1
2017-02-06 12:45
703
topgen_3__463_35.min1.thm1
2017-02-06 12:45
616
topgen_3__459_44.min1.thm1
2017-02-06 12:45
586
topgen_3__457_40.min1.thm1
2017-02-06 12:45
872
topgen_3__455_27.min1.thm1
2017-02-06 12:45
430
topgen_3__454_40.min1.thm1
2017-02-06 12:45
872
topgen_3__452_27.min1.thm1
2017-02-06 12:45
430
topgen_3__441_49.min1.thm1
2017-02-06 12:45
464
topgen_3__430_17.min1.thm1
2017-02-06 12:45
741
topgen_3__429_19.min1.thm1
2017-02-06 12:45
633
topgen_3__428_14.min1.thm1
2017-02-06 12:45
675
topgen_3__427_37.min1.thm1
2017-02-06 12:45
703
topgen_3__426_35.min1.thm1
2017-02-06 12:45
616
topgen_3__422_48.min1.thm1
2017-02-06 12:45
586
topgen_3__421_40.min1.thm1
2017-02-06 12:45
871
topgen_3__419_27.min1.thm1
2017-02-06 12:45
430
topgen_3__418_40.min1.thm1
2017-02-06 12:45
871
topgen_3__416_27.min1.thm1
2017-02-06 12:45
430
topgen_3__406_51.min1.thm1.tptp
2017-02-06 16:46
433
topgen_3__406_51.min1.thm1
2017-02-06 12:45
494
topgen_3__404_29.min1.thm1
2017-02-06 12:45
850
topgen_3__401_15.min1.thm1
2017-02-06 12:45
709
topgen_3__399_12.min1.thm1.tptp
2017-02-06 16:46
206
topgen_3__399_12.min1.thm1
2017-02-06 12:45
289
topgen_3__397_16.min1.thm1
2017-02-06 12:45
780
topgen_3__396_26.min1.thm1
2017-02-06 12:45
591
topgen_3__394_16.min1.thm1
2017-02-06 12:45
300
topgen_3__393_49.min1.thm1
2017-02-06 12:45
540
topgen_3__392_20.min1.thm1
2017-02-06 12:45
1.1K
topgen_3__382_19.min1.thm1
2017-02-06 12:45
1.2K
topgen_3__381_18.min1.thm1
2017-02-06 12:45
840
topgen_3__380_9.min1.thm1
2017-02-06 12:45
532
topgen_3__376_9.min1.thm1
2017-02-06 12:45
532
topgen_3__368_41.min1.thm1
2017-02-06 12:45
453
topgen_3__366_16.min1.thm1
2017-02-06 12:45
559
topgen_3__365_47.min1.thm1.tptp
2017-02-06 16:46
398
topgen_3__365_47.min1.thm1
2017-02-06 12:45
461
topgen_3__347_17.min1.thm1
2017-02-06 12:45
1.0K
topgen_3__346_33.min1.thm1
2017-02-06 12:45
1.0K
topgen_3__345_31.min1.thm1
2017-02-06 12:45
597
topgen_3__343_21.min1.thm1.tptp
2017-02-06 16:46
215
topgen_3__343_21.min1.thm1
2017-02-06 12:45
303
topgen_3__341_19.min1.thm1
2017-02-06 12:45
1.3K
topgen_3__339_25.min1.thm1
2017-02-06 12:45
1.2K
topgen_3__338_14.min1.thm1
2017-02-06 12:45
1.1K
topgen_3__337_14.min1.thm1
2017-02-06 12:45
1.1K
topgen_3__331_43.min1.thm1
2017-02-06 12:45
1.3K
topgen_3__330_29.min1.thm1
2017-02-06 12:45
920
topgen_3__329_41.min1.thm1
2017-02-06 12:45
915
topgen_3__328_31.min1.thm1
2017-02-06 12:45
927
topgen_3__324_50.min1.thm1
2017-02-06 12:45
1.0K
topgen_3__323_18.min1.thm1
2017-02-06 12:45
1.1K
topgen_3__297_14.min1.thm1.tptp
2017-02-06 16:46
221
topgen_3__297_14.min1.thm1
2017-02-06 12:45
307
topgen_3__295_16.min1.thm1.tptp
2017-02-06 16:46
637
topgen_3__295_16.min1.thm1
2017-02-06 12:45
723
topgen_3__293_19.min1.thm1
2017-02-06 12:45
617
topgen_3__291_21.min1.thm1
2017-02-06 12:45
1.0K
topgen_3__290_15.min1.thm1
2017-02-06 12:45
749
topgen_3__287_38.min1.thm1
2017-02-06 12:45
1.5K
topgen_3__286_15.min1.thm1
2017-02-06 12:45
803
topgen_3__276_38.min1.thm1
2017-02-06 12:45
1.1K
topgen_3__273_19.min1.thm1
2017-02-06 12:45
679
topgen_3__271_38.min1.thm1
2017-02-06 12:45
636
topgen_3__270_16.min1.thm1
2017-02-06 12:45
935
topgen_3__269_21.min1.thm1.tptp
2017-02-06 16:46
343
topgen_3__269_21.min1.thm1
2017-02-06 12:45
421
topgen_3__266_55.min1.thm1
2017-02-06 12:45
960
topgen_3__261_50.min1.thm1
2017-02-06 12:45
642
topgen_3__256_23.min1.thm1
2017-02-06 12:45
831
topgen_3__254_54.min1.thm1
2017-02-06 12:45
708
topgen_3__242_18.min1.thm1
2017-02-06 12:45
239
topgen_3__239_19.min1.thm1
2017-02-06 12:45
624
topgen_3__238_23.min1.thm1
2017-02-06 12:45
531
topgen_3__237_18.min1.thm1
2017-02-06 12:45
565
topgen_3__236_18.min1.thm1
2017-02-06 12:45
1.1K
topgen_3__234_36.min1.thm1
2017-02-06 12:45
483
topgen_3__233_13.min1.thm1
2017-02-06 12:45
1.0K
topgen_3__232_21.min1.thm1
2017-02-06 12:45
807
topgen_3__229_14.min1.thm1
2017-02-06 12:45
1.1K
topgen_3__228_16.min1.thm1
2017-02-06 12:45
652
topgen_3__225_46.min1.thm1
2017-02-06 12:45
1.0K
topgen_3__224_15.min1.thm1.tptp
2017-02-06 16:46
352
topgen_3__224_15.min1.thm1
2017-02-06 12:45
414
topgen_3__223_16.min1.thm1
2017-02-06 12:45
650
topgen_3__220_46.min1.thm1
2017-02-06 12:45
1.0K
topgen_3__219_15.min1.thm1
2017-02-06 12:45
507
topgen_3__203_16.min1.thm1.tptp
2017-02-06 16:46
447
topgen_3__203_16.min1.thm1
2017-02-06 12:45
513
topgen_3__202_54.min1.thm1
2017-02-06 12:45
794
topgen_3__201_33.min1.thm1
2017-02-06 12:45
1.1K
topgen_3__183_17.min1.thm1
2017-02-06 12:45
1.2K
topgen_3__182_28.min1.thm1
2017-02-06 12:45
570
topgen_3__181_44.min1.thm1.tptp
2017-02-06 16:46
297
topgen_3__181_44.min1.thm1
2017-02-06 12:45
383
topgen_3__180_21.min1.thm1.tptp
2017-02-06 16:46
215
topgen_3__180_21.min1.thm1
2017-02-06 12:45
303
topgen_3__176_18.min1.thm1
2017-02-06 12:45
416
topgen_3__175_63.min1.thm1
2017-02-06 12:45
1.7K
topgen_3__169_21.min1.thm1
2017-02-06 12:45
770
topgen_3__168_21.min1.thm1
2017-02-06 12:45
1.5K
topgen_3__167_23.min1.thm1
2017-02-06 12:45
627
topgen_3__166_28.min1.thm1
2017-02-06 12:45
818
topgen_3__165_16.min1.thm1
2017-02-06 12:45
712
topgen_3__160_20.min1.thm1
2017-02-06 12:45
515
topgen_3__159_16.min1.thm1
2017-02-06 12:45
714
topgen_3__158_17.min1.thm1
2017-02-06 12:45
777
topgen_3__155_15.min1.thm1
2017-02-06 12:45
787
topgen_3__154_17.min1.thm1
2017-02-06 12:45
775
topgen_3__151_20.min1.thm1
2017-02-06 12:45
694
topgen_3__147_33.min1.thm1
2017-02-06 12:45
928
topgen_3__144_20.min1.thm1
2017-02-06 12:45
833
topgen_3__143_65.min1.thm1
2017-02-06 12:45
1.7K
topgen_3__128_47.min1.thm1
2017-02-06 12:45
701
topgen_3__126_18.min1.thm1
2017-02-06 12:45
895
topgen_3__125_63.min1.thm1
2017-02-06 12:45
1.3K
topgen_3__117_43.min1.thm1
2017-02-06 12:45
827
topgen_3__116_48.min1.thm1
2017-02-06 12:45
1.3K
topgen_3__112_50.min1.thm1
2017-02-06 12:45
901
topgen_3__111_25.min1.thm1
2017-02-06 12:45
1.0K
topgen_3__93_17.min1.thm1
2017-02-06 12:45
536
topgen_3__91_19.min1.thm1
2017-02-06 12:45
711
topgen_3__90_53.min1.thm1.tptp
2017-02-06 16:46
426
topgen_3__90_53.min1.thm1
2017-02-06 12:45
491
topgen_3__87_21.min1.thm1
2017-02-06 12:45
529
topgen_3__81_27.min1.thm1
2017-02-06 12:45
512
topgen_3__79_34.min1.thm1
2017-02-06 12:45
481
topgen_3__78_13.min1.thm1
2017-02-06 12:45
729
topgen_3__73_18.min1.thm1
2017-02-06 12:45
540
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80