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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]topreal1__63_18.min1.thm12017-02-06 12:45 481  
[   ]topreal1__63_18.min1.thm1.tptp2017-02-06 16:46 426  
[   ]topreal1__64_18.min1.thm12017-02-06 12:45 320  
[   ]topreal1__67_22.min1.thm12017-02-06 12:45 570  
[   ]topreal1__68_23.min1.thm12017-02-06 12:45 428  
[   ]topreal1__68_23.min1.thm1.tptp2017-02-06 16:46 366  
[   ]topreal1__72_22.min1.thm12017-02-06 12:45 570  
[   ]topreal1__73_23.min1.thm12017-02-06 12:45 521  
[   ]topreal1__78_16.min1.thm12017-02-06 12:45 465  
[   ]topreal1__78_16.min1.thm1.tptp2017-02-06 16:46 403  
[   ]topreal1__81_52.min1.thm12017-02-06 12:45 443  
[   ]topreal1__81_52.min1.thm1.tptp2017-02-06 16:46 380  
[   ]topreal1__82_18.min1.thm12017-02-06 12:45 464  
[   ]topreal1__82_18.min1.thm1.tptp2017-02-06 16:46 405  
[   ]topreal1__86_52.min1.thm12017-02-06 12:45 443  
[   ]topreal1__86_52.min1.thm1.tptp2017-02-06 16:46 380  
[   ]topreal1__87_18.min1.thm12017-02-06 12:45 464  
[   ]topreal1__87_18.min1.thm1.tptp2017-02-06 16:46 405  
[   ]topreal1__90_17.min1.thm12017-02-06 12:45 494  
[   ]topreal1__90_17.min1.thm1.tptp2017-02-06 16:46 442  
[   ]topreal1__118_15.min1.thm12017-02-06 12:45 1.5K 
[   ]topreal1__119_23.min1.thm12017-02-06 12:45 2.0K 
[   ]topreal1__120_27.min1.thm12017-02-06 12:45 455  
[   ]topreal1__121_17.min1.thm12017-02-06 12:45 1.3K 
[   ]topreal1__123_18.min1.thm12017-02-06 12:45 1.1K 
[   ]topreal1__124_23.min1.thm12017-02-06 12:45 2.0K 
[   ]topreal1__125_17.min1.thm12017-02-06 12:45 1.3K 
[   ]topreal1__126_21.min1.thm12017-02-06 12:45 1.2K 
[   ]topreal1__127_17.min1.thm12017-02-06 12:45 1.0K 
[   ]topreal1__144_16.min1.thm12017-02-06 12:45 1.5K 
[   ]topreal1__148_16.min1.thm12017-02-06 12:45 1.5K 
[   ]topreal1__154_16.min1.thm12017-02-06 12:45 907  
[   ]topreal1__186_13.min1.thm12017-02-06 12:45 1.1K 
[   ]topreal1__201_25.min1.thm12017-02-06 12:45 1.8K 
[   ]topreal1__203_21.min1.thm12017-02-06 12:45 1.3K 
[   ]topreal1__205_14.min1.thm12017-02-06 12:45 2.6K 
[   ]topreal1__210_18.min1.thm12017-02-06 12:45 906  
[   ]topreal1__227_25.min1.thm12017-02-06 12:45 1.6K 
[   ]topreal1__229_21.min1.thm12017-02-06 12:45 1.3K 
[   ]topreal1__231_14.min1.thm12017-02-06 12:45 2.6K 
[   ]topreal1__236_18.min1.thm12017-02-06 12:45 906  
[   ]topreal1__255_15.min1.thm12017-02-06 12:45 254  
[   ]topreal1__266_21.min1.thm12017-02-06 12:45 254  
[   ]topreal1__270_29.min1.thm12017-02-06 12:45 2.7K 
[   ]topreal1__272_23.min1.thm12017-02-06 12:45 1.5K 
[   ]topreal1__290_24.min1.thm12017-02-06 12:45 2.6K 
[   ]topreal1__291_19.min1.thm12017-02-06 12:45 3.1K 
[   ]topreal1__293_24.min1.thm12017-02-06 12:45 1.0K 
[   ]topreal1__294_25.min1.thm12017-02-06 12:45 1.4K 
[   ]topreal1__298_24.min1.thm12017-02-06 12:45 971  
[   ]topreal1__299_19.min1.thm12017-02-06 12:45 796  
[   ]topreal1__315_45.min1.thm12017-02-06 12:45 632  
[   ]topreal1__320_36.min1.thm12017-02-06 12:45 1.1K 
[   ]topreal1__322_23.min1.thm12017-02-06 12:45 1.2K 
[   ]topreal1__327_22.min1.thm12017-02-06 12:45 289  
[   ]topreal1__331_38.min1.thm12017-02-06 12:45 1.8K 
[   ]topreal1__332_37.min1.thm12017-02-06 12:45 758  
[   ]topreal1__333_22.min1.thm12017-02-06 12:45 646  
[   ]topreal1__335_44.min1.thm12017-02-06 12:45 662  
[   ]topreal1__341_38.min1.thm12017-02-06 12:45 1.8K 
[   ]topreal1__342_37.min1.thm12017-02-06 12:45 758  
[   ]topreal1__343_22.min1.thm12017-02-06 12:45 646  
[   ]topreal1__345_44.min1.thm12017-02-06 12:45 662  
[   ]topreal1__349_20.min1.thm12017-02-06 12:45 795  
[   ]topreal1__352_16.min1.thm12017-02-06 12:45 882  
[   ]topreal1__354_14.min1.thm12017-02-06 12:45 1.0K 
[   ]topreal1__365_47.min1.thm12017-02-06 12:45 1.3K 
[   ]topreal1__370_35.min1.thm12017-02-06 12:45 1.1K 
[   ]topreal1__377_35.min1.thm12017-02-06 12:45 1.1K 
[   ]topreal1__378_21.min1.thm12017-02-06 12:45 781  
[   ]topreal1__381_14.min1.thm12017-02-06 12:45 470  
[   ]topreal1__392_31.min1.thm12017-02-06 12:45 1.4K 
[   ]topreal1__393_45.min1.thm12017-02-06 12:45 1.3K 
[   ]topreal1__395_13.min1.thm12017-02-06 12:45 335  
[   ]topreal1__398_67.min1.thm12017-02-06 12:45 1.8K 
[   ]topreal1__404_45.min1.thm12017-02-06 12:45 1.3K 
[   ]topreal1__405_47.min1.thm12017-02-06 12:45 1.3K 
[   ]topreal1__417_35.min1.thm12017-02-06 12:45 1.3K 
[   ]topreal1__421_35.min1.thm12017-02-06 12:45 1.3K 
[   ]topreal1__423_17.min1.thm12017-02-06 12:45 1.5K 
[   ]topreal1__454_14.min1.thm12017-02-06 12:45 925  
[   ]topreal1__457_26.min1.thm12017-02-06 12:45 1.0K 
[   ]topreal1__458_30.min1.thm12017-02-06 12:45 1.3K 
[   ]topreal1__459_14.min1.thm12017-02-06 12:45 646  
[   ]topreal1__462_15.min1.thm12017-02-06 12:45 889  
[   ]topreal1__464_13.min1.thm12017-02-06 12:45 936  
[   ]topreal1__467_37.min1.thm12017-02-06 12:45 1.2K 
[   ]topreal1__469_15.min1.thm12017-02-06 12:45 1.2K 
[   ]topreal1__473_17.min1.thm12017-02-06 12:45 2.4K 
[   ]topreal1__486_28.min1.thm12017-02-06 12:45 2.6K 
[   ]topreal1__487_24.min1.thm12017-02-06 12:45 2.3K 
[   ]topreal1__500_54.min1.thm12017-02-06 12:45 2.1K 
[   ]topreal1__507_16.min1.thm12017-02-06 12:45 341  
[   ]topreal1__507_16.min1.thm1.tptp2017-02-06 16:46 276  
[   ]topreal1__512_41.min1.thm12017-02-06 12:45 712  
[   ]topreal1__512_41.min1.thm1.tptp2017-02-06 16:46 634  
[   ]topreal1__513_17.min1.thm12017-02-06 12:45 1.0K 
[   ]topreal1__534_35.min1.thm12017-02-06 12:45 1.2K 
[   ]topreal1__535_44.min1.thm12017-02-06 12:45 817  
[   ]topreal1__550_33.min1.thm12017-02-06 12:45 1.3K 
[   ]topreal1__551_42.min1.thm12017-02-06 12:45 762  
[   ]topreal1__560_18.min1.thm12017-02-06 12:45 766  
[   ]topreal1__572_56.min1.thm12017-02-06 12:45 663  
[   ]topreal1__573_55.min1.thm12017-02-06 12:45 609  
[   ]topreal1__576_25.min1.thm12017-02-06 12:45 608  
[   ]topreal1__581_33.min1.thm12017-02-06 12:45 1.0K 
[   ]topreal1__583_15.min1.thm12017-02-06 12:45 645  
[   ]topreal1__595_14.min1.thm12017-02-06 12:45 598  
[   ]topreal1__596_32.min1.thm12017-02-06 12:45 1.4K 
[   ]topreal1__600_11.min1.thm12017-02-06 12:45 487  
[   ]topreal1__600_11.min1.thm1.tptp2017-02-06 16:46 424  
[   ]topreal1__601_26.min1.thm12017-02-06 12:45 1.1K 
[   ]topreal1__609_24.min1.thm12017-02-06 12:45 1.0K 
[   ]topreal1__618_33.min1.thm12017-02-06 12:45 1.4K 
[   ]topreal1__622_11.min1.thm12017-02-06 12:45 487  
[   ]topreal1__622_11.min1.thm1.tptp2017-02-06 16:46 424  
[   ]topreal1__623_32.min1.thm12017-02-06 12:45 1.1K 
[   ]topreal1__624_33.min1.thm12017-02-06 12:45 1.4K 
[   ]topreal1__628_11.min1.thm12017-02-06 12:45 489  
[   ]topreal1__628_11.min1.thm1.tptp2017-02-06 16:46 426  
[   ]topreal1__629_31.min1.thm12017-02-06 12:45 1.1K 
[   ]topreal1__662_38.min1.thm12017-02-06 12:45 572  
[   ]topreal1__664_23.min1.thm12017-02-06 12:45 1.5K 
[   ]topreal1__665_24.min1.thm12017-02-06 12:45 1.8K 
[   ]topreal1__666_19.min1.thm12017-02-06 12:45 1.2K 
[   ]topreal1__670_37.min1.thm12017-02-06 12:45 888  
[   ]topreal1__675_52.min1.thm12017-02-06 12:45 653  
[   ]topreal1__677_64.min1.thm12017-02-06 12:45 1.1K 
[   ]topreal1__683_32.min1.thm12017-02-06 12:45 1.5K 
[   ]topreal1__685_51.min1.thm12017-02-06 12:45 1.0K 
[   ]topreal1__694_38.min1.thm12017-02-06 12:45 395  
[   ]topreal1__698_9.min1.thm12017-02-06 12:45 793  
[   ]topreal1__704_47.min1.thm12017-02-06 12:45 1.0K 
[   ]topreal1__711_47.min1.thm12017-02-06 12:45 1.1K 
[   ]topreal1__717_34.min1.thm12017-02-06 12:45 1.2K 
[   ]topreal1__724_27.min1.thm12017-02-06 12:45 1.2K 
[   ]topreal1__734_21.min1.thm12017-02-06 12:45 1.1K 
[   ]topreal1__738_54.min1.thm12017-02-06 12:45 1.0K 
[   ]topreal1__741_32.min1.thm12017-02-06 12:45 2.8K 
[   ]topreal1__742_34.min1.thm12017-02-06 12:45 1.4K 
[   ]topreal1__750_38.min1.thm12017-02-06 12:45 2.2K 
[   ]topreal1__764_21.min1.thm12017-02-06 12:45 755  
[   ]topreal1__765_19.min1.thm12017-02-06 12:45 502  
[   ]topreal1__770_60.min1.thm12017-02-06 12:45 738  
[   ]topreal1__775_17.min1.thm12017-02-06 12:45 1.3K 
[   ]topreal1__776_34.min1.thm12017-02-06 12:45 1.1K 
[   ]topreal1__777_21.min1.thm12017-02-06 12:45 1.4K 
[   ]topreal1__778_27.min1.thm12017-02-06 12:45 737  
[   ]topreal1__779_12.min1.thm12017-02-06 12:45 642  
[   ]topreal1__780_17.min1.thm12017-02-06 12:45 1.3K 
[   ]topreal1__781_32.min1.thm12017-02-06 12:45 1.0K 
[   ]topreal1__782_29.min1.thm12017-02-06 12:45 1.5K 
[   ]topreal1__784_12.min1.thm12017-02-06 12:45 593  
[   ]topreal1__792_58.min1.thm12017-02-06 12:45 741  
[   ]topreal1__794_19.min1.thm12017-02-06 12:45 1.1K 
[   ]topreal1__807_11.min1.thm12017-02-06 12:45 197  
[   ]topreal1__810_42.min1.thm12017-02-06 12:45 862  
[   ]topreal1__817_14.min1.thm12017-02-06 12:45 1.5K 
[   ]topreal1__831_11.min1.thm12017-02-06 12:45 197  
[   ]topreal1__834_42.min1.thm12017-02-06 12:45 862  
[   ]topreal1__841_14.min1.thm12017-02-06 12:45 1.5K 
[   ]topreal1__855_14.min1.thm12017-02-06 12:45 296  
[   ]topreal1__876_16.min1.thm12017-02-06 12:45 785  
[   ]topreal1__877_16.min1.thm12017-02-06 12:45 790  
[   ]topreal1__887_61.min1.thm12017-02-06 12:45 1.6K 
[   ]topreal1__890_27.min1.thm12017-02-06 12:45 1.7K 
[   ]topreal1__892_15.min1.thm12017-02-06 12:45 1.2K 
[   ]topreal1__893_14.min1.thm12017-02-06 12:45 1.2K 
[   ]topreal1__894_15.min1.thm12017-02-06 12:45 1.2K 
[   ]topreal1__905_13.min1.thm12017-02-06 12:45 631  
[   ]topreal1__905_13.min1.thm1.tptp2017-02-06 16:46 572  
[   ]topreal1__907_61.min1.thm12017-02-06 12:45 1.9K 
[   ]topreal1__910_13.min1.thm12017-02-06 12:45 2.0K 
[   ]topreal1__913_28.min1.thm12017-02-06 12:45 626  
[   ]topreal1__914_16.min1.thm12017-02-06 12:45 546  
[   ]topreal1__915_16.min1.thm12017-02-06 12:45 546  
[   ]topreal1__928_41.min1.thm12017-02-06 12:45 2.7K 
[   ]topreal1__931_16.min1.thm12017-02-06 12:45 1.1K 
[   ]topreal1__932_15.min1.thm12017-02-06 12:45 1.0K 
[   ]topreal1__933_15.min1.thm12017-02-06 12:45 1.1K 
[   ]topreal1__944_12.min1.thm12017-02-06 12:45 621  
[   ]topreal1__944_12.min1.thm1.tptp2017-02-06 16:46 562  
[   ]topreal1__953_28.min1.thm12017-02-06 12:45 597  
[   ]topreal1__954_17.min1.thm12017-02-06 12:45 791  
[   ]topreal1__955_17.min1.thm12017-02-06 12:45 786  
[   ]topreal1__965_62.min1.thm12017-02-06 12:45 1.6K 
[   ]topreal1__968_27.min1.thm12017-02-06 12:45 1.7K 
[   ]topreal1__970_16.min1.thm12017-02-06 12:45 1.2K 
[   ]topreal1__971_15.min1.thm12017-02-06 12:45 1.2K 
[   ]topreal1__972_15.min1.thm12017-02-06 12:45 1.2K 
[   ]topreal1__987_41.min1.thm12017-02-06 12:45 2.7K 
[   ]topreal1__990_16.min1.thm12017-02-06 12:45 1.1K 
[   ]topreal1__991_15.min1.thm12017-02-06 12:45 1.0K 
[   ]topreal1__992_15.min1.thm12017-02-06 12:45 1.1K 
[   ]topreal1__1003_12.min1.thm12017-02-06 12:45 631  
[   ]topreal1__1003_12.min1.thm1.tptp2017-02-06 16:46 572  
[   ]topreal1__1005_61.min1.thm12017-02-06 12:45 1.9K 
[   ]topreal1__1008_13.min1.thm12017-02-06 12:45 2.0K 
[   ]topreal1__1011_28.min1.thm12017-02-06 12:45 629  
[   ]topreal1__1020_13.min1.thm12017-02-06 12:45 621  
[   ]topreal1__1020_13.min1.thm1.tptp2017-02-06 16:46 562  
[   ]topreal1__1029_28.min1.thm12017-02-06 12:45 599  
[   ]topreal1__1075_48.min1.thm12017-02-06 12:45 625  
[   ]topreal1__1075_48.min1.thm1.tptp2017-02-06 16:46 566  
[   ]topreal1__1077_56.min1.thm12017-02-06 12:45 635  
[   ]topreal1__1077_56.min1.thm1.tptp2017-02-06 16:46 576  
[   ]topreal1__1078_21.min1.thm12017-02-06 12:45 734  
[   ]topreal1__1104_51.min1.thm12017-02-06 12:45 635  
[   ]topreal1__1104_51.min1.thm1.tptp2017-02-06 16:46 576  
[   ]topreal1__1106_62.min1.thm12017-02-06 12:45 1.1K 
[   ]topreal1__1107_21.min1.thm12017-02-06 12:45 734  
[   ]topreal1__1134_56.min1.thm12017-02-06 12:45 635  
[   ]topreal1__1134_56.min1.thm1.tptp2017-02-06 16:46 576  
[   ]topreal1__1136_59.min1.thm12017-02-06 12:45 1.1K 
[   ]topreal1__1137_21.min1.thm12017-02-06 12:45 744  
[   ]topreal1__1163_51.min1.thm12017-02-06 12:45 625  
[   ]topreal1__1163_51.min1.thm1.tptp2017-02-06 16:46 566  
[   ]topreal1__1165_64.min1.thm12017-02-06 12:45 1.1K 
[   ]topreal1__1166_21.min1.thm12017-02-06 12:45 724  
[   ]topreal1__1186_52.min1.thm12017-02-06 12:45 1.1K 
[   ]topreal1__1188_60.min1.thm12017-02-06 12:45 1.1K 
[   ]topreal1__1200_52.min1.thm12017-02-06 12:45 1.1K 
[   ]topreal1__1202_60.min1.thm12017-02-06 12:45 1.1K 
[   ]topreal1__1219_42.min1.thm12017-02-06 12:45 1.0K 
[   ]topreal1__1220_16.min1.thm12017-02-06 12:45 364  
[   ]topreal1__1220_16.min1.thm1.tptp2017-02-06 16:46 295  
[   ]topreal1__1222_13.min1.thm12017-02-06 12:45 131  
[   ]topreal1__1250_74.min1.thm12017-02-06 12:45 910  
[   ]topreal1__1253_52.min1.thm12017-02-06 12:45 577  
[   ]topreal1__1254_35.min1.thm12017-02-06 12:45 548  
[   ]topreal1__1254_35.min1.thm1.tptp2017-02-06 16:46 470  
[   ]topreal1__1255_16.min1.thm12017-02-06 12:45 814  
[   ]topreal1__1271_18.min1.thm12017-02-06 12:45 1.2K 
[   ]topreal1__1276_21.min1.thm12017-02-06 12:45 923  
[   ]topreal1__1278_76.min1.thm12017-02-06 12:45 970  
[   ]topreal1__1281_23.min1.thm12017-02-06 12:45 683  
[   ]topreal1__1287_21.min1.thm12017-02-06 12:45 923  
[   ]topreal1__1289_15.min1.thm12017-02-06 12:45 970  
[   ]topreal1__1292_23.min1.thm12017-02-06 12:45 683  
[   ]topreal1__1295_16.min1.thm12017-02-06 12:45 274  
[   ]topreal1__1311_24.min1.thm12017-02-06 12:45 918  
[   ]topreal1__1321_20.min1.thm12017-02-06 12:45 290  
[   ]topreal1__1321_20.min1.thm1.tptp2017-02-06 16:46 201  
[   ]topreal1__1322_17.min1.thm12017-02-06 12:45 1.4K 
[   ]topreal1__1358_15.min1.thm12017-02-06 12:45 546  
[   ]topreal1__1361_15.min1.thm12017-02-06 12:45 558  
[   ]topreal1__1368_14.min1.thm12017-02-06 12:45 453  
[   ]topreal1__1368_14.min1.thm1.tptp2017-02-06 16:46 399  
[   ]topreal1__1369_57.min1.thm12017-02-06 12:45 631  
[   ]topreal1__1369_57.min1.thm1.tptp2017-02-06 16:46 572  
[   ]topreal1__1370_52.min1.thm12017-02-06 12:45 621  
[   ]topreal1__1370_52.min1.thm1.tptp2017-02-06 16:46 562  
[   ]topreal1__1374_20.min1.thm12017-02-06 12:45 349  
[   ]topreal1__1374_20.min1.thm1.tptp2017-02-06 16:46 275  
[   ]topreal1__1375_16.min1.thm12017-02-06 12:45 790  
[   ]topreal1__1376_16.min1.thm12017-02-06 12:45 785  
[   ]topreal1__1379_18.min1.thm12017-02-06 12:45 1.1K 
[   ]topreal1__1390_16.min1.thm12017-02-06 12:45 777  
[   ]topreal1__1392_22.min1.thm12017-02-06 12:45 2.0K 
[   ]topreal1__1395_19.min1.thm12017-02-06 12:45 705  
[   ]topreal1__1395_19.min1.thm1.tptp2017-02-06 16:46 651  
[   ]topreal1__1399_18.min1.thm12017-02-06 12:45 1.1K 
[   ]topreal1__1400_22.min1.thm12017-02-06 12:45 1.4K 
[   ]topreal1__1406_16.min1.thm12017-02-06 12:45 559  
[   ]topreal1__1409_17.min1.thm12017-02-06 12:45 921  
[   ]topreal1__1410_16.min1.thm12017-02-06 12:45 1.0K 
[   ]topreal1__1412_23.min1.thm12017-02-06 12:45 1.1K 
[   ]topreal1__1425_52.min1.thm12017-02-06 12:45 641  
[   ]topreal1__1425_52.min1.thm1.tptp2017-02-06 16:46 582  
[   ]topreal1__1427_60.min1.thm12017-02-06 12:45 651  
[   ]topreal1__1427_60.min1.thm1.tptp2017-02-06 16:46 592  
[   ]topreal1__1428_25.min1.thm12017-02-06 12:45 758  
[   ]topreal1__1443_14.min1.thm12017-02-06 12:45 956  
[   ]topreal1__1444_26.min1.thm12017-02-06 12:45 1.4K 
[   ]topreal1__1455_17.min1.thm12017-02-06 12:45 298  
[   ]topreal1__1459_23.min1.thm12017-02-06 12:45 1.4K 
[   ]topreal1__1461_21.min1.thm12017-02-06 12:45 385  
[   ]topreal1__1470_49.min1.thm12017-02-06 12:45 790  
[   ]topreal1__1473_45.min1.thm12017-02-06 12:45 770  
[   ]topreal1__1478_45.min1.thm12017-02-06 12:45 918  
[   ]topreal1__1481_41.min1.thm12017-02-06 12:45 500  
[   ]topreal1__1487_18.min1.thm12017-02-06 12:45 1.7K 
[   ]topreal1__1488_16.min1.thm12017-02-06 12:45 1.2K 
[   ]topreal1__1492_15.min1.thm12017-02-06 12:45 566  
[   ]topreal1__1493_27.min1.thm12017-02-06 12:45 1.3K 
[   ]topreal1__1494_18.min1.thm12017-02-06 12:45 773  
[   ]topreal1__1499_15.min1.thm12017-02-06 12:45 793  
[   ]topreal1__1500_27.min1.thm12017-02-06 12:45 1.5K 
[   ]topreal1__1501_18.min1.thm12017-02-06 12:45 773  
[   ]topreal1__1514_16.min1.thm12017-02-06 12:45 772  
[   ]topreal1__1516_22.min1.thm12017-02-06 12:45 2.0K 
[   ]topreal1__1519_19.min1.thm12017-02-06 12:45 705  
[   ]topreal1__1519_19.min1.thm1.tptp2017-02-06 16:46 651  
[   ]topreal1__1521_22.min1.thm12017-02-06 12:45 1.4K 
[   ]topreal1__1530_23.min1.thm12017-02-06 12:45 807  
[   ]topreal1__1533_16.min1.thm12017-02-06 12:45 547  
[   ]topreal1__1537_23.min1.thm12017-02-06 12:45 1.1K 
[   ]topreal1__1550_52.min1.thm12017-02-06 12:45 641  
[   ]topreal1__1550_52.min1.thm1.tptp2017-02-06 16:46 582  
[   ]topreal1__1552_60.min1.thm12017-02-06 12:45 651  
[   ]topreal1__1552_60.min1.thm1.tptp2017-02-06 16:46 592  
[   ]topreal1__1553_25.min1.thm12017-02-06 12:45 758  
[   ]topreal1__1568_14.min1.thm12017-02-06 12:45 956  
[   ]topreal1__1569_26.min1.thm12017-02-06 12:45 1.4K 
[   ]topreal1__1579_15.min1.thm12017-02-06 12:45 295  
[   ]topreal1__1583_21.min1.thm12017-02-06 12:45 1.4K 
[   ]topreal1__1585_19.min1.thm12017-02-06 12:45 381  
[   ]topreal1__1594_47.min1.thm12017-02-06 12:45 783  
[   ]topreal1__1597_43.min1.thm12017-02-06 12:45 760  
[   ]topreal1__1602_43.min1.thm12017-02-06 12:45 911  
[   ]topreal1__1609_18.min1.thm12017-02-06 12:45 1.7K 
[   ]topreal1__1610_16.min1.thm12017-02-06 12:45 1.2K 
[   ]topreal1__1614_15.min1.thm12017-02-06 12:45 566  
[   ]topreal1__1615_27.min1.thm12017-02-06 12:45 1.3K 
[   ]topreal1__1616_18.min1.thm12017-02-06 12:45 767  
[   ]topreal1__1621_15.min1.thm12017-02-06 12:45 793  
[   ]topreal1__1622_27.min1.thm12017-02-06 12:45 1.5K 
[   ]topreal1__1623_18.min1.thm12017-02-06 12:45 767  
[   ]topreal1__1632_23.min1.thm12017-02-06 12:45 810  
[   ]topreal1__1659_19.min1.thm12017-02-06 12:45 1.1K 
[   ]topreal1__1663_22.min1.thm12017-02-06 12:45 520  
[   ]topreal1__1682_28.min1.thm12017-02-06 12:45 2.0K 
[   ]topreal1__1702_21.min1.thm12017-02-06 12:45 1.8K 
[   ]topreal1__1704_39.min1.thm12017-02-06 12:45 1.6K 
[   ]topreal1__1706_30.min1.thm12017-02-06 12:45 2.2K 
[   ]topreal1__1710_33.min1.thm12017-02-06 12:45 1.8K 
[   ]topreal1__1714_34.min1.thm12017-02-06 12:45 2.1K 
[   ]topreal1__1715_21.min1.thm12017-02-06 12:45 1.6K 
[   ]topreal1__1719_35.min1.thm12017-02-06 12:45 2.3K 
[   ]topreal1__1721_25.min1.thm12017-02-06 12:45 1.3K 
[   ]topreal1__1722_21.min1.thm12017-02-06 12:45 1.0K 
[   ]topreal1__1726_21.min1.thm12017-02-06 12:45 913  
[   ]topreal1__1727_35.min1.thm12017-02-06 12:45 1.8K 
[   ]topreal1__1731_42.min1.thm12017-02-06 12:45 2.1K 
[   ]topreal1__1732_21.min1.thm12017-02-06 12:45 2.0K 
[   ]topreal1__1744_21.min1.thm12017-02-06 12:45 1.4K 
[   ]topreal1__1745_35.min1.thm12017-02-06 12:45 2.3K 
[   ]topreal1__1758_36.min1.thm12017-02-06 12:45 2.0K 
[   ]topreal1__1766_23.min1.thm12017-02-06 12:45 486  
[   ]topreal1__1771_22.min1.thm12017-02-06 12:45 1.2K 
[   ]topreal1__1774_21.min1.thm12017-02-06 12:45 2.0K 
[   ]topreal1__1793_35.min1.thm12017-02-06 12:45 2.3K 
[   ]topreal1__1794_21.min1.thm12017-02-06 12:45 1.4K 
[   ]topreal1__1799_21.min1.thm12017-02-06 12:45 1.4K 
[   ]topreal1__1800_23.min1.thm12017-02-06 12:45 2.1K 
[   ]topreal1__1802_45.min1.thm12017-02-06 12:45 2.0K 
[   ]topreal1__1804_47.min1.thm12017-02-06 12:45 2.0K 
[   ]topreal1__1817_21.min1.thm12017-02-06 12:45 894  
[   ]topreal1__1819_25.min1.thm12017-02-06 12:45 1.7K 
[   ]topreal1__1824_30.min1.thm12017-02-06 12:45 2.2K 
[   ]topreal1__1825_25.min1.thm12017-02-06 12:45 1.8K 
[   ]topreal1__1831_33.min1.thm12017-02-06 12:45 1.7K 
[   ]topreal1__1835_34.min1.thm12017-02-06 12:45 2.1K 
[   ]topreal1__1836_21.min1.thm12017-02-06 12:45 1.6K 
[   ]topreal1__1837_25.min1.thm12017-02-06 12:45 2.0K 
[   ]topreal1__1838_35.min1.thm12017-02-06 12:45 1.8K 
[   ]topreal1__1842_42.min1.thm12017-02-06 12:45 2.1K 
[   ]topreal1__1843_21.min1.thm12017-02-06 12:45 1.9K 
[   ]topreal1__1847_35.min1.thm12017-02-06 12:45 1.2K 
[   ]topreal1__1851_36.min1.thm12017-02-06 12:45 682  
[   ]topreal1__1854_40.min1.thm12017-02-06 12:45 1.3K 
[   ]topreal1__1867_21.min1.thm12017-02-06 12:45 1.2K 
[   ]topreal1__1871_17.min1.thm12017-02-06 12:45 1.3K 
[   ]topreal1__1874_19.min1.thm12017-02-06 12:45 1.3K 
[   ]topreal1__1875_24.min1.thm12017-02-06 12:45 527  
[   ]topreal1__1885_19.min1.thm12017-02-06 12:45 873  
[   ]topreal1__1896_23.min1.thm12017-02-06 12:45 1.7K 
[   ]topreal1__1900_33.min1.thm12017-02-06 12:45 1.7K 
[   ]topreal1__1901_23.min1.thm12017-02-06 12:45 1.1K 
[   ]topreal1__1905_35.min1.thm12017-02-06 12:45 2.0K 
[   ]topreal1__1909_24.min1.thm12017-02-06 12:45 1.6K 
[   ]topreal1__1913_22.min1.thm12017-02-06 12:45 528  
[   ]topreal1__1923_35.min1.thm12017-02-06 12:45 2.2K 
[   ]topreal1__1925_31.min1.thm12017-02-06 12:45 1.6K 
[   ]topreal1__1927_21.min1.thm12017-02-06 12:45 898  
[   ]topreal1__1931_35.min1.thm12017-02-06 12:45 2.1K 
[   ]topreal1__1938_25.min1.thm12017-02-06 12:45 1.6K 
[   ]topreal1__1945_17.min1.thm12017-02-06 12:45 1.3K 
[   ]topreal1__1952_37.min1.thm12017-02-06 12:45 2.2K 
[   ]topreal1__1970_20.min1.thm12017-02-06 12:45 1.6K 
[   ]topreal1__1972_35.min1.thm12017-02-06 12:45 2.5K 
[   ]topreal1__1973_28.min1.thm12017-02-06 12:45 1.2K 
[   ]topreal1__1979_27.min1.thm12017-02-06 12:45 1.3K 
[   ]topreal1__1982_22.min1.thm12017-02-06 12:45 1.7K 
[   ]topreal1__1993_20.min1.thm12017-02-06 12:45 1.3K 
[   ]topreal1__1995_14.min1.thm12017-02-06 12:45 964  
[   ]topreal1__1996_32.min1.thm12017-02-06 12:45 1.8K 
[   ]topreal1__1997_24.min1.thm12017-02-06 12:45 1.7K 
[   ]topreal1__2004_20.min1.thm12017-02-06 12:45 1.7K 
[   ]topreal1__2023_19.min1.thm12017-02-06 12:45 1.7K 
[   ]topreal1__2024_17.min1.thm12017-02-06 12:45 1.2K 
[   ]topreal1__2032_39.min1.thm12017-02-06 12:45 582  
[   ]topreal1__2033_16.min1.thm12017-02-06 12:45 1.3K 
[   ]topreal1__2041_24.min1.thm12017-02-06 12:45 1.2K 
[   ]topreal1__2043_19.min1.thm12017-02-06 12:45 1.2K 
[   ]topreal1__2044_11.min1.thm12017-02-06 12:45 1.2K 
[   ]topreal1__2064_15.min1.thm12017-02-06 12:45 621  
[   ]topreal1__2065_15.min1.thm12017-02-06 12:45 540  
[   ]topreal1__2066_17.min1.thm12017-02-06 12:45 970  
[   ]topreal1__2071_14.min1.thm12017-02-06 12:45 432  
[   ]topreal1__2071_14.min1.thm1.tptp2017-02-06 16:46 375  
[   ]topreal1__2087_23.min1.thm12017-02-06 12:45 1.7K 
[   ]topreal1__2087_23.min1.thm1.tptp2017-02-06 16:46 1.7K 
[   ]topreal1__2090_16.min1.thm12017-02-06 12:45 1.7K 
[   ]topreal1__2099_14.min1.thm12017-02-06 12:45 621  
[   ]topreal1__2101_16.min1.thm12017-02-06 12:45 841  
[   ]topreal1__2110_27.min1.thm12017-02-06 12:45 732  
[   ]topreal1__2113_14.min1.thm12017-02-06 12:45 887  
[   ]topreal1__2128_19.min1.thm12017-02-06 12:45 436  
[   ]topreal1__2128_19.min1.thm1.tptp2017-02-06 16:46 359  
[   ]topreal1__2130_45.min1.thm12017-02-06 12:45 405  
[   ]topreal1__2130_45.min1.thm1.tptp2017-02-06 16:46 327  
[   ]topreal1__2132_16.min1.thm12017-02-06 12:45 1.4K 
[   ]topreal1__2146_16.min1.thm12017-02-06 12:45 1.1K 
[   ]topreal1__2147_19.min1.thm12017-02-06 12:45 1.2K 
[   ]topreal1__2152_14.min1.thm12017-02-06 12:45 1.1K 
[   ]topreal1__2153_17.min1.thm12017-02-06 12:45 1.2K 
[   ]topreal1__2232_48.min1.thm12017-02-06 12:45 655  
[   ]topreal1__2233_17.min1.thm12017-02-06 12:45 1.0K 
[   ]topreal1__2234_16.min1.thm12017-02-06 12:45 1.0K 
[   ]topreal1__2239_71.min1.thm12017-02-06 12:45 766  
[   ]topreal1__2251_48.min1.thm12017-02-06 12:45 655  
[   ]topreal1__2252_17.min1.thm12017-02-06 12:45 1.0K 
[   ]topreal1__2253_23.min1.thm12017-02-06 12:45 444  
[   ]topreal1__2253_23.min1.thm1.tptp2017-02-06 16:46 367  
[   ]topreal1__2254_16.min1.thm12017-02-06 12:45 1.0K 
[   ]topreal1__2261_12.min1.thm12017-02-06 12:45 692  
[   ]topreal1__2262_44.min1.thm12017-02-06 12:45 959  
[   ]topreal1__2263_14.min1.thm12017-02-06 12:45 1.0K 
[   ]topreal1__2264_14.min1.thm12017-02-06 12:45 1.0K 
[   ]topreal1__2276_48.min1.thm12017-02-06 12:45 655  
[   ]topreal1__2277_16.min1.thm12017-02-06 12:45 1.0K 
[   ]topreal1__2278_17.min1.thm12017-02-06 12:45 1.0K 
[   ]topreal1__2283_71.min1.thm12017-02-06 12:45 766  
[   ]topreal1__2295_48.min1.thm12017-02-06 12:45 655  
[   ]topreal1__2296_16.min1.thm12017-02-06 12:45 1.0K 
[   ]topreal1__2297_23.min1.thm12017-02-06 12:45 444  
[   ]topreal1__2297_23.min1.thm1.tptp2017-02-06 16:46 367  
[   ]topreal1__2298_17.min1.thm12017-02-06 12:45 1.0K 
[   ]topreal1__2305_12.min1.thm12017-02-06 12:45 692  
[   ]topreal1__2306_44.min1.thm12017-02-06 12:45 959  
[   ]topreal1__2307_16.min1.thm12017-02-06 12:45 1.0K 
[   ]topreal1__2308_12.min1.thm12017-02-06 12:45 1.0K 
[   ]topreal1__2320_48.min1.thm12017-02-06 12:45 655  
[   ]topreal1__2321_17.min1.thm12017-02-06 12:45 1.0K 
[   ]topreal1__2322_16.min1.thm12017-02-06 12:45 1.0K 
[   ]topreal1__2327_71.min1.thm12017-02-06 12:45 766  
[   ]topreal1__2339_48.min1.thm12017-02-06 12:45 655  
[   ]topreal1__2340_17.min1.thm12017-02-06 12:45 1.0K 
[   ]topreal1__2341_23.min1.thm12017-02-06 12:45 444  
[   ]topreal1__2341_23.min1.thm1.tptp2017-02-06 16:46 367  
[   ]topreal1__2342_16.min1.thm12017-02-06 12:45 1.0K 
[   ]topreal1__2349_12.min1.thm12017-02-06 12:45 692  
[   ]topreal1__2350_44.min1.thm12017-02-06 12:45 959  
[   ]topreal1__2351_14.min1.thm12017-02-06 12:45 1.0K 
[   ]topreal1__2352_14.min1.thm12017-02-06 12:45 1.0K 
[   ]topreal1__2364_48.min1.thm12017-02-06 12:45 655  
[   ]topreal1__2365_16.min1.thm12017-02-06 12:45 1.0K 
[   ]topreal1__2366_17.min1.thm12017-02-06 12:45 1.0K 
[   ]topreal1__2371_71.min1.thm12017-02-06 12:45 766  
[   ]topreal1__2383_48.min1.thm12017-02-06 12:45 655  
[   ]topreal1__2384_16.min1.thm12017-02-06 12:45 1.0K 
[   ]topreal1__2385_23.min1.thm12017-02-06 12:45 444  
[   ]topreal1__2385_23.min1.thm1.tptp2017-02-06 16:46 367  
[   ]topreal1__2386_17.min1.thm12017-02-06 12:45 1.0K 
[   ]topreal1__2393_12.min1.thm12017-02-06 12:45 692  
[   ]topreal1__2394_44.min1.thm12017-02-06 12:45 959  
[   ]topreal1__2395_16.min1.thm12017-02-06 12:45 1.0K 
[   ]topreal1__2396_12.min1.thm12017-02-06 12:45 1.0K 
[   ]topreal1__2406_8.min1.thm12017-02-06 12:45 405  
[   ]topreal1__2406_8.min1.thm1.tptp2017-02-06 16:46 328  
[   ]topreal1__2408_16.min1.thm12017-02-06 12:45 393  
[   ]topreal1__2408_16.min1.thm1.tptp2017-02-06 16:46 313  
[   ]topreal1__2414_6.min1.thm12017-02-06 12:45 405  
[   ]topreal1__2414_6.min1.thm1.tptp2017-02-06 16:46 328  
[   ]topreal1__2416_16.min1.thm12017-02-06 12:45 393  
[   ]topreal1__2416_16.min1.thm1.tptp2017-02-06 16:46 313  
[   ]topreal1__2422_8.min1.thm12017-02-06 12:45 405  
[   ]topreal1__2422_8.min1.thm1.tptp2017-02-06 16:46 328  
[   ]topreal1__2424_16.min1.thm12017-02-06 12:45 393  
[   ]topreal1__2424_16.min1.thm1.tptp2017-02-06 16:46 313  
[   ]topreal1__2430_8.min1.thm12017-02-06 12:45 405  
[   ]topreal1__2430_8.min1.thm1.tptp2017-02-06 16:46 328  
[   ]topreal1__2432_16.min1.thm12017-02-06 12:45 393  
[   ]topreal1__2432_16.min1.thm1.tptp2017-02-06 16:46 313  
[   ]topreal1__2442_13.min1.thm12017-02-06 12:45 179  
[   ]topreal1__2443_12.min1.thm12017-02-06 12:45 882  

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