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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]graph_2__e1_52017-01-13 00:05 70K 
[   ]graph_2__e1_75_1_12017-01-13 00:05 100K 
[   ]graph_2__e2_67_1_22017-01-13 00:05 94K 
[   ]graph_2__e3_42017-01-13 00:05 74K 
[   ]graph_2__e3_6_32017-01-13 00:05 87K 
[   ]graph_2__e3_67_1_32017-01-13 00:05 91K 
[   ]graph_2__e4_7_1_1_12017-01-13 00:05 84K 
[   ]graph_2__e4_68_1_22017-01-13 00:05 99K 
[   ]graph_2__e5_62017-01-13 00:05 86K 
[   ]graph_2__e5_47_1_1_1_1_1_12017-01-13 00:05 97K 
[   ]graph_2__e5_47_1_1_1_1_2_12017-01-13 00:05 97K 
[   ]graph_2__e6_312017-01-13 00:05 78K 
[   ]graph_2__e6_322017-01-13 00:05 78K 
[   ]graph_2__e6_342017-01-13 00:05 86K 
[   ]graph_2__e6_54_1_1_2_1_1_2_1_1_22017-01-13 00:05 109K 
[   ]graph_2__e7_54_1_1_2_12017-01-13 00:05 92K 
[   ]graph_2__e10_472017-01-13 00:05 92K 
[   ]graph_2__e10_652017-01-13 00:05 92K 
[   ]graph_2__e11_342017-01-13 00:05 84K 
[   ]graph_2__e12_342017-01-13 00:05 85K 
[   ]graph_2__e13_67_1_12017-01-13 00:05 95K 
[   ]graph_2__e17_67_1_22017-01-13 00:05 93K 
[   ]graph_2__e21_67_1_32017-01-13 00:05 91K 
[   ]graph_2__e68_67_1_12017-01-13 00:05 99K 

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