Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_tl.bad_dt_f/scmfsa8a
Name
Last modified
Size
Description
Parent Directory
-
scmfsa8a__t9_scmfsa8a
2017-01-05 20:54
84K
scmfsa8a__l48_scmfsa8a
2017-01-05 20:54
229K
scmfsa8a__l45_scmfsa8a
2017-01-05 20:54
222K
scmfsa8a__l39_scmfsa8a
2017-01-05 20:54
203K
scmfsa8a__l36_scmfsa8a
2017-01-05 20:54
205K
scmfsa8a__t8_scmfsa8a
2016-03-08 13:09
137K
scmfsa8a__t7_scmfsa8a
2016-03-08 13:09
72K
scmfsa8a__t41_scmfsa8a
2016-03-08 13:09
196K
scmfsa8a__t40_scmfsa8a
2016-03-08 13:09
192K
scmfsa8a__t39_scmfsa8a
2016-03-08 13:09
170K
scmfsa8a__t38_scmfsa8a
2016-03-08 13:09
163K
scmfsa8a__t37_scmfsa8a
2016-03-08 13:09
192K
scmfsa8a__t36_scmfsa8a
2016-03-08 13:09
180K
scmfsa8a__t35_scmfsa8a
2016-03-08 13:09
157K
scmfsa8a__t34_scmfsa8a
2016-03-08 13:09
157K
scmfsa8a__t33_scmfsa8a
2016-03-08 13:09
158K
scmfsa8a__t32_scmfsa8a
2016-03-08 13:09
157K
scmfsa8a__t31_scmfsa8a
2016-03-08 13:09
84K
scmfsa8a__t30_scmfsa8a
2016-03-08 13:09
151K
scmfsa8a__t29_scmfsa8a
2016-03-08 13:09
160K
scmfsa8a__t28_scmfsa8a
2016-03-08 13:09
141K
scmfsa8a__t27_scmfsa8a
2016-03-08 13:09
246K
scmfsa8a__t26_scmfsa8a
2016-03-08 13:09
239K
scmfsa8a__t25_scmfsa8a
2016-03-08 13:09
108K
scmfsa8a__t24_scmfsa8a
2016-03-08 13:09
107K
scmfsa8a__t23_scmfsa8a
2016-03-08 13:09
107K
scmfsa8a__t22_scmfsa8a
2016-03-08 13:09
154K
scmfsa8a__t21_scmfsa8a
2016-03-08 13:09
134K
scmfsa8a__t20_scmfsa8a
2016-03-08 13:09
76K
scmfsa8a__t19_scmfsa8a
2016-03-08 13:09
74K
scmfsa8a__t18_scmfsa8a
2016-03-08 13:09
157K
scmfsa8a__t17_scmfsa8a
2016-03-08 13:09
110K
scmfsa8a__t16_scmfsa8a
2016-03-08 13:09
79K
scmfsa8a__t15_scmfsa8a
2016-03-08 13:09
83K
scmfsa8a__t14_scmfsa8a
2016-03-08 13:09
111K
scmfsa8a__t13_scmfsa8a
2016-03-08 13:09
75K
scmfsa8a__t12_scmfsa8a
2016-03-08 13:09
68K
scmfsa8a__t11_scmfsa8a
2016-03-08 13:09
71K
scmfsa8a__t10_scmfsa8a
2016-03-08 13:09
70K
scmfsa8a__l28_scmfsa8a
2016-03-08 13:09
140K
scmfsa8a__l14_scmfsa8a
2016-03-08 13:09
84K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80