Index of /~mptp/1147/MPTP2/problems_thf_isof_from/chord

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]chord__e1_162017-01-13 00:08 64K 
[   ]chord__e2_1212017-01-13 00:08 72K 
[   ]chord__e2_133_1_12017-01-13 00:08 78K 
[   ]chord__e3_34_12017-01-13 00:08 70K 
[   ]chord__e5_119_1_22017-01-13 00:08 96K 
[   ]chord__e6_382017-01-13 00:08 85K 
[   ]chord__e6_922017-01-13 00:08 82K 
[   ]chord__e8_922017-01-13 00:08 80K 
[   ]chord__e12_1162017-01-13 00:08 105K 
[   ]chord__e76_119_1_22017-01-13 00:08 132K 

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