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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]comseq_1__54_16.min1.thm12017-02-06 12:45 1.0K 
[   ]comseq_1__58_19.min1.thm12017-02-06 12:45 630  
[   ]comseq_1__59_22.min1.thm12017-02-06 12:45 705  
[   ]comseq_1__60_19.min1.thm12017-02-06 12:45 605  
[   ]comseq_1__70_12.min1.thm12017-02-06 12:45 588  
[   ]comseq_1__71_32.min1.thm12017-02-06 12:45 473  
[   ]comseq_1__72_25.min1.thm12017-02-06 12:45 512  
[   ]comseq_1__74_25.min1.thm12017-02-06 12:45 385  
[   ]comseq_1__74_25.min1.thm1.tptp2017-02-06 16:48 321  
[   ]comseq_1__75_17.min1.thm12017-02-06 12:45 1.3K 
[   ]comseq_1__82_16.min1.thm12017-02-06 12:45 1.4K 
[   ]comseq_1__86_59.min1.thm12017-02-06 12:45 887  
[   ]comseq_1__87_17.min1.thm12017-02-06 12:45 859  
[   ]comseq_1__98_7.min1.thm12017-02-06 12:45 815  
[   ]comseq_1__99_29.min1.thm12017-02-06 12:45 132  
[   ]comseq_1__101_18.min1.thm12017-02-06 12:45 571  
[   ]comseq_1__109_34.min1.thm12017-02-06 12:45 513  
[   ]comseq_1__109_34.min1.thm1.tptp2017-02-06 16:48 454  
[   ]comseq_1__110_38.min1.thm12017-02-06 12:45 602  
[   ]comseq_1__112_42.min1.thm12017-02-06 12:45 881  
[   ]comseq_1__115_29.min1.thm12017-02-06 12:45 1.8K 
[   ]comseq_1__116_14.min1.thm12017-02-06 12:45 388  
[   ]comseq_1__130_27.min1.thm12017-02-06 12:45 552  
[   ]comseq_1__143_24.min1.thm12017-02-06 12:45 1.1K 
[   ]comseq_1__144_28.min1.thm12017-02-06 12:45 1.2K 
[   ]comseq_1__145_19.min1.thm12017-02-06 12:45 1.1K 
[   ]comseq_1__150_40.min1.thm12017-02-06 12:45 1.2K 
[   ]comseq_1__157_55.min1.thm12017-02-06 12:45 1.6K 
[   ]comseq_1__159_45.min1.thm12017-02-06 12:45 1.3K 
[   ]comseq_1__160_17.min1.thm12017-02-06 12:45 693  
[   ]comseq_1__167_21.min1.thm12017-02-06 12:45 966  
[   ]comseq_1__168_17.min1.thm12017-02-06 12:45 1.2K 
[   ]comseq_1__177_16.min1.thm12017-02-06 12:45 593  
[   ]comseq_1__181_15.min1.thm12017-02-06 12:45 343  
[   ]comseq_1__181_15.min1.thm1.tptp2017-02-06 16:48 278  
[   ]comseq_1__182_22.min1.thm12017-02-06 12:45 462  
[   ]comseq_1__184_26.min1.thm12017-02-06 12:45 476  
[   ]comseq_1__185_42.min1.thm12017-02-06 12:45 1.3K 
[   ]comseq_1__187_16.min1.thm12017-02-06 12:45 902  
[   ]comseq_1__238_18.min1.thm12017-02-06 12:45 2.2K 
[   ]comseq_1__272_39.min1.thm12017-02-06 12:45 2.2K 
[   ]comseq_1__312_33.min1.thm12017-02-06 12:45 2.2K 
[   ]comseq_1__321_44.min1.thm12017-02-06 12:45 2.6K 
[   ]comseq_1__330_24.min1.thm12017-02-06 12:45 2.2K 
[   ]comseq_1__340_13.min1.thm12017-02-06 12:45 1.8K 
[   ]comseq_1__346_13.min1.thm12017-02-06 12:45 813  
[   ]comseq_1__357_26.min1.thm12017-02-06 12:45 2.2K 
[   ]comseq_1__364_47.min1.thm12017-02-06 12:45 2.3K 
[   ]comseq_1__370_41.min1.thm12017-02-06 12:45 2.0K 
[   ]comseq_1__372_43.min1.thm12017-02-06 12:45 2.0K 
[   ]comseq_1__383_19.min1.thm12017-02-06 12:45 1.8K 
[   ]comseq_1__400_31.min1.thm12017-02-06 12:45 1.1K 
[   ]comseq_1__412_26.min1.thm12017-02-06 12:45 747  
[   ]comseq_1__418_17.min1.thm12017-02-06 12:45 747  
[   ]comseq_1__443_16.min1.thm12017-02-06 12:45 808  
[   ]comseq_1__448_22.min1.thm12017-02-06 12:45 2.6K 
[   ]comseq_1__449_14.min1.thm12017-02-06 12:45 1.9K 
[   ]comseq_1__479_22.min1.thm12017-02-06 12:45 671  
[   ]comseq_1__489_21.min1.thm12017-02-06 12:45 3.1K 
[   ]comseq_1__520_17.min1.thm12017-02-06 12:45 808  
[   ]comseq_1__543_17.min1.thm12017-02-06 12:45 800  
[   ]comseq_1__550_11.min1.thm12017-02-06 12:45 358  
[   ]comseq_1__550_11.min1.thm1.tptp2017-02-06 16:48 281  
[   ]comseq_1__572_12.min1.thm12017-02-06 12:45 668  
[   ]comseq_1__652_16.min1.thm12017-02-06 12:45 808  
[   ]comseq_1__653_24.min1.thm12017-02-06 12:45 2.0K 
[   ]comseq_1__656_17.min1.thm12017-02-06 12:45 3.0K 
[   ]comseq_1__666_25.min1.thm12017-02-06 12:45 2.1K 
[   ]comseq_1__667_22.min1.thm12017-02-06 12:45 2.3K 
[   ]comseq_1__668_21.min1.thm12017-02-06 12:45 2.7K 

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