Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_tl.bad_dt_f/scmfsa_m
Name
Last modified
Size
Description
Parent Directory
-
scmfsa_m__t36_scmfsa_m
2017-01-05 20:54
97K
scmfsa_m__t35_scmfsa_m
2017-01-05 20:54
98K
scmfsa_m__t23_scmfsa_m
2017-01-05 20:54
89K
scmfsa_m__t22_scmfsa_m
2017-01-05 20:54
85K
scmfsa_m__t17_scmfsa_m
2017-01-05 20:54
119K
scmfsa_m__t16_scmfsa_m
2017-01-05 20:54
118K
scmfsa_m__t15_scmfsa_m
2017-01-05 20:54
75K
scmfsa_m__t14_scmfsa_m
2017-01-05 20:54
75K
scmfsa_m__t9_scmfsa_m
2016-03-08 13:09
106K
scmfsa_m__t8_scmfsa_m
2016-03-08 13:09
105K
scmfsa_m__t7_scmfsa_m
2016-03-08 13:09
104K
scmfsa_m__t6_scmfsa_m
2016-03-08 13:09
104K
scmfsa_m__t5_scmfsa_m
2016-03-08 13:09
105K
scmfsa_m__t4_scmfsa_m
2016-03-08 13:09
108K
scmfsa_m__t3_scmfsa_m
2016-03-08 13:09
107K
scmfsa_m__t37_scmfsa_m
2016-03-08 13:09
112K
scmfsa_m__t34_scmfsa_m
2016-03-08 13:09
87K
scmfsa_m__t33_scmfsa_m
2016-03-08 13:09
147K
scmfsa_m__t32_scmfsa_m
2016-03-08 13:09
111K
scmfsa_m__t31_scmfsa_m
2016-03-08 13:09
119K
scmfsa_m__t30_scmfsa_m
2016-03-08 13:09
107K
scmfsa_m__t2_scmfsa_m
2016-03-08 13:09
98K
scmfsa_m__t29_scmfsa_m
2016-03-08 13:09
102K
scmfsa_m__t28_scmfsa_m
2016-03-08 13:09
87K
scmfsa_m__t27_scmfsa_m
2016-03-08 13:09
92K
scmfsa_m__t26_scmfsa_m
2016-03-08 13:09
79K
scmfsa_m__t25_scmfsa_m
2016-03-08 13:09
79K
scmfsa_m__t24_scmfsa_m
2016-03-08 13:09
80K
scmfsa_m__t21_scmfsa_m
2016-03-08 13:09
93K
scmfsa_m__t20_scmfsa_m
2016-03-08 13:09
105K
scmfsa_m__t1_scmfsa_m
2016-03-08 13:09
83K
scmfsa_m__t19_scmfsa_m
2016-03-08 13:09
114K
scmfsa_m__t18_scmfsa_m
2016-03-08 13:09
104K
scmfsa_m__t13_scmfsa_m
2016-03-08 13:09
97K
scmfsa_m__t12_scmfsa_m
2016-03-08 13:09
99K
scmfsa_m__t11_scmfsa_m
2016-03-08 13:09
109K
scmfsa_m__t10_scmfsa_m
2016-03-08 13:09
105K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80