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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]matrix_5__39_20.min1.thm12017-02-06 12:46 261  
[ ]matrix_5__39_20.min1.thm1.tptp2017-02-06 16:47 179  
[ ]matrix_5__42_20.min1.thm12017-02-06 12:46 351  
[ ]matrix_5__48_14.min1.thm12017-02-06 12:46 661  
[ ]matrix_5__55_14.min1.thm12017-02-06 12:46 661  
[ ]matrix_5__60_11.min1.thm12017-02-06 12:46 409  
[ ]matrix_5__64_11.min1.thm12017-02-06 12:46 451  
[ ]matrix_5__67_71.min1.thm12017-02-06 12:46 755  
[ ]matrix_5__70_73.min1.thm12017-02-06 12:46 769  
[ ]matrix_5__84_11.min1.thm12017-02-06 12:46 2.0K 
[ ]matrix_5__107_19.min1.thm12017-02-06 12:46 306  
[ ]matrix_5__107_19.min1.thm1.tptp2017-02-06 16:47 225  
[ ]matrix_5__108_51.min1.thm12017-02-06 12:46 654  
[ ]matrix_5__111_21.min1.thm12017-02-06 12:46 424  
[ ]matrix_5__112_16.min1.thm12017-02-06 12:46 2.3K 
[ ]matrix_5__116_19.min1.thm12017-02-06 12:46 306  
[ ]matrix_5__116_19.min1.thm1.tptp2017-02-06 16:47 225  
[ ]matrix_5__117_51.min1.thm12017-02-06 12:46 654  
[ ]matrix_5__124_46.min1.thm12017-02-06 12:46 594  
[ ]matrix_5__125_19.min1.thm12017-02-06 12:46 668  
[ ]matrix_5__131_31.min1.thm12017-02-06 12:46 393  
[ ]matrix_5__135_31.min1.thm12017-02-06 12:46 421  
[ ]matrix_5__148_50.min1.thm12017-02-06 12:46 2.5K 
[ ]matrix_5__158_17.min1.thm12017-02-06 12:46 1.9K 
[ ]matrix_5__166_52.min1.thm12017-02-06 12:46 2.8K 
[ ]matrix_5__168_34.min1.thm12017-02-06 12:46 2.3K 
[ ]matrix_5__170_31.min1.thm12017-02-06 12:46 2.3K 
[ ]matrix_5__171_44.min1.thm12017-02-06 12:46 2.2K 
[ ]matrix_5__178_34.min1.thm12017-02-06 12:46 1.9K 
[ ]matrix_5__182_27.min1.thm12017-02-06 12:46 2.5K 
[ ]matrix_5__185_25.min1.thm12017-02-06 12:46 2.3K 
[ ]matrix_5__194_48.min1.thm12017-02-06 12:46 2.2K 
[ ]matrix_5__195_56.min1.thm12017-02-06 12:46 2.8K 
[ ]matrix_5__202_34.min1.thm12017-02-06 12:46 2.5K 
[ ]matrix_5__203_30.min1.thm12017-02-06 12:46 1.9K 
[ ]matrix_5__219_55.min1.thm12017-02-06 12:46 1.7K 
[ ]matrix_5__229_44.min1.thm12017-02-06 12:46 1.1K 
[ ]matrix_5__233_62.min1.thm12017-02-06 12:46 502  
[ ]matrix_5__233_62.min1.thm1.tptp2017-02-06 16:47 431  
[ ]matrix_5__236_27.min1.thm12017-02-06 12:46 683  
[ ]matrix_5__237_12.min1.thm12017-02-06 12:46 1.8K 
[ ]matrix_5__241_16.min1.thm12017-02-06 12:46 1.2K 
[ ]matrix_5__242_8.min1.thm12017-02-06 12:46 1.3K 
[ ]matrix_5__247_22.min1.thm12017-02-06 12:46 2.0K 
[ ]matrix_5__251_23.min1.thm12017-02-06 12:46 2.0K 
[ ]matrix_5__252_74.min1.thm12017-02-06 12:46 1.9K 
[ ]matrix_5__281_14.min1.thm12017-02-06 12:46 330  
[ ]matrix_5__292_42.min1.thm12017-02-06 12:46 2.7K 
[ ]matrix_5__296_17.min1.thm12017-02-06 12:46 2.2K 
[ ]matrix_5__309_17.min1.thm12017-02-06 12:46 3.6K 
[ ]matrix_5__316_61.min1.thm12017-02-06 12:46 502  
[ ]matrix_5__316_61.min1.thm1.tptp2017-02-06 16:47 431  
[ ]matrix_5__321_14.min1.thm12017-02-06 12:46 388  
[ ]matrix_5__331_50.min1.thm12017-02-06 12:46 2.4K 
[ ]matrix_5__332_48.min1.thm12017-02-06 12:46 2.2K 
[ ]matrix_5__341_28.min1.thm12017-02-06 12:46 865  
[ ]matrix_5__344_32.min1.thm12017-02-06 12:46 1.9K 
[ ]matrix_5__352_16.min1.thm12017-02-06 12:46 1.0K 
[ ]matrix_5__367_17.min1.thm12017-02-06 12:46 306  
[ ]matrix_5__367_17.min1.thm1.tptp2017-02-06 16:47 225  
[ ]matrix_5__368_49.min1.thm12017-02-06 12:46 650  
[ ]matrix_5__370_49.min1.thm12017-02-06 12:46 1.8K 
[ ]matrix_5__373_70.min1.thm12017-02-06 12:46 2.6K 
[ ]matrix_5__376_17.min1.thm12017-02-06 12:46 967  
[ ]matrix_5__388_41.min1.thm12017-02-06 12:46 3.2K 
[ ]matrix_5__399_14.min1.thm12017-02-06 12:46 3.0K 
[ ]matrix_5__400_66.min1.thm12017-02-06 12:46 4.7K 
[ ]matrix_5__407_14.min1.thm12017-02-06 12:46 596  
[ ]matrix_5__415_31.min1.thm12017-02-06 12:46 429  
[ ]matrix_5__415_31.min1.thm1.tptp2017-02-06 16:47 356  
[ ]matrix_5__425_41.min1.thm12017-02-06 12:46 3.2K 
[ ]matrix_5__435_50.min1.thm12017-02-06 12:46 3.5K 
[ ]matrix_5__438_40.min1.thm12017-02-06 12:46 2.8K 
[ ]matrix_5__441_50.min1.thm12017-02-06 12:46 2.4K 
[ ]matrix_5__449_44.min1.thm12017-02-06 12:46 694  
[ ]matrix_5__454_30.min1.thm12017-02-06 12:46 3.4K 
[ ]matrix_5__455_14.min1.thm12017-02-06 12:46 378  
[ ]matrix_5__463_13.min1.thm12017-02-06 12:46 249  
[ ]matrix_5__466_25.min1.thm12017-02-06 12:46 420  
[ ]matrix_5__466_25.min1.thm1.tptp2017-02-06 16:47 343  
[ ]matrix_5__467_21.min1.thm12017-02-06 12:46 623  
[ ]matrix_5__468_21.min1.thm12017-02-06 12:46 628  
[ ]matrix_5__472_22.min1.thm12017-02-06 12:46 726  
[ ]matrix_5__473_18.min1.thm12017-02-06 12:46 364  
[ ]matrix_5__473_18.min1.thm1.tptp2017-02-06 16:47 278  
[ ]matrix_5__490_13.min1.thm12017-02-06 12:46 772  
[ ]matrix_5__508_18.min1.thm12017-02-06 12:46 1.4K 
[ ]matrix_5__521_21.min1.thm12017-02-06 12:46 1.7K 
[ ]matrix_5__522_22.min1.thm12017-02-06 12:46 1.9K 
[ ]matrix_5__531_32.min1.thm12017-02-06 12:46 2.1K 
[ ]matrix_5__534_30.min1.thm12017-02-06 12:46 1.9K 
[ ]matrix_5__541_24.min1.thm12017-02-06 12:46 2.3K 
[ ]matrix_5__542_34.min1.thm12017-02-06 12:46 2.6K 
[ ]matrix_5__548_33.min1.thm12017-02-06 12:46 2.0K 
[ ]matrix_5__554_32.min1.thm12017-02-06 12:46 2.1K 
[ ]matrix_5__557_25.min1.thm12017-02-06 12:46 861  
[ ]matrix_5__571_27.min1.thm12017-02-06 12:46 1.6K 
[ ]matrix_5__583_21.min1.thm12017-02-06 12:46 2.8K 
[ ]matrix_5__586_26.min1.thm12017-02-06 12:46 2.8K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80