Index of /~mptp/1147/MPTP2/ilp0/turing_1

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]turing_1__53_15.min1.thm12017-02-06 12:44 258  
[   ]turing_1__56_30.min1.thm12017-02-06 12:44 1.3K 
[   ]turing_1__57_32.min1.thm12017-02-06 12:44 1.1K 
[   ]turing_1__61_32.min1.thm12017-02-06 12:44 1.3K 
[   ]turing_1__62_32.min1.thm12017-02-06 12:44 1.2K 
[   ]turing_1__65_29.min1.thm12017-02-06 12:44 1.5K 
[   ]turing_1__66_35.min1.thm12017-02-06 12:44 1.6K 
[   ]turing_1__67_12.min1.thm12017-02-06 12:44 524  
[   ]turing_1__78_31.min1.thm12017-02-06 12:44 1.4K 
[   ]turing_1__79_19.min1.thm12017-02-06 12:44 1.5K 
[   ]turing_1__94_20.min1.thm12017-02-06 12:44 558  
[   ]turing_1__95_25.min1.thm12017-02-06 12:44 933  
[   ]turing_1__96_15.min1.thm12017-02-06 12:44 903  
[   ]turing_1__106_26.min1.thm12017-02-06 12:44 921  
[   ]turing_1__108_15.min1.thm12017-02-06 12:44 521  
[   ]turing_1__118_29.min1.thm12017-02-06 12:44 1.3K 
[   ]turing_1__119_16.min1.thm12017-02-06 12:44 298  
[   ]turing_1__121_13.min1.thm12017-02-06 12:44 1.2K 
[   ]turing_1__132_19.min1.thm12017-02-06 12:44 376  
[   ]turing_1__132_19.min1.thm1.tptp2017-02-06 16:46 314  
[   ]turing_1__133_21.min1.thm12017-02-06 12:44 667  
[   ]turing_1__134_28.min1.thm12017-02-06 12:44 910  
[   ]turing_1__135_17.min1.thm12017-02-06 12:44 1.2K 
[   ]turing_1__146_19.min1.thm12017-02-06 12:44 376  
[   ]turing_1__146_19.min1.thm1.tptp2017-02-06 16:46 314  
[   ]turing_1__147_21.min1.thm12017-02-06 12:44 667  
[   ]turing_1__148_28.min1.thm12017-02-06 12:44 910  
[   ]turing_1__149_17.min1.thm12017-02-06 12:44 1.2K 
[   ]turing_1__167_24.min1.thm12017-02-06 12:44 1.2K 
[   ]turing_1__169_19.min1.thm12017-02-06 12:44 609  
[   ]turing_1__170_16.min1.thm12017-02-06 12:44 1.2K 
[   ]turing_1__171_25.min1.thm12017-02-06 12:44 1.5K 
[   ]turing_1__182_39.min1.thm12017-02-06 12:44 1.0K 
[   ]turing_1__184_11.min1.thm12017-02-06 12:44 1.1K 
[   ]turing_1__185_39.min1.thm12017-02-06 12:44 1.0K 
[   ]turing_1__196_39.min1.thm12017-02-06 12:44 1.0K 
[   ]turing_1__198_11.min1.thm12017-02-06 12:44 1.1K 
[   ]turing_1__199_39.min1.thm12017-02-06 12:44 1.0K 
[   ]turing_1__202_39.min1.thm12017-02-06 12:44 1.0K 
[   ]turing_1__232_26.min1.thm12017-02-06 12:44 1.1K 
[   ]turing_1__234_19.min1.thm12017-02-06 12:44 2.0K 
[   ]turing_1__236_33.min1.thm12017-02-06 12:44 1.0K 
[   ]turing_1__237_15.min1.thm12017-02-06 12:44 301  
[   ]turing_1__237_15.min1.thm1.tptp2017-02-06 16:46 220  
[   ]turing_1__239_24.min1.thm12017-02-06 12:44 709  
[   ]turing_1__240_13.min1.thm12017-02-06 12:44 656  
[   ]turing_1__259_14.min1.thm12017-02-06 12:44 3.4K 
[   ]turing_1__266_11.min1.thm12017-02-06 12:44 1.2K 
[   ]turing_1__275_42.min1.thm12017-02-06 12:44 1.3K 
[   ]turing_1__311_18.min1.thm12017-02-06 12:44 1.2K 
[   ]turing_1__322_49.min1.thm12017-02-06 12:44 856  
[   ]turing_1__323_49.min1.thm12017-02-06 12:44 856  
[   ]turing_1__324_15.min1.thm12017-02-06 12:44 488  
[   ]turing_1__325_15.min1.thm12017-02-06 12:44 488  
[   ]turing_1__335_26.min1.thm12017-02-06 12:44 1.2K 
[   ]turing_1__338_26.min1.thm12017-02-06 12:44 1.6K 
[   ]turing_1__338_26.min1.thm1.tptp2017-02-06 16:46 1.6K 
[   ]turing_1__347_20.min1.thm12017-02-06 12:44 1.8K 
[   ]turing_1__348_14.min1.thm12017-02-06 12:44 1.4K 
[   ]turing_1__363_49.min1.thm12017-02-06 12:44 4.1K 
[   ]turing_1__365_11.min1.thm12017-02-06 12:44 3.9K 
[   ]turing_1__367_14.min1.thm12017-02-06 12:44 1.3K 
[   ]turing_1__367_14.min1.thm1.tptp2017-02-06 16:46 1.2K 
[   ]turing_1__378_16.min1.thm12017-02-06 12:44 1.3K 
[   ]turing_1__388_8.min1.thm12017-02-06 12:44 1.8K 
[   ]turing_1__390_13.min1.thm12017-02-06 12:44 372  
[   ]turing_1__391_17.min1.thm12017-02-06 12:44 1.6K 
[   ]turing_1__401_52.min1.thm12017-02-06 12:44 3.2K 
[   ]turing_1__402_17.min1.thm12017-02-06 12:44 2.1K 
[   ]turing_1__425_24.min1.thm12017-02-06 12:44 1.2K 
[   ]turing_1__430_57.min1.thm12017-02-06 12:44 1.2K 
[   ]turing_1__446_60.min1.thm12017-02-06 12:44 1.2K 
[   ]turing_1__448_23.min1.thm12017-02-06 12:44 1.4K 
[   ]turing_1__451_35.min1.thm12017-02-06 12:44 921  
[   ]turing_1__453_14.min1.thm12017-02-06 12:44 1.2K 
[   ]turing_1__453_14.min1.thm1.tptp2017-02-06 16:46 1.1K 
[   ]turing_1__455_16.min1.thm12017-02-06 12:44 1.8K 
[   ]turing_1__465_38.min1.thm12017-02-06 12:44 326  
[   ]turing_1__465_38.min1.thm1.tptp2017-02-06 16:46 248  
[   ]turing_1__470_18.min1.thm12017-02-06 12:44 1.0K 
[   ]turing_1__490_73.min1.thm12017-02-06 12:44 3.0K 
[   ]turing_1__492_47.min1.thm12017-02-06 12:44 1.6K 
[   ]turing_1__493_38.min1.thm12017-02-06 12:44 2.2K 
[   ]turing_1__494_48.min1.thm12017-02-06 12:44 2.0K 
[   ]turing_1__615_22.min1.thm12017-02-06 12:44 2.4K 
[   ]turing_1__616_18.min1.thm12017-02-06 12:44 1.7K 
[   ]turing_1__617_15.min1.thm12017-02-06 12:44 1.3K 
[   ]turing_1__632_29.min1.thm12017-02-06 12:44 1.1K 
[   ]turing_1__633_30.min1.thm12017-02-06 12:44 2.3K 
[   ]turing_1__634_16.min1.thm12017-02-06 12:44 2.4K 
[   ]turing_1__662_64.min1.thm12017-02-06 12:44 1.5K 
[   ]turing_1__673_38.min1.thm12017-02-06 12:44 1.0K 
[   ]turing_1__674_41.min1.thm12017-02-06 12:44 1.2K 
[   ]turing_1__678_16.min1.thm12017-02-06 12:44 1.9K 
[   ]turing_1__679_14.min1.thm12017-02-06 12:44 1.4K 
[   ]turing_1__680_21.min1.thm12017-02-06 12:44 1.7K 
[   ]turing_1__682_10.min1.thm12017-02-06 12:44 1.1K 
[   ]turing_1__689_13.min1.thm12017-02-06 12:44 899  
[   ]turing_1__693_17.min1.thm12017-02-06 12:44 1.1K 
[   ]turing_1__709_38.min1.thm12017-02-06 12:44 1.0K 
[   ]turing_1__710_41.min1.thm12017-02-06 12:44 1.2K 
[   ]turing_1__711_41.min1.thm12017-02-06 12:44 1.2K 
[   ]turing_1__712_41.min1.thm12017-02-06 12:44 1.2K 
[   ]turing_1__716_16.min1.thm12017-02-06 12:44 1.9K 
[   ]turing_1__717_35.min1.thm12017-02-06 12:44 921  
[   ]turing_1__718_14.min1.thm12017-02-06 12:44 1.4K 
[   ]turing_1__726_13.min1.thm12017-02-06 12:44 899  
[   ]turing_1__730_17.min1.thm12017-02-06 12:44 1.1K 
[   ]turing_1__733_17.min1.thm12017-02-06 12:44 2.0K 
[   ]turing_1__740_16.min1.thm12017-02-06 12:44 900  
[   ]turing_1__744_18.min1.thm12017-02-06 12:44 2.0K 
[   ]turing_1__746_16.min1.thm12017-02-06 12:44 900  
[   ]turing_1__751_17.min1.thm12017-02-06 12:44 1.1K 
[   ]turing_1__760_33.min1.thm12017-02-06 12:44 2.6K 
[   ]turing_1__776_16.min1.thm12017-02-06 12:44 1.4K 
[   ]turing_1__798_16.min1.thm12017-02-06 12:44 1.4K 
[   ]turing_1__825_45.min1.thm12017-02-06 12:44 1.7K 
[   ]turing_1__838_36.min1.thm12017-02-06 12:44 943  
[   ]turing_1__838_36.min1.thm1.tptp2017-02-06 16:46 886  
[   ]turing_1__839_17.min1.thm12017-02-06 12:44 1.2K 
[   ]turing_1__850_17.min1.thm12017-02-06 12:44 495  
[   ]turing_1__857_28.min1.thm12017-02-06 12:44 955  
[   ]turing_1__858_17.min1.thm12017-02-06 12:44 1.1K 
[   ]turing_1__871_12.min1.thm12017-02-06 12:44 1.5K 
[   ]turing_1__872_17.min1.thm12017-02-06 12:44 2.2K 
[   ]turing_1__882_31.min1.thm12017-02-06 12:44 930  
[   ]turing_1__882_31.min1.thm1.tptp2017-02-06 16:46 873  
[   ]turing_1__894_16.min1.thm12017-02-06 12:44 1.8K 
[   ]turing_1__895_19.min1.thm12017-02-06 12:44 619  
[   ]turing_1__897_24.min1.thm12017-02-06 12:44 765  
[   ]turing_1__923_39.min1.thm12017-02-06 12:44 256  
[   ]turing_1__925_44.min1.thm12017-02-06 12:44 1.4K 
[   ]turing_1__930_19.min1.thm12017-02-06 12:44 1.6K 
[   ]turing_1__933_15.min1.thm12017-02-06 12:44 2.7K 
[   ]turing_1__935_41.min1.thm12017-02-06 12:44 2.9K 
[   ]turing_1__950_16.min1.thm12017-02-06 12:44 1.1K 
[   ]turing_1__954_14.min1.thm12017-02-06 12:44 1.8K 
[   ]turing_1__963_42.min1.thm12017-02-06 12:44 374  
[   ]turing_1__963_42.min1.thm1.tptp2017-02-06 16:46 296  
[   ]turing_1__969_19.min1.thm12017-02-06 12:44 1.6K 
[   ]turing_1__971_40.min1.thm12017-02-06 12:44 1.4K 
[   ]turing_1__972_13.min1.thm12017-02-06 12:44 1.6K 
[   ]turing_1__974_19.min1.thm12017-02-06 12:44 2.5K 
[   ]turing_1__975_42.min1.thm12017-02-06 12:44 514  
[   ]turing_1__976_39.min1.thm12017-02-06 12:44 2.3K 
[   ]turing_1__981_42.min1.thm12017-02-06 12:44 515  
[   ]turing_1__982_41.min1.thm12017-02-06 12:44 2.1K 
[   ]turing_1__983_44.min1.thm12017-02-06 12:44 2.5K 
[   ]turing_1__985_39.min1.thm12017-02-06 12:44 1.5K 
[   ]turing_1__987_42.min1.thm12017-02-06 12:44 370  
[   ]turing_1__987_42.min1.thm1.tptp2017-02-06 16:46 292  
[   ]turing_1__991_42.min1.thm12017-02-06 12:44 617  
[   ]turing_1__993_12.min1.thm12017-02-06 12:44 1.6K 
[   ]turing_1__994_14.min1.thm12017-02-06 12:44 1.2K 
[   ]turing_1__996_20.min1.thm12017-02-06 12:44 2.2K 
[   ]turing_1__997_23.min1.thm12017-02-06 12:44 1.7K 
[   ]turing_1__998_19.min1.thm12017-02-06 12:44 1.4K 
[   ]turing_1__1005_19.min1.thm12017-02-06 12:44 2.2K 
[   ]turing_1__1006_13.min1.thm12017-02-06 12:44 1.6K 
[   ]turing_1__1039_16.min1.thm12017-02-06 12:44 1.1K 
[   ]turing_1__1040_18.min1.thm12017-02-06 12:44 2.7K 
[   ]turing_1__1041_19.min1.thm12017-02-06 12:44 1.6K 
[   ]turing_1__1049_22.min1.thm12017-02-06 12:44 1.6K 
[   ]turing_1__1052_28.min1.thm12017-02-06 12:44 2.5K 
[   ]turing_1__1059_18.min1.thm12017-02-06 12:44 2.1K 
[   ]turing_1__1063_16.min1.thm12017-02-06 12:44 1.7K 
[   ]turing_1__1087_14.min1.thm12017-02-06 12:44 1.5K 
[   ]turing_1__1092_42.min1.thm12017-02-06 12:44 515  
[   ]turing_1__1094_39.min1.thm12017-02-06 12:44 1.6K 
[   ]turing_1__1097_42.min1.thm12017-02-06 12:44 515  
[   ]turing_1__1131_42.min1.thm12017-02-06 12:44 1.4K 
[   ]turing_1__1138_24.min1.thm12017-02-06 12:44 3.9K 
[   ]turing_1__1184_16.min1.thm12017-02-06 12:44 1.4K 
[   ]turing_1__1202_20.min1.thm12017-02-06 12:44 2.1K 
[   ]turing_1__1209_16.min1.thm12017-02-06 12:44 3.0K 
[   ]turing_1__1259_5.min1.thm12017-02-06 12:44 3.2K 
[   ]turing_1__1261_36.min1.thm12017-02-06 12:44 3.5K 
[   ]turing_1__1262_24.min1.thm12017-02-06 12:44 3.6K 
[   ]turing_1__1269_11.min1.thm12017-02-06 12:44 1.8K 
[   ]turing_1__1289_33.min1.thm12017-02-06 12:44 933  
[   ]turing_1__1289_33.min1.thm1.tptp2017-02-06 16:46 876  
[   ]turing_1__1313_23.min1.thm12017-02-06 12:44 463  
[   ]turing_1__1313_23.min1.thm1.tptp2017-02-06 16:46 393  
[   ]turing_1__1331_19.min1.thm12017-02-06 12:44 3.7K 
[   ]turing_1__1333_29.min1.thm12017-02-06 12:44 2.2K 
[   ]turing_1__1337_30.min1.thm12017-02-06 12:44 2.2K 
[   ]turing_1__1339_45.min1.thm12017-02-06 12:44 2.5K 
[   ]turing_1__1355_67.min1.thm12017-02-06 12:44 2.4K 
[   ]turing_1__1357_48.min1.thm12017-02-06 12:44 1.6K 
[   ]turing_1__1358_38.min1.thm12017-02-06 12:44 2.2K 
[   ]turing_1__1359_49.min1.thm12017-02-06 12:44 2.0K 
[   ]turing_1__1425_45.min1.thm12017-02-06 12:44 1.7K 
[   ]turing_1__1438_37.min1.thm12017-02-06 12:44 943  
[   ]turing_1__1438_37.min1.thm1.tptp2017-02-06 16:46 886  
[   ]turing_1__1439_17.min1.thm12017-02-06 12:44 1.2K 
[   ]turing_1__1444_28.min1.thm12017-02-06 12:44 955  
[   ]turing_1__1445_17.min1.thm12017-02-06 12:44 1.1K 
[   ]turing_1__1456_32.min1.thm12017-02-06 12:44 930  
[   ]turing_1__1456_32.min1.thm1.tptp2017-02-06 16:46 873  
[   ]turing_1__1465_43.min1.thm12017-02-06 12:44 374  
[   ]turing_1__1465_43.min1.thm1.tptp2017-02-06 16:46 296  
[   ]turing_1__1471_12.min1.thm12017-02-06 12:44 1.2K 
[   ]turing_1__1473_40.min1.thm12017-02-06 12:44 1.4K 
[   ]turing_1__1474_43.min1.thm12017-02-06 12:44 514  
[   ]turing_1__1476_13.min1.thm12017-02-06 12:44 1.2K 
[   ]turing_1__1478_19.min1.thm12017-02-06 12:44 2.2K 
[   ]turing_1__1481_17.min1.thm12017-02-06 12:44 2.2K 
[   ]turing_1__1482_43.min1.thm12017-02-06 12:44 515  
[   ]turing_1__1483_41.min1.thm12017-02-06 12:44 2.1K 
[   ]turing_1__1484_43.min1.thm12017-02-06 12:44 2.5K 
[   ]turing_1__1485_38.min1.thm12017-02-06 12:44 1.0K 
[   ]turing_1__1486_39.min1.thm12017-02-06 12:44 1.5K 
[   ]turing_1__1487_43.min1.thm12017-02-06 12:44 370  
[   ]turing_1__1487_43.min1.thm1.tptp2017-02-06 16:46 292  
[   ]turing_1__1489_13.min1.thm12017-02-06 12:44 1.6K 
[   ]turing_1__1490_18.min1.thm12017-02-06 12:44 1.8K 
[   ]turing_1__1500_15.min1.thm12017-02-06 12:44 209  
[   ]turing_1__1503_23.min1.thm12017-02-06 12:44 1.1K 
[   ]turing_1__1518_16.min1.thm12017-02-06 12:44 1.1K 
[   ]turing_1__1519_18.min1.thm12017-02-06 12:44 2.7K 
[   ]turing_1__1523_43.min1.thm12017-02-06 12:44 1.4K 
[   ]turing_1__1529_24.min1.thm12017-02-06 12:44 3.9K 
[   ]turing_1__1533_5.min1.thm12017-02-06 12:44 3.2K 
[   ]turing_1__1535_36.min1.thm12017-02-06 12:44 3.5K 
[   ]turing_1__1536_24.min1.thm12017-02-06 12:44 3.6K 
[   ]turing_1__1549_43.min1.thm12017-02-06 12:44 515  
[   ]turing_1__1559_43.min1.thm12017-02-06 12:44 515  
[   ]turing_1__1578_15.min1.thm12017-02-06 12:44 293  
[   ]turing_1__1582_20.min1.thm12017-02-06 12:44 2.2K 
[   ]turing_1__1584_16.min1.thm12017-02-06 12:44 1.1K 
[   ]turing_1__1595_41.min1.thm12017-02-06 12:44 966  
[   ]turing_1__1595_41.min1.thm1.tptp2017-02-06 16:46 909  
[   ]turing_1__1636_25.min1.thm12017-02-06 12:44 1.9K 
[   ]turing_1__1667_45.min1.thm12017-02-06 12:44 3.0K 
[   ]turing_1__1669_20.min1.thm12017-02-06 12:44 2.1K 
[   ]turing_1__1674_20.min1.thm12017-02-06 12:44 1.8K 
[   ]turing_1__1680_15.min1.thm12017-02-06 12:44 938  
[   ]turing_1__1682_24.min1.thm12017-02-06 12:44 2.3K 
[   ]turing_1__1706_16.min1.thm12017-02-06 12:44 2.1K 
[   ]turing_1__1732_65.min1.thm12017-02-06 12:44 3.1K 
[   ]turing_1__1733_50.min1.thm12017-02-06 12:44 1.8K 
[   ]turing_1__1741_34.min1.thm12017-02-06 12:44 933  
[   ]turing_1__1741_34.min1.thm1.tptp2017-02-06 16:46 876  
[   ]turing_1__1761_18.min1.thm12017-02-06 12:44 3.4K 
[   ]turing_1__1762_31.min1.thm12017-02-06 12:44 1.5K 
[   ]turing_1__1763_31.min1.thm12017-02-06 12:44 1.0K 
[   ]turing_1__1765_16.min1.thm12017-02-06 12:44 1.1K 
[   ]turing_1__1767_29.min1.thm12017-02-06 12:44 2.0K 
[   ]turing_1__1770_29.min1.thm12017-02-06 12:44 2.2K 
[   ]turing_1__1771_22.min1.thm12017-02-06 12:44 1.1K 
[   ]turing_1__1773_43.min1.thm12017-02-06 12:44 2.3K 
[   ]turing_1__1789_67.min1.thm12017-02-06 12:44 2.4K 
[   ]turing_1__1791_47.min1.thm12017-02-06 12:44 1.6K 
[   ]turing_1__1792_38.min1.thm12017-02-06 12:44 2.2K 
[   ]turing_1__1793_44.min1.thm12017-02-06 12:44 2.2K 
[   ]turing_1__1841_39.min1.thm12017-02-06 12:44 1.3K 
[   ]turing_1__1842_39.min1.thm12017-02-06 12:44 1.6K 
[   ]turing_1__1855_37.min1.thm12017-02-06 12:44 943  
[   ]turing_1__1855_37.min1.thm1.tptp2017-02-06 16:46 886  
[   ]turing_1__1856_17.min1.thm12017-02-06 12:44 1.2K 
[   ]turing_1__1861_28.min1.thm12017-02-06 12:44 955  
[   ]turing_1__1862_17.min1.thm12017-02-06 12:44 1.1K 
[   ]turing_1__1873_32.min1.thm12017-02-06 12:44 930  
[   ]turing_1__1873_32.min1.thm1.tptp2017-02-06 16:46 873  
[   ]turing_1__1884_43.min1.thm12017-02-06 12:44 374  
[   ]turing_1__1884_43.min1.thm1.tptp2017-02-06 16:46 296  
[   ]turing_1__1891_43.min1.thm12017-02-06 12:44 1.4K 
[   ]turing_1__1892_40.min1.thm12017-02-06 12:44 1.4K 
[   ]turing_1__1894_13.min1.thm12017-02-06 12:44 1.6K 
[   ]turing_1__1895_43.min1.thm12017-02-06 12:44 514  
[   ]turing_1__1897_41.min1.thm12017-02-06 12:44 2.1K 
[   ]turing_1__1898_14.min1.thm12017-02-06 12:44 1.2K 
[   ]turing_1__1899_43.min1.thm12017-02-06 12:44 370  
[   ]turing_1__1899_43.min1.thm1.tptp2017-02-06 16:46 292  
[   ]turing_1__1903_25.min1.thm12017-02-06 12:44 1.3K 
[   ]turing_1__1917_43.min1.thm12017-02-06 12:44 515  
[   ]turing_1__1924_19.min1.thm12017-02-06 12:44 1.4K 
[   ]turing_1__1937_43.min1.thm12017-02-06 12:44 515  
[   ]turing_1__1939_13.min1.thm12017-02-06 12:44 1.8K 
[   ]turing_1__1953_41.min1.thm12017-02-06 12:44 967  
[   ]turing_1__1953_41.min1.thm1.tptp2017-02-06 16:46 910  
[   ]turing_1__1980_43.min1.thm12017-02-06 12:44 515  
[   ]turing_1__1991_40.min1.thm12017-02-06 12:44 3.2K 
[   ]turing_1__1993_36.min1.thm12017-02-06 12:44 3.5K 
[   ]turing_1__1994_24.min1.thm12017-02-06 12:44 3.6K 
[   ]turing_1__2008_51.min1.thm12017-02-06 12:44 2.8K 
[   ]turing_1__2010_18.min1.thm12017-02-06 12:44 3.2K 
[   ]turing_1__2013_34.min1.thm12017-02-06 12:44 933  
[   ]turing_1__2013_34.min1.thm1.tptp2017-02-06 16:46 876  
[   ]turing_1__2038_19.min1.thm12017-02-06 12:44 1.0K 
[   ]turing_1__2040_32.min1.thm12017-02-06 12:44 1.7K 
[   ]turing_1__2041_32.min1.thm12017-02-06 12:44 944  
[   ]turing_1__2044_48.min1.thm12017-02-06 12:44 639  
[   ]turing_1__2045_18.min1.thm12017-02-06 12:44 3.4K 
[   ]turing_1__2050_18.min1.thm12017-02-06 12:44 2.1K 
[   ]turing_1__2067_61.min1.thm12017-02-06 12:44 2.2K 
[   ]turing_1__2069_48.min1.thm12017-02-06 12:44 1.6K 
[   ]turing_1__2070_42.min1.thm12017-02-06 12:44 2.0K 
[   ]turing_1__2118_39.min1.thm12017-02-06 12:44 1.3K 
[   ]turing_1__2119_39.min1.thm12017-02-06 12:44 1.6K 
[   ]turing_1__2132_38.min1.thm12017-02-06 12:44 943  
[   ]turing_1__2132_38.min1.thm1.tptp2017-02-06 16:46 886  
[   ]turing_1__2133_17.min1.thm12017-02-06 12:44 1.2K 
[   ]turing_1__2138_28.min1.thm12017-02-06 12:44 955  
[   ]turing_1__2139_17.min1.thm12017-02-06 12:44 1.1K 
[   ]turing_1__2150_33.min1.thm12017-02-06 12:44 930  
[   ]turing_1__2150_33.min1.thm1.tptp2017-02-06 16:46 873  
[   ]turing_1__2179_39.min1.thm12017-02-06 12:44 266  
[   ]turing_1__2181_44.min1.thm12017-02-06 12:44 1.4K 
[   ]turing_1__2188_14.min1.thm12017-02-06 12:44 1.6K 
[   ]turing_1__2192_14.min1.thm12017-02-06 12:44 2.7K 
[   ]turing_1__2197_42.min1.thm12017-02-06 12:44 2.9K 
[   ]turing_1__2209_26.min1.thm12017-02-06 12:44 2.3K 
[   ]turing_1__2215_17.min1.thm12017-02-06 12:44 271  
[   ]turing_1__2225_19.min1.thm12017-02-06 12:44 2.0K 
[   ]turing_1__2227_18.min1.thm12017-02-06 12:44 691  
[   ]turing_1__2234_20.min1.thm12017-02-06 12:44 478  
[   ]turing_1__2237_21.min1.thm12017-02-06 12:44 1.7K 
[   ]turing_1__2239_20.min1.thm12017-02-06 12:44 638  
[   ]turing_1__2243_20.min1.thm12017-02-06 12:44 2.2K 
[   ]turing_1__2260_58.min1.thm12017-02-06 12:44 1.6K 
[   ]turing_1__2261_15.min1.thm12017-02-06 12:44 379  
[   ]turing_1__2274_44.min1.thm12017-02-06 12:44 374  
[   ]turing_1__2274_44.min1.thm1.tptp2017-02-06 16:46 296  
[   ]turing_1__2282_45.min1.thm12017-02-06 12:44 1.4K 
[   ]turing_1__2283_26.min1.thm12017-02-06 12:44 1.8K 
[   ]turing_1__2291_23.min1.thm12017-02-06 12:44 3.9K 
[   ]turing_1__2292_44.min1.thm12017-02-06 12:44 515  
[   ]turing_1__2294_40.min1.thm12017-02-06 12:44 1.4K 
[   ]turing_1__2296_27.min1.thm12017-02-06 12:44 1.9K 
[   ]turing_1__2300_40.min1.thm12017-02-06 12:44 3.2K 
[   ]turing_1__2302_36.min1.thm12017-02-06 12:44 3.5K 
[   ]turing_1__2303_24.min1.thm12017-02-06 12:44 3.6K 
[   ]turing_1__2309_28.min1.thm12017-02-06 12:44 2.0K 
[   ]turing_1__2312_44.min1.thm12017-02-06 12:44 515  
[   ]turing_1__2325_14.min1.thm12017-02-06 12:44 1.8K 
[   ]turing_1__2326_17.min1.thm12017-02-06 12:44 2.0K 
[   ]turing_1__2336_11.min1.thm12017-02-06 12:44 2.9K 
[   ]turing_1__2375_16.min1.thm12017-02-06 12:44 1.8K 
[   ]turing_1__2406_37.min1.thm12017-02-06 12:44 1.8K 
[   ]turing_1__2414_35.min1.thm12017-02-06 12:44 933  
[   ]turing_1__2414_35.min1.thm1.tptp2017-02-06 16:46 876  
[   ]turing_1__2442_19.min1.thm12017-02-06 12:44 1.1K 
[   ]turing_1__2444_32.min1.thm12017-02-06 12:44 1.8K 
[   ]turing_1__2448_48.min1.thm12017-02-06 12:44 639  
[   ]turing_1__2449_18.min1.thm12017-02-06 12:44 3.7K 
[   ]turing_1__2450_29.min1.thm12017-02-06 12:44 2.3K 
[   ]turing_1__2453_29.min1.thm12017-02-06 12:44 2.6K 
[   ]turing_1__2454_17.min1.thm12017-02-06 12:44 1.1K 
[   ]turing_1__2469_13.min1.thm12017-02-06 12:44 1.7K 
[   ]turing_1__2483_41.min1.thm12017-02-06 12:44 1.4K 
[   ]turing_1__2484_41.min1.thm12017-02-06 12:44 1.4K 
[   ]turing_1__2485_16.min1.thm12017-02-06 12:44 2.0K 
[   ]turing_1__2487_16.min1.thm12017-02-06 12:44 2.0K 
[   ]turing_1__2497_41.min1.thm12017-02-06 12:44 1.4K 
[   ]turing_1__2498_15.min1.thm12017-02-06 12:44 2.1K 
[   ]turing_1__2508_41.min1.thm12017-02-06 12:44 1.4K 
[   ]turing_1__2509_14.min1.thm12017-02-06 12:44 2.1K 
[   ]turing_1__2521_14.min1.thm12017-02-06 12:44 1.3K 
[   ]turing_1__2527_18.min1.thm12017-02-06 12:44 2.3K 
[   ]turing_1__2534_18.min1.thm12017-02-06 12:44 2.3K 
[   ]turing_1__2545_70.min1.thm12017-02-06 12:44 3.1K 
[   ]turing_1__2547_44.min1.thm12017-02-06 12:44 2.6K 
[   ]turing_1__2560_72.min1.thm12017-02-06 12:44 3.1K 
[   ]turing_1__2562_44.min1.thm12017-02-06 12:44 3.1K 
[   ]turing_1__2575_18.min1.thm12017-02-06 12:44 826  
[   ]turing_1__2576_19.min1.thm12017-02-06 12:44 1.4K 
[   ]turing_1__2577_19.min1.thm12017-02-06 12:44 1.4K 
[   ]turing_1__2583_20.min1.thm12017-02-06 12:44 826  
[   ]turing_1__2584_19.min1.thm12017-02-06 12:44 1.4K 
[   ]turing_1__2585_19.min1.thm12017-02-06 12:44 1.4K 
[   ]turing_1__2594_13.min1.thm12017-02-06 12:44 1.4K 
[   ]turing_1__2597_13.min1.thm12017-02-06 12:44 1.5K 
[   ]turing_1__2604_14.min1.thm12017-02-06 12:44 270  
[   ]turing_1__2608_14.min1.thm12017-02-06 12:44 1.0K 
[   ]turing_1__2615_14.min1.thm12017-02-06 12:44 270  
[   ]turing_1__2619_14.min1.thm12017-02-06 12:44 1.1K 
[   ]turing_1__2655_47.min1.thm12017-02-06 12:44 2.2K 
[   ]turing_1__2677_18.min1.thm12017-02-06 12:44 1.2K 
[   ]turing_1__2687_35.min1.thm12017-02-06 12:44 1.3K 
[   ]turing_1__2687_35.min1.thm1.tptp2017-02-06 16:46 1.3K 
[   ]turing_1__2688_16.min1.thm12017-02-06 12:44 1.3K 
[   ]turing_1__2688_16.min1.thm1.tptp2017-02-06 16:46 1.3K 
[   ]turing_1__2705_75.min1.thm12017-02-06 12:44 821  
[   ]turing_1__2707_71.min1.thm12017-02-06 12:44 821  
[   ]turing_1__2729_17.min1.thm12017-02-06 12:44 744  
[   ]turing_1__2730_49.min1.thm12017-02-06 12:44 1.5K 
[   ]turing_1__2733_21.min1.thm12017-02-06 12:44 898  
[   ]turing_1__2733_21.min1.thm1.tptp2017-02-06 16:46 836  
[   ]turing_1__2734_50.min1.thm12017-02-06 12:44 732  
[   ]turing_1__2737_21.min1.thm12017-02-06 12:44 2.7K 
[   ]turing_1__2744_28.min1.thm12017-02-06 12:44 2.5K 
[   ]turing_1__2745_54.min1.thm12017-02-06 12:44 3.8K 
[   ]turing_1__2760_17.min1.thm12017-02-06 12:44 744  
[   ]turing_1__2761_49.min1.thm12017-02-06 12:44 1.5K 
[   ]turing_1__2764_21.min1.thm12017-02-06 12:44 1.0K 
[   ]turing_1__2765_50.min1.thm12017-02-06 12:44 825  
[   ]turing_1__2768_21.min1.thm12017-02-06 12:44 2.8K 
[   ]turing_1__2770_7.min1.thm12017-02-06 12:44 2.2K 
[   ]turing_1__2775_55.min1.thm12017-02-06 12:44 3.8K 
[   ]turing_1__2803_4.min1.thm12017-02-06 12:44 2.2K 
[   ]turing_1__2817_16.min1.thm12017-02-06 12:44 1.8K 
[   ]turing_1__2827_14.min1.thm12017-02-06 12:44 2.0K 
[   ]turing_1__2829_16.min1.thm12017-02-06 12:44 1.0K 
[   ]turing_1__2840_27.min1.thm12017-02-06 12:44 3.7K 
[   ]turing_1__2857_16.min1.thm12017-02-06 12:44 4.9K 
[   ]turing_1__2864_39.min1.thm12017-02-06 12:44 2.5K 
[   ]turing_1__2866_38.min1.thm12017-02-06 12:44 2.0K 
[   ]turing_1__2867_13.min1.thm12017-02-06 12:44 2.9K 
[   ]turing_1__2868_67.min1.thm12017-02-06 12:44 1.8K 
[   ]turing_1__2868_67.min1.thm1.tptp2017-02-06 16:46 1.7K 
[   ]turing_1__2869_43.min1.thm12017-02-06 12:44 2.0K 
[   ]turing_1__2872_35.min1.thm12017-02-06 12:44 2.5K 
[   ]turing_1__2873_43.min1.thm12017-02-06 12:44 2.0K 
[   ]turing_1__2876_35.min1.thm12017-02-06 12:44 2.5K 
[   ]turing_1__2880_20.min1.thm12017-02-06 12:44 4.0K 
[   ]turing_1__2885_4.min1.thm12017-02-06 12:44 2.2K 
[   ]turing_1__2899_16.min1.thm12017-02-06 12:44 1.8K 
[   ]turing_1__2913_14.min1.thm12017-02-06 12:44 2.0K 
[   ]turing_1__2915_16.min1.thm12017-02-06 12:44 1.0K 
[   ]turing_1__2939_16.min1.thm12017-02-06 12:44 6.3K 
[   ]turing_1__2941_23.min1.thm12017-02-06 12:44 4.0K 
[   ]turing_1__2943_34.min1.thm12017-02-06 12:44 2.2K 
[   ]turing_1__2944_28.min1.thm12017-02-06 12:44 4.1K 
[   ]turing_1__2948_53.min1.thm12017-02-06 12:44 2.2K 
[   ]turing_1__2951_43.min1.thm12017-02-06 12:44 2.0K 
[   ]turing_1__2954_43.min1.thm12017-02-06 12:44 2.0K 
[   ]turing_1__2959_27.min1.thm12017-02-06 12:44 5.1K 
[   ]turing_1__2961_63.min1.thm12017-02-06 12:44 4.0K 
[   ]turing_1__2963_25.min1.thm12017-02-06 12:44 2.6K 
[   ]turing_1__2964_38.min1.thm12017-02-06 12:44 5.9K 
[   ]turing_1__2976_40.min1.thm12017-02-06 12:44 1.4K 
[   ]turing_1__2977_11.min1.thm12017-02-06 12:44 391  
[   ]turing_1__2977_11.min1.thm1.tptp2017-02-06 16:46 315  
[   ]turing_1__2978_14.min1.thm12017-02-06 12:44 580  
[   ]turing_1__2978_14.min1.thm1.tptp2017-02-06 16:46 494  
[   ]turing_1__2989_40.min1.thm12017-02-06 12:44 1.4K 
[   ]turing_1__2990_11.min1.thm12017-02-06 12:44 391  
[   ]turing_1__2990_11.min1.thm1.tptp2017-02-06 16:46 315  
[   ]turing_1__2991_17.min1.thm12017-02-06 12:44 793  
[   ]turing_1__3023_17.min1.thm12017-02-06 12:44 1.4K 
[   ]turing_1__3039_38.min1.thm12017-02-06 12:44 1.1K 
[   ]turing_1__3041_32.min1.thm12017-02-06 12:44 936  
[   ]turing_1__3041_32.min1.thm1.tptp2017-02-06 16:46 879  
[   ]turing_1__3044_36.min1.thm12017-02-06 12:44 968  
[   ]turing_1__3044_36.min1.thm1.tptp2017-02-06 16:46 911  
[   ]turing_1__3045_34.min1.thm12017-02-06 12:44 968  
[   ]turing_1__3045_34.min1.thm1.tptp2017-02-06 16:46 911  
[   ]turing_1__3048_32.min1.thm12017-02-06 12:44 936  
[   ]turing_1__3048_32.min1.thm1.tptp2017-02-06 16:46 879  

Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80