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

[ICO]NameLast modifiedSizeDescription

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

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