Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_sch_np/cqc_lang

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]cqc_lang__s1_cqc_lang2016-03-14 17:22 35K 
[   ]cqc_lang__s2_cqc_lang2016-03-14 17:22 42K 
[   ]cqc_lang__s3_cqc_lang2016-03-14 17:22 37K 
[   ]cqc_lang__s4_cqc_lang2016-03-14 17:22 43K 
[   ]cqc_lang__s5_cqc_lang2016-03-14 17:22 33K 
[   ]cqc_lang__s6_cqc_lang2016-03-14 17:22 34K 
[   ]cqc_lang__s7_cqc_lang2016-03-14 17:22 39K 
[   ]cqc_lang__s8_cqc_lang2016-03-14 17:22 39K 
[   ]cqc_lang__s9_cqc_lang2016-03-14 17:22 39K 

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