Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_tl.bad_dt_f/finseq_6
Name
Last modified
Size
Description
Parent Directory
-
finseq_6__t99_finseq_6
2016-03-08 13:05
47K
finseq_6__t9_finseq_6
2016-03-08 13:05
73K
finseq_6__t98_finseq_6
2016-03-08 13:05
46K
finseq_6__t97_finseq_6
2016-03-08 13:05
32K
finseq_6__t96_finseq_6
2016-03-08 13:05
47K
finseq_6__t95_finseq_6
2016-03-08 13:05
31K
finseq_6__t94_finseq_6
2016-03-08 13:05
30K
finseq_6__t93_finseq_6
2016-03-08 13:05
47K
finseq_6__t92_finseq_6
2016-03-08 13:05
42K
finseq_6__t91_finseq_6
2016-03-08 13:05
45K
finseq_6__t90_finseq_6
2016-03-08 13:05
101K
finseq_6__t8_finseq_6
2016-03-08 13:05
80K
finseq_6__t89_finseq_6
2016-03-08 13:05
48K
finseq_6__t88_finseq_6
2016-03-08 13:05
44K
finseq_6__t87_finseq_6
2016-03-08 13:05
44K
finseq_6__t86_finseq_6
2016-03-08 13:05
79K
finseq_6__t85_finseq_6
2016-03-08 13:05
50K
finseq_6__t84_finseq_6
2016-03-08 13:05
76K
finseq_6__t83_finseq_6
2016-03-08 13:05
36K
finseq_6__t82_finseq_6
2016-03-08 13:05
42K
finseq_6__t81_finseq_6
2016-03-08 13:05
57K
finseq_6__t80_finseq_6
2016-03-08 13:05
44K
finseq_6__t7_finseq_6
2016-03-08 13:05
73K
finseq_6__t79_finseq_6
2016-03-08 13:05
30K
finseq_6__t78_finseq_6
2016-03-08 13:05
45K
finseq_6__t77_finseq_6
2016-03-08 13:05
40K
finseq_6__t76_finseq_6
2016-03-08 13:05
42K
finseq_6__t75_finseq_6
2016-03-08 13:05
44K
finseq_6__t74_finseq_6
2016-03-08 13:05
32K
finseq_6__t73_finseq_6
2016-03-08 13:05
37K
finseq_6__t72_finseq_6
2016-03-08 13:05
42K
finseq_6__t71_finseq_6
2016-03-08 13:05
43K
finseq_6__t70_finseq_6
2016-03-08 13:05
41K
finseq_6__t6_finseq_6
2016-03-08 13:05
42K
finseq_6__t69_finseq_6
2016-03-08 13:05
42K
finseq_6__t68_finseq_6
2016-03-08 13:05
39K
finseq_6__t67_finseq_6
2016-03-08 13:05
42K
finseq_6__t66_finseq_6
2016-03-08 13:05
40K
finseq_6__t65_finseq_6
2016-03-08 13:05
41K
finseq_6__t64_finseq_6
2016-03-08 13:05
40K
finseq_6__t63_finseq_6
2016-03-08 13:05
49K
finseq_6__t62_finseq_6
2016-03-08 13:05
45K
finseq_6__t61_finseq_6
2016-03-08 13:05
44K
finseq_6__t60_finseq_6
2016-03-08 13:05
36K
finseq_6__t59_finseq_6
2016-03-08 13:05
70K
finseq_6__t5_finseq_6
2016-03-08 13:05
46K
finseq_6__t58_finseq_6
2016-03-08 13:05
81K
finseq_6__t57_finseq_6
2016-03-08 13:05
75K
finseq_6__t56_finseq_6
2016-03-08 13:05
83K
finseq_6__t55_finseq_6
2016-03-08 13:05
40K
finseq_6__t54_finseq_6
2016-03-08 13:05
46K
finseq_6__t53_finseq_6
2016-03-08 13:05
41K
finseq_6__t52_finseq_6
2016-03-08 13:05
43K
finseq_6__t51_finseq_6
2016-03-08 13:05
43K
finseq_6__t50_finseq_6
2016-03-08 13:05
46K
finseq_6__t4_finseq_6
2016-03-08 13:05
46K
finseq_6__t49_finseq_6
2016-03-08 13:05
44K
finseq_6__t48_finseq_6
2016-03-08 13:05
38K
finseq_6__t47_finseq_6
2016-03-08 13:05
42K
finseq_6__t46_finseq_6
2016-03-08 13:05
42K
finseq_6__t45_finseq_6
2016-03-08 13:05
47K
finseq_6__t44_finseq_6
2016-03-08 13:05
42K
finseq_6__t43_finseq_6
2016-03-08 13:05
39K
finseq_6__t42_finseq_6
2016-03-08 13:05
34K
finseq_6__t41_finseq_6
2016-03-08 13:05
40K
finseq_6__t40_finseq_6
2016-03-08 13:05
39K
finseq_6__t39_finseq_6
2016-03-08 13:05
30K
finseq_6__t3_finseq_6
2016-03-08 13:05
45K
finseq_6__t38_finseq_6
2016-03-08 13:05
79K
finseq_6__t37_finseq_6
2016-03-08 13:05
64K
finseq_6__t36_finseq_6
2016-03-08 13:05
56K
finseq_6__t35_finseq_6
2016-03-08 13:05
33K
finseq_6__t34_finseq_6
2016-03-08 13:05
30K
finseq_6__t33_finseq_6
2016-03-08 13:05
30K
finseq_6__t32_finseq_6
2016-03-08 13:05
30K
finseq_6__t31_finseq_6
2016-03-08 13:05
95K
finseq_6__t30_finseq_6
2016-03-08 13:05
95K
finseq_6__t2_finseq_6
2016-03-08 13:05
33K
finseq_6__t29_finseq_6
2016-03-08 13:05
68K
finseq_6__t28_finseq_6
2016-03-08 13:05
133K
finseq_6__t27_finseq_6
2016-03-08 13:05
186K
finseq_6__t26_finseq_6
2016-03-08 13:05
118K
finseq_6__t25_finseq_6
2016-03-08 13:05
25K
finseq_6__t24_finseq_6
2016-03-08 13:05
32K
finseq_6__t23_finseq_6
2016-03-08 13:05
42K
finseq_6__t22_finseq_6
2016-03-08 13:05
42K
finseq_6__t21_finseq_6
2016-03-08 13:05
34K
finseq_6__t20_finseq_6
2016-03-08 13:05
41K
finseq_6__t1_finseq_6
2016-03-08 13:05
41K
finseq_6__t19_finseq_6
2016-03-08 13:05
33K
finseq_6__t18_finseq_6
2016-03-08 13:05
36K
finseq_6__t17_finseq_6
2016-03-08 13:05
33K
finseq_6__t16_finseq_6
2016-03-08 13:05
36K
finseq_6__t15_finseq_6
2016-03-08 13:05
63K
finseq_6__t14_finseq_6
2016-03-08 13:05
81K
finseq_6__t13_finseq_6
2016-03-08 13:05
59K
finseq_6__t12_finseq_6
2016-03-08 13:05
74K
finseq_6__t126_finseq_6
2016-03-08 13:05
81K
finseq_6__t125_finseq_6
2016-03-08 13:05
47K
finseq_6__t124_finseq_6
2016-03-08 13:05
58K
finseq_6__t123_finseq_6
2016-03-08 13:05
51K
finseq_6__t122_finseq_6
2016-03-08 13:05
60K
finseq_6__t121_finseq_6
2016-03-08 13:05
46K
finseq_6__t120_finseq_6
2016-03-08 13:05
44K
finseq_6__t11_finseq_6
2016-03-08 13:05
36K
finseq_6__t119_finseq_6
2016-03-08 13:05
45K
finseq_6__t118_finseq_6
2016-03-08 13:05
169K
finseq_6__t117_finseq_6
2016-03-08 13:05
93K
finseq_6__t116_finseq_6
2016-03-08 13:05
42K
finseq_6__t115_finseq_6
2016-03-08 13:05
47K
finseq_6__t114_finseq_6
2016-03-08 13:05
57K
finseq_6__t113_finseq_6
2016-03-08 13:05
84K
finseq_6__t112_finseq_6
2016-03-08 13:05
32K
finseq_6__t111_finseq_6
2016-03-08 13:05
32K
finseq_6__t110_finseq_6
2016-03-08 13:05
28K
finseq_6__t10_finseq_6
2016-03-08 13:05
36K
finseq_6__t109_finseq_6
2016-03-08 13:05
48K
finseq_6__t108_finseq_6
2016-03-08 13:05
70K
finseq_6__t107_finseq_6
2016-03-08 13:05
38K
finseq_6__t106_finseq_6
2016-03-08 13:05
86K
finseq_6__t105_finseq_6
2016-03-08 13:05
59K
finseq_6__t104_finseq_6
2016-03-08 13:05
54K
finseq_6__t103_finseq_6
2016-03-08 13:05
48K
finseq_6__t102_finseq_6
2016-03-08 13:05
53K
finseq_6__t101_finseq_6
2016-03-08 13:05
83K
finseq_6__t100_finseq_6
2016-03-08 13:05
157K
finseq_6__l82_finseq_6
2016-03-08 13:05
82K
finseq_6__l2_finseq_6
2016-03-08 13:05
40K
finseq_6__l1_finseq_6
2016-03-08 13:05
41K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80