Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_tl.bad_dt_f/roughs_1
Name
Last modified
Size
Description
Parent Directory
-
roughs_1__l4_roughs_1
2016-03-08 13:09
57K
roughs_1__l6_roughs_1
2016-03-08 13:09
47K
roughs_1__t1_roughs_1
2016-03-08 13:09
49K
roughs_1__t2_roughs_1
2016-03-08 13:09
51K
roughs_1__t3_roughs_1
2016-03-08 13:09
45K
roughs_1__t4_roughs_1
2016-03-08 13:09
56K
roughs_1__t5_roughs_1
2016-03-08 13:09
56K
roughs_1__t6_roughs_1
2016-03-08 13:09
41K
roughs_1__t7_roughs_1
2016-03-08 13:09
40K
roughs_1__t8_roughs_1
2017-01-05 20:54
42K
roughs_1__t9_roughs_1
2017-01-05 20:54
42K
roughs_1__t10_roughs_1
2017-01-05 20:54
42K
roughs_1__t11_roughs_1
2017-01-05 20:54
42K
roughs_1__t12_roughs_1
2017-01-05 20:54
42K
roughs_1__t13_roughs_1
2017-01-05 20:54
43K
roughs_1__t14_roughs_1
2017-01-05 20:54
44K
roughs_1__t15_roughs_1
2017-01-05 20:54
51K
roughs_1__t16_roughs_1
2017-01-05 20:54
54K
roughs_1__t17_roughs_1
2017-01-05 20:54
44K
roughs_1__t18_roughs_1
2017-01-05 20:54
43K
roughs_1__t19_roughs_1
2017-01-05 20:54
43K
roughs_1__t20_roughs_1
2017-01-05 20:54
43K
roughs_1__t21_roughs_1
2017-01-05 20:54
44K
roughs_1__t22_roughs_1
2017-01-05 20:54
49K
roughs_1__t23_roughs_1
2017-01-05 20:54
49K
roughs_1__t24_roughs_1
2017-01-05 20:54
43K
roughs_1__t25_roughs_1
2017-01-05 20:54
43K
roughs_1__t26_roughs_1
2017-01-05 20:54
49K
roughs_1__t27_roughs_1
2017-01-05 20:54
49K
roughs_1__t28_roughs_1
2017-01-05 20:54
49K
roughs_1__t29_roughs_1
2017-01-05 20:54
47K
roughs_1__t30_roughs_1
2017-01-05 20:54
49K
roughs_1__t31_roughs_1
2017-01-05 20:54
49K
roughs_1__t32_roughs_1
2017-01-05 20:54
50K
roughs_1__t33_roughs_1
2017-01-05 20:54
44K
roughs_1__t34_roughs_1
2017-01-05 20:54
46K
roughs_1__t35_roughs_1
2017-01-05 20:54
45K
roughs_1__t36_roughs_1
2017-01-05 20:54
46K
roughs_1__t37_roughs_1
2017-01-05 20:54
49K
roughs_1__t38_roughs_1
2016-03-08 13:09
65K
roughs_1__t39_roughs_1
2016-03-08 13:09
54K
roughs_1__t40_roughs_1
2017-01-05 20:54
65K
roughs_1__t41_roughs_1
2017-01-05 20:54
69K
roughs_1__t42_roughs_1
2017-01-05 20:54
66K
roughs_1__t43_roughs_1
2017-01-05 20:54
59K
roughs_1__t44_roughs_1
2017-01-05 20:54
72K
roughs_1__t45_roughs_1
2016-03-08 13:09
67K
roughs_1__t46_roughs_1
2016-03-08 13:09
71K
roughs_1__t47_roughs_1
2016-03-08 13:09
66K
roughs_1__t48_roughs_1
2016-03-08 13:09
58K
roughs_1__t49_roughs_1
2016-03-08 13:09
58K
roughs_1__t50_roughs_1
2016-03-08 13:09
60K
roughs_1__t51_roughs_1
2016-03-08 13:09
72K
roughs_1__t52_roughs_1
2016-03-08 13:09
59K
roughs_1__t53_roughs_1
2016-03-08 13:09
77K
roughs_1__t54_roughs_1
2017-01-05 20:54
60K
roughs_1__t55_roughs_1
2016-03-08 13:09
89K
roughs_1__t56_roughs_1
2017-01-05 20:54
55K
roughs_1__t57_roughs_1
2017-01-05 20:54
62K
roughs_1__t58_roughs_1
2017-01-05 20:54
64K
roughs_1__t59_roughs_1
2017-01-05 20:54
43K
roughs_1__t60_roughs_1
2017-01-05 20:54
43K
roughs_1__t61_roughs_1
2016-03-08 13:09
36K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80