Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_tl.bad_dt_f/finseq_5
Name
Last modified
Size
Description
Parent Directory
-
finseq_5__l16_finseq_5
2017-01-05 20:54
46K
finseq_5__l23_finseq_5
2017-01-05 20:54
43K
finseq_5__l36_finseq_5
2016-03-08 13:05
45K
finseq_5__t1_finseq_5
2016-03-08 13:05
45K
finseq_5__t2_finseq_5
2017-01-05 20:54
69K
finseq_5__t3_finseq_5
2016-03-08 13:05
29K
finseq_5__t4_finseq_5
2016-03-08 13:05
28K
finseq_5__t5_finseq_5
2016-03-08 13:05
29K
finseq_5__t6_finseq_5
2016-03-08 13:05
32K
finseq_5__t7_finseq_5
2016-03-08 13:05
31K
finseq_5__t8_finseq_5
2016-03-08 13:05
38K
finseq_5__t9_finseq_5
2016-03-08 13:05
27K
finseq_5__t10_finseq_5
2017-01-05 20:54
78K
finseq_5__t11_finseq_5
2016-03-08 13:05
30K
finseq_5__t12_finseq_5
2016-03-08 13:05
33K
finseq_5__t13_finseq_5
2016-03-08 13:05
36K
finseq_5__t14_finseq_5
2016-03-08 13:05
39K
finseq_5__t15_finseq_5
2016-03-08 13:05
56K
finseq_5__t16_finseq_5
2017-01-05 20:54
37K
finseq_5__t17_finseq_5
2017-01-05 20:54
37K
finseq_5__t18_finseq_5
2017-01-05 20:54
37K
finseq_5__t19_finseq_5
2017-01-05 20:54
36K
finseq_5__t20_finseq_5
2017-01-05 20:54
49K
finseq_5__t21_finseq_5
2017-01-05 20:54
65K
finseq_5__t22_finseq_5
2017-01-05 20:54
53K
finseq_5__t23_finseq_5
2017-01-05 20:54
47K
finseq_5__t24_finseq_5
2017-01-05 20:54
68K
finseq_5__t25_finseq_5
2016-03-08 13:05
69K
finseq_5__t26_finseq_5
2016-03-08 13:05
51K
finseq_5__t27_finseq_5
2016-03-08 13:05
46K
finseq_5__t28_finseq_5
2016-03-08 13:05
51K
finseq_5__t29_finseq_5
2017-01-05 20:54
50K
finseq_5__t30_finseq_5
2016-03-08 13:05
74K
finseq_5__t31_finseq_5
2016-03-08 13:05
81K
finseq_5__t32_finseq_5
2016-03-08 13:05
50K
finseq_5__t33_finseq_5
2016-03-08 13:05
39K
finseq_5__t34_finseq_5
2017-01-05 20:54
63K
finseq_5__t35_finseq_5
2017-01-05 20:54
82K
finseq_5__t36_finseq_5
2016-03-08 13:05
76K
finseq_5__t37_finseq_5
2016-03-08 13:05
40K
finseq_5__t38_finseq_5
2016-03-08 13:05
35K
finseq_5__t39_finseq_5
2017-01-05 20:54
45K
finseq_5__t40_finseq_5
2017-01-05 20:54
46K
finseq_5__t41_finseq_5
2016-03-08 13:05
34K
finseq_5__t42_finseq_5
2017-01-05 20:54
44K
finseq_5__t43_finseq_5
2017-01-05 20:54
43K
finseq_5__t44_finseq_5
2017-01-05 20:54
42K
finseq_5__t45_finseq_5
2017-01-05 20:54
46K
finseq_5__t46_finseq_5
2017-01-05 20:54
47K
finseq_5__t47_finseq_5
2017-01-05 20:54
42K
finseq_5__t48_finseq_5
2017-01-05 20:54
40K
finseq_5__t49_finseq_5
2016-03-08 13:05
77K
finseq_5__t50_finseq_5
2016-03-08 13:05
79K
finseq_5__t51_finseq_5
2016-03-08 13:05
55K
finseq_5__t52_finseq_5
2016-03-08 13:05
63K
finseq_5__t53_finseq_5
2016-03-08 13:05
42K
finseq_5__t54_finseq_5
2016-03-08 13:05
65K
finseq_5__t55_finseq_5
2016-03-08 13:05
52K
finseq_5__t56_finseq_5
2016-03-08 13:05
52K
finseq_5__t57_finseq_5
2017-01-05 20:54
75K
finseq_5__t58_finseq_5
2016-03-08 13:05
38K
finseq_5__t59_finseq_5
2017-01-05 20:54
53K
finseq_5__t60_finseq_5
2017-01-05 20:54
56K
finseq_5__t61_finseq_5
2017-01-05 20:54
74K
finseq_5__t62_finseq_5
2017-01-05 20:54
49K
finseq_5__t63_finseq_5
2017-01-05 20:54
155K
finseq_5__t64_finseq_5
2016-03-08 13:05
36K
finseq_5__t65_finseq_5
2016-03-08 13:05
39K
finseq_5__t66_finseq_5
2016-03-08 13:05
52K
finseq_5__t67_finseq_5
2017-01-05 20:54
52K
finseq_5__t68_finseq_5
2017-01-05 20:54
53K
finseq_5__t69_finseq_5
2017-01-05 20:54
66K
finseq_5__t70_finseq_5
2017-01-05 20:54
54K
finseq_5__t71_finseq_5
2017-01-05 20:54
52K
finseq_5__t72_finseq_5
2017-01-05 20:54
54K
finseq_5__t73_finseq_5
2017-01-05 20:54
65K
finseq_5__t74_finseq_5
2017-01-05 20:54
163K
finseq_5__t75_finseq_5
2017-01-05 20:54
58K
finseq_5__t76_finseq_5
2017-01-05 20:54
57K
finseq_5__t77_finseq_5
2017-01-05 20:54
42K
finseq_5__t78_finseq_5
2017-01-05 20:54
47K
finseq_5__t79_finseq_5
2016-03-08 13:05
32K
finseq_5__t80_finseq_5
2017-01-05 20:54
73K
finseq_5__t81_finseq_5
2017-01-05 20:54
59K
finseq_5__t82_finseq_5
2017-01-05 20:54
55K
finseq_5__t83_finseq_5
2017-01-05 20:54
54K
finseq_5__t84_finseq_5
2017-01-05 20:54
55K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80