Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_small_consist/comput_1
Name
Last modified
Size
Description
Parent Directory
-
comput_1__l24_comput_1
2013-09-04 12:14
48K
comput_1__l70_comput_1
2013-09-04 12:14
77K
comput_1__l71_comput_1
2013-09-04 12:14
90K
comput_1__l72_comput_1
2013-09-04 12:14
94K
comput_1__l73_comput_1
2013-09-04 12:14
109K
comput_1__l74_comput_1
2013-09-04 12:14
111K
comput_1__l87_comput_1
2013-09-04 12:14
47K
comput_1__l111_comput_1
2013-09-04 12:14
87K
comput_1__t1_comput_1
2013-09-04 12:14
39K
comput_1__t2_comput_1
2013-09-04 12:14
35K
comput_1__t3_comput_1
2013-09-04 12:14
62K
comput_1__t4_comput_1
2013-09-04 12:14
72K
comput_1__t5_comput_1
2013-09-04 12:14
43K
comput_1__t6_comput_1
2013-09-04 12:14
42K
comput_1__t7_comput_1
2013-09-04 12:14
39K
comput_1__t8_comput_1
2013-09-04 12:14
49K
comput_1__t9_comput_1
2013-09-04 12:14
54K
comput_1__t10_comput_1
2013-09-04 12:14
39K
comput_1__t11_comput_1
2013-09-04 12:14
41K
comput_1__t12_comput_1
2013-09-04 12:14
35K
comput_1__t13_comput_1
2013-09-04 12:14
37K
comput_1__t14_comput_1
2013-09-04 12:14
36K
comput_1__t15_comput_1
2013-09-04 12:14
43K
comput_1__t16_comput_1
2013-09-04 12:14
43K
comput_1__t17_comput_1
2013-09-04 12:14
47K
comput_1__t18_comput_1
2013-09-04 12:14
34K
comput_1__t19_comput_1
2013-09-04 12:14
35K
comput_1__t20_comput_1
2013-09-04 12:14
47K
comput_1__t21_comput_1
2013-09-04 12:14
46K
comput_1__t22_comput_1
2013-09-04 12:14
48K
comput_1__t23_comput_1
2013-09-04 12:14
48K
comput_1__t24_comput_1
2013-09-04 12:14
46K
comput_1__t25_comput_1
2013-09-04 12:14
46K
comput_1__t26_comput_1
2013-09-04 12:14
35K
comput_1__t27_comput_1
2013-09-04 12:14
45K
comput_1__t28_comput_1
2013-09-04 12:14
45K
comput_1__t29_comput_1
2013-09-04 12:14
48K
comput_1__t30_comput_1
2013-09-04 12:14
52K
comput_1__t31_comput_1
2013-09-04 12:14
53K
comput_1__t32_comput_1
2013-09-04 12:14
53K
comput_1__t33_comput_1
2013-09-04 12:14
46K
comput_1__t34_comput_1
2013-09-04 12:14
53K
comput_1__t35_comput_1
2013-09-04 12:14
58K
comput_1__t36_comput_1
2013-09-04 12:14
60K
comput_1__t37_comput_1
2013-09-04 12:14
59K
comput_1__t38_comput_1
2013-09-04 12:14
60K
comput_1__t39_comput_1
2013-09-04 12:14
55K
comput_1__t40_comput_1
2013-09-04 12:14
73K
comput_1__t41_comput_1
2013-09-04 12:14
57K
comput_1__t42_comput_1
2013-09-04 12:14
58K
comput_1__t43_comput_1
2013-09-04 12:14
39K
comput_1__t44_comput_1
2013-09-04 12:14
58K
comput_1__t45_comput_1
2013-09-04 12:14
71K
comput_1__t46_comput_1
2013-09-04 12:14
66K
comput_1__t47_comput_1
2013-09-04 12:14
53K
comput_1__t48_comput_1
2013-09-04 12:14
46K
comput_1__t49_comput_1
2013-09-04 12:14
73K
comput_1__t50_comput_1
2013-09-04 12:14
67K
comput_1__t51_comput_1
2013-09-04 12:14
92K
comput_1__t52_comput_1
2013-09-04 12:14
89K
comput_1__t53_comput_1
2013-09-04 12:14
69K
comput_1__t54_comput_1
2013-09-04 12:14
100K
comput_1__t55_comput_1
2013-09-04 12:14
59K
comput_1__t56_comput_1
2013-09-04 12:14
60K
comput_1__t57_comput_1
2013-09-04 12:14
77K
comput_1__t58_comput_1
2013-09-04 12:14
62K
comput_1__t59_comput_1
2013-09-04 12:14
62K
comput_1__t60_comput_1
2013-09-04 12:14
66K
comput_1__t61_comput_1
2013-09-04 12:14
64K
comput_1__t62_comput_1
2013-09-04 12:14
64K
comput_1__t63_comput_1
2013-09-04 12:14
83K
comput_1__t64_comput_1
2013-09-04 12:14
107K
comput_1__t65_comput_1
2013-09-04 12:14
91K
comput_1__t66_comput_1
2013-09-04 12:14
71K
comput_1__t67_comput_1
2013-09-04 12:14
63K
comput_1__t68_comput_1
2013-09-04 12:14
85K
comput_1__t69_comput_1
2013-09-04 12:14
197K
comput_1__t70_comput_1
2013-09-04 12:14
89K
comput_1__t71_comput_1
2013-09-04 12:14
72K
comput_1__t72_comput_1
2013-09-04 12:14
71K
comput_1__t73_comput_1
2013-09-04 12:14
80K
comput_1__t74_comput_1
2013-09-04 12:14
42K
comput_1__t75_comput_1
2013-09-04 12:14
86K
comput_1__t76_comput_1
2013-09-04 12:14
91K
comput_1__t77_comput_1
2013-09-04 12:14
89K
comput_1__t78_comput_1
2013-09-04 12:14
86K
comput_1__t79_comput_1
2013-09-04 12:14
65K
comput_1__t80_comput_1
2013-09-04 12:14
66K
comput_1__t81_comput_1
2013-09-04 12:14
65K
comput_1__t82_comput_1
2013-09-04 12:14
63K
comput_1__t83_comput_1
2013-09-04 12:14
81K
comput_1__t84_comput_1
2013-09-04 12:14
89K
comput_1__t85_comput_1
2013-09-04 12:14
87K
comput_1__t86_comput_1
2013-09-04 12:14
99K
comput_1__t87_comput_1
2013-09-04 12:14
97K
comput_1__t88_comput_1
2013-09-04 12:14
91K
comput_1__t89_comput_1
2013-09-04 12:14
74K
comput_1__t90_comput_1
2013-09-04 12:14
140K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80