Index of /~mptp/7.13.01_4.181.1147/MPTP2/ilp0/birkhoff

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]birkhoff__59_14.min1.thm12017-02-06 12:45 4.6K 
[ ]birkhoff__75_42.min1.thm12017-02-06 12:45 342  
[ ]birkhoff__75_42.min1.thm1.tptp2017-02-06 16:48 264  
[ ]birkhoff__78_40.min1.thm12017-02-06 12:45 2.3K 
[ ]birkhoff__86_15.min1.thm12017-02-06 12:45 881  
[ ]birkhoff__87_21.min1.thm12017-02-06 12:45 4.4K 
[ ]birkhoff__131_46.min1.thm12017-02-06 12:45 358  
[ ]birkhoff__131_46.min1.thm1.tptp2017-02-06 16:48 280  
[ ]birkhoff__134_16.min1.thm12017-02-06 12:45 1.4K 
[ ]birkhoff__135_26.min1.thm12017-02-06 12:45 1.7K 
[ ]birkhoff__140_52.min1.thm12017-02-06 12:45 1.4K 
[ ]birkhoff__141_37.min1.thm12017-02-06 12:45 1.4K 
[ ]birkhoff__143_44.min1.thm12017-02-06 12:45 1.9K 
[ ]birkhoff__146_60.min1.thm12017-02-06 12:45 2.2K 
[ ]birkhoff__147_78.min1.thm12017-02-06 12:45 390  
[ ]birkhoff__147_78.min1.thm1.tptp2017-02-06 16:48 329  
[ ]birkhoff__148_24.min1.thm12017-02-06 12:45 662  
[ ]birkhoff__149_32.min1.thm12017-02-06 12:45 2.1K 
[ ]birkhoff__152_22.min1.thm12017-02-06 12:45 1.5K 
[ ]birkhoff__162_42.min1.thm12017-02-06 12:45 1.1K 
[ ]birkhoff__162_42.min1.thm1.tptp2017-02-06 16:48 1.0K 
[ ]birkhoff__163_34.min1.thm12017-02-06 12:45 845  
[ ]birkhoff__169_43.min1.thm12017-02-06 12:45 1.2K 
[ ]birkhoff__172_62.min1.thm12017-02-06 12:45 2.0K 
[ ]birkhoff__176_47.min1.thm12017-02-06 12:45 2.5K 
[ ]birkhoff__185_68.min1.thm12017-02-06 12:45 607  
[ ]birkhoff__185_68.min1.thm1.tptp2017-02-06 16:48 519  
[ ]birkhoff__190_66.min1.thm12017-02-06 12:45 1.3K 
[ ]birkhoff__195_52.min1.thm12017-02-06 12:45 851  
[ ]birkhoff__197_27.min1.thm12017-02-06 12:45 198  
[ ]birkhoff__199_18.min1.thm12017-02-06 12:45 1.0K 
[ ]birkhoff__208_6.min1.thm12017-02-06 12:45 1.5K 
[ ]birkhoff__209_16.min1.thm12017-02-06 12:45 1.6K 
[ ]birkhoff__211_51.min1.thm12017-02-06 12:45 284  
[ ]birkhoff__222_58.min1.thm12017-02-06 12:45 1.5K 
[ ]birkhoff__226_60.min1.thm12017-02-06 12:45 1.2K 
[ ]birkhoff__227_40.min1.thm12017-02-06 12:45 2.2K 
[ ]birkhoff__240_70.min1.thm12017-02-06 12:45 2.0K 
[ ]birkhoff__240_70.min1.thm1.tptp2017-02-06 16:48 2.0K 
[ ]birkhoff__242_18.min1.thm12017-02-06 12:45 622  
[ ]birkhoff__242_18.min1.thm1.tptp2017-02-06 16:48 538  
[ ]birkhoff__250_32.min1.thm12017-02-06 12:45 1.3K 
[ ]birkhoff__250_32.min1.thm1.tptp2017-02-06 16:48 1.2K 
[ ]birkhoff__253_51.min1.thm12017-02-06 12:45 584  
[ ]birkhoff__253_51.min1.thm1.tptp2017-02-06 16:48 496  
[ ]birkhoff__261_46.min1.thm12017-02-06 12:45 362  
[ ]birkhoff__261_46.min1.thm1.tptp2017-02-06 16:48 284  
[ ]birkhoff__289_18.min1.thm12017-02-06 12:45 2.1K 
[ ]birkhoff__290_44.min1.thm12017-02-06 12:45 2.0K 
[ ]birkhoff__296_24.min1.thm12017-02-06 12:45 2.0K 
[ ]birkhoff__300_36.min1.thm12017-02-06 12:45 2.6K 
[ ]birkhoff__317_13.min1.thm12017-02-06 12:45 2.1K 
[ ]birkhoff__326_22.min1.thm12017-02-06 12:45 2.0K 
[ ]birkhoff__328_37.min1.thm12017-02-06 12:45 2.0K 
[ ]birkhoff__359_58.min1.thm12017-02-06 12:45 1.1K 
[ ]birkhoff__361_8.min1.thm12017-02-06 12:45 1.0K 
[ ]birkhoff__362_19.min1.thm12017-02-06 12:45 2.6K 
[ ]birkhoff__365_15.min1.thm12017-02-06 12:45 2.9K 
[ ]birkhoff__366_33.min1.thm12017-02-06 12:45 1.6K 
[ ]birkhoff__368_19.min1.thm12017-02-06 12:45 1.2K 
[ ]birkhoff__375_43.min1.thm12017-02-06 12:45 2.0K 
[ ]birkhoff__376_9.min1.thm12017-02-06 12:45 813  
[ ]birkhoff__377_36.min1.thm12017-02-06 12:45 3.0K 
[ ]birkhoff__378_24.min1.thm12017-02-06 12:45 2.1K 
[ ]birkhoff__384_32.min1.thm12017-02-06 12:45 324  
[ ]birkhoff__385_20.min1.thm12017-02-06 12:45 698  
[ ]birkhoff__409_41.min1.thm12017-02-06 12:45 602  
[ ]birkhoff__412_4.min1.thm12017-02-06 12:45 584  
[ ]birkhoff__414_27.min1.thm12017-02-06 12:45 800  
[ ]birkhoff__416_17.min1.thm12017-02-06 12:45 602  
[ ]birkhoff__429_14.min1.thm12017-02-06 12:45 225  
[ ]birkhoff__435_44.min1.thm12017-02-06 12:45 4.7K 
[ ]birkhoff__442_32.min1.thm12017-02-06 12:45 318  
[ ]birkhoff__444_19.min1.thm12017-02-06 12:45 1.8K 
[ ]birkhoff__445_27.min1.thm12017-02-06 12:45 883  
[ ]birkhoff__447_29.min1.thm12017-02-06 12:45 4.4K 
[ ]birkhoff__482_28.min1.thm12017-02-06 12:45 1.7K 
[ ]birkhoff__503_22.min1.thm12017-02-06 12:45 1.8K 
[ ]birkhoff__505_36.min1.thm12017-02-06 12:45 308  
[ ]birkhoff__512_20.min1.thm12017-02-06 12:45 1.2K 
[ ]birkhoff__513_67.min1.thm12017-02-06 12:45 710  
[ ]birkhoff__540_18.min1.thm12017-02-06 12:45 639  
[ ]birkhoff__542_21.min1.thm12017-02-06 12:45 1.2K 
[ ]birkhoff__546_8.min1.thm12017-02-06 12:45 224  
[ ]birkhoff__556_74.min1.thm12017-02-06 12:45 1.6K 
[ ]birkhoff__564_25.min1.thm12017-02-06 12:45 899  
[ ]birkhoff__606_45.min1.thm12017-02-06 12:45 1.0K 
[ ]birkhoff__607_15.min1.thm12017-02-06 12:45 374  
[ ]birkhoff__607_15.min1.thm1.tptp2017-02-06 16:48 295  
[ ]birkhoff__608_18.min1.thm12017-02-06 12:45 2.5K 
[ ]birkhoff__621_66.min1.thm12017-02-06 12:45 658  
[ ]birkhoff__621_66.min1.thm1.tptp2017-02-06 16:48 570  
[ ]birkhoff__633_16.min1.thm12017-02-06 12:45 1.9K 
[ ]birkhoff__636_22.min1.thm12017-02-06 12:45 3.4K 
[ ]birkhoff__638_57.min1.thm12017-02-06 12:45 4.1K 
[ ]birkhoff__639_37.min1.thm12017-02-06 12:45 2.3K 
[ ]birkhoff__647_60.min1.thm12017-02-06 12:45 1.6K 
[ ]birkhoff__657_33.min1.thm12017-02-06 12:45 1.8K 
[ ]birkhoff__662_34.min1.thm12017-02-06 12:45 767  
[ ]birkhoff__665_35.min1.thm12017-02-06 12:45 2.7K 
[ ]birkhoff__667_18.min1.thm12017-02-06 12:45 2.4K 
[ ]birkhoff__671_17.min1.thm12017-02-06 12:45 1.3K 
[ ]birkhoff__689_13.min1.thm12017-02-06 12:45 218  
[ ]birkhoff__709_41.min1.thm12017-02-06 12:45 603  
[ ]birkhoff__738_29.min1.thm12017-02-06 12:45 928  
[ ]birkhoff__739_61.min1.thm12017-02-06 12:45 963  
[ ]birkhoff__742_17.min1.thm12017-02-06 12:45 1.9K 
[ ]birkhoff__744_18.min1.thm12017-02-06 12:45 2.0K 
[ ]birkhoff__757_34.min1.thm12017-02-06 12:45 1.2K 
[ ]birkhoff__758_60.min1.thm12017-02-06 12:45 1.9K 
[ ]birkhoff__763_46.min1.thm12017-02-06 12:45 358  
[ ]birkhoff__763_46.min1.thm1.tptp2017-02-06 16:48 280  
[ ]birkhoff__767_27.min1.thm12017-02-06 12:45 1.6K 
[ ]birkhoff__780_22.min1.thm12017-02-06 12:45 2.1K 
[ ]birkhoff__791_40.min1.thm12017-02-06 12:45 1.3K 
[ ]birkhoff__792_23.min1.thm12017-02-06 12:45 2.0K 
[ ]birkhoff__794_33.min1.thm12017-02-06 12:45 1.6K 
[ ]birkhoff__795_31.min1.thm12017-02-06 12:45 1.8K 
[ ]birkhoff__811_32.min1.thm12017-02-06 12:45 552  
[ ]birkhoff__812_31.min1.thm12017-02-06 12:45 1.7K 
[ ]birkhoff__836_18.min1.thm12017-02-06 12:45 604  
[ ]birkhoff__840_19.min1.thm12017-02-06 12:45 905  
[ ]birkhoff__841_14.min1.thm12017-02-06 12:45 892  
[ ]birkhoff__842_37.min1.thm12017-02-06 12:45 308  
[ ]birkhoff__842_37.min1.thm1.tptp2017-02-06 16:48 228  
[ ]birkhoff__844_55.min1.thm12017-02-06 12:45 183  
[ ]birkhoff__853_61.min1.thm12017-02-06 12:45 851  
[ ]birkhoff__854_19.min1.thm12017-02-06 12:45 1.2K 
[ ]birkhoff__856_51.min1.thm12017-02-06 12:45 286  
[ ]birkhoff__861_34.min1.thm12017-02-06 12:45 825  
[ ]birkhoff__870_14.min1.thm12017-02-06 12:45 851  
[ ]birkhoff__873_13.min1.thm12017-02-06 12:45 516  
[ ]birkhoff__875_18.min1.thm12017-02-06 12:45 1.1K 
[ ]birkhoff__893_4.min1.thm12017-02-06 12:45 632  
[ ]birkhoff__893_4.min1.thm1.tptp2017-02-06 16:48 577  
[ ]birkhoff__925_4.min1.thm12017-02-06 12:45 596  
[ ]birkhoff__928_41.min1.thm12017-02-06 12:45 618  
[ ]birkhoff__930_17.min1.thm12017-02-06 12:45 618  
[ ]birkhoff__957_18.min1.thm12017-02-06 12:45 1.1K 
[ ]birkhoff__959_14.min1.thm12017-02-06 12:45 224  
[ ]birkhoff__971_46.min1.thm12017-02-06 12:45 364  
[ ]birkhoff__971_46.min1.thm1.tptp2017-02-06 16:48 286  
[ ]birkhoff__984_25.min1.thm12017-02-06 12:45 1.5K 
[ ]birkhoff__1034_20.min1.thm12017-02-06 12:45 2.2K 
[ ]birkhoff__1035_34.min1.thm12017-02-06 12:45 1.3K 
[ ]birkhoff__1037_35.min1.thm12017-02-06 12:45 1.4K 
[ ]birkhoff__1038_15.min1.thm12017-02-06 12:45 1.6K 
[ ]birkhoff__1062_41.min1.thm12017-02-06 12:45 618  
[ ]birkhoff__1072_9.min1.thm12017-02-06 12:45 378  
[ ]birkhoff__1072_9.min1.thm1.tptp2017-02-06 16:48 309  
[ ]birkhoff__1075_18.min1.thm12017-02-06 12:45 519  
[ ]birkhoff__1086_62.min1.thm12017-02-06 12:45 571  
[ ]birkhoff__1086_62.min1.thm1.tptp2017-02-06 16:48 512  
[ ]birkhoff__1093_38.min1.thm12017-02-06 12:45 334  
[ ]birkhoff__1095_17.min1.thm12017-02-06 12:45 618  
[ ]birkhoff__1110_17.min1.thm12017-02-06 12:45 1.1K 
[ ]birkhoff__1120_15.min1.thm12017-02-06 12:45 1.1K 
[ ]birkhoff__1123_19.min1.thm12017-02-06 12:45 1.1K 
[ ]birkhoff__1126_46.min1.thm12017-02-06 12:45 1.0K 
[ ]birkhoff__1131_28.min1.thm12017-02-06 12:45 1.0K 
[ ]birkhoff__1151_12.min1.thm12017-02-06 12:45 1.8K 
[ ]birkhoff__1155_4.min1.thm12017-02-06 12:45 597  
[ ]birkhoff__1164_19.min1.thm12017-02-06 12:45 1.1K 
[ ]birkhoff__1171_15.min1.thm12017-02-06 12:45 639  
[ ]birkhoff__1180_33.min1.thm12017-02-06 12:45 845  
[ ]birkhoff__1181_12.min1.thm12017-02-06 12:45 292  
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80