Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_tl.bad_dt_f/combgras
Name
Last modified
Size
Description
Parent Directory
-
combgras__t1_combgras
2016-03-08 13:04
32K
combgras__t2_combgras
2016-03-08 13:04
110K
combgras__t3_combgras
2016-03-08 13:04
30K
combgras__t4_combgras
2016-03-08 13:04
25K
combgras__t5_combgras
2016-03-08 13:04
25K
combgras__t6_combgras
2016-03-08 13:04
31K
combgras__t7_combgras
2016-03-08 13:04
403K
combgras__t8_combgras
2016-03-08 13:04
30K
combgras__t9_combgras
2016-03-08 13:04
31K
combgras__t10_combgras
2017-01-05 20:54
73K
combgras__t11_combgras
2017-01-05 20:54
153K
combgras__t12_combgras
2017-01-05 20:54
162K
combgras__t13_combgras
2017-01-05 20:54
344K
combgras__t14_combgras
2017-01-05 20:54
348K
combgras__t15_combgras
2017-01-05 20:54
350K
combgras__t16_combgras
2016-03-08 13:04
37K
combgras__t17_combgras
2016-03-08 13:04
35K
combgras__t18_combgras
2017-01-05 20:54
35K
combgras__t19_combgras
2017-01-05 20:54
34K
combgras__t20_combgras
2017-01-05 20:54
37K
combgras__t21_combgras
2016-03-08 13:04
42K
combgras__t22_combgras
2016-03-08 13:04
39K
combgras__t23_combgras
2017-01-05 20:54
361K
combgras__t24_combgras
2017-01-05 20:54
74K
combgras__t25_combgras
2017-01-05 20:54
94K
combgras__t26_combgras
2017-01-05 20:54
63K
combgras__t27_combgras
2017-01-05 20:54
51K
combgras__t28_combgras
2017-01-05 20:54
64K
combgras__t29_combgras
2017-01-05 20:54
52K
combgras__t30_combgras
2017-01-05 20:54
52K
combgras__t31_combgras
2017-01-05 20:54
173K
combgras__t32_combgras
2017-01-05 20:54
257K
combgras__t33_combgras
2016-03-08 13:04
64K
combgras__t34_combgras
2017-01-05 20:54
72K
combgras__t35_combgras
2016-03-08 13:04
157K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80