Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_isof_from.bad_dt_f/metrizts

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]metrizts__e3_25_1_22017-01-05 21:15 78K 
[   ]metrizts__e3_29_1_22017-01-05 21:15 67K 
[   ]metrizts__e3_30_1_22017-01-05 21:15 67K 
[   ]metrizts__e4_16_1_22017-01-05 21:15 103K 
[   ]metrizts__e5_32_1_2_12017-01-05 21:15 83K 
[   ]metrizts__e5_47_3_1_1_2_12017-01-05 21:15 69K 
[   ]metrizts__e5_49_1_12017-01-05 21:15 104K 
[   ]metrizts__e5_50_1_12017-01-05 21:15 107K 
[   ]metrizts__e6_62017-01-05 21:15 91K 
[   ]metrizts__e6_142017-01-05 21:15 91K 
[   ]metrizts__e6_32_1_2_12017-01-05 21:15 85K 
[   ]metrizts__e7_62017-01-05 21:15 89K 
[   ]metrizts__e7_272017-01-05 21:15 73K 
[   ]metrizts__e7_32_1_22017-01-05 21:15 98K 
[   ]metrizts__e8_31_1_22017-01-05 21:15 99K 
[   ]metrizts__e8_39_1_22017-01-05 21:15 93K 
[   ]metrizts__e9_13_1_22017-01-05 21:15 60K 
[   ]metrizts__e11_22_1_1_1_2_1_22017-01-05 21:15 107K 
[   ]metrizts__e11_31_1_2_12017-01-05 21:15 93K 
[   ]metrizts__e12_142017-01-05 21:15 93K 
[   ]metrizts__e15_142017-01-05 21:15 91K 
[   ]metrizts__e18_272017-01-05 21:15 77K 
[   ]metrizts__e20_142017-01-05 21:15 93K 

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