Index of /~mptp/1147/mptp/problems_thf_tls/ami_wstd
Name
Last modified
Size
Description
Parent Directory
-
ami_wstd__l6_ami_wstd
2017-01-12 22:20
92K
ami_wstd__l9_ami_wstd
2017-01-12 22:20
121K
ami_wstd__l10_ami_wstd
2017-01-12 22:20
124K
ami_wstd__l47_ami_wstd
2017-01-12 22:20
73K
ami_wstd__t1_ami_wstd
2017-01-12 22:20
133K
ami_wstd__t2_ami_wstd
2017-01-12 22:20
63K
ami_wstd__t3_ami_wstd
2017-01-12 22:20
191K
ami_wstd__t4_ami_wstd
2017-01-12 22:20
86K
ami_wstd__t5_ami_wstd
2017-01-12 22:20
60K
ami_wstd__t6_ami_wstd
2017-01-12 22:20
59K
ami_wstd__t7_ami_wstd
2017-01-12 22:20
40K
ami_wstd__t8_ami_wstd
2017-01-12 22:20
57K
ami_wstd__t9_ami_wstd
2017-01-12 22:20
43K
ami_wstd__t10_ami_wstd
2017-01-12 22:20
43K
ami_wstd__t11_ami_wstd
2017-01-12 22:20
45K
ami_wstd__t12_ami_wstd
2017-01-12 22:20
52K
ami_wstd__t13_ami_wstd
2017-01-12 22:20
45K
ami_wstd__t14_ami_wstd
2017-01-12 22:20
45K
ami_wstd__t15_ami_wstd
2017-01-12 22:20
52K
ami_wstd__t16_ami_wstd
2017-01-12 22:20
53K
ami_wstd__t17_ami_wstd
2017-01-12 22:20
110K
ami_wstd__t18_ami_wstd
2017-01-12 22:20
106K
ami_wstd__t19_ami_wstd
2017-01-12 22:20
96K
ami_wstd__t20_ami_wstd
2017-01-12 22:20
94K
ami_wstd__t21_ami_wstd
2017-01-12 22:20
94K
ami_wstd__t22_ami_wstd
2017-01-12 22:20
82K
ami_wstd__t23_ami_wstd
2017-01-12 22:20
69K
ami_wstd__t24_ami_wstd
2017-01-12 22:20
88K
ami_wstd__t25_ami_wstd
2017-01-12 22:20
64K
ami_wstd__t26_ami_wstd
2017-01-12 22:20
65K
ami_wstd__t27_ami_wstd
2017-01-12 22:20
54K
ami_wstd__t28_ami_wstd
2017-01-12 22:20
53K
ami_wstd__t29_ami_wstd
2017-01-12 22:20
56K
ami_wstd__t30_ami_wstd
2017-01-12 22:20
54K
ami_wstd__t31_ami_wstd
2017-01-12 22:20
51K
ami_wstd__t32_ami_wstd
2017-01-12 22:20
67K
ami_wstd__t33_ami_wstd
2017-01-12 22:20
97K
ami_wstd__t34_ami_wstd
2017-01-12 22:20
43K
ami_wstd__t35_ami_wstd
2017-01-12 22:20
47K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80