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

[ICO]NameLast modifiedSizeDescription

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

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