Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_tls1/ami_wstd

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]ami_wstd__l6_ami_wstd2017-01-13 19:17 92K 
[ ]ami_wstd__l9_ami_wstd2017-01-13 19:17 122K 
[ ]ami_wstd__l10_ami_wstd2017-01-13 19:17 125K 
[ ]ami_wstd__l47_ami_wstd2017-01-13 19:17 73K 
[ ]ami_wstd__t1_ami_wstd2017-01-13 19:17 135K 
[ ]ami_wstd__t2_ami_wstd2017-01-13 19:17 63K 
[ ]ami_wstd__t3_ami_wstd2017-01-13 19:17 197K 
[ ]ami_wstd__t4_ami_wstd2017-01-13 19:17 86K 
[ ]ami_wstd__t5_ami_wstd2017-01-13 19:17 60K 
[ ]ami_wstd__t6_ami_wstd2017-01-13 19:17 59K 
[ ]ami_wstd__t7_ami_wstd2017-01-13 19:17 40K 
[ ]ami_wstd__t8_ami_wstd2017-01-13 19:17 57K 
[ ]ami_wstd__t9_ami_wstd2017-01-13 19:17 43K 
[ ]ami_wstd__t10_ami_wstd2017-01-13 19:17 43K 
[ ]ami_wstd__t11_ami_wstd2017-01-13 19:17 45K 
[ ]ami_wstd__t12_ami_wstd2017-01-13 19:17 52K 
[ ]ami_wstd__t13_ami_wstd2017-01-13 19:17 45K 
[ ]ami_wstd__t14_ami_wstd2017-01-13 19:17 45K 
[ ]ami_wstd__t15_ami_wstd2017-01-13 19:17 52K 
[ ]ami_wstd__t16_ami_wstd2017-01-13 19:17 53K 
[ ]ami_wstd__t17_ami_wstd2017-01-13 19:17 110K 
[ ]ami_wstd__t18_ami_wstd2017-01-13 19:17 107K 
[ ]ami_wstd__t19_ami_wstd2017-01-13 19:17 96K 
[ ]ami_wstd__t20_ami_wstd2017-01-13 19:17 94K 
[ ]ami_wstd__t21_ami_wstd2017-01-13 19:17 94K 
[ ]ami_wstd__t22_ami_wstd2017-01-13 19:17 82K 
[ ]ami_wstd__t23_ami_wstd2017-01-13 19:17 69K 
[ ]ami_wstd__t24_ami_wstd2017-01-13 19:17 88K 
[ ]ami_wstd__t25_ami_wstd2017-01-13 19:17 64K 
[ ]ami_wstd__t26_ami_wstd2017-01-13 19:17 65K 
[ ]ami_wstd__t27_ami_wstd2017-01-13 19:17 54K 
[ ]ami_wstd__t28_ami_wstd2017-01-13 19:17 53K 
[ ]ami_wstd__t29_ami_wstd2017-01-13 19:17 56K 
[ ]ami_wstd__t30_ami_wstd2017-01-13 19:17 54K 
[ ]ami_wstd__t31_ami_wstd2017-01-13 19:17 51K 
[ ]ami_wstd__t32_ami_wstd2017-01-13 19:17 68K 
[ ]ami_wstd__t33_ami_wstd2017-01-13 19:17 97K 
[ ]ami_wstd__t34_ami_wstd2017-01-13 19:17 43K 
[ ]ami_wstd__t35_ami_wstd2017-01-13 19:17 47K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80