Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_tl.bad_dt_f/topreal9
Name
Last modified
Size
Description
Parent Directory
-
topreal9__l28_topreal9
2017-01-05 20:54
120K
topreal9__l29_topreal9
2017-01-05 20:54
87K
topreal9__t2_topreal9
2016-03-08 13:10
61K
topreal9__t3_topreal9
2016-03-08 13:10
60K
topreal9__t4_topreal9
2016-03-08 13:10
78K
topreal9__t5_topreal9
2016-03-08 13:10
54K
topreal9__t6_topreal9
2016-03-08 13:10
39K
topreal9__t7_topreal9
2017-01-05 20:54
63K
topreal9__t8_topreal9
2017-01-05 20:54
63K
topreal9__t9_topreal9
2017-01-05 20:54
60K
topreal9__t10_topreal9
2017-01-05 20:54
65K
topreal9__t11_topreal9
2017-01-05 20:54
65K
topreal9__t12_topreal9
2017-01-05 20:54
62K
topreal9__t13_topreal9
2017-01-05 20:54
74K
topreal9__t14_topreal9
2017-01-05 20:54
73K
topreal9__t15_topreal9
2017-01-05 20:54
71K
topreal9__t16_topreal9
2017-01-05 20:54
73K
topreal9__t17_topreal9
2017-01-05 20:54
72K
topreal9__t18_topreal9
2017-01-05 20:54
79K
topreal9__t19_topreal9
2017-01-05 20:54
65K
topreal9__t20_topreal9
2017-01-05 20:54
64K
topreal9__t21_topreal9
2017-01-05 20:54
64K
topreal9__t22_topreal9
2017-01-05 20:54
64K
topreal9__t23_topreal9
2017-01-05 20:54
64K
topreal9__t24_topreal9
2017-01-05 20:54
102K
topreal9__t25_topreal9
2017-01-05 20:54
79K
topreal9__t26_topreal9
2017-01-05 20:54
69K
topreal9__t27_topreal9
2017-01-05 20:54
70K
topreal9__t28_topreal9
2017-01-05 20:54
70K
topreal9__t29_topreal9
2017-01-05 20:54
69K
topreal9__t30_topreal9
2017-01-05 20:54
78K
topreal9__t31_topreal9
2017-01-05 20:54
107K
topreal9__t32_topreal9
2017-01-05 20:54
72K
topreal9__t33_topreal9
2017-01-05 20:54
113K
topreal9__t34_topreal9
2017-01-05 20:54
477K
topreal9__t35_topreal9
2017-01-05 20:54
92K
topreal9__t36_topreal9
2017-01-05 20:54
116K
topreal9__t37_topreal9
2017-01-05 20:54
558K
topreal9__t38_topreal9
2017-01-05 20:54
416K
topreal9__t39_topreal9
2017-01-05 20:54
65K
topreal9__t40_topreal9
2017-01-05 20:54
65K
topreal9__t41_topreal9
2016-03-08 13:10
66K
topreal9__t42_topreal9
2016-03-08 13:10
66K
topreal9__t43_topreal9
2017-01-05 20:54
62K
topreal9__t44_topreal9
2017-01-05 20:54
67K
topreal9__t45_topreal9
2017-01-05 20:54
67K
topreal9__t46_topreal9
2016-03-08 13:10
68K
topreal9__t47_topreal9
2016-03-08 13:10
77K
topreal9__t48_topreal9
2016-03-08 13:10
77K
topreal9__t49_topreal9
2016-03-08 13:10
72K
topreal9__t50_topreal9
2017-01-05 20:54
77K
topreal9__t51_topreal9
2017-01-05 20:54
77K
topreal9__t52_topreal9
2017-01-05 20:54
71K
topreal9__t53_topreal9
2016-03-08 13:10
68K
topreal9__t54_topreal9
2016-03-08 13:10
68K
topreal9__t55_topreal9
2016-03-08 13:10
62K
topreal9__t56_topreal9
2017-01-05 20:54
99K
topreal9__t57_topreal9
2016-03-08 13:10
59K
topreal9__t58_topreal9
2017-01-05 20:54
288K
topreal9__t59_topreal9
2017-01-05 20:54
103K
topreal9__t60_topreal9
2017-01-05 20:54
100K
topreal9__t61_topreal9
2017-01-05 20:54
98K
topreal9__t62_topreal9
2017-01-05 20:54
98K
topreal9__t63_topreal9
2017-01-05 20:54
298K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80