Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_tl.bad_dt_f/scmfsa8b
Name
Last modified
Size
Description
Parent Directory
-
scmfsa8b__t22_scmfsa8b
2016-03-08 13:09
411K
scmfsa8b__t16_scmfsa8b
2016-03-08 13:09
411K
scmfsa8b__t34_scmfsa8b
2016-03-08 13:09
357K
scmfsa8b__t20_scmfsa8b
2016-03-08 13:09
354K
scmfsa8b__t14_scmfsa8b
2016-03-08 13:09
354K
scmfsa8b__t19_scmfsa8b
2016-03-08 13:09
336K
scmfsa8b__t13_scmfsa8b
2016-03-08 13:09
336K
scmfsa8b__t15_scmfsa8b
2016-03-08 13:09
304K
scmfsa8b__t21_scmfsa8b
2016-03-08 13:09
304K
scmfsa8b__t40_scmfsa8b
2016-03-08 13:09
296K
scmfsa8b__t39_scmfsa8b
2016-03-08 13:09
203K
scmfsa8b__t8_scmfsa8b
2016-03-08 13:09
186K
scmfsa8b__t30_scmfsa8b
2016-03-08 13:09
165K
scmfsa8b__t26_scmfsa8b
2016-03-08 13:09
165K
scmfsa8b__t31_scmfsa8b
2016-03-08 13:09
164K
scmfsa8b__t23_scmfsa8b
2016-03-08 13:09
156K
scmfsa8b__t17_scmfsa8b
2016-03-08 13:09
153K
scmfsa8b__t28_scmfsa8b
2016-03-08 13:09
152K
scmfsa8b__t24_scmfsa8b
2016-03-08 13:09
148K
scmfsa8b__t18_scmfsa8b
2016-03-08 13:09
145K
scmfsa8b__t10_scmfsa8b
2016-03-08 13:09
143K
scmfsa8b__t9_scmfsa8b
2016-03-08 13:09
139K
scmfsa8b__t5_scmfsa8b
2016-03-08 13:09
139K
scmfsa8b__t3_scmfsa8b
2016-03-08 13:09
130K
scmfsa8b__t29_scmfsa8b
2016-03-08 13:09
130K
scmfsa8b__t25_scmfsa8b
2016-03-08 13:09
130K
scmfsa8b__l16_scmfsa8b
2016-03-08 13:09
126K
scmfsa8b__t38_scmfsa8b
2016-03-08 13:09
126K
scmfsa8b__t27_scmfsa8b
2016-03-08 13:09
125K
scmfsa8b__l15_scmfsa8b
2016-03-08 13:09
122K
scmfsa8b__t35_scmfsa8b
2016-03-08 13:09
120K
scmfsa8b__t12_scmfsa8b
2016-03-08 13:09
114K
scmfsa8b__t11_scmfsa8b
2016-03-08 13:09
114K
scmfsa8b__t37_scmfsa8b
2016-03-08 13:09
110K
scmfsa8b__t32_scmfsa8b
2016-03-08 13:09
103K
scmfsa8b__t6_scmfsa8b
2016-03-08 13:09
101K
scmfsa8b__t4_scmfsa8b
2016-03-08 13:09
97K
scmfsa8b__t7_scmfsa8b
2016-03-08 13:09
97K
scmfsa8b__l1_scmfsa8b
2016-03-08 13:09
93K
scmfsa8b__t36_scmfsa8b
2016-03-08 13:09
93K
scmfsa8b__t33_scmfsa8b
2016-03-08 13:09
92K
scmfsa8b__t1_scmfsa8b
2016-03-08 13:09
91K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80