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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]scmisort__e2_15_1_12017-01-13 00:15 181K 
[   ]scmisort__e3_522017-01-13 00:15 234K 
[   ]scmisort__e3_542017-01-13 00:15 248K 
[   ]scmisort__e4_202017-01-13 00:15 156K 
[   ]scmisort__e5_192017-01-13 00:15 152K 
[   ]scmisort__e5_222017-01-13 00:15 157K 
[   ]scmisort__e6_56_1_22017-01-13 00:15 285K 
[   ]scmisort__e7_19_5_2_1_1_22017-01-13 00:15 176K 
[   ]scmisort__e10_15_1_22017-01-13 00:15 186K 
[   ]scmisort__e12_192017-01-13 00:15 181K 
[   ]scmisort__e24_132017-01-13 00:15 185K 

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