Index of /~mptp/1147/mptp/problems_thf_sch_np/recdef_2

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]recdef_2__s1_recdef_22016-03-08 17:43 14K 
[   ]recdef_2__s2_recdef_22016-03-08 17:43 14K 
[   ]recdef_2__s3_recdef_22016-03-08 17:43 28K 
[   ]recdef_2__s4_recdef_22016-03-18 18:03 232K 
[   ]recdef_2__s5_recdef_22016-03-08 17:43 45K 
[   ]recdef_2__s6_recdef_22016-03-08 17:43 36K 
[   ]recdef_2__s7_recdef_22016-03-08 17:43 24K 
[   ]recdef_2__s8_recdef_22016-03-18 18:03 338K 
[   ]recdef_2__s9_recdef_22016-03-08 17:43 50K 
[   ]recdef_2__s10_recdef_22016-03-08 17:43 46K 
[   ]recdef_2__s11_recdef_22016-03-08 17:43 26K 
[   ]recdef_2__s12_recdef_22016-03-18 18:03 61K 
[   ]recdef_2__s13_recdef_22016-03-08 17:43 28K 

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