Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_from/matrtop3

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]matrtop3__e3_132017-01-12 23:22 76K 
[   ]matrtop3__e5_54_1_12017-01-12 23:22 104K 
[   ]matrtop3__e5_582017-01-12 23:22 97K 
[   ]matrtop3__e6_592017-01-12 23:22 80K 
[   ]matrtop3__e7_65_1_22017-01-12 23:22 103K 
[   ]matrtop3__e8_53_1_12017-01-12 23:22 82K 
[   ]matrtop3__e8_662017-01-12 23:22 101K 
[   ]matrtop3__e9_702017-01-12 23:22 100K 
[   ]matrtop3__e10_74_1_22017-01-12 23:22 82K 
[   ]matrtop3__e11_242017-01-12 23:22 59K 
[   ]matrtop3__e17_132017-01-12 23:22 78K 
[   ]matrtop3__e19_132017-01-12 23:22 81K 

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