Index of /~mptp/7.13.01_4.181.1147/MPTP2/ilp0/cc0sp2
Name
Last modified
Size
Description
Parent Directory
-
cc0sp2__2610_56.min1.thm1
2017-02-06 12:46
1.2K
cc0sp2__2602_56.min1.thm1
2017-02-06 12:46
1.1K
cc0sp2__2599_58.min1.thm1.tptp
2017-02-06 16:48
958
cc0sp2__2599_58.min1.thm1
2017-02-06 12:46
1.0K
cc0sp2__2577_17.min1.thm1
2017-02-06 12:46
1.4K
cc0sp2__2575_19.min1.thm1
2017-02-06 12:46
1.3K
cc0sp2__2573_71.min1.thm1.tptp
2017-02-06 16:48
365
cc0sp2__2573_71.min1.thm1
2017-02-06 12:46
453
cc0sp2__2572_65.min1.thm1
2017-02-06 12:46
1.8K
cc0sp2__2569_18.min1.thm1
2017-02-06 12:46
1.3K
cc0sp2__2559_19.min1.thm1
2017-02-06 12:46
1.2K
cc0sp2__2553_17.min1.thm1
2017-02-06 12:46
1.0K
cc0sp2__2545_19.min1.thm1
2017-02-06 12:46
869
cc0sp2__2544_54.min1.thm1
2017-02-06 12:46
1.4K
cc0sp2__2541_50.min1.thm1.tptp
2017-02-06 16:48
388
cc0sp2__2541_50.min1.thm1
2017-02-06 12:46
463
cc0sp2__2540_31.min1.thm1
2017-02-06 12:46
1.4K
cc0sp2__2513_44.min1.thm1
2017-02-06 12:46
378
cc0sp2__2488_36.min1.thm1.tptp
2017-02-06 16:48
388
cc0sp2__2488_36.min1.thm1
2017-02-06 12:46
467
cc0sp2__2476_14.min1.thm1
2017-02-06 12:46
300
cc0sp2__2475_23.min1.thm1.tptp
2017-02-06 16:48
388
cc0sp2__2475_23.min1.thm1
2017-02-06 12:46
463
cc0sp2__2454_16.min1.thm1
2017-02-06 12:46
1.3K
cc0sp2__2453_57.min1.thm1
2017-02-06 12:46
1.4K
cc0sp2__2419_49.min1.thm1.tptp
2017-02-06 16:48
373
cc0sp2__2419_49.min1.thm1
2017-02-06 12:46
437
cc0sp2__2417_52.min1.thm1.tptp
2017-02-06 16:48
452
cc0sp2__2417_52.min1.thm1
2017-02-06 12:46
517
cc0sp2__2407_56.min1.thm1
2017-02-06 12:46
1.4K
cc0sp2__2404_43.min1.thm1
2017-02-06 12:46
1.5K
cc0sp2__2403_65.min1.thm1
2017-02-06 12:46
291
cc0sp2__2395_59.min1.thm1.tptp
2017-02-06 16:48
678
cc0sp2__2395_59.min1.thm1
2017-02-06 12:46
741
cc0sp2__2390_21.min1.thm1
2017-02-06 12:46
1.3K
cc0sp2__2387_33.min1.thm1
2017-02-06 12:46
2.6K
cc0sp2__2385_22.min1.thm1
2017-02-06 12:46
803
cc0sp2__2384_14.min1.thm1
2017-02-06 12:46
1.4K
cc0sp2__2383_30.min1.thm1
2017-02-06 12:46
851
cc0sp2__2381_26.min1.thm1
2017-02-06 12:46
579
cc0sp2__2379_28.min1.thm1
2017-02-06 12:46
648
cc0sp2__2378_18.min1.thm1.tptp
2017-02-06 16:48
325
cc0sp2__2378_18.min1.thm1
2017-02-06 12:46
403
cc0sp2__2376_29.min1.thm1
2017-02-06 12:46
628
cc0sp2__2375_45.min1.thm1
2017-02-06 12:46
576
cc0sp2__2371_16.min1.thm1
2017-02-06 12:46
406
cc0sp2__2370_44.min1.thm1
2017-02-06 12:46
911
cc0sp2__2366_60.min1.thm1.tptp
2017-02-06 16:48
780
cc0sp2__2366_60.min1.thm1
2017-02-06 12:46
845
cc0sp2__2362_16.min1.thm1
2017-02-06 12:46
1.6K
cc0sp2__2358_20.min1.thm1.tptp
2017-02-06 16:48
294
cc0sp2__2358_20.min1.thm1
2017-02-06 12:46
371
cc0sp2__2353_21.min1.thm1.tptp
2017-02-06 16:48
304
cc0sp2__2353_21.min1.thm1
2017-02-06 12:46
381
cc0sp2__2352_49.min1.thm1
2017-02-06 12:46
804
cc0sp2__2349_29.min1.thm1
2017-02-06 12:46
2.0K
cc0sp2__2342_39.min1.thm1
2017-02-06 12:46
751
cc0sp2__2341_39.min1.thm1
2017-02-06 12:46
751
cc0sp2__2340_31.min1.thm1
2017-02-06 12:46
1.2K
cc0sp2__2339_10.min1.thm1
2017-02-06 12:46
1.7K
cc0sp2__2336_33.min1.thm1.tptp
2017-02-06 16:48
1.1K
cc0sp2__2336_33.min1.thm1
2017-02-06 12:46
1.2K
cc0sp2__2334_30.min1.thm1
2017-02-06 12:46
2.1K
cc0sp2__2332_49.min1.thm1
2017-02-06 12:46
1.1K
cc0sp2__2331_29.min1.thm1
2017-02-06 12:46
1.1K
cc0sp2__2330_53.min1.thm1
2017-02-06 12:46
773
cc0sp2__2327_57.min1.thm1
2017-02-06 12:46
1.4K
cc0sp2__2292_24.min1.thm1
2017-02-06 12:46
1.1K
cc0sp2__2290_42.min1.thm1
2017-02-06 12:46
1.0K
cc0sp2__2273_16.min1.thm1
2017-02-06 12:46
722
cc0sp2__2264_16.min1.thm1
2017-02-06 12:46
1.0K
cc0sp2__2254_17.min1.thm1
2017-02-06 12:46
1.2K
cc0sp2__2234_17.min1.thm1
2017-02-06 12:46
1.2K
cc0sp2__2213_50.min1.thm1
2017-02-06 12:46
763
cc0sp2__2196_17.min1.thm1
2017-02-06 12:46
1.5K
cc0sp2__2177_32.min1.thm1
2017-02-06 12:46
1.1K
cc0sp2__2173_17.min1.thm1.tptp
2017-02-06 16:48
218
cc0sp2__2173_17.min1.thm1
2017-02-06 12:46
299
cc0sp2__2166_16.min1.thm1.tptp
2017-02-06 16:48
317
cc0sp2__2166_16.min1.thm1
2017-02-06 12:46
395
cc0sp2__2164_27.min1.thm1
2017-02-06 12:46
628
cc0sp2__2163_50.min1.thm1.tptp
2017-02-06 16:48
447
cc0sp2__2163_50.min1.thm1
2017-02-06 12:46
525
cc0sp2__2162_46.min1.thm1.tptp
2017-02-06 16:48
315
cc0sp2__2162_46.min1.thm1
2017-02-06 12:46
393
cc0sp2__2158_33.min1.thm1
2017-02-06 12:46
1.1K
cc0sp2__2157_45.min1.thm1.tptp
2017-02-06 16:48
315
cc0sp2__2157_45.min1.thm1
2017-02-06 12:46
393
cc0sp2__2155_38.min1.thm1
2017-02-06 12:46
1.0K
cc0sp2__2153_30.min1.thm1
2017-02-06 12:46
1.1K
cc0sp2__2152_23.min1.thm1
2017-02-06 12:46
1.1K
cc0sp2__2148_34.min1.thm1
2017-02-06 12:46
1.3K
cc0sp2__2147_56.min1.thm1
2017-02-06 12:46
773
cc0sp2__2144_59.min1.thm1
2017-02-06 12:46
1.4K
cc0sp2__2111_27.min1.thm1
2017-02-06 12:46
628
cc0sp2__2110_16.min1.thm1.tptp
2017-02-06 16:48
317
cc0sp2__2110_16.min1.thm1
2017-02-06 12:46
395
cc0sp2__2108_27.min1.thm1
2017-02-06 12:46
628
cc0sp2__2105_49.min1.thm1.tptp
2017-02-06 16:48
425
cc0sp2__2105_49.min1.thm1
2017-02-06 12:46
503
cc0sp2__2104_62.min1.thm1.tptp
2017-02-06 16:48
466
cc0sp2__2104_62.min1.thm1
2017-02-06 12:46
544
cc0sp2__2100_39.min1.thm1
2017-02-06 12:46
292
cc0sp2__2099_53.min1.thm1
2017-02-06 12:46
1.5K
cc0sp2__2097_54.min1.thm1
2017-02-06 12:46
2.2K
cc0sp2__2096_64.min1.thm1.tptp
2017-02-06 16:48
466
cc0sp2__2096_64.min1.thm1
2017-02-06 12:46
544
cc0sp2__2095_35.min1.thm1
2017-02-06 12:46
1.4K
cc0sp2__2092_58.min1.thm1
2017-02-06 12:46
1.0K
cc0sp2__2091_25.min1.thm1
2017-02-06 12:46
1.3K
cc0sp2__2090_15.min1.thm1
2017-02-06 12:46
1.1K
cc0sp2__2085_34.min1.thm1
2017-02-06 12:46
1.3K
cc0sp2__2084_34.min1.thm1
2017-02-06 12:46
1.3K
cc0sp2__2083_56.min1.thm1
2017-02-06 12:46
773
cc0sp2__2080_59.min1.thm1
2017-02-06 12:46
1.5K
cc0sp2__2075_56.min1.thm1
2017-02-06 12:46
773
cc0sp2__2072_59.min1.thm1
2017-02-06 12:46
1.5K
cc0sp2__2047_18.min1.thm1.tptp
2017-02-06 16:48
263
cc0sp2__2047_18.min1.thm1
2017-02-06 12:46
343
cc0sp2__2038_25.min1.thm1
2017-02-06 12:46
855
cc0sp2__2037_23.min1.thm1
2017-02-06 12:46
1.0K
cc0sp2__2034_21.min1.thm1
2017-02-06 12:46
968
cc0sp2__2033_21.min1.thm1
2017-02-06 12:46
1.2K
cc0sp2__2017_21.min1.thm1
2017-02-06 12:46
1.1K
cc0sp2__2010_29.min1.thm1
2017-02-06 12:46
651
cc0sp2__2009_25.min1.thm1
2017-02-06 12:46
1.6K
cc0sp2__2007_17.min1.thm1
2017-02-06 12:46
233
cc0sp2__1999_56.min1.thm1
2017-02-06 12:46
821
cc0sp2__1991_51.min1.thm1
2017-02-06 12:46
1.1K
cc0sp2__1990_77.min1.thm1
2017-02-06 12:46
1.3K
cc0sp2__1962_53.min1.thm1
2017-02-06 12:46
1.1K
cc0sp2__1961_59.min1.thm1
2017-02-06 12:46
1.2K
cc0sp2__1960_63.min1.thm1.tptp
2017-02-06 16:48
701
cc0sp2__1960_63.min1.thm1
2017-02-06 12:46
778
cc0sp2__1958_56.min1.thm1
2017-02-06 12:46
1.2K
cc0sp2__1956_61.min1.thm1
2017-02-06 12:46
910
cc0sp2__1954_65.min1.thm1
2017-02-06 12:46
1.0K
cc0sp2__1952_42.min1.thm1
2017-02-06 12:46
971
cc0sp2__1945_36.min1.thm1
2017-02-06 12:46
913
cc0sp2__1940_32.min1.thm1
2017-02-06 12:46
1.2K
cc0sp2__1938_42.min1.thm1
2017-02-06 12:46
809
cc0sp2__1931_61.min1.thm1
2017-02-06 12:46
1.7K
cc0sp2__1929_41.min1.thm1
2017-02-06 12:46
1.3K
cc0sp2__1917_26.min1.thm1
2017-02-06 12:46
751
cc0sp2__1916_15.min1.thm1
2017-02-06 12:46
438
cc0sp2__1914_23.min1.thm1
2017-02-06 12:46
1.6K
cc0sp2__1900_51.min1.thm1
2017-02-06 12:46
1.0K
cc0sp2__1899_57.min1.thm1
2017-02-06 12:46
1.1K
cc0sp2__1898_53.min1.thm1.tptp
2017-02-06 16:48
657
cc0sp2__1898_53.min1.thm1
2017-02-06 12:46
734
cc0sp2__1896_54.min1.thm1
2017-02-06 12:46
1.1K
cc0sp2__1894_59.min1.thm1
2017-02-06 12:46
868
cc0sp2__1892_63.min1.thm1
2017-02-06 12:46
947
cc0sp2__1890_51.min1.thm1
2017-02-06 12:46
927
cc0sp2__1883_34.min1.thm1
2017-02-06 12:46
847
cc0sp2__1881_29.min1.thm1.tptp
2017-02-06 16:48
545
cc0sp2__1881_29.min1.thm1
2017-02-06 12:46
625
cc0sp2__1880_20.min1.thm1
2017-02-06 12:46
658
cc0sp2__1877_35.min1.thm1
2017-02-06 12:46
1.2K
cc0sp2__1875_42.min1.thm1
2017-02-06 12:46
809
cc0sp2__1867_61.min1.thm1
2017-02-06 12:46
1.7K
cc0sp2__1865_41.min1.thm1
2017-02-06 12:46
1.3K
cc0sp2__1863_49.min1.thm1
2017-02-06 12:46
1.4K
cc0sp2__1845_72.min1.thm1.tptp
2017-02-06 16:48
1.8K
cc0sp2__1845_72.min1.thm1
2017-02-06 12:46
1.8K
cc0sp2__1819_21.min1.thm1
2017-02-06 12:46
1.1K
cc0sp2__1812_13.min1.thm1
2017-02-06 12:46
958
cc0sp2__1784_48.min1.thm1.tptp
2017-02-06 16:48
829
cc0sp2__1784_48.min1.thm1
2017-02-06 12:46
878
cc0sp2__1773_33.min1.thm1
2017-02-06 12:46
718
cc0sp2__1769_51.min1.thm1
2017-02-06 12:46
1.0K
cc0sp2__1752_16.min1.thm1
2017-02-06 12:46
787
cc0sp2__1747_26.min1.thm1
2017-02-06 12:46
1.1K
cc0sp2__1743_43.min1.thm1
2017-02-06 12:46
1.1K
cc0sp2__1721_50.min1.thm1.tptp
2017-02-06 16:48
365
cc0sp2__1721_50.min1.thm1
2017-02-06 12:46
429
cc0sp2__1718_57.min1.thm1.tptp
2017-02-06 16:48
495
cc0sp2__1718_57.min1.thm1
2017-02-06 12:46
560
cc0sp2__1703_25.min1.thm1
2017-02-06 12:46
1.4K
cc0sp2__1699_45.min1.thm1
2017-02-06 12:46
1.1K
cc0sp2__1697_26.min1.thm1
2017-02-06 12:46
712
cc0sp2__1686_50.min1.thm1
2017-02-06 12:46
2.7K
cc0sp2__1684_50.min1.thm1
2017-02-06 12:46
3.7K
cc0sp2__1671_42.min1.thm1
2017-02-06 12:46
1.7K
cc0sp2__1668_42.min1.thm1
2017-02-06 12:46
1.7K
cc0sp2__1662_59.min1.thm1
2017-02-06 12:46
1.4K
cc0sp2__1649_47.min1.thm1.tptp
2017-02-06 16:48
415
cc0sp2__1649_47.min1.thm1
2017-02-06 12:46
493
cc0sp2__1646_31.min1.thm1.tptp
2017-02-06 16:48
446
cc0sp2__1646_31.min1.thm1
2017-02-06 12:46
519
cc0sp2__1645_36.min1.thm1
2017-02-06 12:46
1.7K
cc0sp2__1637_20.min1.thm1
2017-02-06 12:46
1.4K
cc0sp2__1632_30.min1.thm1
2017-02-06 12:46
2.2K
cc0sp2__1630_16.min1.thm1
2017-02-06 12:46
883
cc0sp2__1621_20.min1.thm1
2017-02-06 12:46
902
cc0sp2__1619_36.min1.thm1
2017-02-06 12:46
1.2K
cc0sp2__1601_59.min1.thm1.tptp
2017-02-06 16:48
335
cc0sp2__1601_59.min1.thm1
2017-02-06 12:46
413
cc0sp2__1592_46.min1.thm1
2017-02-06 12:46
1.1K
cc0sp2__1570_60.min1.thm1.tptp
2017-02-06 16:48
421
cc0sp2__1570_60.min1.thm1
2017-02-06 12:46
485
cc0sp2__1566_53.min1.thm1.tptp
2017-02-06 16:48
604
cc0sp2__1566_53.min1.thm1
2017-02-06 12:46
666
cc0sp2__1538_28.min1.thm1
2017-02-06 12:46
1.5K
cc0sp2__1513_34.min1.thm1.tptp
2017-02-06 16:48
704
cc0sp2__1513_34.min1.thm1
2017-02-06 12:46
781
cc0sp2__1506_66.min1.thm1
2017-02-06 12:46
690
cc0sp2__1475_17.min1.thm1
2017-02-06 12:46
1.1K
cc0sp2__1473_30.min1.thm1
2017-02-06 12:46
508
cc0sp2__1472_73.min1.thm1
2017-02-06 12:46
285
cc0sp2__1453_40.min1.thm1
2017-02-06 12:46
2.0K
cc0sp2__1447_61.min1.thm1.tptp
2017-02-06 16:48
463
cc0sp2__1447_61.min1.thm1
2017-02-06 12:46
538
cc0sp2__1405_68.min1.thm1
2017-02-06 12:46
1.4K
cc0sp2__1391_68.min1.thm1
2017-02-06 12:46
1.4K
cc0sp2__1330_23.min1.thm1
2017-02-06 12:46
1.0K
cc0sp2__1316_63.min1.thm1
2017-02-06 12:46
1.4K
cc0sp2__1315_21.min1.thm1.tptp
2017-02-06 16:48
417
cc0sp2__1315_21.min1.thm1
2017-02-06 12:46
492
cc0sp2__1304_42.min1.thm1
2017-02-06 12:46
1.4K
cc0sp2__1302_65.min1.thm1.tptp
2017-02-06 16:48
435
cc0sp2__1302_65.min1.thm1
2017-02-06 12:46
510
cc0sp2__1292_53.min1.thm1
2017-02-06 12:46
621
cc0sp2__1285_65.min1.thm1
2017-02-06 12:46
1.6K
cc0sp2__1275_18.min1.thm1.tptp
2017-02-06 16:48
342
cc0sp2__1275_18.min1.thm1
2017-02-06 12:46
424
cc0sp2__1257_14.min1.thm1.tptp
2017-02-06 16:48
367
cc0sp2__1257_14.min1.thm1
2017-02-06 12:46
449
cc0sp2__1239_12.min1.thm1.tptp
2017-02-06 16:48
1.2K
cc0sp2__1239_12.min1.thm1
2017-02-06 12:46
1.2K
cc0sp2__1191_45.min1.thm1
2017-02-06 12:46
378
cc0sp2__1144_30.min1.thm1
2017-02-06 12:46
1.0K
cc0sp2__1110_59.min1.thm1
2017-02-06 12:46
533
cc0sp2__1075_57.min1.thm1.tptp
2017-02-06 16:48
373
cc0sp2__1075_57.min1.thm1
2017-02-06 12:46
437
cc0sp2__1073_50.min1.thm1.tptp
2017-02-06 16:48
499
cc0sp2__1073_50.min1.thm1
2017-02-06 12:46
564
cc0sp2__1059_56.min1.thm1
2017-02-06 12:46
638
cc0sp2__1051_54.min1.thm1.tptp
2017-02-06 16:48
497
cc0sp2__1051_54.min1.thm1
2017-02-06 12:46
562
cc0sp2__1038_56.min1.thm1
2017-02-06 12:46
1.3K
cc0sp2__1036_17.min1.thm1
2017-02-06 12:46
1.3K
cc0sp2__1034_19.min1.thm1
2017-02-06 12:46
761
cc0sp2__1033_20.min1.thm1
2017-02-06 12:46
1.2K
cc0sp2__1023_50.min1.thm1
2017-02-06 12:46
1.8K
cc0sp2__1022_33.min1.thm1.tptp
2017-02-06 16:48
1.1K
cc0sp2__1022_33.min1.thm1
2017-02-06 12:46
1.2K
cc0sp2__1020_44.min1.thm1
2017-02-06 12:46
1.8K
cc0sp2__1018_11.min1.thm1
2017-02-06 12:46
1.0K
cc0sp2__1006_40.min1.thm1
2017-02-06 12:46
3.0K
cc0sp2__1002_39.min1.thm1
2017-02-06 12:46
3.0K
cc0sp2__993_38.min1.thm1
2017-02-06 12:46
2.7K
cc0sp2__983_38.min1.thm1
2017-02-06 12:46
2.7K
cc0sp2__976_55.min1.thm1
2017-02-06 12:46
2.4K
cc0sp2__897_19.min1.thm1.tptp
2017-02-06 16:48
217
cc0sp2__897_19.min1.thm1
2017-02-06 12:46
298
cc0sp2__848_17.min1.thm1
2017-02-06 12:46
1.8K
cc0sp2__803_14.min1.thm1
2017-02-06 12:46
1.8K
cc0sp2__802_43.min1.thm1
2017-02-06 12:46
1.1K
cc0sp2__794_42.min1.thm1
2017-02-06 12:46
1.5K
cc0sp2__791_54.min1.thm1
2017-02-06 12:46
2.3K
cc0sp2__787_13.min1.thm1
2017-02-06 12:46
1.0K
cc0sp2__785_13.min1.thm1
2017-02-06 12:46
1.0K
cc0sp2__776_21.min1.thm1
2017-02-06 12:46
1.6K
cc0sp2__775_64.min1.thm1
2017-02-06 12:46
2.0K
cc0sp2__771_19.min1.thm1.tptp
2017-02-06 16:48
241
cc0sp2__771_19.min1.thm1
2017-02-06 12:46
322
cc0sp2__770_32.min1.thm1
2017-02-06 12:46
840
cc0sp2__766_13.min1.thm1
2017-02-06 12:46
1.0K
cc0sp2__756_64.min1.thm1
2017-02-06 12:46
2.0K
cc0sp2__747_31.min1.thm1
2017-02-06 12:46
840
cc0sp2__743_32.min1.thm1
2017-02-06 12:46
514
cc0sp2__741_13.min1.thm1
2017-02-06 12:46
1.0K
cc0sp2__733_21.min1.thm1
2017-02-06 12:46
1.5K
cc0sp2__727_41.min1.thm1
2017-02-06 12:46
1.5K
cc0sp2__724_54.min1.thm1
2017-02-06 12:46
2.3K
cc0sp2__720_13.min1.thm1
2017-02-06 12:46
1.0K
cc0sp2__718_13.min1.thm1
2017-02-06 12:46
1.0K
cc0sp2__701_14.min1.thm1
2017-02-06 12:46
663
cc0sp2__688_49.min1.thm1
2017-02-06 12:46
885
cc0sp2__687_71.min1.thm1
2017-02-06 12:46
865
cc0sp2__666_23.min1.thm1
2017-02-06 12:46
3.3K
cc0sp2__660_27.min1.thm1.tptp
2017-02-06 16:48
503
cc0sp2__660_27.min1.thm1
2017-02-06 12:46
582
cc0sp2__658_61.min1.thm1
2017-02-06 12:46
833
cc0sp2__657_37.min1.thm1
2017-02-06 12:46
1.2K
cc0sp2__653_27.min1.thm1
2017-02-06 12:46
1.2K
cc0sp2__652_30.min1.thm1
2017-02-06 12:46
676
cc0sp2__651_40.min1.thm1
2017-02-06 12:46
635
cc0sp2__650_18.min1.thm1
2017-02-06 12:46
399
cc0sp2__643_13.min1.thm1
2017-02-06 12:46
429
cc0sp2__642_16.min1.thm1
2017-02-06 12:46
429
cc0sp2__638_20.min1.thm1
2017-02-06 12:46
1.5K
cc0sp2__634_16.min1.thm1
2017-02-06 12:46
383
cc0sp2__633_41.min1.thm1.tptp
2017-02-06 16:48
321
cc0sp2__633_41.min1.thm1
2017-02-06 12:46
399
cc0sp2__631_27.min1.thm1.tptp
2017-02-06 16:48
332
cc0sp2__631_27.min1.thm1
2017-02-06 12:46
405
cc0sp2__630_30.min1.thm1
2017-02-06 12:46
704
cc0sp2__623_32.min1.thm1
2017-02-06 12:46
1.2K
cc0sp2__619_30.min1.thm1
2017-02-06 12:46
1.0K
cc0sp2__611_59.min1.thm1
2017-02-06 12:46
2.2K
cc0sp2__596_21.min1.thm1
2017-02-06 12:46
1.0K
cc0sp2__576_65.min1.thm1.tptp
2017-02-06 16:48
1.4K
cc0sp2__576_65.min1.thm1
2017-02-06 12:46
1.5K
cc0sp2__574_60.min1.thm1
2017-02-06 12:46
1.0K
cc0sp2__573_58.min1.thm1
2017-02-06 12:46
1.0K
cc0sp2__571_14.min1.thm1
2017-02-06 12:46
1.6K
cc0sp2__561_45.min1.thm1
2017-02-06 12:46
747
cc0sp2__560_27.min1.thm1.tptp
2017-02-06 16:48
483
cc0sp2__560_27.min1.thm1
2017-02-06 12:46
562
cc0sp2__558_61.min1.thm1
2017-02-06 12:46
721
cc0sp2__557_37.min1.thm1
2017-02-06 12:46
1.2K
cc0sp2__553_22.min1.thm1
2017-02-06 12:46
1.2K
cc0sp2__551_29.min1.thm1.tptp
2017-02-06 16:48
707
cc0sp2__551_29.min1.thm1
2017-02-06 12:46
786
cc0sp2__549_63.min1.thm1
2017-02-06 12:46
1.1K
cc0sp2__548_37.min1.thm1
2017-02-06 12:46
1.2K
cc0sp2__544_22.min1.thm1
2017-02-06 12:46
1.2K
cc0sp2__543_19.min1.thm1
2017-02-06 12:46
1.1K
cc0sp2__542_29.min1.thm1.tptp
2017-02-06 16:48
707
cc0sp2__542_29.min1.thm1
2017-02-06 12:46
786
cc0sp2__540_63.min1.thm1
2017-02-06 12:46
1.1K
cc0sp2__539_37.min1.thm1
2017-02-06 12:46
1.2K
cc0sp2__535_27.min1.thm1
2017-02-06 12:46
1.2K
cc0sp2__534_30.min1.thm1
2017-02-06 12:46
676
cc0sp2__532_21.min1.thm1
2017-02-06 12:46
1.1K
cc0sp2__521_20.min1.thm1
2017-02-06 12:46
1.5K
cc0sp2__514_17.min1.thm1
2017-02-06 12:46
767
cc0sp2__511_46.min1.thm1.tptp
2017-02-06 16:48
291
cc0sp2__511_46.min1.thm1
2017-02-06 12:46
369
cc0sp2__509_27.min1.thm1.tptp
2017-02-06 16:48
322
cc0sp2__509_27.min1.thm1
2017-02-06 12:46
395
cc0sp2__508_30.min1.thm1
2017-02-06 12:46
591
cc0sp2__496_41.min1.thm1.tptp
2017-02-06 16:48
355
cc0sp2__496_41.min1.thm1
2017-02-06 12:46
433
cc0sp2__493_27.min1.thm1.tptp
2017-02-06 16:48
434
cc0sp2__493_27.min1.thm1
2017-02-06 12:46
507
cc0sp2__492_59.min1.thm1
2017-02-06 12:46
1.0K
cc0sp2__481_46.min1.thm1.tptp
2017-02-06 16:48
355
cc0sp2__481_46.min1.thm1
2017-02-06 12:46
433
cc0sp2__479_27.min1.thm1.tptp
2017-02-06 16:48
434
cc0sp2__479_27.min1.thm1
2017-02-06 12:46
507
cc0sp2__478_59.min1.thm1
2017-02-06 12:46
1.0K
cc0sp2__470_32.min1.thm1
2017-02-06 12:46
1.2K
cc0sp2__469_32.min1.thm1
2017-02-06 12:46
1.2K
cc0sp2__465_15.min1.thm1
2017-02-06 12:46
1.0K
cc0sp2__443_27.min1.thm1
2017-02-06 12:46
1.5K
cc0sp2__427_13.min1.thm1
2017-02-06 12:46
1.4K
cc0sp2__426_22.min1.thm1
2017-02-06 12:46
1.5K
cc0sp2__420_22.min1.thm1.tptp
2017-02-06 16:48
550
cc0sp2__420_22.min1.thm1
2017-02-06 12:46
632
cc0sp2__409_42.min1.thm1
2017-02-06 12:46
1.1K
cc0sp2__407_23.min1.thm1
2017-02-06 12:46
844
cc0sp2__403_29.min1.thm1
2017-02-06 12:46
1.0K
cc0sp2__402_34.min1.thm1
2017-02-06 12:46
1.2K
cc0sp2__397_52.min1.thm1
2017-02-06 12:46
1.1K
cc0sp2__395_35.min1.thm1.tptp
2017-02-06 16:48
636
cc0sp2__395_35.min1.thm1
2017-02-06 12:46
715
cc0sp2__393_69.min1.thm1
2017-02-06 12:46
1.1K
cc0sp2__392_39.min1.thm1
2017-02-06 12:46
1.2K
cc0sp2__388_29.min1.thm1
2017-02-06 12:46
1.3K
cc0sp2__387_32.min1.thm1
2017-02-06 12:46
690
cc0sp2__386_43.min1.thm1
2017-02-06 12:46
811
cc0sp2__379_15.min1.thm1
2017-02-06 12:46
493
cc0sp2__378_18.min1.thm1
2017-02-06 12:46
487
cc0sp2__371_48.min1.thm1.tptp
2017-02-06 16:48
379
cc0sp2__371_48.min1.thm1
2017-02-06 12:46
457
cc0sp2__369_29.min1.thm1.tptp
2017-02-06 16:48
403
cc0sp2__369_29.min1.thm1
2017-02-06 12:46
476
cc0sp2__368_38.min1.thm1
2017-02-06 12:46
959
cc0sp2__361_34.min1.thm1
2017-02-06 12:46
1.2K
cc0sp2__358_15.min1.thm1
2017-02-06 12:46
1.1K
cc0sp2__354_17.min1.thm1
2017-02-06 12:46
1.0K
cc0sp2__343_15.min1.thm1
2017-02-06 12:46
180
cc0sp2__325_21.min1.thm1
2017-02-06 12:46
728
cc0sp2__318_55.min1.thm1
2017-02-06 12:46
2.0K
cc0sp2__314_51.min1.thm1
2017-02-06 12:46
1.6K
cc0sp2__313_29.min1.thm1.tptp
2017-02-06 16:48
530
cc0sp2__313_29.min1.thm1
2017-02-06 12:46
609
cc0sp2__310_37.min1.thm1
2017-02-06 12:46
1.2K
cc0sp2__306_22.min1.thm1
2017-02-06 12:46
1.2K
cc0sp2__303_37.min1.thm1
2017-02-06 12:46
1.2K
cc0sp2__299_27.min1.thm1
2017-02-06 12:46
1.2K
cc0sp2__298_30.min1.thm1
2017-02-06 12:46
666
cc0sp2__297_41.min1.thm1
2017-02-06 12:46
1.7K
cc0sp2__281_46.min1.thm1.tptp
2017-02-06 16:48
319
cc0sp2__281_46.min1.thm1
2017-02-06 12:46
397
cc0sp2__279_27.min1.thm1.tptp
2017-02-06 16:48
347
cc0sp2__279_27.min1.thm1
2017-02-06 12:46
420
cc0sp2__272_32.min1.thm1
2017-02-06 12:46
1.2K
cc0sp2__266_41.min1.thm1.tptp
2017-02-06 16:48
316
cc0sp2__266_41.min1.thm1
2017-02-06 12:46
394
cc0sp2__264_27.min1.thm1.tptp
2017-02-06 16:48
346
cc0sp2__264_27.min1.thm1
2017-02-06 12:46
419
cc0sp2__257_32.min1.thm1
2017-02-06 12:46
1.2K
cc0sp2__252_15.min1.thm1
2017-02-06 12:46
824
cc0sp2__250_32.min1.thm1
2017-02-06 12:46
1.2K
cc0sp2__240_49.min1.thm1
2017-02-06 12:46
1.5K
cc0sp2__226_26.min1.thm1
2017-02-06 12:46
1.0K
cc0sp2__223_33.min1.thm1
2017-02-06 12:46
1.2K
cc0sp2__215_21.min1.thm1
2017-02-06 12:46
833
cc0sp2__214_38.min1.thm1
2017-02-06 12:46
1.0K
cc0sp2__212_41.min1.thm1
2017-02-06 12:46
1.2K
cc0sp2__210_39.min1.thm1
2017-02-06 12:46
867
cc0sp2__201_19.min1.thm1
2017-02-06 12:46
764
cc0sp2__199_24.min1.thm1
2017-02-06 12:46
474
cc0sp2__190_64.min1.thm1
2017-02-06 12:46
952
cc0sp2__186_26.min1.thm1
2017-02-06 12:46
558
cc0sp2__185_23.min1.thm1
2017-02-06 12:46
925
cc0sp2__184_22.min1.thm1
2017-02-06 12:46
1.1K
cc0sp2__181_22.min1.thm1
2017-02-06 12:46
1.4K
cc0sp2__177_47.min1.thm1.tptp
2017-02-06 16:48
327
cc0sp2__177_47.min1.thm1
2017-02-06 12:46
405
cc0sp2__175_29.min1.thm1.tptp
2017-02-06 16:48
338
cc0sp2__175_29.min1.thm1
2017-02-06 12:46
411
cc0sp2__174_59.min1.thm1
2017-02-06 12:46
740
cc0sp2__166_16.min1.thm1
2017-02-06 12:46
852
cc0sp2__163_34.min1.thm1
2017-02-06 12:46
1.2K
cc0sp2__144_24.min1.thm1
2017-02-06 12:46
1.3K
cc0sp2__143_26.min1.thm1
2017-02-06 12:46
1.2K
cc0sp2__141_21.min1.thm1
2017-02-06 12:46
726
cc0sp2__139_20.min1.thm1
2017-02-06 12:46
679
cc0sp2__138_9.min1.thm1.tptp
2017-02-06 16:48
332
cc0sp2__138_9.min1.thm1
2017-02-06 12:46
406
cc0sp2__130_45.min1.thm1
2017-02-06 12:46
1.4K
cc0sp2__129_24.min1.thm1
2017-02-06 12:46
1.2K
cc0sp2__127_23.min1.thm1
2017-02-06 12:46
1.3K
cc0sp2__125_24.min1.thm1
2017-02-06 12:46
460
cc0sp2__108_13.min1.thm1
2017-02-06 12:46
845
cc0sp2__92_24.min1.thm1
2017-02-06 12:46
1.0K
cc0sp2__88_24.min1.thm1
2017-02-06 12:46
585
cc0sp2__85_11.min1.thm1
2017-02-06 12:46
204
cc0sp2__68_17.min1.thm1
2017-02-06 12:46
1.0K
cc0sp2__67_17.min1.thm1.tptp
2017-02-06 16:48
217
cc0sp2__67_17.min1.thm1
2017-02-06 12:46
298
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80