Index of /~mptp/1147/MPTP2/problems_thf_tls1/brouwer2

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]brouwer2__l1_brouwer22017-01-13 19:26 107K 
[   ]brouwer2__l2_brouwer22017-01-13 19:26 112K 
[   ]brouwer2__l5_brouwer22017-01-13 19:26 268K 
[   ]brouwer2__l8_brouwer22017-01-13 19:26 389K 
[   ]brouwer2__l13_brouwer22017-01-13 19:26 102K 
[   ]brouwer2__l14_brouwer22017-01-13 19:26 164K 
[   ]brouwer2__t1_brouwer22017-01-13 19:26 105K 
[   ]brouwer2__t2_brouwer22017-01-13 19:26 132K 
[   ]brouwer2__t3_brouwer22017-01-13 19:26 131K 
[   ]brouwer2__t4_brouwer22017-01-13 19:26 206K 
[   ]brouwer2__t5_brouwer22017-01-13 19:26 251K 
[   ]brouwer2__t6_brouwer22017-01-13 19:26 184K 
[   ]brouwer2__t7_brouwer22017-01-13 19:26 147K 
[   ]brouwer2__t8_brouwer22017-01-13 19:26 186K 
[   ]brouwer2__t9_brouwer22017-01-13 19:26 177K 

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