Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_tls/brouwer2

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]brouwer2__l1_brouwer22017-01-12 22:02 107K 
[   ]brouwer2__l2_brouwer22017-01-12 22:02 111K 
[   ]brouwer2__l5_brouwer22017-01-12 22:02 261K 
[   ]brouwer2__l8_brouwer22017-01-12 22:02 382K 
[   ]brouwer2__l13_brouwer22017-01-12 22:02 102K 
[   ]brouwer2__l14_brouwer22017-01-12 22:02 164K 
[   ]brouwer2__t1_brouwer22017-01-12 22:02 105K 
[   ]brouwer2__t2_brouwer22017-01-12 22:02 131K 
[   ]brouwer2__t3_brouwer22017-01-12 22:02 131K 
[   ]brouwer2__t4_brouwer22017-01-12 22:02 204K 
[   ]brouwer2__t5_brouwer22017-01-12 22:02 243K 
[   ]brouwer2__t6_brouwer22017-01-12 22:02 184K 
[   ]brouwer2__t7_brouwer22017-01-12 22:02 147K 
[   ]brouwer2__t8_brouwer22017-01-12 22:02 185K 
[   ]brouwer2__t9_brouwer22017-01-12 22:02 177K 

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