Index of /~mptp/7.13.01_4.181.1147/mptp/problems_gdfthf/brouwer

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]brouwer__l18_brouwer2019-08-22 10:19 160K 
[   ]brouwer__t1_brouwer2019-08-22 10:14 65K 
[   ]brouwer__t2_brouwer2019-08-22 10:14 154K 
[   ]brouwer__t3_brouwer2019-08-22 10:14 96K 
[   ]brouwer__t4_brouwer2019-08-22 10:15 528K 
[   ]brouwer__t5_brouwer2019-08-22 10:15 533K 
[   ]brouwer__t6_brouwer2019-08-22 10:15 126K 
[   ]brouwer__t7_brouwer2019-08-22 10:16 2.3M 
[   ]brouwer__t8_brouwer2019-08-22 10:18 2.3M 
[   ]brouwer__t9_brouwer2019-08-22 10:18 165K 
[   ]brouwer__t10_brouwer2019-08-22 10:19 522K 
[   ]brouwer__t11_brouwer2019-08-22 10:19 131K 
[   ]brouwer__t12_brouwer2019-08-22 10:19 211K 
[   ]brouwer__t13_brouwer2019-08-22 10:29 5.0M 
[   ]brouwer__t14_brouwer2019-08-22 10:30 237K 
[   ]brouwer__t15_brouwer2019-08-22 10:30 139K 

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