Index of /~mptp/8.1.15_5.94.1493/MPTP2/problems_small_thf/birkhoff

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]birkhoff__s1_birkhoff2025-09-13 18:53 133K 
[   ]birkhoff__s2_birkhoff2025-09-13 18:54 73K 
[   ]birkhoff__s3_birkhoff2025-09-13 18:56 55K 
[   ]birkhoff__s4_birkhoff2025-09-13 18:58 81K 
[   ]birkhoff__s5_birkhoff2025-09-13 19:00 73K 
[   ]birkhoff__s6_birkhoff2025-09-13 19:01 72K 
[   ]birkhoff__s7_birkhoff2025-09-13 19:03 83K 
[   ]birkhoff__s8_birkhoff2025-09-13 19:05 43K 
[   ]birkhoff__s9_birkhoff2025-09-13 19:06 51K 
[   ]birkhoff__s10_birkhoff2025-09-13 19:08 51K 
[   ]birkhoff__s11_birkhoff2025-09-13 19:10 93K 
[   ]birkhoff__s12_birkhoff2025-09-13 19:12 81K 
[   ]birkhoff__t1_birkhoff2025-09-13 19:13 62K 

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