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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]scmisort__e2_15_1_12017-01-05 21:16 181K 
[   ]scmisort__e3_522017-01-05 21:16 234K 
[   ]scmisort__e3_542017-01-05 21:17 248K 
[   ]scmisort__e4_202017-01-05 21:16 156K 
[   ]scmisort__e5_192017-01-05 21:16 152K 
[   ]scmisort__e5_222017-01-05 21:16 157K 
[   ]scmisort__e6_56_1_22017-01-05 21:17 285K 
[   ]scmisort__e7_19_5_2_1_1_22017-01-05 21:16 176K 
[   ]scmisort__e10_15_1_22017-01-05 21:16 185K 
[   ]scmisort__e12_192017-01-05 21:16 181K 
[   ]scmisort__e24_132017-01-05 21:16 185K 

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