Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_tl.bad_dt_f/topreal6
Name
Last modified
Size
Description
Parent Directory
-
topreal6__t9_topreal6
2017-01-05 20:54
82K
topreal6__t94_topreal6
2017-01-05 20:54
93K
topreal6__t93_topreal6
2017-01-05 20:54
88K
topreal6__t92_topreal6
2017-01-05 20:54
126K
topreal6__t91_topreal6
2017-01-05 20:54
130K
topreal6__t82_topreal6
2017-01-05 20:54
157K
topreal6__t81_topreal6
2017-01-05 20:54
157K
topreal6__t8_topreal6
2017-01-05 20:54
76K
topreal6__t79_topreal6
2017-01-05 20:54
120K
topreal6__t7_topreal6
2017-01-05 20:54
64K
topreal6__t78_topreal6
2017-01-05 20:54
112K
topreal6__t77_topreal6
2017-01-05 20:54
103K
topreal6__t76_topreal6
2017-01-05 20:54
187K
topreal6__t75_topreal6
2017-01-05 20:54
111K
topreal6__t67_topreal6
2017-01-05 20:54
92K
topreal6__t66_topreal6
2017-01-05 20:54
98K
topreal6__t6_topreal6
2017-01-05 20:54
62K
topreal6__t61_topreal6
2017-01-05 20:54
93K
topreal6__t58_topreal6
2017-01-05 20:54
93K
topreal6__t52_topreal6
2017-01-05 20:54
175K
topreal6__t51_topreal6
2017-01-05 20:54
298K
topreal6__t50_topreal6
2017-01-05 20:54
299K
topreal6__t5_topreal6
2017-01-05 20:54
58K
topreal6__t49_topreal6
2017-01-05 20:54
299K
topreal6__t48_topreal6
2017-01-05 20:54
138K
topreal6__t47_topreal6
2017-01-05 20:54
138K
topreal6__t4_topreal6
2017-01-05 20:54
57K
topreal6__t46_topreal6
2017-01-05 20:54
138K
topreal6__t45_topreal6
2017-01-05 20:54
138K
topreal6__t44_topreal6
2017-01-05 20:54
184K
topreal6__t43_topreal6
2017-01-05 20:54
184K
topreal6__t42_topreal6
2017-01-05 20:54
120K
topreal6__t41_topreal6
2017-01-05 20:54
159K
topreal6__t40_topreal6
2017-01-05 20:54
143K
topreal6__t39_topreal6
2017-01-05 20:54
143K
topreal6__t38_topreal6
2017-01-05 20:54
137K
topreal6__t37_topreal6
2017-01-05 20:54
134K
topreal6__t36_topreal6
2017-01-05 20:54
134K
topreal6__t35_topreal6
2017-01-05 20:54
134K
topreal6__t30_topreal6
2017-01-05 20:54
132K
topreal6__t29_topreal6
2017-01-05 20:54
132K
topreal6__t25_topreal6
2017-01-05 20:54
138K
topreal6__t24_topreal6
2017-01-05 20:54
98K
topreal6__t17_topreal6
2017-01-05 20:54
77K
topreal6__t16_topreal6
2017-01-05 20:54
44K
topreal6__t10_topreal6
2017-01-05 20:54
63K
topreal6__t95_topreal6
2016-03-08 13:10
108K
topreal6__t90_topreal6
2016-03-08 13:10
90K
topreal6__t89_topreal6
2016-03-08 13:10
80K
topreal6__t88_topreal6
2016-03-08 13:10
104K
topreal6__t87_topreal6
2016-03-08 13:10
104K
topreal6__t86_topreal6
2016-03-08 13:10
104K
topreal6__t85_topreal6
2016-03-08 13:10
104K
topreal6__t84_topreal6
2016-03-08 13:10
87K
topreal6__t83_topreal6
2016-03-08 13:10
87K
topreal6__t80_topreal6
2016-03-08 13:10
95K
topreal6__t69_topreal6
2016-03-08 13:10
62K
topreal6__t68_topreal6
2016-03-08 13:10
63K
topreal6__t65_topreal6
2016-03-08 13:10
39K
topreal6__t64_topreal6
2016-03-08 13:10
35K
topreal6__t63_topreal6
2016-03-08 13:10
75K
topreal6__t62_topreal6
2016-03-08 13:10
36K
topreal6__t60_topreal6
2016-03-08 13:10
64K
topreal6__t59_topreal6
2016-03-08 13:10
45K
topreal6__t57_topreal6
2016-03-08 13:10
52K
topreal6__t56_topreal6
2016-03-08 13:10
43K
topreal6__t55_topreal6
2016-03-08 13:10
43K
topreal6__t54_topreal6
2016-03-08 13:10
37K
topreal6__t53_topreal6
2016-03-08 13:10
40K
topreal6__t3_topreal6
2016-03-08 13:10
48K
topreal6__t34_topreal6
2016-03-08 13:10
114K
topreal6__t33_topreal6
2016-03-08 13:10
120K
topreal6__t32_topreal6
2016-03-08 13:10
120K
topreal6__t31_topreal6
2016-03-08 13:10
114K
topreal6__t2_topreal6
2016-03-08 13:10
33K
topreal6__t28_topreal6
2016-03-08 13:10
101K
topreal6__t27_topreal6
2016-03-08 13:10
101K
topreal6__t26_topreal6
2016-03-08 13:10
85K
topreal6__t23_topreal6
2016-03-08 13:10
112K
topreal6__t22_topreal6
2016-03-08 13:10
89K
topreal6__t21_topreal6
2016-03-08 13:10
46K
topreal6__t20_topreal6
2016-03-08 13:10
35K
topreal6__t1_topreal6
2016-03-08 13:10
34K
topreal6__t19_topreal6
2016-03-08 13:10
62K
topreal6__t15_topreal6
2016-03-08 13:10
43K
topreal6__t14_topreal6
2016-03-08 13:10
49K
topreal6__t13_topreal6
2016-03-08 13:10
72K
topreal6__t12_topreal6
2016-03-08 13:10
59K
topreal6__t11_topreal6
2016-03-08 13:10
92K
topreal6__l57_topreal6
2016-03-08 13:10
71K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80