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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]birkhoff__s1_birkhoff2019-08-24 10:49 864K 
[   ]birkhoff__s2_birkhoff2019-08-24 10:50 259K 
[   ]birkhoff__s3_birkhoff2019-08-24 10:50 108K 
[   ]birkhoff__s4_birkhoff2019-08-24 10:50 218K 
[   ]birkhoff__s5_birkhoff2019-08-24 10:51 232K 
[   ]birkhoff__s6_birkhoff2019-08-24 10:51 129K 
[   ]birkhoff__s7_birkhoff2019-08-24 10:52 249K 
[   ]birkhoff__s8_birkhoff2019-08-24 10:52 58K 
[   ]birkhoff__s9_birkhoff2019-08-24 10:52 123K 
[   ]birkhoff__s10_birkhoff2019-08-24 10:52 59K 
[   ]birkhoff__s11_birkhoff2019-08-24 10:53 362K 
[   ]birkhoff__s12_birkhoff2019-08-24 10:53 296K 
[   ]birkhoff__t1_birkhoff2019-08-24 10:47 153K 

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