Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_tl.bad_dt_f/ordinal6
Name
Last modified
Size
Description
Parent Directory
-
ordinal6__l50_ordinal6
2016-03-08 13:08
27K
ordinal6__l78_ordinal6
2017-01-05 20:54
66K
ordinal6__l79_ordinal6
2017-01-05 20:54
68K
ordinal6__l80_ordinal6
2017-01-05 20:54
84K
ordinal6__l98_ordinal6
2016-03-08 13:08
37K
ordinal6__l99_ordinal6
2016-03-08 13:08
41K
ordinal6__l100_ordinal6
2017-01-05 20:54
76K
ordinal6__t1_ordinal6
2016-03-08 13:08
27K
ordinal6__t2_ordinal6
2016-03-08 13:08
28K
ordinal6__t3_ordinal6
2016-03-08 13:08
27K
ordinal6__t4_ordinal6
2016-03-08 13:08
28K
ordinal6__t5_ordinal6
2016-03-08 13:08
29K
ordinal6__t6_ordinal6
2016-03-08 13:08
37K
ordinal6__t7_ordinal6
2016-03-08 13:08
38K
ordinal6__t8_ordinal6
2016-03-08 13:08
32K
ordinal6__t9_ordinal6
2016-03-08 13:08
35K
ordinal6__t10_ordinal6
2016-03-08 13:08
41K
ordinal6__t11_ordinal6
2016-03-08 13:08
30K
ordinal6__t12_ordinal6
2016-03-08 13:08
29K
ordinal6__t13_ordinal6
2016-03-08 13:08
41K
ordinal6__t14_ordinal6
2016-03-08 13:08
30K
ordinal6__t15_ordinal6
2016-03-08 13:08
34K
ordinal6__t16_ordinal6
2016-03-08 13:08
40K
ordinal6__t17_ordinal6
2016-03-08 13:08
3.6K
ordinal6__t18_ordinal6
2016-03-08 13:08
35K
ordinal6__t19_ordinal6
2016-03-08 13:08
5.6K
ordinal6__t20_ordinal6
2016-03-08 13:08
36K
ordinal6__t21_ordinal6
2016-03-08 13:08
5.6K
ordinal6__t22_ordinal6
2016-03-08 13:08
37K
ordinal6__t23_ordinal6
2016-03-08 13:08
35K
ordinal6__t24_ordinal6
2016-03-08 13:08
51K
ordinal6__t25_ordinal6
2016-03-08 13:08
39K
ordinal6__t26_ordinal6
2016-03-08 13:08
42K
ordinal6__t27_ordinal6
2016-03-08 13:08
32K
ordinal6__t28_ordinal6
2017-01-05 20:54
29K
ordinal6__t29_ordinal6
2017-01-05 20:54
38K
ordinal6__t30_ordinal6
2017-01-05 20:54
36K
ordinal6__t31_ordinal6
2017-01-05 20:54
36K
ordinal6__t32_ordinal6
2017-01-05 20:54
40K
ordinal6__t33_ordinal6
2017-01-05 20:54
38K
ordinal6__t34_ordinal6
2017-01-05 20:54
41K
ordinal6__t35_ordinal6
2017-01-05 20:54
45K
ordinal6__t36_ordinal6
2016-03-08 13:08
52K
ordinal6__t37_ordinal6
2016-03-08 13:08
32K
ordinal6__t38_ordinal6
2017-01-05 20:54
38K
ordinal6__t39_ordinal6
2017-01-05 20:54
57K
ordinal6__t40_ordinal6
2017-01-05 20:54
45K
ordinal6__t41_ordinal6
2016-03-08 13:08
48K
ordinal6__t42_ordinal6
2016-03-08 13:08
47K
ordinal6__t43_ordinal6
2016-03-08 13:08
56K
ordinal6__t44_ordinal6
2017-01-05 20:54
70K
ordinal6__t45_ordinal6
2017-01-05 20:54
57K
ordinal6__t46_ordinal6
2017-01-05 20:54
33K
ordinal6__t47_ordinal6
2017-01-05 20:54
39K
ordinal6__t48_ordinal6
2017-01-05 20:54
39K
ordinal6__t49_ordinal6
2017-01-05 20:54
41K
ordinal6__t50_ordinal6
2017-01-05 20:54
40K
ordinal6__t51_ordinal6
2017-01-05 20:54
41K
ordinal6__t52_ordinal6
2017-01-05 20:54
59K
ordinal6__t53_ordinal6
2017-01-05 20:54
52K
ordinal6__t54_ordinal6
2017-01-05 20:54
60K
ordinal6__t55_ordinal6
2017-01-05 20:54
49K
ordinal6__t56_ordinal6
2017-01-05 20:54
54K
ordinal6__t57_ordinal6
2016-03-08 13:08
34K
ordinal6__t58_ordinal6
2017-01-05 20:54
70K
ordinal6__t59_ordinal6
2017-01-05 20:54
73K
ordinal6__t60_ordinal6
2017-01-05 20:54
71K
ordinal6__t61_ordinal6
2017-01-05 20:54
77K
ordinal6__t62_ordinal6
2016-03-08 13:08
51K
ordinal6__t63_ordinal6
2017-01-05 20:54
73K
ordinal6__t64_ordinal6
2016-03-08 13:08
49K
ordinal6__t65_ordinal6
2017-01-05 20:54
79K
ordinal6__t66_ordinal6
2016-03-08 13:08
33K
ordinal6__t67_ordinal6
2016-03-08 13:08
36K
ordinal6__t68_ordinal6
2017-01-05 20:54
71K
ordinal6__t69_ordinal6
2017-01-05 20:54
72K
ordinal6__t70_ordinal6
2016-03-08 13:08
54K
ordinal6__t71_ordinal6
2016-03-08 13:08
55K
ordinal6__t72_ordinal6
2016-03-08 13:08
35K
ordinal6__t73_ordinal6
2016-03-08 13:08
35K
ordinal6__t74_ordinal6
2017-01-05 20:54
67K
ordinal6__t75_ordinal6
2016-03-08 13:08
39K
ordinal6__t76_ordinal6
2017-01-05 20:54
76K
ordinal6__t77_ordinal6
2016-03-08 13:08
39K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80