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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]birkhoff__s1_birkhoff2023-06-28 00:30 131K 
[   ]birkhoff__s2_birkhoff2023-06-28 00:30 68K 
[   ]birkhoff__s3_birkhoff2023-06-28 00:30 48K 
[   ]birkhoff__s4_birkhoff2023-06-28 00:30 77K 
[   ]birkhoff__s5_birkhoff2023-06-28 00:30 68K 
[   ]birkhoff__s6_birkhoff2023-06-28 00:30 67K 
[   ]birkhoff__s7_birkhoff2023-06-28 00:30 81K 
[   ]birkhoff__s8_birkhoff2023-06-28 00:30 42K 
[   ]birkhoff__s9_birkhoff2023-06-28 00:30 50K 
[   ]birkhoff__s10_birkhoff2023-06-28 00:30 45K 
[   ]birkhoff__s11_birkhoff2023-06-28 00:30 90K 
[   ]birkhoff__s12_birkhoff2023-06-28 00:30 80K 
[   ]birkhoff__t1_birkhoff2023-06-28 00:30 57K 

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