Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_gdfthf/binarith

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]binarith__t1_binarith2019-08-27 22:33 71K 
[   ]binarith__t2_binarith2019-08-27 22:33 81K 
[   ]binarith__t3_binarith2019-08-27 22:33 56K 
[   ]binarith__t4_binarith2019-08-27 22:33 54K 
[   ]binarith__t5_binarith2019-08-27 22:33 54K 
[   ]binarith__t6_binarith2019-08-27 22:33 54K 
[   ]binarith__t7_binarith2019-08-27 22:33 78K 
[   ]binarith__t8_binarith2019-08-27 22:33 59K 
[   ]binarith__t9_binarith2019-08-27 22:33 29K 
[   ]binarith__t10_binarith2019-08-27 22:33 55K 
[   ]binarith__t11_binarith2019-08-27 22:33 54K 
[   ]binarith__t12_binarith2019-08-27 22:33 54K 
[   ]binarith__t13_binarith2019-08-27 22:33 51K 
[   ]binarith__t14_binarith2019-08-27 22:33 50K 
[   ]binarith__t15_binarith2019-08-27 22:33 70K 
[   ]binarith__t16_binarith2019-08-27 22:33 106K 
[   ]binarith__t17_binarith2019-08-27 22:34 208K 
[   ]binarith__t18_binarith2019-08-27 22:34 150K 
[   ]binarith__t19_binarith2019-08-27 22:34 5.8M 
[   ]binarith__t20_binarith2019-08-27 22:34 160K 
[   ]binarith__t21_binarith2019-08-27 22:38 11M 
[   ]binarith__t22_binarith2019-08-27 22:38 131K 

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