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