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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]ami_wstd__l6_ami_wstd2019-08-21 03:21 150K 
[ ]ami_wstd__l9_ami_wstd2019-08-21 03:28 299K 
[ ]ami_wstd__l10_ami_wstd2019-08-21 03:29 284K 
[ ]ami_wstd__l47_ami_wstd2019-08-21 03:38 152K 
[ ]ami_wstd__t1_ami_wstd2019-08-21 03:20 375K 
[ ]ami_wstd__t2_ami_wstd2019-08-21 03:21 232K 
[ ]ami_wstd__t3_ami_wstd2019-08-21 03:27 1.1M 
[ ]ami_wstd__t4_ami_wstd2019-08-21 03:27 194K 
[ ]ami_wstd__t5_ami_wstd2019-08-21 03:30 135K 
[ ]ami_wstd__t6_ami_wstd2019-08-21 03:30 126K 
[ ]ami_wstd__t7_ami_wstd2019-08-21 03:31 67K 
[ ]ami_wstd__t8_ami_wstd2019-08-21 03:31 128K 
[ ]ami_wstd__t9_ami_wstd2019-08-21 03:31 71K 
[ ]ami_wstd__t10_ami_wstd2019-08-21 03:31 89K 
[ ]ami_wstd__t11_ami_wstd2019-08-21 03:32 59K 
[ ]ami_wstd__t12_ami_wstd2019-08-21 03:32 88K 
[ ]ami_wstd__t13_ami_wstd2019-08-21 03:32 59K 
[ ]ami_wstd__t14_ami_wstd2019-08-21 03:32 59K 
[ ]ami_wstd__t15_ami_wstd2019-08-21 03:32 81K 
[ ]ami_wstd__t16_ami_wstd2019-08-21 03:32 95K 
[ ]ami_wstd__t17_ami_wstd2019-08-21 03:33 235K 
[ ]ami_wstd__t18_ami_wstd2019-08-21 03:33 185K 
[ ]ami_wstd__t19_ami_wstd2019-08-21 03:33 149K 
[ ]ami_wstd__t20_ami_wstd2019-08-21 03:34 151K 
[ ]ami_wstd__t21_ami_wstd2019-08-21 03:34 217K 
[ ]ami_wstd__t22_ami_wstd2019-08-21 03:34 125K 
[ ]ami_wstd__t23_ami_wstd2019-08-21 03:34 114K 
[ ]ami_wstd__t24_ami_wstd2019-08-21 03:35 160K 
[ ]ami_wstd__t25_ami_wstd2019-08-21 03:35 117K 
[ ]ami_wstd__t26_ami_wstd2019-08-21 03:35 145K 
[ ]ami_wstd__t27_ami_wstd2019-08-21 03:36 206K 
[ ]ami_wstd__t28_ami_wstd2019-08-21 03:36 93K 
[ ]ami_wstd__t29_ami_wstd2019-08-21 03:37 133K 
[ ]ami_wstd__t30_ami_wstd2019-08-21 03:37 103K 
[ ]ami_wstd__t31_ami_wstd2019-08-21 03:37 117K 
[ ]ami_wstd__t32_ami_wstd2019-08-21 03:38 163K 
[ ]ami_wstd__t33_ami_wstd2019-08-21 03:39 224K 
[ ]ami_wstd__t34_ami_wstd2019-08-21 03:39 67K 
[ ]ami_wstd__t35_ami_wstd2019-08-21 03:39 81K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80