Index of /~mptp/1147/mptp/problems_thf_sch_np/bintree1

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]bintree1__s1_bintree12016-03-08 17:37 67K 
[   ]bintree1__s2_bintree12016-03-08 17:37 64K 
[   ]bintree1__s3_bintree12016-03-08 17:37 76K 
[   ]bintree1__s4_bintree12016-03-08 17:37 78K 
[   ]bintree1__s5_bintree12016-03-08 17:37 70K 
[   ]bintree1__s6_bintree12016-03-08 17:37 77K 

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