Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_from/metrizts

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]metrizts__e3_25_1_22017-01-12 23:13 48K 
[   ]metrizts__e3_29_1_22017-01-12 23:13 42K 
[   ]metrizts__e3_30_1_22017-01-12 23:13 42K 
[   ]metrizts__e4_16_1_22017-01-12 23:13 64K 
[   ]metrizts__e5_32_1_2_12017-01-12 23:13 52K 
[   ]metrizts__e5_47_3_1_1_2_12017-01-12 23:13 44K 
[   ]metrizts__e5_49_1_12017-01-12 23:13 65K 
[   ]metrizts__e5_50_1_12017-01-12 23:13 66K 
[   ]metrizts__e6_62017-01-12 23:13 58K 
[   ]metrizts__e6_142017-01-12 23:13 57K 
[   ]metrizts__e6_32_1_2_12017-01-12 23:13 53K 
[   ]metrizts__e7_62017-01-12 23:13 56K 
[   ]metrizts__e7_272017-01-12 23:13 46K 
[   ]metrizts__e7_32_1_22017-01-12 23:13 61K 
[   ]metrizts__e8_31_1_22017-01-12 23:13 62K 
[   ]metrizts__e8_39_1_22017-01-12 23:13 58K 
[   ]metrizts__e9_13_1_22017-01-12 23:13 38K 
[   ]metrizts__e11_22_1_1_1_2_1_22017-01-12 23:13 67K 
[   ]metrizts__e11_31_1_2_12017-01-12 23:13 58K 
[   ]metrizts__e12_142017-01-12 23:13 59K 
[   ]metrizts__e15_142017-01-12 23:13 57K 
[   ]metrizts__e18_272017-01-12 23:13 49K 
[   ]metrizts__e20_142017-01-12 23:13 59K 

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