Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_isof_from.bad_dt_f/matrtop3

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]matrtop3__e3_132017-01-05 21:15 121K 
[   ]matrtop3__e5_54_1_12017-01-05 21:15 163K 
[   ]matrtop3__e5_582017-01-05 21:15 151K 
[   ]matrtop3__e6_592017-01-05 21:15 126K 
[   ]matrtop3__e7_65_1_22017-01-05 21:15 162K 
[   ]matrtop3__e8_53_1_12017-01-05 21:15 129K 
[   ]matrtop3__e8_662017-01-05 21:15 157K 
[   ]matrtop3__e9_702017-01-05 21:15 154K 
[   ]matrtop3__e10_74_1_22017-01-05 21:15 128K 
[   ]matrtop3__e11_242017-01-05 21:15 94K 
[   ]matrtop3__e17_132017-01-05 21:15 124K 
[   ]matrtop3__e19_132017-01-05 21:15 128K 

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