Index of /~mptp/1147/MPTP2/ilp0/jordan13
Name
Last modified
Size
Description
Parent Directory
-
jordan13__88_60.min1.thm1
2017-02-06 12:46
949
jordan13__89_55.min1.thm1
2017-02-06 12:46
1.7K
jordan13__90_22.min1.thm1
2017-02-06 12:46
1.6K
jordan13__94_18.min1.thm1
2017-02-06 12:46
776
jordan13__98_22.min1.thm1
2017-02-06 12:46
6.6K
jordan13__104_22.min1.thm1
2017-02-06 12:46
7.6K
jordan13__109_56.min1.thm1
2017-02-06 12:46
304
jordan13__112_19.min1.thm1
2017-02-06 12:46
262
jordan13__117_23.min1.thm1
2017-02-06 12:46
704
jordan13__124_34.min1.thm1
2017-02-06 12:46
1.0K
jordan13__133_28.min1.thm1
2017-02-06 12:46
1.1K
jordan13__136_28.min1.thm1
2017-02-06 12:46
1.1K
jordan13__138_38.min1.thm1
2017-02-06 12:46
1.8K
jordan13__149_27.min1.thm1
2017-02-06 12:46
1.0K
jordan13__155_34.min1.thm1
2017-02-06 12:46
1.5K
jordan13__164_45.min1.thm1
2017-02-06 12:46
1.1K
jordan13__165_44.min1.thm1
2017-02-06 12:46
1.0K
jordan13__169_58.min1.thm1
2017-02-06 12:46
1.1K
jordan13__194_49.min1.thm1
2017-02-06 12:46
1.2K
jordan13__196_39.min1.thm1
2017-02-06 12:46
7.0K
jordan13__237_49.min1.thm1
2017-02-06 12:46
1.2K
jordan13__239_39.min1.thm1
2017-02-06 12:46
7.6K
jordan13__249_45.min1.thm1
2017-02-06 12:46
1.1K
jordan13__250_44.min1.thm1
2017-02-06 12:46
1.0K
jordan13__254_58.min1.thm1
2017-02-06 12:46
1.1K
jordan13__279_49.min1.thm1
2017-02-06 12:46
1.2K
jordan13__281_39.min1.thm1
2017-02-06 12:46
7.0K
jordan13__321_49.min1.thm1
2017-02-06 12:46
1.2K
jordan13__323_39.min1.thm1
2017-02-06 12:46
7.6K
jordan13__332_34.min1.thm1
2017-02-06 12:46
1.5K
jordan13__371_49.min1.thm1
2017-02-06 12:46
1.2K
jordan13__373_39.min1.thm1
2017-02-06 12:46
7.6K
jordan13__413_49.min1.thm1
2017-02-06 12:46
1.2K
jordan13__415_39.min1.thm1
2017-02-06 12:46
7.6K
jordan13__425_45.min1.thm1
2017-02-06 12:46
1.1K
jordan13__426_44.min1.thm1
2017-02-06 12:46
1.0K
jordan13__429_61.min1.thm1
2017-02-06 12:46
1.1K
jordan13__455_49.min1.thm1
2017-02-06 12:46
1.2K
jordan13__457_39.min1.thm1
2017-02-06 12:46
7.0K
jordan13__467_45.min1.thm1
2017-02-06 12:46
1.1K
jordan13__468_44.min1.thm1
2017-02-06 12:46
1.0K
jordan13__471_58.min1.thm1
2017-02-06 12:46
1.1K
jordan13__496_49.min1.thm1
2017-02-06 12:46
1.2K
jordan13__498_39.min1.thm1
2017-02-06 12:46
7.0K
jordan13__506_34.min1.thm1
2017-02-06 12:46
1.5K
jordan13__545_49.min1.thm1
2017-02-06 12:46
1.2K
jordan13__557_45.min1.thm1
2017-02-06 12:46
1.1K
jordan13__558_44.min1.thm1
2017-02-06 12:46
1.0K
jordan13__561_58.min1.thm1
2017-02-06 12:46
1.1K
jordan13__586_49.min1.thm1
2017-02-06 12:46
1.2K
jordan13__628_49.min1.thm1
2017-02-06 12:46
1.2K
jordan13__640_45.min1.thm1
2017-02-06 12:46
1.1K
jordan13__641_44.min1.thm1
2017-02-06 12:46
1.0K
jordan13__644_61.min1.thm1
2017-02-06 12:46
1.1K
jordan13__670_49.min1.thm1
2017-02-06 12:46
1.2K
jordan13__688_26.min1.thm1
2017-02-06 12:46
5.3K
jordan13__695_22.min1.thm1
2017-02-06 12:46
5.2K
jordan13__704_41.min1.thm1
2017-02-06 12:46
314
jordan13__704_41.min1.thm1.tptp
2017-02-06 16:47
240
jordan13__709_18.min1.thm1
2017-02-06 12:46
585
jordan13__722_60.min1.thm1
2017-02-06 12:46
364
jordan13__723_19.min1.thm1
2017-02-06 12:46
266
jordan13__728_23.min1.thm1
2017-02-06 12:46
716
jordan13__752_27.min1.thm1
2017-02-06 12:46
5.2K
jordan13__757_13.min1.thm1
2017-02-06 12:46
568
jordan13__763_52.min1.thm1
2017-02-06 12:46
628
jordan13__764_44.min1.thm1
2017-02-06 12:46
648
jordan13__765_21.min1.thm1
2017-02-06 12:46
500
jordan13__775_18.min1.thm1
2017-02-06 12:46
585
jordan13__788_19.min1.thm1
2017-02-06 12:46
1.2K
jordan13__825_21.min1.thm1
2017-02-06 12:46
533
jordan13__825_21.min1.thm1.tptp
2017-02-06 16:47
456
jordan13__826_27.min1.thm1
2017-02-06 12:46
1.5K
jordan13__827_18.min1.thm1
2017-02-06 12:46
585
jordan13__839_23.min1.thm1
2017-02-06 12:46
948
jordan13__850_23.min1.thm1
2017-02-06 12:46
948
jordan13__860_19.min1.thm1
2017-02-06 12:46
1.0K
jordan13__861_25.min1.thm1
2017-02-06 12:46
2.0K
jordan13__866_21.min1.thm1
2017-02-06 12:46
1.9K
jordan13__867_21.min1.thm1
2017-02-06 12:46
2.1K
jordan13__868_59.min1.thm1
2017-02-06 12:46
1.7K
jordan13__888_36.min1.thm1
2017-02-06 12:46
713
jordan13__908_41.min1.thm1
2017-02-06 12:46
713
jordan13__918_21.min1.thm1
2017-02-06 12:46
1.2K
jordan13__920_20.min1.thm1
2017-02-06 12:46
2.1K
jordan13__923_49.min1.thm1
2017-02-06 12:46
2.0K
jordan13__926_23.min1.thm1
2017-02-06 12:46
2.0K
jordan13__935_29.min1.thm1
2017-02-06 12:46
1.1K
jordan13__946_21.min1.thm1
2017-02-06 12:46
1.5K
jordan13__951_21.min1.thm1
2017-02-06 12:46
1.5K
jordan13__989_19.min1.thm1
2017-02-06 12:46
1.7K
jordan13__1015_45.min1.thm1
2017-02-06 12:46
2.0K
jordan13__1021_56.min1.thm1
2017-02-06 12:46
2.1K
jordan13__1060_45.min1.thm1
2017-02-06 12:46
2.0K
jordan13__1066_56.min1.thm1
2017-02-06 12:46
2.3K
jordan13__1164_45.min1.thm1
2017-02-06 12:46
2.0K
jordan13__1170_56.min1.thm1
2017-02-06 12:46
2.1K
jordan13__1187_45.min1.thm1
2017-02-06 12:46
2.0K
jordan13__1193_56.min1.thm1
2017-02-06 12:46
2.3K
jordan13__1246_45.min1.thm1
2017-02-06 12:46
2.0K
jordan13__1252_56.min1.thm1
2017-02-06 12:46
2.3K
jordan13__1291_45.min1.thm1
2017-02-06 12:46
2.0K
jordan13__1297_56.min1.thm1
2017-02-06 12:46
2.1K
jordan13__1310_19.min1.thm1
2017-02-06 12:46
498
jordan13__1313_29.min1.thm1
2017-02-06 12:46
1.3K
jordan13__1314_29.min1.thm1
2017-02-06 12:46
1.3K
jordan13__1317_23.min1.thm1
2017-02-06 12:46
1.7K
jordan13__1338_33.min1.thm1
2017-02-06 12:46
1.0K
jordan13__1352_35.min1.thm1
2017-02-06 12:46
876
jordan13__1386_28.min1.thm1
2017-02-06 12:46
1.1K
jordan13__1454_28.min1.thm1
2017-02-06 12:46
1.1K
jordan13__1471_34.min1.thm1
2017-02-06 12:46
1.0K
jordan13__1485_34.min1.thm1
2017-02-06 12:46
1.0K
jordan13__1523_28.min1.thm1
2017-02-06 12:46
1.1K
jordan13__1539_43.min1.thm1
2017-02-06 12:46
1.4K
jordan13__1541_23.min1.thm1
2017-02-06 12:46
1.7K
jordan13__1549_51.min1.thm1
2017-02-06 12:46
1.4K
jordan13__1558_51.min1.thm1
2017-02-06 12:46
1.4K
jordan13__1566_51.min1.thm1
2017-02-06 12:46
1.4K
jordan13__1569_23.min1.thm1
2017-02-06 12:46
1.0K
jordan13__1573_41.min1.thm1
2017-02-06 12:46
1.4K
jordan13__1579_26.min1.thm1
2017-02-06 12:46
1.3K
jordan13__1621_24.min1.thm1
2017-02-06 12:46
1.1K
jordan13__1624_20.min1.thm1
2017-02-06 12:46
1.1K
jordan13__1658_21.min1.thm1
2017-02-06 12:46
533
jordan13__1658_21.min1.thm1.tptp
2017-02-06 16:47
456
jordan13__1660_27.min1.thm1
2017-02-06 12:46
1.1K
jordan13__1664_18.min1.thm1
2017-02-06 12:46
1.2K
jordan13__1665_29.min1.thm1
2017-02-06 12:46
1.2K
jordan13__1665_29.min1.thm1.tptp
2017-02-06 16:47
1.1K
jordan13__1666_18.min1.thm1
2017-02-06 12:46
1.2K
jordan13__1668_18.min1.thm1
2017-02-06 12:46
1.2K
jordan13__1669_18.min1.thm1
2017-02-06 12:46
1.2K
jordan13__1681_50.min1.thm1
2017-02-06 12:46
1.5K
jordan13__1681_50.min1.thm1.tptp
2017-02-06 16:47
1.4K
jordan13__1705_16.min1.thm1
2017-02-06 12:46
1.3K
jordan13__1727_21.min1.thm1
2017-02-06 12:46
533
jordan13__1727_21.min1.thm1.tptp
2017-02-06 16:47
456
jordan13__1729_27.min1.thm1
2017-02-06 12:46
1.1K
jordan13__1733_18.min1.thm1
2017-02-06 12:46
1.2K
jordan13__1734_29.min1.thm1
2017-02-06 12:46
1.2K
jordan13__1734_29.min1.thm1.tptp
2017-02-06 16:47
1.1K
jordan13__1735_18.min1.thm1
2017-02-06 12:46
1.2K
jordan13__1737_18.min1.thm1
2017-02-06 12:46
1.2K
jordan13__1738_18.min1.thm1
2017-02-06 12:46
1.2K
jordan13__1750_53.min1.thm1
2017-02-06 12:46
1.5K
jordan13__1750_53.min1.thm1.tptp
2017-02-06 16:47
1.4K
jordan13__1784_21.min1.thm1
2017-02-06 12:46
538
jordan13__1784_21.min1.thm1.tptp
2017-02-06 16:47
461
jordan13__1789_29.min1.thm1
2017-02-06 12:46
1.2K
jordan13__1789_29.min1.thm1.tptp
2017-02-06 16:47
1.1K
jordan13__1792_27.min1.thm1
2017-02-06 12:46
1.1K
jordan13__1804_49.min1.thm1
2017-02-06 12:46
1.5K
jordan13__1804_49.min1.thm1.tptp
2017-02-06 16:47
1.4K
jordan13__1806_18.min1.thm1
2017-02-06 12:46
1.2K
jordan13__1807_18.min1.thm1
2017-02-06 12:46
1.2K
jordan13__1808_18.min1.thm1
2017-02-06 12:46
1.2K
jordan13__1813_18.min1.thm1
2017-02-06 12:46
1.2K
jordan13__1833_29.min1.thm1
2017-02-06 12:46
1.2K
jordan13__1833_29.min1.thm1.tptp
2017-02-06 16:47
1.1K
jordan13__1834_21.min1.thm1
2017-02-06 12:46
538
jordan13__1834_21.min1.thm1.tptp
2017-02-06 16:47
461
jordan13__1837_27.min1.thm1
2017-02-06 12:46
1.1K
jordan13__1848_29.min1.thm1
2017-02-06 12:46
1.2K
jordan13__1848_29.min1.thm1.tptp
2017-02-06 16:47
1.1K
jordan13__1849_21.min1.thm1
2017-02-06 12:46
538
jordan13__1849_21.min1.thm1.tptp
2017-02-06 16:47
461
jordan13__1850_18.min1.thm1
2017-02-06 12:46
842
jordan13__1854_64.min1.thm1
2017-02-06 12:46
1.7K
jordan13__1855_16.min1.thm1
2017-02-06 12:46
582
jordan13__1869_29.min1.thm1
2017-02-06 12:46
1.1K
jordan13__1878_19.min1.thm1
2017-02-06 12:46
1.8K
jordan13__1883_26.min1.thm1
2017-02-06 12:46
1.2K
jordan13__1891_31.min1.thm1
2017-02-06 12:46
2.2K
jordan13__1909_31.min1.thm1
2017-02-06 12:46
2.2K
jordan13__1921_24.min1.thm1
2017-02-06 12:46
1.4K
jordan13__1921_24.min1.thm1.tptp
2017-02-06 16:47
1.3K
jordan13__1927_26.min1.thm1
2017-02-06 12:46
1.2K
jordan13__1944_31.min1.thm1
2017-02-06 12:46
2.9K
jordan13__1953_31.min1.thm1
2017-02-06 12:46
2.2K
jordan13__1962_31.min1.thm1
2017-02-06 12:46
2.2K
jordan13__1965_24.min1.thm1
2017-02-06 12:46
1.4K
jordan13__1965_24.min1.thm1.tptp
2017-02-06 16:47
1.3K
jordan13__1970_26.min1.thm1
2017-02-06 12:46
1.2K
jordan13__1987_31.min1.thm1
2017-02-06 12:46
2.2K
jordan13__2005_31.min1.thm1
2017-02-06 12:46
2.2K
jordan13__2008_24.min1.thm1
2017-02-06 12:46
1.4K
jordan13__2008_24.min1.thm1.tptp
2017-02-06 16:47
1.3K
jordan13__2011_20.min1.thm1
2017-02-06 12:46
1.4K
jordan13__2011_20.min1.thm1.tptp
2017-02-06 16:47
1.3K
jordan13__2020_18.min1.thm1
2017-02-06 12:46
1.4K
jordan13__2024_17.min1.thm1
2017-02-06 12:46
1.2K
jordan13__2026_23.min1.thm1
2017-02-06 12:46
542
jordan13__2026_23.min1.thm1.tptp
2017-02-06 16:47
465
jordan13__2028_23.min1.thm1
2017-02-06 12:46
1.4K
jordan13__2032_29.min1.thm1
2017-02-06 12:46
1.5K
jordan13__2043_22.min1.thm1
2017-02-06 12:46
647
jordan13__2047_22.min1.thm1
2017-02-06 12:46
1.0K
jordan13__2048_21.min1.thm1
2017-02-06 12:46
2.5K
jordan13__2055_29.min1.thm1
2017-02-06 12:46
1.2K
jordan13__2055_29.min1.thm1.tptp
2017-02-06 16:47
1.1K
jordan13__2056_15.min1.thm1
2017-02-06 12:46
221
jordan13__2059_26.min1.thm1
2017-02-06 12:46
1.2K
jordan13__2060_33.min1.thm1
2017-02-06 12:46
1.8K
jordan13__2066_18.min1.thm1
2017-02-06 12:46
1.4K
jordan13__2067_23.min1.thm1
2017-02-06 12:46
542
jordan13__2067_23.min1.thm1.tptp
2017-02-06 16:47
465
jordan13__2068_17.min1.thm1
2017-02-06 12:46
846
jordan13__2080_25.min1.thm1
2017-02-06 12:46
1.3K
jordan13__2084_25.min1.thm1
2017-02-06 12:46
1.3K
jordan13__2091_19.min1.thm1
2017-02-06 12:46
1.8K
jordan13__2096_26.min1.thm1
2017-02-06 12:46
1.2K
jordan13__2146_24.min1.thm1
2017-02-06 12:46
462
jordan13__2152_26.min1.thm1
2017-02-06 12:46
1.2K
jordan13__2187_39.min1.thm1
2017-02-06 12:46
1.7K
jordan13__2201_39.min1.thm1
2017-02-06 12:46
1.7K
jordan13__2210_24.min1.thm1
2017-02-06 12:46
462
jordan13__2215_26.min1.thm1
2017-02-06 12:46
1.2K
jordan13__2265_24.min1.thm1
2017-02-06 12:46
462
jordan13__2268_20.min1.thm1
2017-02-06 12:46
452
jordan13__2291_25.min1.thm1
2017-02-06 12:46
550
jordan13__2291_25.min1.thm1.tptp
2017-02-06 16:47
473
jordan13__2292_31.min1.thm1
2017-02-06 12:46
1.5K
jordan13__2314_23.min1.thm1
2017-02-06 12:46
370
jordan13__2324_28.min1.thm1
2017-02-06 12:46
521
jordan13__2324_28.min1.thm1.tptp
2017-02-06 16:47
440
jordan13__2326_17.min1.thm1
2017-02-06 12:46
550
jordan13__2326_17.min1.thm1.tptp
2017-02-06 16:47
473
jordan13__2330_29.min1.thm1
2017-02-06 12:46
1.2K
jordan13__2330_29.min1.thm1.tptp
2017-02-06 16:47
1.1K
jordan13__2338_25.min1.thm1
2017-02-06 12:46
1.7K
jordan13__2342_37.min1.thm1
2017-02-06 12:46
465
jordan13__2346_35.min1.thm1
2017-02-06 12:46
1.6K
jordan13__2346_35.min1.thm1.tptp
2017-02-06 16:47
1.6K
jordan13__2348_64.min1.thm1
2017-02-06 12:46
2.9K
jordan13__2349_27.min1.thm1
2017-02-06 12:46
1.2K
jordan13__2352_18.min1.thm1
2017-02-06 12:46
2.4K
jordan13__2353_21.min1.thm1
2017-02-06 12:46
2.2K
jordan13__2355_21.min1.thm1
2017-02-06 12:46
2.2K
jordan13__2357_15.min1.thm1
2017-02-06 12:46
1.2K
jordan13__2384_22.min1.thm1
2017-02-06 12:46
779
jordan13__2389_45.min1.thm1
2017-02-06 12:46
855
jordan13__2400_17.min1.thm1
2017-02-06 12:46
627
jordan13__2400_17.min1.thm1.tptp
2017-02-06 16:47
573
jordan13__2409_29.min1.thm1
2017-02-06 12:46
1.8K
jordan13__2418_24.min1.thm1
2017-02-06 12:46
464
jordan13__2420_23.min1.thm1
2017-02-06 12:46
528
jordan13__2420_23.min1.thm1.tptp
2017-02-06 16:47
474
jordan13__2425_21.min1.thm1
2017-02-06 12:46
570
jordan13__2442_18.min1.thm1
2017-02-06 12:46
1.2K
jordan13__2444_18.min1.thm1
2017-02-06 12:46
1.2K
jordan13__2446_18.min1.thm1
2017-02-06 12:46
1.2K
jordan13__2447_18.min1.thm1
2017-02-06 12:46
1.2K
jordan13__2448_18.min1.thm1
2017-02-06 12:46
1.0K
jordan13__2476_16.min1.thm1
2017-02-06 12:46
789
jordan13__2477_22.min1.thm1
2017-02-06 12:46
1.2K
jordan13__2479_21.min1.thm1
2017-02-06 12:46
2.9K
jordan13__2484_21.min1.thm1
2017-02-06 12:46
902
jordan13__2490_27.min1.thm1
2017-02-06 12:46
1.4K
jordan13__2500_19.min1.thm1
2017-02-06 12:46
877
jordan13__2504_29.min1.thm1
2017-02-06 12:46
1.4K
jordan13__2505_21.min1.thm1
2017-02-06 12:46
1.8K
jordan13__2507_21.min1.thm1
2017-02-06 12:46
524
jordan13__2507_21.min1.thm1.tptp
2017-02-06 16:47
447
jordan13__2524_18.min1.thm1
2017-02-06 12:46
858
jordan13__2528_17.min1.thm1
2017-02-06 12:46
1.5K
jordan13__2529_23.min1.thm1
2017-02-06 12:46
1.9K
jordan13__2533_19.min1.thm1
2017-02-06 12:46
1.9K
jordan13__2535_17.min1.thm1
2017-02-06 12:46
2.1K
jordan13__2538_26.min1.thm1
2017-02-06 12:46
2.8K
jordan13__2539_20.min1.thm1
2017-02-06 12:46
1.9K
jordan13__2540_23.min1.thm1
2017-02-06 12:46
2.2K
jordan13__2550_17.min1.thm1
2017-02-06 12:46
1.5K
jordan13__2551_23.min1.thm1
2017-02-06 12:46
1.9K
jordan13__2555_19.min1.thm1
2017-02-06 12:46
1.9K
jordan13__2557_17.min1.thm1
2017-02-06 12:46
2.1K
jordan13__2560_26.min1.thm1
2017-02-06 12:46
2.8K
jordan13__2561_20.min1.thm1
2017-02-06 12:46
1.9K
jordan13__2562_23.min1.thm1
2017-02-06 12:46
2.2K
jordan13__2571_17.min1.thm1
2017-02-06 12:46
875
jordan13__2582_14.min1.thm1
2017-02-06 12:46
1.2K
jordan13__2583_18.min1.thm1
2017-02-06 12:46
2.3K
jordan13__2585_18.min1.thm1
2017-02-06 12:46
2.4K
jordan13__2586_15.min1.thm1
2017-02-06 12:46
249
jordan13__2589_25.min1.thm1
2017-02-06 12:46
2.1K
jordan13__2604_18.min1.thm1
2017-02-06 12:46
2.4K
jordan13__2605_14.min1.thm1
2017-02-06 12:46
1.2K
jordan13__2613_14.min1.thm1
2017-02-06 12:46
1.2K
jordan13__2614_17.min1.thm1
2017-02-06 12:46
1.0K
jordan13__2615_17.min1.thm1
2017-02-06 12:46
1.1K
jordan13__2617_18.min1.thm1
2017-02-06 12:46
1.5K
jordan13__2620_16.min1.thm1
2017-02-06 12:46
1.6K
jordan13__2621_18.min1.thm1
2017-02-06 12:46
1.1K
jordan13__2625_22.min1.thm1
2017-02-06 12:46
3.0K
jordan13__2628_20.min1.thm1
2017-02-06 12:46
2.6K
jordan13__2644_18.min1.thm1
2017-02-06 12:46
1.3K
jordan13__2667_22.min1.thm1
2017-02-06 12:46
5.1K
jordan13__2667_22.min1.thm1.tptp
2017-02-06 16:47
5.3K
jordan13__3088_30.min1.thm1
2017-02-06 12:46
1.6K
jordan13__3089_41.min1.thm1
2017-02-06 12:46
1.6K
jordan13__3111_18.min1.thm1
2017-02-06 12:46
1.1K
jordan13__3112_20.min1.thm1
2017-02-06 12:46
2.5K
jordan13__3113_22.min1.thm1
2017-02-06 12:46
3.2K
jordan13__3116_20.min1.thm1
2017-02-06 12:46
2.6K
jordan13__3134_22.min1.thm1
2017-02-06 12:46
5.1K
jordan13__3134_22.min1.thm1.tptp
2017-02-06 16:47
5.3K
jordan13__3565_51.min1.thm1
2017-02-06 12:46
1.3K
jordan13__3572_44.min1.thm1
2017-02-06 12:46
1.0K
jordan13__3577_22.min1.thm1
2017-02-06 12:46
1.2K
jordan13__3581_29.min1.thm1
2017-02-06 12:46
2.2K
jordan13__3590_46.min1.thm1
2017-02-06 12:46
870
jordan13__3593_44.min1.thm1
2017-02-06 12:46
1.5K
jordan13__3594_21.min1.thm1
2017-02-06 12:46
1.7K
jordan13__3602_15.min1.thm1
2017-02-06 12:46
617
jordan13__3602_15.min1.thm1.tptp
2017-02-06 16:47
563
jordan13__3605_50.min1.thm1
2017-02-06 12:46
719
jordan13__3607_22.min1.thm1
2017-02-06 12:46
444
jordan13__3611_50.min1.thm1
2017-02-06 12:46
769
jordan13__3619_31.min1.thm1
2017-02-06 12:46
416
jordan13__3623_53.min1.thm1
2017-02-06 12:46
1.0K
jordan13__3630_32.min1.thm1
2017-02-06 12:46
1.3K
jordan13__3632_21.min1.thm1
2017-02-06 12:46
637
jordan13__3635_45.min1.thm1
2017-02-06 12:46
1.5K
jordan13__3642_32.min1.thm1
2017-02-06 12:46
1.2K
jordan13__3648_14.min1.thm1
2017-02-06 12:46
897
jordan13__3664_19.min1.thm1
2017-02-06 12:46
833
jordan13__3665_16.min1.thm1
2017-02-06 12:46
1.6K
jordan13__3666_21.min1.thm1
2017-02-06 12:46
1.3K
jordan13__3668_16.min1.thm1
2017-02-06 12:46
2.0K
jordan13__3669_19.min1.thm1
2017-02-06 12:46
1.2K
jordan13__3671_16.min1.thm1
2017-02-06 12:46
1.3K
jordan13__3675_26.min1.thm1
2017-02-06 12:46
817
jordan13__3676_26.min1.thm1
2017-02-06 12:46
1.1K
jordan13__3679_32.min1.thm1
2017-02-06 12:46
2.0K
jordan13__3680_19.min1.thm1
2017-02-06 12:46
1.6K
jordan13__3681_26.min1.thm1
2017-02-06 12:46
2.5K
jordan13__3682_33.min1.thm1
2017-02-06 12:46
862
jordan13__3682_33.min1.thm1.tptp
2017-02-06 16:47
785
jordan13__3688_24.min1.thm1
2017-02-06 12:46
1.5K
jordan13__3691_30.min1.thm1
2017-02-06 12:46
1.2K
jordan13__3696_23.min1.thm1
2017-02-06 12:46
1.6K
jordan13__3697_30.min1.thm1
2017-02-06 12:46
2.3K
jordan13__3698_37.min1.thm1
2017-02-06 12:46
838
jordan13__3698_37.min1.thm1.tptp
2017-02-06 16:47
761
jordan13__3704_23.min1.thm1
2017-02-06 12:46
1.0K
jordan13__3705_24.min1.thm1
2017-02-06 12:46
1.2K
jordan13__3706_24.min1.thm1
2017-02-06 12:46
1.3K
jordan13__3708_30.min1.thm1
2017-02-06 12:46
2.6K
jordan13__3710_35.min1.thm1
2017-02-06 12:46
2.1K
jordan13__3713_36.min1.thm1
2017-02-06 12:46
2.5K
jordan13__3714_23.min1.thm1
2017-02-06 12:46
1.6K
jordan13__3716_37.min1.thm1
2017-02-06 12:46
2.0K
jordan13__3727_31.min1.thm1
2017-02-06 12:46
2.1K
jordan13__3728_24.min1.thm1
2017-02-06 12:46
1.3K
jordan13__3729_23.min1.thm1
2017-02-06 12:46
528
jordan13__3737_24.min1.thm1
2017-02-06 12:46
941
jordan13__3743_35.min1.thm1
2017-02-06 12:46
3.0K
jordan13__3745_26.min1.thm1
2017-02-06 12:46
969
jordan13__3746_30.min1.thm1
2017-02-06 12:46
2.5K
jordan13__3758_19.min1.thm1
2017-02-06 12:46
3.6K
jordan13__3759_28.min1.thm1
2017-02-06 12:46
2.3K
jordan13__3775_21.min1.thm1
2017-02-06 12:46
1.2K
jordan13__3777_20.min1.thm1
2017-02-06 12:46
1.3K
jordan13__3784_23.min1.thm1
2017-02-06 12:46
1.4K
jordan13__3786_24.min1.thm1
2017-02-06 12:46
1.5K
jordan13__3795_20.min1.thm1
2017-02-06 12:46
1.1K
jordan13__3809_24.min1.thm1
2017-02-06 12:46
1.2K
jordan13__3812_26.min1.thm1
2017-02-06 12:46
1.0K
jordan13__3814_35.min1.thm1
2017-02-06 12:46
1.6K
jordan13__3816_39.min1.thm1
2017-02-06 12:46
1.9K
jordan13__3820_28.min1.thm1
2017-02-06 12:46
1.4K
jordan13__3821_25.min1.thm1
2017-02-06 12:46
3.1K
jordan13__3822_31.min1.thm1
2017-02-06 12:46
2.0K
jordan13__3823_32.min1.thm1
2017-02-06 12:46
1.9K
jordan13__3824_34.min1.thm1
2017-02-06 12:46
2.4K
jordan13__3826_39.min1.thm1
2017-02-06 12:46
1.7K
jordan13__3827_36.min1.thm1
2017-02-06 12:46
1.1K
jordan13__3829_26.min1.thm1
2017-02-06 12:46
1.3K
jordan13__3832_27.min1.thm1
2017-02-06 12:46
1.0K
jordan13__3837_48.min1.thm1
2017-02-06 12:46
2.8K
jordan13__3840_28.min1.thm1
2017-02-06 12:46
1.4K
jordan13__3854_54.min1.thm1
2017-02-06 12:46
3.1K
jordan13__3862_27.min1.thm1
2017-02-06 12:46
1.1K
jordan13__3889_37.min1.thm1
2017-02-06 12:46
3.1K
jordan13__3909_24.min1.thm1
2017-02-06 12:46
1.2K
jordan13__3914_27.min1.thm1
2017-02-06 12:46
1.1K
jordan13__3924_26.min1.thm1
2017-02-06 12:46
1.0K
jordan13__3926_35.min1.thm1
2017-02-06 12:46
1.6K
jordan13__3928_39.min1.thm1
2017-02-06 12:46
1.9K
jordan13__3932_28.min1.thm1
2017-02-06 12:46
1.4K
jordan13__3933_34.min1.thm1
2017-02-06 12:46
2.4K
jordan13__3934_36.min1.thm1
2017-02-06 12:46
1.1K
jordan13__3936_25.min1.thm1
2017-02-06 12:46
3.1K
jordan13__3937_31.min1.thm1
2017-02-06 12:46
2.0K
jordan13__3938_32.min1.thm1
2017-02-06 12:46
1.9K
jordan13__3940_26.min1.thm1
2017-02-06 12:46
1.2K
jordan13__3941_39.min1.thm1
2017-02-06 12:46
1.7K
jordan13__3942_29.min1.thm1
2017-02-06 12:46
1.3K
jordan13__3945_27.min1.thm1
2017-02-06 12:46
1.0K
jordan13__3950_48.min1.thm1
2017-02-06 12:46
2.8K
jordan13__3953_26.min1.thm1
2017-02-06 12:46
1.2K
jordan13__3967_54.min1.thm1
2017-02-06 12:46
3.1K
jordan13__3979_37.min1.thm1
2017-02-06 12:46
3.1K
jordan13__4008_24.min1.thm1
2017-02-06 12:46
1.2K
jordan13__4013_27.min1.thm1
2017-02-06 12:46
1.1K
jordan13__4016_27.min1.thm1
2017-02-06 12:46
1.1K
jordan13__4031_37.min1.thm1
2017-02-06 12:46
3.1K
jordan13__4036_26.min1.thm1
2017-02-06 12:46
1.0K
jordan13__4038_35.min1.thm1
2017-02-06 12:46
1.6K
jordan13__4040_39.min1.thm1
2017-02-06 12:46
1.9K
jordan13__4044_28.min1.thm1
2017-02-06 12:46
1.4K
jordan13__4046_54.min1.thm1
2017-02-06 12:46
3.1K
jordan13__4047_27.min1.thm1
2017-02-06 12:46
1.0K
jordan13__4048_34.min1.thm1
2017-02-06 12:46
2.4K
jordan13__4050_39.min1.thm1
2017-02-06 12:46
1.7K
jordan13__4051_36.min1.thm1
2017-02-06 12:46
1.1K
jordan13__4057_48.min1.thm1
2017-02-06 12:46
2.8K
jordan13__4060_24.min1.thm1
2017-02-06 12:46
1.2K
jordan13__4062_26.min1.thm1
2017-02-06 12:46
1.6K
jordan13__4068_26.min1.thm1
2017-02-06 12:46
1.4K
jordan13__4072_25.min1.thm1
2017-02-06 12:46
3.1K
jordan13__4073_31.min1.thm1
2017-02-06 12:46
2.0K
jordan13__4074_32.min1.thm1
2017-02-06 12:46
1.9K
jordan13__4088_27.min1.thm1
2017-02-06 12:46
1.1K
jordan13__4111_24.min1.thm1
2017-02-06 12:46
1.2K
jordan13__4120_37.min1.thm1
2017-02-06 12:46
3.1K
jordan13__4127_27.min1.thm1
2017-02-06 12:46
1.1K
jordan13__4130_27.min1.thm1
2017-02-06 12:46
1.1K
jordan13__4141_27.min1.thm1
2017-02-06 12:46
1.1K
jordan13__4153_39.min1.thm1
2017-02-06 12:46
1.7K
jordan13__4155_39.min1.thm1
2017-02-06 12:46
1.9K
jordan13__4159_29.min1.thm1
2017-02-06 12:46
1.3K
jordan13__4160_26.min1.thm1
2017-02-06 12:46
1.0K
jordan13__4162_35.min1.thm1
2017-02-06 12:46
1.6K
jordan13__4163_27.min1.thm1
2017-02-06 12:46
1.0K
jordan13__4165_24.min1.thm1
2017-02-06 12:46
1.2K
jordan13__4166_25.min1.thm1
2017-02-06 12:46
3.1K
jordan13__4167_31.min1.thm1
2017-02-06 12:46
2.0K
jordan13__4168_32.min1.thm1
2017-02-06 12:46
1.9K
jordan13__4169_36.min1.thm1
2017-02-06 12:46
1.1K
jordan13__4170_34.min1.thm1
2017-02-06 12:46
2.4K
jordan13__4171_28.min1.thm1
2017-02-06 12:46
1.4K
jordan13__4177_48.min1.thm1
2017-02-06 12:46
2.8K
jordan13__4180_26.min1.thm1
2017-02-06 12:46
1.4K
jordan13__4194_54.min1.thm1
2017-02-06 12:46
3.1K
jordan13__4201_33.min1.thm1
2017-02-06 12:46
1.2K
jordan13__4205_18.min1.thm1
2017-02-06 12:46
1.1K
jordan13__4206_13.min1.thm1
2017-02-06 12:46
568
jordan13__4206_13.min1.thm1.tptp
2017-02-06 16:47
492
jordan13__4207_72.min1.thm1
2017-02-06 12:46
1.2K
jordan13__4211_16.min1.thm1
2017-02-06 12:46
2.2K
jordan13__4215_16.min1.thm1
2017-02-06 12:46
1.4K
jordan13__4219_44.min1.thm1
2017-02-06 12:46
1.5K
jordan13__4224_44.min1.thm1
2017-02-06 12:46
2.4K
jordan13__4225_46.min1.thm1
2017-02-06 12:46
1.9K
jordan13__4227_55.min1.thm1
2017-02-06 12:46
2.4K
jordan13__4238_40.min1.thm1
2017-02-06 12:46
791
jordan13__4240_37.min1.thm1
2017-02-06 12:46
1.2K
jordan13__4243_29.min1.thm1
2017-02-06 12:46
685
jordan13__4246_36.min1.thm1
2017-02-06 12:46
1.1K
jordan13__4247_22.min1.thm1
2017-02-06 12:46
1.2K
jordan13__4248_31.min1.thm1
2017-02-06 12:46
1.3K
jordan13__4254_29.min1.thm1
2017-02-06 12:46
962
jordan13__4254_29.min1.thm1.tptp
2017-02-06 16:47
870
jordan13__4256_30.min1.thm1
2017-02-06 12:46
1.5K
jordan13__4257_28.min1.thm1
2017-02-06 12:46
729
jordan13__4257_28.min1.thm1.tptp
2017-02-06 16:47
647
jordan13__4258_31.min1.thm1
2017-02-06 12:46
761
jordan13__4258_31.min1.thm1.tptp
2017-02-06 16:47
679
jordan13__4263_19.min1.thm1
2017-02-06 12:46
1.3K
jordan13__4266_22.min1.thm1
2017-02-06 12:46
3.2K
jordan13__4270_17.min1.thm1
2017-02-06 12:46
1.0K
jordan13__4271_20.min1.thm1
2017-02-06 12:46
834
jordan13__4278_33.min1.thm1
2017-02-06 12:46
4.2K
jordan13__4285_36.min1.thm1
2017-02-06 12:46
4.2K
jordan13__4289_37.min1.thm1
2017-02-06 12:46
3.8K
jordan13__4317_20.min1.thm1
2017-02-06 12:46
1.1K
jordan13__4318_20.min1.thm1
2017-02-06 12:46
1.1K
jordan13__4319_27.min1.thm1
2017-02-06 12:46
2.2K
jordan13__4322_18.min1.thm1
2017-02-06 12:46
585
jordan13__4325_23.min1.thm1
2017-02-06 12:46
2.8K
jordan13__4335_29.min1.thm1
2017-02-06 12:46
1.4K
jordan13__4336_29.min1.thm1
2017-02-06 12:46
1.4K
jordan13__4338_19.min1.thm1
2017-02-06 12:46
276
jordan13__4342_21.min1.thm1
2017-02-06 12:46
846
jordan13__4344_22.min1.thm1
2017-02-06 12:46
893
jordan13__4350_27.min1.thm1
2017-02-06 12:46
3.1K
jordan13__4354_26.min1.thm1
2017-02-06 12:46
1.6K
jordan13__4356_31.min1.thm1
2017-02-06 12:46
1.3K
jordan13__4357_36.min1.thm1
2017-02-06 12:46
1.4K
jordan13__4375_23.min1.thm1
2017-02-06 12:46
852
jordan13__4380_45.min1.thm1
2017-02-06 12:46
2.7K
jordan13__4381_45.min1.thm1
2017-02-06 12:46
4.2K
jordan13__4389_48.min1.thm1
2017-02-06 12:46
2.7K
jordan13__4390_48.min1.thm1
2017-02-06 12:46
4.2K
jordan13__4397_46.min1.thm1
2017-02-06 12:46
2.5K
jordan13__4398_46.min1.thm1
2017-02-06 12:46
3.4K
jordan13__4403_24.min1.thm1
2017-02-06 12:46
592
jordan13__4407_25.min1.thm1
2017-02-06 12:46
3.1K
jordan13__4408_24.min1.thm1
2017-02-06 12:46
1.6K
jordan13__4410_29.min1.thm1
2017-02-06 12:46
1.3K
jordan13__4411_34.min1.thm1
2017-02-06 12:46
1.4K
jordan13__4417_27.min1.thm1
2017-02-06 12:46
2.2K
jordan13__4420_20.min1.thm1
2017-02-06 12:46
578
jordan13__4423_11.min1.thm1
2017-02-06 12:46
2.1K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80