Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_isof_from/dickson

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]dickson__e1_3_12017-01-13 00:00 59K 
[   ]dickson__e1_56_1_1_12017-01-13 00:00 98K 
[   ]dickson__e1_582017-01-13 00:00 80K 
[   ]dickson__e2_49_1_22017-01-13 00:00 116K 
[   ]dickson__e2_57_1_1_12017-01-13 00:00 93K 
[   ]dickson__e3_49_1_2_32017-01-13 00:00 95K 
[   ]dickson__e3_49_1_2_42017-01-13 00:00 95K 
[   ]dickson__e3_54_22017-01-13 00:00 97K 
[   ]dickson__e3_54_4_12017-01-13 00:00 99K 
[   ]dickson__e3_54_5_1_12017-01-13 00:00 98K 
[   ]dickson__e3_54_62017-01-13 00:00 99K 
[   ]dickson__e3_622017-01-13 00:00 100K 
[   ]dickson__e4_72017-01-13 00:00 95K 
[   ]dickson__e4_50_1_2_12017-01-13 00:00 67K 
[   ]dickson__e4_602017-01-13 00:00 72K 
[   ]dickson__e5_31_12017-01-13 00:00 93K 
[   ]dickson__e5_50_1_22017-01-13 00:00 67K 
[   ]dickson__e5_72_2_1_12017-01-13 00:00 59K 
[   ]dickson__e5_76_12017-01-13 00:00 93K 
[   ]dickson__e6_49_1_12017-01-13 00:00 91K 
[   ]dickson__e7_472017-01-13 00:00 86K 
[   ]dickson__e7_542017-01-13 00:00 111K 
[   ]dickson__e8_49_1_22017-01-13 00:00 74K 
[   ]dickson__e9_56_1_1_12017-01-13 00:00 98K 
[   ]dickson__e17_61_1_22017-01-13 00:00 98K 
[   ]dickson__e23_542017-01-13 00:00 92K 
[   ]dickson__e28_542017-01-13 00:00 113K 
[   ]dickson__e30_54_42017-01-13 00:00 95K 

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