Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_from_newthf/binom

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]binom__l3_binom2023-06-27 16:43 43K 
[   ]binom__l4_binom2023-06-27 16:43 43K 
[   ]binom__l14_binom2023-06-27 16:43 39K 
[   ]binom__t4_binom2023-06-27 16:43 62K 
[   ]binom__t5_binom2023-06-27 16:43 63K 
[   ]binom__t7_binom2023-06-27 16:43 55K 
[   ]binom__t9_binom2023-06-27 16:43 40K 
[   ]binom__t11_binom2023-06-27 16:43 42K 
[   ]binom__t15_binom2023-06-27 16:43 42K 
[   ]binom__t16_binom2023-06-27 16:43 42K 
[   ]binom__t17_binom2023-06-27 16:43 45K 
[   ]binom__t18_binom2023-06-27 16:43 45K 
[   ]binom__t19_binom2023-06-27 16:43 51K 
[   ]binom__t20_binom2023-06-27 16:43 54K 
[   ]binom__t25_binom2023-06-27 16:43 274K 

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