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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]measure7__e1_17_1_12017-01-05 21:24 67K 
[   ]measure7__e1_17_1_22017-01-05 21:24 70K 
[   ]measure7__e1_20_1_22017-01-05 21:24 74K 
[   ]measure7__e1_22_1_22017-01-05 21:24 75K 
[   ]measure7__e1_24_1_12017-01-05 21:24 59K 
[   ]measure7__e1_27_1_12017-01-05 21:24 60K 
[   ]measure7__e1_27_1_22017-01-05 21:24 66K 
[   ]measure7__e2_7_1_12017-01-05 21:24 66K 
[   ]measure7__e2_20_1_12017-01-05 21:24 73K 
[   ]measure7__e2_22_1_12017-01-05 21:24 72K 
[   ]measure7__e2_28_1_12017-01-05 21:24 77K 
[   ]measure7__e3_24_1_22017-01-05 21:24 60K 
[   ]measure7__e4_102017-01-05 21:24 72K 
[   ]measure7__e4_11_1_1_12017-01-05 21:24 74K 
[   ]measure7__e5_12017-01-05 21:24 71K 
[   ]measure7__e5_112017-01-05 21:24 91K 
[   ]measure7__e6_292017-01-05 21:24 86K 
[   ]measure7__e7_102017-01-05 21:24 72K 
[   ]measure7__e7_25_1_12017-01-05 21:24 59K 
[   ]measure7__e7_29_12017-01-05 21:24 84K 
[   ]measure7__e8_32017-01-05 21:24 80K 
[   ]measure7__e8_42017-01-05 21:24 80K 
[   ]measure7__e9_92017-01-05 21:24 72K 
[   ]measure7__e11_29_12017-01-05 21:24 84K 
[   ]measure7__e13_11_1_1_12017-01-05 21:24 74K 
[   ]measure7__e15_31_7_1_22017-01-05 21:24 79K 
[   ]measure7__e21_31_7_1_22017-01-05 21:24 85K 
[   ]measure7__e32_29_12017-01-05 21:24 66K 

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