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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]binarith__t1_binarith2021-07-18 21:38 30K 
[   ]binarith__t2_binarith2021-07-18 21:38 37K 
[   ]binarith__t3_binarith2021-07-18 21:35 38K 
[   ]binarith__t4_binarith2021-07-18 21:35 36K 
[   ]binarith__t5_binarith2021-07-18 21:36 36K 
[   ]binarith__t6_binarith2021-07-18 21:36 36K 
[   ]binarith__t7_binarith2021-07-18 21:36 51K 
[   ]binarith__t8_binarith2021-07-18 21:36 40K 
[   ]binarith__t9_binarith2021-07-18 21:37 20K 
[   ]binarith__t10_binarith2021-07-18 21:37 37K 
[   ]binarith__t11_binarith2021-07-18 21:37 36K 
[   ]binarith__t12_binarith2021-07-18 21:37 36K 
[   ]binarith__t13_binarith2021-07-18 21:38 35K 
[   ]binarith__t14_binarith2021-07-18 21:39 25K 
[   ]binarith__t15_binarith2021-07-18 21:39 34K 
[   ]binarith__t16_binarith2021-07-18 21:39 53K 
[   ]binarith__t17_binarith2021-07-18 21:40 76K 
[   ]binarith__t18_binarith2021-07-18 21:40 77K 
[   ]binarith__t19_binarith2021-07-18 21:41 2.0M 
[   ]binarith__t20_binarith2021-07-18 21:41 62K 
[   ]binarith__t21_binarith2021-07-18 21:42 2.1M 
[   ]binarith__t22_binarith2021-07-18 21:42 66K 

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