Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_tl.bad_dt_f/substut1
Name
Last modified
Size
Description
Parent Directory
-
substut1__l10_substut1
2017-01-05 20:54
73K
substut1__l18_substut1
2016-03-08 13:09
32K
substut1__l26_substut1
2016-03-08 13:09
59K
substut1__l27_substut1
2016-03-08 13:09
51K
substut1__l28_substut1
2017-01-05 20:54
60K
substut1__l70_substut1
2017-01-05 20:54
77K
substut1__l79_substut1
2017-01-05 20:54
61K
substut1__t1_substut1
2016-03-08 13:09
48K
substut1__t2_substut1
2017-01-05 20:54
60K
substut1__t3_substut1
2017-01-05 20:54
60K
substut1__t4_substut1
2017-01-05 20:54
60K
substut1__t5_substut1
2017-01-05 20:54
60K
substut1__t6_substut1
2017-01-05 20:54
60K
substut1__t7_substut1
2017-01-05 20:54
71K
substut1__t8_substut1
2017-01-05 20:54
69K
substut1__t9_substut1
2017-01-05 20:54
57K
substut1__t10_substut1
2016-03-08 13:09
49K
substut1__t11_substut1
2017-01-05 20:54
58K
substut1__t12_substut1
2017-01-05 20:54
67K
substut1__t13_substut1
2016-03-08 13:09
47K
substut1__t14_substut1
2016-03-08 13:09
47K
substut1__t15_substut1
2016-03-08 13:09
58K
substut1__t16_substut1
2016-03-08 13:09
58K
substut1__t17_substut1
2016-03-08 13:09
59K
substut1__t18_substut1
2016-03-08 13:09
48K
substut1__t19_substut1
2016-03-08 13:09
48K
substut1__t20_substut1
2016-03-08 13:09
65K
substut1__t21_substut1
2016-03-08 13:09
48K
substut1__t22_substut1
2016-03-08 13:09
64K
substut1__t23_substut1
2016-03-08 13:09
66K
substut1__t24_substut1
2016-03-08 13:09
67K
substut1__t25_substut1
2017-01-05 20:54
80K
substut1__t26_substut1
2017-01-05 20:54
51K
substut1__t27_substut1
2017-01-05 20:54
52K
substut1__t28_substut1
2017-01-05 20:54
77K
substut1__t29_substut1
2016-03-08 13:09
59K
substut1__t30_substut1
2017-01-05 20:54
77K
substut1__t31_substut1
2016-03-08 13:09
58K
substut1__t32_substut1
2017-01-05 20:54
77K
substut1__t33_substut1
2017-01-05 20:54
72K
substut1__t34_substut1
2016-03-08 13:09
49K
substut1__t35_substut1
2017-01-05 20:54
84K
substut1__t36_substut1
2016-03-08 13:09
59K
substut1__t37_substut1
2016-03-08 13:09
58K
substut1__t38_substut1
2016-03-08 13:09
62K
substut1__t39_substut1
2016-03-08 13:09
46K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80