Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_isof_tls1/birkhoff

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]birkhoff__s1_birkhoff2017-01-13 17:49 200K 
[   ]birkhoff__s2_birkhoff2017-01-13 17:49 108K 
[   ]birkhoff__s3_birkhoff2017-01-13 17:49 76K 
[   ]birkhoff__s4_birkhoff2017-01-13 17:49 119K 
[   ]birkhoff__s5_birkhoff2017-01-13 17:49 109K 
[   ]birkhoff__s6_birkhoff2017-01-13 17:49 106K 
[   ]birkhoff__s7_birkhoff2017-01-13 17:49 127K 
[   ]birkhoff__s8_birkhoff2017-01-13 17:49 65K 
[   ]birkhoff__s9_birkhoff2017-01-13 17:49 78K 
[   ]birkhoff__s10_birkhoff2017-01-13 17:49 70K 
[   ]birkhoff__s11_birkhoff2017-01-13 17:49 136K 
[   ]birkhoff__s12_birkhoff2017-01-13 17:49 124K 
[   ]birkhoff__t1_birkhoff2017-01-13 17:49 92K 

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