Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_from/scmfsa6b

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]scmfsa6b__e4_19_22017-01-12 23:16 82K 
[   ]scmfsa6b__e4_20_12017-01-12 23:16 81K 
[   ]scmfsa6b__e4_21_12017-01-12 23:16 84K 
[   ]scmfsa6b__e4_252017-01-12 23:16 81K 
[   ]scmfsa6b__e5_6_1_12017-01-12 23:16 66K 
[   ]scmfsa6b__e5_182017-01-12 23:16 82K 
[   ]scmfsa6b__e5_222017-01-12 23:16 82K 
[   ]scmfsa6b__e6_6_2_12017-01-12 23:16 66K 
[   ]scmfsa6b__e7_52017-01-12 23:16 73K 
[   ]scmfsa6b__e7_92017-01-12 23:16 68K 
[   ]scmfsa6b__e8_262017-01-12 23:16 92K 
[   ]scmfsa6b__e19_112017-01-12 23:16 76K 

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