Index of /~mptp/7.13.01_4.181.1147/mptp/ilp0/cayley

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]cayley__45_26.min1.thm12017-02-06 12:46 1.2K 
[ ]cayley__57_6.min1.thm12017-02-06 12:46 735  
[ ]cayley__57_6.min1.thm1.tptp2017-02-06 16:48 690  
[ ]cayley__59_18.min1.thm12017-02-06 12:46 638  
[ ]cayley__59_18.min1.thm1.tptp2017-02-06 16:48 587  
[ ]cayley__67_11.min1.thm12017-02-06 12:46 128  
[ ]cayley__75_45.min1.thm12017-02-06 12:46 668  
[ ]cayley__76_16.min1.thm12017-02-06 12:46 556  
[ ]cayley__84_33.min1.thm12017-02-06 12:46 590  
[ ]cayley__84_33.min1.thm1.tptp2017-02-06 16:48 516  
[ ]cayley__85_19.min1.thm12017-02-06 12:46 586  
[ ]cayley__85_19.min1.thm1.tptp2017-02-06 16:48 512  
[ ]cayley__95_39.min1.thm12017-02-06 12:46 695  
[ ]cayley__95_39.min1.thm1.tptp2017-02-06 16:48 621  
[ ]cayley__96_21.min1.thm12017-02-06 12:46 863  
[ ]cayley__100_37.min1.thm12017-02-06 12:46 849  
[ ]cayley__101_16.min1.thm12017-02-06 12:46 775  
[ ]cayley__109_43.min1.thm12017-02-06 12:46 667  
[ ]cayley__110_38.min1.thm12017-02-06 12:46 336  
[ ]cayley__110_38.min1.thm1.tptp2017-02-06 16:48 256  
[ ]cayley__112_18.min1.thm12017-02-06 12:46 539  
[ ]cayley__112_18.min1.thm1.tptp2017-02-06 16:48 484  
[ ]cayley__121_36.min1.thm12017-02-06 12:46 273  
[ ]cayley__122_16.min1.thm12017-02-06 12:46 641  
[ ]cayley__134_36.min1.thm12017-02-06 12:46 597  
[ ]cayley__134_36.min1.thm1.tptp2017-02-06 16:48 523  
[ ]cayley__135_21.min1.thm12017-02-06 12:46 868  
[ ]cayley__139_25.min1.thm12017-02-06 12:46 743  
[ ]cayley__140_16.min1.thm12017-02-06 12:46 1.5K 
[ ]cayley__156_52.min1.thm12017-02-06 12:46 1.3K 
[ ]cayley__158_18.min1.thm12017-02-06 12:46 1.4K 
[ ]cayley__168_63.min1.thm12017-02-06 12:46 1.0K 
[ ]cayley__170_29.min1.thm12017-02-06 12:46 1.1K 
[ ]cayley__183_48.min1.thm12017-02-06 12:46 647  
[ ]cayley__184_39.min1.thm12017-02-06 12:46 867  
[ ]cayley__185_30.min1.thm12017-02-06 12:46 662  
[ ]cayley__186_15.min1.thm12017-02-06 12:46 822  
[ ]cayley__187_31.min1.thm12017-02-06 12:46 1.5K 
[ ]cayley__197_51.min1.thm12017-02-06 12:46 576  
[ ]cayley__197_51.min1.thm1.tptp2017-02-06 16:48 539  
[ ]cayley__198_19.min1.thm12017-02-06 12:46 1.0K 
[ ]cayley__206_51.min1.thm12017-02-06 12:46 580  
[ ]cayley__206_51.min1.thm1.tptp2017-02-06 16:48 543  
[ ]cayley__207_49.min1.thm12017-02-06 12:46 369  
[ ]cayley__207_49.min1.thm1.tptp2017-02-06 16:48 288  
[ ]cayley__212_45.min1.thm12017-02-06 12:46 937  
[ ]cayley__213_43.min1.thm12017-02-06 12:46 1.1K 
[ ]cayley__214_31.min1.thm12017-02-06 12:46 937  
[ ]cayley__219_50.min1.thm12017-02-06 12:46 771  
[ ]cayley__222_44.min1.thm12017-02-06 12:46 665  
[ ]cayley__222_44.min1.thm1.tptp2017-02-06 16:48 591  
[ ]cayley__223_26.min1.thm12017-02-06 12:46 929  
[ ]cayley__224_11.min1.thm12017-02-06 12:46 1.6K 
[ ]cayley__225_26.min1.thm12017-02-06 12:46 929  
[ ]cayley__226_11.min1.thm12017-02-06 12:46 1.6K 
[ ]cayley__227_26.min1.thm12017-02-06 12:46 1.1K 
[ ]cayley__228_56.min1.thm12017-02-06 12:46 806  
[ ]cayley__230_38.min1.thm12017-02-06 12:46 855  
[ ]cayley__231_11.min1.thm12017-02-06 12:46 2.7K 
[ ]cayley__232_38.min1.thm12017-02-06 12:46 855  
[ ]cayley__233_11.min1.thm12017-02-06 12:46 2.7K 
[ ]cayley__242_50.min1.thm12017-02-06 12:46 763  
[ ]cayley__245_46.min1.thm12017-02-06 12:46 651  
[ ]cayley__245_46.min1.thm1.tptp2017-02-06 16:48 577  
[ ]cayley__246_28.min1.thm12017-02-06 12:46 897  
[ ]cayley__248_28.min1.thm12017-02-06 12:46 897  
[ ]cayley__251_19.min1.thm12017-02-06 12:46 1.1K 
[ ]cayley__258_43.min1.thm12017-02-06 12:46 637  
[ ]cayley__258_43.min1.thm1.tptp2017-02-06 16:48 563  
[ ]cayley__259_25.min1.thm12017-02-06 12:46 1.0K 
[ ]cayley__260_55.min1.thm12017-02-06 12:46 789  
[ ]cayley__261_27.min1.thm12017-02-06 12:46 260  
[ ]cayley__262_33.min1.thm12017-02-06 12:46 817  
[ ]cayley__265_33.min1.thm12017-02-06 12:46 817  
[ ]cayley__276_56.min1.thm12017-02-06 12:46 847  
[ ]cayley__277_16.min1.thm12017-02-06 12:46 728  
[ ]cayley__284_59.min1.thm12017-02-06 12:46 602  
[ ]cayley__284_59.min1.thm1.tptp2017-02-06 16:48 565  
[ ]cayley__285_44.min1.thm12017-02-06 12:46 346  
[ ]cayley__285_44.min1.thm1.tptp2017-02-06 16:48 269  
[ ]cayley__286_41.min1.thm12017-02-06 12:46 845  
[ ]cayley__289_35.min1.thm12017-02-06 12:46 874  
[ ]cayley__290_62.min1.thm12017-02-06 12:46 1.1K 
[ ]cayley__291_57.min1.thm12017-02-06 12:46 1.2K 
[ ]cayley__303_51.min1.thm12017-02-06 12:46 580  
[ ]cayley__303_51.min1.thm1.tptp2017-02-06 16:48 543  
[ ]cayley__304_46.min1.thm12017-02-06 12:46 415  
[ ]cayley__312_41.min1.thm12017-02-06 12:46 572  
[ ]cayley__312_41.min1.thm1.tptp2017-02-06 16:48 535  
[ ]cayley__315_48.min1.thm12017-02-06 12:46 845  
[ ]cayley__318_21.min1.thm12017-02-06 12:46 1.6K 
[ ]cayley__325_14.min1.thm12017-02-06 12:46 1.4K 
[ ]cayley__339_16.min1.thm12017-02-06 12:46 695  
[ ]cayley__340_16.min1.thm12017-02-06 12:46 1.0K 
[ ]cayley__341_44.min1.thm12017-02-06 12:46 1.2K 
[ ]cayley__342_17.min1.thm12017-02-06 12:46 1.7K 
[ ]cayley__347_45.min1.thm12017-02-06 12:46 679  
[ ]cayley__347_45.min1.thm1.tptp2017-02-06 16:48 605  
[ ]cayley__349_18.min1.thm12017-02-06 12:46 1.0K 
[ ]cayley__353_31.min1.thm12017-02-06 12:46 1.6K 
[ ]cayley__354_42.min1.thm12017-02-06 12:46 1.1K 
[ ]cayley__360_16.min1.thm12017-02-06 12:46 1.1K 
[ ]cayley__360_16.min1.thm1.tptp2017-02-06 16:48 1.1K 
[ ]cayley__368_26.min1.thm12017-02-06 12:46 714  
[ ]cayley__368_26.min1.thm1.tptp2017-02-06 16:48 637  
[ ]cayley__369_13.min1.thm12017-02-06 12:46 714  
[ ]cayley__369_13.min1.thm1.tptp2017-02-06 16:48 637  
[ ]cayley__382_16.min1.thm12017-02-06 12:46 1.0K 
[ ]cayley__384_44.min1.thm12017-02-06 12:46 1.2K 
[ ]cayley__385_18.min1.thm12017-02-06 12:46 2.6K 
[ ]cayley__386_34.min1.thm12017-02-06 12:46 2.2K 
[ ]cayley__387_50.min1.thm12017-02-06 12:46 959  
[ ]cayley__408_16.min1.thm12017-02-06 12:46 1.0K 
[ ]cayley__409_44.min1.thm12017-02-06 12:46 1.2K 
[ ]cayley__410_18.min1.thm12017-02-06 12:46 2.6K 
[ ]cayley__414_48.min1.thm12017-02-06 12:46 1.6K 
[ ]cayley__415_50.min1.thm12017-02-06 12:46 959  
[ ]cayley__437_16.min1.thm12017-02-06 12:46 783  
[ ]cayley__438_34.min1.thm12017-02-06 12:46 1.3K 
[ ]cayley__441_37.min1.thm12017-02-06 12:46 358  
[ ]cayley__441_37.min1.thm1.tptp2017-02-06 16:48 280  
[ ]cayley__442_43.min1.thm12017-02-06 12:46 637  
[ ]cayley__442_43.min1.thm1.tptp2017-02-06 16:48 563  
[ ]cayley__443_16.min1.thm12017-02-06 12:46 1.0K 
[ ]cayley__444_49.min1.thm12017-02-06 12:46 1.2K 
[ ]cayley__445_18.min1.thm12017-02-06 12:46 2.6K 
[ ]cayley__446_31.min1.thm12017-02-06 12:46 1.6K 
[ ]cayley__448_17.min1.thm12017-02-06 12:46 1.7K 
[ ]cayley__449_16.min1.thm12017-02-06 12:46 1.0K 
[ ]cayley__453_28.min1.thm12017-02-06 12:46 1.5K 
[ ]cayley__454_40.min1.thm12017-02-06 12:46 1.0K 
[ ]cayley__455_19.min1.thm12017-02-06 12:46 2.5K 
[ ]cayley__472_16.min1.thm12017-02-06 12:46 567  
[ ]cayley__473_13.min1.thm12017-02-06 12:46 183  
[ ]cayley__475_21.min1.thm12017-02-06 12:46 1.3K 
[ ]cayley__480_16.min1.thm12017-02-06 12:46 462  
[ ]cayley__481_40.min1.thm12017-02-06 12:46 814  
[ ]cayley__482_18.min1.thm12017-02-06 12:46 1.0K 
[ ]cayley__484_48.min1.thm12017-02-06 12:46 2.0K 
[ ]cayley__486_34.min1.thm12017-02-06 12:46 1.6K 
[ ]cayley__504_52.min1.thm12017-02-06 12:46 841  
[ ]cayley__506_17.min1.thm12017-02-06 12:46 301  
[ ]cayley__510_16.min1.thm12017-02-06 12:46 1.0K 
[ ]cayley__518_20.min1.thm12017-02-06 12:46 622  
[ ]cayley__518_20.min1.thm1.tptp2017-02-06 16:48 545  
[ ]cayley__519_13.min1.thm12017-02-06 12:46 622  
[ ]cayley__519_13.min1.thm1.tptp2017-02-06 16:48 545  
[ ]cayley__533_25.min1.thm12017-02-06 12:46 2.3K 
[ ]cayley__536_25.min1.thm12017-02-06 12:46 2.9K 
[ ]cayley__542_21.min1.thm12017-02-06 12:46 1.7K 
[ ]cayley__543_19.min1.thm12017-02-06 12:46 1.0K 
[ ]cayley__545_27.min1.thm12017-02-06 12:46 1.6K 
[ ]cayley__548_39.min1.thm12017-02-06 12:46 1.7K 
[ ]cayley__565_39.min1.thm12017-02-06 12:46 1.4K 
[ ]cayley__566_30.min1.thm12017-02-06 12:46 1.6K 
[ ]cayley__567_34.min1.thm12017-02-06 12:46 1.2K 
[ ]cayley__568_17.min1.thm12017-02-06 12:46 1.0K 
[ ]cayley__570_13.min1.thm12017-02-06 12:46 1.0K 
[ ]cayley__572_13.min1.thm12017-02-06 12:46 1.0K 
[ ]cayley__579_41.min1.thm12017-02-06 12:46 1.8K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80