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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]ami_2__l2_ami_22021-07-18 13:31 45K 
[   ]ami_2__l3_ami_22021-07-18 13:31 46K 
[   ]ami_2__l9_ami_22021-07-18 13:31 45K 
[   ]ami_2__l16_ami_22021-07-18 13:25 50K 
[   ]ami_2__l17_ami_22021-07-18 13:25 39K 
[   ]ami_2__l18_ami_22021-07-18 13:25 55K 
[   ]ami_2__l19_ami_22021-07-18 13:26 59K 
[   ]ami_2__t6_ami_22021-07-18 13:26 61K 
[   ]ami_2__t7_ami_22021-07-18 13:27 61K 
[   ]ami_2__t8_ami_22021-07-18 13:22 56K 
[   ]ami_2__t9_ami_22021-07-18 13:22 63K 
[   ]ami_2__t10_ami_22021-07-18 13:27 64K 
[   ]ami_2__t11_ami_22021-07-18 13:27 70K 
[   ]ami_2__t12_ami_22021-07-18 13:28 72K 
[   ]ami_2__t13_ami_22021-07-18 13:28 70K 
[   ]ami_2__t14_ami_22021-07-18 13:29 72K 
[   ]ami_2__t15_ami_22021-07-18 13:29 71K 
[   ]ami_2__t16_ami_22021-07-18 13:30 71K 
[   ]ami_2__t20_ami_22021-07-18 13:23 45K 
[   ]ami_2__t22_ami_22021-07-18 13:23 44K 
[   ]ami_2__t23_ami_22021-07-18 13:30 47K 
[   ]ami_2__t24_ami_22021-07-18 13:30 47K 
[   ]ami_2__t26_ami_22021-07-18 13:23 45K 
[   ]ami_2__t27_ami_22021-07-18 13:24 57K 
[   ]ami_2__t28_ami_22021-07-18 13:24 62K 
[   ]ami_2__t29_ami_22021-07-18 13:24 56K 

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