Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_isof_from1/graph_4

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]graph_4__e3_14_1_1_12017-01-13 18:20 71K 
[   ]graph_4__e4_31_1_22017-01-13 18:20 63K 
[   ]graph_4__e9_30_2_22017-01-13 18:20 58K 
[   ]graph_4__e12_30_2_32017-01-13 18:20 56K 
[   ]graph_4__e16_30_2_22017-01-13 18:20 56K 
[   ]graph_4__e19_30_2_32017-01-13 18:20 54K 
[   ]graph_4__e40_30_2_12017-01-13 18:20 58K 
[   ]graph_4__e47_30_2_12017-01-13 18:20 62K 

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