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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]catalan1__35_25.min1.thm12017-02-06 12:46 897  
[ ]catalan1__37_25.min1.thm12017-02-06 12:46 2.3K 
[ ]catalan1__38_18.min1.thm12017-02-06 12:46 1.8K 
[ ]catalan1__42_19.min1.thm12017-02-06 12:46 1.5K 
[ ]catalan1__54_24.min1.thm12017-02-06 12:46 2.7K 
[ ]catalan1__57_19.min1.thm12017-02-06 12:46 1.3K 
[ ]catalan1__67_23.min1.thm12017-02-06 12:46 1.1K 
[ ]catalan1__70_18.min1.thm12017-02-06 12:46 1.9K 
[ ]catalan1__80_18.min1.thm12017-02-06 12:46 857  
[ ]catalan1__81_33.min1.thm12017-02-06 12:46 403  
[ ]catalan1__81_33.min1.thm1.tptp2017-02-06 16:48 326  
[ ]catalan1__82_16.min1.thm12017-02-06 12:46 1.3K 
[ ]catalan1__83_14.min1.thm12017-02-06 12:46 310  
[ ]catalan1__110_23.min1.thm12017-02-06 12:46 1.1K 
[ ]catalan1__113_17.min1.thm12017-02-06 12:46 604  
[ ]catalan1__124_20.min1.thm12017-02-06 12:46 1.8K 
[ ]catalan1__130_41.min1.thm12017-02-06 12:46 1.0K 
[ ]catalan1__136_22.min1.thm12017-02-06 12:46 1.2K 
[ ]catalan1__140_18.min1.thm12017-02-06 12:46 1.1K 
[ ]catalan1__172_21.min1.thm12017-02-06 12:46 2.8K 
[ ]catalan1__173_21.min1.thm12017-02-06 12:46 1.5K 
[ ]catalan1__174_27.min1.thm12017-02-06 12:46 1.0K 
[ ]catalan1__175_49.min1.thm12017-02-06 12:46 2.4K 
[ ]catalan1__185_14.min1.thm12017-02-06 12:46 506  
[ ]catalan1__196_27.min1.thm12017-02-06 12:46 501  
[ ]catalan1__197_21.min1.thm12017-02-06 12:46 2.8K 
[ ]catalan1__200_17.min1.thm12017-02-06 12:46 1.1K 
[ ]catalan1__206_49.min1.thm12017-02-06 12:46 2.5K 
[ ]catalan1__209_16.min1.thm12017-02-06 12:46 1.5K 
[ ]catalan1__216_26.min1.thm12017-02-06 12:46 476  
[ ]catalan1__217_22.min1.thm12017-02-06 12:46 1.5K 
[ ]catalan1__220_21.min1.thm12017-02-06 12:46 1.9K 
[ ]catalan1__223_14.min1.thm12017-02-06 12:46 1.7K 
[ ]catalan1__225_35.min1.thm12017-02-06 12:46 1.1K 
[ ]catalan1__226_14.min1.thm12017-02-06 12:46 1.7K 
[ ]catalan1__228_27.min1.thm12017-02-06 12:46 1.6K 
[ ]catalan1__229_49.min1.thm12017-02-06 12:46 2.4K 
[ ]catalan1__239_14.min1.thm12017-02-06 12:46 908  
[ ]catalan1__257_14.min1.thm12017-02-06 12:46 634  
[ ]catalan1__267_11.min1.thm12017-02-06 12:46 1.6K 
[ ]catalan1__268_14.min1.thm12017-02-06 12:46 206  
[ ]catalan1__274_21.min1.thm12017-02-06 12:46 1.2K 
[ ]catalan1__275_8.min1.thm12017-02-06 12:46 734  
[ ]catalan1__276_19.min1.thm12017-02-06 12:46 1.2K 
[ ]catalan1__277_8.min1.thm12017-02-06 12:46 734  
[ ]catalan1__279_8.min1.thm12017-02-06 12:46 580  
[ ]catalan1__280_14.min1.thm12017-02-06 12:46 206  
[ ]catalan1__287_14.min1.thm12017-02-06 12:46 397  
[ ]catalan1__287_14.min1.thm1.tptp2017-02-06 16:48 322  
[ ]catalan1__299_13.min1.thm12017-02-06 12:46 760  
[ ]catalan1__312_40.min1.thm12017-02-06 12:46 1.9K 
[ ]catalan1__316_14.min1.thm12017-02-06 12:46 516  
[ ]catalan1__325_49.min1.thm12017-02-06 12:46 551  
[ ]catalan1__325_49.min1.thm1.tptp2017-02-06 16:48 474  
[ ]catalan1__328_24.min1.thm12017-02-06 12:46 1.5K 
[ ]catalan1__337_26.min1.thm12017-02-06 12:46 1.1K 
[ ]catalan1__341_17.min1.thm12017-02-06 12:46 1.5K 
[ ]catalan1__348_14.min1.thm12017-02-06 12:46 397  
[ ]catalan1__348_14.min1.thm1.tptp2017-02-06 16:48 322  
[ ]catalan1__370_27.min1.thm12017-02-06 12:46 308  
[ ]catalan1__370_27.min1.thm1.tptp2017-02-06 16:48 227  
[ ]catalan1__382_17.min1.thm12017-02-06 12:46 1.5K 
[ ]catalan1__384_33.min1.thm12017-02-06 12:46 2.2K 
[ ]catalan1__387_39.min1.thm12017-02-06 12:46 1.6K 
[ ]catalan1__388_57.min1.thm12017-02-06 12:46 1.3K 
[ ]catalan1__390_21.min1.thm12017-02-06 12:46 1.6K 
[ ]catalan1__400_29.min1.thm12017-02-06 12:46 2.0K 
[ ]catalan1__401_14.min1.thm12017-02-06 12:46 1.6K 
[ ]catalan1__403_35.min1.thm12017-02-06 12:46 1.1K 
[ ]catalan1__404_47.min1.thm12017-02-06 12:46 553  
[ ]catalan1__404_47.min1.thm1.tptp2017-02-06 16:48 476  
[ ]catalan1__413_17.min1.thm12017-02-06 12:46 2.7K 
[ ]catalan1__419_14.min1.thm12017-02-06 12:46 546  
[ ]catalan1__429_53.min1.thm12017-02-06 12:46 1.7K 
[ ]catalan1__430_11.min1.thm12017-02-06 12:46 960  
[ ]catalan1__432_17.min1.thm12017-02-06 12:46 879  
[ ]catalan1__438_14.min1.thm12017-02-06 12:46 1.4K 
[ ]catalan1__447_65.min1.thm12017-02-06 12:46 651  
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80