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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]scmfsa9a__e4_462017-01-05 21:19 137K 
[   ]scmfsa9a__e5_232017-01-05 21:19 133K 
[   ]scmfsa9a__e5_25_1_12017-01-05 21:19 135K 
[   ]scmfsa9a__e5_412017-01-05 21:19 133K 
[   ]scmfsa9a__e5_43_1_12017-01-05 21:19 135K 
[   ]scmfsa9a__e5_552017-01-05 21:19 128K 
[   ]scmfsa9a__e6_172017-01-05 21:19 134K 
[   ]scmfsa9a__e6_242017-01-05 21:19 137K 
[   ]scmfsa9a__e6_352017-01-05 21:19 135K 
[   ]scmfsa9a__e6_422017-01-05 21:19 137K 
[   ]scmfsa9a__e7_17_3_2_1_1_22017-01-05 21:19 157K 
[   ]scmfsa9a__e7_35_3_2_1_1_22017-01-05 21:19 157K 
[   ]scmfsa9a__e8_50_1_1_22017-01-05 21:19 139K 
[   ]scmfsa9a__e8_50_22017-01-05 21:19 137K 
[   ]scmfsa9a__e11_172017-01-05 21:19 162K 
[   ]scmfsa9a__e11_352017-01-05 21:19 162K 
[   ]scmfsa9a__e12_522017-01-05 21:19 136K 
[   ]scmfsa9a__e15_25_1_12017-01-05 21:19 162K 
[   ]scmfsa9a__e15_43_1_12017-01-05 21:19 162K 
[   ]scmfsa9a__e18_202017-01-05 21:19 161K 
[   ]scmfsa9a__e18_382017-01-05 21:19 161K 
[   ]scmfsa9a__e22_552017-01-05 21:19 243K 

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