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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]ami_wstd__l6_ami_wstd2017-01-13 00:30 145K 
[ ]ami_wstd__l9_ami_wstd2017-01-13 00:30 188K 
[ ]ami_wstd__l10_ami_wstd2017-01-13 00:30 188K 
[ ]ami_wstd__l47_ami_wstd2017-01-13 00:30 115K 
[ ]ami_wstd__t1_ami_wstd2017-01-13 00:30 194K 
[ ]ami_wstd__t2_ami_wstd2017-01-13 00:30 100K 
[ ]ami_wstd__t3_ami_wstd2017-01-13 00:30 258K 
[ ]ami_wstd__t4_ami_wstd2017-01-13 00:30 137K 
[ ]ami_wstd__t5_ami_wstd2017-01-13 00:30 96K 
[ ]ami_wstd__t6_ami_wstd2017-01-13 00:30 96K 
[ ]ami_wstd__t7_ami_wstd2017-01-13 00:30 65K 
[ ]ami_wstd__t8_ami_wstd2017-01-13 00:30 92K 
[ ]ami_wstd__t9_ami_wstd2017-01-13 00:30 70K 
[ ]ami_wstd__t10_ami_wstd2017-01-13 00:30 70K 
[ ]ami_wstd__t11_ami_wstd2017-01-13 00:30 73K 
[ ]ami_wstd__t12_ami_wstd2017-01-13 00:30 82K 
[ ]ami_wstd__t13_ami_wstd2017-01-13 00:30 73K 
[ ]ami_wstd__t14_ami_wstd2017-01-13 00:30 74K 
[ ]ami_wstd__t15_ami_wstd2017-01-13 00:30 82K 
[ ]ami_wstd__t16_ami_wstd2017-01-13 00:30 84K 
[ ]ami_wstd__t17_ami_wstd2017-01-13 00:30 171K 
[ ]ami_wstd__t18_ami_wstd2017-01-13 00:30 160K 
[ ]ami_wstd__t19_ami_wstd2017-01-13 00:30 151K 
[ ]ami_wstd__t20_ami_wstd2017-01-13 00:30 148K 
[ ]ami_wstd__t21_ami_wstd2017-01-13 00:30 151K 
[ ]ami_wstd__t22_ami_wstd2017-01-13 00:30 132K 
[ ]ami_wstd__t23_ami_wstd2017-01-13 00:30 112K 
[ ]ami_wstd__t24_ami_wstd2017-01-13 00:30 140K 
[ ]ami_wstd__t25_ami_wstd2017-01-13 00:30 102K 
[ ]ami_wstd__t26_ami_wstd2017-01-13 00:30 104K 
[ ]ami_wstd__t27_ami_wstd2017-01-13 00:30 87K 
[ ]ami_wstd__t28_ami_wstd2017-01-13 00:30 86K 
[ ]ami_wstd__t29_ami_wstd2017-01-13 00:30 91K 
[ ]ami_wstd__t30_ami_wstd2017-01-13 00:30 88K 
[ ]ami_wstd__t31_ami_wstd2017-01-13 00:30 83K 
[ ]ami_wstd__t32_ami_wstd2017-01-13 00:30 106K 
[ ]ami_wstd__t33_ami_wstd2017-01-13 00:30 153K 
[ ]ami_wstd__t34_ami_wstd2017-01-13 00:30 69K 
[ ]ami_wstd__t35_ami_wstd2017-01-13 00:30 76K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80