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