Index of /~mptp/mml5.63.1382/MPTP2/problems/brouwer

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]brouwer__l18_brouwer2023-06-28 16:19 74K 
[   ]brouwer__t1_brouwer2023-06-28 16:08 48K 
[   ]brouwer__t2_brouwer2023-06-28 16:08 82K 
[   ]brouwer__t3_brouwer2023-06-28 16:09 70K 
[   ]brouwer__t4_brouwer2023-06-28 16:10 360K 
[   ]brouwer__t5_brouwer2023-06-28 16:11 303K 
[   ]brouwer__t6_brouwer2023-06-28 16:12 82K 
[   ]brouwer__t7_brouwer2023-06-28 16:13 682K 
[   ]brouwer__t8_brouwer2023-06-28 16:14 672K 
[   ]brouwer__t9_brouwer2023-06-28 16:14 89K 
[   ]brouwer__t10_brouwer2023-06-28 16:16 138K 
[   ]brouwer__t11_brouwer2023-06-28 16:16 79K 
[   ]brouwer__t12_brouwer2023-06-28 16:17 97K 
[   ]brouwer__t14_brouwer2023-06-28 16:18 94K 
[   ]brouwer__t15_brouwer2023-06-28 16:18 77K 

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