Index of /~mptp/mml5.63.1382/8.1.10_5.63.1382/mptp/problems_small_thf.orig2021/birkhoff

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]birkhoff__s1_birkhoff2021-07-18 16:20 133K 
[   ]birkhoff__s2_birkhoff2021-07-18 16:20 73K 
[   ]birkhoff__s3_birkhoff2021-07-18 16:21 55K 
[   ]birkhoff__s4_birkhoff2021-07-18 16:21 81K 
[   ]birkhoff__s5_birkhoff2021-07-18 16:22 73K 
[   ]birkhoff__s6_birkhoff2021-07-18 16:22 72K 
[   ]birkhoff__s7_birkhoff2021-07-18 16:23 83K 
[   ]birkhoff__s8_birkhoff2021-07-18 16:23 43K 
[   ]birkhoff__s9_birkhoff2021-07-18 16:24 52K 
[   ]birkhoff__s10_birkhoff2021-07-18 16:24 51K 
[   ]birkhoff__s11_birkhoff2021-07-18 16:25 94K 
[   ]birkhoff__s12_birkhoff2021-07-18 16:26 81K 
[   ]birkhoff__t1_birkhoff2021-07-18 16:26 62K 

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